Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
F5: the scalar-sourced slot, recorded once
F5: the scalar-sourced slot, recorded once · lines 1258–1269
The tree is not recomputed. The slot enters once and is not an additional auxiliary cancellation row.
A future identity omitting is a metric-sector identity, not the full displayed second-order coefficient identity. A rule that varies under a metric-only shift has introduced a metric argument that this slot does not possess. A transformation of the scalar would be a different, explicitly specified operation.