s593.py

from research import *
s=begin(593,'Generate all196 four-rail interval cells','Does one civil-coordinate formula account for the complete49-row source grid?',{'terminal':65,'rows':49,'g':[70,72],'civil_rail_shifts':[-110,0]},['File68 §7; Appendix C.1–C.10'])
t=json.loads((ROOT/'prep/file68_69_source_tables.json').read_text())['file68_four_rail_generation_rows'];n=0;spec=[('primary_original',70,-110),('primary_translated',70,0),('companion_original',72,-110),('companion_translated',72,0)]
for row in t:
 j=row['j']
 for name,g,r in spec:
  v=[65-(49-k)*g+r for k in [j,j+1]];q=row['rails'][name];assert v==[q['start']['a'],q['end']['a']];n+=1
finish(s,{'interval_cells_matched':n,'boundary_rule':'a(j)=65−(49−j)g+r','civil_coordinates':'a(B BC)=1−B; a(AD A)=A','terminal_original_BC':46},'One indexed rule recovers the complete49-row four-rail field, including the era crossing without a civil year zero. The rows are schematic carriers, not equal biological generations.','Determine the commutation and convergence laws of the full grid.',{'coverage':n==196,'terminal':65-110==1-46})