Verification Path

%% Verification on the hot path — correct with the core unavailable, while the %% cached projections are within max-age (bounded autonomy; past it, fail closed) graph LR rp["Relying party"] -->|present token| vor["Vör"] jwks["cached JWKS<br/>(within max-age)"] --> vor status["cached status list<br/>(within max-age)"] --> vor clk["clock"] --> vor vor -->|decision| rp vor -. never reads .-> core["Core (shown UNAVAILABLE)"]