s1132.py

from research import *
s=begin(1132,'Inventory source relations behind the SP inputs','Which explicit supplied relations constrain the SP ages and lifespan excesses that the cap leaves undetermined?',{},['File18 §§2.1.3,3.1,4A.2–4A.4','File51a §8.3','File47 §8.4','File20 §7A.10','C1131 continuation'])
relations=[
{'id':'age_halves','equations':['Adam=2*Mahalalel','Enoch=Mahalalel'],'source':'File51a8.3','role':'relations among age inputs; retains a free scale'},
{'id':'first_five_sum','equations':['Adam+Seth+Enosh+Kenan+Mahalalel=460'],'source':'File47 8.4; File20 7A.10','role':'one aggregate, not interior allocation; BJ is not an independent SP witness'},
{'id':'Methuselah_Flood','equations':['L_Methuselah=b_Methuselah+b_Lamech+600'],'source':'File18 4A.2','role':'baseline life from retained MT/LXX late ages and Flood relation'},
{'id':'Lamech_support','equations':['777-753=24','753-653=100'],'source':'File18 4A.4','role':'existing source-value comparisons; not independent generation of753'},
{'id':'SP_active_caps','equations':['b_Lamech=52','b_Methuselah=67','b_Jared+b_Enoch=127'],'source':'C958–C970','role':'inherited conditional cap recovery with601 held'}]
a=artifact('model/source_relation_inventory.json',json.dumps(relations,indent=2)+'\n')
finish(s,{'relation_inventory':a,'candidate_families':len(relations)},'Explicit source relations constrain the age packet beyond the cap: two half/equality relations and the first-five460 total. Methuselah has a source Flood equation; Lamech753 remains supplied despite supporting differences.','Freeze one joint age-variable model and determine exactly what these relations recover.',{'five_roles':len(relations)==5,'prior_step':json.loads((ROOT/'evidence/PREDECESSOR.json').read_text())['step']==1131,'actual_relation':130==2*65 and sum([130,105,90,70,65])==460})