s1217.py

from research import *
s=begin(1217,'Locate the row where the rounding carry itself changes','Does rounded lifespan change always equal rounded begetting plus remaining-year changes?',{},['C1214','C1199'])
rows=json.loads((ROOT/'model/whole_genealogy_rounded_changes.json').read_text())['rows'];defects=[{'name':x['name'],'carry_change':x['rounded_dL']-x['rounded_db']-x['rounded_dr']} for x in rows];nz=[x for x in defects if x['carry_change']]
a=artifact('model/whole_genealogy_rounded_carry_change.json',json.dumps({'rows':defects,'nonzero':nz,'identity':'delta Q(L)=delta Q(b)+delta Q(r)+delta carry','interpretation':'Theoretical rounded death from parts and rounded cumulative life are distinct observables.'},indent=2)+'\n')
finish(s,{'carry_change':a,'nonzero':nz},'Lamech alone changes the carry, by+5. Its Rounded lifespan adjustment is−20, while its rounded remaining-year adjustment is−25; keeping the carry reconciles both constructions.','Summarize the whole-row route into Rounded chronology and select the next larger family connection.',{'onlyLamech':nz==[{'name':'Lamech','carry_change':5}],'sum5':sum(x['carry_change'] for x in defects)==5})