s1237.py

from research import *
s=begin(1237,'Derive the three Moses cycle spans from the full path','How do the430 and490 families share this source chronology?',{},['C1236','File51a §7A.1'])
d=json.loads((ROOT/'model/Moses_five_source_blocks.json').read_text());b=[x['span'] for x in d['blocks']];T=sum(b);S=T-b[0];N=S-b[1]
a=artifact('model/Moses_cycle_family.json',json.dumps({'source_blocks':b,'Adam_to_Moses':T,'Seth_to_Moses':S,'Enoch_to_Moses':N,'source_selected_factorizations':{'Adam':'6*430=2*1290','Seth':'5*490','Enoch':'4*490'},'dependency':'The three spans share one whole path; subtracting named initial blocks generates the other two.','claim':'Arithmetic reconstruction of existingFile51a family; no uniqueness or frequency claim.'},indent=2)+'\n')
finish(s,{'cycle_family':a,'spans':[T,S,N]},'The complete path yields2580=6×430,2450=5×490 and1960=4×490. Their shared chronology and initial130/490 blocks explain the correspondence as one family.','Test exactly what the130 bridge does and does not determine.',{'cycles':T==6*430==2*1290 and S==5*490 and N==4*490,'ordered_subtractions':T-S==130 and S-N==490})