Evidence

s942.py

Download source fileOpen in research workspace
from research import *
s=begin(942,'One carry exchange','Why do the two cumulative branches differ by 990?',{'branches':[[11,15,10],[12,5,10]]},['C940','C941'])
a,b=s['inputs']['branches']; d=[b[i]-a[i] for i in range(3)]
raw=10*sum(x*y for x,y in zip(d,[100,10,1])); rev=10*sum(x*y for x,y in zip(d,[1,10,100]))
finish(s,{'column_exchange':d,'original_change':raw,'reversed_change':rev},'A hundreds increment and ten tens decrement preserves the original sum but moves its reversed measurement by −990.','Test the full linear kernel to distinguish aggregate recovery from component recovery.',{'same_original':raw==0,'branch_gap':rev==-990})
Edition and provenance

s942.py

SHA-256 c3a79d320b6b943d2581c855641cc2b4b9b444f57610a97049bac8b50823cc4b

C480–C1634/Research_Cycles/C0932_C1131/evidence/s942.py