sha256:…See exactly what can still change the outcome.
Open a closure profile, authority trace, or OAuth evidence record. The Inspector computes the current consequence status, a selected inclusion-minimal obligation set, concrete counterexamples, and, when available, a declared closure route. It also exposes the boundary and trust assumptions needed to interpret the result.
Revocation Closure
Loading…
The consequence is still open.
Two admissible outcomes remain at the current cut.
Why this changes the outcome
Declared facts
How the declared gap can close
The route uses only Establishments declared by the loaded profile. Semantic validity comes first: every reachable leaf must be consequence closed. Declared cost ranks valid routes afterward.
Inspect the exact cut
See what the analysis received, what remains compatible, and which source-preservation and cut-adequacy assumptions still qualify the result.
Follow the result back to its source
Derivation, model-relative analysis, preservation claims, and commissioning evidence remain distinct so one layer cannot silently substitute for another.