Manuscript V-B@1 · V-B-v1.tex · section · 3fadc1ad
A compact-data residual witness
Admissibility on the declared solution spaces › A compact-data residual witness · lines 823–828
This proves failure on the named spaces, not a dense-TT nonrepresentability theorem.