Graf důkazů

stale              guaranteed   a-finding-names-how-to-see-it-again
                   pass at a04b65c9 · 6s · local · 2026-09-11T17:41:49Z
                   changed since: docs/DOCTRINE.md
                   changed since: scripts/ci/finding-reproduce-check
                   changed since: test/cases/138_governance_gates.sh
not_run            guaranteed   a-session-records-what-it-observed
not_run            guaranteed   a-skipped-case-is-not-a-proof
not_run            guaranteed   adr-catalogue
not_run            guaranteed   adr-propose
not_run            guaranteed   adr-traceability
not_run            guaranteed   advertised-install-command-works
not_run            guaranteed   advice-is-weighed-not-counted
not_run            guaranteed   advisor-failure-is-recorded-and-recovers
not_run            guaranteed   advisor-transports-share-one-contract
not_run            guaranteed   advisors-are-declared-once
not_run            guaranteed   ai-layer-manifest
not_run            guaranteed   an-observation-becomes-a-grouped-candidate
stale              guaranteed   archive-fidelity
                   pass at 7837275c · 10s · local · 2026-09-11T18:07:49Z
                   changed since: docs/ARCHIVE.md
                   changed since: lib/archive.sh
                   changed since: test/cases/130_archive.sh
stale              guaranteed   authored-files-are-english
                   pass at a04b65c9 · 6s · local · 2026-09-11T17:41:49Z
                   changed since: docs/DOCTRINE.md
                   changed since: scripts/ci/english-only-check
                   changed since: test/cases/138_governance_gates.sh
not_run            guaranteed   benchmark-coverage-derived
not_run            guaranteed   blocker-store
not_run            guaranteed   blocker-survives-handover
not_run            guaranteed   bootstrap-chain
not_run            guaranteed   briefing-names-candidates
not_run            guaranteed   candidates-reviewed-not-accumulated
not_run            advisory     capability-class
not_run            guaranteed   capability-modules
not_run            guaranteed   capability-registry
not_run            guaranteed   catalogue-resolves
not_run            advisory     checkpoint-interval
not_run            guaranteed   checkpoint-record
not_run            guaranteed   ci-planned-gates
not_run            guaranteed   ci-verdict
no_test            planned      ci-verdict-is-required
not_run            guaranteed   cli-documentation-executable
not_run            guaranteed   cockpit-is-a-projection-of-the-registry
not_run            guaranteed   command-coverage
not_run            guaranteed   command-surface
stale              guaranteed   commit-message-is-judged
                   pass at 4e57c367 · 15s · local · 2026-09-12T10:36:18Z
                   changed since: apps/majordomus-cli/src/commit/verdict.rs
                   changed since: test/cases/274_commit_policy.sh
stale              guaranteed   commit-plan-is-refusable
                   pass at 4e57c367 · 15s · local · 2026-09-12T10:36:18Z
                   changed since: apps/majordomus-cli/src/commit/plan.rs
                   changed since: test/cases/274_commit_policy.sh
stale              guaranteed   commit-scopes-are-learned
                   pass at 4e57c367 · 15s · local · 2026-09-12T10:36:18Z
                   changed since: apps/majordomus-cli/src/commit/scopes.rs
                   changed since: test/cases/274_commit_policy.sh
not_run            guaranteed   connection-episode
not_run            guaranteed   consistency-check
not_run            guaranteed   context-assembly
not_run            guaranteed   context-budget
not_run            guaranteed   context-coverage
not_run            guaranteed   context-documents
not_run            guaranteed   context-impact
not_run            guaranteed   context-selection-budget
not_run            guaranteed   context-selection-counted
not_run            guaranteed   continuity-reachable
no_test            planned      cost-per-outcome
not_run            guaranteed   dag-validation
not_run            advisory     decision-attribution
not_run            guaranteed   decision-record
not_run            guaranteed   deployment-contract-refuses-by-name
not_run            guaranteed   derivation-one-graph
not_run            guaranteed   derived-data-current
not_run            guaranteed   derived-not-declared
not_run            guaranteed   dispatcher-wiring
not_run            guaranteed   distribution-canonical-model
not_run            guaranteed   divergence-label
not_run            guaranteed   doctrine-class-decides
not_run            guaranteed   doctrine-registry
not_run            guaranteed   drift-watch
not_run            guaranteed   economics-claims-gated
not_run            advisory     effort-escalation
not_run            guaranteed   event-vocabulary
not_run            guaranteed   evidence-a-crate-binary-that-ran-nothing-is-not-a-pass
not_run            guaranteed   evidence-a-failure-outranks-an-absence
not_run            guaranteed   evidence-a-recording-is-a-typed-run
not_run            guaranteed   evidence-a-skip-is-not-run
stale              guaranteed   evidence-currency-is-not-collapsed
                   pass at 7837275c · 13s · local · 2026-09-11T18:07:49Z
                   changed since: docs/EVIDENCE.md
                   changed since: apps/majordomus-cli/src/evidence/mod.rs
                   changed since: test/cases/124_evidence.sh
