s769.py

from research import *
s=begin(769,'Measure the effect of retained subdivisions','Does whole-chain cancellation justify rounding arbitrary subpath totals?',{},['File51a cumulative Enoch and Terah boundaries'])
f=json.loads((ROOT/'model/all_rounding_fields.json').read_text())['MT_native_OFF'];q=lambda n:5*((n+2)//5)
a=f['Enoch']['actual']-f['Terah']['actual'];r=f['Enoch']['rounded']-f['Terah']['rounded'];whole=q(a)
finish(s,{'subpath':'Enoch→Terah','actual_span':a,'row_rounded_span':r,'once_rounded_total':whole,'defect':r-whole,'field_span_change':f['Enoch']['D']-f['Terah']['D']},'The source subpath5852 becomes5860 by row rounding but5850 by rounding its total. Retained subdivision is part of the construction, even when the full12600 total cancels.','State the minimal recoverable object linking Actual and Rounded.',{'defect':r-whole==10,'residual_prediction':r-a==f['Enoch']['D']-f['Terah']['D']==8})