Manuscript III-B@1 · III-B-v1.tex · section · d2c98f62
Enter cannot repair a failed descent
A finite operational encoding of descended evaluations › Enter cannot repair a failed descent · lines 1966–1974
Thus a faithful encoding of the two representatives in Theorem thm:product retains their discrepancy. Destructive readout does not turn that non-descending symbol into a quotient observable. Proposition prop:faithful is an interface statement, not a field apparatus construction.