Evidence

s966.py

Download source fileOpen in research workspace
from research import *
s=begin(966,'Kernel diagnostic preserves the caps','Can an internal birth change while all nine capped lives remain fixed?',{'diagnostic_only':{'Jared_change':1,'Enoch_change':-1}},['C964','C965'])
p=json.loads((ROOT/'model/sp_cap_inputs.json').read_text()); b=p['begetting_completed']; d=b.copy();d[5]+=1;d[6]-=1
old=[sum(b[i:]) for i in range(9)];new=[sum(d[i:]) for i in range(9)];L=p['baseline_lives'];out=[min(l,u+601) for l,u in zip(L,new)];expected=json.loads((ROOT/'model/sp_cap_prediction.json').read_text())['lifespans']
finish(s,{'suffix_changes':[y-x for x,y in zip(old,new)],'all_outputs_preserved':out==expected,'status':'unadmitted identifiability diagnostic'},'A +1/−1 exchange in Jared/Enoch preserves all nine cap outputs while shifting Enoch’s birth. The cap does not reconstruct every internal source position.','Identify the earlier ages outside the late cap support.',{'one_birth_changes':[y-x for x,y in zip(old,new)]==[0,0,0,0,0,0,-1,0,0],'outputs_preserved':out==expected})
Edition and provenance

s966.py

SHA-256 0f90c8f8f5633d42dedb14722042ae4b955c467d5c88f3b342685f427ed8cae1

C480–C1634/Research_Cycles/C0932_C1131/evidence/s966.py