percolation-inversion-compiler-ts 0.4.4

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 (366) hide show
  1. package/LICENSE +152 -0
  2. package/NOTICE +21 -0
  3. package/README.md +255 -0
  4. package/dist/agent/messages.d.ts +23 -0
  5. package/dist/agent/messages.js +457 -0
  6. package/dist/cli/main.d.ts +1 -0
  7. package/dist/cli/main.js +2646 -0
  8. package/dist/index.d.ts +91 -0
  9. package/dist/index.js +983 -0
  10. package/dist/io/schema.d.ts +16 -0
  11. package/dist/io/schema.js +153 -0
  12. package/dist/packet/index.d.ts +10 -0
  13. package/dist/packet/index.js +385 -0
  14. package/fixtures/portability_conformance/README.md +17 -0
  15. package/fixtures/portability_conformance/agent_check_report.json +1251 -0
  16. package/fixtures/portability_conformance/agent_intake_report.json +1169 -0
  17. package/fixtures/portability_conformance/agent_message_delivery_report.json +124 -0
  18. package/fixtures/portability_conformance/agent_relay_readiness_report.json +40 -0
  19. package/fixtures/portability_conformance/alt_admission_decision.json +16 -0
  20. package/fixtures/portability_conformance/bottleneck_witness_report.json +23 -0
  21. package/fixtures/portability_conformance/collective_phase_certificate.json +330 -0
  22. package/fixtures/portability_conformance/frontier_debt_report.json +24 -0
  23. package/fixtures/portability_conformance/manifest.json +113 -0
  24. package/fixtures/portability_conformance/negative/checksum_mismatch.json +4 -0
  25. package/fixtures/portability_conformance/negative/schema_invalid_agent_check.json +3 -0
  26. package/fixtures/portability_conformance/negative/unknown_schema.json +3 -0
  27. package/fixtures/portability_conformance/phase_acceleration_benchmark_report.json +21 -0
  28. package/fixtures/portability_conformance/phase_acceleration_plan.json +72 -0
  29. package/fixtures/portability_conformance/phase_control_audit_summary.json +16 -0
  30. package/fixtures/portability_conformance/relay_inbox.json +37 -0
  31. package/fixtures/portability_conformance/runtime_step_report.json +1384 -0
  32. package/fixtures/portability_conformance/salience_schedule_report.json +100 -0
  33. package/fixtures/portability_conformance/theory_fidelity_report.json +53 -0
  34. package/fixtures/portability_conformance/value_bridge_report.json +17 -0
  35. package/fixtures/python_v044_cli/adoption_packet.json +131 -0
  36. package/fixtures/python_v044_cli/adoption_request.json +60 -0
  37. package/fixtures/python_v044_cli/agent_autonomy_audit.json +254 -0
  38. package/fixtures/python_v044_cli/agent_check_compact.json +80 -0
  39. package/fixtures/python_v044_cli/agent_check_full.json +1265 -0
  40. package/fixtures/python_v044_cli/agent_communication_guide.json +426 -0
  41. package/fixtures/python_v044_cli/agent_intake.json +1175 -0
  42. package/fixtures/python_v044_cli/agent_manifest.json +373 -0
  43. package/fixtures/python_v044_cli/agent_runbook.json +115 -0
  44. package/fixtures/python_v044_cli/demo_installed_smoke.json +1367 -0
  45. package/fixtures/python_v044_cli/doctor_development.json +264 -0
  46. package/fixtures/python_v044_cli/identity_explain_profile_production.json +39 -0
  47. package/fixtures/python_v044_cli/phase_benchmark.json +42 -0
  48. package/fixtures/python_v044_cli/phase_benchmark_suite.json +428 -0
  49. package/fixtures/python_v044_cli/phase_dashboard.json +173 -0
  50. package/fixtures/python_v044_cli/phase_gap.json +119 -0
  51. package/fixtures/python_v044_cli/phase_observe.json +203 -0
  52. package/fixtures/python_v044_cli/phase_plan_compact.json +384 -0
  53. package/fixtures/python_v044_cli/phase_plan_full.json +2020 -0
  54. package/fixtures/python_v044_cli/phase_runbook.json +66 -0
  55. package/fixtures/python_v044_cli/routes_bindings.json +716 -0
  56. package/fixtures/python_v044_cli/routes_explain_replay_trc_physical_trace.json +57 -0
  57. package/fixtures/python_v044_cli/runtime_step_demo.json +1384 -0
  58. package/fixtures/python_v044_cli/snapshot_list.json +112 -0
  59. package/fixtures/python_v044_cli/snapshot_routes.json +926 -0
  60. package/fixtures/python_v044_cli/snapshot_show_alt.json +6830 -0
  61. package/fixtures/python_v044_cli/snapshot_show_bit.json +594 -0
  62. package/fixtures/python_v044_cli/snapshot_show_ecpt.json +2894 -0
  63. package/fixtures/python_v044_cli/snapshot_show_sqot.json +2392 -0
  64. package/fixtures/python_v044_cli/snapshot_show_trc.json +3037 -0
  65. package/fixtures/python_v044_cli/snapshot_verify_alt.json +10 -0
  66. package/fixtures/python_v044_cli/snapshot_verify_bit.json +10 -0
  67. package/fixtures/python_v044_cli/snapshot_verify_ecpt.json +10 -0
  68. package/fixtures/python_v044_cli/snapshot_verify_sqot.json +10 -0
  69. package/fixtures/python_v044_cli/snapshot_verify_trc.json +10 -0
  70. package/fixtures/python_v044_demo/agent_inbox.json +26 -0
  71. package/fixtures/python_v044_demo/agent_message.json +19 -0
  72. package/fixtures/python_v044_demo/agent_output.txt +1 -0
  73. package/fixtures/python_v044_demo/alt_admission_packet.json +208 -0
  74. package/fixtures/python_v044_demo/asi_proxy_phase_request.json +47 -0
  75. package/fixtures/python_v044_demo/general_intake_policy.json +58 -0
  76. package/fixtures/python_v044_demo/manifest.json +78 -0
  77. package/fixtures/python_v044_demo/packet_envelope.json +1463 -0
  78. package/fixtures/python_v044_demo/phase_dashboard.json +175 -0
  79. package/fixtures/python_v044_demo/runtime_state.json +143 -0
  80. package/fixtures/python_v044_demo/runtime_step_input.json +8 -0
  81. package/fixtures/python_v044_demo/runtime_step_report.json +1384 -0
  82. package/fixtures/python_v044_snapshots/alt.json +6830 -0
  83. package/fixtures/python_v044_snapshots/bit.json +543 -0
  84. package/fixtures/python_v044_snapshots/ecpt.json +2741 -0
  85. package/fixtures/python_v044_snapshots/sqot.json +2134 -0
  86. package/fixtures/python_v044_snapshots/trc.json +2880 -0
  87. package/package.json +129 -0
  88. package/schemas/ALTAccelerationCertificate.schema.json +169 -0
  89. package/schemas/ALTAdmissionDecision.schema.json +199 -0
  90. package/schemas/ALTCARACertificate.schema.json +285 -0
  91. package/schemas/ALTDeprecationRecord.schema.json +171 -0
  92. package/schemas/ALTKernelTransitionReport.schema.json +185 -0
  93. package/schemas/ALTResurrectionRecord.schema.json +171 -0
  94. package/schemas/ASIProxyTargetContract.schema.json +52 -0
  95. package/schemas/AbstractionToken.schema.json +281 -0
  96. package/schemas/AccelerationCertificate.schema.json +225 -0
  97. package/schemas/AccelerationExperimentSuite.schema.json +3731 -0
  98. package/schemas/AcceptedPacketPath.schema.json +148 -0
  99. package/schemas/ActionCommit.schema.json +67 -0
  100. package/schemas/ActionGrammar.schema.json +36 -0
  101. package/schemas/ActionabilityVector.schema.json +33 -0
  102. package/schemas/ActivationThresholdCertificate.schema.json +185 -0
  103. package/schemas/AdapterRouteSpec.schema.json +110 -0
  104. package/schemas/AdoptionFirstRunCommand.schema.json +44 -0
  105. package/schemas/AdoptionReviewChecklist.schema.json +36 -0
  106. package/schemas/AdoptionSafetyBoundary.schema.json +104 -0
  107. package/schemas/AgentAutonomyAuditReport.schema.json +213 -0
  108. package/schemas/AgentCheckReport.schema.json +3494 -0
  109. package/schemas/AgentCommandInvocation.schema.json +63 -0
  110. package/schemas/AgentCommunicationGuide.schema.json +213 -0
  111. package/schemas/AgentCommunicationPolicy.schema.json +73 -0
  112. package/schemas/AgentCommunicationStep.schema.json +85 -0
  113. package/schemas/AgentConnectorSpec.schema.json +89 -0
  114. package/schemas/AgentFeatureReadinessReport.schema.json +206 -0
  115. package/schemas/AgentIdentityAttestation.schema.json +99 -0
  116. package/schemas/AgentIdentityCheckReport.schema.json +225 -0
  117. package/schemas/AgentInboxRecord.schema.json +319 -0
  118. package/schemas/AgentIntakeReport.schema.json +3373 -0
  119. package/schemas/AgentIntakeRequest.schema.json +2250 -0
  120. package/schemas/AgentMessageContractReport.schema.json +195 -0
  121. package/schemas/AgentMessageDeliveryReport.schema.json +630 -0
  122. package/schemas/AgentMessageEnvelope.schema.json +201 -0
  123. package/schemas/AgentMessageNonceLedger.schema.json +45 -0
  124. package/schemas/AgentMessageVerificationContext.schema.json +60 -0
  125. package/schemas/AgentNetworkReadinessReport.schema.json +109 -0
  126. package/schemas/AgentNextActionReport.schema.json +83 -0
  127. package/schemas/AgentPacketExchangeReport.schema.json +519 -0
  128. package/schemas/AgentPeerRecord.schema.json +85 -0
  129. package/schemas/AgentPolicyIdentity.schema.json +79 -0
  130. package/schemas/AgentPopulationState.schema.json +2523 -0
  131. package/schemas/AgentRelayReadinessReport.schema.json +125 -0
  132. package/schemas/AgentRunbookReport.schema.json +100 -0
  133. package/schemas/AgentRuntimeConfig.schema.json +78 -0
  134. package/schemas/AgentTask.schema.json +101 -0
  135. package/schemas/AgentToOperatorRequest.schema.json +222 -0
  136. package/schemas/AgentWorkflowGuide.schema.json +128 -0
  137. package/schemas/AgentWorkflowStep.schema.json +59 -0
  138. package/schemas/AlgebraLawCertificate.schema.json +101 -0
  139. package/schemas/AttestationRecord.schema.json +63 -0
  140. package/schemas/AutocatalyticClosureWitness.schema.json +187 -0
  141. package/schemas/BaselineRefreshCertificate.schema.json +178 -0
  142. package/schemas/BasinReachabilityReport.schema.json +244 -0
  143. package/schemas/BottleneckCandidate.schema.json +105 -0
  144. package/schemas/BottleneckIntervention.schema.json +157 -0
  145. package/schemas/BottleneckInversionPlan.schema.json +212 -0
  146. package/schemas/BottleneckWitnessReport.schema.json +128 -0
  147. package/schemas/BoundaryGeneratorRecord.schema.json +57 -0
  148. package/schemas/BoundaryScriptRecord.schema.json +30 -0
  149. package/schemas/BudgetedToleranceScheduler.schema.json +59 -0
  150. package/schemas/CalibrationCertificate.schema.json +252 -0
  151. package/schemas/CanonicalImplementationReadinessReport.schema.json +298 -0
  152. package/schemas/CanonicalManifest.schema.json +80 -0
  153. package/schemas/CanonicalManifestRecord.schema.json +54 -0
  154. package/schemas/CanonicalTheorySnapshotSummary.schema.json +102 -0
  155. package/schemas/CapabilityBasinContract.schema.json +59 -0
  156. package/schemas/CapabilityPacketCandidate.schema.json +247 -0
  157. package/schemas/CapabilityPacketRegistry.schema.json +442 -0
  158. package/schemas/CapabilityStateVector.schema.json +169 -0
  159. package/schemas/CascadeResidualPotential.schema.json +32 -0
  160. package/schemas/CertificateCompilerRecord.schema.json +81 -0
  161. package/schemas/CertificateFamily.schema.json +376 -0
  162. package/schemas/CertificateRoute.schema.json +128 -0
  163. package/schemas/CertifiedAbstractionCapital.schema.json +161 -0
  164. package/schemas/CheckResult.schema.json +369 -0
  165. package/schemas/CheckerContext.schema.json +255 -0
  166. package/schemas/ClosedLoopAgentIteration.schema.json +1045 -0
  167. package/schemas/CollectivePhaseCertificate.schema.json +1377 -0
  168. package/schemas/CommercialReadinessSummary.schema.json +134 -0
  169. package/schemas/ConfidenceLedger.schema.json +26 -0
  170. package/schemas/ContentAddressedEvidenceRef.schema.json +48 -0
  171. package/schemas/ControlledTransition.schema.json +90 -0
  172. package/schemas/CryptographicAgentIdentity.schema.json +192 -0
  173. package/schemas/DKWCertificate.schema.json +31 -0
  174. package/schemas/DiagnosticReservePolicy.schema.json +22 -0
  175. package/schemas/DischargeRouteBinding.schema.json +93 -0
  176. package/schemas/DomainTypedSemiring.schema.json +55 -0
  177. package/schemas/DominanceWitness.schema.json +31 -0
  178. package/schemas/EProcessCertificate.schema.json +22 -0
  179. package/schemas/EdgeRelationVerificationReport.schema.json +161 -0
  180. package/schemas/EdgeRelationVerifierSpec.schema.json +62 -0
  181. package/schemas/EdgeWitness.schema.json +73 -0
  182. package/schemas/EdgeWitnessCertificate.schema.json +192 -0
  183. package/schemas/EvidenceArtifact.schema.json +112 -0
  184. package/schemas/EvidenceEnvelopeStoreRecord.schema.json +100 -0
  185. package/schemas/EvidencePolicy.schema.json +57 -0
  186. package/schemas/EvidenceResolutionBatch.schema.json +347 -0
  187. package/schemas/EvidenceVerificationProfile.schema.json +74 -0
  188. package/schemas/ExecutableALTCertificatePacket.schema.json +1512 -0
  189. package/schemas/ExecutableTraceNormalForm.schema.json +659 -0
  190. package/schemas/ExecutionAvailablePathCertificate.schema.json +204 -0
  191. package/schemas/ExternalCandidateClassification.schema.json +10 -0
  192. package/schemas/ExternalObligationCatalog.schema.json +238 -0
  193. package/schemas/ExternalVerifierHook.schema.json +174 -0
  194. package/schemas/FiniteOrder.schema.json +34 -0
  195. package/schemas/FinitePhaseControlCertificate.schema.json +100 -0
  196. package/schemas/FiniteTraceLaw.schema.json +30 -0
  197. package/schemas/FixedPopulationLedger.schema.json +255 -0
  198. package/schemas/FormationCostLedger.schema.json +91 -0
  199. package/schemas/FoundryControlDashboard.schema.json +198 -0
  200. package/schemas/FoundryState.schema.json +1819 -0
  201. package/schemas/FrontierDebtReport.schema.json +115 -0
  202. package/schemas/FunctorLawCertificate.schema.json +82 -0
  203. package/schemas/FusedGeometricComparisonCertificate.schema.json +79 -0
  204. package/schemas/FutureFreedomVector.schema.json +84 -0
  205. package/schemas/GeneralIntakePolicy.schema.json +255 -0
  206. package/schemas/GeneralIntakePolicyDecision.schema.json +85 -0
  207. package/schemas/GeneralIntakeProfile.schema.json +11 -0
  208. package/schemas/GeneralIntakeReport.schema.json +861 -0
  209. package/schemas/GeneralIntakeRuntimeBridgeReport.schema.json +761 -0
  210. package/schemas/GeneralIntakeSource.schema.json +57 -0
  211. package/schemas/GoodTuringCertificate.schema.json +27 -0
  212. package/schemas/HazardEnvelopeCertificate.schema.json +192 -0
  213. package/schemas/HiddenCapabilityInjectionReport.schema.json +212 -0
  214. package/schemas/IdentityContributionStatus.schema.json +11 -0
  215. package/schemas/IdentityTrustProfile.schema.json +12 -0
  216. package/schemas/ImplementationMaturity.schema.json +27 -0
  217. package/schemas/IndependenceCertificate.schema.json +42 -0
  218. package/schemas/InnerViabilityKernel.schema.json +45 -0
  219. package/schemas/IntakeProvenanceRecord.schema.json +192 -0
  220. package/schemas/InterventionCandidate.schema.json +266 -0
  221. package/schemas/Judgment.schema.json +351 -0
  222. package/schemas/LatticeWitness.schema.json +63 -0
  223. package/schemas/LedgerCoordinate.schema.json +79 -0
  224. package/schemas/LifecycleCostBounds.schema.json +65 -0
  225. package/schemas/LiquidityCertificate.schema.json +1094 -0
  226. package/schemas/MartingaleBlockResidual.schema.json +32 -0
  227. package/schemas/MartingaleDeficiencyCertificate.schema.json +76 -0
  228. package/schemas/MechanismCubeCertificate.schema.json +92 -0
  229. package/schemas/MissionValidityCertificate.schema.json +153 -0
  230. package/schemas/MonoidRecord.schema.json +30 -0
  231. package/schemas/MonotoneMap.schema.json +61 -0
  232. package/schemas/NegativeLiquidityCertificate.schema.json +176 -0
  233. package/schemas/NonPromotionPolicy.schema.json +39 -0
  234. package/schemas/ObligationRule.schema.json +54 -0
  235. package/schemas/ObligationSet.schema.json +230 -0
  236. package/schemas/ObligationTrace.schema.json +156 -0
  237. package/schemas/ObservationWindow.schema.json +48 -0
  238. package/schemas/ObservedTraceProjection.schema.json +57 -0
  239. package/schemas/OccupationLedger.schema.json +33 -0
  240. package/schemas/OperationalCheck.schema.json +29 -0
  241. package/schemas/OperationalReadinessReport.schema.json +216 -0
  242. package/schemas/OperatorAdoptionPacket.schema.json +303 -0
  243. package/schemas/OpportunityMeasureContract.schema.json +165 -0
  244. package/schemas/OrderedPotentialCone.schema.json +125 -0
  245. package/schemas/PacketCapitalLineage.schema.json +90 -0
  246. package/schemas/PacketExchangeEnvelope.schema.json +213 -0
  247. package/schemas/PacketImportInspectionReport.schema.json +68 -0
  248. package/schemas/PacketIngestionReport.schema.json +655 -0
  249. package/schemas/PacketLineageDigest.schema.json +70 -0
  250. package/schemas/PacketMergeReport.schema.json +286 -0
  251. package/schemas/PacketPromotionPolicy.schema.json +47 -0
  252. package/schemas/PacketPromotionReport.schema.json +354 -0
  253. package/schemas/PacketRejection.schema.json +158 -0
  254. package/schemas/PhaseAccelerationBenchmarkReport.schema.json +103 -0
  255. package/schemas/PhaseAccelerationPlan.schema.json +4449 -0
  256. package/schemas/PhaseAccelerationRequest.schema.json +5333 -0
  257. package/schemas/PhaseAccelerationScore.schema.json +66 -0
  258. package/schemas/PhaseBenchmarkCaseResult.schema.json +164 -0
  259. package/schemas/PhaseBenchmarkSuiteReport.schema.json +234 -0
  260. package/schemas/PhaseBenchmarkTask.schema.json +36 -0
  261. package/schemas/PhaseComponentGap.schema.json +46 -0
  262. package/schemas/PhaseControlAction.schema.json +80 -0
  263. package/schemas/PhaseControlAuditSummary.schema.json +143 -0
  264. package/schemas/PhaseControlEnvelope.schema.json +53 -0
  265. package/schemas/PhaseControlObjective.schema.json +98 -0
  266. package/schemas/PhaseControlPlan.schema.json +377 -0
  267. package/schemas/PhaseControlRunReport.schema.json +425 -0
  268. package/schemas/PhaseControlState.schema.json +383 -0
  269. package/schemas/PhaseDashboardReport.schema.json +249 -0
  270. package/schemas/PhaseGapVector.schema.json +101 -0
  271. package/schemas/PhaseObservationReport.schema.json +321 -0
  272. package/schemas/PhaseTrajectoryReport.schema.json +4522 -0
  273. package/schemas/PopulationRuntimeStepReport.schema.json +5125 -0
  274. package/schemas/PortabilityConformanceReport.schema.json +99 -0
  275. package/schemas/PortabilitySchemaBundle.schema.json +23 -0
  276. package/schemas/ProblemSolvingTrace.schema.json +162 -0
  277. package/schemas/ProcessGrammarRecord.schema.json +56 -0
  278. package/schemas/ProductOrder.schema.json +53 -0
  279. package/schemas/ProductionReadinessProfile.schema.json +37 -0
  280. package/schemas/ProjectionAudit.schema.json +70 -0
  281. package/schemas/ProofObligation.schema.json +200 -0
  282. package/schemas/ProtocolFrameDigest.schema.json +79 -0
  283. package/schemas/ProtocolFunctorCertificate.schema.json +89 -0
  284. package/schemas/ProtocolObject.schema.json +45 -0
  285. package/schemas/ProtocolRelativeBenchmarkMetric.schema.json +39 -0
  286. package/schemas/ProvenanceManifest.schema.json +221 -0
  287. package/schemas/ProvenanceManifestEntry.schema.json +29 -0
  288. package/schemas/PsiDashboard.schema.json +213 -0
  289. package/schemas/PullbackGluingWitness.schema.json +43 -0
  290. package/schemas/QuarantineLedger.schema.json +31 -0
  291. package/schemas/ReachableMassRecursionCertificate.schema.json +129 -0
  292. package/schemas/ReconstructionResidual.schema.json +24 -0
  293. package/schemas/RefreshRule.schema.json +31 -0
  294. package/schemas/Registry.schema.json +231 -0
  295. package/schemas/ReleaseArtifactManifest.schema.json +62 -0
  296. package/schemas/ReproductionMatrixCertificate.schema.json +190 -0
  297. package/schemas/ResidualCarryForwardReport.schema.json +57 -0
  298. package/schemas/ResourceCalendarRecord.schema.json +67 -0
  299. package/schemas/ResourceEnvelope.schema.json +42 -0
  300. package/schemas/ResourceMatchedBaselineConfig.schema.json +81 -0
  301. package/schemas/RiskBudgetLedger.schema.json +19 -0
  302. package/schemas/RobotsDecision.schema.json +44 -0
  303. package/schemas/RootFinalityCertificate.schema.json +190 -0
  304. package/schemas/RouteExecutionBatch.schema.json +930 -0
  305. package/schemas/RouteExecutionRequest.schema.json +87 -0
  306. package/schemas/RuntimeActionResult.schema.json +807 -0
  307. package/schemas/RuntimeComparisonReport.schema.json +3670 -0
  308. package/schemas/RuntimeEvent.schema.json +142 -0
  309. package/schemas/RuntimeEventLog.schema.json +161 -0
  310. package/schemas/RuntimeExecutionReport.schema.json +872 -0
  311. package/schemas/RuntimeExecutorPolicy.schema.json +68 -0
  312. package/schemas/RuntimeHealthReport.schema.json +161 -0
  313. package/schemas/RuntimeIdentityContext.schema.json +480 -0
  314. package/schemas/RuntimeRunReport.schema.json +3487 -0
  315. package/schemas/RuntimeServiceSettings.schema.json +55 -0
  316. package/schemas/RuntimeState.schema.json +1438 -0
  317. package/schemas/RuntimeStepInput.schema.json +685 -0
  318. package/schemas/RuntimeStepReport.schema.json +3314 -0
  319. package/schemas/RuntimeStoreRecord.schema.json +106 -0
  320. package/schemas/RuntimeStoreSnapshot.schema.json +4815 -0
  321. package/schemas/SBOMManifest.schema.json +67 -0
  322. package/schemas/SQOTTheorySnapshot.schema.json +49 -0
  323. package/schemas/SafePhaseAction.schema.json +96 -0
  324. package/schemas/SalienceQueueRecord.schema.json +313 -0
  325. package/schemas/SalienceScheduleReport.schema.json +434 -0
  326. package/schemas/SalienceSchedulingDecision.schema.json +167 -0
  327. package/schemas/SchemaBundleDigest.schema.json +57 -0
  328. package/schemas/ScriptGroundMetricCertificate.schema.json +47 -0
  329. package/schemas/SelectiveCUPCertificate.schema.json +414 -0
  330. package/schemas/SettlementReturnRAFCertificate.schema.json +122 -0
  331. package/schemas/SinkhornCertificate.schema.json +55 -0
  332. package/schemas/SnapshotAttribution.schema.json +63 -0
  333. package/schemas/SnapshotCatalog.schema.json +481 -0
  334. package/schemas/SplitCertificate.schema.json +39 -0
  335. package/schemas/StatusAlgebraRecord.schema.json +37 -0
  336. package/schemas/StoppedEvidenceSheafCertificate.schema.json +120 -0
  337. package/schemas/StrictTexParseReport.schema.json +67 -0
  338. package/schemas/SybilResistanceLedger.schema.json +427 -0
  339. package/schemas/SybilResistancePolicy.schema.json +176 -0
  340. package/schemas/TRCCompileResult.schema.json +239 -0
  341. package/schemas/TRCStateRecord.schema.json +149 -0
  342. package/schemas/TelemetryCostCertificate.schema.json +171 -0
  343. package/schemas/TexGrammarDiagnostic.schema.json +39 -0
  344. package/schemas/TheoryAuditReport.schema.json +654 -0
  345. package/schemas/TheoryAuditSuiteReport.schema.json +775 -0
  346. package/schemas/TheoryFidelityReport.schema.json +100 -0
  347. package/schemas/TheoryImplementationRecord.schema.json +203 -0
  348. package/schemas/TheorySnapshot.schema.json +459 -0
  349. package/schemas/TheorySnapshotItem.schema.json +60 -0
  350. package/schemas/TokenLineage.schema.json +76 -0
  351. package/schemas/ToleranceAllocationCertificate.schema.json +62 -0
  352. package/schemas/TraceNormalizationCertificate.schema.json +77 -0
  353. package/schemas/TraceSufficiencyCertificate.schema.json +166 -0
  354. package/schemas/TransportCertificate.schema.json +178 -0
  355. package/schemas/TypedTraceTransducerRecord.schema.json +64 -0
  356. package/schemas/ValueBridgeReport.schema.json +131 -0
  357. package/schemas/VectorCompatibleFamily.schema.json +354 -0
  358. package/schemas/VerificationThroughputReport.schema.json +62 -0
  359. package/schemas/VerifiedCapabilityPacket.schema.json +251 -0
  360. package/schemas/VerifierEvidenceEnvelope.schema.json +178 -0
  361. package/schemas/VerifierResolution.schema.json +275 -0
  362. package/schemas/WebDiscoveryReport.schema.json +675 -0
  363. package/schemas/WebFetchPolicy.schema.json +145 -0
  364. package/schemas/WebFetchReport.schema.json +133 -0
  365. package/schemas/bundle.schema.json +100808 -0
  366. package/schemas/schema-digest.json +1674 -0
