Evidence Map

This page maps Cautilus promises and cross-cutting rules to the current durable evidence routes. Completeness is handled by Proof Gaps. The human name comes first; compact keys are included for packets and checks.

Evidence Routes

evidence route key supports where to inspect state
Readiness CLI evidence.readiness-cli Readiness, Vocabulary Consistency Readiness, Readiness And Runtime Status current
Claim Discovery Fixtures evidence.claim-discovery-fixtures Claim Discovery, Reviewable Artifacts, Evidence Gaps Claim Discovery, Claim Discovery Workflow open gap
Claim Evidence State Projection evidence.claim-evidence-state Claim Discovery, Evidence Gaps, Agent-Human Resumability Claim Evidence State, .cautilus/claims/evidence-state.json, .cautilus/claims/evidenced-typed-runners.json generated; packet freshness shown
Evaluation Selected Evidence evidence.evaluation-selected Behavior Evaluation, Packet Freshness, Cost And Proof Freshness Behavior Evaluation, Evaluation Surfaces And Runners selected
Improvement Packets evidence.improvement-packets Bounded Improvement, Reviewable Artifacts, Cost And Proof Freshness Bounded Improvement, Improvement Loop open gap
Host Boundary evidence.host-boundary Host-Owned Execution Host Ownership, Adapter And Host Ownership, Live Invocation Runtime open gap
Review Artifact Rendering evidence.review-artifact-rendering Reviewable Artifacts, Packet Freshness, Agent-Human Resumability Evidence State And Review Artifacts, Reporting And Review Variants, Active Run And Workspace Lifecycle current
Review Learning Packet Builder evidence.review-learning-packet-builder Agent-Human Resumability, Reviewable Artifacts, Packet Freshness Review Learning, Evidence State And Review Artifacts, Reporting And Review Variants, Binary And Skill Boundary current
Review Learning Summary CLI evidence.review-learning-summary-cli Agent-Human Resumability, Reviewable Artifacts, Packet Freshness Review Learning, Reporting And Review Variants, Binary And Skill Boundary, Proof Gaps current
Verify evidence map can reach the ledger and gap view.
node -e 'const fs = require("node:fs"); for (const path of ["docs/specs/ledger/promise-ledger.spec.md", "docs/specs/evidence/claim-evidence-state.md", "docs/specs/evidence/gaps.spec.md"]) { if (!fs.existsSync(path)) throw new Error("missing " + path); }'