s1258.py

from research import *
s=begin(1258,'Verify the full placement field against its literal source','Do all eight source rows support the generated offsets with nodeclasses retained?',{},['C1256','File07 §2.11.1a','prep/regular_kernel_source_cost.json'])
p=ROOT/'evidence/sources/22-File_07.Creation_Seed_Decimal_Root-1-1-.md';lines=p.read_text().splitlines();block=lines[983:1016];d=json.loads((ROOT/'prep/regular_kernel_source_cost.json').read_text());out=d['variant_field']['rows'];found=[]
for row in out:
 hits=[{'line':984+i,'raw':line} for i,line in enumerate(block) if str(row['MT_Year6']) in line and str(row['MT_endpoint']) in line];assert hits;found.append({'state':row,'literal_rows':hits})
a=artifact('model/regular_kernel_literal_eight_states.json',json.dumps({'source':p.name,'sha256':hashlib.sha256(p.read_bytes()).hexdigest(),'bindings':found,'nodeclass':'Year6 andcompletionendpoint remain two apart; do notmerge their civil labels'},indent=2)+'\n')
finish(s,{'literal_states':a,'states':len(out)},'All eight states are explicitly present in the source with distinctYear6 andcompletion labels. The405 geometry is a reconstruction of thatcompletefinitefield, not an extrapolation from twoendpoints.','Solve the exact conditions connecting thisplacementfield to the row-generatedheadgaps.',{'eightbindings':len(found)==8,'offsets':[x['MT_Year6']-3901 for x in out]==[0,60,130,190,215,275,345,405],'phase2':all(x['MT_Year6']-x['MT_endpoint']==2 for x in out)})