not_run            guaranteed   evidence-gates-done
not_run            guaranteed   evidence-judged-at-the-presented-revision
not_run            guaranteed   evidence-local-recording-stays-local
stale              guaranteed   evidence-navigates-both-ways
                   pass at 7837275c · 13s · local · 2026-09-11T18:07:49Z
                   changed since: docs/EVIDENCE.md
                   changed since: apps/majordomus-cli/src/capability/builtin/evidence.rs
                   changed since: test/cases/124_evidence.sh
stale              guaranteed   evidence-partial-run-preserves-the-rest
                   pass at 7837275c · 13s · local · 2026-09-11T18:07:49Z
                   changed since: docs/EVIDENCE.md
                   changed since: apps/majordomus-cli/src/evidence/ledger.rs
                   changed since: test/cases/124_evidence.sh
stale              guaranteed   evidence-proof-is-an-execution
                   pass at 7837275c · 13s · local · 2026-09-11T18:07:49Z
                   changed since: docs/EVIDENCE.md
                   changed since: apps/majordomus-cli/src/evidence/mod.rs
                   changed since: test/cases/124_evidence.sh
not_run            guaranteed   evidence-recorded-in-ci
not_run            guaranteed   evidence-subject-commands-agree-with-the-command-pages
not_run            guaranteed   evidence-subjects-are-derived
not_run            guaranteed   evidence-tree-is-measured-by-the-run
stale              guaranteed   evidence-unsupported-guarantee-is-reported
                   pass at 7837275c · 13s · local · 2026-09-11T18:07:49Z
                   changed since: docs/EVIDENCE.md
                   changed since: scripts/evidence-check
                   changed since: test/cases/124_evidence.sh
not_run            guaranteed   executable-reference-derived
not_run            guaranteed   execution-cache-equivalence
not_run            guaranteed   execution-waves
not_run            guaranteed   exit-code-contract
not_run            guaranteed   finish-contract
not_run            guaranteed   finish-refusal-is-recorded
not_run            guaranteed   generated-artifacts-typed
not_run            guaranteed   generated-projections-checked
not_run            guaranteed   git-identity
not_run            guaranteed   github-projection
not_run            guaranteed   github-projection-gated
not_run            guaranteed   handover-record
not_run            guaranteed   history-ledger-read
not_run            guaranteed   hot-path-no-rebuild
not_run            guaranteed   init-refuses
not_run            guaranteed   install-command-is-derived
not_run            guaranteed   installer-verifies-before-installing
no_test            planned      intent-closes-github-milestones
stale              guaranteed   intent-cockpit-pages
                   pass at c3c0c7fd · 3s · local · 2026-09-16T22:05:47Z
                   changed since: docs/COCKPIT.md
                   changed since: apps/majordomus-cli/src/cockpit/intents.rs
                   changed since: apps/majordomus-cli/tests/intent_realization.rs
no_test            planned      intent-command-deployment-evidence
stale              guaranteed   intent-criteria-covered
                   pass at 94ca72a0 · 32s · local · 2026-09-16T20:54:33Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent_plan.rs
                   changed since: test/cases/386_a_plan_is_held_to_its_intent.sh
not_run            guaranteed   intent-in-session-context
stale              guaranteed   intent-links-resolve
                   pass at 94ca72a0 · 9s · local · 2026-09-16T20:54:33Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent.rs
                   changed since: test/cases/367_an_intent_is_satisfied_only_by_evidence.sh
stale              guaranteed   intent-plan-reviewed
                   pass at 94ca72a0 · 32s · local · 2026-09-16T20:54:33Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent_review.rs
                   changed since: test/cases/386_a_plan_is_held_to_its_intent.sh
