percolation-inversion-compiler-ts 0.4.5 → 0.5.0

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 (197) hide show
  1. package/CHANGELOG.md +8 -0
  2. package/README.md +77 -22
  3. package/agent-manifest.json +50 -0
  4. package/dist/alt_lift/index.d.ts +7 -0
  5. package/dist/alt_lift/index.js +101 -0
  6. package/dist/bit_engine/index.d.ts +8 -0
  7. package/dist/bit_engine/index.js +213 -0
  8. package/dist/cli/main.js +2106 -162
  9. package/dist/index.d.ts +5 -0
  10. package/dist/index.js +1611 -16
  11. package/dist/phase_lab/index.d.ts +26 -0
  12. package/dist/phase_lab/index.js +1124 -0
  13. package/dist/sqot_controller/index.d.ts +8 -0
  14. package/dist/sqot_controller/index.js +141 -0
  15. package/dist/trc_adapter/index.d.ts +6 -0
  16. package/dist/trc_adapter/index.js +86 -0
  17. package/docs/alt-ecpt-lift.md +32 -0
  18. package/docs/bit-inversion-engine.md +32 -0
  19. package/docs/cli-reference.md +68 -0
  20. package/docs/effective-packet-graph.md +35 -0
  21. package/docs/for-agents.md +44 -0
  22. package/docs/phase-ecology-lab.md +46 -0
  23. package/docs/sqot-queue-sovereignty.md +31 -0
  24. package/docs/threshold-certificates.md +30 -0
  25. package/docs/trc-trace-adapter.md +30 -0
  26. package/docs/v050-audit.md +126 -0
  27. package/examples/alt_lift/alt_ecpt_lift.example.json +27 -0
  28. package/examples/bit_engine/bottlenecks.example.json +38 -0
  29. package/examples/bit_engine/inversion_candidates.example.json +55 -0
  30. package/examples/packet_exchange/packet_envelope.example.json +51 -0
  31. package/examples/packet_exchange/packet_merge_report.example.json +60 -0
  32. package/examples/phase_lab/certificate_abstain.example.json +39 -0
  33. package/examples/phase_lab/closure_report.example.json +41 -0
  34. package/examples/phase_lab/effective_graph.example.json +112 -0
  35. package/examples/phase_lab/executable_paths.example.json +20 -0
  36. package/examples/phase_lab/phase_window_observation.example.json +61 -0
  37. package/examples/phase_lab/runtime_report_1.json +19 -0
  38. package/examples/phase_lab/runtime_report_2.json +16 -0
  39. package/examples/phase_lab/threshold_status.example.json +31 -0
  40. package/examples/sqot_controller/queue_report.example.json +30 -0
  41. package/examples/sqot_controller/rebalance_plan.example.json +14 -0
  42. package/examples/thresholds/asi_proxy_development.json +15 -0
  43. package/examples/trc_adapter/tool_trace_input.example.json +17 -0
  44. package/examples/trc_adapter/typed_trace.example.json +64 -0
  45. package/fixtures/portability_conformance_v050/certificate_abstain.example.json +39 -0
  46. package/fixtures/portability_conformance_v050/closure_report.example.json +39 -0
  47. package/fixtures/portability_conformance_v050/effective_graph.example.json +112 -0
  48. package/fixtures/portability_conformance_v050/executable_paths.example.json +20 -0
  49. package/fixtures/portability_conformance_v050/manifest.json +55 -0
  50. package/fixtures/portability_conformance_v050/phase_lab_event_1.json +51 -0
  51. package/fixtures/portability_conformance_v050/phase_lab_event_2.json +55 -0
  52. package/fixtures/portability_conformance_v050/phase_window_observation.example.json +61 -0
  53. package/fixtures/portability_conformance_v050/runtime_report_1.json +19 -0
  54. package/fixtures/portability_conformance_v050/runtime_report_2.json +14 -0
  55. package/fixtures/portability_conformance_v050/threshold_status.example.json +29 -0
  56. package/fixtures/python_v044_cli/agent_autonomy_audit.json +4 -3
  57. package/fixtures/python_v044_cli/agent_manifest.json +2 -1
  58. package/fixtures/python_v044_cli/agent_runbook.json +2 -1
  59. package/fixtures/python_v044_cli/demo_installed_smoke.json +86 -86
  60. package/fixtures/python_v044_demo/manifest.json +2 -1
  61. package/fixtures/python_v050_cli/alt_capital_impact.json +30 -0
  62. package/fixtures/python_v050_cli/alt_ecpt_lift.json +85 -0
  63. package/fixtures/python_v050_cli/alt_liquidity_to_paths.json +85 -0
  64. package/fixtures/python_v050_cli/alt_receiver_lift.json +15 -0
  65. package/fixtures/python_v050_cli/bit_certificate.json +15 -0
  66. package/fixtures/python_v050_cli/bit_compare_baseline.json +24 -0
  67. package/fixtures/python_v050_cli/bit_diagnose.json +95 -0
  68. package/fixtures/python_v050_cli/bit_invert.json +235 -0
  69. package/fixtures/python_v050_cli/bit_mec.json +18 -0
  70. package/fixtures/python_v050_cli/ecology_effective_graph.json +178 -0
  71. package/fixtures/python_v050_cli/ecology_execution_available_paths.json +88 -0
  72. package/fixtures/python_v050_cli/manifest.json +48 -0
  73. package/fixtures/python_v050_cli/phase_lab_certify.json +443 -0
  74. package/fixtures/python_v050_cli/phase_lab_closure.json +85 -0
  75. package/fixtures/python_v050_cli/phase_lab_compare_window.json +24 -0
  76. package/fixtures/python_v050_cli/phase_lab_executable_paths.json +88 -0
  77. package/fixtures/python_v050_cli/phase_lab_graph.json +178 -0
  78. package/fixtures/python_v050_cli/phase_lab_ingest_1.json +105 -0
  79. package/fixtures/python_v050_cli/phase_lab_ingest_2.json +109 -0
  80. package/fixtures/python_v050_cli/phase_lab_init.json +20 -0
  81. package/fixtures/python_v050_cli/phase_lab_list_windows.json +63 -0
  82. package/fixtures/python_v050_cli/phase_lab_observe.json +108 -0
  83. package/fixtures/python_v050_cli/phase_lab_threshold_status.json +164 -0
  84. package/fixtures/python_v050_cli/sqot_diagnose_queue.json +38 -0
  85. package/fixtures/python_v050_cli/sqot_quarantine.json +7 -0
  86. package/fixtures/python_v050_cli/sqot_rebalance.json +19 -0
  87. package/fixtures/python_v050_cli/sqot_reserve_check.json +20 -0
  88. package/fixtures/python_v050_cli/sqot_salience_obstruction.json +19 -0
  89. package/fixtures/python_v050_cli/trc_action_boundary.json +451 -0
  90. package/fixtures/python_v050_cli/trc_tool_trace.json +221 -0
  91. package/fixtures/python_v050_cli/trc_trace_adapter.json +221 -0
  92. package/fixtures/python_v050_demo/asi_proxy_development.json +15 -0
  93. package/fixtures/python_v050_demo/certificate_abstain.example.json +39 -0
  94. package/fixtures/python_v050_demo/closure_report.example.json +39 -0
  95. package/fixtures/python_v050_demo/effective_graph.example.json +112 -0
  96. package/fixtures/python_v050_demo/executable_paths.example.json +20 -0
  97. package/fixtures/python_v050_demo/phase_window_observation.example.json +61 -0
  98. package/fixtures/python_v050_demo/runtime_report_1.json +19 -0
  99. package/fixtures/python_v050_demo/runtime_report_2.json +14 -0
  100. package/fixtures/python_v050_demo/threshold_status.example.json +29 -0
  101. package/fixtures/python_v050_snapshots/manifest.json +39 -0
  102. package/fixtures/python_v050_snapshots/snapshot_list.json +112 -0
  103. package/fixtures/python_v050_snapshots/snapshot_routes.json +926 -0
  104. package/fixtures/python_v050_snapshots/snapshot_show_alt.json +6830 -0
  105. package/fixtures/python_v050_snapshots/snapshot_show_bit.json +594 -0
  106. package/fixtures/python_v050_snapshots/snapshot_show_ecpt.json +2894 -0
  107. package/fixtures/python_v050_snapshots/snapshot_show_sqot.json +2392 -0
  108. package/fixtures/python_v050_snapshots/snapshot_show_trc.json +3037 -0
  109. package/fixtures/python_v050_snapshots/snapshot_verify_alt.json +10 -0
  110. package/fixtures/python_v050_snapshots/snapshot_verify_bit.json +10 -0
  111. package/fixtures/python_v050_snapshots/snapshot_verify_ecpt.json +10 -0
  112. package/fixtures/python_v050_snapshots/snapshot_verify_sqot.json +10 -0
  113. package/fixtures/python_v050_snapshots/snapshot_verify_trc.json +10 -0
  114. package/package.json +45 -3
  115. package/schemas/ASIProxyThresholdSpec.schema.json +72 -0
  116. package/schemas/ASIProxyThresholdStatus.schema.json +512 -0
  117. package/schemas/ActionBoundaryRequirement.schema.json +28 -0
  118. package/schemas/ActivationGainEstimate.schema.json +41 -0
  119. package/schemas/AltEcptLiftReport.schema.json +400 -0
  120. package/schemas/AltLiftBlocker.schema.json +34 -0
  121. package/schemas/AttentionBudgetLedger.schema.json +41 -0
  122. package/schemas/AutocatalyticClosureReport.schema.json +408 -0
  123. package/schemas/AutocatalyticClosureWitness.schema.json +22 -139
  124. package/schemas/BasinReachabilityProxy.schema.json +21 -0
  125. package/schemas/BottleneckClassDiagnosis.schema.json +115 -0
  126. package/schemas/BottleneckInversionCandidate.schema.json +249 -0
  127. package/schemas/BottleneckInversionReport.schema.json +499 -0
  128. package/schemas/CapabilityExpressionPath.schema.json +45 -0
  129. package/schemas/CapitalToPathContribution.schema.json +53 -0
  130. package/schemas/ClosureAbstentionReason.schema.json +25 -0
  131. package/schemas/ClosureCertificateCandidate.schema.json +109 -0
  132. package/schemas/ClosureDefect.schema.json +28 -0
  133. package/schemas/ClosureSupportHyperpath.schema.json +44 -0
  134. package/schemas/CollectivePhaseAbstentionReport.schema.json +591 -0
  135. package/schemas/CollectivePhaseCertificateCandidate.schema.json +688 -0
  136. package/schemas/CrossContextTransferWitness.schema.json +46 -0
  137. package/schemas/DiagnosticReserveReport.schema.json +87 -0
  138. package/schemas/DownstreamSearchCostDelta.schema.json +46 -0
  139. package/schemas/EcologyAutocatalyticClosureWitness.schema.json +187 -0
  140. package/schemas/EffectiveGraphResidualSummary.schema.json +38 -0
  141. package/schemas/EffectivePacketEdge.schema.json +135 -0
  142. package/schemas/EffectivePacketEligibility.schema.json +84 -0
  143. package/schemas/EffectivePacketGraph.schema.json +461 -0
  144. package/schemas/EffectivePacketGraphBuildReport.schema.json +521 -0
  145. package/schemas/EffectivePacketNode.schema.json +199 -0
  146. package/schemas/ExecutableClosureWitness.schema.json +47 -0
  147. package/schemas/ExecutablePathDensityReport.schema.json +314 -0
  148. package/schemas/ExecutionAuthorityStatus.schema.json +28 -0
  149. package/schemas/ExecutionAvailableHyperpath.schema.json +201 -0
  150. package/schemas/ExecutionPathDefect.schema.json +28 -0
  151. package/schemas/ExecutionPathWitness.schema.json +44 -0
  152. package/schemas/FalseLiquidityLoad.schema.json +21 -0
  153. package/schemas/GeneralIntakePolicy.schema.json +1 -1
  154. package/schemas/InversionCertificate.schema.json +56 -0
  155. package/schemas/LiquidityToClosureContribution.schema.json +53 -0
  156. package/schemas/MinimalEnablingCondition.schema.json +48 -0
  157. package/schemas/PacketContributionStatus.schema.json +32 -0
  158. package/schemas/PacketQuarantineDecision.schema.json +50 -0
  159. package/schemas/PhaseCertificateDefect.schema.json +33 -0
  160. package/schemas/PhaseComponentObservation.schema.json +39 -0
  161. package/schemas/PhaseLabEvent.schema.json +123 -0
  162. package/schemas/PhaseLabExportManifest.schema.json +127 -0
  163. package/schemas/PhaseLabIngestReport.schema.json +344 -0
  164. package/schemas/PhaseLabStoreManifest.schema.json +73 -0
  165. package/schemas/PhaseLabWindowIndex.schema.json +78 -0
  166. package/schemas/PhaseThresholdStatus.schema.json +51 -0
  167. package/schemas/PhaseWindow.schema.json +31 -0
  168. package/schemas/PhaseWindowComparison.schema.json +67 -0
  169. package/schemas/PhaseWindowObservation.schema.json +353 -0
  170. package/schemas/PostInversionAuditPlan.schema.json +38 -0
  171. package/schemas/ProductiveClosureWitness.schema.json +49 -0
  172. package/schemas/ProvenanceManifest.schema.json +1 -1
  173. package/schemas/QueueOccupationReport.schema.json +156 -0
  174. package/schemas/QueueRebalancePlan.schema.json +114 -0
  175. package/schemas/ReceiverContextSupport.schema.json +23 -0
  176. package/schemas/ReceiverLiquidityLift.schema.json +58 -0
  177. package/schemas/ReleaseArtifactManifest.schema.json +1 -1
  178. package/schemas/ReversibleSalienceSovereigntyCertificate.schema.json +53 -0
  179. package/schemas/RollbackOrDeactivationPlan.schema.json +38 -0
  180. package/schemas/SBOMManifest.schema.json +1 -1
  181. package/schemas/SalienceObstructionDiagnosis.schema.json +55 -0
  182. package/schemas/SalienceObstructionLoad.schema.json +21 -0
  183. package/schemas/SemanticEdgeEvidence.schema.json +40 -0
  184. package/schemas/TraceAdapterReport.schema.json +405 -0
  185. package/schemas/TraceFrontierDebt.schema.json +43 -0
  186. package/schemas/TraceNormalForm.schema.json +181 -0
  187. package/schemas/TraceToleranceLedger.schema.json +29 -0
  188. package/schemas/TypedActionBoundary.schema.json +58 -0
  189. package/schemas/TypedAgentTrace.schema.json +328 -0
  190. package/schemas/TypedToolCallTrace.schema.json +76 -0
  191. package/schemas/VerificationQueuePressure.schema.json +41 -0
  192. package/schemas/VerificationThroughputWindow.schema.json +21 -0
  193. package/schemas/WasteLoad.schema.json +21 -0
  194. package/schemas/WebFetchPolicy.schema.json +1 -1
  195. package/schemas/bundle.schema.json +11854 -2075
  196. package/schemas/index.json +445 -0
  197. package/schemas/schema-digest.json +733 -289
