npm - percolation-inversion-compiler-ts - Versions diffs - 0.4.5 → 0.5.0 - Mend

percolation-inversion-compiler-ts 0.4.5 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (197) hide show

package/CHANGELOG.md +8 -0
package/README.md +77 -22
package/agent-manifest.json +50 -0
package/dist/alt_lift/index.d.ts +7 -0
package/dist/alt_lift/index.js +101 -0
package/dist/bit_engine/index.d.ts +8 -0
package/dist/bit_engine/index.js +213 -0
package/dist/cli/main.js +2106 -162
package/dist/index.d.ts +5 -0
package/dist/index.js +1611 -16
package/dist/phase_lab/index.d.ts +26 -0
package/dist/phase_lab/index.js +1124 -0
package/dist/sqot_controller/index.d.ts +8 -0
package/dist/sqot_controller/index.js +141 -0
package/dist/trc_adapter/index.d.ts +6 -0
package/dist/trc_adapter/index.js +86 -0
package/docs/alt-ecpt-lift.md +32 -0
package/docs/bit-inversion-engine.md +32 -0
package/docs/cli-reference.md +68 -0
package/docs/effective-packet-graph.md +35 -0
package/docs/for-agents.md +44 -0
package/docs/phase-ecology-lab.md +46 -0
package/docs/sqot-queue-sovereignty.md +31 -0
package/docs/threshold-certificates.md +30 -0
package/docs/trc-trace-adapter.md +30 -0
package/docs/v050-audit.md +126 -0
package/examples/alt_lift/alt_ecpt_lift.example.json +27 -0
package/examples/bit_engine/bottlenecks.example.json +38 -0
package/examples/bit_engine/inversion_candidates.example.json +55 -0
package/examples/packet_exchange/packet_envelope.example.json +51 -0
package/examples/packet_exchange/packet_merge_report.example.json +60 -0
package/examples/phase_lab/certificate_abstain.example.json +39 -0
package/examples/phase_lab/closure_report.example.json +41 -0
package/examples/phase_lab/effective_graph.example.json +112 -0
package/examples/phase_lab/executable_paths.example.json +20 -0
package/examples/phase_lab/phase_window_observation.example.json +61 -0
package/examples/phase_lab/runtime_report_1.json +19 -0
package/examples/phase_lab/runtime_report_2.json +16 -0
package/examples/phase_lab/threshold_status.example.json +31 -0
package/examples/sqot_controller/queue_report.example.json +30 -0
package/examples/sqot_controller/rebalance_plan.example.json +14 -0
package/examples/thresholds/asi_proxy_development.json +15 -0
package/examples/trc_adapter/tool_trace_input.example.json +17 -0
package/examples/trc_adapter/typed_trace.example.json +64 -0
package/fixtures/portability_conformance_v050/certificate_abstain.example.json +39 -0
package/fixtures/portability_conformance_v050/closure_report.example.json +39 -0
package/fixtures/portability_conformance_v050/effective_graph.example.json +112 -0
package/fixtures/portability_conformance_v050/executable_paths.example.json +20 -0
package/fixtures/portability_conformance_v050/manifest.json +55 -0
package/fixtures/portability_conformance_v050/phase_lab_event_1.json +51 -0
package/fixtures/portability_conformance_v050/phase_lab_event_2.json +55 -0
package/fixtures/portability_conformance_v050/phase_window_observation.example.json +61 -0
package/fixtures/portability_conformance_v050/runtime_report_1.json +19 -0
package/fixtures/portability_conformance_v050/runtime_report_2.json +14 -0
package/fixtures/portability_conformance_v050/threshold_status.example.json +29 -0
package/fixtures/python_v044_cli/agent_autonomy_audit.json +4 -3
package/fixtures/python_v044_cli/agent_manifest.json +2 -1
package/fixtures/python_v044_cli/agent_runbook.json +2 -1
package/fixtures/python_v044_cli/demo_installed_smoke.json +86 -86
package/fixtures/python_v044_demo/manifest.json +2 -1
package/fixtures/python_v050_cli/alt_capital_impact.json +30 -0
package/fixtures/python_v050_cli/alt_ecpt_lift.json +85 -0
package/fixtures/python_v050_cli/alt_liquidity_to_paths.json +85 -0
package/fixtures/python_v050_cli/alt_receiver_lift.json +15 -0
package/fixtures/python_v050_cli/bit_certificate.json +15 -0
package/fixtures/python_v050_cli/bit_compare_baseline.json +24 -0
package/fixtures/python_v050_cli/bit_diagnose.json +95 -0
package/fixtures/python_v050_cli/bit_invert.json +235 -0
package/fixtures/python_v050_cli/bit_mec.json +18 -0
package/fixtures/python_v050_cli/ecology_effective_graph.json +178 -0
package/fixtures/python_v050_cli/ecology_execution_available_paths.json +88 -0
package/fixtures/python_v050_cli/manifest.json +48 -0
package/fixtures/python_v050_cli/phase_lab_certify.json +443 -0
package/fixtures/python_v050_cli/phase_lab_closure.json +85 -0
package/fixtures/python_v050_cli/phase_lab_compare_window.json +24 -0
package/fixtures/python_v050_cli/phase_lab_executable_paths.json +88 -0
package/fixtures/python_v050_cli/phase_lab_graph.json +178 -0
package/fixtures/python_v050_cli/phase_lab_ingest_1.json +105 -0
package/fixtures/python_v050_cli/phase_lab_ingest_2.json +109 -0
package/fixtures/python_v050_cli/phase_lab_init.json +20 -0
package/fixtures/python_v050_cli/phase_lab_list_windows.json +63 -0
package/fixtures/python_v050_cli/phase_lab_observe.json +108 -0
package/fixtures/python_v050_cli/phase_lab_threshold_status.json +164 -0
package/fixtures/python_v050_cli/sqot_diagnose_queue.json +38 -0
package/fixtures/python_v050_cli/sqot_quarantine.json +7 -0
package/fixtures/python_v050_cli/sqot_rebalance.json +19 -0
package/fixtures/python_v050_cli/sqot_reserve_check.json +20 -0
package/fixtures/python_v050_cli/sqot_salience_obstruction.json +19 -0
package/fixtures/python_v050_cli/trc_action_boundary.json +451 -0
package/fixtures/python_v050_cli/trc_tool_trace.json +221 -0
package/fixtures/python_v050_cli/trc_trace_adapter.json +221 -0
package/fixtures/python_v050_demo/asi_proxy_development.json +15 -0
package/fixtures/python_v050_demo/certificate_abstain.example.json +39 -0
package/fixtures/python_v050_demo/closure_report.example.json +39 -0
package/fixtures/python_v050_demo/effective_graph.example.json +112 -0
package/fixtures/python_v050_demo/executable_paths.example.json +20 -0
package/fixtures/python_v050_demo/phase_window_observation.example.json +61 -0
package/fixtures/python_v050_demo/runtime_report_1.json +19 -0
package/fixtures/python_v050_demo/runtime_report_2.json +14 -0
package/fixtures/python_v050_demo/threshold_status.example.json +29 -0
package/fixtures/python_v050_snapshots/manifest.json +39 -0
package/fixtures/python_v050_snapshots/snapshot_list.json +112 -0
package/fixtures/python_v050_snapshots/snapshot_routes.json +926 -0
package/fixtures/python_v050_snapshots/snapshot_show_alt.json +6830 -0
package/fixtures/python_v050_snapshots/snapshot_show_bit.json +594 -0
package/fixtures/python_v050_snapshots/snapshot_show_ecpt.json +2894 -0
package/fixtures/python_v050_snapshots/snapshot_show_sqot.json +2392 -0
package/fixtures/python_v050_snapshots/snapshot_show_trc.json +3037 -0
package/fixtures/python_v050_snapshots/snapshot_verify_alt.json +10 -0
package/fixtures/python_v050_snapshots/snapshot_verify_bit.json +10 -0
package/fixtures/python_v050_snapshots/snapshot_verify_ecpt.json +10 -0
package/fixtures/python_v050_snapshots/snapshot_verify_sqot.json +10 -0
package/fixtures/python_v050_snapshots/snapshot_verify_trc.json +10 -0
package/package.json +45 -3
package/schemas/ASIProxyThresholdSpec.schema.json +72 -0
package/schemas/ASIProxyThresholdStatus.schema.json +512 -0
package/schemas/ActionBoundaryRequirement.schema.json +28 -0
package/schemas/ActivationGainEstimate.schema.json +41 -0
package/schemas/AltEcptLiftReport.schema.json +400 -0
package/schemas/AltLiftBlocker.schema.json +34 -0
package/schemas/AttentionBudgetLedger.schema.json +41 -0
package/schemas/AutocatalyticClosureReport.schema.json +408 -0
package/schemas/AutocatalyticClosureWitness.schema.json +22 -139
package/schemas/BasinReachabilityProxy.schema.json +21 -0
package/schemas/BottleneckClassDiagnosis.schema.json +115 -0
package/schemas/BottleneckInversionCandidate.schema.json +249 -0
package/schemas/BottleneckInversionReport.schema.json +499 -0
package/schemas/CapabilityExpressionPath.schema.json +45 -0
package/schemas/CapitalToPathContribution.schema.json +53 -0
package/schemas/ClosureAbstentionReason.schema.json +25 -0
package/schemas/ClosureCertificateCandidate.schema.json +109 -0
package/schemas/ClosureDefect.schema.json +28 -0
package/schemas/ClosureSupportHyperpath.schema.json +44 -0
package/schemas/CollectivePhaseAbstentionReport.schema.json +591 -0
package/schemas/CollectivePhaseCertificateCandidate.schema.json +688 -0
package/schemas/CrossContextTransferWitness.schema.json +46 -0
package/schemas/DiagnosticReserveReport.schema.json +87 -0
package/schemas/DownstreamSearchCostDelta.schema.json +46 -0
package/schemas/EcologyAutocatalyticClosureWitness.schema.json +187 -0
package/schemas/EffectiveGraphResidualSummary.schema.json +38 -0
package/schemas/EffectivePacketEdge.schema.json +135 -0
package/schemas/EffectivePacketEligibility.schema.json +84 -0
package/schemas/EffectivePacketGraph.schema.json +461 -0
package/schemas/EffectivePacketGraphBuildReport.schema.json +521 -0
package/schemas/EffectivePacketNode.schema.json +199 -0
package/schemas/ExecutableClosureWitness.schema.json +47 -0
package/schemas/ExecutablePathDensityReport.schema.json +314 -0
package/schemas/ExecutionAuthorityStatus.schema.json +28 -0
package/schemas/ExecutionAvailableHyperpath.schema.json +201 -0
package/schemas/ExecutionPathDefect.schema.json +28 -0
package/schemas/ExecutionPathWitness.schema.json +44 -0
package/schemas/FalseLiquidityLoad.schema.json +21 -0
package/schemas/GeneralIntakePolicy.schema.json +1 -1
package/schemas/InversionCertificate.schema.json +56 -0
package/schemas/LiquidityToClosureContribution.schema.json +53 -0
package/schemas/MinimalEnablingCondition.schema.json +48 -0
package/schemas/PacketContributionStatus.schema.json +32 -0
package/schemas/PacketQuarantineDecision.schema.json +50 -0
package/schemas/PhaseCertificateDefect.schema.json +33 -0
package/schemas/PhaseComponentObservation.schema.json +39 -0
package/schemas/PhaseLabEvent.schema.json +123 -0
package/schemas/PhaseLabExportManifest.schema.json +127 -0
package/schemas/PhaseLabIngestReport.schema.json +344 -0
package/schemas/PhaseLabStoreManifest.schema.json +73 -0
package/schemas/PhaseLabWindowIndex.schema.json +78 -0
package/schemas/PhaseThresholdStatus.schema.json +51 -0
package/schemas/PhaseWindow.schema.json +31 -0
package/schemas/PhaseWindowComparison.schema.json +67 -0
package/schemas/PhaseWindowObservation.schema.json +353 -0
package/schemas/PostInversionAuditPlan.schema.json +38 -0
package/schemas/ProductiveClosureWitness.schema.json +49 -0
package/schemas/ProvenanceManifest.schema.json +1 -1
package/schemas/QueueOccupationReport.schema.json +156 -0
package/schemas/QueueRebalancePlan.schema.json +114 -0
package/schemas/ReceiverContextSupport.schema.json +23 -0
package/schemas/ReceiverLiquidityLift.schema.json +58 -0
package/schemas/ReleaseArtifactManifest.schema.json +1 -1
package/schemas/ReversibleSalienceSovereigntyCertificate.schema.json +53 -0
package/schemas/RollbackOrDeactivationPlan.schema.json +38 -0
package/schemas/SBOMManifest.schema.json +1 -1
package/schemas/SalienceObstructionDiagnosis.schema.json +55 -0
package/schemas/SalienceObstructionLoad.schema.json +21 -0
package/schemas/SemanticEdgeEvidence.schema.json +40 -0
package/schemas/TraceAdapterReport.schema.json +405 -0
package/schemas/TraceFrontierDebt.schema.json +43 -0
package/schemas/TraceNormalForm.schema.json +181 -0
package/schemas/TraceToleranceLedger.schema.json +29 -0
package/schemas/TypedActionBoundary.schema.json +58 -0
package/schemas/TypedAgentTrace.schema.json +328 -0
package/schemas/TypedToolCallTrace.schema.json +76 -0
package/schemas/VerificationQueuePressure.schema.json +41 -0
package/schemas/VerificationThroughputWindow.schema.json +21 -0
package/schemas/WasteLoad.schema.json +21 -0
package/schemas/WebFetchPolicy.schema.json +1 -1
package/schemas/bundle.schema.json +11854 -2075
package/schemas/index.json +445 -0
package/schemas/schema-digest.json +733 -289

