from research import *
s=begin(763,'Separate SP rounding from terminal branch selection','Can the Strategy13406 head be reconstructed by explicit typed increments?',{'SP_lower_actual':13396,'Moses_center':13398,'rounded_Moses':13401,'rounded_Aaron_increment':5},['File51a §16.2 Aaron variant; Strategy cumulative SP/J rectangle; C757'])
chain=[13396,13398,13401,13406]; increments=[chain[i+1]-chain[i] for i in range(3)]
finish(s,{'chain':chain,'increments':increments,'status':'conditional cross-tradition application of the source rounding/branch rules','distinction':'rounded Aaron125-minus-Moses120 is not exact Actual Tishri phase+3.5'},'The Strategy head13406 has a transparent conditional reconstruction: +2 endpoint selection, +3 SP row-rounding residual, +5 rounded Aaron branch. The arithmetic explains the supplied+10 without proving that derivation was intended.','Check the complete SP/J rectangle with this head and label its generated status.',{'decomposition':increments==[2,3,5],'branch':125-120==5,'total':sum(increments)==10})