Skip to content

fairness: the anchored ledger lives on the ORB, which is not publicly reachable — the public API serves an empty one #9940

Description

@JSONbored

What

Running the new public verifier (#9723) against production returns two SKIPs, not passes:

PASS  Every eval-score record's recordDigest recomputes from its own contents   1 record(s) recomputed exactly
SKIP  Every corpusChecksum matches a downloadable corpus ...                    1 commitment(s) published, but no corresponding corpus is downloadable
SKIP  The current signed ledger checkpoint verifies offline ...                 no signed checkpoint published (anchor signing not configured, or the ledger is empty)
PASS  Published headline stats agree with the ledger-derived parity rollups     all-time handled=12882, windowed parity verdicts=0

Both SKIPs are facts about the deployment, not verifier limitations.

1. No signed checkpoint is published

/v1/public/decision-ledger/anchor-payload 404s. Per its handler that means either
LOOPOVER_LEDGER_ANCHOR_KEYS / LOOPOVER_LEDGER_ANCHOR_PRIVATE_KEY are unset, or the ledger tip is 0.

Consequence: the entire anchoring story (#9267 epic) is currently unverifiable by an outsider. The
machinery ships and is tested, but nothing in production is actually signed, so "the ledger's tip really
was X at time T" cannot be checked by anyone.

2. The one committed corpus is not downloadable

The single published eval-score record commits a corpusChecksum for ai_consensus_defect, but
/v1/public/eval-corpus?rule_id=ai_consensus_defect returns nothing usable — so the commitment covers
bytes no reader can obtain. Per #9805 a commitment is supposed to be OMITTED when the corpus is empty or
truncated, rather than published pointing at nothing; that omission does not appear to be happening here,
or the corpus read is failing separately.

Acceptance

  • npx -p @loopover/mcp loopover-verify against production reports PASS (not SKIP) for the anchor
    checkpoint and corpus commitment claims.
  • If a corpus genuinely cannot be published for a rule, that rule's record publishes no corpusChecksum
    at all, so the verifier reports it as absent rather than as an uncheckable commitment.

Metadata

Metadata

Assignees

Labels

maintainer-onlyOwner-only work — yields no Gittensor points.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions