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
@@ -0,0 +1,1463 @@
1
+ {
2
+ "accepted": true,
3
+ "candidate_only_reasons": [
4
+ "runtime report is exported as diagnostic packet-exchange data",
5
+ "packet exchange does not route promotion checks"
6
+ ],
7
+ "content": {
8
+ "acceleration_certificate_eligible": false,
9
+ "accepted": true,
10
+ "action_commits": [
11
+ {
12
+ "action_id": "route-proxy-target-evidence",
13
+ "committed": false,
14
+ "finite_scope_usable": true,
15
+ "operationally_usable": false,
16
+ "policy": "require_verifier_resolution",
17
+ "reasons": [
18
+ "verifier resolution required before action commit"
19
+ ],
20
+ "recommended": true,
21
+ "settled": false,
22
+ "verifier_resolution_required": true
23
+ }
24
+ ],
25
+ "agent_tasks": [
26
+ {
27
+ "action_id": "route-proxy-target-evidence",
28
+ "action_kind": "execute-phase-control-action",
29
+ "expected_proxy_gain": 0.8,
30
+ "metadata": {},
31
+ "operationally_usable": true,
32
+ "priority_score": 0.65,
33
+ "reasons": [],
34
+ "required_evidence_kind": [
35
+ "finite-proxy-target-contract"
36
+ ],
37
+ "required_routes": [
38
+ "adapters.domain.verify_ecpt_proxy_target_contract"
39
+ ],
40
+ "residual_coordinates": [
41
+ "obligation:baseline-safety"
42
+ ],
43
+ "rollback_condition": "verifier-resolution-missing-or-negative-proxy-gain",
44
+ "settled": false,
45
+ "target_component": "phase-transition-proxy",
46
+ "task_id": "task:phase-action:route-proxy-target-evidence",
47
+ "task_type": "phase-control-action"
48
+ },
49
+ {
50
+ "action_id": null,
51
+ "action_kind": "seed-autocatalytic-closure",
52
+ "expected_proxy_gain": 0.5,
53
+ "metadata": {},
54
+ "operationally_usable": true,
55
+ "priority_score": 0.33499999999999996,
56
+ "reasons": [],
57
+ "required_evidence_kind": [
58
+ "bridge-map",
59
+ "finite-proxy-target-contract",
60
+ "machine-readable-capsule-audit",
61
+ "protocol-comparison-certificate",
62
+ "proxy-grounding-report",
63
+ "reserve-invariance-proof",
64
+ "target-contract"
65
+ ],
66
+ "required_routes": [
67
+ "adapters.domain.verify_ecpt_proxy_target_contract",
68
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
69
+ "ecpt.adapters.proxy.verify_target_contract"
70
+ ],
71
+ "residual_coordinates": [],
72
+ "rollback_condition": "no-positive-finite-gain",
73
+ "settled": false,
74
+ "target_component": "AC",
75
+ "task_id": "task:intervention:ac:seed-autocatalytic-closure",
76
+ "task_type": "bottleneck-intervention"
77
+ },
78
+ {
79
+ "action_id": null,
80
+ "action_kind": "run-verifier-queue",
81
+ "expected_proxy_gain": 0.19999999999999996,
82
+ "metadata": {},
83
+ "operationally_usable": true,
84
+ "priority_score": 0.034999999999999955,
85
+ "reasons": [],
86
+ "required_evidence_kind": [
87
+ "bridge-map",
88
+ "finite-proxy-target-contract",
89
+ "machine-readable-capsule-audit",
90
+ "protocol-comparison-certificate",
91
+ "proxy-grounding-report",
92
+ "reserve-invariance-proof",
93
+ "target-contract"
94
+ ],
95
+ "required_routes": [
96
+ "adapters.domain.verify_ecpt_proxy_target_contract",
97
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
98
+ "ecpt.adapters.proxy.verify_target_contract"
99
+ ],
100
+ "residual_coordinates": [],
101
+ "rollback_condition": "no-positive-finite-gain",
102
+ "settled": false,
103
+ "target_component": "VT",
104
+ "task_id": "task:intervention:vt:run-verifier-queue",
105
+ "task_type": "bottleneck-intervention"
106
+ }
107
+ ],
108
+ "allow_live_connectors": true,
109
+ "basin_reachability": null,
110
+ "bottleneck_plan": {
111
+ "accepted": true,
112
+ "after_psi_lower_bound": {
113
+ "AC": 0.5,
114
+ "BR": 0.5,
115
+ "CV": 0.5,
116
+ "DE": 0.5,
117
+ "FR": 1.0,
118
+ "G": 1.0,
119
+ "HZ": 1.0,
120
+ "LX": 1.0,
121
+ "QS": 0.884,
122
+ "SD": 0.5,
123
+ "VT": 0.7
124
+ },
125
+ "before_psi": {
126
+ "AC": 0.0,
127
+ "BR": 0.5,
128
+ "CV": 0.5,
129
+ "DE": 0.5,
130
+ "FR": 1.0,
131
+ "G": 1.0,
132
+ "HZ": 1.0,
133
+ "LX": 1.0,
134
+ "QS": 0.884,
135
+ "SD": 0.3783783783783784,
136
+ "VT": 0.5
137
+ },
138
+ "interventions": [
139
+ {
140
+ "action_kind": "seed-autocatalytic-closure",
141
+ "expected_gain": 0.5,
142
+ "intervention_id": "intervention:ac:seed-autocatalytic-closure",
143
+ "post_intervention_horizon": 1,
144
+ "required_routes": [
145
+ "adapters.domain.verify_ecpt_proxy_target_contract",
146
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
147
+ "ecpt.adapters.proxy.verify_target_contract"
148
+ ],
149
+ "residual_ledger": {
150
+ "coordinates": {}
151
+ },
152
+ "risk_charge": 0.01,
153
+ "rollback_condition": "no-positive-finite-gain",
154
+ "score": 0.33499999999999996,
155
+ "target_component": "AC",
156
+ "verification_cost": 0.155
157
+ },
158
+ {
159
+ "action_kind": "run-verifier-queue",
160
+ "expected_gain": 0.19999999999999996,
161
+ "intervention_id": "intervention:vt:run-verifier-queue",
162
+ "post_intervention_horizon": 1,
163
+ "required_routes": [
164
+ "adapters.domain.verify_ecpt_proxy_target_contract",
165
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
166
+ "ecpt.adapters.proxy.verify_target_contract"
167
+ ],
168
+ "residual_ledger": {
169
+ "coordinates": {}
170
+ },
171
+ "risk_charge": 0.01,
172
+ "rollback_condition": "no-positive-finite-gain",
173
+ "score": 0.034999999999999955,
174
+ "target_component": "VT",
175
+ "verification_cost": 0.155
176
+ },
177
+ {
178
+ "action_kind": "reduce-downstream-search-cost",
179
+ "expected_gain": 0.1216216216216216,
180
+ "intervention_id": "intervention:sd:reduce-downstream-search-cost",
181
+ "post_intervention_horizon": 1,
182
+ "required_routes": [
183
+ "adapters.domain.verify_ecpt_proxy_target_contract",
184
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
185
+ "ecpt.adapters.proxy.verify_target_contract"
186
+ ],
187
+ "residual_ledger": {
188
+ "coordinates": {}
189
+ },
190
+ "risk_charge": 0.01,
191
+ "rollback_condition": "no-positive-finite-gain",
192
+ "score": -0.0433783783783784,
193
+ "target_component": "SD",
194
+ "verification_cost": 0.155
195
+ }
196
+ ],
197
+ "limiting_components": [
198
+ "AC",
199
+ "VT",
200
+ "SD"
201
+ ],
202
+ "plan_id": "bottleneck-plan:psi:runtime-registry:runtime-demo:runtime-step-1:development",
203
+ "residual_ledger": {
204
+ "coordinates": {
205
+ "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback": {
206
+ "description": null,
207
+ "evidence_refs": [],
208
+ "evidence_status": "declared",
209
+ "kind": "residual",
210
+ "known": true,
211
+ "name": "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback",
212
+ "unit": "dimensionless",
213
+ "value": 0.5
214
+ }
215
+ }
216
+ },
217
+ "settled": false
218
+ },
219
+ "bottleneck_witness_reports": [
220
+ {
221
+ "action_id": null,
222
+ "action_kind": "seed-autocatalytic-closure",
223
+ "burden_delta": 0.0,
224
+ "next_verifier_route": "adapters.domain.verify_ecpt_proxy_target_contract",
225
+ "next_verifier_routes": [
226
+ "adapters.domain.verify_ecpt_proxy_target_contract",
227
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
228
+ "ecpt.adapters.proxy.verify_target_contract"
229
+ ],
230
+ "operationally_usable": true,
231
+ "portable_task_kind": "runtime-bottleneck-verifier-task",
232
+ "priority_score": 0.33499999999999996,
233
+ "reasons": [],
234
+ "release_delta": 0.5,
235
+ "report_id": "bottleneck-witness:task:intervention:ac:seed-autocatalytic-closure",
236
+ "required_evidence_kind": [
237
+ "bridge-map",
238
+ "finite-proxy-target-contract",
239
+ "machine-readable-capsule-audit",
240
+ "protocol-comparison-certificate",
241
+ "proxy-grounding-report",
242
+ "reserve-invariance-proof",
243
+ "target-contract"
244
+ ],
245
+ "residual_coordinates": [],
246
+ "rollback_condition": "no-positive-finite-gain",
247
+ "settled": false,
248
+ "simulation_barrier_residuals": [],
249
+ "target_component": "AC",
250
+ "task_id": "task:intervention:ac:seed-autocatalytic-closure",
251
+ "witness_kind": "bottleneck-intervention"
252
+ },
253
+ {
254
+ "action_id": null,
255
+ "action_kind": "run-verifier-queue",
256
+ "burden_delta": 0.0,
257
+ "next_verifier_route": "adapters.domain.verify_ecpt_proxy_target_contract",
258
+ "next_verifier_routes": [
259
+ "adapters.domain.verify_ecpt_proxy_target_contract",
260
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
261
+ "ecpt.adapters.proxy.verify_target_contract"
262
+ ],
263
+ "operationally_usable": true,
264
+ "portable_task_kind": "runtime-bottleneck-verifier-task",
265
+ "priority_score": 0.034999999999999955,
266
+ "reasons": [],
267
+ "release_delta": 0.19999999999999996,
268
+ "report_id": "bottleneck-witness:task:intervention:vt:run-verifier-queue",
269
+ "required_evidence_kind": [
270
+ "bridge-map",
271
+ "finite-proxy-target-contract",
272
+ "machine-readable-capsule-audit",
273
+ "protocol-comparison-certificate",
274
+ "proxy-grounding-report",
275
+ "reserve-invariance-proof",
276
+ "target-contract"
277
+ ],
278
+ "residual_coordinates": [],
279
+ "rollback_condition": "no-positive-finite-gain",
280
+ "settled": false,
281
+ "simulation_barrier_residuals": [],
282
+ "target_component": "VT",
283
+ "task_id": "task:intervention:vt:run-verifier-queue",
284
+ "witness_kind": "bottleneck-intervention"
285
+ }
286
+ ],
287
+ "bottleneck_witness_tasks": [
288
+ {
289
+ "action_id": null,
290
+ "action_kind": "seed-autocatalytic-closure",
291
+ "expected_proxy_gain": 0.5,
292
+ "metadata": {},
293
+ "operationally_usable": true,
294
+ "priority_score": 0.33499999999999996,
295
+ "reasons": [],
296
+ "required_evidence_kind": [
297
+ "bridge-map",
298
+ "finite-proxy-target-contract",
299
+ "machine-readable-capsule-audit",
300
+ "protocol-comparison-certificate",
301
+ "proxy-grounding-report",
302
+ "reserve-invariance-proof",
303
+ "target-contract"
304
+ ],
305
+ "required_routes": [
306
+ "adapters.domain.verify_ecpt_proxy_target_contract",
307
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
308
+ "ecpt.adapters.proxy.verify_target_contract"
309
+ ],
310
+ "residual_coordinates": [],
311
+ "rollback_condition": "no-positive-finite-gain",
312
+ "settled": false,
313
+ "target_component": "AC",
314
+ "task_id": "task:intervention:ac:seed-autocatalytic-closure",
315
+ "task_type": "bottleneck-intervention"
316
+ },
317
+ {
318
+ "action_id": null,
319
+ "action_kind": "run-verifier-queue",
320
+ "expected_proxy_gain": 0.19999999999999996,
321
+ "metadata": {},
322
+ "operationally_usable": true,
323
+ "priority_score": 0.034999999999999955,
324
+ "reasons": [],
325
+ "required_evidence_kind": [
326
+ "bridge-map",
327
+ "finite-proxy-target-contract",
328
+ "machine-readable-capsule-audit",
329
+ "protocol-comparison-certificate",
330
+ "proxy-grounding-report",
331
+ "reserve-invariance-proof",
332
+ "target-contract"
333
+ ],
334
+ "required_routes": [
335
+ "adapters.domain.verify_ecpt_proxy_target_contract",
336
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
337
+ "ecpt.adapters.proxy.verify_target_contract"
338
+ ],
339
+ "residual_coordinates": [],
340
+ "rollback_condition": "no-positive-finite-gain",
341
+ "settled": false,
342
+ "target_component": "VT",
343
+ "task_id": "task:intervention:vt:run-verifier-queue",
344
+ "task_type": "bottleneck-intervention"
345
+ }
346
+ ],
347
+ "edge_relation_reports": [
348
+ {
349
+ "accepted": true,
350
+ "certificate_id": "edge-certificate:edge:compat:packet:runtime-seed:packet:runtime-step-1:351db8c54ed0",
351
+ "finite_checks_passed": true,
352
+ "matched_evidence_refs": [
353
+ "sha256:1111111111111111111111111111111111111111111111111111111111111111",
354
+ "sha256:351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25"
355
+ ],
356
+ "missing_evidence_markers": [],
357
+ "operationally_usable": true,
358
+ "reasons": [],
359
+ "relation_type": "packet-to-receiver-compatibility",
360
+ "report_id": "edge-relation:edge-certificate:edge:compat:packet:runtime-seed:packet:runtime-step-1:351db8c54ed0:packet-to-receiver-compatibility",
361
+ "residual_ledger": {
362
+ "coordinates": {}
363
+ },
364
+ "settled": false
365
+ }
366
+ ],
367
+ "event_log_delta": {
368
+ "aggregate_sha256": "a1a67472df0c0136279534ea11f4c39eeb3bd834e588887fc6fd2b45f971b9a5",
369
+ "events": [
370
+ {
371
+ "event_id": "event:runtime-demo:0:runtime-step-1:step",
372
+ "event_type": "runtime-step",
373
+ "payload_ref": "runtime-step:runtime-step-1",
374
+ "payload_sha256": "4619fa468b817ecbbefd839f5d2140335c8e5f77485f9d96c5dad68340828371",
375
+ "residual_delta": {
376
+ "coordinates": {
377
+ "ecpt-plan:route-proxy-target-evidence:residual": {
378
+ "description": null,
379
+ "evidence_refs": [],
380
+ "evidence_status": "declared",
381
+ "kind": "residual",
382
+ "known": true,
383
+ "name": "ecpt-plan:route-proxy-target-evidence:residual",
384
+ "unit": "dimensionless",
385
+ "value": 0.02
386
+ },
387
+ "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract": {
388
+ "description": null,
389
+ "evidence_refs": [],
390
+ "evidence_status": "declared",
391
+ "kind": "residual",
392
+ "known": true,
393
+ "name": "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract",
394
+ "unit": "dimensionless",
395
+ "value": 1.0
396
+ },
397
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge": {
398
+ "description": null,
399
+ "evidence_refs": [],
400
+ "evidence_status": "declared",
401
+ "kind": "residual",
402
+ "known": true,
403
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge",
404
+ "unit": "dimensionless",
405
+ "value": 1.0
406
+ },
407
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract": {
408
+ "description": null,
409
+ "evidence_refs": [],
410
+ "evidence_status": "declared",
411
+ "kind": "residual",
412
+ "known": true,
413
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract",
414
+ "unit": "dimensionless",
415
+ "value": 1.0
416
+ },
417
+ "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback": {
418
+ "description": null,
419
+ "evidence_refs": [],
420
+ "evidence_status": "declared",
421
+ "kind": "residual",
422
+ "known": true,
423
+ "name": "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback",
424
+ "unit": "dimensionless",
425
+ "value": 1.0
426
+ },
427
+ "sqot:task:intervention:vt:run-verifier-queue:defer": {
428
+ "description": null,
429
+ "evidence_refs": [],
430
+ "evidence_status": "declared",
431
+ "kind": "residual",
432
+ "known": true,
433
+ "name": "sqot:task:intervention:vt:run-verifier-queue:defer",
434
+ "unit": "dimensionless",
435
+ "value": 1.1650000000000003
436
+ }
437
+ }
438
+ },
439
+ "step_index": 0,
440
+ "timestamp": null
441
+ }
442
+ ]
443
+ },
444
+ "evidence_resolution_batch": {
445
+ "accepted": false,
446
+ "accepted_obligations": [],
447
+ "batch_id": "evidence-resolution:runtime-step-1",
448
+ "envelope_refs": [],
449
+ "finite_checks_passed": false,
450
+ "operationally_usable": false,
451
+ "rejected_obligations": [],
452
+ "residual_ledger": {
453
+ "coordinates": {}
454
+ },
455
+ "resolutions": [],
456
+ "settled": false,
457
+ "unresolved_envelope_refs": []
458
+ },
459
+ "finite_checks_passed": true,
460
+ "frontier_debt_report": {
461
+ "accepted": true,
462
+ "external_obligation_count": 0,
463
+ "frontier_debt_classes": {
464
+ "external": 0,
465
+ "hybrid_residual_propagation": 0,
466
+ "partial_frontier": 0,
467
+ "physical_hybrid": 0,
468
+ "physical_null_channel": 0,
469
+ "progressive_fidelity": 0,
470
+ "telemetry_resource_cost": 0,
471
+ "trace_normal_form": 0
472
+ },
473
+ "hybrid_residual_propagation_count": 0,
474
+ "missing_obligation_count": 3,
475
+ "missing_obligations": [
476
+ "cross-theory-bridge-proof",
477
+ "obligation:baseline-safety",
478
+ "proxy-target-grounding-proof"
479
+ ],
480
+ "operationally_usable": false,
481
+ "partial_frontier_debt_count": 0,
482
+ "physical_hybrid_obligation_count": 0,
483
+ "physical_null_channel_debt_count": 0,
484
+ "progressive_fidelity_debt_count": 0,
485
+ "reasons": [
486
+ "missing obligations remain on the runtime frontier",
487
+ "residual coordinates remain on the runtime frontier"
488
+ ],
489
+ "report_id": "frontier-debt:runtime",
490
+ "residual_burden": 5.1850000000000005,
491
+ "residual_coordinate_count": 6,
492
+ "residual_coordinates": [
493
+ "ecpt-plan:route-proxy-target-evidence:residual",
494
+ "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract",
495
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge",
496
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract",
497
+ "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback",
498
+ "sqot:task:intervention:vt:run-verifier-queue:defer"
499
+ ],
500
+ "settled": false,
501
+ "telemetry_resource_cost_debt_count": 0,
502
+ "trace_normal_form_debt_count": 0,
503
+ "trace_or_frontier_debt_count": 0
504
+ },
505
+ "frontier_debt_summary": {
506
+ "external_obligation_count": 0,
507
+ "hybrid_residual_propagation_count": 0,
508
+ "missing_obligation_count": 3,
509
+ "partial_frontier_debt_count": 0,
510
+ "physical_hybrid_obligation_count": 0,
511
+ "physical_null_channel_debt_count": 0,
512
+ "progressive_fidelity_debt_count": 0,
513
+ "residual_burden": 5.1850000000000005,
514
+ "residual_coordinate_count": 6,
515
+ "telemetry_resource_cost_debt_count": 0,
516
+ "trace_normal_form_debt_count": 0,
517
+ "trace_or_frontier_debt_count": 0
518
+ },
519
+ "ingestion_reports": [
520
+ {
521
+ "accepted": true,
522
+ "packets": [
523
+ {
524
+ "authority_granted": true,
525
+ "authority_required": false,
526
+ "claim": "ECPT runtime packet: route proxy target evidence, preserve residual ledgers, and schedule verifier work through SQOT.",
527
+ "content_sha256": "351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25",
528
+ "dependencies": [],
529
+ "evidence_hash_valid": true,
530
+ "evidence_refs": [
531
+ "sha256:351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25"
532
+ ],
533
+ "expected_downstream_gain": 0.02,
534
+ "expires_at": null,
535
+ "freshness": 1.0,
536
+ "hazard_charge": 0.0,
537
+ "identity_contribution_status": "provisional",
538
+ "issuer_agent_id": null,
539
+ "issuer_attestation_id": null,
540
+ "issuer_public_key_id": null,
541
+ "issuer_signature_ref": null,
542
+ "packet_id": "packet:runtime-step-1:351db8c54ed0",
543
+ "receiver_family": [
544
+ "agent",
545
+ "verifier"
546
+ ],
547
+ "residual_charge": 0.0,
548
+ "reuse_context": "general",
549
+ "rollback_available": true,
550
+ "route_safe": true,
551
+ "salience_class": "packet",
552
+ "source_kind": "agent-output",
553
+ "source_ref": "runtime-step-1",
554
+ "status": "provisional",
555
+ "tags": [
556
+ "agent-output",
557
+ "ecpt",
558
+ "packet",
559
+ "residual",
560
+ "sqot",
561
+ "verifier"
562
+ ],
563
+ "verification_cost": 0.01,
564
+ "verifier_routes": [
565
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
566
+ "ecpt.adapters.proxy.verify_target_contract"
567
+ ]
568
+ }
569
+ ],
570
+ "provenance": [],
571
+ "reasons": [],
572
+ "rejected_sources": [],
573
+ "report_id": "packet-ingestion:runtime-step-1",
574
+ "residual_ledger": {
575
+ "coordinates": {}
576
+ },
577
+ "source_kind": "agent-output",
578
+ "web_fetch_reports": []
579
+ }
580
+ ],
581
+ "input_id": "runtime-step-1",
582
+ "missing_obligations": [
583
+ "cross-theory-bridge-proof",
584
+ "obligation:baseline-safety",
585
+ "proxy-target-grounding-proof"
586
+ ],
587
+ "operationally_usable": false,
588
+ "phase_acceleration_score": {
589
+ "components": {
590
+ "finite_proxy_gain": 1.1516216216216215,
591
+ "missing_route_charge": 1.0,
592
+ "psi_distance_reduction": 0.8216216216216216,
593
+ "residual_debt_charge": 1.1850000000000003,
594
+ "risk_charge": 0.03,
595
+ "stale_packet_charge": 0.0,
596
+ "verification_throughput_score": 0.5
597
+ },
598
+ "false_liquidity_charge": 0.0,
599
+ "finite_proxy_gain": 1.1516216216216215,
600
+ "missing_route_charge": 1.0,
601
+ "psi_distance_reduction": 0.8216216216216216,
602
+ "residual_debt_charge": 1.1850000000000003,
603
+ "risk_charge": 0.03,
604
+ "score_id": "phase-acceleration:runtime-demo:runtime-step-1",
605
+ "stale_packet_charge": 0.0,
606
+ "total_score": 0.25824324324324266,
607
+ "verification_throughput_score": 0.5
608
+ },
609
+ "phase_control_audit": {
610
+ "baseline_comparison_label": "resource-comparable-proxy-baseline",
611
+ "baseline_comparison_ready": true,
612
+ "baseline_proxy_mass": 0.0,
613
+ "candidate_count": 1,
614
+ "controlled_proxy_mass": 0.3999999999999999,
615
+ "duplicate_mass_excluded": true,
616
+ "execution_availability_required": true,
617
+ "execution_available_path_count": 1,
618
+ "finite_proxy_gain_total": 0.32999999999999996,
619
+ "missing_obligation_count": 1,
620
+ "operationally_usable": false,
621
+ "partial": true,
622
+ "proxy_bundle_coordinate_count": 1,
623
+ "proxy_bundle_mass": 1.0,
624
+ "proxy_target_grounding_refs": [
625
+ "phase-transition-proxy"
626
+ ],
627
+ "proxy_target_grounding_required": false,
628
+ "queue_capacity_constraints_visible": true,
629
+ "queue_capacity_margin": 0.0,
630
+ "reasons": [
631
+ "phase-control missing obligations remain"
632
+ ],
633
+ "selected_action_count": 1,
634
+ "settled": false,
635
+ "split_certificate_refs": [
636
+ "route-proxy-target-evidence"
637
+ ],
638
+ "split_certified_quotient_ready": false,
639
+ "summary_id": "phase-control-audit:runtime-demo-asi-proxy-target",
640
+ "target_id": "runtime-demo-asi-proxy-target",
641
+ "target_node_count": 1
642
+ },
643
+ "phase_control_summary": {
644
+ "baseline_comparison_ready": true,
645
+ "baseline_proxy_mass": 0.0,
646
+ "candidate_count": 1,
647
+ "controlled_proxy_mass": 0.3999999999999999,
648
+ "duplicate_mass_excluded": true,
649
+ "execution_availability_required": true,
650
+ "execution_available_path_count": 1,
651
+ "finite_proxy_gain_total": 0.32999999999999996,
652
+ "missing_obligation_count": 1,
653
+ "operationally_usable": false,
654
+ "partial": true,
655
+ "proxy_bundle_coordinate_count": 1,
656
+ "proxy_bundle_mass": 1.0,
657
+ "proxy_target_grounding_required": false,
658
+ "queue_capacity_constraints_visible": true,
659
+ "queue_capacity_margin": 0.0,
660
+ "selected_action_count": 1,
661
+ "settled": false,
662
+ "split_certified_quotient_ready": false,
663
+ "target_id": "runtime-demo-asi-proxy-target",
664
+ "target_node_count": 1
665
+ },
666
+ "phase_run_report": {
667
+ "baseline_reachable_mass": {
668
+ "compute": 1.0,
669
+ "models": 0.6499999999999999
670
+ },
671
+ "controlled_reachable_mass": {
672
+ "compute": 1.0,
673
+ "models": 0.6499999999999999,
674
+ "phase-transition-proxy": 0.3999999999999999
675
+ },
676
+ "plan": {
677
+ "accepted": true,
678
+ "candidates": [
679
+ {
680
+ "action": {
681
+ "action_id": "route-proxy-target-evidence",
682
+ "activation_delta": 0.8,
683
+ "burden_delta": 0.1,
684
+ "postconditions": [
685
+ "proxy-frontier-observed"
686
+ ],
687
+ "preconditions": [
688
+ "compute",
689
+ "models"
690
+ ],
691
+ "required_obligations": [
692
+ "obligation:baseline-safety"
693
+ ],
694
+ "residual_charge": 0.02,
695
+ "resource_cost": {
696
+ "compute": 0.2
697
+ },
698
+ "risk_charge": 0.03,
699
+ "source_nodes": [
700
+ "compute",
701
+ "models"
702
+ ],
703
+ "target_node": "phase-transition-proxy",
704
+ "verifier_routes": [
705
+ "adapters.domain.verify_ecpt_proxy_target_contract"
706
+ ]
707
+ },
708
+ "baseline_proxy_mass": 0.0,
709
+ "candidate_id": "candidate:route-proxy-target-evidence",
710
+ "controlled_proxy_mass": 0.3999999999999999,
711
+ "finite_proxy_gain": 0.32999999999999996,
712
+ "finite_scope_usable": true,
713
+ "missing_obligations": [
714
+ "proxy-target-grounding-proof"
715
+ ],
716
+ "operationally_usable": false,
717
+ "reasons": [],
718
+ "required_evidence_routes": [
719
+ "adapters.domain.verify_ecpt_proxy_target_contract"
720
+ ],
721
+ "residual_charge": 0.04,
722
+ "residual_ledger": {
723
+ "coordinates": {
724
+ "ecpt-plan:route-proxy-target-evidence:residual": {
725
+ "description": null,
726
+ "evidence_refs": [],
727
+ "evidence_status": "declared",
728
+ "kind": "residual",
729
+ "known": true,
730
+ "name": "ecpt-plan:route-proxy-target-evidence:residual",
731
+ "unit": "dimensionless",
732
+ "value": 0.02
733
+ }
734
+ }
735
+ },
736
+ "resource_cost": {
737
+ "compute": 0.2
738
+ },
739
+ "risk_charge": 0.03,
740
+ "score": 0.12999999999999995,
741
+ "settled": false
742
+ }
743
+ ],
744
+ "finite_proxy_gain_total": 0.32999999999999996,
745
+ "missing_obligations": [
746
+ "proxy-target-grounding-proof"
747
+ ],
748
+ "objective_id": "runtime-demo-objective",
749
+ "operationally_usable": false,
750
+ "partial": true,
751
+ "plan_id": "phase-control-plan:runtime-demo-phase-state:runtime-demo-objective",
752
+ "profile": "development",
753
+ "reasons": [],
754
+ "required_evidence_routes": [
755
+ "adapters.domain.verify_ecpt_proxy_target_contract"
756
+ ],
757
+ "residual_ledger": {
758
+ "coordinates": {
759
+ "ecpt-plan:route-proxy-target-evidence:residual": {
760
+ "description": null,
761
+ "evidence_refs": [],
762
+ "evidence_status": "declared",
763
+ "kind": "residual",
764
+ "known": true,
765
+ "name": "ecpt-plan:route-proxy-target-evidence:residual",
766
+ "unit": "dimensionless",
767
+ "value": 0.02
768
+ }
769
+ }
770
+ },
771
+ "score": 0.12999999999999995,
772
+ "selected_actions": [
773
+ {
774
+ "action_id": "route-proxy-target-evidence",
775
+ "activation_delta": 0.8,
776
+ "burden_delta": 0.1,
777
+ "postconditions": [
778
+ "proxy-frontier-observed"
779
+ ],
780
+ "preconditions": [
781
+ "compute",
782
+ "models"
783
+ ],
784
+ "required_obligations": [
785
+ "obligation:baseline-safety"
786
+ ],
787
+ "residual_charge": 0.02,
788
+ "resource_cost": {
789
+ "compute": 0.2
790
+ },
791
+ "risk_charge": 0.03,
792
+ "source_nodes": [
793
+ "compute",
794
+ "models"
795
+ ],
796
+ "target_node": "phase-transition-proxy",
797
+ "verifier_routes": [
798
+ "adapters.domain.verify_ecpt_proxy_target_contract"
799
+ ]
800
+ }
801
+ ],
802
+ "settled": false,
803
+ "status": "provisional"
804
+ },
805
+ "report_id": "phase-control-run:runtime-demo-phase-state:runtime-demo-objective",
806
+ "safety_invariants": [
807
+ "phase-control planning recommendations do not prove unobserved ASI outcomes",
808
+ "unresolved external obligations remain charged in residual ledgers",
809
+ "planner output alone never promotes a claim to settled status"
810
+ ],
811
+ "state_id": "runtime-demo-phase-state",
812
+ "target_id": "runtime-demo-asi-proxy-target"
813
+ },
814
+ "promotion_report": {
815
+ "accepted": false,
816
+ "identity_contribution_summary": {
817
+ "diagnostic": 2
818
+ },
819
+ "rejected_packets": [
820
+ {
821
+ "identity_contribution_status": "diagnostic",
822
+ "packet_id": "rejected:packet:runtime-seed",
823
+ "reasons": [
824
+ "packet verifier route resolution is missing"
825
+ ],
826
+ "residual_ledger": {
827
+ "coordinates": {
828
+ "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract": {
829
+ "description": null,
830
+ "evidence_refs": [],
831
+ "evidence_status": "declared",
832
+ "kind": "residual",
833
+ "known": true,
834
+ "name": "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract",
835
+ "unit": "dimensionless",
836
+ "value": 1.0
837
+ }
838
+ }
839
+ },
840
+ "source_candidate_id": "packet:runtime-seed",
841
+ "status": "diagnostic"
842
+ },
843
+ {
844
+ "identity_contribution_status": "diagnostic",
845
+ "packet_id": "rejected:packet:runtime-step-1:351db8c54ed0",
846
+ "reasons": [
847
+ "packet verifier route resolution is missing"
848
+ ],
849
+ "residual_ledger": {
850
+ "coordinates": {
851
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge": {
852
+ "description": null,
853
+ "evidence_refs": [],
854
+ "evidence_status": "declared",
855
+ "kind": "residual",
856
+ "known": true,
857
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge",
858
+ "unit": "dimensionless",
859
+ "value": 1.0
860
+ },
861
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract": {
862
+ "description": null,
863
+ "evidence_refs": [],
864
+ "evidence_status": "declared",
865
+ "kind": "residual",
866
+ "known": true,
867
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract",
868
+ "unit": "dimensionless",
869
+ "value": 1.0
870
+ }
871
+ }
872
+ },
873
+ "source_candidate_id": "packet:runtime-step-1:351db8c54ed0",
874
+ "status": "diagnostic"
875
+ }
876
+ ],
877
+ "report_id": "packet-promotion:runtime-demo:runtime-step-1",
878
+ "residual_ledger": {
879
+ "coordinates": {
880
+ "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract": {
881
+ "description": null,
882
+ "evidence_refs": [],
883
+ "evidence_status": "declared",
884
+ "kind": "residual",
885
+ "known": true,
886
+ "name": "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract",
887
+ "unit": "dimensionless",
888
+ "value": 1.0
889
+ },
890
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge": {
891
+ "description": null,
892
+ "evidence_refs": [],
893
+ "evidence_status": "declared",
894
+ "kind": "residual",
895
+ "known": true,
896
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge",
897
+ "unit": "dimensionless",
898
+ "value": 1.0
899
+ },
900
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract": {
901
+ "description": null,
902
+ "evidence_refs": [],
903
+ "evidence_status": "declared",
904
+ "kind": "residual",
905
+ "known": true,
906
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract",
907
+ "unit": "dimensionless",
908
+ "value": 1.0
909
+ }
910
+ }
911
+ },
912
+ "safety_invariants": [
913
+ "packet promotion is finite-scope and protocol-relative",
914
+ "verified packets do not settle residual external obligations",
915
+ "hash, route, authority, expiry, rollback, and edge checks fail closed"
916
+ ],
917
+ "verified_packets": []
918
+ },
919
+ "psi": {
920
+ "components": {
921
+ "AC": 0.0,
922
+ "BR": 0.5,
923
+ "CV": 0.5,
924
+ "DE": 0.5,
925
+ "FR": 1.0,
926
+ "G": 1.0,
927
+ "HZ": 1.0,
928
+ "LX": 1.0,
929
+ "QS": 0.884,
930
+ "SD": 0.3783783783783784,
931
+ "VT": 0.5
932
+ },
933
+ "dashboard_id": "psi:runtime-registry:runtime-demo:runtime-step-1",
934
+ "distance_to_threshold": {
935
+ "AC": 0.5,
936
+ "BR": 0.0,
937
+ "CV": 0.0,
938
+ "DE": 0.0,
939
+ "FR": 0.0,
940
+ "G": 0.0,
941
+ "HZ": 0.0,
942
+ "LX": 0.0,
943
+ "QS": 0.0,
944
+ "SD": 0.1216216216216216,
945
+ "VT": 0.19999999999999996
946
+ },
947
+ "limiting_components": [
948
+ "AC",
949
+ "VT",
950
+ "SD"
951
+ ],
952
+ "residual_ledger": {
953
+ "coordinates": {
954
+ "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback": {
955
+ "description": null,
956
+ "evidence_refs": [],
957
+ "evidence_status": "declared",
958
+ "kind": "residual",
959
+ "known": true,
960
+ "name": "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback",
961
+ "unit": "dimensionless",
962
+ "value": 0.5
963
+ }
964
+ }
965
+ },
966
+ "safety_invariants": [
967
+ "Psi components are protocol-relative finite proxies",
968
+ "dashboard output does not prove unobserved ASI or physical outcomes",
969
+ "residual obligations remain explicit until verifier routes discharge them"
970
+ ],
971
+ "threshold": {
972
+ "AC": 0.5,
973
+ "BR": 0.1,
974
+ "CV": 0.5,
975
+ "DE": 0.5,
976
+ "FR": 0.5,
977
+ "G": 0.7,
978
+ "HZ": 0.5,
979
+ "LX": 0.5,
980
+ "QS": 0.5,
981
+ "SD": 0.5,
982
+ "VT": 0.7
983
+ },
984
+ "throughput": {
985
+ "abstained_packets": 1,
986
+ "accepted_packets": 1,
987
+ "evidence_hash_mismatch_rate": 0.0,
988
+ "false_liquidity_rate": 0.0,
989
+ "low_contribution_queue_occupation": 0.0,
990
+ "packet_inflow": 2,
991
+ "rejected_packets": 0,
992
+ "residual_debt_growth": 0.0,
993
+ "stale_packet_ratio": 0.0,
994
+ "unresolved_obligation_backlog": 3,
995
+ "verifier_latency_proxy": 0.055
996
+ }
997
+ },
998
+ "reasons": [],
999
+ "registry": {
1000
+ "edges": [
1001
+ {
1002
+ "accepted": true,
1003
+ "confidence": 0.4,
1004
+ "edge_id": "edge:compat:packet:runtime-seed:packet:runtime-step-1:351db8c54ed0",
1005
+ "edge_type": "packet-to-receiver-compatibility",
1006
+ "evidence_refs": [
1007
+ "sha256:1111111111111111111111111111111111111111111111111111111111111111",
1008
+ "sha256:351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25"
1009
+ ],
1010
+ "expires_at": null,
1011
+ "reasons": [
1012
+ "common_tags:ecpt"
1013
+ ],
1014
+ "residual": 0.0,
1015
+ "source_packet_ids": [
1016
+ "packet:runtime-seed"
1017
+ ],
1018
+ "target_packet_id": "packet:runtime-step-1:351db8c54ed0"
1019
+ }
1020
+ ],
1021
+ "packets": [
1022
+ {
1023
+ "authority_granted": true,
1024
+ "authority_required": false,
1025
+ "claim": "Seed packet for ECPT proxy phase-control routing.",
1026
+ "content_sha256": "1111111111111111111111111111111111111111111111111111111111111111",
1027
+ "dependencies": [],
1028
+ "evidence_hash_valid": true,
1029
+ "evidence_refs": [
1030
+ "sha256:1111111111111111111111111111111111111111111111111111111111111111"
1031
+ ],
1032
+ "expected_downstream_gain": 0.4,
1033
+ "expires_at": null,
1034
+ "freshness": 1.0,
1035
+ "hazard_charge": 0.0,
1036
+ "identity_contribution_status": "provisional",
1037
+ "issuer_agent_id": null,
1038
+ "issuer_attestation_id": null,
1039
+ "issuer_public_key_id": null,
1040
+ "issuer_signature_ref": null,
1041
+ "packet_id": "packet:runtime-seed",
1042
+ "receiver_family": [
1043
+ "agent",
1044
+ "verifier"
1045
+ ],
1046
+ "residual_charge": 0.0,
1047
+ "reuse_context": "runtime-demo",
1048
+ "rollback_available": true,
1049
+ "route_safe": true,
1050
+ "salience_class": "packet",
1051
+ "source_kind": "agent-output",
1052
+ "source_ref": "seed",
1053
+ "status": "provisional",
1054
+ "tags": [
1055
+ "ecpt",
1056
+ "phase"
1057
+ ],
1058
+ "verification_cost": 0.1,
1059
+ "verifier_routes": [
1060
+ "adapters.domain.verify_ecpt_proxy_target_contract"
1061
+ ]
1062
+ },
1063
+ {
1064
+ "authority_granted": true,
1065
+ "authority_required": false,
1066
+ "claim": "ECPT runtime packet: route proxy target evidence, preserve residual ledgers, and schedule verifier work through SQOT.",
1067
+ "content_sha256": "351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25",
1068
+ "dependencies": [],
1069
+ "evidence_hash_valid": true,
1070
+ "evidence_refs": [
1071
+ "sha256:351db8c54ed019b1b12a0c4182d3d51dd5bdc811d1941cc61cd15f5f17d9de25"
1072
+ ],
1073
+ "expected_downstream_gain": 0.02,
1074
+ "expires_at": null,
1075
+ "freshness": 1.0,
1076
+ "hazard_charge": 0.0,
1077
+ "identity_contribution_status": "provisional",
1078
+ "issuer_agent_id": null,
1079
+ "issuer_attestation_id": null,
1080
+ "issuer_public_key_id": null,
1081
+ "issuer_signature_ref": null,
1082
+ "packet_id": "packet:runtime-step-1:351db8c54ed0",
1083
+ "receiver_family": [
1084
+ "agent",
1085
+ "verifier"
1086
+ ],
1087
+ "residual_charge": 0.0,
1088
+ "reuse_context": "general",
1089
+ "rollback_available": true,
1090
+ "route_safe": true,
1091
+ "salience_class": "packet",
1092
+ "source_kind": "agent-output",
1093
+ "source_ref": "runtime-step-1",
1094
+ "status": "provisional",
1095
+ "tags": [
1096
+ "agent-output",
1097
+ "ecpt",
1098
+ "packet",
1099
+ "residual",
1100
+ "sqot",
1101
+ "verifier"
1102
+ ],
1103
+ "verification_cost": 0.01,
1104
+ "verifier_routes": [
1105
+ "ecpt.adapters.bridge.verify_cross_theory_bridge",
1106
+ "ecpt.adapters.proxy.verify_target_contract"
1107
+ ]
1108
+ }
1109
+ ],
1110
+ "registry_id": "runtime-registry:runtime-demo:runtime-step-1",
1111
+ "residual_ledger": {
1112
+ "coordinates": {}
1113
+ }
1114
+ },
1115
+ "report_id": "runtime-step:runtime-demo:0:runtime-step-1",
1116
+ "residual_ledger": {
1117
+ "coordinates": {
1118
+ "ecpt-plan:route-proxy-target-evidence:residual": {
1119
+ "description": null,
1120
+ "evidence_refs": [],
1121
+ "evidence_status": "declared",
1122
+ "kind": "residual",
1123
+ "known": true,
1124
+ "name": "ecpt-plan:route-proxy-target-evidence:residual",
1125
+ "unit": "dimensionless",
1126
+ "value": 0.02
1127
+ },
1128
+ "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract": {
1129
+ "description": null,
1130
+ "evidence_refs": [],
1131
+ "evidence_status": "declared",
1132
+ "kind": "residual",
1133
+ "known": true,
1134
+ "name": "packet-promotion:packet:runtime-seed:missing-route:adapters.domain.verify_ecpt_proxy_target_contract",
1135
+ "unit": "dimensionless",
1136
+ "value": 1.0
1137
+ },
1138
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge": {
1139
+ "description": null,
1140
+ "evidence_refs": [],
1141
+ "evidence_status": "declared",
1142
+ "kind": "residual",
1143
+ "known": true,
1144
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.bridge.verify_cross_theory_bridge",
1145
+ "unit": "dimensionless",
1146
+ "value": 1.0
1147
+ },
1148
+ "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract": {
1149
+ "description": null,
1150
+ "evidence_refs": [],
1151
+ "evidence_status": "declared",
1152
+ "kind": "residual",
1153
+ "known": true,
1154
+ "name": "packet-promotion:packet:runtime-step-1:351db8c54ed0:missing-route:ecpt.adapters.proxy.verify_target_contract",
1155
+ "unit": "dimensionless",
1156
+ "value": 1.0
1157
+ },
1158
+ "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback": {
1159
+ "description": null,
1160
+ "evidence_refs": [],
1161
+ "evidence_status": "declared",
1162
+ "kind": "residual",
1163
+ "known": true,
1164
+ "name": "psi:runtime-registry:runtime-demo:runtime-step-1:de-edge-density-fallback",
1165
+ "unit": "dimensionless",
1166
+ "value": 1.0
1167
+ },
1168
+ "sqot:task:intervention:vt:run-verifier-queue:defer": {
1169
+ "description": null,
1170
+ "evidence_refs": [],
1171
+ "evidence_status": "declared",
1172
+ "kind": "residual",
1173
+ "known": true,
1174
+ "name": "sqot:task:intervention:vt:run-verifier-queue:defer",
1175
+ "unit": "dimensionless",
1176
+ "value": 1.1650000000000003
1177
+ }
1178
+ }
1179
+ },
1180
+ "route_execution_requests": [
1181
+ {
1182
+ "obligation_category": "ecpt-proxy-target",
1183
+ "priority_score": 1.0,
1184
+ "request_id": "route-request:adapters.domain.verify_ecpt_proxy_target_contract",
1185
+ "required_evidence_kind": [
1186
+ "finite-proxy-target-contract"
1187
+ ],
1188
+ "residual_external_obligations": [
1189
+ "proxy-target-grounding-proof"
1190
+ ],
1191
+ "residual_policy": "charge-proxy-grounding-residual-until-target-contract-is-validated",
1192
+ "route_id": "adapters.domain.verify_ecpt_proxy_target_contract",
1193
+ "safe_default": "diagnostic-with-proxy-target-obligation",
1194
+ "settlement_scope": [
1195
+ "routing-contract:adapters.domain.verify_ecpt_proxy_target_contract"
1196
+ ],
1197
+ "status": "diagnostic",
1198
+ "verifier_route": "percolation_inversion_compiler.adapters.domain.verify_ecpt_proxy_target_contract"
1199
+ },
1200
+ {
1201
+ "obligation_category": "ecpt-bridge-reserve",
1202
+ "priority_score": 1.0,
1203
+ "request_id": "route-request:ecpt.adapters.bridge.verify_cross_theory_bridge",
1204
+ "required_evidence_kind": [
1205
+ "bridge-map",
1206
+ "machine-readable-capsule-audit",
1207
+ "reserve-invariance-proof"
1208
+ ],
1209
+ "residual_external_obligations": [
1210
+ "cross-theory-bridge-proof"
1211
+ ],
1212
+ "residual_policy": "charge-bridge-residual-until-cross-theory-proof-accepted",
1213
+ "route_id": "ecpt.adapters.bridge.verify_cross_theory_bridge",
1214
+ "safe_default": "diagnostic-with-bridge-obligation",
1215
+ "settlement_scope": [
1216
+ "contract-envelope:adapters.domain.verify_ecpt_bridge_reserve"
1217
+ ],
1218
+ "status": "diagnostic",
1219
+ "verifier_route": "ecpt.adapters.bridge.verify_cross_theory_bridge"
1220
+ },
1221
+ {
1222
+ "obligation_category": "ecpt-proxy-target",
1223
+ "priority_score": 1.0,
1224
+ "request_id": "route-request:ecpt.adapters.proxy.verify_target_contract",
1225
+ "required_evidence_kind": [
1226
+ "protocol-comparison-certificate",
1227
+ "proxy-grounding-report",
1228
+ "target-contract"
1229
+ ],
1230
+ "residual_external_obligations": [
1231
+ "proxy-target-grounding-proof"
1232
+ ],
1233
+ "residual_policy": "charge-proxy-target-residual-until-contract-accepted",
1234
+ "route_id": "ecpt.adapters.proxy.verify_target_contract",
1235
+ "safe_default": "diagnostic-with-proxy-obligation",
1236
+ "settlement_scope": [
1237
+ "routing-contract:adapters.domain.verify_ecpt_proxy_target_contract"
1238
+ ],
1239
+ "status": "diagnostic",
1240
+ "verifier_route": "ecpt.adapters.proxy.verify_target_contract"
1241
+ }
1242
+ ],
1243
+ "safety_invariants": [
1244
+ "runtime planning does not prove unobserved ASI, physical, or oracle outcomes",
1245
+ "settled remains false unless verifier rules discharge the full finite route scope",
1246
+ "live connectors are bounded and candidate-only by default when an explicit source is supplied",
1247
+ "residual ledgers and missing obligations are preserved across runtime steps"
1248
+ ],
1249
+ "salience_schedule": {
1250
+ "accepted": true,
1251
+ "adversarial_transfer_charge": 0.0,
1252
+ "aggregation_group_counts": {},
1253
+ "aggregation_group_occupation": {},
1254
+ "audit_recursion_violations": [],
1255
+ "decisions": [
1256
+ {
1257
+ "decision": "run",
1258
+ "operationally_usable": true,
1259
+ "priority_score": 1.35,
1260
+ "reasons": [],
1261
+ "record_id": "task:phase-action:route-proxy-target-evidence",
1262
+ "residual_ledger": {
1263
+ "coordinates": {}
1264
+ },
1265
+ "settled": false,
1266
+ "status": "provisional"
1267
+ },
1268
+ {
1269
+ "decision": "run",
1270
+ "operationally_usable": true,
1271
+ "priority_score": 1.2999999999999998,
1272
+ "reasons": [],
1273
+ "record_id": "queue:packet:runtime-seed",
1274
+ "residual_ledger": {
1275
+ "coordinates": {}
1276
+ },
1277
+ "settled": false,
1278
+ "status": "provisional"
1279
+ },
1280
+ {
1281
+ "decision": "run",
1282
+ "operationally_usable": true,
1283
+ "priority_score": 1.01,
1284
+ "reasons": [],
1285
+ "record_id": "queue:packet:runtime-step-1:351db8c54ed0",
1286
+ "residual_ledger": {
1287
+ "coordinates": {}
1288
+ },
1289
+ "settled": false,
1290
+ "status": "provisional"
1291
+ },
1292
+ {
1293
+ "decision": "run",
1294
+ "operationally_usable": true,
1295
+ "priority_score": 0.1349999999999999,
1296
+ "reasons": [],
1297
+ "record_id": "task:intervention:ac:seed-autocatalytic-closure",
1298
+ "residual_ledger": {
1299
+ "coordinates": {}
1300
+ },
1301
+ "settled": false,
1302
+ "status": "provisional"
1303
+ },
1304
+ {
1305
+ "decision": "defer",
1306
+ "operationally_usable": false,
1307
+ "priority_score": -0.4650000000000002,
1308
+ "reasons": [
1309
+ "priority score is not positive"
1310
+ ],
1311
+ "record_id": "task:intervention:vt:run-verifier-queue",
1312
+ "residual_ledger": {
1313
+ "coordinates": {
1314
+ "sqot:task:intervention:vt:run-verifier-queue:defer": {
1315
+ "description": null,
1316
+ "evidence_refs": [],
1317
+ "evidence_status": "declared",
1318
+ "kind": "residual",
1319
+ "known": true,
1320
+ "name": "sqot:task:intervention:vt:run-verifier-queue:defer",
1321
+ "unit": "dimensionless",
1322
+ "value": 1.1650000000000003
1323
+ }
1324
+ }
1325
+ },
1326
+ "settled": false,
1327
+ "status": "diagnostic"
1328
+ }
1329
+ ],
1330
+ "diagnostic_reserve": {
1331
+ "audit_depth": 1,
1332
+ "minimum_reserve": 0.0,
1333
+ "reserve_fraction": 0.1
1334
+ },
1335
+ "distributed_origin_count": 0,
1336
+ "effective_diagnostic_reserve": 0.0,
1337
+ "false_liquidity_rate": 0.0,
1338
+ "label_laundering_suspicions": [],
1339
+ "latency_deadline_loss": 0.0,
1340
+ "low_contribution_occupation": 0.7000000000000001,
1341
+ "occupation_ledger": {
1342
+ "attention_budget": 1.0,
1343
+ "occupied": 0.91,
1344
+ "occupied_by_class": {
1345
+ "bottleneck-intervention": 0.7000000000000001,
1346
+ "packet": 0.11,
1347
+ "phase-control-action": 0.1
1348
+ },
1349
+ "unknown_occupation": []
1350
+ },
1351
+ "privacy_rejoin_refs": [],
1352
+ "profile": "development",
1353
+ "protocol_integrity_refs": [],
1354
+ "quarantine_ledger": {
1355
+ "quarantined_items": [],
1356
+ "reasons": {},
1357
+ "rollback_items": []
1358
+ },
1359
+ "report_id": "sqot-salience-schedule",
1360
+ "residual_debt_growth": 1.1650000000000003,
1361
+ "risk_ledger": {
1362
+ "risk_budget": 1.0,
1363
+ "risk_charges": {
1364
+ "queue:packet:runtime-seed": 0.0,
1365
+ "queue:packet:runtime-step-1:351db8c54ed0": 0.0,
1366
+ "task:intervention:ac:seed-autocatalytic-closure": 0.0,
1367
+ "task:phase-action:route-proxy-target-evidence": 0.0
1368
+ }
1369
+ },
1370
+ "rollback_class_summary": {
1371
+ "none": 5
1372
+ },
1373
+ "safety_invariants": [
1374
+ "queue priority never promotes obligations to settled status",
1375
+ "stale, hash-invalid, authority-invalid, or unsafe-route items fail closed",
1376
+ "diagnostic reserve is preserved before non-diagnostic work is scheduled"
1377
+ ],
1378
+ "sovereignty_kernel_refs": [],
1379
+ "stale_packet_ratio": 0.0,
1380
+ "thermodynamic_discharge_charge": 0.0,
1381
+ "unresolved_obligation_backlog": 3,
1382
+ "verifier_latency_proxy": 0.182
1383
+ },
1384
+ "schema_valid": true,
1385
+ "settled": false,
1386
+ "state_id": "runtime-demo",
1387
+ "status": "diagnostic",
1388
+ "step_index": 0,
1389
+ "verified_packet_count": 0
1390
+ },
1391
+ "content_digest": "e9cb2bb574c00f52f8b3733fe242ae2d59a3fc103b53fcaa7c36883c497d5516",
1392
+ "created_timestamp": "not-recorded",
1393
+ "identity_context_summary": {
1394
+ "accepted_agent_context_present": false,
1395
+ "accepted_public_key_context_present": false
1396
+ },
1397
+ "issuer_agent_id": null,
1398
+ "issuer_public_key_id": null,
1399
+ "lineage_parents": [
1400
+ "runtime-step:runtime-demo:0:runtime-step-1"
1401
+ ],
1402
+ "missing_obligations": [
1403
+ "cross-theory-bridge-proof",
1404
+ "obligation:baseline-safety",
1405
+ "proxy-target-grounding-proof"
1406
+ ],
1407
+ "packet_id": "packet-exchange:runtime-step:runtime-demo:0:runtime-step-1:e9cb2bb574c0",
1408
+ "provenance_summary": {
1409
+ "input_id": "runtime-step-1",
1410
+ "source_report_id": "runtime-step:runtime-demo:0:runtime-step-1",
1411
+ "state_id": "runtime-demo"
1412
+ },
1413
+ "reasons": [
1414
+ "exported packet is diagnostic data and is not promoted"
1415
+ ],
1416
+ "residual_carry_forward": {
1417
+ "accepted": true,
1418
+ "candidate_only_reasons": [
1419
+ "runtime report is exported as diagnostic packet-exchange data",
1420
+ "packet exchange does not route promotion checks"
1421
+ ],
1422
+ "missing_obligations": [
1423
+ "cross-theory-bridge-proof",
1424
+ "obligation:baseline-safety",
1425
+ "proxy-target-grounding-proof"
1426
+ ],
1427
+ "reasons": [
1428
+ "residuals and blockers are preserved during packet export"
1429
+ ],
1430
+ "report_id": "residual-carry-forward:runtime-step:runtime-demo:0:runtime-step-1",
1431
+ "residual_summary": {
1432
+ "residual": 5.185
1433
+ },
1434
+ "settled": false,
1435
+ "settled_blockers": [
1436
+ "packet exchange is sidecar-only and cannot settle claims",
1437
+ "source runtime report settled=false",
1438
+ "cross-theory-bridge-proof",
1439
+ "obligation:baseline-safety",
1440
+ "proxy-target-grounding-proof"
1441
+ ]
1442
+ },
1443
+ "residual_ledger_summary": {
1444
+ "residual": 5.185
1445
+ },
1446
+ "safety_invariants": [
1447
+ "packet exchange treats content as data, not instruction",
1448
+ "packet exchange never executes packet content",
1449
+ "packet exchange does not promote candidate packets",
1450
+ "merge preserves candidate-only and unsettled status"
1451
+ ],
1452
+ "schema_version": "pic-packet-exchange-v1",
1453
+ "settled": false,
1454
+ "settled_blockers": [
1455
+ "packet exchange is sidecar-only and cannot settle claims",
1456
+ "source runtime report settled=false",
1457
+ "cross-theory-bridge-proof",
1458
+ "obligation:baseline-safety",
1459
+ "proxy-target-grounding-proof"
1460
+ ],
1461
+ "source_kind": "runtime-report",
1462
+ "workflow_usable": true
1463
+ }