s970.py

from research import *
s=begin(970,'Two baselines share one projection','Does the main LXX lifespan ledger lead to the same capped SP field?',{},['C953','C955','C956','File18 §4 mainLXX182/753'])
L=json.loads((ROOT/'model/sp_cap_inputs.json').read_text())['baseline_lives']; C=json.loads((ROOT/'model/sp_capacity_field.json').read_text())['capacities']; Y=json.loads((ROOT/'model/sp_cap_prediction.json').read_text())['lifespans']; LX=L.copy();LX[-1]=753; output=[min(x,c) for x,c in zip(LX,C)]
finish(s,{'main_LXX_output':output,'MT_reduction':sum(L)-sum(Y),'main_LXX_reduction':sum(LX)-sum(output),'erased_baseline_difference':L[-1]-LX[-1]},'The main LXX baseline also projects to the same SP lives. The cap erases the777/753 difference, so this mechanism cannot identify MT versus LXX historical priority.','Express the forward and inverse descriptions as alternative coordinate choices.',{'same_output':output==Y,'reductions':(sum(L)-sum(Y),sum(LX)-sum(output))==(488,464),'main_value':LX[-1]==753})