from research import *
from algebra import Matrix
s=begin(1206,'Test total-loss recovery of the clipped baseline','Can total reduction488 identify the three lost source lifespans?',{},['C1205','C1143'])
H=Matrix([[1,1,1]]);base=[115,249,124];alt=[116,248,124];caps=[847,720,653];L0=[c+e for c,e in zip(caps,base)];L1=[c+e for c,e in zip(caps,alt)]
a=artifact('model/SP_total_excess_ambiguity.json',json.dumps(clean({'total_measurement':H.tolist(),'rank':H.rank(),'kernel':[list(v) for v in H.nullspace()],'source_excesses':base,'formal_alternative':alt,'source_lives':L0,'alternative_lives':L1,'scope':'formal positive-branch diagnostic; not admitted source values'}),indent=2)+'\n')
finish(s,{'ambiguity':a,'same_total':sum(base)},'Total488 gives one equation for three removed amounts. Moving one year between Jared and Methuselah preserves every capped output and the total while changing the baseline ledger.','Determine what extra located measurements would resolve the loss distribution.',{'same_total':sum(base)==sum(alt)==488,'same_caps':all(min(l,c)==c for l,c in zip(L1,caps)),'kernel2':len(H.nullspace())==2})