s702.py

from research import *
s=begin(702,'Recover the cumulative insertion pair-difference law','What happens to the supplied460 cumulative Cainan increment under anchoredE?',{'heads':[14006,14466],'anchor':4346,'source_increment':460},['Supplement A §10; regular/cumulative role distinction'])
inputs=[14006-4346,14466-4346]; outputs=[E*x for x in inputs]; heads=[4346+x for x in outputs]
finish(s,{'input_radii':inputs,'output_radii':outputs,'generated_heads':heads,'output_difference':heads[1]-heads[0]},'The source cumulative increment460 becomes500 under E, producing the declared14846/15346 pair. This is the same affine pair-difference law operating on cumulative lifespans; it does not replace the regular Cainan130 used in the earlier calendar placement.','Summarize the operator types now required before testing the fixed phase-reflection set.',{'inputs':inputs==[9660,10120],'outputs':outputs==[10500,11000],'heads':heads==[14846,15346],'difference':heads[1]-heads[0]==E*460==500})