s941.py

from research import *
s=begin(941,'Identify the cumulative carry condition','Which source feature chooses the convergent branch?',{},['C938–940'])
x=json.loads((ROOT/'model/junction_aggregate_digits.json').read_text())['cumulative'];H,T,U=x['aggregate']
unit_carry=U//10;tens_carry=(T+unit_carry)//10
a=artifact('model/cumulative_branch_condition.json',json.dumps({'source_cores':[917,343],'aggregate':[H,T,U],'unit_carry':unit_carry,'tens_to_hundreds_carry':tens_carry,'necessary_sufficient_in_fixed_domain':'T=5, equivalently no tens-to-hundreds carry','other_branch':'T=15 gives one additional carry and transformed total11610'},indent=2)+'\n')
finish(s,{'source_carry':[unit_carry,tens_carry],'condition':a},'At fixed total12600 and this register, convergence is equivalent to no tens-to-hundreds carry in the original two-core addition. The source917+343 has tens sum5 and selects that branch. Its exact breakpoint contains more information than the outer equality requires.','Derive the exact990 displacement from the single carry exchange.',{'branch':(H,T,U)==(12,5,10),'carry':unit_carry==1 and tens_carry==0})