percolation-inversion-compiler-ts 0.4.5 → 0.5.0

package/fixtures/python_v050_cli/phase_lab_certify.json

@@ -0,0 +1,443 @@
+{
+  "abstention_report": {
+    "defects": [
+      {
+        "component": "maximum_residual_debt",
+        "defect_id": "phase-defect:maximum_residual_debt",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for maximum_residual_debt",
+        "residual_preserved": true
+      },
+      {
+        "component": "minimum_accepted_packet_count",
+        "defect_id": "phase-defect:minimum_accepted_packet_count",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for minimum_accepted_packet_count",
+        "residual_preserved": true
+      },
+      {
+        "component": "minimum_closure_witness_count",
+        "defect_id": "phase-defect:minimum_closure_witness_count",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for minimum_closure_witness_count",
+        "residual_preserved": true
+      },
+      {
+        "component": "minimum_effective_edge_count",
+        "defect_id": "phase-defect:minimum_effective_edge_count",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for minimum_effective_edge_count",
+        "residual_preserved": true
+      },
+      {
+        "component": "minimum_execution_available_path_density",
+        "defect_id": "phase-defect:minimum_execution_available_path_density",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for minimum_execution_available_path_density",
+        "residual_preserved": true
+      },
+      {
+        "component": "minimum_verification_throughput",
+        "defect_id": "phase-defect:minimum_verification_throughput",
+        "defect_type": "threshold-component-missing",
+        "required_remediation": "provide finite evidence for minimum_verification_throughput",
+        "residual_preserved": true
+      }
+    ],
+    "protocol_relative_only": true,
+    "proves_real_asi": false,
+    "reasons": [
+      "certificate abstains when finite evidence is missing"
+    ],
+    "report_id": "collective-phase-abstention",
+    "settled": false,
+    "threshold_status": {
+      "abstention_reasons": [
+        "missing finite threshold component: maximum_residual_debt",
+        "missing finite threshold component: minimum_accepted_packet_count",
+        "missing finite threshold component: minimum_closure_witness_count",
+        "missing finite threshold component: minimum_effective_edge_count",
+        "missing finite threshold component: minimum_execution_available_path_density",
+        "missing finite threshold component: minimum_verification_throughput"
+      ],
+      "accepted": false,
+      "certificate_status": "abstain",
+      "component_status": {
+        "maximum_false_liquidity_load": true,
+        "maximum_residual_debt": false,
+        "maximum_salience_obstruction": true,
+        "minimum_accepted_packet_count": false,
+        "minimum_alt_to_ecpt_lift_count": true,
+        "minimum_closure_witness_count": false,
+        "minimum_effective_edge_count": false,
+        "minimum_execution_available_path_density": false,
+        "minimum_verification_throughput": false
+      },
+      "failed_components": [
+        "maximum_residual_debt",
+        "minimum_accepted_packet_count",
+        "minimum_closure_witness_count",
+        "minimum_effective_edge_count",
+        "minimum_execution_available_path_density",
+        "minimum_verification_throughput"
+      ],
+      "observation": {
+        "accepted": true,
+        "accepted_packet_count": 0,
+        "alt_certified_capital_count": 0,
+        "alt_liquidity_candidate_count": 0,
+        "autocatalytic_closure_score": 0.0,
+        "basin_reachability_proxy": {
+          "effective_node_count": 0,
+          "execution_available_path_count": 0,
+          "reachability_proxy": 0.0
+        },
+        "bottleneck_count_by_type": {
+          "candidate-only": 1,
+          "verification-blocked": 1
+        },
+        "candidate_only_packet_count": 1,
+        "closure_witness_count": 0,
+        "components": [
+          {
+            "component": "accepted_packet_count",
+            "diagnostic_only": false,
+            "distance": 0.0,
+            "positive_contribution_source": "effective-graph-only",
+            "threshold": 0.0,
+            "value": 0.0
+          },
+          {
+            "component": "effective_node_count",
+            "diagnostic_only": false,
+            "distance": 0.0,
+            "positive_contribution_source": "effective-graph-only",
+            "threshold": 0.0,
+            "value": 0.0
+          },
+          {
+            "component": "effective_edge_count",
+            "diagnostic_only": false,
+            "distance": 0.0,
+            "positive_contribution_source": "effective-graph-only",
+            "threshold": 0.0,
+            "value": 0.0
+          },
+          {
+            "component": "raw_volume",
+            "diagnostic_only": true,
+            "distance": 0.0,
+            "positive_contribution_source": "effective-graph-only",
+            "threshold": 0.0,
+            "value": 1.0
+          }
+        ],
+        "effective_edge_count": 0,
+        "effective_node_count": 0,
+        "execution_available_path_count": 0,
+        "false_liquidity_load": {
+          "candidate_count": 0,
+          "certified_count": 0,
+          "load": 0.0
+        },
+        "missing_obligation_count": 0,
+        "observation_id": "phase-window-observation",
+        "operationally_usable": false,
+        "packet_candidate_count": 1,
+        "phase_gap_vector": {
+          "closure": 1.0,
+          "effective_edges": 1.0,
+          "effective_nodes": 1.0,
+          "execution_paths": 1.0
+        },
+        "protocol_relative_only": true,
+        "proves_physical_or_oracle_truth": false,
+        "proves_real_asi": false,
+        "raw_external_volume_diagnostic_only": true,
+        "reasons": [
+          "window observation is protocol-relative only",
+          "raw external volume is diagnostic only"
+        ],
+        "residual_debt": 1.0,
+        "salience_obstruction_load": {
+          "blocked_count": 0,
+          "load": 0.0,
+          "total_count": 1
+        },
+        "settled": false,
+        "settled_packet_count": 0,
+        "threshold_distance": 4.0,
+        "verification_throughput": {
+          "accepted_count": 0,
+          "backlog_count": 0,
+          "throughput_ratio": 0.0
+        },
+        "waste_load": {
+          "load": 1.0,
+          "non_contributing_volume": 1,
+          "total_volume": 1
+        },
+        "window": {
+          "event_count": 1,
+          "event_ids": [
+            "phase-lab-event:1:749ba66f5742"
+          ],
+          "sequence": 1,
+          "window_id": "phase-window:0001"
+        },
+        "workflow_usable": true,
+        "workflow_usable_packet_count": 1
+      },
+      "protocol_relative_only": true,
+      "proves_real_asi": false,
+      "reasons": [
+        "threshold status is protocol-relative only",
+        "threshold status does not prove real ASI"
+      ],
+      "rejection_reasons": [],
+      "settled": false,
+      "status_id": "asi-proxy-threshold-status",
+      "threshold": {
+        "maximum_false_liquidity_load": 0.5,
+        "maximum_residual_debt": 0.0,
+        "maximum_salience_obstruction": 0.5,
+        "minimum_accepted_packet_count": 1,
+        "minimum_alt_to_ecpt_lift_count": 0,
+        "minimum_closure_witness_count": 1,
+        "minimum_effective_edge_count": 1,
+        "minimum_execution_available_path_density": 0.1,
+        "minimum_verification_throughput": 0.1,
+        "required_authority_status": "explicit-scope-bounded",
+        "required_identity_mode": "declared",
+        "required_rollback_availability": true,
+        "threshold_id": "asi-proxy-development"
+      },
+      "threshold_distance": 4.2
+    }
+  },
+  "accepted": false,
+  "certificate_id": "collective-phase-certificate-candidate",
+  "certificate_status": "abstain",
+  "defects": [
+    {
+      "component": "maximum_residual_debt",
+      "defect_id": "phase-defect:maximum_residual_debt",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for maximum_residual_debt",
+      "residual_preserved": true
+    },
+    {
+      "component": "minimum_accepted_packet_count",
+      "defect_id": "phase-defect:minimum_accepted_packet_count",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for minimum_accepted_packet_count",
+      "residual_preserved": true
+    },
+    {
+      "component": "minimum_closure_witness_count",
+      "defect_id": "phase-defect:minimum_closure_witness_count",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for minimum_closure_witness_count",
+      "residual_preserved": true
+    },
+    {
+      "component": "minimum_effective_edge_count",
+      "defect_id": "phase-defect:minimum_effective_edge_count",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for minimum_effective_edge_count",
+      "residual_preserved": true
+    },
+    {
+      "component": "minimum_execution_available_path_density",
+      "defect_id": "phase-defect:minimum_execution_available_path_density",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for minimum_execution_available_path_density",
+      "residual_preserved": true
+    },
+    {
+      "component": "minimum_verification_throughput",
+      "defect_id": "phase-defect:minimum_verification_throughput",
+      "defect_type": "threshold-component-missing",
+      "required_remediation": "provide finite evidence for minimum_verification_throughput",
+      "residual_preserved": true
+    }
+  ],
+  "finite_requirements_passed": false,
+  "graph_id": "effective-graph:phase-window:0001",
+  "observation_id": "phase-window-observation",
+  "operationally_usable": false,
+  "protocol_relative_only": true,
+  "proves_physical_or_oracle_truth": false,
+  "proves_real_asi": false,
+  "reasons": [
+    "certificate candidate is protocol-relative only",
+    "certificate candidate does not prove real ASI",
+    "certificate candidate does not settle diagnostic reports"
+  ],
+  "settled": false,
+  "threshold_status": {
+    "abstention_reasons": [
+      "missing finite threshold component: maximum_residual_debt",
+      "missing finite threshold component: minimum_accepted_packet_count",
+      "missing finite threshold component: minimum_closure_witness_count",
+      "missing finite threshold component: minimum_effective_edge_count",
+      "missing finite threshold component: minimum_execution_available_path_density",
+      "missing finite threshold component: minimum_verification_throughput"
+    ],
+    "accepted": false,
+    "certificate_status": "abstain",
+    "component_status": {
+      "maximum_false_liquidity_load": true,
+      "maximum_residual_debt": false,
+      "maximum_salience_obstruction": true,
+      "minimum_accepted_packet_count": false,
+      "minimum_alt_to_ecpt_lift_count": true,
+      "minimum_closure_witness_count": false,
+      "minimum_effective_edge_count": false,
+      "minimum_execution_available_path_density": false,
+      "minimum_verification_throughput": false
+    },
+    "failed_components": [
+      "maximum_residual_debt",
+      "minimum_accepted_packet_count",
+      "minimum_closure_witness_count",
+      "minimum_effective_edge_count",
+      "minimum_execution_available_path_density",
+      "minimum_verification_throughput"
+    ],
+    "observation": {
+      "accepted": true,
+      "accepted_packet_count": 0,
+      "alt_certified_capital_count": 0,
+      "alt_liquidity_candidate_count": 0,
+      "autocatalytic_closure_score": 0.0,
+      "basin_reachability_proxy": {
+        "effective_node_count": 0,
+        "execution_available_path_count": 0,
+        "reachability_proxy": 0.0
+      },
+      "bottleneck_count_by_type": {
+        "candidate-only": 1,
+        "verification-blocked": 1
+      },
+      "candidate_only_packet_count": 1,
+      "closure_witness_count": 0,
+      "components": [
+        {
+          "component": "accepted_packet_count",
+          "diagnostic_only": false,
+          "distance": 0.0,
+          "positive_contribution_source": "effective-graph-only",
+          "threshold": 0.0,
+          "value": 0.0
+        },
+        {
+          "component": "effective_node_count",
+          "diagnostic_only": false,
+          "distance": 0.0,
+          "positive_contribution_source": "effective-graph-only",
+          "threshold": 0.0,
+          "value": 0.0
+        },
+        {
+          "component": "effective_edge_count",
+          "diagnostic_only": false,
+          "distance": 0.0,
+          "positive_contribution_source": "effective-graph-only",
+          "threshold": 0.0,
+          "value": 0.0
+        },
+        {
+          "component": "raw_volume",
+          "diagnostic_only": true,
+          "distance": 0.0,
+          "positive_contribution_source": "effective-graph-only",
+          "threshold": 0.0,
+          "value": 1.0
+        }
+      ],
+      "effective_edge_count": 0,
+      "effective_node_count": 0,
+      "execution_available_path_count": 0,
+      "false_liquidity_load": {
+        "candidate_count": 0,
+        "certified_count": 0,
+        "load": 0.0
+      },
+      "missing_obligation_count": 0,
+      "observation_id": "phase-window-observation",
+      "operationally_usable": false,
+      "packet_candidate_count": 1,
+      "phase_gap_vector": {
+        "closure": 1.0,
+        "effective_edges": 1.0,
+        "effective_nodes": 1.0,
+        "execution_paths": 1.0
+      },
+      "protocol_relative_only": true,
+      "proves_physical_or_oracle_truth": false,
+      "proves_real_asi": false,
+      "raw_external_volume_diagnostic_only": true,
+      "reasons": [
+        "window observation is protocol-relative only",
+        "raw external volume is diagnostic only"
+      ],
+      "residual_debt": 1.0,
+      "salience_obstruction_load": {
+        "blocked_count": 0,
+        "load": 0.0,
+        "total_count": 1
+      },
+      "settled": false,
+      "settled_packet_count": 0,
+      "threshold_distance": 4.0,
+      "verification_throughput": {
+        "accepted_count": 0,
+        "backlog_count": 0,
+        "throughput_ratio": 0.0
+      },
+      "waste_load": {
+        "load": 1.0,
+        "non_contributing_volume": 1,
+        "total_volume": 1
+      },
+      "window": {
+        "event_count": 1,
+        "event_ids": [
+          "phase-lab-event:1:749ba66f5742"
+        ],
+        "sequence": 1,
+        "window_id": "phase-window:0001"
+      },
+      "workflow_usable": true,
+      "workflow_usable_packet_count": 1
+    },
+    "protocol_relative_only": true,
+    "proves_real_asi": false,
+    "reasons": [
+      "threshold status is protocol-relative only",
+      "threshold status does not prove real ASI"
+    ],
+    "rejection_reasons": [],
+    "settled": false,
+    "status_id": "asi-proxy-threshold-status",
+    "threshold": {
+      "maximum_false_liquidity_load": 0.5,
+      "maximum_residual_debt": 0.0,
+      "maximum_salience_obstruction": 0.5,
+      "minimum_accepted_packet_count": 1,
+      "minimum_alt_to_ecpt_lift_count": 0,
+      "minimum_closure_witness_count": 1,
+      "minimum_effective_edge_count": 1,
+      "minimum_execution_available_path_density": 0.1,
+      "minimum_verification_throughput": 0.1,
+      "required_authority_status": "explicit-scope-bounded",
+      "required_identity_mode": "declared",
+      "required_rollback_availability": true,
+      "threshold_id": "asi-proxy-development"
+    },
+    "threshold_distance": 4.2
+  },
+  "workflow_usable": true
+}
+

