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