from fractions import Fraction as Q
from pathlib import Path

def run(load,check):
 text=(Path(__file__).resolve().parent.parent/'sources/AXIS_REPORT.md').read_text();check('existing bridge documented','8464=2×4232' in text)
 W=8464;K=529;rows=[]
 check('16K fixed width',W==16*K)
 for r in load('C287_DATA.json')['rows']:
  i=r['i'];a=r['S']+W;b=r['F']+W;R=r['R'];N=r['Noah_required']
  check(f'ordered coefficient interlace i{i}',[a,R,b,N]==[4*K+i,5*K+i,6*K+i,7*K+i])
  check(f'three equal gaps i{i}',[R-a,b-R,N-b]==[K]*3)
  for e in [Q(-1,4),Q(1,4)]:check(f'component spacing i{i} {e}',R+e-(r['S']+e+W)==K and r['F']+e+W-(R+e)==K)
  rows.append({'i':i,'S_translated':a,'R_source':R,'F_translated':b,'N_required':N,'N_source_present':r['complete'],'Noah_labels':r['Noah_records'],'translated_positions_are_generated':True})
 check('four complete interlacings',sum(r['N_source_present'] for r in rows)==4)
 return {'W':W,'rows':rows,'ordered_K_coefficients':[4,5,6,7],'complete_numeric_rows':4,'partial_three_node_rows':2,'identity':'T16K=T17K-TK; translated cumulative pair liesK before its corresponding regular pair','interpretation':'Source-qualified transport and comparison; translated landings are not additional historical events.'}