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