Manuscript X-D-ST@1 · X-D-ST.tex · section · e0cf8fdb
A recalled identity with an explicit representative
Gauge passage and the defect ledger › A recalled identity with an explicit representative · lines 1489–1495
This is the predecessor identity, included with its
short test-level argument to make the passage auditable
XCST (:variation). It is not another
construction or another counting of the response maps.