package/fixtures/python_v044_snapshots/sqot.json ADDED
@@ -0,0 +1,2134 @@
1
+ {
2
+ "artifact": "Salience-Queue Occupation Theory.tex",
3
+ "artifact_key": "sqot",
4
+ "attribution": {
5
+ "author": "K. Takahashi",
6
+ "derived_from": "canonical TeX metadata extraction; TeX/PDF not vendored",
7
+ "doi": "10.5281/zenodo.20526451",
8
+ "license_id": "cc-by-4.0",
9
+ "source_tex_md5": "c626c1b78301e33c7805e6020cf5bda2",
10
+ "source_tex_sha256": "73d3448d09b6e72ce7600c136b86b8064d8f71010f4cc8e9a2383d4c6e714958",
11
+ "title": "Salience-Queue Occupation Theory",
12
+ "year": 2026
13
+ },
14
+ "claims": 74,
15
+ "coverage_counts": {
16
+ "external_obligation": 15,
17
+ "implemented_checker": 78,
18
+ "implemented_constructive": 22,
19
+ "implemented_schema": 18,
20
+ "partial": 0,
21
+ "unsupported": 0
22
+ },
23
+ "coverage_delta": {
24
+ "external_obligation_total": 15,
25
+ "implemented_total": 118,
26
+ "unimplemented_total": 15,
27
+ "unsupported_total": 0
28
+ },
29
+ "definitions": 59,
30
+ "external_obligation_catalog": {
31
+ "artifact": "Salience-Queue Occupation Theory.tex",
32
+ "category_summary": {
33
+ "domain-specific-proof": 8,
34
+ "ecpt-bridge-reserve": 1,
35
+ "sqot-adversarial-transfer": 3,
36
+ "sqot-protocol-integrity": 2,
37
+ "sqot-thermodynamic-discharge": 1
38
+ },
39
+ "obligations": [
40
+ {
41
+ "accepted_evidence_kind": [
42
+ "finite-discharge-envelope",
43
+ "limit-residual",
44
+ "regularity-regime-certificate"
45
+ ],
46
+ "artifact": "Salience-Queue Occupation Theory.tex",
47
+ "checker_ref": null,
48
+ "checker_refs": [],
49
+ "coverage_status": "external_obligation",
50
+ "external_failure_modes": [
51
+ "finite-discharge-envelope-missing",
52
+ "limit-residual-not-certified",
53
+ "regularity-regime-certificate-unverified",
54
+ "no-implicit-settled-promotion",
55
+ "external-verifier-hook-required",
56
+ "limit-envelope-or-generator-calibration-required"
57
+ ],
58
+ "failure_modes": [
59
+ "finite-discharge-envelope-missing",
60
+ "limit-residual-not-certified",
61
+ "regularity-regime-certificate-unverified"
62
+ ],
63
+ "implementation_maturity": "external_contract_only",
64
+ "implementation_ref": "core.ExternalProofObligation",
65
+ "implementation_refs": [
66
+ "core.ExternalProofObligation"
67
+ ],
68
+ "item_id": "def:thermodynamic-discharge-ledger",
69
+ "label": "Thermodynamic discharge ledger",
70
+ "obligation_category": "sqot-thermodynamic-discharge",
71
+ "proof_obligation_ids": [
72
+ "obligation:def:thermodynamic-discharge-ledger"
73
+ ],
74
+ "residual_coordinates": [
75
+ "residual:def:thermodynamic-discharge-ledger"
76
+ ],
77
+ "residual_policy": "charge-thermodynamic-discharge-residual-until-envelope-certified",
78
+ "safe_default": "diagnostic-with-thermodynamic-discharge-obligation",
79
+ "schema_ref": null,
80
+ "schema_refs": [
81
+ "core.ExternalProofObligation"
82
+ ],
83
+ "verifier_contract": {
84
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
85
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
86
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
87
+ },
88
+ "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
89
+ },
90
+ {
91
+ "accepted_evidence_kind": [
92
+ "domain-certificate",
93
+ "replayable-witness"
94
+ ],
95
+ "artifact": "Salience-Queue Occupation Theory.tex",
96
+ "checker_ref": null,
97
+ "checker_refs": [],
98
+ "coverage_status": "external_obligation",
99
+ "external_failure_modes": [
100
+ "domain-certificate-missing",
101
+ "replayable-witness-missing",
102
+ "specific-verifier-route-not-configured",
103
+ "no-implicit-settled-promotion",
104
+ "external-verifier-hook-required"
105
+ ],
106
+ "failure_modes": [
107
+ "domain-certificate-missing",
108
+ "replayable-witness-missing",
109
+ "specific-verifier-route-not-configured"
110
+ ],
111
+ "implementation_maturity": "external_contract_only",
112
+ "implementation_ref": "core.ExternalProofObligation",
113
+ "implementation_refs": [
114
+ "core.ExternalProofObligation"
115
+ ],
116
+ "item_id": "thm:obligation-routing-soundness",
117
+ "label": "Obligation routing soundness",
118
+ "obligation_category": "domain-specific-proof",
119
+ "proof_obligation_ids": [
120
+ "obligation:thm:obligation-routing-soundness"
121
+ ],
122
+ "residual_coordinates": [
123
+ "residual:thm:obligation-routing-soundness"
124
+ ],
125
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
126
+ "safe_default": "diagnostic-with-domain-obligation",
127
+ "schema_ref": null,
128
+ "schema_refs": [
129
+ "core.ExternalProofObligation"
130
+ ],
131
+ "verifier_contract": {
132
+ "input": "ExternalProofObligation and independently replayable domain evidence",
133
+ "output": "ExternalVerifierHook with explicit residual coordinates",
134
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
135
+ },
136
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
137
+ },
138
+ {
139
+ "accepted_evidence_kind": [
140
+ "counterfactual-probe-log",
141
+ "finite-game-certificate",
142
+ "transfer-bound"
143
+ ],
144
+ "artifact": "Salience-Queue Occupation Theory.tex",
145
+ "checker_ref": null,
146
+ "checker_refs": [],
147
+ "coverage_status": "external_obligation",
148
+ "external_failure_modes": [
149
+ "counterfactual-probe-log-unverified",
150
+ "finite-game-certificate-missing",
151
+ "transfer-bound-not-certified",
152
+ "no-implicit-settled-promotion",
153
+ "external-verifier-hook-required"
154
+ ],
155
+ "failure_modes": [
156
+ "counterfactual-probe-log-unverified",
157
+ "finite-game-certificate-missing",
158
+ "transfer-bound-not-certified"
159
+ ],
160
+ "implementation_maturity": "external_contract_only",
161
+ "implementation_ref": "core.ExternalProofObligation",
162
+ "implementation_refs": [
163
+ "core.ExternalProofObligation"
164
+ ],
165
+ "item_id": "def:adversarial-salience-game",
166
+ "label": "Adversarial salience game",
167
+ "obligation_category": "sqot-adversarial-transfer",
168
+ "proof_obligation_ids": [
169
+ "obligation:def:adversarial-salience-game"
170
+ ],
171
+ "residual_coordinates": [
172
+ "residual:def:adversarial-salience-game"
173
+ ],
174
+ "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
175
+ "safe_default": "diagnostic-with-adversarial-transfer-obligation",
176
+ "schema_ref": null,
177
+ "schema_refs": [
178
+ "core.ExternalProofObligation"
179
+ ],
180
+ "verifier_contract": {
181
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
182
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
183
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
184
+ },
185
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
186
+ },
187
+ {
188
+ "accepted_evidence_kind": [
189
+ "authority-ledger",
190
+ "protocol-kernel-certificate",
191
+ "source-attribution-proof"
192
+ ],
193
+ "artifact": "Salience-Queue Occupation Theory.tex",
194
+ "checker_ref": null,
195
+ "checker_refs": [],
196
+ "coverage_status": "external_obligation",
197
+ "external_failure_modes": [
198
+ "authority-ledger-unverified",
199
+ "protocol-kernel-certificate-missing",
200
+ "source-attribution-proof-missing",
201
+ "no-implicit-settled-promotion",
202
+ "external-verifier-hook-required"
203
+ ],
204
+ "failure_modes": [
205
+ "authority-ledger-unverified",
206
+ "protocol-kernel-certificate-missing",
207
+ "source-attribution-proof-missing"
208
+ ],
209
+ "implementation_maturity": "external_contract_only",
210
+ "implementation_ref": "core.ExternalProofObligation",
211
+ "implementation_refs": [
212
+ "core.ExternalProofObligation"
213
+ ],
214
+ "item_id": "thm:adversarial-sovereignty-kernel",
215
+ "label": "Adversarial sovereignty kernel",
216
+ "obligation_category": "sqot-protocol-integrity",
217
+ "proof_obligation_ids": [
218
+ "obligation:thm:adversarial-sovereignty-kernel"
219
+ ],
220
+ "residual_coordinates": [
221
+ "residual:thm:adversarial-sovereignty-kernel"
222
+ ],
223
+ "residual_policy": "charge-protocol-integrity-residual-until-kernel-certified",
224
+ "safe_default": "diagnostic-with-protocol-integrity-obligation",
225
+ "schema_ref": null,
226
+ "schema_refs": [
227
+ "core.ExternalProofObligation"
228
+ ],
229
+ "verifier_contract": {
230
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
231
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
232
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
233
+ },
234
+ "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
235
+ },
236
+ {
237
+ "accepted_evidence_kind": [
238
+ "domain-certificate",
239
+ "replayable-witness"
240
+ ],
241
+ "artifact": "Salience-Queue Occupation Theory.tex",
242
+ "checker_ref": null,
243
+ "checker_refs": [],
244
+ "coverage_status": "external_obligation",
245
+ "external_failure_modes": [
246
+ "domain-certificate-missing",
247
+ "replayable-witness-missing",
248
+ "specific-verifier-route-not-configured",
249
+ "no-implicit-settled-promotion",
250
+ "external-verifier-hook-required"
251
+ ],
252
+ "failure_modes": [
253
+ "domain-certificate-missing",
254
+ "replayable-witness-missing",
255
+ "specific-verifier-route-not-configured"
256
+ ],
257
+ "implementation_maturity": "external_contract_only",
258
+ "implementation_ref": "core.ExternalProofObligation",
259
+ "implementation_refs": [
260
+ "core.ExternalProofObligation"
261
+ ],
262
+ "item_id": "thm:computational-belief-soundness",
263
+ "label": "Computational belief soundness",
264
+ "obligation_category": "domain-specific-proof",
265
+ "proof_obligation_ids": [
266
+ "obligation:thm:computational-belief-soundness"
267
+ ],
268
+ "residual_coordinates": [
269
+ "residual:thm:computational-belief-soundness"
270
+ ],
271
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
272
+ "safe_default": "diagnostic-with-domain-obligation",
273
+ "schema_ref": null,
274
+ "schema_refs": [
275
+ "core.ExternalProofObligation"
276
+ ],
277
+ "verifier_contract": {
278
+ "input": "ExternalProofObligation and independently replayable domain evidence",
279
+ "output": "ExternalVerifierHook with explicit residual coordinates",
280
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
281
+ },
282
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
283
+ },
284
+ {
285
+ "accepted_evidence_kind": [
286
+ "domain-certificate",
287
+ "replayable-witness"
288
+ ],
289
+ "artifact": "Salience-Queue Occupation Theory.tex",
290
+ "checker_ref": null,
291
+ "checker_refs": [],
292
+ "coverage_status": "external_obligation",
293
+ "external_failure_modes": [
294
+ "domain-certificate-missing",
295
+ "replayable-witness-missing",
296
+ "specific-verifier-route-not-configured",
297
+ "no-implicit-settled-promotion",
298
+ "external-verifier-hook-required"
299
+ ],
300
+ "failure_modes": [
301
+ "domain-certificate-missing",
302
+ "replayable-witness-missing",
303
+ "specific-verifier-route-not-configured"
304
+ ],
305
+ "implementation_maturity": "external_contract_only",
306
+ "implementation_ref": "core.ExternalProofObligation",
307
+ "implementation_refs": [
308
+ "core.ExternalProofObligation"
309
+ ],
310
+ "item_id": "thm:verifier-to-witness-soundness",
311
+ "label": "Verifier-to-witness soundness",
312
+ "obligation_category": "domain-specific-proof",
313
+ "proof_obligation_ids": [
314
+ "obligation:thm:verifier-to-witness-soundness"
315
+ ],
316
+ "residual_coordinates": [
317
+ "residual:thm:verifier-to-witness-soundness"
318
+ ],
319
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
320
+ "safe_default": "diagnostic-with-domain-obligation",
321
+ "schema_ref": null,
322
+ "schema_refs": [
323
+ "core.ExternalProofObligation"
324
+ ],
325
+ "verifier_contract": {
326
+ "input": "ExternalProofObligation and independently replayable domain evidence",
327
+ "output": "ExternalVerifierHook with explicit residual coordinates",
328
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
329
+ },
330
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
331
+ },
332
+ {
333
+ "accepted_evidence_kind": [
334
+ "domain-certificate",
335
+ "replayable-witness"
336
+ ],
337
+ "artifact": "Salience-Queue Occupation Theory.tex",
338
+ "checker_ref": null,
339
+ "checker_refs": [],
340
+ "coverage_status": "external_obligation",
341
+ "external_failure_modes": [
342
+ "domain-certificate-missing",
343
+ "replayable-witness-missing",
344
+ "specific-verifier-route-not-configured",
345
+ "no-implicit-settled-promotion",
346
+ "external-verifier-hook-required"
347
+ ],
348
+ "failure_modes": [
349
+ "domain-certificate-missing",
350
+ "replayable-witness-missing",
351
+ "specific-verifier-route-not-configured"
352
+ ],
353
+ "implementation_maturity": "external_contract_only",
354
+ "implementation_ref": "core.ExternalProofObligation",
355
+ "implementation_refs": [
356
+ "core.ExternalProofObligation"
357
+ ],
358
+ "item_id": "thm:adaptive-succinct-session-soundness",
359
+ "label": "Adaptive succinct session soundness",
360
+ "obligation_category": "domain-specific-proof",
361
+ "proof_obligation_ids": [
362
+ "obligation:thm:adaptive-succinct-session-soundness"
363
+ ],
364
+ "residual_coordinates": [
365
+ "residual:thm:adaptive-succinct-session-soundness"
366
+ ],
367
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
368
+ "safe_default": "diagnostic-with-domain-obligation",
369
+ "schema_ref": null,
370
+ "schema_refs": [
371
+ "core.ExternalProofObligation"
372
+ ],
373
+ "verifier_contract": {
374
+ "input": "ExternalProofObligation and independently replayable domain evidence",
375
+ "output": "ExternalVerifierHook with explicit residual coordinates",
376
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
377
+ },
378
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
379
+ },
380
+ {
381
+ "accepted_evidence_kind": [
382
+ "domain-certificate",
383
+ "replayable-witness"
384
+ ],
385
+ "artifact": "Salience-Queue Occupation Theory.tex",
386
+ "checker_ref": null,
387
+ "checker_refs": [],
388
+ "coverage_status": "external_obligation",
389
+ "external_failure_modes": [
390
+ "domain-certificate-missing",
391
+ "replayable-witness-missing",
392
+ "specific-verifier-route-not-configured",
393
+ "no-implicit-settled-promotion",
394
+ "external-verifier-hook-required"
395
+ ],
396
+ "failure_modes": [
397
+ "domain-certificate-missing",
398
+ "replayable-witness-missing",
399
+ "specific-verifier-route-not-configured"
400
+ ],
401
+ "implementation_maturity": "external_contract_only",
402
+ "implementation_ref": "core.ExternalProofObligation",
403
+ "implementation_refs": [
404
+ "core.ExternalProofObligation"
405
+ ],
406
+ "item_id": "thm:model-relative-anchor-soundness",
407
+ "label": "Model-relative anchor soundness",
408
+ "obligation_category": "domain-specific-proof",
409
+ "proof_obligation_ids": [
410
+ "obligation:thm:model-relative-anchor-soundness"
411
+ ],
412
+ "residual_coordinates": [
413
+ "residual:thm:model-relative-anchor-soundness"
414
+ ],
415
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
416
+ "safe_default": "diagnostic-with-domain-obligation",
417
+ "schema_ref": null,
418
+ "schema_refs": [
419
+ "core.ExternalProofObligation"
420
+ ],
421
+ "verifier_contract": {
422
+ "input": "ExternalProofObligation and independently replayable domain evidence",
423
+ "output": "ExternalVerifierHook with explicit residual coordinates",
424
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
425
+ },
426
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
427
+ },
428
+ {
429
+ "accepted_evidence_kind": [
430
+ "domain-certificate",
431
+ "replayable-witness"
432
+ ],
433
+ "artifact": "Salience-Queue Occupation Theory.tex",
434
+ "checker_ref": null,
435
+ "checker_refs": [],
436
+ "coverage_status": "external_obligation",
437
+ "external_failure_modes": [
438
+ "domain-certificate-missing",
439
+ "replayable-witness-missing",
440
+ "specific-verifier-route-not-configured",
441
+ "no-implicit-settled-promotion",
442
+ "external-verifier-hook-required"
443
+ ],
444
+ "failure_modes": [
445
+ "domain-certificate-missing",
446
+ "replayable-witness-missing",
447
+ "specific-verifier-route-not-configured"
448
+ ],
449
+ "implementation_maturity": "external_contract_only",
450
+ "implementation_ref": "core.ExternalProofObligation",
451
+ "implementation_refs": [
452
+ "core.ExternalProofObligation"
453
+ ],
454
+ "item_id": "prop:anchor-diversity-soundness",
455
+ "label": "Anchor-diversity soundness",
456
+ "obligation_category": "domain-specific-proof",
457
+ "proof_obligation_ids": [
458
+ "obligation:prop:anchor-diversity-soundness"
459
+ ],
460
+ "residual_coordinates": [
461
+ "residual:prop:anchor-diversity-soundness"
462
+ ],
463
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
464
+ "safe_default": "diagnostic-with-domain-obligation",
465
+ "schema_ref": null,
466
+ "schema_refs": [
467
+ "core.ExternalProofObligation"
468
+ ],
469
+ "verifier_contract": {
470
+ "input": "ExternalProofObligation and independently replayable domain evidence",
471
+ "output": "ExternalVerifierHook with explicit residual coordinates",
472
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
473
+ },
474
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
475
+ },
476
+ {
477
+ "accepted_evidence_kind": [
478
+ "counterfactual-probe-log",
479
+ "finite-game-certificate",
480
+ "transfer-bound"
481
+ ],
482
+ "artifact": "Salience-Queue Occupation Theory.tex",
483
+ "checker_ref": null,
484
+ "checker_refs": [],
485
+ "coverage_status": "external_obligation",
486
+ "external_failure_modes": [
487
+ "counterfactual-probe-log-unverified",
488
+ "finite-game-certificate-missing",
489
+ "transfer-bound-not-certified",
490
+ "no-implicit-settled-promotion",
491
+ "external-verifier-hook-required"
492
+ ],
493
+ "failure_modes": [
494
+ "counterfactual-probe-log-unverified",
495
+ "finite-game-certificate-missing",
496
+ "transfer-bound-not-certified"
497
+ ],
498
+ "implementation_maturity": "external_contract_only",
499
+ "implementation_ref": "core.ExternalProofObligation",
500
+ "implementation_refs": [
501
+ "core.ExternalProofObligation"
502
+ ],
503
+ "item_id": "def:adversarial-pac-transfer",
504
+ "label": "Adversarial PAC transfer certificate",
505
+ "obligation_category": "sqot-adversarial-transfer",
506
+ "proof_obligation_ids": [
507
+ "obligation:def:adversarial-pac-transfer"
508
+ ],
509
+ "residual_coordinates": [
510
+ "residual:def:adversarial-pac-transfer"
511
+ ],
512
+ "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
513
+ "safe_default": "diagnostic-with-adversarial-transfer-obligation",
514
+ "schema_ref": null,
515
+ "schema_refs": [
516
+ "core.ExternalProofObligation"
517
+ ],
518
+ "verifier_contract": {
519
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
520
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
521
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
522
+ },
523
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
524
+ },
525
+ {
526
+ "accepted_evidence_kind": [
527
+ "counterfactual-probe-log",
528
+ "finite-game-certificate",
529
+ "transfer-bound"
530
+ ],
531
+ "artifact": "Salience-Queue Occupation Theory.tex",
532
+ "checker_ref": null,
533
+ "checker_refs": [],
534
+ "coverage_status": "external_obligation",
535
+ "external_failure_modes": [
536
+ "counterfactual-probe-log-unverified",
537
+ "finite-game-certificate-missing",
538
+ "transfer-bound-not-certified",
539
+ "no-implicit-settled-promotion",
540
+ "external-verifier-hook-required"
541
+ ],
542
+ "failure_modes": [
543
+ "counterfactual-probe-log-unverified",
544
+ "finite-game-certificate-missing",
545
+ "transfer-bound-not-certified"
546
+ ],
547
+ "implementation_maturity": "external_contract_only",
548
+ "implementation_ref": "core.ExternalProofObligation",
549
+ "implementation_refs": [
550
+ "core.ExternalProofObligation"
551
+ ],
552
+ "item_id": "thm:adversarial-pac-transfer",
553
+ "label": "Adversarial PAC transfer",
554
+ "obligation_category": "sqot-adversarial-transfer",
555
+ "proof_obligation_ids": [
556
+ "obligation:thm:adversarial-pac-transfer"
557
+ ],
558
+ "residual_coordinates": [
559
+ "residual:thm:adversarial-pac-transfer"
560
+ ],
561
+ "residual_policy": "charge-adversarial-transfer-residual-until-game-certificate-accepted",
562
+ "safe_default": "diagnostic-with-adversarial-transfer-obligation",
563
+ "schema_ref": null,
564
+ "schema_refs": [
565
+ "core.ExternalProofObligation"
566
+ ],
567
+ "verifier_contract": {
568
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
569
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
570
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
571
+ },
572
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
573
+ },
574
+ {
575
+ "accepted_evidence_kind": [
576
+ "domain-certificate",
577
+ "replayable-witness"
578
+ ],
579
+ "artifact": "Salience-Queue Occupation Theory.tex",
580
+ "checker_ref": null,
581
+ "checker_refs": [],
582
+ "coverage_status": "external_obligation",
583
+ "external_failure_modes": [
584
+ "domain-certificate-missing",
585
+ "replayable-witness-missing",
586
+ "specific-verifier-route-not-configured",
587
+ "no-implicit-settled-promotion",
588
+ "external-verifier-hook-required"
589
+ ],
590
+ "failure_modes": [
591
+ "domain-certificate-missing",
592
+ "replayable-witness-missing",
593
+ "specific-verifier-route-not-configured"
594
+ ],
595
+ "implementation_maturity": "external_contract_only",
596
+ "implementation_ref": "core.ExternalProofObligation",
597
+ "implementation_refs": [
598
+ "core.ExternalProofObligation"
599
+ ],
600
+ "item_id": "def:topological-surgery-fragmented-certificate",
601
+ "label": "Topological surgery and fragmented certificate",
602
+ "obligation_category": "domain-specific-proof",
603
+ "proof_obligation_ids": [
604
+ "obligation:def:topological-surgery-fragmented-certificate"
605
+ ],
606
+ "residual_coordinates": [
607
+ "residual:def:topological-surgery-fragmented-certificate"
608
+ ],
609
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
610
+ "safe_default": "diagnostic-with-domain-obligation",
611
+ "schema_ref": null,
612
+ "schema_refs": [
613
+ "core.ExternalProofObligation"
614
+ ],
615
+ "verifier_contract": {
616
+ "input": "ExternalProofObligation and independently replayable domain evidence",
617
+ "output": "ExternalVerifierHook with explicit residual coordinates",
618
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
619
+ },
620
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
621
+ },
622
+ {
623
+ "accepted_evidence_kind": [
624
+ "authority-ledger",
625
+ "protocol-kernel-certificate",
626
+ "source-attribution-proof"
627
+ ],
628
+ "artifact": "Salience-Queue Occupation Theory.tex",
629
+ "checker_ref": null,
630
+ "checker_refs": [],
631
+ "coverage_status": "external_obligation",
632
+ "external_failure_modes": [
633
+ "authority-ledger-unverified",
634
+ "protocol-kernel-certificate-missing",
635
+ "source-attribution-proof-missing",
636
+ "no-implicit-settled-promotion",
637
+ "external-verifier-hook-required"
638
+ ],
639
+ "failure_modes": [
640
+ "authority-ledger-unverified",
641
+ "protocol-kernel-certificate-missing",
642
+ "source-attribution-proof-missing"
643
+ ],
644
+ "implementation_maturity": "external_contract_only",
645
+ "implementation_ref": "core.ExternalProofObligation",
646
+ "implementation_refs": [
647
+ "core.ExternalProofObligation"
648
+ ],
649
+ "item_id": "thm:fragmented-sovereignty",
650
+ "label": "Fragmented sovereignty",
651
+ "obligation_category": "sqot-protocol-integrity",
652
+ "proof_obligation_ids": [
653
+ "obligation:thm:fragmented-sovereignty"
654
+ ],
655
+ "residual_coordinates": [
656
+ "residual:thm:fragmented-sovereignty"
657
+ ],
658
+ "residual_policy": "charge-protocol-integrity-residual-until-kernel-certified",
659
+ "safe_default": "diagnostic-with-protocol-integrity-obligation",
660
+ "schema_ref": null,
661
+ "schema_refs": [
662
+ "core.ExternalProofObligation"
663
+ ],
664
+ "verifier_contract": {
665
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
666
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
667
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
668
+ },
669
+ "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
670
+ },
671
+ {
672
+ "accepted_evidence_kind": [
673
+ "bridge-map",
674
+ "machine-readable-capsule-audit",
675
+ "reserve-invariance-proof"
676
+ ],
677
+ "artifact": "Salience-Queue Occupation Theory.tex",
678
+ "checker_ref": null,
679
+ "checker_refs": [],
680
+ "coverage_status": "external_obligation",
681
+ "external_failure_modes": [
682
+ "bridge-map-unverified",
683
+ "capsule-projection-not-certified",
684
+ "reserve-invariance-unaccepted",
685
+ "no-implicit-settled-promotion",
686
+ "external-verifier-hook-required"
687
+ ],
688
+ "failure_modes": [
689
+ "bridge-map-unverified",
690
+ "capsule-projection-not-certified",
691
+ "reserve-invariance-unaccepted"
692
+ ],
693
+ "implementation_maturity": "external_contract_only",
694
+ "implementation_ref": "core.ExternalProofObligation",
695
+ "implementation_refs": [
696
+ "core.ExternalProofObligation"
697
+ ],
698
+ "item_id": "def:continuous-time-boundary",
699
+ "label": "Continuous-time SQOT boundary",
700
+ "obligation_category": "ecpt-bridge-reserve",
701
+ "proof_obligation_ids": [
702
+ "obligation:def:continuous-time-boundary"
703
+ ],
704
+ "residual_coordinates": [
705
+ "residual:def:continuous-time-boundary"
706
+ ],
707
+ "residual_policy": "charge-bridge-residual-until-cross-theory-proof-accepted",
708
+ "safe_default": "diagnostic-with-bridge-obligation",
709
+ "schema_ref": null,
710
+ "schema_refs": [
711
+ "core.ExternalProofObligation"
712
+ ],
713
+ "verifier_contract": {
714
+ "input": "ExternalProofObligation plus domain evidence matching accepted_evidence_kind",
715
+ "output": "ExternalVerifierHook with accepted/rejected obligation ids",
716
+ "promotion_rule": "accepted hooks may discharge obligations but cannot bypass finite checker status derivation"
717
+ },
718
+ "verifier_route": "ecpt.adapters.bridge.verify_cross_theory_bridge"
719
+ },
720
+ {
721
+ "accepted_evidence_kind": [
722
+ "domain-certificate",
723
+ "replayable-witness"
724
+ ],
725
+ "artifact": "Salience-Queue Occupation Theory.tex",
726
+ "checker_ref": null,
727
+ "checker_refs": [],
728
+ "coverage_status": "external_obligation",
729
+ "external_failure_modes": [
730
+ "domain-certificate-missing",
731
+ "replayable-witness-missing",
732
+ "specific-verifier-route-not-configured",
733
+ "no-implicit-settled-promotion",
734
+ "external-verifier-hook-required"
735
+ ],
736
+ "failure_modes": [
737
+ "domain-certificate-missing",
738
+ "replayable-witness-missing",
739
+ "specific-verifier-route-not-configured"
740
+ ],
741
+ "implementation_maturity": "external_contract_only",
742
+ "implementation_ref": "core.ExternalProofObligation",
743
+ "implementation_refs": [
744
+ "core.ExternalProofObligation"
745
+ ],
746
+ "item_id": "prop:continuous-time-skeleton-soundness",
747
+ "label": "Continuous-time skeleton soundness",
748
+ "obligation_category": "domain-specific-proof",
749
+ "proof_obligation_ids": [
750
+ "obligation:prop:continuous-time-skeleton-soundness"
751
+ ],
752
+ "residual_coordinates": [
753
+ "residual:prop:continuous-time-skeleton-soundness"
754
+ ],
755
+ "residual_policy": "charge-domain-residual-until-specific-verifier-accepted",
756
+ "safe_default": "diagnostic-with-domain-obligation",
757
+ "schema_ref": null,
758
+ "schema_refs": [
759
+ "core.ExternalProofObligation"
760
+ ],
761
+ "verifier_contract": {
762
+ "input": "ExternalProofObligation and independently replayable domain evidence",
763
+ "output": "ExternalVerifierHook with explicit residual coordinates",
764
+ "promotion_rule": "unresolved or rejected hooks keep diagnostic status"
765
+ },
766
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
767
+ }
768
+ ],
769
+ "verifier_route_summary": {
770
+ "core.adapters.external.verify_domain_obligation": 8,
771
+ "ecpt.adapters.bridge.verify_cross_theory_bridge": 1,
772
+ "sqot.adapters.adversarial.verify_transfer_game": 3,
773
+ "sqot.adapters.integrity.verify_protocol_kernel": 2,
774
+ "sqot.adapters.thermodynamic.verify_discharge_envelope": 1
775
+ }
776
+ },
777
+ "external_obligation_category_summary": {
778
+ "domain-specific-proof": 8,
779
+ "ecpt-bridge-reserve": 1,
780
+ "sqot-adversarial-transfer": 3,
781
+ "sqot-protocol-integrity": 2,
782
+ "sqot-thermodynamic-discharge": 1
783
+ },
784
+ "external_verifier_route_summary": {
785
+ "core.adapters.external.verify_domain_obligation": 8,
786
+ "ecpt.adapters.bridge.verify_cross_theory_bridge": 1,
787
+ "sqot.adapters.adversarial.verify_transfer_game": 3,
788
+ "sqot.adapters.integrity.verify_protocol_kernel": 2,
789
+ "sqot.adapters.thermodynamic.verify_discharge_envelope": 1
790
+ },
791
+ "item_mappings": [
792
+ {
793
+ "coverage_status": "implemented_checker",
794
+ "implementation_maturity": "implemented_shape_checker",
795
+ "implementation_refs": [
796
+ "core.CheckerContext"
797
+ ],
798
+ "item_id": "def:checker-semantics",
799
+ "label": "Checker semantics"
800
+ },
801
+ {
802
+ "coverage_status": "implemented_checker",
803
+ "implementation_maturity": "implemented_shape_checker",
804
+ "implementation_refs": [
805
+ "core.CheckerContext"
806
+ ],
807
+ "item_id": "def:checkable-ledger-judgment",
808
+ "label": "Checkable ledger and checker judgment"
809
+ },
810
+ {
811
+ "coverage_status": "implemented_checker",
812
+ "implementation_maturity": "implemented_shape_checker",
813
+ "implementation_refs": [
814
+ "sqot.QuarantineLedger"
815
+ ],
816
+ "item_id": "def:leaky-quarantine-ledger",
817
+ "label": "Leaky quarantine ledger"
818
+ },
819
+ {
820
+ "coverage_status": "implemented_checker",
821
+ "implementation_maturity": "implemented_shape_checker",
822
+ "implementation_refs": [
823
+ "core.CheckerContext"
824
+ ],
825
+ "item_id": "def:certificate-grammar",
826
+ "label": "Certificate grammar and checker traces"
827
+ },
828
+ {
829
+ "coverage_status": "implemented_checker",
830
+ "implementation_maturity": "implemented_shape_checker",
831
+ "implementation_refs": [
832
+ "trc.check_risk_gate"
833
+ ],
834
+ "item_id": "def:global-risk-ledger",
835
+ "label": "Global risk ledger"
836
+ },
837
+ {
838
+ "coverage_status": "implemented_checker",
839
+ "implementation_maturity": "implemented_shape_checker",
840
+ "implementation_refs": [
841
+ "core.CheckerContext"
842
+ ],
843
+ "item_id": "def:self-auditing-checker-budget",
844
+ "label": "Self-auditing checker budget"
845
+ },
846
+ {
847
+ "coverage_status": "external_obligation",
848
+ "implementation_maturity": "external_contract_only",
849
+ "implementation_refs": [
850
+ "core.ExternalProofObligation"
851
+ ],
852
+ "item_id": "def:thermodynamic-discharge-ledger",
853
+ "label": "Thermodynamic discharge ledger",
854
+ "obligation_category": "sqot-thermodynamic-discharge",
855
+ "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
856
+ },
857
+ {
858
+ "coverage_status": "implemented_checker",
859
+ "implementation_maturity": "implemented_shape_checker",
860
+ "implementation_refs": [
861
+ "sqot.check_salience_record"
862
+ ],
863
+ "item_id": "def:finite-witness-obligations",
864
+ "label": "Finite obligation specification"
865
+ },
866
+ {
867
+ "coverage_status": "implemented_checker",
868
+ "implementation_maturity": "implemented_shape_checker",
869
+ "implementation_refs": [
870
+ "core.CertificateFamily"
871
+ ],
872
+ "item_id": "thm:certificate-grammar-soundness",
873
+ "label": "Finite certificate grammar soundness"
874
+ },
875
+ {
876
+ "coverage_status": "implemented_checker",
877
+ "implementation_maturity": "implemented_shape_checker",
878
+ "implementation_refs": [
879
+ "core.CheckerContext"
880
+ ],
881
+ "item_id": "thm:finite-checker-semantics-soundness",
882
+ "label": "Finite checker semantics soundness"
883
+ },
884
+ {
885
+ "coverage_status": "implemented_checker",
886
+ "implementation_maturity": "implemented_shape_checker",
887
+ "implementation_refs": [
888
+ "trc.check_risk_gate"
889
+ ],
890
+ "item_id": "prop:risk-budget-composition",
891
+ "label": "Risk-budget composition"
892
+ },
893
+ {
894
+ "coverage_status": "implemented_checker",
895
+ "implementation_maturity": "implemented_shape_checker",
896
+ "implementation_refs": [
897
+ "trc.check_risk_gate"
898
+ ],
899
+ "item_id": "thm:typed-risk-composition",
900
+ "label": "Typed risk composition"
901
+ },
902
+ {
903
+ "coverage_status": "external_obligation",
904
+ "implementation_maturity": "external_contract_only",
905
+ "implementation_refs": [
906
+ "core.ExternalProofObligation"
907
+ ],
908
+ "item_id": "thm:obligation-routing-soundness",
909
+ "label": "Obligation routing soundness",
910
+ "obligation_category": "domain-specific-proof",
911
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
912
+ },
913
+ {
914
+ "coverage_status": "implemented_schema",
915
+ "implementation_maturity": "implemented_schema_only",
916
+ "implementation_refs": [
917
+ "ecpt.ObservationProtocol"
918
+ ],
919
+ "item_id": "def:observation-protocol",
920
+ "label": "Observation protocol"
921
+ },
922
+ {
923
+ "coverage_status": "implemented_schema",
924
+ "implementation_maturity": "implemented_schema_only",
925
+ "implementation_refs": [
926
+ "sqot.SalienceQueueRecord"
927
+ ],
928
+ "item_id": "def:protocol-state-mutation",
929
+ "label": "Protocol state and mutation"
930
+ },
931
+ {
932
+ "coverage_status": "implemented_schema",
933
+ "implementation_maturity": "implemented_schema_only",
934
+ "implementation_refs": [
935
+ "sqot.SalienceQueueRecord"
936
+ ],
937
+ "item_id": "def:operational-process",
938
+ "label": "Operational process"
939
+ },
940
+ {
941
+ "coverage_status": "implemented_constructive",
942
+ "implementation_maturity": "implemented_verified_algorithm",
943
+ "implementation_refs": [
944
+ "sqot.build_salience_schedule"
945
+ ],
946
+ "item_id": "def:finite-window",
947
+ "label": "Finite window"
948
+ },
949
+ {
950
+ "coverage_status": "implemented_schema",
951
+ "implementation_maturity": "implemented_schema_only",
952
+ "implementation_refs": [
953
+ "sqot.SalienceQueueRecord"
954
+ ],
955
+ "item_id": "def:causal-window-clock-ledger",
956
+ "label": "Causal window and clock ledger"
957
+ },
958
+ {
959
+ "coverage_status": "implemented_constructive",
960
+ "implementation_maturity": "implemented_verified_algorithm",
961
+ "implementation_refs": [
962
+ "sqot.build_salience_schedule"
963
+ ],
964
+ "item_id": "def:budget-ledger",
965
+ "label": "Budget ledger"
966
+ },
967
+ {
968
+ "coverage_status": "implemented_constructive",
969
+ "implementation_maturity": "implemented_verified_algorithm",
970
+ "implementation_refs": [
971
+ "sqot.build_salience_schedule"
972
+ ],
973
+ "item_id": "def:polymorphic-resource-ledger",
974
+ "label": "Polymorphic resource ledger"
975
+ },
976
+ {
977
+ "coverage_status": "implemented_schema",
978
+ "implementation_maturity": "implemented_schema_only",
979
+ "implementation_refs": [
980
+ "sqot.SalienceQueueRecord"
981
+ ],
982
+ "item_id": "def:absolute-pac-certificates",
983
+ "label": "Absolute and PAC salience certificates"
984
+ },
985
+ {
986
+ "coverage_status": "implemented_checker",
987
+ "implementation_maturity": "implemented_shape_checker",
988
+ "implementation_refs": [
989
+ "ecpt.check_queue_certificate"
990
+ ],
991
+ "item_id": "def:queue-morphism",
992
+ "label": "Queue representation and morphism"
993
+ },
994
+ {
995
+ "coverage_status": "implemented_checker",
996
+ "implementation_maturity": "implemented_shape_checker",
997
+ "implementation_refs": [
998
+ "sqot.check_salience_record"
999
+ ],
1000
+ "item_id": "def:salience-source",
1001
+ "label": "Salience source"
1002
+ },
1003
+ {
1004
+ "coverage_status": "implemented_checker",
1005
+ "implementation_maturity": "implemented_shape_checker",
1006
+ "implementation_refs": [
1007
+ "sqot.check_salience_record"
1008
+ ],
1009
+ "item_id": "def:finite-probe-counterfactual",
1010
+ "label": "Finite probe and counterfactual no-action"
1011
+ },
1012
+ {
1013
+ "coverage_status": "implemented_constructive",
1014
+ "implementation_maturity": "implemented_verified_algorithm",
1015
+ "implementation_refs": [
1016
+ "sqot.build_salience_schedule"
1017
+ ],
1018
+ "item_id": "def:probe-economy",
1019
+ "label": "Probe economy and stopping certificate"
1020
+ },
1021
+ {
1022
+ "coverage_status": "implemented_constructive",
1023
+ "implementation_maturity": "implemented_verified_algorithm",
1024
+ "implementation_refs": [
1025
+ "sqot.build_salience_schedule"
1026
+ ],
1027
+ "item_id": "thm:probe-economy-stopping",
1028
+ "label": "Probe-economy stopping"
1029
+ },
1030
+ {
1031
+ "coverage_status": "implemented_checker",
1032
+ "implementation_maturity": "implemented_shape_checker",
1033
+ "implementation_refs": [
1034
+ "sqot.check_salience_record"
1035
+ ],
1036
+ "item_id": "prop:positive-valence-compatibility",
1037
+ "label": "Positive-valence compatibility"
1038
+ },
1039
+ {
1040
+ "coverage_status": "implemented_schema",
1041
+ "implementation_maturity": "implemented_schema_only",
1042
+ "implementation_refs": [
1043
+ "sqot.SalienceQueueRecord"
1044
+ ],
1045
+ "item_id": "def:typed-diagnostic-bundle",
1046
+ "label": "Typed diagnostic bundle"
1047
+ },
1048
+ {
1049
+ "coverage_status": "implemented_schema",
1050
+ "implementation_maturity": "implemented_schema_only",
1051
+ "implementation_refs": [
1052
+ "sqot.SalienceQueueRecord"
1053
+ ],
1054
+ "item_id": "def:cone-order-mandatory",
1055
+ "label": "Cone order and mandatory coordinates"
1056
+ },
1057
+ {
1058
+ "coverage_status": "implemented_checker",
1059
+ "implementation_maturity": "implemented_shape_checker",
1060
+ "implementation_refs": [
1061
+ "sqot.check_salience_record"
1062
+ ],
1063
+ "item_id": "prop:scalarization-failure",
1064
+ "label": "Scalarization failure"
1065
+ },
1066
+ {
1067
+ "coverage_status": "implemented_checker",
1068
+ "implementation_maturity": "implemented_shape_checker",
1069
+ "implementation_refs": [
1070
+ "sqot.OccupationLedger"
1071
+ ],
1072
+ "item_id": "def:occupation-distortion",
1073
+ "label": "Occupation and distortion"
1074
+ },
1075
+ {
1076
+ "coverage_status": "implemented_checker",
1077
+ "implementation_maturity": "implemented_shape_checker",
1078
+ "implementation_refs": [
1079
+ "sqot.check_salience_record"
1080
+ ],
1081
+ "item_id": "def:latency-loss",
1082
+ "label": "Latency and deadline loss"
1083
+ },
1084
+ {
1085
+ "coverage_status": "implemented_checker",
1086
+ "implementation_maturity": "implemented_shape_checker",
1087
+ "implementation_refs": [
1088
+ "sqot.DiagnosticReservePolicy"
1089
+ ],
1090
+ "item_id": "def:reserve-audit-depth",
1091
+ "label": "Diagnostic reserve and audit depth"
1092
+ },
1093
+ {
1094
+ "coverage_status": "implemented_checker",
1095
+ "implementation_maturity": "implemented_shape_checker",
1096
+ "implementation_refs": [
1097
+ "sqot.OccupationLedger"
1098
+ ],
1099
+ "item_id": "def:reserve-adequacy-meta",
1100
+ "label": "Reserve adequacy interval and meta-occupation"
1101
+ },
1102
+ {
1103
+ "coverage_status": "implemented_constructive",
1104
+ "implementation_maturity": "implemented_verified_algorithm",
1105
+ "implementation_refs": [
1106
+ "sqot.build_salience_schedule"
1107
+ ],
1108
+ "item_id": "prop:reserve-adequacy-two-sided",
1109
+ "label": "Reserve adequacy is two-sided"
1110
+ },
1111
+ {
1112
+ "coverage_status": "implemented_schema",
1113
+ "implementation_maturity": "implemented_schema_only",
1114
+ "implementation_refs": [
1115
+ "sqot.SalienceQueueRecord"
1116
+ ],
1117
+ "item_id": "def:rollback-residue",
1118
+ "label": "Rollback classes and residue"
1119
+ },
1120
+ {
1121
+ "coverage_status": "implemented_constructive",
1122
+ "implementation_maturity": "implemented_verified_algorithm",
1123
+ "implementation_refs": [
1124
+ "sqot.build_salience_schedule"
1125
+ ],
1126
+ "item_id": "def:future-freedom",
1127
+ "label": "Future freedom"
1128
+ },
1129
+ {
1130
+ "coverage_status": "implemented_constructive",
1131
+ "implementation_maturity": "implemented_verified_algorithm",
1132
+ "implementation_refs": [
1133
+ "sqot.build_salience_schedule"
1134
+ ],
1135
+ "item_id": "thm:finite-salience-accounting",
1136
+ "label": "Finite salience accounting"
1137
+ },
1138
+ {
1139
+ "coverage_status": "implemented_constructive",
1140
+ "implementation_maturity": "implemented_verified_algorithm",
1141
+ "implementation_refs": [
1142
+ "sqot.build_salience_schedule"
1143
+ ],
1144
+ "item_id": "thm:pac-salience-accounting",
1145
+ "label": "PAC salience accounting"
1146
+ },
1147
+ {
1148
+ "coverage_status": "implemented_checker",
1149
+ "implementation_maturity": "implemented_shape_checker",
1150
+ "implementation_refs": [
1151
+ "ecpt.check_queue_certificate"
1152
+ ],
1153
+ "item_id": "thm:queue-morphism-invariance",
1154
+ "label": "Queue-morphism invariance"
1155
+ },
1156
+ {
1157
+ "coverage_status": "implemented_constructive",
1158
+ "implementation_maturity": "implemented_verified_algorithm",
1159
+ "implementation_refs": [
1160
+ "sqot.build_salience_schedule"
1161
+ ],
1162
+ "item_id": "thm:resource-arbitrage-obstruction",
1163
+ "label": "Resource arbitrage obstruction"
1164
+ },
1165
+ {
1166
+ "coverage_status": "implemented_constructive",
1167
+ "implementation_maturity": "implemented_verified_algorithm",
1168
+ "implementation_refs": [
1169
+ "sqot.build_salience_schedule"
1170
+ ],
1171
+ "item_id": "prop:exchange-morphism-preservation",
1172
+ "label": "Exchange-morphism preservation"
1173
+ },
1174
+ {
1175
+ "coverage_status": "implemented_schema",
1176
+ "implementation_maturity": "implemented_schema_only",
1177
+ "implementation_refs": [
1178
+ "sqot.SalienceQueueRecord"
1179
+ ],
1180
+ "item_id": "def:class-refinement-hypergraph",
1181
+ "label": "Class-refinement hypergraph"
1182
+ },
1183
+ {
1184
+ "coverage_status": "implemented_constructive",
1185
+ "implementation_maturity": "implemented_verified_algorithm",
1186
+ "implementation_refs": [
1187
+ "sqot.build_salience_schedule"
1188
+ ],
1189
+ "item_id": "def:information-tracking",
1190
+ "label": "Finite-partition information tracking"
1191
+ },
1192
+ {
1193
+ "coverage_status": "implemented_checker",
1194
+ "implementation_maturity": "implemented_shape_checker",
1195
+ "implementation_refs": [
1196
+ "ecology.build_edge_witnesses"
1197
+ ],
1198
+ "item_id": "def:semantic-egress-context-closure",
1199
+ "label": "Semantic egress and contextual payload closure"
1200
+ },
1201
+ {
1202
+ "coverage_status": "implemented_constructive",
1203
+ "implementation_maturity": "implemented_verified_algorithm",
1204
+ "implementation_refs": [
1205
+ "sqot.build_salience_schedule"
1206
+ ],
1207
+ "item_id": "thm:granularity-closure",
1208
+ "label": "Granularity closure"
1209
+ },
1210
+ {
1211
+ "coverage_status": "implemented_constructive",
1212
+ "implementation_maturity": "implemented_verified_algorithm",
1213
+ "implementation_refs": [
1214
+ "sqot.build_salience_schedule"
1215
+ ],
1216
+ "item_id": "thm:partition-information-tracking",
1217
+ "label": "Partition information tracking"
1218
+ },
1219
+ {
1220
+ "coverage_status": "implemented_checker",
1221
+ "implementation_maturity": "implemented_shape_checker",
1222
+ "implementation_refs": [
1223
+ "sqot.check_salience_record"
1224
+ ],
1225
+ "item_id": "prop:contextual-payload-obstruction",
1226
+ "label": "Contextual payload obstruction"
1227
+ },
1228
+ {
1229
+ "coverage_status": "implemented_checker",
1230
+ "implementation_maturity": "implemented_shape_checker",
1231
+ "implementation_refs": [
1232
+ "sqot.check_salience_record"
1233
+ ],
1234
+ "item_id": "thm:galois-egress-overclosure",
1235
+ "label": "Galois egress over-closure"
1236
+ },
1237
+ {
1238
+ "coverage_status": "implemented_constructive",
1239
+ "implementation_maturity": "implemented_verified_algorithm",
1240
+ "implementation_refs": [
1241
+ "sqot.build_salience_schedule"
1242
+ ],
1243
+ "item_id": "thm:egress-abstraction-refinement",
1244
+ "label": "Egress abstraction refinement"
1245
+ },
1246
+ {
1247
+ "coverage_status": "implemented_constructive",
1248
+ "implementation_maturity": "implemented_verified_algorithm",
1249
+ "implementation_refs": [
1250
+ "sqot.build_salience_schedule"
1251
+ ],
1252
+ "item_id": "thm:counterexample-guided-egress-refinement",
1253
+ "label": "Counterexample-guided egress refinement"
1254
+ },
1255
+ {
1256
+ "coverage_status": "implemented_checker",
1257
+ "implementation_maturity": "implemented_shape_checker",
1258
+ "implementation_refs": [
1259
+ "ecpt.check_queue_certificate"
1260
+ ],
1261
+ "item_id": "prop:encrypted-queue-leakage-separation",
1262
+ "label": "Encrypted queue leakage separation"
1263
+ },
1264
+ {
1265
+ "coverage_status": "implemented_checker",
1266
+ "implementation_maturity": "implemented_shape_checker",
1267
+ "implementation_refs": [
1268
+ "sqot.check_salience_record"
1269
+ ],
1270
+ "item_id": "prop:label-laundering-effect-first",
1271
+ "label": "Label laundering and effect-first diagnosis"
1272
+ },
1273
+ {
1274
+ "coverage_status": "implemented_constructive",
1275
+ "implementation_maturity": "implemented_verified_algorithm",
1276
+ "implementation_refs": [
1277
+ "sqot.build_salience_schedule"
1278
+ ],
1279
+ "item_id": "def:finite-sovereignty-game",
1280
+ "label": "Finite sovereignty game"
1281
+ },
1282
+ {
1283
+ "coverage_status": "implemented_checker",
1284
+ "implementation_maturity": "implemented_shape_checker",
1285
+ "implementation_refs": [
1286
+ "sqot.check_salience_record"
1287
+ ],
1288
+ "item_id": "lem:cone-safe-predecessor",
1289
+ "label": "Cone-safe predecessor"
1290
+ },
1291
+ {
1292
+ "coverage_status": "implemented_checker",
1293
+ "implementation_maturity": "implemented_shape_checker",
1294
+ "implementation_refs": [
1295
+ "sqot.check_salience_record"
1296
+ ],
1297
+ "item_id": "def:path-integral-cone-recovery",
1298
+ "label": "Path-integral cone recovery"
1299
+ },
1300
+ {
1301
+ "coverage_status": "implemented_checker",
1302
+ "implementation_maturity": "implemented_shape_checker",
1303
+ "implementation_refs": [
1304
+ "sqot.check_salience_record"
1305
+ ],
1306
+ "item_id": "lem:path-integral-cone-predecessor",
1307
+ "label": "Path-integral cone predecessor"
1308
+ },
1309
+ {
1310
+ "coverage_status": "implemented_schema",
1311
+ "implementation_maturity": "implemented_schema_only",
1312
+ "implementation_refs": [
1313
+ "sqot.SalienceQueueRecord"
1314
+ ],
1315
+ "item_id": "def:protocol-integrity-kernel",
1316
+ "label": "Protocol-integrity kernel"
1317
+ },
1318
+ {
1319
+ "coverage_status": "implemented_checker",
1320
+ "implementation_maturity": "implemented_shape_checker",
1321
+ "implementation_refs": [
1322
+ "sqot.check_salience_record"
1323
+ ],
1324
+ "item_id": "prop:protocol-integrity-fixed-point",
1325
+ "label": "Protocol-integrity fixed point"
1326
+ },
1327
+ {
1328
+ "coverage_status": "implemented_checker",
1329
+ "implementation_maturity": "implemented_shape_checker",
1330
+ "implementation_refs": [
1331
+ "sqot.check_salience_record"
1332
+ ],
1333
+ "item_id": "prop:protocol-mutation-vulnerability",
1334
+ "label": "Protocol-mutation vulnerability"
1335
+ },
1336
+ {
1337
+ "coverage_status": "implemented_schema",
1338
+ "implementation_maturity": "implemented_schema_only",
1339
+ "implementation_refs": [
1340
+ "sqot.SalienceQueueRecord"
1341
+ ],
1342
+ "item_id": "def:safe-target-states",
1343
+ "label": "Safe and target states"
1344
+ },
1345
+ {
1346
+ "coverage_status": "implemented_checker",
1347
+ "implementation_maturity": "implemented_shape_checker",
1348
+ "implementation_refs": [
1349
+ "sqot.QuarantineLedger"
1350
+ ],
1351
+ "item_id": "thm:quarantine-breach",
1352
+ "label": "Quarantine breach"
1353
+ },
1354
+ {
1355
+ "coverage_status": "implemented_checker",
1356
+ "implementation_maturity": "implemented_shape_checker",
1357
+ "implementation_refs": [
1358
+ "sqot.check_salience_record"
1359
+ ],
1360
+ "item_id": "thm:no-free-discharge",
1361
+ "label": "No-free-discharge"
1362
+ },
1363
+ {
1364
+ "coverage_status": "implemented_checker",
1365
+ "implementation_maturity": "implemented_shape_checker",
1366
+ "implementation_refs": [
1367
+ "sqot.check_salience_record"
1368
+ ],
1369
+ "item_id": "def:sovereignty-kernel",
1370
+ "label": "Sovereignty kernel"
1371
+ },
1372
+ {
1373
+ "coverage_status": "implemented_checker",
1374
+ "implementation_maturity": "implemented_shape_checker",
1375
+ "implementation_refs": [
1376
+ "sqot.check_salience_record"
1377
+ ],
1378
+ "item_id": "thm:self-auditing-kernel",
1379
+ "label": "Self-auditing sovereignty kernel"
1380
+ },
1381
+ {
1382
+ "coverage_status": "external_obligation",
1383
+ "implementation_maturity": "external_contract_only",
1384
+ "implementation_refs": [
1385
+ "core.ExternalProofObligation"
1386
+ ],
1387
+ "item_id": "def:adversarial-salience-game",
1388
+ "label": "Adversarial salience game",
1389
+ "obligation_category": "sqot-adversarial-transfer",
1390
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
1391
+ },
1392
+ {
1393
+ "coverage_status": "external_obligation",
1394
+ "implementation_maturity": "external_contract_only",
1395
+ "implementation_refs": [
1396
+ "core.ExternalProofObligation"
1397
+ ],
1398
+ "item_id": "thm:adversarial-sovereignty-kernel",
1399
+ "label": "Adversarial sovereignty kernel",
1400
+ "obligation_category": "sqot-protocol-integrity",
1401
+ "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
1402
+ },
1403
+ {
1404
+ "coverage_status": "implemented_checker",
1405
+ "implementation_maturity": "implemented_shape_checker",
1406
+ "implementation_refs": [
1407
+ "sqot.check_salience_record"
1408
+ ],
1409
+ "item_id": "def:epistemic-salience-game",
1410
+ "label": "Epistemic salience game"
1411
+ },
1412
+ {
1413
+ "coverage_status": "implemented_checker",
1414
+ "implementation_maturity": "implemented_shape_checker",
1415
+ "implementation_refs": [
1416
+ "sqot.check_salience_record"
1417
+ ],
1418
+ "item_id": "thm:epistemic-salience-kernel",
1419
+ "label": "Epistemic salience kernel"
1420
+ },
1421
+ {
1422
+ "coverage_status": "implemented_constructive",
1423
+ "implementation_maturity": "implemented_verified_algorithm",
1424
+ "implementation_refs": [
1425
+ "sqot.build_salience_schedule"
1426
+ ],
1427
+ "item_id": "def:bounded-memory-computational-belief",
1428
+ "label": "Bounded-memory computational belief"
1429
+ },
1430
+ {
1431
+ "coverage_status": "external_obligation",
1432
+ "implementation_maturity": "external_contract_only",
1433
+ "implementation_refs": [
1434
+ "core.ExternalProofObligation"
1435
+ ],
1436
+ "item_id": "thm:computational-belief-soundness",
1437
+ "label": "Computational belief soundness",
1438
+ "obligation_category": "domain-specific-proof",
1439
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1440
+ },
1441
+ {
1442
+ "coverage_status": "implemented_checker",
1443
+ "implementation_maturity": "implemented_shape_checker",
1444
+ "implementation_refs": [
1445
+ "sqot.check_salience_record"
1446
+ ],
1447
+ "item_id": "prop:belief-executability-gap",
1448
+ "label": "Complete belief does not imply bounded executability"
1449
+ },
1450
+ {
1451
+ "coverage_status": "implemented_checker",
1452
+ "implementation_maturity": "implemented_shape_checker",
1453
+ "implementation_refs": [
1454
+ "sqot.check_salience_record"
1455
+ ],
1456
+ "item_id": "def:reserve-safety-kernel",
1457
+ "label": "Reserve safety kernel"
1458
+ },
1459
+ {
1460
+ "coverage_status": "implemented_constructive",
1461
+ "implementation_maturity": "implemented_verified_algorithm",
1462
+ "implementation_refs": [
1463
+ "sqot.build_salience_schedule"
1464
+ ],
1465
+ "item_id": "thm:effective-reserve-kernel",
1466
+ "label": "Effective reserve kernel"
1467
+ },
1468
+ {
1469
+ "coverage_status": "implemented_schema",
1470
+ "implementation_maturity": "implemented_schema_only",
1471
+ "implementation_refs": [
1472
+ "sqot.SalienceQueueRecord"
1473
+ ],
1474
+ "item_id": "def:raw-sovereignty-certificate",
1475
+ "label": "Raw sovereignty certificate"
1476
+ },
1477
+ {
1478
+ "coverage_status": "implemented_schema",
1479
+ "implementation_maturity": "implemented_schema_only",
1480
+ "implementation_refs": [
1481
+ "sqot.SalienceQueueRecord"
1482
+ ],
1483
+ "item_id": "def:raw-checked-sovereignty-certificate",
1484
+ "label": "Raw checked sovereignty certificate"
1485
+ },
1486
+ {
1487
+ "coverage_status": "implemented_checker",
1488
+ "implementation_maturity": "implemented_shape_checker",
1489
+ "implementation_refs": [
1490
+ "sqot.build_salience_schedule"
1491
+ ],
1492
+ "item_id": "def:verification-cost-succinct-certificate",
1493
+ "label": "Verification-cost and succinct certificate"
1494
+ },
1495
+ {
1496
+ "coverage_status": "implemented_schema",
1497
+ "implementation_maturity": "implemented_schema_only",
1498
+ "implementation_refs": [
1499
+ "sqot.SalienceQueueRecord"
1500
+ ],
1501
+ "item_id": "thm:noncircular-sovereignty",
1502
+ "label": "Non-circular sovereignty certificate"
1503
+ },
1504
+ {
1505
+ "coverage_status": "implemented_schema",
1506
+ "implementation_maturity": "implemented_schema_only",
1507
+ "implementation_refs": [
1508
+ "sqot.SalienceQueueRecord"
1509
+ ],
1510
+ "item_id": "thm:checked-noncircular-sovereignty",
1511
+ "label": "Checked non-circular sovereignty certificate"
1512
+ },
1513
+ {
1514
+ "coverage_status": "implemented_checker",
1515
+ "implementation_maturity": "implemented_shape_checker",
1516
+ "implementation_refs": [
1517
+ "sqot.check_salience_record"
1518
+ ],
1519
+ "item_id": "prop:bureaucratic-capture",
1520
+ "label": "Bureaucratic capture obstruction"
1521
+ },
1522
+ {
1523
+ "coverage_status": "external_obligation",
1524
+ "implementation_maturity": "external_contract_only",
1525
+ "implementation_refs": [
1526
+ "core.ExternalProofObligation"
1527
+ ],
1528
+ "item_id": "thm:verifier-to-witness-soundness",
1529
+ "label": "Verifier-to-witness soundness",
1530
+ "obligation_category": "domain-specific-proof",
1531
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1532
+ },
1533
+ {
1534
+ "coverage_status": "external_obligation",
1535
+ "implementation_maturity": "external_contract_only",
1536
+ "implementation_refs": [
1537
+ "core.ExternalProofObligation"
1538
+ ],
1539
+ "item_id": "thm:adaptive-succinct-session-soundness",
1540
+ "label": "Adaptive succinct session soundness",
1541
+ "obligation_category": "domain-specific-proof",
1542
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1543
+ },
1544
+ {
1545
+ "coverage_status": "implemented_checker",
1546
+ "implementation_maturity": "implemented_shape_checker",
1547
+ "implementation_refs": [
1548
+ "sqot.check_salience_record"
1549
+ ],
1550
+ "item_id": "prop:proof-dag-compression",
1551
+ "label": "Proof-DAG compression"
1552
+ },
1553
+ {
1554
+ "coverage_status": "implemented_checker",
1555
+ "implementation_maturity": "implemented_shape_checker",
1556
+ "implementation_refs": [
1557
+ "sqot.check_salience_record"
1558
+ ],
1559
+ "item_id": "prop:no-free-succinctness",
1560
+ "label": "No-free succinctness"
1561
+ },
1562
+ {
1563
+ "coverage_status": "implemented_checker",
1564
+ "implementation_maturity": "implemented_shape_checker",
1565
+ "implementation_refs": [
1566
+ "sqot.check_salience_record"
1567
+ ],
1568
+ "item_id": "prop:choice-preserving-no-action",
1569
+ "label": "Choice-preserving no-action"
1570
+ },
1571
+ {
1572
+ "coverage_status": "implemented_checker",
1573
+ "implementation_maturity": "implemented_shape_checker",
1574
+ "implementation_refs": [
1575
+ "sqot.check_salience_record"
1576
+ ],
1577
+ "item_id": "prop:counterfactual-no-action-separation",
1578
+ "label": "Counterfactual no-action separation"
1579
+ },
1580
+ {
1581
+ "coverage_status": "implemented_checker",
1582
+ "implementation_maturity": "implemented_shape_checker",
1583
+ "implementation_refs": [
1584
+ "sqot.QuarantineLedger"
1585
+ ],
1586
+ "item_id": "prop:rollback-not-erasure",
1587
+ "label": "Rollback is not erasure"
1588
+ },
1589
+ {
1590
+ "coverage_status": "implemented_checker",
1591
+ "implementation_maturity": "implemented_shape_checker",
1592
+ "implementation_refs": [
1593
+ "core.CheckerContext"
1594
+ ],
1595
+ "item_id": "def:stratified-audit-checker",
1596
+ "label": "Stratified audit checker"
1597
+ },
1598
+ {
1599
+ "coverage_status": "implemented_checker",
1600
+ "implementation_maturity": "implemented_shape_checker",
1601
+ "implementation_refs": [
1602
+ "core.CheckerContext"
1603
+ ],
1604
+ "item_id": "def:substrate-anchored-root-checker",
1605
+ "label": "Substrate-anchored root checker"
1606
+ },
1607
+ {
1608
+ "coverage_status": "implemented_checker",
1609
+ "implementation_maturity": "implemented_shape_checker",
1610
+ "implementation_refs": [
1611
+ "sqot.check_salience_record"
1612
+ ],
1613
+ "item_id": "def:anchor-model-simulation",
1614
+ "label": "Anchor model and simulation indistinguishability"
1615
+ },
1616
+ {
1617
+ "coverage_status": "implemented_checker",
1618
+ "implementation_maturity": "implemented_shape_checker",
1619
+ "implementation_refs": [
1620
+ "sqot.check_salience_record"
1621
+ ],
1622
+ "item_id": "thm:stratified-audit-termination",
1623
+ "label": "Stratified audit termination"
1624
+ },
1625
+ {
1626
+ "coverage_status": "implemented_checker",
1627
+ "implementation_maturity": "implemented_shape_checker",
1628
+ "implementation_refs": [
1629
+ "core.CheckerContext"
1630
+ ],
1631
+ "item_id": "prop:root-checker-contamination",
1632
+ "label": "Root checker contamination"
1633
+ },
1634
+ {
1635
+ "coverage_status": "implemented_checker",
1636
+ "implementation_maturity": "implemented_shape_checker",
1637
+ "implementation_refs": [
1638
+ "sqot.check_salience_record"
1639
+ ],
1640
+ "item_id": "thm:substrate-anchored-acceptance",
1641
+ "label": "Substrate-anchored acceptance"
1642
+ },
1643
+ {
1644
+ "coverage_status": "implemented_checker",
1645
+ "implementation_maturity": "implemented_shape_checker",
1646
+ "implementation_refs": [
1647
+ "sqot.check_salience_record"
1648
+ ],
1649
+ "item_id": "thm:no-absolute-base-reality",
1650
+ "label": "No absolute base-reality certification"
1651
+ },
1652
+ {
1653
+ "coverage_status": "external_obligation",
1654
+ "implementation_maturity": "external_contract_only",
1655
+ "implementation_refs": [
1656
+ "core.ExternalProofObligation"
1657
+ ],
1658
+ "item_id": "thm:model-relative-anchor-soundness",
1659
+ "label": "Model-relative anchor soundness",
1660
+ "obligation_category": "domain-specific-proof",
1661
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1662
+ },
1663
+ {
1664
+ "coverage_status": "external_obligation",
1665
+ "implementation_maturity": "external_contract_only",
1666
+ "implementation_refs": [
1667
+ "core.ExternalProofObligation"
1668
+ ],
1669
+ "item_id": "prop:anchor-diversity-soundness",
1670
+ "label": "Anchor-diversity soundness",
1671
+ "obligation_category": "domain-specific-proof",
1672
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1673
+ },
1674
+ {
1675
+ "coverage_status": "implemented_checker",
1676
+ "implementation_maturity": "implemented_shape_checker",
1677
+ "implementation_refs": [
1678
+ "sqot.check_salience_record"
1679
+ ],
1680
+ "item_id": "prop:audit-recursion-capture",
1681
+ "label": "Audit-recursion capture"
1682
+ },
1683
+ {
1684
+ "coverage_status": "implemented_checker",
1685
+ "implementation_maturity": "implemented_shape_checker",
1686
+ "implementation_refs": [
1687
+ "sqot.check_salience_record"
1688
+ ],
1689
+ "item_id": "def:window-composition",
1690
+ "label": "Window composition"
1691
+ },
1692
+ {
1693
+ "coverage_status": "implemented_checker",
1694
+ "implementation_maturity": "implemented_shape_checker",
1695
+ "implementation_refs": [
1696
+ "sqot.check_salience_record"
1697
+ ],
1698
+ "item_id": "def:online-control-realizability",
1699
+ "label": "Online-control realizability"
1700
+ },
1701
+ {
1702
+ "coverage_status": "implemented_checker",
1703
+ "implementation_maturity": "implemented_shape_checker",
1704
+ "implementation_refs": [
1705
+ "sqot.check_salience_record"
1706
+ ],
1707
+ "item_id": "def:compressor-relative-safe-ignorance",
1708
+ "label": "Compressor-relative safe ignorance"
1709
+ },
1710
+ {
1711
+ "coverage_status": "implemented_checker",
1712
+ "implementation_maturity": "implemented_shape_checker",
1713
+ "implementation_refs": [
1714
+ "sqot.check_salience_record"
1715
+ ],
1716
+ "item_id": "def:safe-adversary-class-expansion",
1717
+ "label": "Safe adversary-class expansion"
1718
+ },
1719
+ {
1720
+ "coverage_status": "external_obligation",
1721
+ "implementation_maturity": "external_contract_only",
1722
+ "implementation_refs": [
1723
+ "core.ExternalProofObligation"
1724
+ ],
1725
+ "item_id": "def:adversarial-pac-transfer",
1726
+ "label": "Adversarial PAC transfer certificate",
1727
+ "obligation_category": "sqot-adversarial-transfer",
1728
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
1729
+ },
1730
+ {
1731
+ "coverage_status": "external_obligation",
1732
+ "implementation_maturity": "external_contract_only",
1733
+ "implementation_refs": [
1734
+ "core.ExternalProofObligation"
1735
+ ],
1736
+ "item_id": "thm:adversarial-pac-transfer",
1737
+ "label": "Adversarial PAC transfer",
1738
+ "obligation_category": "sqot-adversarial-transfer",
1739
+ "verifier_route": "sqot.adapters.adversarial.verify_transfer_game"
1740
+ },
1741
+ {
1742
+ "coverage_status": "implemented_checker",
1743
+ "implementation_maturity": "implemented_shape_checker",
1744
+ "implementation_refs": [
1745
+ "sqot.check_salience_record"
1746
+ ],
1747
+ "item_id": "thm:regret-realizability",
1748
+ "label": "Regret realizability"
1749
+ },
1750
+ {
1751
+ "coverage_status": "implemented_checker",
1752
+ "implementation_maturity": "implemented_shape_checker",
1753
+ "implementation_refs": [
1754
+ "sqot.check_salience_record"
1755
+ ],
1756
+ "item_id": "thm:safe-adversary-class-expansion",
1757
+ "label": "Safe adversary-class expansion"
1758
+ },
1759
+ {
1760
+ "coverage_status": "implemented_checker",
1761
+ "implementation_maturity": "implemented_shape_checker",
1762
+ "implementation_refs": [
1763
+ "sqot.check_salience_record"
1764
+ ],
1765
+ "item_id": "thm:safe-ignorance",
1766
+ "label": "Safe ignorance"
1767
+ },
1768
+ {
1769
+ "coverage_status": "implemented_checker",
1770
+ "implementation_maturity": "implemented_shape_checker",
1771
+ "implementation_refs": [
1772
+ "sqot.OccupationLedger"
1773
+ ],
1774
+ "item_id": "prop:cumulative-occupation",
1775
+ "label": "Cumulative occupation composition"
1776
+ },
1777
+ {
1778
+ "coverage_status": "implemented_schema",
1779
+ "implementation_maturity": "implemented_schema_only",
1780
+ "implementation_refs": [
1781
+ "sqot.SalienceQueueRecord"
1782
+ ],
1783
+ "item_id": "def:effect-source-certificates",
1784
+ "label": "Effect and source certificates"
1785
+ },
1786
+ {
1787
+ "coverage_status": "implemented_checker",
1788
+ "implementation_maturity": "implemented_shape_checker",
1789
+ "implementation_refs": [
1790
+ "sqot.check_salience_record"
1791
+ ],
1792
+ "item_id": "prop:effect-source-separation",
1793
+ "label": "Effect-source identifiability separation"
1794
+ },
1795
+ {
1796
+ "coverage_status": "implemented_checker",
1797
+ "implementation_maturity": "implemented_shape_checker",
1798
+ "implementation_refs": [
1799
+ "sqot.OccupationLedger"
1800
+ ],
1801
+ "item_id": "prop:latency-without-high-total-occupation",
1802
+ "label": "Latency without high total occupation"
1803
+ },
1804
+ {
1805
+ "coverage_status": "implemented_checker",
1806
+ "implementation_maturity": "implemented_shape_checker",
1807
+ "implementation_refs": [
1808
+ "ecpt.check_queue_certificate"
1809
+ ],
1810
+ "item_id": "def:network-process",
1811
+ "label": "Network process and communication queues"
1812
+ },
1813
+ {
1814
+ "coverage_status": "implemented_schema",
1815
+ "implementation_maturity": "implemented_schema_only",
1816
+ "implementation_refs": [
1817
+ "sqot.SalienceQueueRecord"
1818
+ ],
1819
+ "item_id": "def:consensus-sovereignty-certificate",
1820
+ "label": "Consensus sovereignty certificate"
1821
+ },
1822
+ {
1823
+ "coverage_status": "external_obligation",
1824
+ "implementation_maturity": "external_contract_only",
1825
+ "implementation_refs": [
1826
+ "core.ExternalProofObligation"
1827
+ ],
1828
+ "item_id": "def:topological-surgery-fragmented-certificate",
1829
+ "label": "Topological surgery and fragmented certificate",
1830
+ "obligation_category": "domain-specific-proof",
1831
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
1832
+ },
1833
+ {
1834
+ "coverage_status": "implemented_constructive",
1835
+ "implementation_maturity": "implemented_verified_algorithm",
1836
+ "implementation_refs": [
1837
+ "sqot.build_salience_schedule"
1838
+ ],
1839
+ "item_id": "def:salience-extortion-mechanism",
1840
+ "label": "Salience-extortion mechanism"
1841
+ },
1842
+ {
1843
+ "coverage_status": "implemented_schema",
1844
+ "implementation_maturity": "implemented_schema_only",
1845
+ "implementation_refs": [
1846
+ "sqot.SalienceQueueRecord"
1847
+ ],
1848
+ "item_id": "def:verifier-mediated-rejoin-certificate",
1849
+ "label": "Verifier-mediated rejoin certificate"
1850
+ },
1851
+ {
1852
+ "coverage_status": "implemented_checker",
1853
+ "implementation_maturity": "implemented_shape_checker",
1854
+ "implementation_refs": [
1855
+ "sqot.check_salience_record"
1856
+ ],
1857
+ "item_id": "prop:distributed-salience-composition",
1858
+ "label": "Distributed salience composition"
1859
+ },
1860
+ {
1861
+ "coverage_status": "implemented_checker",
1862
+ "implementation_maturity": "implemented_shape_checker",
1863
+ "implementation_refs": [
1864
+ "sqot.check_salience_record"
1865
+ ],
1866
+ "item_id": "def:topology-morphism",
1867
+ "label": "Topology morphism"
1868
+ },
1869
+ {
1870
+ "coverage_status": "implemented_checker",
1871
+ "implementation_maturity": "implemented_shape_checker",
1872
+ "implementation_refs": [
1873
+ "sqot.check_salience_record"
1874
+ ],
1875
+ "item_id": "thm:topomorphism-invariance",
1876
+ "label": "Topo-morphism invariance"
1877
+ },
1878
+ {
1879
+ "coverage_status": "external_obligation",
1880
+ "implementation_maturity": "external_contract_only",
1881
+ "implementation_refs": [
1882
+ "core.ExternalProofObligation"
1883
+ ],
1884
+ "item_id": "thm:fragmented-sovereignty",
1885
+ "label": "Fragmented sovereignty",
1886
+ "obligation_category": "sqot-protocol-integrity",
1887
+ "verifier_route": "sqot.adapters.integrity.verify_protocol_kernel"
1888
+ },
1889
+ {
1890
+ "coverage_status": "implemented_constructive",
1891
+ "implementation_maturity": "implemented_verified_algorithm",
1892
+ "implementation_refs": [
1893
+ "sqot.build_salience_schedule"
1894
+ ],
1895
+ "item_id": "thm:mechanism-compatible-kernel",
1896
+ "label": "Mechanism-compatible sovereignty kernel"
1897
+ },
1898
+ {
1899
+ "coverage_status": "implemented_constructive",
1900
+ "implementation_maturity": "implemented_verified_algorithm",
1901
+ "implementation_refs": [
1902
+ "sqot.build_salience_schedule"
1903
+ ],
1904
+ "item_id": "thm:mechanism-witness-verification",
1905
+ "label": "Mechanism witness verification"
1906
+ },
1907
+ {
1908
+ "coverage_status": "implemented_checker",
1909
+ "implementation_maturity": "implemented_shape_checker",
1910
+ "implementation_refs": [
1911
+ "ecology.build_bottleneck_plan"
1912
+ ],
1913
+ "item_id": "thm:mechanism-payoff-reflection",
1914
+ "label": "Mechanism payoff-reflection"
1915
+ },
1916
+ {
1917
+ "coverage_status": "implemented_checker",
1918
+ "implementation_maturity": "implemented_shape_checker",
1919
+ "implementation_refs": [
1920
+ "ecology.build_bottleneck_plan"
1921
+ ],
1922
+ "item_id": "thm:payoff-reflected-mechanism-robustness",
1923
+ "label": "Payoff-reflected mechanism robustness"
1924
+ },
1925
+ {
1926
+ "coverage_status": "implemented_checker",
1927
+ "implementation_maturity": "implemented_shape_checker",
1928
+ "implementation_refs": [
1929
+ "sqot.check_salience_record"
1930
+ ],
1931
+ "item_id": "prop:extortion-equilibrium-separation",
1932
+ "label": "Extortion equilibrium separation"
1933
+ },
1934
+ {
1935
+ "coverage_status": "implemented_checker",
1936
+ "implementation_maturity": "implemented_shape_checker",
1937
+ "implementation_refs": [
1938
+ "ecology.build_bottleneck_plan"
1939
+ ],
1940
+ "item_id": "prop:strict-domination-mechanism-design",
1941
+ "label": "Strict-domination mechanism design"
1942
+ },
1943
+ {
1944
+ "coverage_status": "implemented_checker",
1945
+ "implementation_maturity": "implemented_shape_checker",
1946
+ "implementation_refs": [
1947
+ "sqot.check_salience_record"
1948
+ ],
1949
+ "item_id": "prop:extortion-margin",
1950
+ "label": "Extortion margin"
1951
+ },
1952
+ {
1953
+ "coverage_status": "implemented_checker",
1954
+ "implementation_maturity": "implemented_shape_checker",
1955
+ "implementation_refs": [
1956
+ "sqot.check_salience_record"
1957
+ ],
1958
+ "item_id": "prop:unsafe-self-amputation",
1959
+ "label": "Unsafe self-amputation"
1960
+ },
1961
+ {
1962
+ "coverage_status": "implemented_checker",
1963
+ "implementation_maturity": "implemented_shape_checker",
1964
+ "implementation_refs": [
1965
+ "sqot.check_salience_record"
1966
+ ],
1967
+ "item_id": "thm:safe-reintegration",
1968
+ "label": "Safe reintegration"
1969
+ },
1970
+ {
1971
+ "coverage_status": "implemented_checker",
1972
+ "implementation_maturity": "implemented_shape_checker",
1973
+ "implementation_refs": [
1974
+ "sqot.check_salience_record"
1975
+ ],
1976
+ "item_id": "prop:byzantine-false-rejoin-separation",
1977
+ "label": "Byzantine false-rejoin separation"
1978
+ },
1979
+ {
1980
+ "coverage_status": "external_obligation",
1981
+ "implementation_maturity": "external_contract_only",
1982
+ "implementation_refs": [
1983
+ "core.ExternalProofObligation"
1984
+ ],
1985
+ "item_id": "def:continuous-time-boundary",
1986
+ "label": "Continuous-time SQOT boundary",
1987
+ "obligation_category": "ecpt-bridge-reserve",
1988
+ "verifier_route": "ecpt.adapters.bridge.verify_cross_theory_bridge"
1989
+ },
1990
+ {
1991
+ "coverage_status": "external_obligation",
1992
+ "implementation_maturity": "external_contract_only",
1993
+ "implementation_refs": [
1994
+ "core.ExternalProofObligation"
1995
+ ],
1996
+ "item_id": "prop:continuous-time-skeleton-soundness",
1997
+ "label": "Continuous-time skeleton soundness",
1998
+ "obligation_category": "domain-specific-proof",
1999
+ "verifier_route": "core.adapters.external.verify_domain_obligation"
2000
+ },
2001
+ {
2002
+ "coverage_status": "implemented_checker",
2003
+ "implementation_maturity": "implemented_shape_checker",
2004
+ "implementation_refs": [
2005
+ "sqot.check_salience_record"
2006
+ ],
2007
+ "item_id": "prop:chronos-attack-separation",
2008
+ "label": "Chronos attack separation"
2009
+ },
2010
+ {
2011
+ "coverage_status": "implemented_checker",
2012
+ "implementation_maturity": "implemented_shape_checker",
2013
+ "implementation_refs": [
2014
+ "sqot.check_salience_record"
2015
+ ],
2016
+ "item_id": "lem:causal-window-soundness",
2017
+ "label": "Causal window soundness"
2018
+ }
2019
+ ],
2020
+ "mr_records": 0,
2021
+ "representative_items": [
2022
+ {
2023
+ "coverage_status": "implemented_checker",
2024
+ "implementation_maturity": "implemented_shape_checker",
2025
+ "implementation_refs": [
2026
+ "core.CheckerContext"
2027
+ ],
2028
+ "item_id": "def:checker-semantics",
2029
+ "label": "Checker semantics"
2030
+ },
2031
+ {
2032
+ "coverage_status": "implemented_checker",
2033
+ "implementation_maturity": "implemented_shape_checker",
2034
+ "implementation_refs": [
2035
+ "core.CheckerContext"
2036
+ ],
2037
+ "item_id": "def:checkable-ledger-judgment",
2038
+ "label": "Checkable ledger and checker judgment"
2039
+ },
2040
+ {
2041
+ "coverage_status": "implemented_checker",
2042
+ "implementation_maturity": "implemented_shape_checker",
2043
+ "implementation_refs": [
2044
+ "sqot.QuarantineLedger"
2045
+ ],
2046
+ "item_id": "def:leaky-quarantine-ledger",
2047
+ "label": "Leaky quarantine ledger"
2048
+ },
2049
+ {
2050
+ "coverage_status": "implemented_checker",
2051
+ "implementation_maturity": "implemented_shape_checker",
2052
+ "implementation_refs": [
2053
+ "core.CheckerContext"
2054
+ ],
2055
+ "item_id": "def:certificate-grammar",
2056
+ "label": "Certificate grammar and checker traces"
2057
+ },
2058
+ {
2059
+ "coverage_status": "implemented_checker",
2060
+ "implementation_maturity": "implemented_shape_checker",
2061
+ "implementation_refs": [
2062
+ "trc.check_risk_gate"
2063
+ ],
2064
+ "item_id": "def:global-risk-ledger",
2065
+ "label": "Global risk ledger"
2066
+ },
2067
+ {
2068
+ "coverage_status": "implemented_checker",
2069
+ "implementation_maturity": "implemented_shape_checker",
2070
+ "implementation_refs": [
2071
+ "core.CheckerContext"
2072
+ ],
2073
+ "item_id": "def:self-auditing-checker-budget",
2074
+ "label": "Self-auditing checker budget"
2075
+ },
2076
+ {
2077
+ "coverage_status": "external_obligation",
2078
+ "implementation_maturity": "external_contract_only",
2079
+ "implementation_refs": [
2080
+ "core.ExternalProofObligation"
2081
+ ],
2082
+ "item_id": "def:thermodynamic-discharge-ledger",
2083
+ "label": "Thermodynamic discharge ledger",
2084
+ "obligation_category": "sqot-thermodynamic-discharge",
2085
+ "verifier_route": "sqot.adapters.thermodynamic.verify_discharge_envelope"
2086
+ },
2087
+ {
2088
+ "coverage_status": "implemented_checker",
2089
+ "implementation_maturity": "implemented_shape_checker",
2090
+ "implementation_refs": [
2091
+ "sqot.check_salience_record"
2092
+ ],
2093
+ "item_id": "def:finite-witness-obligations",
2094
+ "label": "Finite obligation specification"
2095
+ },
2096
+ {
2097
+ "coverage_status": "implemented_checker",
2098
+ "implementation_maturity": "implemented_shape_checker",
2099
+ "implementation_refs": [
2100
+ "core.CertificateFamily"
2101
+ ],
2102
+ "item_id": "thm:certificate-grammar-soundness",
2103
+ "label": "Finite certificate grammar soundness"
2104
+ },
2105
+ {
2106
+ "coverage_status": "implemented_checker",
2107
+ "implementation_maturity": "implemented_shape_checker",
2108
+ "implementation_refs": [
2109
+ "core.CheckerContext"
2110
+ ],
2111
+ "item_id": "thm:finite-checker-semantics-soundness",
2112
+ "label": "Finite checker semantics soundness"
2113
+ },
2114
+ {
2115
+ "coverage_status": "implemented_checker",
2116
+ "implementation_maturity": "implemented_shape_checker",
2117
+ "implementation_refs": [
2118
+ "trc.check_risk_gate"
2119
+ ],
2120
+ "item_id": "prop:risk-budget-composition",
2121
+ "label": "Risk-budget composition"
2122
+ },
2123
+ {
2124
+ "coverage_status": "implemented_checker",
2125
+ "implementation_maturity": "implemented_shape_checker",
2126
+ "implementation_refs": [
2127
+ "trc.check_risk_gate"
2128
+ ],
2129
+ "item_id": "thm:typed-risk-composition",
2130
+ "label": "Typed risk composition"
2131
+ }
2132
+ ],
2133
+ "schema_version": "theory-snapshot-1.0"
2134
+ }