Evidence

s1148.py

Download source fileOpen in research workspace
from research import *
s=begin(1148,'Express the clipped rows in begetting and remainder coordinates','How do the three SP lifespan changes split between birth intervals and remaining years?',{},['File18 §§2.1.3,3.1','C1143'])
mtb=[162,187,182];spb=[62,67,52];mtL=[962,969,777];spL=[847,720,653]
mtr=[l-b for l,b in zip(mtL,mtb)];spr=[l-b for l,b in zip(spL,spb)]
rows=[{'name':n,'delta_b':b2-b1,'delta_r':r2-r1,'delta_L':l2-l1,'SP_completed_b':b2,'SP_algebraic_remainder':r2} for n,b1,b2,r1,r2,l1,l2 in zip(['Jared','Methuselah','Lamech'],mtb,spb,mtr,spr,mtL,spL)]
a=artifact('model/SP_clipped_row_decomposition.json',json.dumps({'rows':rows,'count_guard':'SP remainder here means L minus completed birth interval in the inclusive-count model, not an independently quoted manuscript remainder'},indent=2)+'\n')
finish(s,{'clipped_row_decomposition':a,'MT_remainders':mtr,'SP_algebraic_remainders':spr},'The changes split as Jared−100/−15, Methuselah−120/−129 and Lamech−130/−124 in begetting/remainder coordinates. Both components can change when life is clipped, unlike a conserved-lifespan repartition.','Ask which shared Flood-boundary relations survive this change of row coordinates.',{'row_identity':all(r['delta_b']+r['delta_r']==r['delta_L'] for r in rows),'remaining_counts':spr==[785,653,601]})

Linked sources and evidence

Edition and provenance

s1148.py

SHA-256 bf859ef066209a6d4be770b33f4d30642e3642a8c10238e28c80022a97d08024

C480–C1634/Research_Cycles/C1132_C1431_Recovered/evidence/s1148.py