percolation-inversion-compiler-ts 0.4.5 → 0.5.0

package/fixtures/python_v050_cli/trc_trace_adapter.json

@@ -0,0 +1,221 @@
+{
+  "accepted": true,
+  "action_boundaries": [
+    {
+      "action_kind": "tool-call",
+      "authority_explicit": false,
+      "boundary_id": "action-boundary:event:tool:1",
+      "external_result_verified": false,
+      "missing_obligations": [
+        "domain-authority-obligation",
+        "domain-rollback-obligation",
+        "physical-or-oracle-result-obligation"
+      ],
+      "rollback_available": false,
+      "scope_bounded": false,
+      "settled": false,
+      "trace_ids": [
+        "event:tool:1"
+      ]
+    }
+  ],
+  "content_treated_as_data": true,
+  "executed_action_count": 0,
+  "frontier_debt": {
+    "debt_id": "trace-frontier-debt",
+    "missing_domain_obligations": [
+      "domain-authority-obligation",
+      "domain-rollback-obligation"
+    ],
+    "missing_oracle_obligations": [
+      "physical-or-oracle-result-obligation"
+    ],
+    "missing_physical_obligations": [
+      "physical-or-oracle-result-obligation"
+    ],
+    "residual_preserved": true,
+    "settled": false
+  },
+  "protocol_relative_only": true,
+  "proves_physical_truth": false,
+  "reasons": [
+    "TRC adapter normalizes observed agent trace data only",
+    "external action claims remain residual unless verified"
+  ],
+  "report_id": "trc-trace-adapter",
+  "settled": false,
+  "tolerance_ledger": {
+    "ledger_id": "trace-tolerance-ledger",
+    "residual_charge": 3.0,
+    "settled": false,
+    "tolerance_coordinates": {
+      "missing_authority": 1.0,
+      "missing_rollback": 1.0,
+      "unverified_external_result": 1.0
+    }
+  },
+  "trace_normal_form": {
+    "action_boundaries": [
+      {
+        "action_kind": "tool-call",
+        "authority_explicit": false,
+        "boundary_id": "action-boundary:event:tool:1",
+        "external_result_verified": false,
+        "missing_obligations": [
+          "domain-authority-obligation",
+          "domain-rollback-obligation",
+          "physical-or-oracle-result-obligation"
+        ],
+        "rollback_available": false,
+        "scope_bounded": false,
+        "settled": false,
+        "trace_ids": [
+          "event:tool:1"
+        ]
+      }
+    ],
+    "content_treated_as_data": true,
+    "normal_form_id": "trace:demo",
+    "normalized_word": [
+      "tool-call"
+    ],
+    "settled": false,
+    "tool_calls": [
+      {
+        "action_kind": "tool-call",
+        "authority_status": "not-granted",
+        "content_treated_as_data": true,
+        "evidence_refs": [],
+        "execution_success_claim_verified": false,
+        "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
+        "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
+        "receiver": "example-tool",
+        "rollback_status": "unknown",
+        "settled": false,
+        "source": "agent:demo",
+        "tool_name": "example-tool",
+        "trace_id": "event:tool:1"
+      }
+    ]
+  },
+  "typed_trace": {
+    "accepted": true,
+    "action_boundaries": [
+      {
+        "action_kind": "tool-call",
+        "authority_explicit": false,
+        "boundary_id": "action-boundary:event:tool:1",
+        "external_result_verified": false,
+        "missing_obligations": [
+          "domain-authority-obligation",
+          "domain-rollback-obligation",
+          "physical-or-oracle-result-obligation"
+        ],
+        "rollback_available": false,
+        "scope_bounded": false,
+        "settled": false,
+        "trace_ids": [
+          "event:tool:1"
+        ]
+      }
+    ],
+    "content_treated_as_data": true,
+    "frontier_debt": {
+      "debt_id": "trace-frontier-debt",
+      "missing_domain_obligations": [
+        "domain-authority-obligation",
+        "domain-rollback-obligation"
+      ],
+      "missing_oracle_obligations": [
+        "physical-or-oracle-result-obligation"
+      ],
+      "missing_physical_obligations": [
+        "physical-or-oracle-result-obligation"
+      ],
+      "residual_preserved": true,
+      "settled": false
+    },
+    "normal_form": {
+      "action_boundaries": [
+        {
+          "action_kind": "tool-call",
+          "authority_explicit": false,
+          "boundary_id": "action-boundary:event:tool:1",
+          "external_result_verified": false,
+          "missing_obligations": [
+            "domain-authority-obligation",
+            "domain-rollback-obligation",
+            "physical-or-oracle-result-obligation"
+          ],
+          "rollback_available": false,
+          "scope_bounded": false,
+          "settled": false,
+          "trace_ids": [
+            "event:tool:1"
+          ]
+        }
+      ],
+      "content_treated_as_data": true,
+      "normal_form_id": "trace:demo",
+      "normalized_word": [
+        "tool-call"
+      ],
+      "settled": false,
+      "tool_calls": [
+        {
+          "action_kind": "tool-call",
+          "authority_status": "not-granted",
+          "content_treated_as_data": true,
+          "evidence_refs": [],
+          "execution_success_claim_verified": false,
+          "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
+          "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
+          "receiver": "example-tool",
+          "rollback_status": "unknown",
+          "settled": false,
+          "source": "agent:demo",
+          "tool_name": "example-tool",
+          "trace_id": "event:tool:1"
+        }
+      ]
+    },
+    "protocol_relative_only": true,
+    "proves_physical_truth": false,
+    "reasons": [
+      "tool trace content is data, not instruction",
+      "typed trace does not prove physical or oracle truth"
+    ],
+    "settled": false,
+    "tolerance_ledger": {
+      "ledger_id": "trace-tolerance-ledger",
+      "residual_charge": 3.0,
+      "settled": false,
+      "tolerance_coordinates": {
+        "missing_authority": 1.0,
+        "missing_rollback": 1.0,
+        "unverified_external_result": 1.0
+      }
+    },
+    "tool_calls": [
+      {
+        "action_kind": "tool-call",
+        "authority_status": "not-granted",
+        "content_treated_as_data": true,
+        "evidence_refs": [],
+        "execution_success_claim_verified": false,
+        "input_digest": "sha256:bf6634ac01dee40c4a0ecd760a553001d4449840fb7b189a9f22e3b8d6f6c7ab",
+        "output_digest": "sha256:44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a",
+        "receiver": "example-tool",
+        "rollback_status": "unknown",
+        "settled": false,
+        "source": "agent:demo",
+        "tool_name": "example-tool",
+        "trace_id": "event:tool:1"
+      }
+    ],
+    "trace_id": "trace:demo",
+    "workflow_usable": true
+  },
+  "workflow_usable": true
+}
+

