s766.py

from research import *
s=begin(766,'Join rounding to the mode bridge','Does bridge rounding follow the difference of the two boundary residuals?',{},['File51a §3.1 strict regular and §16.2 cumulative tables'])
p=json.loads((ROOT/'prep/variant_field_literal_inputs.json').read_text())
a=artifact('model/variant_inputs.json',json.dumps(p,indent=2)+'\n')
rr=p['convenience_tables']['MT_regular_actual_strict_and_rounded']['rows']; cf=json.loads((ROOT/'model/MT_rounding_field.json').read_text())
c={n:(cf['actual'][i],cf['rounded'][i]) for i,n in enumerate(cf['names'])};out=[]
for row in rr:
    z=row['cells'];n=z[0]
    if n not in c:continue
    ra,rq=int(z[3]),int(z[4]);ca,cq=c[n]
    out.append({'name':n,'G_actual':ca-ra,'G_rounded':cq-rq,'delta_G':(cq-ra)-(ca-rq),'D_C_minus_D_R':(cq-ca)-(rq-ra)})
    out[-1]['delta_G']=(cq-rq)-(ca-ra)
a2=artifact('model/MT_rounding_bridge.json',json.dumps(out,indent=2)+'\n')
finish(s,{'source_packet':a,'bridge':a2,'common_nodes':len(out),'Adam':out[0]},'On the literal strict regular comparison, rounded G−actual G equals D_C−D_R at every common node. Rounding modifies the mode bridge through two fields, not one date offset.','Check the local bridge-generator identity from adjacent differences.',{'all_nodes':all(x['delta_G']==x['D_C_minus_D_R'] for x in out),'enough_nodes':len(out)==22})