s1219.py

from research import *
s=begin(1219,'Verify the lifted rule on all ordinary tradition changes','Does one residual law cover all35 common-row comparisons and all three measurements?',{},['C1218','model/complete_source_row_packet.json'])
def Qz(x):return 5*((x+2)//5)
d=json.loads((ROOT/'model/complete_source_row_packet.json').read_text());mt={r['name']:r for r in d['MT']};out=[]
for t in ['SP','LXX']:
 for r in d[t]:
  if r['name'] not in mt or r['L_counting']:continue
  old=mt[r['name']]
  for k in ['b_ledger','r_calculated','L_ledger']:
   x=old[k];delta=r[k]-x;rho=x-Qz(x);y=Qz(x)+Qz(rho+delta);out.append({'tradition':t,'name':r['name'],'measure':k,'delta':delta,'old_residual':rho,'predicted_rounded':y,'actual_rounded':Qz(r[k])})
a=artifact('model/all_ordinary_lifted_translations.json',json.dumps({'comparisons':35,'measurement_checks':out,'scope':'nativeCainan retained in source domain but has no MT comparison row; inclusiveSP rows separately resolved'},indent=2)+'\n')
finish(s,{'all_translations':a,'measurement_checks':len(out)},'The lifted rule reconstructs all105 rounded measurements across35 ordinary existing row comparisons. It unifies source shifts with Rounded representation while preserving the native insertion and inclusive-row distinctions.','Test composition so that the rule applies to a sequence of source changes.',{'105checks':len(out)==105,'all_match':all(x['predicted_rounded']==x['actual_rounded'] for x in out)})