s1348.py

from research import *
s=begin(1348,'Verify the reader row examples against the frozen packet','Are displayed ages and remainders faithful to selected rows?',{},['draft/02a_row_examples.md','model/complete_source_row_packet.json'])
p=json.loads((ROOT/'model/complete_source_row_packet.json').read_text()); t=(ROOT/'draft/02a_row_examples.md').read_text();rows=[]
for name,left,right in [('Adam','MT','LXX'),('Peleg','MT','LXX'),('Eber','MT','SP')]:
 a=next(x for x in p[left] if x['name']==name);b=next(x for x in p[right] if x['name']==name)
 values=[f"{a[k]} → {b[k]}" for k in ['b_ledger','r_calculated','L_ledger']]
 rows.append({'name':name,'expected_cells':values,'matched':all(x in t for x in values),'d':b['b_ledger']-a['b_ledger'],'e':b['L_ledger']-a['L_ledger']})
a=artifact('model/main_row_table_check.json',json.dumps(rows,indent=2)+'\n')
finish(s,{'check':a},'All nine changing row cells match the frozen source packet. The reader examples correctly distinguish fixed lifespan, fixed remainder and combined change.','Verify the printed Regular field and finite offsets.',{'three_rows':len(rows)==3,'all_cells':all(x['matched'] for x in rows)})