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/schemas/TheoryAuditReport.schema.json ADDED
@@ -0,0 +1,654 @@
1
+ {
2
+ "$defs": {
3
+ "CoverageStatus": {
4
+ "enum": [
5
+ "implemented_constructive",
6
+ "implemented_checker",
7
+ "implemented_schema",
8
+ "partial",
9
+ "external_obligation",
10
+ "unsupported"
11
+ ],
12
+ "title": "CoverageStatus",
13
+ "type": "string"
14
+ },
15
+ "ExternalObligationCatalog": {
16
+ "description": "Catalog of non-finite or domain-specific obligations.",
17
+ "properties": {
18
+ "artifact": {
19
+ "title": "Artifact",
20
+ "type": "string"
21
+ },
22
+ "category_summary": {
23
+ "additionalProperties": {
24
+ "type": "integer"
25
+ },
26
+ "title": "Category Summary",
27
+ "type": "object"
28
+ },
29
+ "obligations": {
30
+ "items": {
31
+ "$ref": "#/$defs/TheoryImplementationRecord"
32
+ },
33
+ "title": "Obligations",
34
+ "type": "array"
35
+ },
36
+ "verifier_route_summary": {
37
+ "additionalProperties": {
38
+ "type": "integer"
39
+ },
40
+ "title": "Verifier Route Summary",
41
+ "type": "object"
42
+ }
43
+ },
44
+ "required": [
45
+ "artifact"
46
+ ],
47
+ "title": "ExternalObligationCatalog",
48
+ "type": "object"
49
+ },
50
+ "ImplementationMaturity": {
51
+ "enum": [
52
+ "implemented_verified_algorithm",
53
+ "implemented_shape_checker",
54
+ "implemented_schema_only",
55
+ "external_contract_only",
56
+ "snapshot_metadata_only",
57
+ "unsupported_no_interface"
58
+ ],
59
+ "title": "ImplementationMaturity",
60
+ "type": "string"
61
+ },
62
+ "ProjectionAudit": {
63
+ "description": "Registry-vs-extractor projection audit.",
64
+ "properties": {
65
+ "accepted": {
66
+ "title": "Accepted",
67
+ "type": "boolean"
68
+ },
69
+ "checked_claims": {
70
+ "default": 0,
71
+ "title": "Checked Claims",
72
+ "type": "integer"
73
+ },
74
+ "extractor_artifact": {
75
+ "anyOf": [
76
+ {
77
+ "type": "string"
78
+ },
79
+ {
80
+ "type": "null"
81
+ }
82
+ ],
83
+ "default": null,
84
+ "title": "Extractor Artifact"
85
+ },
86
+ "mismatches": {
87
+ "items": {
88
+ "additionalProperties": true,
89
+ "type": "object"
90
+ },
91
+ "title": "Mismatches",
92
+ "type": "array"
93
+ },
94
+ "missing_in_extractor": {
95
+ "items": {
96
+ "type": "string"
97
+ },
98
+ "title": "Missing In Extractor",
99
+ "type": "array"
100
+ },
101
+ "reasons": {
102
+ "items": {
103
+ "type": "string"
104
+ },
105
+ "title": "Reasons",
106
+ "type": "array"
107
+ },
108
+ "registry_artifact": {
109
+ "anyOf": [
110
+ {
111
+ "type": "string"
112
+ },
113
+ {
114
+ "type": "null"
115
+ }
116
+ ],
117
+ "default": null,
118
+ "title": "Registry Artifact"
119
+ },
120
+ "strict": {
121
+ "default": false,
122
+ "title": "Strict",
123
+ "type": "boolean"
124
+ }
125
+ },
126
+ "required": [
127
+ "accepted"
128
+ ],
129
+ "title": "ProjectionAudit",
130
+ "type": "object"
131
+ },
132
+ "TheoryCoverageRecord": {
133
+ "properties": {
134
+ "artifact": {
135
+ "title": "Artifact",
136
+ "type": "string"
137
+ },
138
+ "claims": {
139
+ "default": 0,
140
+ "title": "Claims",
141
+ "type": "integer"
142
+ },
143
+ "definitions": {
144
+ "default": 0,
145
+ "title": "Definitions",
146
+ "type": "integer"
147
+ },
148
+ "items": {
149
+ "items": {
150
+ "$ref": "#/$defs/TheoryItem"
151
+ },
152
+ "title": "Items",
153
+ "type": "array"
154
+ },
155
+ "mr_records": {
156
+ "default": 0,
157
+ "title": "Mr Records",
158
+ "type": "integer"
159
+ },
160
+ "source": {
161
+ "title": "Source",
162
+ "type": "string"
163
+ }
164
+ },
165
+ "required": [
166
+ "source",
167
+ "artifact"
168
+ ],
169
+ "title": "TheoryCoverageRecord",
170
+ "type": "object"
171
+ },
172
+ "TheoryImplementationRecord": {
173
+ "description": "Portable implementation mapping for one finite theory item.",
174
+ "properties": {
175
+ "accepted_evidence_kind": {
176
+ "items": {
177
+ "type": "string"
178
+ },
179
+ "title": "Accepted Evidence Kind",
180
+ "type": "array"
181
+ },
182
+ "artifact": {
183
+ "title": "Artifact",
184
+ "type": "string"
185
+ },
186
+ "checker_ref": {
187
+ "anyOf": [
188
+ {
189
+ "type": "string"
190
+ },
191
+ {
192
+ "type": "null"
193
+ }
194
+ ],
195
+ "default": null,
196
+ "title": "Checker Ref"
197
+ },
198
+ "checker_refs": {
199
+ "items": {
200
+ "type": "string"
201
+ },
202
+ "title": "Checker Refs",
203
+ "type": "array"
204
+ },
205
+ "coverage_status": {
206
+ "$ref": "#/$defs/CoverageStatus"
207
+ },
208
+ "external_failure_modes": {
209
+ "items": {
210
+ "type": "string"
211
+ },
212
+ "title": "External Failure Modes",
213
+ "type": "array"
214
+ },
215
+ "failure_modes": {
216
+ "items": {
217
+ "type": "string"
218
+ },
219
+ "title": "Failure Modes",
220
+ "type": "array"
221
+ },
222
+ "implementation_maturity": {
223
+ "$ref": "#/$defs/ImplementationMaturity",
224
+ "default": "unsupported_no_interface"
225
+ },
226
+ "implementation_ref": {
227
+ "anyOf": [
228
+ {
229
+ "type": "string"
230
+ },
231
+ {
232
+ "type": "null"
233
+ }
234
+ ],
235
+ "default": null,
236
+ "title": "Implementation Ref"
237
+ },
238
+ "implementation_refs": {
239
+ "items": {
240
+ "type": "string"
241
+ },
242
+ "title": "Implementation Refs",
243
+ "type": "array"
244
+ },
245
+ "item_id": {
246
+ "title": "Item Id",
247
+ "type": "string"
248
+ },
249
+ "label": {
250
+ "title": "Label",
251
+ "type": "string"
252
+ },
253
+ "obligation_category": {
254
+ "anyOf": [
255
+ {
256
+ "type": "string"
257
+ },
258
+ {
259
+ "type": "null"
260
+ }
261
+ ],
262
+ "default": null,
263
+ "title": "Obligation Category"
264
+ },
265
+ "proof_obligation_ids": {
266
+ "items": {
267
+ "type": "string"
268
+ },
269
+ "title": "Proof Obligation Ids",
270
+ "type": "array"
271
+ },
272
+ "residual_coordinates": {
273
+ "items": {
274
+ "type": "string"
275
+ },
276
+ "title": "Residual Coordinates",
277
+ "type": "array"
278
+ },
279
+ "residual_policy": {
280
+ "anyOf": [
281
+ {
282
+ "type": "string"
283
+ },
284
+ {
285
+ "type": "null"
286
+ }
287
+ ],
288
+ "default": null,
289
+ "title": "Residual Policy"
290
+ },
291
+ "safe_default": {
292
+ "anyOf": [
293
+ {
294
+ "type": "string"
295
+ },
296
+ {
297
+ "type": "null"
298
+ }
299
+ ],
300
+ "default": null,
301
+ "title": "Safe Default"
302
+ },
303
+ "schema_ref": {
304
+ "anyOf": [
305
+ {
306
+ "type": "string"
307
+ },
308
+ {
309
+ "type": "null"
310
+ }
311
+ ],
312
+ "default": null,
313
+ "title": "Schema Ref"
314
+ },
315
+ "schema_refs": {
316
+ "items": {
317
+ "type": "string"
318
+ },
319
+ "title": "Schema Refs",
320
+ "type": "array"
321
+ },
322
+ "verifier_contract": {
323
+ "additionalProperties": true,
324
+ "title": "Verifier Contract",
325
+ "type": "object"
326
+ },
327
+ "verifier_route": {
328
+ "anyOf": [
329
+ {
330
+ "type": "string"
331
+ },
332
+ {
333
+ "type": "null"
334
+ }
335
+ ],
336
+ "default": null,
337
+ "title": "Verifier Route"
338
+ }
339
+ },
340
+ "required": [
341
+ "item_id",
342
+ "artifact",
343
+ "label",
344
+ "coverage_status"
345
+ ],
346
+ "title": "TheoryImplementationRecord",
347
+ "type": "object"
348
+ },
349
+ "TheoryItem": {
350
+ "properties": {
351
+ "accepted_evidence_kind": {
352
+ "items": {
353
+ "type": "string"
354
+ },
355
+ "title": "Accepted Evidence Kind",
356
+ "type": "array"
357
+ },
358
+ "artifact": {
359
+ "title": "Artifact",
360
+ "type": "string"
361
+ },
362
+ "checker_refs": {
363
+ "items": {
364
+ "type": "string"
365
+ },
366
+ "title": "Checker Refs",
367
+ "type": "array"
368
+ },
369
+ "coverage_status": {
370
+ "$ref": "#/$defs/CoverageStatus",
371
+ "default": "unsupported"
372
+ },
373
+ "external_failure_modes": {
374
+ "items": {
375
+ "type": "string"
376
+ },
377
+ "title": "External Failure Modes",
378
+ "type": "array"
379
+ },
380
+ "failure_modes": {
381
+ "items": {
382
+ "type": "string"
383
+ },
384
+ "title": "Failure Modes",
385
+ "type": "array"
386
+ },
387
+ "implementation_maturity": {
388
+ "$ref": "#/$defs/ImplementationMaturity",
389
+ "default": "unsupported_no_interface"
390
+ },
391
+ "implementation_refs": {
392
+ "items": {
393
+ "type": "string"
394
+ },
395
+ "title": "Implementation Refs",
396
+ "type": "array"
397
+ },
398
+ "item_id": {
399
+ "title": "Item Id",
400
+ "type": "string"
401
+ },
402
+ "kind": {
403
+ "title": "Kind",
404
+ "type": "string"
405
+ },
406
+ "label": {
407
+ "title": "Label",
408
+ "type": "string"
409
+ },
410
+ "line_number": {
411
+ "title": "Line Number",
412
+ "type": "integer"
413
+ },
414
+ "obligation_category": {
415
+ "anyOf": [
416
+ {
417
+ "type": "string"
418
+ },
419
+ {
420
+ "type": "null"
421
+ }
422
+ ],
423
+ "default": null,
424
+ "title": "Obligation Category"
425
+ },
426
+ "proof_obligation_ids": {
427
+ "items": {
428
+ "type": "string"
429
+ },
430
+ "title": "Proof Obligation Ids",
431
+ "type": "array"
432
+ },
433
+ "residual_coordinates": {
434
+ "items": {
435
+ "type": "string"
436
+ },
437
+ "title": "Residual Coordinates",
438
+ "type": "array"
439
+ },
440
+ "residual_policy": {
441
+ "anyOf": [
442
+ {
443
+ "type": "string"
444
+ },
445
+ {
446
+ "type": "null"
447
+ }
448
+ ],
449
+ "default": null,
450
+ "title": "Residual Policy"
451
+ },
452
+ "safe_default": {
453
+ "anyOf": [
454
+ {
455
+ "type": "string"
456
+ },
457
+ {
458
+ "type": "null"
459
+ }
460
+ ],
461
+ "default": null,
462
+ "title": "Safe Default"
463
+ },
464
+ "schema_refs": {
465
+ "items": {
466
+ "type": "string"
467
+ },
468
+ "title": "Schema Refs",
469
+ "type": "array"
470
+ },
471
+ "section": {
472
+ "anyOf": [
473
+ {
474
+ "type": "string"
475
+ },
476
+ {
477
+ "type": "null"
478
+ }
479
+ ],
480
+ "default": null,
481
+ "title": "Section"
482
+ },
483
+ "verifier_contract": {
484
+ "additionalProperties": true,
485
+ "title": "Verifier Contract",
486
+ "type": "object"
487
+ },
488
+ "verifier_route": {
489
+ "anyOf": [
490
+ {
491
+ "type": "string"
492
+ },
493
+ {
494
+ "type": "null"
495
+ }
496
+ ],
497
+ "default": null,
498
+ "title": "Verifier Route"
499
+ }
500
+ },
501
+ "required": [
502
+ "item_id",
503
+ "artifact",
504
+ "kind",
505
+ "label",
506
+ "line_number"
507
+ ],
508
+ "title": "TheoryItem",
509
+ "type": "object"
510
+ }
511
+ },
512
+ "description": "Machine-readable audit summary for one TeX source artifact.",
513
+ "properties": {
514
+ "artifact": {
515
+ "title": "Artifact",
516
+ "type": "string"
517
+ },
518
+ "bit_mr_counts": {
519
+ "additionalProperties": {
520
+ "type": "integer"
521
+ },
522
+ "title": "Bit Mr Counts",
523
+ "type": "object"
524
+ },
525
+ "canonical": {
526
+ "anyOf": [
527
+ {
528
+ "additionalProperties": true,
529
+ "type": "object"
530
+ },
531
+ {
532
+ "type": "null"
533
+ }
534
+ ],
535
+ "default": null,
536
+ "title": "Canonical"
537
+ },
538
+ "canonical_key": {
539
+ "anyOf": [
540
+ {
541
+ "type": "string"
542
+ },
543
+ {
544
+ "type": "null"
545
+ }
546
+ ],
547
+ "default": null,
548
+ "title": "Canonical Key"
549
+ },
550
+ "coverage": {
551
+ "$ref": "#/$defs/TheoryCoverageRecord"
552
+ },
553
+ "coverage_delta": {
554
+ "additionalProperties": {
555
+ "type": "integer"
556
+ },
557
+ "title": "Coverage Delta",
558
+ "type": "object"
559
+ },
560
+ "external_catalog_errors": {
561
+ "items": {
562
+ "type": "string"
563
+ },
564
+ "title": "External Catalog Errors",
565
+ "type": "array"
566
+ },
567
+ "external_obligation_catalog": {
568
+ "anyOf": [
569
+ {
570
+ "$ref": "#/$defs/ExternalObligationCatalog"
571
+ },
572
+ {
573
+ "type": "null"
574
+ }
575
+ ],
576
+ "default": null
577
+ },
578
+ "external_obligation_category_summary": {
579
+ "additionalProperties": {
580
+ "type": "integer"
581
+ },
582
+ "title": "External Obligation Category Summary",
583
+ "type": "object"
584
+ },
585
+ "external_obligation_items": {
586
+ "items": {
587
+ "$ref": "#/$defs/TheoryItem"
588
+ },
589
+ "title": "External Obligation Items",
590
+ "type": "array"
591
+ },
592
+ "external_verifier_route_summary": {
593
+ "additionalProperties": {
594
+ "type": "integer"
595
+ },
596
+ "title": "External Verifier Route Summary",
597
+ "type": "object"
598
+ },
599
+ "finite_constructive_targets": {
600
+ "items": {
601
+ "$ref": "#/$defs/TheoryImplementationRecord"
602
+ },
603
+ "title": "Finite Constructive Targets",
604
+ "type": "array"
605
+ },
606
+ "implemented_with_obligations": {
607
+ "items": {
608
+ "$ref": "#/$defs/TheoryImplementationRecord"
609
+ },
610
+ "title": "Implemented With Obligations",
611
+ "type": "array"
612
+ },
613
+ "projection_audits": {
614
+ "items": {
615
+ "$ref": "#/$defs/ProjectionAudit"
616
+ },
617
+ "title": "Projection Audits",
618
+ "type": "array"
619
+ },
620
+ "snapshot_delta": {
621
+ "additionalProperties": true,
622
+ "title": "Snapshot Delta",
623
+ "type": "object"
624
+ },
625
+ "source": {
626
+ "title": "Source",
627
+ "type": "string"
628
+ },
629
+ "unimplemented_by_section": {
630
+ "additionalProperties": {
631
+ "items": {
632
+ "$ref": "#/$defs/TheoryItem"
633
+ },
634
+ "type": "array"
635
+ },
636
+ "title": "Unimplemented By Section",
637
+ "type": "object"
638
+ },
639
+ "unsupported_items": {
640
+ "items": {
641
+ "$ref": "#/$defs/TheoryItem"
642
+ },
643
+ "title": "Unsupported Items",
644
+ "type": "array"
645
+ }
646
+ },
647
+ "required": [
648
+ "source",
649
+ "artifact",
650
+ "coverage"
651
+ ],
652
+ "title": "TheoryAuditReport",
653
+ "type": "object"
654
+ }