package/fixtures/python_v050_cli/phase_lab_closure.json

@@ -0,0 +1,85 @@
+{
+  "accepted": true,
+  "certificate_candidate": {
+    "abstention_reasons": [],
+    "accepted": true,
+    "certificate_id": "closure-certificate-candidate",
+    "certificate_status": "candidate",
+    "defects": [],
+    "reasons": [
+      "closure candidate is not automatically settled",
+      "candidate-only cycles do not count"
+    ],
+    "settled": false,
+    "witness_ids": [
+      "closure-witness:edge:self-alpha"
+    ]
+  },
+  "closure_score": 0.5,
+  "closure_witnesses": [
+    {
+      "accepted": true,
+      "edge_ids": [
+        "edge:self-alpha"
+      ],
+      "evidence_supported": true,
+      "execution_available": false,
+      "packet_ids": [
+        "node:a0e7926edd1c"
+      ],
+      "productive": true,
+      "protocol_relative_only": true,
+      "reasons": [
+        "witness is evidence-supported within the effective graph",
+        "witness remains diagnostic until finite threshold checks pass"
+      ],
+      "settled": false,
+      "witness_id": "closure-witness:edge:self-alpha",
+      "witness_kind": "autocatalytic-closure"
+    }
+  ],
+  "defects": [],
+  "executable_witnesses": [],
+  "graph_id": "effective-graph:all",
+  "operationally_usable": true,
+  "productive_witnesses": [
+    {
+      "accepted": true,
+      "packet_ids": [
+        "node:a0e7926edd1c"
+      ],
+      "productive_edge_ids": [
+        "edge:self-alpha"
+      ],
+      "productivity_lower_bound": 0.1,
+      "reasons": [
+        "self-supporting evidence edge is productive in declared scope"
+      ],
+      "settled": false,
+      "witness_id": "productive:edge:self-alpha"
+    }
+  ],
+  "reasons": [
+    "closure detection does not execute or settle paths"
+  ],
+  "report_id": "autocatalytic-closure-report",
+  "settled": false,
+  "support_hyperpaths": [
+    {
+      "accepted": true,
+      "edge_ids": [
+        "edge:self-alpha"
+      ],
+      "hyperpath_id": "closure-hyperpath:edge:self-alpha",
+      "settled": false,
+      "source_packet_ids": [
+        "node:a0e7926edd1c"
+      ],
+      "target_packet_ids": [
+        "node:a0e7926edd1c"
+      ]
+    }
+  ],
+  "workflow_usable": true
+}
+

