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