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

Back to manuscript

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.

Nearby in this section