s1352.py

from research import *
s=begin(1352,'Verify the printed inverse words','Do the main table rows retain the original partitions and one-pass images?',{},['draft/06a_inverse_backbone.md','model/Moses_inverse_retained_images.json'])
t=(ROOT/'draft/06a_inverse_backbone.md').read_text();rows=[]
for line in t.splitlines():
 cells=[x.strip() for x in line.split('|')[1:-1]]
 if len(cells)==3 and cells[1].startswith('1400'):
  rows.append({'path':cells[0],'original':[int(x) for x in cells[1].split('+')],'image':[int(x) for x in cells[2].split('+')]})
d=json.loads((ROOT/'model/Moses_inverse_retained_images.json').read_text())
r={'rows':rows,'required_register_clarification':'The theorem uses two original spans, each ten times a three-digit core ending in a nonzero digit. The cumulative alternatives are10620 and11610.'}
a=artifact('model/main_inverse_table_check.json',json.dumps(r,indent=2)+'\n')
finish(s,{'check':a},'All four printed partitions and images are correct. The shortened register paragraph must restore its exact domain and name the alternative cumulative branch.','Verify the Key volume and proper-prefix claims.',{'four':len(rows)==4,'matched_regular':all(r['original']==p['original_spans'] and r['image']==p['retained_one_pass_parts'] for r,p in zip(rows[:3],d['paths'])),'cumulative':rows[3]['original']==[1400,3430,9170] and rows[3]['image']==[4100,3430,7190],'totals':all(sum(x['image'])==14720 for x in rows)})