s757.py

from research import *
s=begin(757,'Transfer the residual field to SP','Why does SP gain three at the cumulative head?',{},['File18 SP inclusive lifespan ledger; C756'])
f=json.loads((ROOT/'model/all_rounding_fields.json').read_text());m,p=f['MT_native_OFF'],f['SP_native_OFF']
support={n:p[n]['e']-m[n]['e'] for n in m if p[n]['e']!=m[n]['e']}
delta={n:p[n]['D']-m[n]['D'] for n in m if p[n]['D']!=m[n]['D']}
finish(s,{'row_support':support,'boundary_differences':delta,'head_actual_rounded':[p['Adam']['actual'],p['Adam']['rounded']]},'SP rounding changes the cumulative head by+3, entirely from Methuselah−1 and Lamech+4 relative to MT residuals. The inclusive ledger remains the input type.','Determine cross-tradition interval families preserved by rounding.',{'support':support=={'Methuselah':-1,'Lamech':4},'head':p['Adam']['rounded']==13401,'downstream':all(p[n]['D']==m[n]['D'] for n in list(m)[9:])})