s764.py

from research import *
s=begin(764,'Attach the residual decomposition to the Strategy rectangle','What part of the SP equal-gain rectangle is now explained?',{'regular_head':4206,'cumulative_head':13406,'origin':1446,'target':1406},['Strategy §4.3; C763'])
reg=4206-1446;cum=13406-1446;rp=P*reg;cp=J*cum
finish(s,{'native_spans':[reg,cum],'expanded_spans':[rp,cp],'gains':[rp-reg,cp-cum],'preserved_gap':[cum-reg,cp-rp],'new_explanation':'conditional cumulative-head provenance+2/+3/+5','remaining_input':'the regular4206 branch and application status remain source-controlled'},'The existing rectangle survives exactly. This cycle adds a row-based explanation for its cumulative-head offset, not a new independent rectangle or permission to tune other heads.','Test how lifespan splitting changes the whole accumulated comparison.',{'same_gain':rp-reg==cp-cum==40,'gap':cum-reg==cp-rp==9200})