package/fixtures/python_v050_cli/phase_lab_compare_window.json

@@ -0,0 +1,24 @@
+{
+  "accepted": true,
+  "baseline_window_id": "phase-window:0000",
+  "candidate_window_id": "phase-window:0001",
+  "comparison_id": "phase-window-comparison",
+  "diagnostic_only_components": [
+    "packet_candidate_count",
+    "raw_volume"
+  ],
+  "metric_delta": {
+    "closure_witness_count": -1.0,
+    "effective_edge_count": -1.0,
+    "effective_node_count": -1.0,
+    "execution_available_path_count": -1.0,
+    "residual_debt": 1.0
+  },
+  "positive_progress_components": [],
+  "reasons": [
+    "comparison preserves protocol-relative diagnostic status"
+  ],
+  "settled": false,
+  "workflow_usable": true
+}
+

package/fixtures/python_v050_cli/phase_lab_executable_paths.json

@@ -0,0 +1,88 @@
+{
+  "accepted": true,
+  "accepted_path_count": 1,
+  "authority_requirements": [
+    "authority:edge:self-alpha"
+  ],
+  "blocked_path_count": 0,
+  "blocker_reason_by_path": {},
+  "candidate_only_path_count": 0,
+  "executed_path_count": 0,
+  "graph_id": "effective-graph:all",
+  "operationally_usable": true,
+  "path_count": 1,
+  "path_density": 0.5,
+  "paths": [
+    {
+      "accepted": true,
+      "action_boundary_requirements": [
+        {
+          "requirement_id": "authority:edge:self-alpha",
+          "requirement_type": "authority",
+          "residual": "",
+          "satisfied": true
+        },
+        {
+          "requirement_id": "rollback:edge:self-alpha",
+          "requirement_type": "rollback",
+          "residual": "",
+          "satisfied": true
+        }
+      ],
+      "authority_status": {
+        "authority_status": "explicit-scope-bounded",
+        "explicit_scope_bounded": true,
+        "grants_execution": false,
+        "reasons": [
+          "execution path report never grants execution authority"
+        ]
+      },
+      "blocked": false,
+      "candidate_only": false,
+      "edge_ids": [
+        "edge:self-alpha"
+      ],
+      "not_executed": true,
+      "packet_ids": [
+        "node:a0e7926edd1c"
+      ],
+      "path_id": "execution-path:edge:self-alpha",
+      "reasons": [
+        "execution path is available as a finite diagnostic witness"
+      ],
+      "receiver_context": {
+        "evidence_refs": [
+          "evidence:alpha"
+        ],
+        "present": true,
+        "receiver_context_id": "receiver:node:a0e7926edd1c"
+      },
+      "settled": false,
+      "witness": {
+        "accepted": true,
+        "edge_ids": [
+          "edge:self-alpha"
+        ],
+        "packet_ids": [
+          "node:a0e7926edd1c"
+        ],
+        "reasons": [],
+        "settled": false,
+        "witness_id": "execution-witness:edge:self-alpha"
+      }
+    }
+  ],
+  "reasons": [
+    "execution-available path detection never executes paths"
+  ],
+  "report_id": "execution-available-path-density",
+  "residual_carry_forward": [
+    "execution path is available as a finite diagnostic witness"
+  ],
+  "rollback_requirements": [
+    "rollback:edge:self-alpha"
+  ],
+  "settled": false,
+  "workflow_usable": true
+}
+