An Enclosed Mode Is a Gauge Choice: Topology Relative to Reach in Certified Code World Models
A code world model accepted by a sampling gate can be exactly right on everything the gate can see and arbitrarily wrong beyond it. We characterize what a certified model can know, and what its errors can cost, when the omission is an annular freeze mode enclosing an unreachable interior. The gate quotient makes the question precise: acceptance-with-certainty determines the model exactly on the…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