package/fixtures/python_v050_cli/trc_action_boundary.json ADDED
@@ -0,0 +1,451 @@
1
+ {
2
+ "accepted": true,
3
+ "action_boundaries": [
4
+ {
5
+ "action_kind": "route-request",
6
+ "authority_explicit": false,
7
+ "boundary_id": "action-boundary:route-request:0",
8
+ "external_result_verified": false,
9
+ "missing_obligations": [
10
+ "domain-authority-obligation",
11
+ "domain-rollback-obligation",
12
+ "physical-or-oracle-result-obligation"
13
+ ],
14
+ "rollback_available": false,
15
+ "scope_bounded": false,
16
+ "settled": false,
17
+ "trace_ids": [
18
+ "route-request:0"
19
+ ]
20
+ },
21
+ {
22
+ "action_kind": "route-request",
23
+ "authority_explicit": false,
24
+ "boundary_id": "action-boundary:route-request:1",
25
+ "external_result_verified": false,
26
+ "missing_obligations": [
27
+ "domain-authority-obligation",
28
+ "domain-rollback-obligation",
29
+ "physical-or-oracle-result-obligation"
30
+ ],
31
+ "rollback_available": false,
32
+ "scope_bounded": false,
33
+ "settled": false,
34
+ "trace_ids": [
35
+ "route-request:1"
36
+ ]
37
+ },
38
+ {
39
+ "action_kind": "route-request",
40
+ "authority_explicit": false,
41
+ "boundary_id": "action-boundary:route-request:2",
42
+ "external_result_verified": false,
43
+ "missing_obligations": [
44
+ "domain-authority-obligation",
45
+ "domain-rollback-obligation",
46
+ "physical-or-oracle-result-obligation"
47
+ ],
48
+ "rollback_available": false,
49
+ "scope_bounded": false,
50
+ "settled": false,
51
+ "trace_ids": [
52
+ "route-request:2"
53
+ ]
54
+ }
55
+ ],
56
+ "content_treated_as_data": true,
57
+ "executed_action_count": 0,
58
+ "frontier_debt": {
59
+ "debt_id": "trace-frontier-debt",
60
+ "missing_domain_obligations": [
61
+ "domain-authority-obligation",
62
+ "domain-rollback-obligation"
63
+ ],
64
+ "missing_oracle_obligations": [
65
+ "physical-or-oracle-result-obligation"
66
+ ],
67
+ "missing_physical_obligations": [
68
+ "physical-or-oracle-result-obligation"
69
+ ],
70
+ "residual_preserved": true,
71
+ "settled": false
72
+ },
73
+ "protocol_relative_only": true,
74
+ "proves_physical_truth": false,
75
+ "reasons": [
76
+ "TRC adapter normalizes observed agent trace data only",
77
+ "external action claims remain residual unless verified"
78
+ ],
79
+ "report_id": "trc-trace-adapter",
80
+ "settled": false,
81
+ "tolerance_ledger": {
82
+ "ledger_id": "trace-tolerance-ledger",
83
+ "residual_charge": 9.0,
84
+ "settled": false,
85
+ "tolerance_coordinates": {
86
+ "missing_authority": 3.0,
87
+ "missing_rollback": 3.0,
88
+ "unverified_external_result": 3.0
89
+ }
90
+ },
91
+ "trace_normal_form": {
92
+ "action_boundaries": [
93
+ {
94
+ "action_kind": "route-request",
95
+ "authority_explicit": false,
96
+ "boundary_id": "action-boundary:route-request:0",
97
+ "external_result_verified": false,
98
+ "missing_obligations": [
99
+ "domain-authority-obligation",
100
+ "domain-rollback-obligation",
101
+ "physical-or-oracle-result-obligation"
102
+ ],
103
+ "rollback_available": false,
104
+ "scope_bounded": false,
105
+ "settled": false,
106
+ "trace_ids": [
107
+ "route-request:0"
108
+ ]
109
+ },
110
+ {
111
+ "action_kind": "route-request",
112
+ "authority_explicit": false,
113
+ "boundary_id": "action-boundary:route-request:1",
114
+ "external_result_verified": false,
115
+ "missing_obligations": [
116
+ "domain-authority-obligation",
117
+ "domain-rollback-obligation",
118
+ "physical-or-oracle-result-obligation"
119
+ ],
120
+ "rollback_available": false,
121
+ "scope_bounded": false,
122
+ "settled": false,
123
+ "trace_ids": [
124
+ "route-request:1"
125
+ ]
126
+ },
127
+ {
128
+ "action_kind": "route-request",
129
+ "authority_explicit": false,
130
+ "boundary_id": "action-boundary:route-request:2",
131
+ "external_result_verified": false,
132
+ "missing_obligations": [
133
+ "domain-authority-obligation",
134
+ "domain-rollback-obligation",
135
+ "physical-or-oracle-result-obligation"
136
+ ],
137
+ "rollback_available": false,
138
+ "scope_bounded": false,
139
+ "settled": false,
140
+ "trace_ids": [
141
+ "route-request:2"
142
+ ]
143
+ }
144
+ ],
145
+ "content_treated_as_data": true,
146
+ "normal_form_id": "runtime-step:runtime-demo:0:runtime-step-1",
147
+ "normalized_word": [
148
+ "route-request",
149
+ "route-request",
150
+ "route-request"
151
+ ],
152
+ "settled": false,
153
+ "tool_calls": [
154
+ {
155
+ "action_kind": "route-request",
156
+ "authority_status": "not-granted",
157
+ "content_treated_as_data": true,
158
+ "evidence_refs": [],
159
+ "execution_success_claim_verified": false,
160
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
161
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
162
+ "receiver": "adapters.domain.verify_ecpt_proxy_target_contract",
163
+ "rollback_status": "unknown",
164
+ "settled": false,
165
+ "source": "agent",
166
+ "tool_name": "adapters.domain.verify_ecpt_proxy_target_contract",
167
+ "trace_id": "route-request:0"
168
+ },
169
+ {
170
+ "action_kind": "route-request",
171
+ "authority_status": "not-granted",
172
+ "content_treated_as_data": true,
173
+ "evidence_refs": [],
174
+ "execution_success_claim_verified": false,
175
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
176
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
177
+ "receiver": "ecpt.adapters.bridge.verify_cross_theory_bridge",
178
+ "rollback_status": "unknown",
179
+ "settled": false,
180
+ "source": "agent",
181
+ "tool_name": "ecpt.adapters.bridge.verify_cross_theory_bridge",
182
+ "trace_id": "route-request:1"
183
+ },
184
+ {
185
+ "action_kind": "route-request",
186
+ "authority_status": "not-granted",
187
+ "content_treated_as_data": true,
188
+ "evidence_refs": [],
189
+ "execution_success_claim_verified": false,
190
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
191
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
192
+ "receiver": "ecpt.adapters.proxy.verify_target_contract",
193
+ "rollback_status": "unknown",
194
+ "settled": false,
195
+ "source": "agent",
196
+ "tool_name": "ecpt.adapters.proxy.verify_target_contract",
197
+ "trace_id": "route-request:2"
198
+ }
199
+ ]
200
+ },
201
+ "typed_trace": {
202
+ "accepted": true,
203
+ "action_boundaries": [
204
+ {
205
+ "action_kind": "route-request",
206
+ "authority_explicit": false,
207
+ "boundary_id": "action-boundary:route-request:0",
208
+ "external_result_verified": false,
209
+ "missing_obligations": [
210
+ "domain-authority-obligation",
211
+ "domain-rollback-obligation",
212
+ "physical-or-oracle-result-obligation"
213
+ ],
214
+ "rollback_available": false,
215
+ "scope_bounded": false,
216
+ "settled": false,
217
+ "trace_ids": [
218
+ "route-request:0"
219
+ ]
220
+ },
221
+ {
222
+ "action_kind": "route-request",
223
+ "authority_explicit": false,
224
+ "boundary_id": "action-boundary:route-request:1",
225
+ "external_result_verified": false,
226
+ "missing_obligations": [
227
+ "domain-authority-obligation",
228
+ "domain-rollback-obligation",
229
+ "physical-or-oracle-result-obligation"
230
+ ],
231
+ "rollback_available": false,
232
+ "scope_bounded": false,
233
+ "settled": false,
234
+ "trace_ids": [
235
+ "route-request:1"
236
+ ]
237
+ },
238
+ {
239
+ "action_kind": "route-request",
240
+ "authority_explicit": false,
241
+ "boundary_id": "action-boundary:route-request:2",
242
+ "external_result_verified": false,
243
+ "missing_obligations": [
244
+ "domain-authority-obligation",
245
+ "domain-rollback-obligation",
246
+ "physical-or-oracle-result-obligation"
247
+ ],
248
+ "rollback_available": false,
249
+ "scope_bounded": false,
250
+ "settled": false,
251
+ "trace_ids": [
252
+ "route-request:2"
253
+ ]
254
+ }
255
+ ],
256
+ "content_treated_as_data": true,
257
+ "frontier_debt": {
258
+ "debt_id": "trace-frontier-debt",
259
+ "missing_domain_obligations": [
260
+ "domain-authority-obligation",
261
+ "domain-rollback-obligation"
262
+ ],
263
+ "missing_oracle_obligations": [
264
+ "physical-or-oracle-result-obligation"
265
+ ],
266
+ "missing_physical_obligations": [
267
+ "physical-or-oracle-result-obligation"
268
+ ],
269
+ "residual_preserved": true,
270
+ "settled": false
271
+ },
272
+ "normal_form": {
273
+ "action_boundaries": [
274
+ {
275
+ "action_kind": "route-request",
276
+ "authority_explicit": false,
277
+ "boundary_id": "action-boundary:route-request:0",
278
+ "external_result_verified": false,
279
+ "missing_obligations": [
280
+ "domain-authority-obligation",
281
+ "domain-rollback-obligation",
282
+ "physical-or-oracle-result-obligation"
283
+ ],
284
+ "rollback_available": false,
285
+ "scope_bounded": false,
286
+ "settled": false,
287
+ "trace_ids": [
288
+ "route-request:0"
289
+ ]
290
+ },
291
+ {
292
+ "action_kind": "route-request",
293
+ "authority_explicit": false,
294
+ "boundary_id": "action-boundary:route-request:1",
295
+ "external_result_verified": false,
296
+ "missing_obligations": [
297
+ "domain-authority-obligation",
298
+ "domain-rollback-obligation",
299
+ "physical-or-oracle-result-obligation"
300
+ ],
301
+ "rollback_available": false,
302
+ "scope_bounded": false,
303
+ "settled": false,
304
+ "trace_ids": [
305
+ "route-request:1"
306
+ ]
307
+ },
308
+ {
309
+ "action_kind": "route-request",
310
+ "authority_explicit": false,
311
+ "boundary_id": "action-boundary:route-request:2",
312
+ "external_result_verified": false,
313
+ "missing_obligations": [
314
+ "domain-authority-obligation",
315
+ "domain-rollback-obligation",
316
+ "physical-or-oracle-result-obligation"
317
+ ],
318
+ "rollback_available": false,
319
+ "scope_bounded": false,
320
+ "settled": false,
321
+ "trace_ids": [
322
+ "route-request:2"
323
+ ]
324
+ }
325
+ ],
326
+ "content_treated_as_data": true,
327
+ "normal_form_id": "runtime-step:runtime-demo:0:runtime-step-1",
328
+ "normalized_word": [
329
+ "route-request",
330
+ "route-request",
331
+ "route-request"
332
+ ],
333
+ "settled": false,
334
+ "tool_calls": [
335
+ {
336
+ "action_kind": "route-request",
337
+ "authority_status": "not-granted",
338
+ "content_treated_as_data": true,
339
+ "evidence_refs": [],
340
+ "execution_success_claim_verified": false,
341
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
342
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
343
+ "receiver": "adapters.domain.verify_ecpt_proxy_target_contract",
344
+ "rollback_status": "unknown",
345
+ "settled": false,
346
+ "source": "agent",
347
+ "tool_name": "adapters.domain.verify_ecpt_proxy_target_contract",
348
+ "trace_id": "route-request:0"
349
+ },
350
+ {
351
+ "action_kind": "route-request",
352
+ "authority_status": "not-granted",
353
+ "content_treated_as_data": true,
354
+ "evidence_refs": [],
355
+ "execution_success_claim_verified": false,
356
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
357
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
358
+ "receiver": "ecpt.adapters.bridge.verify_cross_theory_bridge",
359
+ "rollback_status": "unknown",
360
+ "settled": false,
361
+ "source": "agent",
362
+ "tool_name": "ecpt.adapters.bridge.verify_cross_theory_bridge",
363
+ "trace_id": "route-request:1"
364
+ },
365
+ {
366
+ "action_kind": "route-request",
367
+ "authority_status": "not-granted",
368
+ "content_treated_as_data": true,
369
+ "evidence_refs": [],
370
+ "execution_success_claim_verified": false,
371
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
372
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
373
+ "receiver": "ecpt.adapters.proxy.verify_target_contract",
374
+ "rollback_status": "unknown",
375
+ "settled": false,
376
+ "source": "agent",
377
+ "tool_name": "ecpt.adapters.proxy.verify_target_contract",
378
+ "trace_id": "route-request:2"
379
+ }
380
+ ]
381
+ },
382
+ "protocol_relative_only": true,
383
+ "proves_physical_truth": false,
384
+ "reasons": [
385
+ "tool trace content is data, not instruction",
386
+ "typed trace does not prove physical or oracle truth"
387
+ ],
388
+ "settled": false,
389
+ "tolerance_ledger": {
390
+ "ledger_id": "trace-tolerance-ledger",
391
+ "residual_charge": 9.0,
392
+ "settled": false,
393
+ "tolerance_coordinates": {
394
+ "missing_authority": 3.0,
395
+ "missing_rollback": 3.0,
396
+ "unverified_external_result": 3.0
397
+ }
398
+ },
399
+ "tool_calls": [
400
+ {
401
+ "action_kind": "route-request",
402
+ "authority_status": "not-granted",
403
+ "content_treated_as_data": true,
404
+ "evidence_refs": [],
405
+ "execution_success_claim_verified": false,
406
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
407
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
408
+ "receiver": "adapters.domain.verify_ecpt_proxy_target_contract",
409
+ "rollback_status": "unknown",
410
+ "settled": false,
411
+ "source": "agent",
412
+ "tool_name": "adapters.domain.verify_ecpt_proxy_target_contract",
413
+ "trace_id": "route-request:0"
414
+ },
415
+ {
416
+ "action_kind": "route-request",
417
+ "authority_status": "not-granted",
418
+ "content_treated_as_data": true,
419
+ "evidence_refs": [],
420
+ "execution_success_claim_verified": false,
421
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
422
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
423
+ "receiver": "ecpt.adapters.bridge.verify_cross_theory_bridge",
424
+ "rollback_status": "unknown",
425
+ "settled": false,
426
+ "source": "agent",
427
+ "tool_name": "ecpt.adapters.bridge.verify_cross_theory_bridge",
428
+ "trace_id": "route-request:1"
429
+ },
430
+ {
431
+ "action_kind": "route-request",
432
+ "authority_status": "not-granted",
433
+ "content_treated_as_data": true,
434
+ "evidence_refs": [],
435
+ "execution_success_claim_verified": false,
436
+ "input_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
437
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
438
+ "receiver": "ecpt.adapters.proxy.verify_target_contract",
439
+ "rollback_status": "unknown",
440
+ "settled": false,
441
+ "source": "agent",
442
+ "tool_name": "ecpt.adapters.proxy.verify_target_contract",
443
+ "trace_id": "route-request:2"
444
+ }
445
+ ],
446
+ "trace_id": "runtime-step:runtime-demo:0:runtime-step-1",
447
+ "workflow_usable": true
448
+ },
449
+ "workflow_usable": true
450
+ }
451
+
package/fixtures/python_v050_cli/trc_tool_trace.json ADDED
@@ -0,0 +1,221 @@
1
+ {
2
+ "accepted": true,
3
+ "action_boundaries": [
4
+ {
5
+ "action_kind": "tool-call",
6
+ "authority_explicit": false,
7
+ "boundary_id": "action-boundary:event:tool:1",
8
+ "external_result_verified": false,
9
+ "missing_obligations": [
10
+ "domain-authority-obligation",
11
+ "domain-rollback-obligation",
12
+ "physical-or-oracle-result-obligation"
13
+ ],
14
+ "rollback_available": false,
15
+ "scope_bounded": false,
16
+ "settled": false,
17
+ "trace_ids": [
18
+ "event:tool:1"
19
+ ]
20
+ }
21
+ ],
22
+ "content_treated_as_data": true,
23
+ "executed_action_count": 0,
24
+ "frontier_debt": {
25
+ "debt_id": "trace-frontier-debt",
26
+ "missing_domain_obligations": [
27
+ "domain-authority-obligation",
28
+ "domain-rollback-obligation"
29
+ ],
30
+ "missing_oracle_obligations": [
31
+ "physical-or-oracle-result-obligation"
32
+ ],
33
+ "missing_physical_obligations": [
34
+ "physical-or-oracle-result-obligation"
35
+ ],
36
+ "residual_preserved": true,
37
+ "settled": false
38
+ },
39
+ "protocol_relative_only": true,
40
+ "proves_physical_truth": false,
41
+ "reasons": [
42
+ "TRC adapter normalizes observed agent trace data only",
43
+ "external action claims remain residual unless verified"
44
+ ],
45
+ "report_id": "trc-trace-adapter",
46
+ "settled": false,
47
+ "tolerance_ledger": {
48
+ "ledger_id": "trace-tolerance-ledger",
49
+ "residual_charge": 3.0,
50
+ "settled": false,
51
+ "tolerance_coordinates": {
52
+ "missing_authority": 1.0,
53
+ "missing_rollback": 1.0,
54
+ "unverified_external_result": 1.0
55
+ }
56
+ },
57
+ "trace_normal_form": {
58
+ "action_boundaries": [
59
+ {
60
+ "action_kind": "tool-call",
61
+ "authority_explicit": false,
62
+ "boundary_id": "action-boundary:event:tool:1",
63
+ "external_result_verified": false,
64
+ "missing_obligations": [
65
+ "domain-authority-obligation",
66
+ "domain-rollback-obligation",
67
+ "physical-or-oracle-result-obligation"
68
+ ],
69
+ "rollback_available": false,
70
+ "scope_bounded": false,
71
+ "settled": false,
72
+ "trace_ids": [
73
+ "event:tool:1"
74
+ ]
75
+ }
76
+ ],
77
+ "content_treated_as_data": true,
78
+ "normal_form_id": "typed-tool-trace",
79
+ "normalized_word": [
80
+ "tool-call"
81
+ ],
82
+ "settled": false,
83
+ "tool_calls": [
84
+ {
85
+ "action_kind": "tool-call",
86
+ "authority_status": "not-granted",
87
+ "content_treated_as_data": true,
88
+ "evidence_refs": [],
89
+ "execution_success_claim_verified": false,
90
+ "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
91
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
92
+ "receiver": "example-tool",
93
+ "rollback_status": "unknown",
94
+ "settled": false,
95
+ "source": "agent:demo",
96
+ "tool_name": "example-tool",
97
+ "trace_id": "event:tool:1"
98
+ }
99
+ ]
100
+ },
101
+ "typed_trace": {
102
+ "accepted": true,
103
+ "action_boundaries": [
104
+ {
105
+ "action_kind": "tool-call",
106
+ "authority_explicit": false,
107
+ "boundary_id": "action-boundary:event:tool:1",
108
+ "external_result_verified": false,
109
+ "missing_obligations": [
110
+ "domain-authority-obligation",
111
+ "domain-rollback-obligation",
112
+ "physical-or-oracle-result-obligation"
113
+ ],
114
+ "rollback_available": false,
115
+ "scope_bounded": false,
116
+ "settled": false,
117
+ "trace_ids": [
118
+ "event:tool:1"
119
+ ]
120
+ }
121
+ ],
122
+ "content_treated_as_data": true,
123
+ "frontier_debt": {
124
+ "debt_id": "trace-frontier-debt",
125
+ "missing_domain_obligations": [
126
+ "domain-authority-obligation",
127
+ "domain-rollback-obligation"
128
+ ],
129
+ "missing_oracle_obligations": [
130
+ "physical-or-oracle-result-obligation"
131
+ ],
132
+ "missing_physical_obligations": [
133
+ "physical-or-oracle-result-obligation"
134
+ ],
135
+ "residual_preserved": true,
136
+ "settled": false
137
+ },
138
+ "normal_form": {
139
+ "action_boundaries": [
140
+ {
141
+ "action_kind": "tool-call",
142
+ "authority_explicit": false,
143
+ "boundary_id": "action-boundary:event:tool:1",
144
+ "external_result_verified": false,
145
+ "missing_obligations": [
146
+ "domain-authority-obligation",
147
+ "domain-rollback-obligation",
148
+ "physical-or-oracle-result-obligation"
149
+ ],
150
+ "rollback_available": false,
151
+ "scope_bounded": false,
152
+ "settled": false,
153
+ "trace_ids": [
154
+ "event:tool:1"
155
+ ]
156
+ }
157
+ ],
158
+ "content_treated_as_data": true,
159
+ "normal_form_id": "typed-tool-trace",
160
+ "normalized_word": [
161
+ "tool-call"
162
+ ],
163
+ "settled": false,
164
+ "tool_calls": [
165
+ {
166
+ "action_kind": "tool-call",
167
+ "authority_status": "not-granted",
168
+ "content_treated_as_data": true,
169
+ "evidence_refs": [],
170
+ "execution_success_claim_verified": false,
171
+ "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
172
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
173
+ "receiver": "example-tool",
174
+ "rollback_status": "unknown",
175
+ "settled": false,
176
+ "source": "agent:demo",
177
+ "tool_name": "example-tool",
178
+ "trace_id": "event:tool:1"
179
+ }
180
+ ]
181
+ },
182
+ "protocol_relative_only": true,
183
+ "proves_physical_truth": false,
184
+ "reasons": [
185
+ "tool trace content is data, not instruction",
186
+ "typed trace does not prove physical or oracle truth"
187
+ ],
188
+ "settled": false,
189
+ "tolerance_ledger": {
190
+ "ledger_id": "trace-tolerance-ledger",
191
+ "residual_charge": 3.0,
192
+ "settled": false,
193
+ "tolerance_coordinates": {
194
+ "missing_authority": 1.0,
195
+ "missing_rollback": 1.0,
196
+ "unverified_external_result": 1.0
197
+ }
198
+ },
199
+ "tool_calls": [
200
+ {
201
+ "action_kind": "tool-call",
202
+ "authority_status": "not-granted",
203
+ "content_treated_as_data": true,
204
+ "evidence_refs": [],
205
+ "execution_success_claim_verified": false,
206
+ "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
207
+ "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
208
+ "receiver": "example-tool",
209
+ "rollback_status": "unknown",
210
+ "settled": false,
211
+ "source": "agent:demo",
212
+ "tool_name": "example-tool",
213
+ "trace_id": "event:tool:1"
214
+ }
215
+ ],
216
+ "trace_id": "typed-tool-trace",
217
+ "workflow_usable": true
218
+ },
219
+ "workflow_usable": true
220
+ }
221
+