extract file61 62.py

from pathlib import Path
from fractions import Fraction as F
import json, hashlib

root=Path('/workspace/scratch/1b40da62dcbd')
out=root/'c532_c631/prep'
sources={
 'File61':root/'project_sources/31-File_61.Jacob_Moses_Cumulative_Regular_Root_System-6-.md',
 'File62':root/'project_sources/18-File_62.Half_Clutch_Birth_Law_Interface-1-.md'}
def n(x):
 x=F(x)
 return x.numerator if x.denominator==1 else str(x)

names=['Abraham','Isaac','Jacob','Levi','Kohath','Amram','Moses-side interface']
base=[2435,2260,2080,1933,1796,1663,1526]
phases=[('Moses_Nisan',F(0)),('Aaron_Tishri_exact',F(7,2))]
rails=[]
for label,p in phases:
 for d in [0,7,14]:
  coords=[F(x)+p-d for x in base]
  rails.append({'phase_state':label,'phase_offset':n(p),'clutch':d,
               'coordinates':{name:n(x) for name,x in zip(names,coords)},
               'successive_lifespans':[n(a-b) for a,b in zip(coords,coords[1:])],
               'source':'File62 §§1.2–1.4; File61 §§7.3A–7.6'})
joseph=[]
for label,p in phases:
 for d in [0,7,14]:
  L=F(1933)+p-d; K=F(1796)+p-d
  for portion,pair in [('forward',[L,L-110]),('backward',[K+110,K])]:
   joseph.append({'phase_state':label,'clutch':d,'portion':portion,
     'start':n(pair[0]),'end':n(pair[1]),'duration':110,
     'source':'File61 §11.3A; File62 §5.2'})
partitions=[]
for label,p in phases+[('Aaron_whole_year_display',F(3))]:
 for d in [0,7,14]:
  a=18+p-d;b=9-p+d;c=F(83)
  partitions.append({'phase_state':label,'clutch':d,'forward_flank':n(a),
   'backward_flank':n(b),'overlap':83,'sum_flanks':n(a+b),
   'cyclic_110_components':[[n(a),n(b),n(c)],[n(b),n(c),n(a)],[n(c),n(a),n(b)]],
   'source':'File62 §§6.1–6.4; exact general formula derived from source rows'})
