from fractions import Fraction as Q

def run(load,check):
 old=load('C279_DATA.json')['triangles'];new=load('C280_DATA.json')['rows'];rows=[]
 for a,b in zip(old,new):
  j=a['index_j'];S=b['Shem_LXX_ON'];F0=a['Flood_partner_signed'];F1=b['Flood_LXX_ON'];R=b['regular_MT_ON_Terah60_full430']
  check(f'2K first leg j{j}',F0-S==598+460==2*529)
  check(f'15K second leg j{j}',R-F0==15*529)
  check(f'shared17K endpoint j{j}',R-S==17*529 and (F1-S,R-F1)==(598,8395))
  for e in [Q(-1,4),Q(1,4)]:check(f'phase closure j{j} {e}',S+e+1058+7935==S+e+598+8395==R+e)
  rows.append({'j':j,'Shem_LXX_ON':S,'Flood_LXX_OFF':F0,'Flood_LXX_ON':F1,'regular_MT_ON_Terah60_Flood':R,'mixed_route':[1058,7935],'same_ON_route':[598,8395],'total':8993})
 check('six tagged realizations',len(rows)==6)
 return {'rows':rows,'identity':'598+460=1058=2K;8395-460=7935=15K;2K+15K=17K','interpretation':'Parallel-state comparison paths with one shared endpoint, not a single historical sequence through two Cainan states.'}