stale              guaranteed   intent-preflight-names-the-intent
                   pass at 94ca72a0 · 4s · local · 2026-09-16T20:54:33Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent.rs
                   changed since: apps/majordomus-cli/tests/intent.rs
stale              guaranteed   intent-realization-held-to-evidence
                   pass at c3c0c7fd · 30s · local · 2026-09-16T22:05:47Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent_realization.rs
                   changed since: test/cases/388_an_intent_is_realised_across_providers_and_held_to_reality.sh
not_run            guaranteed   intent-refused-at-plan-start
stale              guaranteed   intent-stage-derived
                   pass at 94ca72a0 · 9s · local · 2026-09-16T20:54:33Z
                   changed since: docs/PLANNING.md
                   changed since: apps/majordomus-cli/src/intent.rs
                   changed since: test/cases/367_an_intent_is_satisfied_only_by_evidence.sh
not_run            guaranteed   interfaces-are-projections
not_run            guaranteed   knowledge-derivation-is-idempotent
not_run            guaranteed   knowledge-derived-at-the-boundary
not_run            guaranteed   knowledge-failure-is-recorded
not_run            guaranteed   knowledge-integrity
not_run            guaranteed   knowledge-promotion-is-an-act
not_run            guaranteed   knowledge-served-on-every-surface
not_run            guaranteed   knowledge-writer-observed
not_run            guaranteed   landing-page-is-a-projection
not_run            guaranteed   ledger-integrity
not_run            guaranteed   legacy-migration
not_run            guaranteed   live-scenario-evidence-is-local
not_run            guaranteed   live-scenario-is-read-only
not_run            guaranteed   local-state-ignored
not_run            guaranteed   mcp-client-always-served
not_run            guaranteed   mcp-client-autostart
not_run            guaranteed   mcp-data-driven
not_run            guaranteed   mcp-degraded-not-silent
not_run            guaranteed   mcp-lease-lost
not_run            guaranteed   mcp-lease-resilience
not_run            guaranteed   mcp-peers
not_run            guaranteed   mcp-shared-server
not_run            guaranteed   mcp-stdio-surface
not_run            guaranteed   mcp-uri-resolution
not_run            guaranteed   mesh-claims-cross-runtime
not_run            guaranteed   mesh-compaction-keeps-what-is-live
not_run            guaranteed   mesh-cooperation-links
not_run            guaranteed   mesh-declared-is-held
not_run            guaranteed   mesh-firewall-is-derived
not_run            guaranteed   mesh-liveness-expiry
not_run            guaranteed   mesh-network-acceptance
not_run            guaranteed   mesh-observation-not-authority
not_run            guaranteed   mesh-off-by-default
not_run            guaranteed   mesh-one-registry
not_run            guaranteed   mesh-repository-isolation
not_run            guaranteed   mesh-three-runtime-convergence
not_run            advisory     minimum-context
not_run            guaranteed   models-no-secret-fields
not_run            guaranteed   models-one-declaration
not_run            guaranteed   models-routing-explains-itself
not_run            guaranteed   new-code-is-covered
not_run            guaranteed   no-counts-in-context
not_run            guaranteed   no-network
not_run            guaranteed   no-silent-overwrite
not_run            guaranteed   no-transcripts
not_run            guaranteed   obligation-closure
not_run            guaranteed   obligation-establishment
not_run            guaranteed   observatory-draws-nothing-it-did-not-read
not_run            guaranteed   open-question-gate
not_run            guaranteed   openapi-inferred
not_run            guaranteed   overlap-report
not_run            guaranteed   personal-layer-changes-nothing-shared
not_run            guaranteed   pointer-integrity
not_run            guaranteed   policy-parse
not_run            guaranteed   product-domains-derived
not_run            guaranteed   product-features-discovered
not_run            guaranteed   product-projection-public-safe
not_run            guaranteed   product-references-resolve
not_run            guaranteed   product-surfaces-derived
not_run            advisory     profile-axes
not_run            guaranteed   profile-validate
not_run            guaranteed   project-schema
not_run            guaranteed   project-status-derived
not_run            guaranteed   projected-record-edit-is-landable
not_run            guaranteed   projection-fingerprint
not_run            guaranteed   projection-generation
not_run            guaranteed   prompt-asset
not_run            guaranteed   prompt-assets
not_run            guaranteed   prompt-capture
not_run            guaranteed   prompt-continuity
not_run            guaranteed   provider-capability-evidence
not_run            guaranteed   provider-projections-one-renderer
not_run            guaranteed   published-translation-is-declared
not_run            guaranteed   reasoning-survives-the-session
not_run            guaranteed   reasoning-works-with-no-advisor
not_run            guaranteed   record-resolution
not_run            guaranteed   record-retention
not_run            guaranteed   record-search
not_run            guaranteed   region-projection
not_run            guaranteed   release-archive-shape
not_run            guaranteed   release-is-complete-or-absent
not_run            guaranteed   release-prerelease-channel
not_run            guaranteed   reproduce-command
not_run            guaranteed   retention-caps
not_run            guaranteed   review-is-never-fabricated
not_run            guaranteed   roadmap-derived
no_test            planned      routing
stale              guaranteed   rule-exemption-carries-its-reason
                   pass at a04b65c9 · 6s · local · 2026-09-11T17:41:49Z
                   changed since: docs/DOCTRINE.md
                   changed since: scripts/ci/rule-proof-check
                   changed since: test/cases/125_rule_proof.sh
