from fractions import Fraction
from math import prod
def run(load,read,check):
 r=load('C286_DATA.json')['target_register'];spec=[(3620,'SP','Noah birth','companion',1,1,0,0,[3490,130]),(2756,'SP','Noah death','primary',1,0,0,1,[2541,215]),(3206,'SP','Shem birth','primary',1,0,0,1,[2991,215]),(3170,'SP','Flood start',None,3,0,1,1,[2895,60,215]),(2148,'MT','Shem death',None,2,1,1,1,[1741,2,130,60,215]),(2020,'MT','Shem death',None,3,0,1,1,[1741,4,60,215]),(1956,'MT','Shem death',None,1,0,0,1,[1741,215])];cards=[]
 for x,t,role,rail,g,c,T,f,terms in spec:
  rows=[(i,z) for i,z in enumerate(r) if (z['center'],z['tradition'],z['role'],z.get('rail'),z['gear'],z['Cainan'],z['Terah60'],z['full430'])==(x,t,role,rail,g,c,T,f)]
  check('unique_typed_'+str(x),len(rows)==1 and sum(terms)==x);i,z=rows[0];cards.append({'coordinate':x,'source_index':i,'source_record':z,'derivation_terms':terms})
 excerpts=[]
 for name,start,end,tokens in [('File_02.md',659,716,['1743/1741','+215','+275']),('File_18.md',620,627,['+215','+60','+130']),('File_18.md',1540,1552,['2895/2893/2891','215']),('File_18.md',1571,1596,['3491/3490','2541/2540','2991/2990','inclusive/harmonic']),('File_11.md',44,53,['Gear 1','Gear 2','Gear 3']),('File_46.md',117,133,['25/23','4830'])]:
  text='\n'.join(read(name).splitlines()[start-1:end]);check('source_excerpt_'+name+'_'+str(start),all(token in text for token in tokens));excerpts.append({'file':name,'line_start':start,'line_end':end,'text':text})
 arrows=[(2148,2020,3620),(3206,3170,3620),(2020,1956,2756),(3170,3206,2756)];solved=[]
 for x,y,h in arrows:
  inferred=Fraction(25*x-23*y,2);check('unique_pivot_'+str(x),inferred==h);solved.append({'input':x,'output':y,'unique_pivot_from_endpoints':str(inferred)})
 return {'step':'C466','minimal_fixed_witness_cards':cards,'source_excerpts':excerpts,'pivot_solutions':solved,'interval_ladder':[[2148,3206],[2020,3170],[1956,3206]],'spans':[1058,1150,1250],'counts':{'distinct_required_coordinates':len(cards),'explicit_MT_SP_assignments':1,'source_excerpt_cards':len(excerpts)},'qualifications':['MT2148 is the explicitly opened restored-Cainan state.','SP2756 carries the primary inclusive/harmonic Noah-death qualification.','SP3620 is a Noah-person companion, not a Flood-close or LXX companion.','The changing states are comparison bindings, not successive literal deaths or births.','The sourced interval has no new civil BC/AD crossing.']}