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/bit.json ADDED
@@ -0,0 +1,543 @@
1
+ {
2
+ "artifact": "Bottleneck Inversion Theory.tex",
3
+ "artifact_key": "bit",
4
+ "attribution": {
5
+ "author": "K. Takahashi",
6
+ "derived_from": "canonical TeX metadata extraction; TeX/PDF source is not vendored",
7
+ "doi": "10.5281/zenodo.20545356",
8
+ "license_id": "cc-by-4.0",
9
+ "source_tex_md5": "20d11630520de9ea81f886b8b731772e",
10
+ "title": "Bottleneck Inversion Theory: Machine-Readable Witness Calculus for Unlockable Potential",
11
+ "year": 2026
12
+ },
13
+ "claims": 20,
14
+ "coverage_counts": {
15
+ "external_obligation": 0,
16
+ "implemented_checker": 24,
17
+ "implemented_constructive": 15,
18
+ "implemented_schema": 3,
19
+ "partial": 0,
20
+ "unsupported": 0
21
+ },
22
+ "coverage_delta": {
23
+ "external_obligation_total": 0,
24
+ "implemented_total": 42,
25
+ "unimplemented_total": 0,
26
+ "unsupported_total": 0
27
+ },
28
+ "definitions": 22,
29
+ "external_obligation_catalog": {
30
+ "artifact": "Bottleneck Inversion Theory.tex",
31
+ "category_summary": {},
32
+ "obligations": [],
33
+ "verifier_route_summary": {}
34
+ },
35
+ "external_obligation_category_summary": {},
36
+ "external_verifier_route_summary": {},
37
+ "item_mappings": [
38
+ {
39
+ "coverage_status": "implemented_schema",
40
+ "implementation_refs": [
41
+ "ecpt.ActionGrammar"
42
+ ],
43
+ "item_id": "def:grammar",
44
+ "label": "Extraction grammar",
45
+ "obligation_category": null,
46
+ "verifier_route": null
47
+ },
48
+ {
49
+ "coverage_status": "implemented_checker",
50
+ "implementation_refs": [
51
+ "bit.check_protocol_object"
52
+ ],
53
+ "item_id": "def:protocol",
54
+ "label": "Protocol object",
55
+ "obligation_category": null,
56
+ "verifier_route": null
57
+ },
58
+ {
59
+ "coverage_status": "implemented_checker",
60
+ "implementation_refs": [
61
+ "bit.check_intervention_law"
62
+ ],
63
+ "item_id": "def:law",
64
+ "label": "Intervention law",
65
+ "obligation_category": null,
66
+ "verifier_route": null
67
+ },
68
+ {
69
+ "coverage_status": "implemented_checker",
70
+ "implementation_refs": [
71
+ "bit.check_unit_functor"
72
+ ],
73
+ "item_id": "def:unit",
74
+ "label": "Ordered potential cone and unit functor",
75
+ "obligation_category": null,
76
+ "verifier_route": null
77
+ },
78
+ {
79
+ "coverage_status": "implemented_schema",
80
+ "implementation_refs": [
81
+ "bit.VectorCompatibleFamily"
82
+ ],
83
+ "item_id": "def:family",
84
+ "label": "Vector compatible family",
85
+ "obligation_category": null,
86
+ "verifier_route": null
87
+ },
88
+ {
89
+ "coverage_status": "implemented_constructive",
90
+ "implementation_refs": [
91
+ "bit.selective_potential"
92
+ ],
93
+ "item_id": "def:vcup",
94
+ "label": "Vector-compatible selective potential",
95
+ "obligation_category": null,
96
+ "verifier_route": null
97
+ },
98
+ {
99
+ "coverage_status": "implemented_checker",
100
+ "implementation_refs": [
101
+ "bit.check_stopped_evidence_sheaf_certificate"
102
+ ],
103
+ "item_id": "def:sheaf",
104
+ "label": "Stopped evidence sheaf",
105
+ "obligation_category": null,
106
+ "verifier_route": null
107
+ },
108
+ {
109
+ "coverage_status": "implemented_checker",
110
+ "implementation_refs": [
111
+ "bit.check_stopped_evidence_sheaf_certificate"
112
+ ],
113
+ "item_id": "thm:sheaf",
114
+ "label": "Stopped evidence sheaf",
115
+ "obligation_category": null,
116
+ "verifier_route": null
117
+ },
118
+ {
119
+ "coverage_status": "implemented_checker",
120
+ "implementation_refs": [
121
+ "bit.check_selective_cup_certificate"
122
+ ],
123
+ "item_id": "thm:vcup",
124
+ "label": "Unit-compatible selective CUP",
125
+ "obligation_category": null,
126
+ "verifier_route": null
127
+ },
128
+ {
129
+ "coverage_status": "implemented_checker",
130
+ "implementation_refs": [
131
+ "bit.check_stopped_evidence_sheaf"
132
+ ],
133
+ "item_id": "prop:plain-product",
134
+ "label": "Plain evidence products",
135
+ "obligation_category": null,
136
+ "verifier_route": null
137
+ },
138
+ {
139
+ "coverage_status": "implemented_checker",
140
+ "implementation_refs": [
141
+ "bit.check_martingale_deficiency_certificate"
142
+ ],
143
+ "item_id": "def:mpda",
144
+ "label": "Martingale partition deficiency audit",
145
+ "obligation_category": null,
146
+ "verifier_route": null
147
+ },
148
+ {
149
+ "coverage_status": "implemented_constructive",
150
+ "implementation_refs": [
151
+ "bit.martingale_partition_lower_bound"
152
+ ],
153
+ "item_id": "def:mpda-lower",
154
+ "label": "Partition lower mass",
155
+ "obligation_category": null,
156
+ "verifier_route": null
157
+ },
158
+ {
159
+ "coverage_status": "implemented_checker",
160
+ "implementation_refs": [
161
+ "bit.check_martingale_deficiency_certificate"
162
+ ],
163
+ "item_id": "thm:mpda",
164
+ "label": "Martingale partition deficiency",
165
+ "obligation_category": null,
166
+ "verifier_route": null
167
+ },
168
+ {
169
+ "coverage_status": "implemented_checker",
170
+ "implementation_refs": [
171
+ "bit.check_martingale_partition_audit"
172
+ ],
173
+ "item_id": "prop:fixed-partition",
174
+ "label": "Fixed partition certificate",
175
+ "obligation_category": null,
176
+ "verifier_route": null
177
+ },
178
+ {
179
+ "coverage_status": "implemented_checker",
180
+ "implementation_refs": [
181
+ "bit.check_mechanism_cube"
182
+ ],
183
+ "item_id": "def:mech-cube",
184
+ "label": "Mechanism-factorized channel cube",
185
+ "obligation_category": null,
186
+ "verifier_route": null
187
+ },
188
+ {
189
+ "coverage_status": "implemented_checker",
190
+ "implementation_refs": [
191
+ "bit.check_mechanism_cube_certificate"
192
+ ],
193
+ "item_id": "def:mech-release",
194
+ "label": "Mechanism-controlled release",
195
+ "obligation_category": null,
196
+ "verifier_route": null
197
+ },
198
+ {
199
+ "coverage_status": "implemented_checker",
200
+ "implementation_refs": [
201
+ "bit.check_mechanism_cube_certificate"
202
+ ],
203
+ "item_id": "thm:mech",
204
+ "label": "Mechanism-factorized non-substitution",
205
+ "obligation_category": null,
206
+ "verifier_route": null
207
+ },
208
+ {
209
+ "coverage_status": "implemented_checker",
210
+ "implementation_refs": [
211
+ "bit.check_mechanism_cube_certificate"
212
+ ],
213
+ "item_id": "prop:paired-null",
214
+ "label": "Paired null certificate",
215
+ "obligation_category": null,
216
+ "verifier_route": null
217
+ },
218
+ {
219
+ "coverage_status": "implemented_checker",
220
+ "implementation_refs": [
221
+ "bit.check_epigraph_release_program"
222
+ ],
223
+ "item_id": "def:ecep",
224
+ "label": "Exactness-certified epigraph program",
225
+ "obligation_category": null,
226
+ "verifier_route": null
227
+ },
228
+ {
229
+ "coverage_status": "implemented_checker",
230
+ "implementation_refs": [
231
+ "bit.check_epigraph_release_program"
232
+ ],
233
+ "item_id": "def:ecep-int",
234
+ "label": "Exactness-certified release interval",
235
+ "obligation_category": null,
236
+ "verifier_route": null
237
+ },
238
+ {
239
+ "coverage_status": "implemented_checker",
240
+ "implementation_refs": [
241
+ "bit.check_epigraph_release_program"
242
+ ],
243
+ "item_id": "thm:ecep",
244
+ "label": "Exactness-certified release duality",
245
+ "obligation_category": null,
246
+ "verifier_route": null
247
+ },
248
+ {
249
+ "coverage_status": "implemented_checker",
250
+ "implementation_refs": [
251
+ "bit.check_sinkhorn_plan"
252
+ ],
253
+ "item_id": "prop:finite-interface",
254
+ "label": "Finite Sinkhorn and hierarchy interface",
255
+ "obligation_category": null,
256
+ "verifier_route": null
257
+ },
258
+ {
259
+ "coverage_status": "implemented_constructive",
260
+ "implementation_refs": [
261
+ "bit.good_turing_frontier_release"
262
+ ],
263
+ "item_id": "def:unseen",
264
+ "label": "Unseen-frontier mass process",
265
+ "obligation_category": null,
266
+ "verifier_route": null
267
+ },
268
+ {
269
+ "coverage_status": "implemented_constructive",
270
+ "implementation_refs": [
271
+ "bit.good_turing_frontier_release"
272
+ ],
273
+ "item_id": "def:unseen-charge",
274
+ "label": "Unseen-frontier charge",
275
+ "obligation_category": null,
276
+ "verifier_route": null
277
+ },
278
+ {
279
+ "coverage_status": "implemented_constructive",
280
+ "implementation_refs": [
281
+ "bit.good_turing_frontier_release"
282
+ ],
283
+ "item_id": "thm:unseen",
284
+ "label": "Unseen-frontier calibrated release",
285
+ "obligation_category": null,
286
+ "verifier_route": null
287
+ },
288
+ {
289
+ "coverage_status": "implemented_constructive",
290
+ "implementation_refs": [
291
+ "bit.good_turing_frontier_release"
292
+ ],
293
+ "item_id": "prop:good",
294
+ "label": "Good--Turing unseen special case",
295
+ "obligation_category": null,
296
+ "verifier_route": null
297
+ },
298
+ {
299
+ "coverage_status": "implemented_constructive",
300
+ "implementation_refs": [
301
+ "bit.anchor_transfer_bound"
302
+ ],
303
+ "item_id": "def:cvat",
304
+ "label": "Cross-validated anchor transfer",
305
+ "obligation_category": null,
306
+ "verifier_route": null
307
+ },
308
+ {
309
+ "coverage_status": "implemented_constructive",
310
+ "implementation_refs": [
311
+ "bit.anchor_transfer_bound"
312
+ ],
313
+ "item_id": "def:cvat-score",
314
+ "label": "Cross-validated release score",
315
+ "obligation_category": null,
316
+ "verifier_route": null
317
+ },
318
+ {
319
+ "coverage_status": "implemented_constructive",
320
+ "implementation_refs": [
321
+ "bit.anchor_transfer_bound"
322
+ ],
323
+ "item_id": "thm:cvat",
324
+ "label": "Cross-validated anchor transfer",
325
+ "obligation_category": null,
326
+ "verifier_route": null
327
+ },
328
+ {
329
+ "coverage_status": "implemented_checker",
330
+ "implementation_refs": [
331
+ "bit.check_fused_geometric_comparison"
332
+ ],
333
+ "item_id": "prop:fgw",
334
+ "label": "Geometric fused comparison",
335
+ "obligation_category": null,
336
+ "verifier_route": null
337
+ },
338
+ {
339
+ "coverage_status": "implemented_constructive",
340
+ "implementation_refs": [
341
+ "bit.dynamic_regime_arrival_gain"
342
+ ],
343
+ "item_id": "def:dras",
344
+ "label": "Dynamic-regime acceleration surface",
345
+ "obligation_category": null,
346
+ "verifier_route": null
347
+ },
348
+ {
349
+ "coverage_status": "implemented_constructive",
350
+ "implementation_refs": [
351
+ "bit.dynamic_regime_arrival_gain"
352
+ ],
353
+ "item_id": "thm:dras",
354
+ "label": "Dynamic-regime acceleration",
355
+ "obligation_category": null,
356
+ "verifier_route": null
357
+ },
358
+ {
359
+ "coverage_status": "implemented_constructive",
360
+ "implementation_refs": [
361
+ "bit.dynamic_regime_arrival_gain"
362
+ ],
363
+ "item_id": "prop:fixed-accel",
364
+ "label": "Fixed-candidate acceleration identity",
365
+ "obligation_category": null,
366
+ "verifier_route": null
367
+ },
368
+ {
369
+ "coverage_status": "implemented_checker",
370
+ "implementation_refs": [
371
+ "bit.check_cegar_refinement_trace"
372
+ ],
373
+ "item_id": "def:cegar",
374
+ "label": "CEGAR simulation barrier",
375
+ "obligation_category": null,
376
+ "verifier_route": null
377
+ },
378
+ {
379
+ "coverage_status": "implemented_checker",
380
+ "implementation_refs": [
381
+ "bit.check_cegar_refinement_trace"
382
+ ],
383
+ "item_id": "thm:cegar",
384
+ "label": "CEGAR simulation-barrier",
385
+ "obligation_category": null,
386
+ "verifier_route": null
387
+ },
388
+ {
389
+ "coverage_status": "implemented_constructive",
390
+ "implementation_refs": [
391
+ "bit.cegar_barrier_bound"
392
+ ],
393
+ "item_id": "prop:finite-barrier",
394
+ "label": "Finite transition-table barrier",
395
+ "obligation_category": null,
396
+ "verifier_route": null
397
+ },
398
+ {
399
+ "coverage_status": "implemented_checker",
400
+ "implementation_refs": [
401
+ "bit.CertificateCompilerRecord"
402
+ ],
403
+ "item_id": "def:compiler",
404
+ "label": "Certificate compiler",
405
+ "obligation_category": null,
406
+ "verifier_route": null
407
+ },
408
+ {
409
+ "coverage_status": "implemented_checker",
410
+ "implementation_refs": [
411
+ "bit.check_certificate_compiler"
412
+ ],
413
+ "item_id": "prop:compiler",
414
+ "label": "Compiler preservation",
415
+ "obligation_category": null,
416
+ "verifier_route": null
417
+ },
418
+ {
419
+ "coverage_status": "implemented_checker",
420
+ "implementation_refs": [
421
+ "core.StatusRule"
422
+ ],
423
+ "item_id": "prop:no-promotion",
424
+ "label": "No status promotion",
425
+ "obligation_category": null,
426
+ "verifier_route": null
427
+ },
428
+ {
429
+ "coverage_status": "implemented_constructive",
430
+ "implementation_refs": [
431
+ "bit.minimal_effective_conditions"
432
+ ],
433
+ "item_id": "def:mec",
434
+ "label": "Minimal effective condition",
435
+ "obligation_category": null,
436
+ "verifier_route": null
437
+ },
438
+ {
439
+ "coverage_status": "implemented_constructive",
440
+ "implementation_refs": [
441
+ "bit.minimal_effective_conditions"
442
+ ],
443
+ "item_id": "prop:mec",
444
+ "label": "Finite MEC frontier extraction",
445
+ "obligation_category": null,
446
+ "verifier_route": null
447
+ },
448
+ {
449
+ "coverage_status": "implemented_schema",
450
+ "implementation_refs": [
451
+ "core.CertificateFamily"
452
+ ],
453
+ "item_id": "def:schema",
454
+ "label": "Certificate schema",
455
+ "obligation_category": null,
456
+ "verifier_route": null
457
+ }
458
+ ],
459
+ "mr_records": 92,
460
+ "representative_items": [
461
+ {
462
+ "coverage_status": "implemented_schema",
463
+ "implementation_refs": [
464
+ "ecpt.ActionGrammar"
465
+ ],
466
+ "item_id": "def:grammar",
467
+ "label": "Extraction grammar",
468
+ "obligation_category": null,
469
+ "verifier_route": null
470
+ },
471
+ {
472
+ "coverage_status": "implemented_checker",
473
+ "implementation_refs": [
474
+ "bit.check_protocol_object"
475
+ ],
476
+ "item_id": "def:protocol",
477
+ "label": "Protocol object",
478
+ "obligation_category": null,
479
+ "verifier_route": null
480
+ },
481
+ {
482
+ "coverage_status": "implemented_checker",
483
+ "implementation_refs": [
484
+ "bit.check_intervention_law"
485
+ ],
486
+ "item_id": "def:law",
487
+ "label": "Intervention law",
488
+ "obligation_category": null,
489
+ "verifier_route": null
490
+ },
491
+ {
492
+ "coverage_status": "implemented_checker",
493
+ "implementation_refs": [
494
+ "bit.check_unit_functor"
495
+ ],
496
+ "item_id": "def:unit",
497
+ "label": "Ordered potential cone and unit functor",
498
+ "obligation_category": null,
499
+ "verifier_route": null
500
+ },
501
+ {
502
+ "coverage_status": "implemented_schema",
503
+ "implementation_refs": [
504
+ "bit.VectorCompatibleFamily"
505
+ ],
506
+ "item_id": "def:family",
507
+ "label": "Vector compatible family",
508
+ "obligation_category": null,
509
+ "verifier_route": null
510
+ },
511
+ {
512
+ "coverage_status": "implemented_constructive",
513
+ "implementation_refs": [
514
+ "bit.selective_potential"
515
+ ],
516
+ "item_id": "def:vcup",
517
+ "label": "Vector-compatible selective potential",
518
+ "obligation_category": null,
519
+ "verifier_route": null
520
+ },
521
+ {
522
+ "coverage_status": "implemented_checker",
523
+ "implementation_refs": [
524
+ "bit.check_stopped_evidence_sheaf_certificate"
525
+ ],
526
+ "item_id": "def:sheaf",
527
+ "label": "Stopped evidence sheaf",
528
+ "obligation_category": null,
529
+ "verifier_route": null
530
+ },
531
+ {
532
+ "coverage_status": "implemented_checker",
533
+ "implementation_refs": [
534
+ "bit.check_stopped_evidence_sheaf_certificate"
535
+ ],
536
+ "item_id": "thm:sheaf",
537
+ "label": "Stopped evidence sheaf",
538
+ "obligation_category": null,
539
+ "verifier_route": null
540
+ }
541
+ ],
542
+ "schema_version": "theory-snapshot-1.0"
543
+ }