s762.py

from research import *
s=begin(762,'Test the conditional SP lower-block reconstruction','Can one local input distinction generate the transmitted five-unit separation?',{'terminal_Jacob':2006,'Noah_additional_binding':'omitted in this strict begetting diagnostic'},['File51a §17; File18 SP begetting rows'])
p=json.loads((ROOT/'model/rounding_inputs.json').read_text());rows=p['native_rows']['SP_native_OFF']; q=lambda n:5*((n+2)//5)
bs=[x['begetting'] for x in rows[:21]]
out={}
for label,value in [('counted53',53),('completed52',52)]:
    arr=list(bs);arr[8]=value;out[label]={'raw':2006+sum(arr),'rounded':2006+sum(q(x) for x in arr)}
finish(s,{'diagnostics':out,'status':'conditional reconstruction, not established derivation of File51a blocks'},'The strict branch calculation gives4411 versus4406, matching the transmitted and secondary blocks. The match identifies a possible mechanism; it does not promote this diagnostic to the primary SP path.','Separate terminal branch selection from row rounding in the SP cumulative head.',{'heads':out=={'counted53':{'raw':4413,'rounded':4411},'completed52':{'raw':4412,'rounded':4406}}})