s940.py

from research import *
s=begin(940,'Classify the cumulative total without choosing its split','Does12600 force the same transformed total as2700?',{'scaled_total':1260},['C938 fixed register'])
poss=[(H,T,U) for H in range(2,19) for T in range(19) for U in range(2,19) if 100*H+10*T+U==1260]
out=[{'aggregate':x,'transformed':10*(x[0]+10*x[1]+100*x[2])} for x in poss]
a=artifact('model/cumulative_total_register_theorem.json',json.dumps({'branches':out,'proof':'U=10;10H+T=125 withH2..18,T0..18 permitsH11/T15 orH12/T5','scope':'finite algebraic register classification, no new admitted dates'},indent=2)+'\n')
finish(s,{'branches':out,'artifact':a},'The same register class at cumulative total12600 has two possible aggregate branches, producing10620 or11610. Thus the regular result is forced by total and register; cumulative convergence still selects one decimal-carry branch.','Identify the exact additional condition selected by the source cumulative breakpoint.',{'two':poss==[(11,15,10),(12,5,10)],'gap':out[0]['transformed']-out[1]['transformed']==990})