package/fixtures/python_v050_snapshots/snapshot_show_sqot.json ADDED Viewed

@@ -0,0 +1,2392 @@
+{
+  "artifact": "Salience-Queue Occupation Theory.tex",
+  "artifact_key": "sqot",
+  "attribution": {
+    "author": "K. Takahashi",
+    "derived_from": "canonical TeX metadata extraction; TeX/PDF not vendored",
+    "doi": "10.5281/zenodo.20526451",
+    "license_id": "cc-by-4.0",
+    "source_tex_md5": "c626c1b78301e33c7805e6020cf5bda2",
+    "source_tex_sha256": "73d3448d09b6e72ce7600c136b86b8064d8f71010f4cc8e9a2383d4c6e714958",
+    "title": "Salience-Queue Occupation Theory",
+    "year": 2026
+  },
+  "claims": 74,
+  "coverage_counts": {
+    "external_obligation": 15,
+    "implemented_checker": 78,
+    "implemented_constructive": 22,
+    "implemented_schema": 18,
+    "partial": 0,
+    "unsupported": 0
+  },
+  "coverage_delta": {
+    "external_obligation_total": 15,
+    "implemented_total": 118,
+    "unimplemented_total": 15,
+    "unsupported_total": 0
+  },
+  "definitions": 59,
+  "external_obligation_catalog": {
+    "artifact": "Salience-Queue Occupation Theory.tex",
+    "category_summary": {
+      "domain-specific-proof": 8,
+      "ecpt-bridge-reserve": 1,
+      "sqot-adversarial-transfer": 3,
+      "sqot-protocol-integrity": 2,
+      "sqot-thermodynamic-discharge": 1
+    },
+    "obligations": [
+      {
+        "accepted_evidence_kind": [
+          "finite-discharge-envelope",
+          "limit-residual",
+          "regularity-regime-certificate"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "finite-discharge-envelope-missing",
+          "limit-residual-not-certified",
+          "regularity-regime-certificate-unverified",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required",
+          "limit-envelope-or-generator-calibration-required"
+        ],
+        "failure_modes": [
+          "finite-discharge-envelope-missing",
+          "limit-residual-not-certified",
+          "regularity-regime-certificate-unverified"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "def:thermodynamic-discharge-ledger",
+        "label": "Thermodynamic discharge ledger",
+        "obligation_category": "sqot-thermodynamic-discharge",
+        "proof_obligation_ids": [
+          "obligation:def:thermodynamic-discharge-ledger"
+        ],
+        "residual_coordinates": [
+          "residual:def:thermodynamic-discharge-ledger"
+        ],
+        "residual_policy": "charge-thermodynamic-discharge-residual-until-envelope-certified",
+        "safe_default": "diagnostic-with-thermodynamic-discharge-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:obligation-routing-soundness",
+        "label": "Obligation routing soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:thm:obligation-routing-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:thm:obligation-routing-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "counterfactual-probe-log",
+          "finite-game-certificate",
+          "transfer-bound"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "def:adversarial-salience-game",
+        "label": "Adversarial salience game",
+        "obligation_category": "sqot-adversarial-transfer",
+        "proof_obligation_ids": [
+          "obligation:def:adversarial-salience-game"
+        ],
+        "residual_coordinates": [
+          "residual:def:adversarial-salience-game"
+        ],
+        "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
+        "safe_default": "diagnostic-with-adversarial-transfer-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+      },
+      {
+        "accepted_evidence_kind": [
+          "authority-ledger",
+          "protocol-kernel-certificate",
+          "source-attribution-proof"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "authority-ledger-unverified",
+          "protocol-kernel-certificate-missing",
+          "source-attribution-proof-missing",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "authority-ledger-unverified",
+          "protocol-kernel-certificate-missing",
+          "source-attribution-proof-missing"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:adversarial-sovereignty-kernel",
+        "label": "Adversarial sovereignty kernel",
+        "obligation_category": "sqot-protocol-integrity",
+        "proof_obligation_ids": [
+          "obligation:thm:adversarial-sovereignty-kernel"
+        ],
+        "residual_coordinates": [
+          "residual:thm:adversarial-sovereignty-kernel"
+        ],
+        "residual_policy": "charge-protocol-integrity-residual-until-kernel-certified",
+        "safe_default": "diagnostic-with-protocol-integrity-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:computational-belief-soundness",
+        "label": "Computational belief soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:thm:computational-belief-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:thm:computational-belief-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:verifier-to-witness-soundness",
+        "label": "Verifier-to-witness soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:thm:verifier-to-witness-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:thm:verifier-to-witness-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:adaptive-succinct-session-soundness",
+        "label": "Adaptive succinct session soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:thm:adaptive-succinct-session-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:thm:adaptive-succinct-session-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:model-relative-anchor-soundness",
+        "label": "Model-relative anchor soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:thm:model-relative-anchor-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:thm:model-relative-anchor-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "prop:anchor-diversity-soundness",
+        "label": "Anchor-diversity soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:prop:anchor-diversity-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:prop:anchor-diversity-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "counterfactual-probe-log",
+          "finite-game-certificate",
+          "transfer-bound"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "def:adversarial-pac-transfer",
+        "label": "Adversarial PAC transfer certificate",
+        "obligation_category": "sqot-adversarial-transfer",
+        "proof_obligation_ids": [
+          "obligation:def:adversarial-pac-transfer"
+        ],
+        "residual_coordinates": [
+          "residual:def:adversarial-pac-transfer"
+        ],
+        "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
+        "safe_default": "diagnostic-with-adversarial-transfer-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+      },
+      {
+        "accepted_evidence_kind": [
+          "counterfactual-probe-log",
+          "finite-game-certificate",
+          "transfer-bound"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "counterfactual-probe-log-unverified",
+          "finite-game-certificate-missing",
+          "transfer-bound-not-certified"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:adversarial-pac-transfer",
+        "label": "Adversarial PAC transfer",
+        "obligation_category": "sqot-adversarial-transfer",
+        "proof_obligation_ids": [
+          "obligation:thm:adversarial-pac-transfer"
+        ],
+        "residual_coordinates": [
+          "residual:thm:adversarial-pac-transfer"
+        ],
+        "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
+        "safe_default": "diagnostic-with-adversarial-transfer-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "def:topological-surgery-fragmented-certificate",
+        "label": "Topological surgery and fragmented certificate",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:def:topological-surgery-fragmented-certificate"
+        ],
+        "residual_coordinates": [
+          "residual:def:topological-surgery-fragmented-certificate"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      },
+      {
+        "accepted_evidence_kind": [
+          "authority-ledger",
+          "protocol-kernel-certificate",
+          "source-attribution-proof"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "authority-ledger-unverified",
+          "protocol-kernel-certificate-missing",
+          "source-attribution-proof-missing",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "authority-ledger-unverified",
+          "protocol-kernel-certificate-missing",
+          "source-attribution-proof-missing"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "thm:fragmented-sovereignty",
+        "label": "Fragmented sovereignty",
+        "obligation_category": "sqot-protocol-integrity",
+        "proof_obligation_ids": [
+          "obligation:thm:fragmented-sovereignty"
+        ],
+        "residual_coordinates": [
+          "residual:thm:fragmented-sovereignty"
+        ],
+        "residual_policy": "charge-protocol-integrity-residual-until-kernel-certified",
+        "safe_default": "diagnostic-with-protocol-integrity-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
+      },
+      {
+        "accepted_evidence_kind": [
+          "bridge-map",
+          "machine-readable-capsule-audit",
+          "reserve-invariance-proof"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "bridge-map-unverified",
+          "capsule-projection-not-certified",
+          "reserve-invariance-unaccepted",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "bridge-map-unverified",
+          "capsule-projection-not-certified",
+          "reserve-invariance-unaccepted"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "def:continuous-time-boundary",
+        "label": "Continuous-time SQOT boundary",
+        "obligation_category": "ecpt-bridge-reserve",
+        "proof_obligation_ids": [
+          "obligation:def:continuous-time-boundary"
+        ],
+        "residual_coordinates": [
+          "residual:def:continuous-time-boundary"
+        ],
+        "residual_policy": "charge-bridge-residual-until-cross-theory-proof-accepted",
+        "safe_default": "diagnostic-with-bridge-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
+          "output": "ExternalVerifierHook with accepted/rejected obligation ids",
+          "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
+        },
+        "verifier_route": "ecpt.adapters.bridge.verify_cross_theory_bridge"
+      },
+      {
+        "accepted_evidence_kind": [
+          "domain-certificate",
+          "replayable-witness"
+        ],
+        "artifact": "Salience-Queue Occupation Theory.tex",
+        "checker_ref": null,
+        "checker_refs": [],
+        "coverage_status": "external_obligation",
+        "external_failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured",
+          "no-implicit-settled-promotion",
+          "external-verifier-hook-required"
+        ],
+        "failure_modes": [
+          "domain-certificate-missing",
+          "replayable-witness-missing",
+          "specific-verifier-route-not-configured"
+        ],
+        "implementation_maturity": "external_contract_only",
+        "implementation_ref": "core.ExternalProofObligation",
+        "implementation_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "item_id": "prop:continuous-time-skeleton-soundness",
+        "label": "Continuous-time skeleton soundness",
+        "obligation_category": "domain-specific-proof",
+        "proof_obligation_ids": [
+          "obligation:prop:continuous-time-skeleton-soundness"
+        ],
+        "residual_coordinates": [
+          "residual:prop:continuous-time-skeleton-soundness"
+        ],
+        "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
+        "safe_default": "diagnostic-with-domain-obligation",
+        "schema_ref": null,
+        "schema_refs": [
+          "core.ExternalProofObligation"
+        ],
+        "verifier_contract": {
+          "input": "ExternalProofObligation and independently replayable domain evidence",
+          "output": "ExternalVerifierHook with explicit residual coordinates",
+          "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
+        },
+        "verifier_route": "core.adapters.external.verify_domain_obligation"
+      }
+    ],
+    "verifier_route_summary": {
+      "core.adapters.external.verify_domain_obligation": 8,
+      "ecpt.adapters.bridge.verify_cross_theory_bridge": 1,
+      "sqot.adapters.adversarial.verify_transfer_game": 3,
+      "sqot.adapters.integrity.verify_protocol_kernel": 2,
+      "sqot.adapters.thermodynamic.verify_discharge_envelope": 1
+    }
+  },
+  "external_obligation_category_summary": {
+    "domain-specific-proof": 8,
+    "ecpt-bridge-reserve": 1,
+    "sqot-adversarial-transfer": 3,
+    "sqot-protocol-integrity": 2,
+    "sqot-thermodynamic-discharge": 1
+  },
+  "external_verifier_route_summary": {
+    "core.adapters.external.verify_domain_obligation": 8,
+    "ecpt.adapters.bridge.verify_cross_theory_bridge": 1,
+    "sqot.adapters.adversarial.verify_transfer_game": 3,
+    "sqot.adapters.integrity.verify_protocol_kernel": 2,
+    "sqot.adapters.thermodynamic.verify_discharge_envelope": 1
+  },
+  "item_mappings": [
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:checker-semantics",
+      "label": "Checker semantics",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:checkable-ledger-judgment",
+      "label": "Checkable ledger and checker judgment",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.QuarantineLedger"
+      ],
+      "item_id": "def:leaky-quarantine-ledger",
+      "label": "Leaky quarantine ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:certificate-grammar",
+      "label": "Certificate grammar and checker traces",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "def:global-risk-ledger",
+      "label": "Global risk ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:self-auditing-checker-budget",
+      "label": "Self-auditing checker budget",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:thermodynamic-discharge-ledger",
+      "label": "Thermodynamic discharge ledger",
+      "obligation_category": "sqot-thermodynamic-discharge",
+      "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:finite-witness-obligations",
+      "label": "Finite obligation specification",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CertificateFamily"
+      ],
+      "item_id": "thm:certificate-grammar-soundness",
+      "label": "Finite certificate grammar soundness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "thm:finite-checker-semantics-soundness",
+      "label": "Finite checker semantics soundness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "prop:risk-budget-composition",
+      "label": "Risk-budget composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "thm:typed-risk-composition",
+      "label": "Typed risk composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:obligation-routing-soundness",
+      "label": "Obligation routing soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "ecpt.ObservationProtocol"
+      ],
+      "item_id": "def:observation-protocol",
+      "label": "Observation protocol",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:protocol-state-mutation",
+      "label": "Protocol state and mutation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:operational-process",
+      "label": "Operational process",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:finite-window",
+      "label": "Finite window",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:causal-window-clock-ledger",
+      "label": "Causal window and clock ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:budget-ledger",
+      "label": "Budget ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:polymorphic-resource-ledger",
+      "label": "Polymorphic resource ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:absolute-pac-certificates",
+      "label": "Absolute and PAC salience certificates",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecpt.check_queue_certificate"
+      ],
+      "item_id": "def:queue-morphism",
+      "label": "Queue representation and morphism",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:salience-source",
+      "label": "Salience source",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:finite-probe-counterfactual",
+      "label": "Finite probe and counterfactual no-action",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:probe-economy",
+      "label": "Probe economy and stopping certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:probe-economy-stopping",
+      "label": "Probe-economy stopping",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:positive-valence-compatibility",
+      "label": "Positive-valence compatibility",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:typed-diagnostic-bundle",
+      "label": "Typed diagnostic bundle",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:cone-order-mandatory",
+      "label": "Cone order and mandatory coordinates",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:scalarization-failure",
+      "label": "Scalarization failure",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.OccupationLedger"
+      ],
+      "item_id": "def:occupation-distortion",
+      "label": "Occupation and distortion",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:latency-loss",
+      "label": "Latency and deadline loss",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.DiagnosticReservePolicy"
+      ],
+      "item_id": "def:reserve-audit-depth",
+      "label": "Diagnostic reserve and audit depth",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.OccupationLedger"
+      ],
+      "item_id": "def:reserve-adequacy-meta",
+      "label": "Reserve adequacy interval and meta-occupation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "prop:reserve-adequacy-two-sided",
+      "label": "Reserve adequacy is two-sided",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:rollback-residue",
+      "label": "Rollback classes and residue",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:future-freedom",
+      "label": "Future freedom",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:finite-salience-accounting",
+      "label": "Finite salience accounting",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:pac-salience-accounting",
+      "label": "PAC salience accounting",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecpt.check_queue_certificate"
+      ],
+      "item_id": "thm:queue-morphism-invariance",
+      "label": "Queue-morphism invariance",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:resource-arbitrage-obstruction",
+      "label": "Resource arbitrage obstruction",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "prop:exchange-morphism-preservation",
+      "label": "Exchange-morphism preservation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:class-refinement-hypergraph",
+      "label": "Class-refinement hypergraph",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:information-tracking",
+      "label": "Finite-partition information tracking",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecology.build_edge_witnesses"
+      ],
+      "item_id": "def:semantic-egress-context-closure",
+      "label": "Semantic egress and contextual payload closure",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:granularity-closure",
+      "label": "Granularity closure",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:partition-information-tracking",
+      "label": "Partition information tracking",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:contextual-payload-obstruction",
+      "label": "Contextual payload obstruction",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:galois-egress-overclosure",
+      "label": "Galois egress over-closure",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:egress-abstraction-refinement",
+      "label": "Egress abstraction refinement",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:counterexample-guided-egress-refinement",
+      "label": "Counterexample-guided egress refinement",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecpt.check_queue_certificate"
+      ],
+      "item_id": "prop:encrypted-queue-leakage-separation",
+      "label": "Encrypted queue leakage separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:label-laundering-effect-first",
+      "label": "Label laundering and effect-first diagnosis",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:finite-sovereignty-game",
+      "label": "Finite sovereignty game",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "lem:cone-safe-predecessor",
+      "label": "Cone-safe predecessor",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:path-integral-cone-recovery",
+      "label": "Path-integral cone recovery",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "lem:path-integral-cone-predecessor",
+      "label": "Path-integral cone predecessor",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:protocol-integrity-kernel",
+      "label": "Protocol-integrity kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:protocol-integrity-fixed-point",
+      "label": "Protocol-integrity fixed point",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:protocol-mutation-vulnerability",
+      "label": "Protocol-mutation vulnerability",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:safe-target-states",
+      "label": "Safe and target states",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.QuarantineLedger"
+      ],
+      "item_id": "thm:quarantine-breach",
+      "label": "Quarantine breach",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:no-free-discharge",
+      "label": "No-free-discharge",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:sovereignty-kernel",
+      "label": "Sovereignty kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:self-auditing-kernel",
+      "label": "Self-auditing sovereignty kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:adversarial-salience-game",
+      "label": "Adversarial salience game",
+      "obligation_category": "sqot-adversarial-transfer",
+      "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:adversarial-sovereignty-kernel",
+      "label": "Adversarial sovereignty kernel",
+      "obligation_category": "sqot-protocol-integrity",
+      "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:epistemic-salience-game",
+      "label": "Epistemic salience game",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:epistemic-salience-kernel",
+      "label": "Epistemic salience kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:bounded-memory-computational-belief",
+      "label": "Bounded-memory computational belief",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:computational-belief-soundness",
+      "label": "Computational belief soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:belief-executability-gap",
+      "label": "Complete belief does not imply bounded executability",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:reserve-safety-kernel",
+      "label": "Reserve safety kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:effective-reserve-kernel",
+      "label": "Effective reserve kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:raw-sovereignty-certificate",
+      "label": "Raw sovereignty certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:raw-checked-sovereignty-certificate",
+      "label": "Raw checked sovereignty certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:verification-cost-succinct-certificate",
+      "label": "Verification-cost and succinct certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "thm:noncircular-sovereignty",
+      "label": "Non-circular sovereignty certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "thm:checked-noncircular-sovereignty",
+      "label": "Checked non-circular sovereignty certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:bureaucratic-capture",
+      "label": "Bureaucratic capture obstruction",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:verifier-to-witness-soundness",
+      "label": "Verifier-to-witness soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:adaptive-succinct-session-soundness",
+      "label": "Adaptive succinct session soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:proof-dag-compression",
+      "label": "Proof-DAG compression",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:no-free-succinctness",
+      "label": "No-free succinctness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:choice-preserving-no-action",
+      "label": "Choice-preserving no-action",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:counterfactual-no-action-separation",
+      "label": "Counterfactual no-action separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.QuarantineLedger"
+      ],
+      "item_id": "prop:rollback-not-erasure",
+      "label": "Rollback is not erasure",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:stratified-audit-checker",
+      "label": "Stratified audit checker",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:substrate-anchored-root-checker",
+      "label": "Substrate-anchored root checker",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:anchor-model-simulation",
+      "label": "Anchor model and simulation indistinguishability",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:stratified-audit-termination",
+      "label": "Stratified audit termination",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "prop:root-checker-contamination",
+      "label": "Root checker contamination",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:substrate-anchored-acceptance",
+      "label": "Substrate-anchored acceptance",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:no-absolute-base-reality",
+      "label": "No absolute base-reality certification",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:model-relative-anchor-soundness",
+      "label": "Model-relative anchor soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "prop:anchor-diversity-soundness",
+      "label": "Anchor-diversity soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:audit-recursion-capture",
+      "label": "Audit-recursion capture",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:window-composition",
+      "label": "Window composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:online-control-realizability",
+      "label": "Online-control realizability",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:compressor-relative-safe-ignorance",
+      "label": "Compressor-relative safe ignorance",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:safe-adversary-class-expansion",
+      "label": "Safe adversary-class expansion",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:adversarial-pac-transfer",
+      "label": "Adversarial PAC transfer certificate",
+      "obligation_category": "sqot-adversarial-transfer",
+      "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:adversarial-pac-transfer",
+      "label": "Adversarial PAC transfer",
+      "obligation_category": "sqot-adversarial-transfer",
+      "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:regret-realizability",
+      "label": "Regret realizability",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:safe-adversary-class-expansion",
+      "label": "Safe adversary-class expansion",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:safe-ignorance",
+      "label": "Safe ignorance",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.OccupationLedger"
+      ],
+      "item_id": "prop:cumulative-occupation",
+      "label": "Cumulative occupation composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:effect-source-certificates",
+      "label": "Effect and source certificates",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:effect-source-separation",
+      "label": "Effect-source identifiability separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.OccupationLedger"
+      ],
+      "item_id": "prop:latency-without-high-total-occupation",
+      "label": "Latency without high total occupation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecpt.check_queue_certificate"
+      ],
+      "item_id": "def:network-process",
+      "label": "Network process and communication queues",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:consensus-sovereignty-certificate",
+      "label": "Consensus sovereignty certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:topological-surgery-fragmented-certificate",
+      "label": "Topological surgery and fragmented certificate",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "def:salience-extortion-mechanism",
+      "label": "Salience-extortion mechanism",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_schema",
+      "implementation_maturity": "implemented_schema_only",
+      "implementation_refs": [
+        "sqot.SalienceQueueRecord"
+      ],
+      "item_id": "def:verifier-mediated-rejoin-certificate",
+      "label": "Verifier-mediated rejoin certificate",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:distributed-salience-composition",
+      "label": "Distributed salience composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:topology-morphism",
+      "label": "Topology morphism",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:topomorphism-invariance",
+      "label": "Topo-morphism invariance",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "thm:fragmented-sovereignty",
+      "label": "Fragmented sovereignty",
+      "obligation_category": "sqot-protocol-integrity",
+      "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:mechanism-compatible-kernel",
+      "label": "Mechanism-compatible sovereignty kernel",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_constructive",
+      "implementation_maturity": "implemented_verified_algorithm",
+      "implementation_refs": [
+        "sqot.build_salience_schedule"
+      ],
+      "item_id": "thm:mechanism-witness-verification",
+      "label": "Mechanism witness verification",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecology.build_bottleneck_plan"
+      ],
+      "item_id": "thm:mechanism-payoff-reflection",
+      "label": "Mechanism payoff-reflection",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecology.build_bottleneck_plan"
+      ],
+      "item_id": "thm:payoff-reflected-mechanism-robustness",
+      "label": "Payoff-reflected mechanism robustness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:extortion-equilibrium-separation",
+      "label": "Extortion equilibrium separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "ecology.build_bottleneck_plan"
+      ],
+      "item_id": "prop:strict-domination-mechanism-design",
+      "label": "Strict-domination mechanism design",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:extortion-margin",
+      "label": "Extortion margin",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:unsafe-self-amputation",
+      "label": "Unsafe self-amputation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "thm:safe-reintegration",
+      "label": "Safe reintegration",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:byzantine-false-rejoin-separation",
+      "label": "Byzantine false-rejoin separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:continuous-time-boundary",
+      "label": "Continuous-time SQOT boundary",
+      "obligation_category": "ecpt-bridge-reserve",
+      "verifier_route": "ecpt.adapters.bridge.verify_cross_theory_bridge"
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "prop:continuous-time-skeleton-soundness",
+      "label": "Continuous-time skeleton soundness",
+      "obligation_category": "domain-specific-proof",
+      "verifier_route": "core.adapters.external.verify_domain_obligation"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "prop:chronos-attack-separation",
+      "label": "Chronos attack separation",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "lem:causal-window-soundness",
+      "label": "Causal window soundness",
+      "obligation_category": null,
+      "verifier_route": null
+    }
+  ],
+  "mr_records": 0,
+  "representative_items": [
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:checker-semantics",
+      "label": "Checker semantics",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:checkable-ledger-judgment",
+      "label": "Checkable ledger and checker judgment",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.QuarantineLedger"
+      ],
+      "item_id": "def:leaky-quarantine-ledger",
+      "label": "Leaky quarantine ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:certificate-grammar",
+      "label": "Certificate grammar and checker traces",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "def:global-risk-ledger",
+      "label": "Global risk ledger",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "def:self-auditing-checker-budget",
+      "label": "Self-auditing checker budget",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "external_obligation",
+      "implementation_maturity": "external_contract_only",
+      "implementation_refs": [
+        "core.ExternalProofObligation"
+      ],
+      "item_id": "def:thermodynamic-discharge-ledger",
+      "label": "Thermodynamic discharge ledger",
+      "obligation_category": "sqot-thermodynamic-discharge",
+      "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "sqot.check_salience_record"
+      ],
+      "item_id": "def:finite-witness-obligations",
+      "label": "Finite obligation specification",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CertificateFamily"
+      ],
+      "item_id": "thm:certificate-grammar-soundness",
+      "label": "Finite certificate grammar soundness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "core.CheckerContext"
+      ],
+      "item_id": "thm:finite-checker-semantics-soundness",
+      "label": "Finite checker semantics soundness",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "prop:risk-budget-composition",
+      "label": "Risk-budget composition",
+      "obligation_category": null,
+      "verifier_route": null
+    },
+    {
+      "coverage_status": "implemented_checker",
+      "implementation_maturity": "implemented_shape_checker",
+      "implementation_refs": [
+        "trc.check_risk_gate"
+      ],
+      "item_id": "thm:typed-risk-composition",
+      "label": "Typed risk composition",
+      "obligation_category": null,
+      "verifier_route": null
+    }
+  ],
+  "schema_version": "theory-snapshot-1.0"
+}