s1143.py

from research import *
s=begin(1143,'Express the SP changes as capacity reductions against baseline slack','Does one positive-part formula explain all three clipped rows and the six unchanged lives?',{},['File18 §§2.1.3,3.1.3','C1142','C953–C970'])
mt=[130,105,90,70,65,162,65,187,182];sp=[130,105,90,70,65,62,65,67,52];L=[930,912,905,910,895,962,365,969,777]
c0=[601+sum(mt[i:]) for i in range(9)];c1=[601+sum(sp[i:]) for i in range(9)]
delta=[a-b for a,b in zip(c0,c1)];slack=[a-b for a,b in zip(c0,L)]
red=[max(0,d-h) for d,h in zip(delta,slack)]
a=artifact('model/SP_capacity_slack_transfer.json',json.dumps({'MT_capacities':c0,'SP_capacities':c1,'capacity_reductions':delta,'MT_slack':slack,'lifespan_reductions':red,'identity':'L-min(L,c0-d)=max(0,d-(c0-L))','scope':'same600+inclusive1 capacity convention for comparison; MT ordinary death convention remains distinct'},indent=2)+'\n')
finish(s,{'slack_transfer':a,'capacity_reductions':delta,'slack':slack,'life_reductions':red},'A single threshold law generates the whole SP reduction field: only capacity loss exceeding pre-existing baseline slack reduces a life. Jared crosses by115, Methuselah by249, Lamech by124; the other six retain slack.','Separate the role of age-change location from its total350 capacity reduction.',{'three_reductions':red==[0,0,0,0,0,115,0,249,124],'sum488':sum(red)==488,'identity_all_rows':all(L[i]-min(L[i],c1[i])==red[i] for i in range(9))})