s983.py

from research import *
s=begin(983,'Complete forward regeneration and cap ledger','Does the input-only packet regenerate births, lives and correctly tagged deaths together?',{},['C953–C982','File18 §3.1 and §3.1.3'])
p=json.loads((ROOT/'model/sp_cap_inputs.json').read_text());b=p['begetting_completed'];B=[p['Noah_primary']+sum(b[i:]) for i in range(9)];Fstart=p['Noah_primary']-p['Noah_to_Flood_start'];C=[x-Fstart+1 for x in B];Y=[min(l,c) for l,c in zip(p['baseline_lives'],C)];A=[l>c for l,c in zip(p['baseline_lives'],C)];D=[x-y+int(active) for x,y,active in zip(B,Y,A)]
ledger={'forward_inputs':p,'generated':{'births':B,'capacities':C,'lives':Y,'deaths':D},'inverse_conditions':['k held','Enoch65 held','three capped lives held'],'retained_limits':['not historical direction','not recovery of baseline excess','not derivation of early five begettings'],'review_clarifications':{'C974':'dB=U db holds at fixed Noah placement; with frame motion add 1 dN. dL=A U db holds at fixed k and active support.','C977_locator':'Three local counting paths occur in File18 §3.1; §3.1.2 was an imprecise source locator.'}}
a=artifact('model/sp_cap_complete_ledger.json',json.dumps(ledger,indent=2)+'\n')
finish(s,{'complete_ledger':a,'rows_regenerated':9},'The complete source family regenerates from its declared premises. Review clarifies placement in the derivative formula and corrects the local-path section locator. The SP cap is now ready for the integrated explanation.','Move to the Key/calendar constraint basis, keeping source authorization distinct from algebraic equivalence.',{'births':B==[4199,4069,3964,3874,3804,3739,3677,3612,3545],'lives':Y==[930,912,905,910,895,847,365,720,653],'deaths':D==[3269,3157,3059,2964,2909,2893,3312,2893,2893]})