data={
 'purpose':'Source preparation only; no C-numbered research steps completed.',
 'sources':{k:{'path':str(v),'sha256':hashlib.sha256(v.read_bytes()).hexdigest()} for k,v in sources.items()},
 'coordinate_convention':'Positive same-side BC labels; subtracting d moves forward d years. Rational strings are exact.',
 'typed_operations':[
  {'name':'H7','formula':'C -> C-7','domain':'Declared local cumulative Abraham–Moses rail and collateral Joseph fixed-offset images','codomain':'derived half-clutch coordinate','source':'File62 §§1.1,13.1'},
  {'name':'T14','formula':'C -> C-14','domain':'Declared local cumulative Abraham–Moses rail and collateral Joseph fixed-offset images','codomain':'derived full-clutch coordinate','source':'File61 §7.3'},
  {'name':'J_forward','formula':'L -> (L,L-110)','domain':'cumulative Levi boundary','codomain':'collateral Joseph interval','source':'File61 §11.3'},
  {'name':'J_backward','formula':'K -> (K+110,K)','domain':'cumulative Kohath boundary','codomain':'collateral Joseph interval','source':'File61 §11.2'},
 ],
 'envelopes':[
  {'head':'Levi birth','volume':487,'elapsed':473,'difference':14},
  {'head':'Entry','volume':444,'elapsed':430,'difference':14},
  {'head':'Levi death','volume':350,'elapsed':336,'difference':14}],
 'envelope_source':'File61 §§6.3–6.6; these are same compression after subtracting fixed leading segments, not independent evidence',
 'root_rails':rails,
 'parent_only_full_clutch_lifespans':[161,166,133,123,119,123],
 'parent_only_to_fixed_Exodus':66,
 'joseph_intervals':joseph,
 'joseph_regular_reference':[1915,1805],
 'joseph_partition_family':partitions,
 'joshua_maps':[
  {'source_interval':[1906,1796],'state':'original backward Moses/Nisan','translation':430,'target':[1476,1366]},
  {'source_interval':[1936,1826],'state':'original forward Aaron whole-year display','translation':460,'target':[1476,1366]},
  {'source_interval':[1476,1366],'state':'regular Joshua','translation':70,'target':[1406,1296]}],
 'joshua_source':'File61 §§14.1–14.3',
 'joshua_phase_diagnostics':[
  {'source_interval':[1933,1823],'state':'original forward Moses/Nisan','translation':457,'target':[1476,1366]},
  {'source_interval':['3873/2','3653/2'],'state':'original forward Aaron/Tishri exact','translation':'921/2','target':[1476,1366]}],
 'fixed_joshua_contraction':{'source_start':1526,'derived_start':1512,'fixed_end':1296,'source_width':230,'derived_width':216,'source':'File61 §14.3A; File62 §9'},
 'crossed_containers':[
  {'phase_offset':0,'parts':[27,83,27],'total':137},
  {'phase_offset':3,'parts':[30,80,30],'total':140},
  {'phase_offset':'7/2','parts':['61/2','159/2','61/2'],'total':'281/2'}],
 'crossed_source':'File61 §§11.4,12.1–12.3; exact parts at p=3.5 derived, source prints exact outer diagonals 140.5/133.5',
 'adam_squares':[
  {'state':'base/backward Nisan','head':14006,'first':1906,'second':1796,'square':12100,'rectangle':12210},
  {'state':'Apparent/forward whole-year cross-branch','head':14036,'first':1936,'second':1826,'square':12100,'rectangle':12210}],
 'adam_square_source':'File61 §§12.4–12.6',
 'isaac_macro_partition':{'head':14006,'translated_isaac':2246,'conquest':1406,'upper':11760,'lower':840,'total':12600,'restored_cainan':460,'apparent_age':30,'combined_head':14496,'combined_upper':12250,'source':'File61 §§17.3–17.7'},
 'key_scale_family':[
  {'scale':'full','u':7,'input':161,'output':175,'gain':14},
  {'scale':'half','u':'7/2','input':'161/2','output':'175/2','gain':7},
  {'scale':'quarter','u':'7/4','input':'161/4','output':'175/4','gain':'7/2'}],
 'key_scale_source':'File62 §§8.3–8.4',
 'carrier_duration_only':{'head':'805/2','terminal':'161/2','total':483,'local_E_terminal':490,'whole_P':490,'whole_E':525,'exact_day_total':176400,'source':'File62 §§8.6A–8.6C; duration reconstruction need not reopen quarantined 1486 node'},
 'fixed_anchors':{'Moses_birth':1526,'Exodus':1446,'Conquest_Moses_death':1406,'Joshua_regular_death':1366,'Joshua_cumulative_endpoint':1296},
 'excluded':['No second decimal inversion','No Moses or 1876 primer reopening','No promotion of 1486 to active synthesis node','No H7/T14 outside declared local root zone','No Gear transport above Noah/Shem/Flood','No moving Joshua endpoint','No Cainan/Apparent operator collapse','No physical calendar exactness claim','No statistical independence claim for translated pairs'],
}
(out/'file61_62_tables.json').write_text(json.dumps(data,indent=2)+'\n')
assert all(r['successive_lifespans']==[175,180,147,137,133,137] for r in rails)
assert all(F(r['start'])-F(r['end'])==110 for r in joseph)
assert all(sum(F(x) for x in comp)==110 for r in partitions for comp in r['cyclic_110_components'])
print(json.dumps({'root_rails':len(rails),'joseph_intervals':len(joseph),'partition_rows':len(partitions),'source_hashes':data['sources'],'status':'source extraction arithmetic checked'}))