s1233.py

from research import *
s=begin(1233,'Derive the late path without invented genealogical intervals','What source-supplied quantities connect Jacob to Moses?',{},['C1232','File51a §§2.3.1,7A.4'])
def Q(x):return 5*((x+2)//5)
joseph=30+7+2;jacob=130-joseph;egypt=1876-1526;actual=[jacob,joseph,egypt];rounded=[Q(x) for x in actual]
a=artifact('model/Moses_late_path.json',json.dumps({'names':['Jacob','Joseph','Entry','Moses'],'source_constants':{'Joseph_service':30,'plenty':7,'famine_elapsed':2,'Jacob_at_Entry':130,'Entry_BC':1876,'Moses_BC':1526,'Exodus_BC':1446},'actual_intervals':actual,'rounded_intervals':rounded,'rounding_errors':[q-x for q,x in zip(rounded,actual)],'Entry_to_Moses':egypt,'whole_Egypt_Exodus':1876-1446,'Moses_to_Exodus':1526-1446,'scope':'91 is Jacob age at Joseph birth;39 is Joseph age atEntry.350 reaches Moses birth, not Exodus.'},indent=2)+'\n')
finish(s,{'late_path':a,'actual':actual,'rounded':rounded},'The source constants give Jacob→Joseph91, Joseph→Entry39 and Entry→Moses350. Rounding gives90+40+350 while preserving480 from Jacob to Moses; no missing Levitical begetting ages are needed.','Accumulate the complete MT row path to the fixedMoses terminus.',{'actual':[jacob,joseph,egypt]==[91,39,350],'rounded':rounded==[90,40,350],'sum480':sum(actual)==sum(rounded)==480,'430split':egypt+80==430})