{
  "schema": "oce-authority-claims/v1",
  "projections": [{"id": "summary", "path": "docs/authority-claims.md"}],
  "facts": [
    {"id": "packages", "mode": "delegated", "source": "docs/package-publication-ledger.json", "verifier": "scripts/package_policy/validate.py", "projection": "summary"},
    {"id": "public-surface", "mode": "delegated", "source": "docs/public-surface-ledger.json", "verifier": "crates/oce-api/tests/public_surface_contract.rs", "projection": "summary"},
    {"id": "catalog-entries", "mode": "native", "source": "crates/oce-blocks/src/catalog.rs", "verifier": "crates/oce-blocks/src/authority_claims_tests.rs", "projection": "summary", "expected": 136},
    {"id": "catalog-reserved", "mode": "native", "source": "crates/oce-blocks/src/catalog.rs", "verifier": "crates/oce-blocks/src/authority_claims_tests.rs", "projection": "summary", "expected": 3},
    {"id": "catalog-source", "mode": "delegated", "source": "tools/reference-catalog/Buildings.Controls.OBC.CDL.prov.json", "verifier": "crates/oce-blocks/src/registry/catalog_tests.rs", "projection": "summary"},
    {"id": "catalog-registry", "mode": "delegated", "source": "tools/reference-catalog/oce-blocks.registry-manifest.json", "verifier": "crates/oce-blocks/src/catalog_tests.rs", "projection": "summary"},
    {"id": "state-format", "mode": "native", "source": "crates/oce-api/src/state.rs", "verifier": "crates/oce-api/src/tests/authority_claims_tests.rs", "projection": "summary", "expected": 2},
    {"id": "execution-abi", "mode": "native", "source": "crates/oce-api/src/state.rs", "verifier": "crates/oce-api/src/tests/authority_claims_tests.rs", "projection": "summary", "expected": 2},
    {"id": "tier-a-records", "mode": "corpus", "source": "tools/golden-gen/goldens", "verifier": "scripts/authority_claims/observe.py", "projection": "summary"},
    {"id": "tier-two-records", "mode": "corpus", "source": "crates/oce-conformance/tests/fixtures/golden/g36_traces", "verifier": "scripts/authority_claims/observe.py", "projection": "summary"},
    {"id": "host-tick", "mode": "review-only", "source": "docs/execution-profile.md", "verifier": "crates/oce-api/src/tests/pre_execution_profile_tests.rs", "projection": "summary", "limit": "HostTick v1 is a documented semantic contract, not a separately encoded runtime or wire profile identity. Behavioral tests remain the evidence; this checker does not interpret their semantics."},
    {"id": "platforms", "mode": "review-only", "source": "docs/architecture.md", "verifier": ".github/workflows/pr-gate.yml", "projection": "summary", "limit": "CI runner labels are execution evidence, not a structured support-promise contract. No supported-target matrix is inferred."},
    {"id": "deferred-capabilities", "mode": "review-only", "source": "docs/public-surface-contract.md", "verifier": "docs/cdl-coverage.md", "projection": "summary", "limit": "Baseline-row classification is delegated above; broader capability deferral remains human-reviewed. No arbitrary Markdown or Rust semantics are parsed."},
    {"id": "evidence-quality", "mode": "review-only", "source": "docs/verification-evidence.md", "verifier": "TESTING.md", "projection": "summary", "limit": "Raw record counts and declared dependency metadata do not prove correctness, semantic independence, solver coverage, or semantic subcounts. Shared kernels and profile-specific interpretations require review."},
    {"id": "true-hold-extension", "mode": "review-only", "source": "crates/oce-blocks/src/logical_timing.rs", "verifier": "crates/oce-blocks/src/port_names.rs", "projection": "summary", "limit": "TrueHoldWithReset remains a deliberate local two-input extension with supersession-ambiguous historical annotations. This index records the ambiguity, not a new semantic ruling or a broken compile dependency."}
  ],
  "supersession": [
    {"id": "dated-stability", "subject": "Dated stability snapshot", "historical_locator": "docs/stability-baseline-2026-08-26.json", "status": "historical", "authority_path": "docs/stability-baseline.md", "reason": "Dated observations are evidence, not current authority; moving refs do not invalidate a historical capture.", "responsibility_owner": "Repository maintainers"},
    {"id": "local-public-plan", "subject": "Local public-surface planning", "historical_locator": "_spec/open-control-engine-2026-08-25/milestones/M00-authority-and-baseline/", "status": "superseded", "authority_path": "docs/public-surface-contract.md", "reason": "Tracked public classification and blessed signatures outrank ignored planning inputs.", "responsibility_owner": "Public facade maintainers"},
    {"id": "local-package-plan", "subject": "Local package planning", "historical_locator": "_spec/open-control-engine-2026-08-25/CURRENT-BASELINE.md", "status": "superseded", "authority_path": "docs/package-publication-policy.md", "reason": "The tracked package policy and ledger govern present classification, not the local planning snapshot.", "responsibility_owner": "Package policy maintainers"},
    {"id": "local-execution-plan", "subject": "Local execution specifications", "historical_locator": "_spec/03 and _spec/07 (historical source-comment shorthand)", "status": "superseded", "authority_path": "docs/execution-profile.md", "reason": "Tracked execution-profile documentation and behavior tests govern HostTick semantics; historical locators are not clone prerequisites.", "responsibility_owner": "Execution maintainers"},
    {"id": "true-hold-annotation", "subject": "TrueHoldWithReset source annotations", "historical_locator": "crates/oce-blocks/src/logical_timing.rs:440-448; crates/oce-blocks/src/port_names.rs:43-52", "status": "ambiguous", "authority_path": null, "reason": "The deliberate local two-input extension and historical specification comments need human adjudication; no authority replacement is selected here.", "responsibility_owner": "Block semantics maintainers"}
  ]
}