An Enclosed Mode Is a Gauge Choice: Topology Relative to Reach in Certified Code World Models | TickerVault