Evidence

s1356.py

Download source fileOpen in research workspace
from research import *
s=begin(1356,'Verify the NT identical-birth table','Does every displayed birth and lifespan match the source interface?',{},['draft/08b_NT_grouping.md','model/NT_SP_LXX_identical_birth_suffix.json'])
t=(ROOT/'draft/08b_NT_grouping.md').read_text();rows=[]
for line in t.splitlines():
 cells=[x.strip() for x in line.split('|')[1:-1]]
 if len(cells)==4 and all(x.isdigit() for x in cells[1:]):rows.append([cells[0]]+list(map(int,cells[1:])))
d=json.loads((ROOT/'model/NT_SP_LXX_identical_birth_suffix.json').read_text())['suffix']
expected=[[x['name'],x['shared_native_birth_BC'],x['SP_lifespan'],x['LXX_lifespan']] for x in d]
a=artifact('model/main_NT_table_check.json',json.dumps({'printed':rows,'source_rows':expected,'hidden_life_difference':sum(x[3]-x[2] for x in rows)},indent=2)+'\n')
finish(s,{'check':a},'Every numerical cell in the ten-name NT interface table matches the bound source comparison. The seven hidden lifespan differences total 547 as stated.','Assemble the manuscript claim routes to sources and proofs.',{'ten_rows':len(rows)==10,'all_cells':rows==expected,'life_total':sum(x[3]-x[2] for x in rows)==547,'two_cell_scope':'two-slot NT interval of 140' in t})
Edition and provenance

s1356.py

SHA-256 308747af8ddd905e4d61f427438a1c99bb2c375722e45fa2dad042fe3099474b

C480–C1634/Research_Cycles/C1132_C1431_Recovered/evidence/s1356.py