Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
An explicit resource-budgeted feedback witness
An explicit resource-budgeted feedback witness · lines 1741–1746
This section witnesses the consistency of the finite specification. It is not a replacement for VII-F's particle-link incidence construction.