Manuscript XIII-B@1 · XIII-B.tex · proposition · b8a5c0f5
Proposition: Inherited-root overlap
B3a: the constructed one-line causal composition › The response branches and the overlap · lines 853–881 · proof included or linked
XIII-B@1#prop:overlap, XIII-B@1#eq:root-overlap, XIII-B@1#eq:stress-overlap
Every occurrence of the inherited first-completion branch with metric argument obeys
In particular,
The tree datum uses these same response and root normalizations. It is not identified with .
Proof. Equation (eq:root-overlap) is XII-D's transposition identity with the inherited sign, not a new root construction. Since , substitution gives (eq:stress-overlap). In (eq:tree-branches) the same metric response is contracted with the complete metric derivative of , and the scalar branch is its inherited switched response. Differentiating any displayed first-completion branch uses the same identity.
Displayed formulas in this passage
XIII-B@1#eq:root-overlap · line 857
XIII-B@1#eq:stress-overlap · line 863