stale              guaranteed   rule-proof-is-named-and-resolves
                   pass at a04b65c9 · 6s · local · 2026-09-11T17:41:49Z
                   changed since: docs/DOCTRINE.md
                   changed since: scripts/ci/rule-proof-check
                   changed since: test/cases/125_rule_proof.sh
not_run            guaranteed   rule-resolution
stale              guaranteed   rule-state-is-derived-from-what-ran
                   pass at a04b65c9 · 9s · local · 2026-09-11T17:41:49Z
                   changed since: docs/DOCTRINE.md
                   changed since: apps/majordomus-cli/src/rules/mod.rs
                   changed since: test/cases/133_rule_graph.sh
no_test            planned      runtime-adapters
not_run            guaranteed   rust-binary-artifact
not_run            guaranteed   rust-coverage-floor
not_run            guaranteed   rust-evidence-gates
not_run            guaranteed   rust-hot-path-benchmarks
not_run            guaranteed   rustdoc-complete
not_run            guaranteed   rustdoc-composed-from-the-topology
not_run            guaranteed   rustdoc-discoverable
not_run            guaranteed   rustdoc-published
not_run            guaranteed   rustdoc-referenced
not_run            guaranteed   rustdoc-verified-live
not_run            guaranteed   schema-driven-kinds
not_run            guaranteed   scope-declared
not_run            guaranteed   scope-enforcement
not_run            guaranteed   scoped-task
no_test            rejected     semantic-retrieval
not_run            guaranteed   session-lifecycle
not_run            guaranteed   session-observability
not_run            guaranteed   session-records
not_run            guaranteed   session-start-prompt
no_test            planned      shared-policy
not_run            guaranteed   site-deploy-one-path
not_run            guaranteed   site-deploys-from-verified-run
not_run            guaranteed   site-registry-dataset
not_run            guaranteed   skill-catalogue
not_run            guaranteed   skill-check
not_run            guaranteed   skill-site-projection
not_run            guaranteed   suite-parallel
no_test            planned      task-commit-attribution
no_test            rejected     task-dependencies
no_test            planned      telemetry
not_run            guaranteed   the-closing-question-is-measured
no_test            planned      token-savings-measured
not_run            guaranteed   tool-location-independent
not_run            guaranteed   typed-outcome
not_run            guaranteed   ui-dashboard-cites-its-sources
not_run            guaranteed   use-case-coverage
not_run            guaranteed   use-case-evidence
not_run            guaranteed   use-case-impact
not_run            guaranteed   vendored-rule-package
not_run            guaranteed   web-namespaces-reserved
not_run            guaranteed   web-surface-declared-once
not_run            guaranteed   why-catalogue-discovered
not_run            guaranteed   why-diagnosis-explainable
not_run            guaranteed   why-references-resolve
not_run            guaranteed   wiring-reconciliation
not_run            guaranteed   worktree-migration-lossless
not_run            guaranteed   worktree-ownership
not_run            guaranteed   worktree-topology-derived