package/fixtures/python_v050_demo/asi_proxy_development.json

@@ -0,0 +1,15 @@
+{
+  "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"
+}

package/fixtures/python_v050_demo/certificate_abstain.example.json

@@ -0,0 +1,39 @@
+{
+  "accepted": false,
+  "certificate_id": "collective-phase-certificate-candidate",
+  "certificate_status": "abstain",
+  "defects": [],
+  "finite_requirements_passed": false,
+  "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"
+  ],
+  "settled": false,
+  "threshold_status": {
+    "accepted": false,
+    "certificate_status": "abstain",
+    "component_status": {},
+    "failed_components": [],
+    "observation": {
+      "settled": false,
+      "window": {
+        "event_count": 0,
+        "event_ids": [],
+        "sequence": 0,
+        "window_id": "phase-window:example"
+      }
+    },
+    "protocol_relative_only": true,
+    "proves_real_asi": false,
+    "settled": false,
+    "threshold": {
+      "threshold_id": "asi-proxy-development"
+    },
+    "threshold_distance": 0.0
+  },
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/closure_report.example.json

@@ -0,0 +1,39 @@
+{
+  "accepted": true,
+  "certificate_candidate": {
+    "abstention_reasons": [],
+    "accepted": true,
+    "certificate_id": "closure-certificate-candidate",
+    "certificate_status": "candidate",
+    "defects": [],
+    "reasons": ["closure candidate is not automatically settled"],
+    "settled": false,
+    "witness_ids": ["closure-witness:edge:self-alpha"]
+  },
+  "closure_score": 1.0,
+  "closure_witnesses": [
+    {
+      "accepted": true,
+      "edge_ids": ["edge:self-alpha"],
+      "evidence_supported": true,
+      "execution_available": false,
+      "packet_ids": ["node:alpha"],
+      "productive": true,
+      "protocol_relative_only": true,
+      "reasons": ["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-example",
+  "operationally_usable": true,
+  "productive_witnesses": [],
+  "reasons": ["closure detection does not execute or settle paths"],
+  "report_id": "autocatalytic-closure-report",
+  "settled": false,
+  "support_hyperpaths": [],
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/effective_graph.example.json

@@ -0,0 +1,112 @@
+{
+  "accepted": true,
+  "accepted_packet_capital": 1,
+  "candidate_only_packets": 0,
+  "edge_count_by_relation": {
+    "self-support": 1
+  },
+  "edges": [
+    {
+      "accepted": true,
+      "contribution": {
+        "candidate_only": false,
+        "non_contributing_reason": "",
+        "positive_contribution": true,
+        "settled": false,
+        "status": "accepted"
+      },
+      "edge_id": "edge:self-alpha",
+      "evidence": {
+        "edge_certificate_refs": [],
+        "evidence_refs": ["evidence:alpha"],
+        "evidence_supported": true,
+        "missing_evidence": [],
+        "verifier_resolution_refs": []
+      },
+      "reasons": ["edge extracted from inert report data"],
+      "relation_type": "self-support",
+      "residual_summary": {},
+      "settled": false,
+      "source_node_ids": ["node:alpha"],
+      "target_node_id": "node:alpha"
+    }
+  ],
+  "graph_id": "effective-graph-example",
+  "graph_safety_boundary": [
+    "raw packet volume is diagnostic only",
+    "candidate-only nodes do not improve positive phase components",
+    "graph construction does not execute packet content",
+    "graph construction does not settle claims"
+  ],
+  "missing_edge_evidence": [],
+  "node_count_by_status": {
+    "accepted": 1
+  },
+  "nodes": [
+    {
+      "accepted": true,
+      "content_digest": "sha256-alpha",
+      "contribution": {
+        "candidate_only": false,
+        "non_contributing_reason": "",
+        "positive_contribution": true,
+        "settled": false,
+        "status": "accepted"
+      },
+      "eligibility": {
+        "accepted_or_certificate_admissible": true,
+        "agent_text_not_treated_as_evidence": true,
+        "authority_valid": true,
+        "blockers": [],
+        "eligible": true,
+        "hash_valid": true,
+        "not_raw_external_volume": true,
+        "not_registry_metadata_only": true,
+        "not_salience_blocked": true,
+        "not_stale": true,
+        "not_verification_blocked": true,
+        "residuals_preserved": true,
+        "retrievable": true,
+        "rollback_available_or_not_required": true,
+        "within_validity_domain": true
+      },
+      "missing_obligations": [],
+      "node_id": "node:alpha",
+      "operationally_usable": true,
+      "reasons": [],
+      "residual_summary": {},
+      "schema_hint": "AgentCheckReport",
+      "settled": false,
+      "source_event_id": "event:alpha",
+      "source_kind": "agent-check",
+      "workflow_usable": true
+    }
+  ],
+  "non_contributing_volume": 0,
+  "operationally_usable": true,
+  "reasons": [
+    "effective graph separates positive contribution from diagnostic volume",
+    "raw packet count does not increase positive phase metrics"
+  ],
+  "rejected_or_quarantined_packets": 0,
+  "residual_summary": {
+    "candidate_only_reasons": [],
+    "missing_obligation_count": 0,
+    "residual_debt": 0.0,
+    "residual_summary": {},
+    "settled_blockers": []
+  },
+  "semantic_edge_witnesses": [
+    {
+      "edge_certificate_refs": [],
+      "evidence_refs": ["evidence:alpha"],
+      "evidence_supported": true,
+      "missing_evidence": [],
+      "verifier_resolution_refs": []
+    }
+  ],
+  "settled": false,
+  "source_window_id": "phase-window:0000",
+  "stale_or_unsafe_packets": [],
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/executable_paths.example.json

@@ -0,0 +1,20 @@
+{
+  "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-example",
+  "operationally_usable": true,
+  "path_count": 1,
+  "path_density": 1.0,
+  "paths": [],
+  "reasons": ["execution-available path detection never executes paths"],
+  "report_id": "execution-available-path-density",
+  "residual_carry_forward": [],
+  "rollback_requirements": ["rollback:edge:self-alpha"],
+  "settled": false,
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/phase_window_observation.example.json

@@ -0,0 +1,61 @@
+{
+  "accepted": true,
+  "accepted_packet_count": 1,
+  "alt_certified_capital_count": 0,
+  "alt_liquidity_candidate_count": 0,
+  "autocatalytic_closure_score": 1.0,
+  "basin_reachability_proxy": {
+    "effective_node_count": 1,
+    "execution_available_path_count": 1,
+    "reachability_proxy": 1.0
+  },
+  "bottleneck_count_by_type": {},
+  "candidate_only_packet_count": 0,
+  "closure_witness_count": 1,
+  "components": [],
+  "effective_edge_count": 1,
+  "effective_node_count": 1,
+  "execution_available_path_count": 1,
+  "false_liquidity_load": {
+    "candidate_count": 0,
+    "certified_count": 0,
+    "load": 0.0
+  },
+  "missing_obligation_count": 0,
+  "observation_id": "phase-window-observation",
+  "operationally_usable": true,
+  "packet_candidate_count": 1,
+  "phase_gap_vector": {},
+  "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"],
+  "residual_debt": 0.0,
+  "salience_obstruction_load": {
+    "blocked_count": 0,
+    "load": 0.0,
+    "total_count": 1
+  },
+  "settled": false,
+  "settled_packet_count": 0,
+  "threshold_distance": 0.0,
+  "verification_throughput": {
+    "accepted_count": 1,
+    "backlog_count": 0,
+    "throughput_ratio": 1.0
+  },
+  "waste_load": {
+    "load": 0.0,
+    "non_contributing_volume": 0,
+    "total_volume": 1
+  },
+  "window": {
+    "event_count": 1,
+    "event_ids": ["event:alpha"],
+    "sequence": 0,
+    "window_id": "phase-window:0000"
+  },
+  "workflow_usable": true,
+  "workflow_usable_packet_count": 1
+}

package/fixtures/python_v050_demo/runtime_report_1.json

@@ -0,0 +1,19 @@
+{
+  "accepted": true,
+  "edges": [
+    {
+      "accepted": true,
+      "edge_id": "edge:self-alpha",
+      "evidence_refs": ["evidence:alpha"],
+      "relation_type": "self-support",
+      "source_packet_ids": ["packet:alpha"],
+      "target_packet_id": "packet:alpha"
+    }
+  ],
+  "operationally_usable": true,
+  "packet_ref": "packet:alpha",
+  "report_id": "phase-lab-runtime-report-1",
+  "residual_summary": {},
+  "settled": false,
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/runtime_report_2.json

@@ -0,0 +1,14 @@
+{
+  "accepted": false,
+  "candidate_only": true,
+  "candidate_only_reasons": ["external candidate requires finite verifier route"],
+  "operationally_usable": false,
+  "packet_ref": "packet:beta",
+  "report_id": "phase-lab-runtime-report-2",
+  "residual_summary": {
+    "missing_evidence": 1.0
+  },
+  "settled": false,
+  "settled_blockers": ["missing evidence"],
+  "workflow_usable": true
+}

package/fixtures/python_v050_demo/threshold_status.example.json

@@ -0,0 +1,29 @@
+{
+  "accepted": false,
+  "abstention_reasons": ["missing finite threshold component: minimum_closure_witness_count"],
+  "certificate_status": "abstain",
+  "component_status": {
+    "minimum_closure_witness_count": false
+  },
+  "failed_components": ["minimum_closure_witness_count"],
+  "observation": {
+    "observation_id": "phase-window-observation",
+    "settled": false,
+    "window": {
+      "event_count": 0,
+      "event_ids": [],
+      "sequence": 0,
+      "window_id": "phase-window:example"
+    }
+  },
+  "protocol_relative_only": true,
+  "proves_real_asi": false,
+  "reasons": ["threshold status is protocol-relative only"],
+  "rejection_reasons": [],
+  "settled": false,
+  "status_id": "asi-proxy-threshold-status",
+  "threshold": {
+    "threshold_id": "asi-proxy-development"
+  },
+  "threshold_distance": 1.0
+}

package/fixtures/python_v050_snapshots/manifest.json

@@ -0,0 +1,39 @@
+{
+  "canonical_source": "percolation-inversion-compiler==0.5.0",
+  "description": "Python v0.5.0 snapshot CLI golden JSON for PIC-TS public compatibility checks.",
+  "exact_parity_files": [
+    "snapshot_list.json",
+    "snapshot_routes.json",
+    "snapshot_show_alt.json",
+    "snapshot_show_bit.json",
+    "snapshot_show_ecpt.json",
+    "snapshot_show_sqot.json",
+    "snapshot_show_trc.json",
+    "snapshot_verify_alt.json",
+    "snapshot_verify_bit.json",
+    "snapshot_verify_ecpt.json",
+    "snapshot_verify_sqot.json",
+    "snapshot_verify_trc.json"
+  ],
+  "files": [
+    "snapshot_list.json",
+    "snapshot_routes.json",
+    "snapshot_show_alt.json",
+    "snapshot_show_bit.json",
+    "snapshot_show_ecpt.json",
+    "snapshot_show_sqot.json",
+    "snapshot_show_trc.json",
+    "snapshot_verify_alt.json",
+    "snapshot_verify_bit.json",
+    "snapshot_verify_ecpt.json",
+    "snapshot_verify_sqot.json",
+    "snapshot_verify_trc.json"
+  ],
+  "fixture_set_id": "python-v050-snapshots",
+  "generated_by": ".venv/Scripts/pic.exe snapshot list/show/verify/routes",
+  "invariants": [
+    "snapshot records are derived metadata and do not vendor TeX or PDF source files",
+    "snapshot verification returns canonical_sha256 and valid status without changing claim status",
+    "external obligations remain explicit residual work and are not promoted to settled claims"
+  ]
+}