/proof · recompute, not claim
This page re-derives GuardRail's onchain state in the server and renders it. Nothing here is copied from a README. Liveness is recomputed from the Altana KeyStore itself (isValidKey) and cross-checked against the marketplace's own scopeAudit().live. Only listings where both agree — and a real scoped cap exists — earn a LIVE verdict. Anything that can't be recomputed is labeled honestly, never passed.
⚠ session only · KeyStore says session is NOT live (isValidKey=false) — marketplace may still list it
⚠ session only · KeyStore says session is NOT live (isValidKey=false) — marketplace may still list it
⚠ session only · KeyStore says session is NOT live (isValidKey=false) — marketplace may still list it
⚠ session only · KeyStore says session is NOT live (isValidKey=false) — marketplace may still list it
Recompute convention: a read that reverts or disagrees is never called a pass or fail — it is reported as unverified. The four honest verdicts are recomputed/LIVE, session-only / inactive / reverted, and not-deployed-here. This mirrors how a judge would probe the contract.