232 claim(s) declare a guarantee the evidence does not support:
  a-candidate-is-routed-by-what-it-is-about the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 982_a_candidate_is_routed_by_what_it_is_about
  a-diagram-is-named-linked-and-addressable the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 3006_diagrams_are_interactive_and_linkable
  a-finding-names-how-to-see-it-again      the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 138_governance_gates
  a-session-records-what-it-observed       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 980_a_session_records_what_it_observed
  a-skipped-case-is-not-a-proof            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 413_a_skipped_case_is_not_a_proof
  adr-catalogue                            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 99_adr
  adr-propose                              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 99_adr
  adr-traceability                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 99_adr
  advertised-install-command-works         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 97_install_gate
  advice-is-weighed-not-counted            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 732_disagreement_is_settled_by_evidence
  advisor-failure-is-recorded-and-recovers the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 733_advisor_failure_and_recovery
  advisor-transports-share-one-contract    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 731_advisor_transport_contract
  advisors-are-declared-once               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 735_a_new_advisor_needs_no_consumer_edit
  ai-layer-manifest                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 01_init
  an-observation-becomes-a-grouped-candidate the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 981_an_observation_becomes_a_grouped_candidate
  archive-fidelity                         the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 130_archive
  authored-files-are-english               the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 138_governance_gates
  benchmark-coverage-derived               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test bench_units
  blocker-store                            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 21_decision_question
  blocker-survives-handover                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 50_blocker_across_handover
  bootstrap-chain                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  briefing-names-candidates                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 710_briefing_names_the_candidates
  candidates-reviewed-not-accumulated      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 711_candidates_are_reviewed_not_accumulated
  capability-modules                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test registry
  capability-registry                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test registry
  catalogue-resolves                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 28_catalogue
  checkpoint-record                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 20_checkpoint
  ci-planned-gates                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_ci_plan
  ci-verdict                               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_ci_plan
  cli-documentation-executable             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test cli_examples
  cockpit-is-a-projection-of-the-registry  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test cockpit
  command-coverage                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 31_command_coverage
  command-surface                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 30_command_registry
  commit-message-is-judged                 the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 274_commit_policy
  commit-plan-is-refusable                 the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 274_commit_policy
  commit-scopes-are-learned                the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 274_commit_policy
  connection-episode                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 200_generic_mcp_episode
  consistency-check                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  context-assembly                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 23_context
  context-budget                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  context-coverage                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 69_context_documents
  context-documents                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 69_context_documents
  context-impact                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 70_context_impact
  context-selection-budget                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 23_context
  context-selection-counted                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 430_economics
  continuity-reachable                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 25_continuity_lifecycle
  dag-validation                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 42_dag_waves
  decision-record                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 21_decision_question
  deployment-contract-refuses-by-name      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 84_deployment_contract
  derivation-one-graph                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 400_derivation_is_one_graph
  derived-data-current                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 56_derived_current_gate
  derived-not-declared                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 28_no_hardcoded_values
  dispatcher-wiring                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 14_wiring_dispatcher
  distribution-canonical-model             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 84_distribution_model
  divergence-label                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  doctrine-class-decides                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 17_doctrine_enforcement
  doctrine-registry                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 18_doctrine_wiring
  drift-watch                              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 07_watch
  economics-claims-gated                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 431_economics_claims_gated
  event-vocabulary                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 33_event_registry
  evidence-a-crate-binary-that-ran-nothing-is-not-a-pass the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 506_a_crate_binary_that_ran_nothing_is_not_a_pass
  evidence-a-failure-outranks-an-absence   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 502_evidence_is_judged_at_the_presented_revision
  evidence-a-recording-is-a-typed-run      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 505_a_recording_carries_what_its_run_measured
  evidence-a-skip-is-not-run               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 502_evidence_is_judged_at_the_presented_revision
  evidence-currency-is-not-collapsed       the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 124_evidence
  evidence-gates-done                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 41_project_status
  evidence-judged-at-the-presented-revision the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 502_evidence_is_judged_at_the_presented_revision
  evidence-local-recording-stays-local     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 505_a_recording_carries_what_its_run_measured
  evidence-navigates-both-ways             the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 124_evidence
  evidence-partial-run-preserves-the-rest  the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 124_evidence
  evidence-proof-is-an-execution           the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 124_evidence
  evidence-recorded-in-ci                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 357_ci_records_evidence
  evidence-subject-commands-agree-with-the-command-pages the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 507_evidence_subjects_are_derived
  evidence-subjects-are-derived            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 507_evidence_subjects_are_derived
  evidence-tree-is-measured-by-the-run     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 505_a_recording_carries_what_its_run_measured
  evidence-unsupported-guarantee-is-reported the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 124_evidence
  executable-reference-derived             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 95_executable_reference
  execution-cache-equivalence              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test executor
  execution-waves                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 42_dag_waves
  exit-code-contract                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  finish-contract                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 06_finish
  finish-refusal-is-recorded               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 06_finish
  generated-artifacts-typed                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 52_generated_artifact_typing
  generated-projections-checked            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 76_capabilities_projections
  git-identity                             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  github-projection                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 45_github_projection
  github-projection-gated                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 97_github_gate
  handover-record                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 05_handover
  history-ledger-read                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 22_history
  hot-path-no-rebuild                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 91_canonical_architecture
  init-refuses                             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 01_init
  install-command-is-derived               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 84_distribution_model
  installer-verifies-before-installing     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 85_installer
  intent-cockpit-pages                     the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: cargo test --test intent_realization
  intent-criteria-covered                  the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 386_a_plan_is_held_to_its_intent
  intent-in-session-context                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 960_a_task_starts_bound_to_what_it_serves
  intent-links-resolve                     the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 367_an_intent_is_satisfied_only_by_evidence
  intent-plan-reviewed                     the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 386_a_plan_is_held_to_its_intent
  intent-preflight-names-the-intent        the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: cargo test --test intent
  intent-realization-held-to-evidence      the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 388_an_intent_is_realised_across_providers_and_held_to_reality
  intent-refused-at-plan-start             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 962_plan_start_asks_the_binding_in_both_engines
  intent-stage-derived                     the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 367_an_intent_is_satisfied_only_by_evidence
  interfaces-are-projections               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 76_capabilities_projections
  knowledge-derivation-is-idempotent       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 564_knowledge_derivation_is_idempotent
  knowledge-derived-at-the-boundary        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 563_knowledge_is_derived_at_the_boundary
  knowledge-failure-is-recorded            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 565_knowledge_switch_and_failure_leave_evidence
  knowledge-integrity                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 707_knowledge_check_refuses_malformed_records
  knowledge-promotion-is-an-act            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 709_knowledge_promotion_is_an_act
  knowledge-served-on-every-surface        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test knowledge_base
  knowledge-writer-observed                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 708_health_sees_a_stopped_knowledge_writer
  landing-page-is-a-projection             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 400_derivation_is_one_graph
  ledger-integrity                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 22_history
  legacy-migration                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 66_migrate_legacy
  live-scenario-evidence-is-local          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 359_live_scenarios
  live-scenario-is-read-only               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 359_live_scenarios
  local-state-ignored                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 01_init
  mcp-client-always-served                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 3177_a_client_always_gets_a_server
  mcp-client-autostart                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 90_mcp_shared_server
  mcp-data-driven                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 72_rust_mcp
  mcp-degraded-not-silent                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 72_rust_mcp
  mcp-lease-lost                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test lease_lost
  mcp-lease-resilience                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mcp_shared
  mcp-peers                                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 250_the_board_is_repository_wide
  mcp-shared-server                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 90_mcp_shared_server
  mcp-stdio-surface                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 72_rust_mcp
  mcp-uri-resolution                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test http_serve
  mesh-claims-cross-runtime                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh_cooperation
  mesh-compaction-keeps-what-is-live       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 493_mesh_compaction_keeps_what_is_live
  mesh-cooperation-links                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh_cooperation
  mesh-declared-is-held                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 494_the_mesh_is_declared_and_held
  mesh-firewall-is-derived                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 495_the_firewall_admits_the_mesh
  mesh-liveness-expiry                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh_cooperation
  mesh-network-acceptance                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 414_mesh_lab_evidence
  mesh-observation-not-authority           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh
  mesh-off-by-default                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh
  mesh-one-registry                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh
  mesh-repository-isolation                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh_cooperation
  mesh-three-runtime-convergence           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test mesh_cooperation
  models-no-secret-fields                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 131_models
  models-one-declaration                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 131_models
  models-routing-explains-itself           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 131_models
  new-code-is-covered                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 132_coverage_differential
  no-counts-in-context                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  no-network                               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 08_no_forbidden_constructs
  no-silent-overwrite                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  no-transcripts                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 05_handover
  obligation-closure                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 103_obligations
  obligation-establishment                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 103_obligations
  observatory-draws-nothing-it-did-not-read the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 3011_the_observatory_draws_nothing_it_did_not_read
  open-question-gate                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 21_decision_question
  openapi-inferred                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 92_openapi_reference
  overlap-report                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  personal-layer-changes-nothing-shared    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 2979_a_personal_layer_changes_nothing_shared
  pointer-integrity                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  policy-parse                             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 00_yaml_flatten
  product-domains-derived                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 800_product_domains
  product-features-discovered              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 97_product_features
  product-projection-public-safe           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test product
  product-references-resolve               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test product
  product-surfaces-derived                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test product
  profile-validate                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 02_doctor_basic
  project-schema                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 40_project_model
  project-status-derived                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 41_project_status
  projected-record-edit-is-landable        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 1038_a_head_is_judged_against_what_it_changes
  projection-fingerprint                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  projection-generation                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  prompt-asset                             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 24_prompt_search
  prompt-assets                            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 24_prompt_search
  prompt-capture                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 29_prompt_capture
  prompt-continuity                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 140_prompt_continuity
  provider-capability-evidence             the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 200_generic_mcp_episode
  provider-projections-one-renderer        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 93_rust_provider_projections
  published-translation-is-declared        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 403_published_translation
  reasoning-survives-the-session           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 734_reasoning_survives_the_session
  reasoning-works-with-no-advisor          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 730_reasoning_works_with_no_advisor
  record-resolution                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 23_context
  record-retention                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 22_history
  record-search                            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 24_prompt_search
  region-projection                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 13_region_projection
  release-archive-shape                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 87b_release_archive_shape
  release-is-complete-or-absent            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 87_release_pipeline
  release-prerelease-channel               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 3179_a_prerelease_is_never_published_as_stable
  reproduce-command                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 02_doctor_basic
  retention-caps                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 02_doctor_basic
  review-is-never-fabricated               the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 736_reasoning_check_refuses_drift
  roadmap-derived                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 49_roadmap_doctrine
  rule-exemption-carries-its-reason        the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 125_rule_proof
  rule-proof-is-named-and-resolves         the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 125_rule_proof
  rule-resolution                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 67_rule_dag
  rule-state-is-derived-from-what-ran      the claim guarantees a behaviour whose only recorded run is older than what it is about: the implementation or the test changed after that run, so the pass measured a subject this claim no longer names
                                           reproduce: bash test/run.sh 133_rule_graph
  rust-binary-artifact                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 401_the_rust_artifact_carries_its_provenance
  rust-coverage-floor                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 77_rust_evidence
  rust-evidence-gates                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 77_rust_evidence
  rust-hot-path-benchmarks                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 77_rust_evidence
  rustdoc-complete                         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 490_rustdoc_new_module
  rustdoc-composed-from-the-topology       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 486_rustdoc_composition
  rustdoc-discoverable                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 488_rustdoc_discoverable
  rustdoc-published                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 489_rustdoc_deploy
  rustdoc-referenced                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 492_rustdoc_module_links
  rustdoc-verified-live                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 487_rustdoc_staleness
  schema-driven-kinds                      the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 76_capabilities_projections
  scope-declared                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 93_scope_policy
  scope-enforcement                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  scoped-task                              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 04_start_check
  session-lifecycle                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 54_session_lifecycle_hooks
  session-observability                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 171_session_observability
  session-records                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 63_session_records
  session-start-prompt                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 3221_a_bare_session_start_joins_the_cluster
  site-deploy-one-path                     the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 96_site_deploy
  site-deploys-from-verified-run           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 97_pages_fast_path
  site-registry-dataset                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test projections
  skill-catalogue                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 95_skills
  skill-check                              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 95_skills
  skill-site-projection                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 95_skills
  suite-parallel                           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_ci_plan
  the-closing-question-is-measured         the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 1037_the_closing_question_is_measured
  tool-location-independent                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 65_tool_root_independence
  typed-outcome                            the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 06_finish
  ui-dashboard-cites-its-sources           the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test ui_surface
  use-case-coverage                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_use_cases
  use-case-evidence                        the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_use_cases
  use-case-impact                          the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 94_use_cases
  vendored-rule-package                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 67_rule_dag
  web-namespaces-reserved                  the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 89_web_surface
  web-surface-declared-once                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 89_web_surface
  why-catalogue-discovered                 the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test why
  why-diagnosis-explainable                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test why
  why-references-resolve                   the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: cargo test --test why
  wiring-reconciliation                    the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 03_update
  worktree-migration-lossless              the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 96_worktree_topology
  worktree-ownership                       the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 27_foreign_task
  worktree-topology-derived                the claim guarantees a behaviour and names a test, and no run of that test has ever been recorded
                                           reproduce: bash test/run.sh 96_worktree_topology