GuardRail LP Guardian
✓ LIVE · KeyStore session live AND marketplace scope active+live — recomputed directly, both agree
/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.
✓ LIVE · KeyStore session live AND marketplace scope active+live — recomputed directly, both agree
✓ LIVE · KeyStore session live AND marketplace scope active+live — recomputed directly, both agree
✓ LIVE · KeyStore session live AND marketplace scope active+live — recomputed directly, both agree
✓ LIVE · KeyStore session live AND marketplace scope active+live — recomputed directly, both agree
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.