Evidence

s865.py

Download source fileOpen in research workspace
from research import *
s=begin(865,'Transfer the rounding residual to the complete NT comparison','Can the Actual and Rounded comparison fields be related without new fitting?',{},['File51a §3.1','C862'])
f=json.loads((ROOT/'model/NT_MT_field.json').read_text())
rows=[]
for r in f:
 ga=r['NT']-r['MT_actual']; gr=r['G']; residual=r['MT_residual']
 rows.append({'name':r['name'],'G_actual':ga,'G_rounded':gr,'difference':gr-ga,'negative_MT_residual':-residual})
a=artifact('model/NT_rounding_response.json',json.dumps(rows,indent=2)+'\n')
finish(s,{'response':a,'nonzero_support':[r['name'] for r in rows if r['difference']]},'Across every shared node, G_Rounded−G_Actual equals the negative MT rounding residual. The existing residual mechanism transfers unchanged to this new display object.','Classify all E returns within the finite NT index domain.',{'whole_field':len(rows)==22,'identity':all(r['difference']==r['negative_MT_residual'] for r in rows),'strict_head':rows[0]['G_actual']==1144})

Linked sources and evidence

Edition and provenance

s865.py

SHA-256 b29ca01af732a24aa541cf1e07df9d1e7e74fa0e61b2b11bd4ebc31450aeae29

C480–C1634/Research_Cycles/C0832_C0931/evidence/s865.py