percolation-inversion-compiler-ts 0.4.4

package/fixtures/portability_conformance/agent_message_delivery_report.json

@@ -0,0 +1,124 @@
+{
+  "accepted": true,
+  "action": "send",
+  "candidate_only": true,
+  "candidate_packet_ids": [
+    "packet:agent-message:agent-message:bbe9ff00252f"
+  ],
+  "delivered_message_ids": [
+    "agent-message:bbe9ff00252f"
+  ],
+  "exchange_reports": [
+    {
+      "accepted": true,
+      "candidate_packet_ids": [
+        "packet:agent-message:agent-message:bbe9ff00252f"
+      ],
+      "consumed_nonces": [
+        "nonce-portability-1"
+      ],
+      "identity_reasons": [],
+      "identity_status": "not-required",
+      "identity_verified": false,
+      "message_contract_valid": true,
+      "message_id": "agent-message:bbe9ff00252f",
+      "next_safe_commands": [
+        "uv run pic agent message contract --message <message.json>",
+        "uv run pic ecology bridge-runtime --report <general-intake-report.json>"
+      ],
+      "nonce_ledger": {
+        "accepted": true,
+        "consumed_nonces": [
+          "nonce-portability-1"
+        ],
+        "ledger_id": "agent-message-nonce-ledger",
+        "reasons": [],
+        "rejected_message_ids": [],
+        "replayed_nonces": []
+      },
+      "nonce_status": "consumed",
+      "packets": [
+        {
+          "authority_granted": true,
+          "authority_required": false,
+          "claim": "Portability relay packet: preserve residuals.",
+          "content_sha256": "bbe9ff00252faac0d01996b1ccb77a0b91762ea8f0849ca29d48b10f436a9488",
+          "dependencies": [],
+          "evidence_hash_valid": true,
+          "evidence_refs": [
+            "agent-message:agent-message:bbe9ff00252f",
+            "sha256:bbe9ff00252faac0d01996b1ccb77a0b91762ea8f0849ca29d48b10f436a9488"
+          ],
+          "expected_downstream_gain": 0.00625,
+          "expires_at": null,
+          "freshness": 1.0,
+          "hazard_charge": 0.0,
+          "identity_contribution_status": "provisional",
+          "issuer_agent_id": "agent:port",
+          "issuer_attestation_id": null,
+          "issuer_public_key_id": null,
+          "issuer_signature_ref": null,
+          "packet_id": "packet:agent-message:agent-message:bbe9ff00252f",
+          "receiver_family": [
+            "agent",
+            "verifier"
+          ],
+          "residual_charge": 0.0,
+          "reuse_context": "general",
+          "rollback_available": true,
+          "route_safe": true,
+          "salience_class": "packet",
+          "source_kind": "agent-message",
+          "source_ref": "agent-message:bbe9ff00252f",
+          "status": "provisional",
+          "tags": [
+            "agent-message",
+            "external-candidate",
+            "packet",
+            "residual"
+          ],
+          "verification_cost": 0.01,
+          "verifier_routes": []
+        }
+      ],
+      "quarantine_recommended": false,
+      "reasons": [],
+      "replay_detected": false,
+      "report_id": "agent-message-check:agent-message:bbe9ff00252f",
+      "residual_ledger": {
+        "coordinates": {}
+      },
+      "sender_agent_id": "agent:port",
+      "settled": false,
+      "signature_present": false,
+      "signature_required": false
+    }
+  ],
+  "identity_context_accepted": false,
+  "inbox_id": "relay_inbox",
+  "inbox_ref": "relay_inbox.json",
+  "message_ids": [
+    "agent-message:bbe9ff00252f"
+  ],
+  "next_safe_commands": [
+    "pic agent message contract --message <message.json>",
+    "pic agent inbox verify --inbox <inbox.json>",
+    "pic ecology bridge-runtime --report <general-intake-report.json>"
+  ],
+  "nonce_ledger": {
+    "accepted": true,
+    "consumed_nonces": [
+      "nonce-portability-1"
+    ],
+    "ledger_id": "agent-message-nonce-ledger",
+    "reasons": [],
+    "rejected_message_ids": [],
+    "replayed_nonces": []
+  },
+  "operationally_usable": true,
+  "profile": "development",
+  "reasons": [],
+  "rejected_message_ids": [],
+  "report_id": "agent-message-delivery:send:54fbca083cb0",
+  "settled": false
+}

package/fixtures/portability_conformance/agent_relay_readiness_report.json

@@ -0,0 +1,40 @@
+{
+  "accepted": true,
+  "allow_live_connectors": true,
+  "bounded_candidate_intake": true,
+  "candidate_only": true,
+  "identity_context_accepted": false,
+  "identity_context_required": false,
+  "inbox_exists": true,
+  "inbox_ref": "relay_inbox.json",
+  "live_default_mode": "explicit-source-bounded-candidate-intake",
+  "loopback_ready": true,
+  "message_count": 1,
+  "operationally_usable": true,
+  "profile": "development",
+  "readiness": {
+    "contract_check": "ready",
+    "identity_context": "not-required",
+    "live_default_mode": "bounded-explicit-source",
+    "local_inbox": "ready",
+    "nonce_replay_check": "ready",
+    "signature_policy": "diagnostic"
+  },
+  "reasons": [],
+  "recommended_next_commands": [
+    "pic agent message send --inbox inbox.json --sender agent:alice --text <text>",
+    "pic agent message receive --inbox inbox.json",
+    "pic agent inbox verify --inbox inbox.json",
+    "pic ecology bridge-runtime --report <general-intake-report.json>"
+  ],
+  "report_id": "agent-relay-readiness:development",
+  "safety_invariants": [
+    "agent-message relay is local-file based unless an explicit live source is supplied",
+    "agent messages remain packet candidates until verifier and identity policies pass",
+    "nonce, signature, identity, and residual checks fail closed",
+    "relay readiness does not prove external-world truth or real ASI"
+  ],
+  "seen_nonce_count": 0,
+  "settled": false,
+  "signature_required": false
+}

package/fixtures/portability_conformance/alt_admission_decision.json

@@ -0,0 +1,16 @@
+{
+  "accepted": true,
+  "action": "admit",
+  "certified_capital_ref": "alt-capital:alt-token:trace:alt-example:alt-liquidity:example",
+  "decision_id": "alt-admission:alt-packet:example",
+  "finite_checks_passed": true,
+  "missing_obligations": [],
+  "operationally_usable": true,
+  "packet_id": "alt-packet:example",
+  "reasons": [],
+  "residual_ledger": {
+    "coordinates": {}
+  },
+  "settled": false,
+  "status": "provisional"
+}

package/fixtures/portability_conformance/bottleneck_witness_report.json

@@ -0,0 +1,23 @@
+{
+  "action_id": "action:release-bottleneck",
+  "action_kind": "reduce-downstream-search-cost",
+  "burden_delta": 1.0,
+  "next_verifier_routes": [
+    "adapters.domain.verify_ecpt_proxy_target_contract"
+  ],
+  "operationally_usable": true,
+  "priority_score": 0.75,
+  "release_delta": 0.5,
+  "report_id": "bottleneck-witness:portability",
+  "required_evidence_kind": [
+    "finite-proxy-target-contract"
+  ],
+  "residual_coordinates": [
+    "residual:bottleneck:proxy-target"
+  ],
+  "rollback_condition": "verifier-resolution-missing",
+  "settled": false,
+  "target_component": "SD",
+  "task_id": "task:portability:bottleneck",
+  "witness_kind": "bottleneck-intervention"
+}

package/fixtures/portability_conformance/collective_phase_certificate.json

@@ -0,0 +1,330 @@
+{
+  "accepted": true,
+  "basin_id": "runtime-demo-basin",
+  "certificate_id": "collective-phase:population:collective-demo:collective-runtime-demo:runtime-demo-basin",
+  "closure_witnesses": [
+    {
+      "accepted": true,
+      "closure_packet_ids": [
+        "packet:a",
+        "packet:b"
+      ],
+      "closure_strength": 0.9,
+      "external_seed_packet_ids": [],
+      "false_liquidity_rate": 0.0,
+      "finite_checks_passed": true,
+      "internal_edge_ids": [
+        "edge:a-b",
+        "edge:b-a"
+      ],
+      "operationally_usable": true,
+      "productive_packet_ids": [
+        "packet:a",
+        "packet:b"
+      ],
+      "productivity_lower_bound": 1.6,
+      "reasons": [],
+      "regeneration_edge_ids": [
+        "edge:a-b",
+        "edge:b-a"
+      ],
+      "residual_ledger": {
+        "coordinates": {}
+      },
+      "settled": false,
+      "witness_id": "closure:collective-packet-registry:ec043d059b20"
+    }
+  ],
+  "execution_available_paths": [
+    {
+      "accepted": true,
+      "authority_granted": true,
+      "certificate_id": "execution-available:accepted-path:runtime-demo-basin:packet:a",
+      "constraint_frame_id": "default-constraint-frame",
+      "edge_ids": [
+        "edge:a-b",
+        "edge:b-a"
+      ],
+      "evidence_refs": [
+        "closure:witness",
+        "execution:path",
+        "regeneration:witness",
+        "rollback:receipt",
+        "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
+        "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
+      ],
+      "execution_gates": [
+        "operator-review",
+        "safety-ledger-live"
+      ],
+      "finite_checks_passed": true,
+      "not_executed": true,
+      "operationally_usable": true,
+      "packet_ids": [
+        "packet:a",
+        "packet:b"
+      ],
+      "path_id": "accepted-path:runtime-demo-basin:packet:a",
+      "reasons": [],
+      "receiver_context": [
+        "agent",
+        "verifier"
+      ],
+      "residual_ledger": {
+        "coordinates": {}
+      },
+      "rollback_available": true,
+      "route_ids": [
+        "adapters.domain.verify_ecpt_proxy_target_contract"
+      ],
+      "settled": false
+    },
+    {
+      "accepted": true,
+      "authority_granted": true,
+      "certificate_id": "execution-available:accepted-path:runtime-demo-basin:packet:b",
+      "constraint_frame_id": "default-constraint-frame",
+      "edge_ids": [
+        "edge:a-b",
+        "edge:b-a"
+      ],
+      "evidence_refs": [
+        "closure:witness",
+        "execution:path",
+        "regeneration:witness",
+        "rollback:receipt",
+        "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
+        "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
+      ],
+      "execution_gates": [
+        "operator-review",
+        "safety-ledger-live"
+      ],
+      "finite_checks_passed": true,
+      "not_executed": true,
+      "operationally_usable": true,
+      "packet_ids": [
+        "packet:a",
+        "packet:b"
+      ],
+      "path_id": "accepted-path:runtime-demo-basin:packet:b",
+      "reasons": [],
+      "receiver_context": [
+        "agent",
+        "verifier"
+      ],
+      "residual_ledger": {
+        "coordinates": {}
+      },
+      "rollback_available": true,
+      "route_ids": [
+        "adapters.domain.verify_ecpt_proxy_target_contract"
+      ],
+      "settled": false
+    }
+  ],
+  "false_liquidity_bounded": true,
+  "finite_checks_passed": true,
+  "fixed_population_ledger": {
+    "accepted": true,
+    "after_agents": [
+      {
+        "accepted": true,
+        "agent_id": "agent:collective-demo",
+        "model_digest": "model:2222222222222222222222222222222222222222222222222222222222222222",
+        "policy_digest": "policy:1111111111111111111111111111111111111111111111111111111111111111",
+        "reasons": [],
+        "route_allowlist": [
+          "adapters.domain.verify_ecpt_proxy_target_contract"
+        ],
+        "self_rewrite_allowed": false,
+        "source_kind_allowlist": [
+          "agent-output"
+        ],
+        "tool_allowlist_digest": null,
+        "weight_update_allowed": false
+      }
+    ],
+    "before_agents": [
+      {
+        "accepted": true,
+        "agent_id": "agent:collective-demo",
+        "model_digest": "model:2222222222222222222222222222222222222222222222222222222222222222",
+        "policy_digest": "policy:1111111111111111111111111111111111111111111111111111111111111111",
+        "reasons": [],
+        "route_allowlist": [
+          "adapters.domain.verify_ecpt_proxy_target_contract"
+        ],
+        "self_rewrite_allowed": false,
+        "source_kind_allowlist": [
+          "agent-output"
+        ],
+        "tool_allowlist_digest": null,
+        "weight_update_allowed": false
+      }
+    ],
+    "finite_checks_passed": true,
+    "fixed_population": true,
+    "ledger_id": "fixed-population:collective-demo",
+    "no_self_rewrite": true,
+    "no_weight_update": true,
+    "observation_window_id": "demo-window",
+    "operationally_usable": true,
+    "policy_digests_unchanged": true,
+    "reasons": [],
+    "residual_ledger": {
+      "coordinates": {}
+    },
+    "settled": false
+  },
+  "hazard_authority_non_rejecting": true,
+  "hidden_injection_report": {
+    "accepted": true,
+    "allowed_packet_ids": [
+      "packet:a",
+      "packet:b"
+    ],
+    "allowed_route_ids": [
+      "adapters.domain.verify_ecpt_proxy_target_contract"
+    ],
+    "allowed_source_kinds": [
+      "agent-output"
+    ],
+    "checked_packet_ids": [
+      "packet:a",
+      "packet:b"
+    ],
+    "finite_checks_passed": true,
+    "operationally_usable": true,
+    "protocol_id": "protocol:collective-demo",
+    "reasons": [],
+    "rejected_agent_ids": [],
+    "rejected_edge_ids": [],
+    "rejected_event_ids": [],
+    "rejected_evidence_refs": [],
+    "rejected_packet_ids": [],
+    "report_id": "hidden-injection:protocol:collective-demo:collective-packet-registry",
+    "residual_ledger": {
+      "coordinates": {}
+    },
+    "settled": false,
+    "unsigned_packet_ids": []
+  },
+  "identity_attestation_refs": [],
+  "identity_contribution_summary": {
+    "diagnostic": 2
+  },
+  "identity_profile": "development",
+  "minimum_identity_strength": "declared",
+  "operationally_usable": true,
+  "packet_lineage": [],
+  "population_id": "population:collective-demo",
+  "protocol_frame": {
+    "accepted": true,
+    "allowed_evidence_prefixes": [
+      "sha256:",
+      "closure:",
+      "regeneration:",
+      "execution:",
+      "rollback:"
+    ],
+    "allowed_packet_ids": [
+      "packet:a",
+      "packet:b"
+    ],
+    "allowed_route_ids": [
+      "adapters.domain.verify_ecpt_proxy_target_contract"
+    ],
+    "allowed_source_kinds": [
+      "agent-output"
+    ],
+    "constraint_frame_id": "default-constraint-frame",
+    "observation_window_id": "demo-window",
+    "protocol_id": "protocol:collective-demo",
+    "reasons": [],
+    "route_catalog_digest": "route-catalog-demo",
+    "sha256": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc",
+    "validity_domain": "protocol-relative-finite"
+  },
+  "psi": {
+    "components": {
+      "AC": 0.9,
+      "BR": 1.0,
+      "CV": 1.0,
+      "DE": 1.0,
+      "FR": 1.0,
+      "G": 1.0,
+      "HZ": 1.0,
+      "LX": 0.5,
+      "QS": 0.91,
+      "SD": 1.0,
+      "VT": 1.0
+    },
+    "dashboard_id": "psi:collective-packet-registry",
+    "distance_to_threshold": {
+      "AC": 0.0,
+      "BR": 0.0,
+      "CV": 0.0,
+      "DE": 0.0,
+      "FR": 0.0,
+      "G": 0.0,
+      "HZ": 0.0,
+      "LX": 0.0,
+      "QS": 0.0,
+      "SD": 0.0,
+      "VT": 0.0
+    },
+    "limiting_components": [],
+    "residual_ledger": {
+      "coordinates": {}
+    },
+    "safety_invariants": [
+      "Psi components are protocol-relative finite proxies",
+      "dashboard output does not prove unobserved ASI or physical outcomes",
+      "residual obligations remain explicit until verifier routes discharge them"
+    ],
+    "threshold": {
+      "AC": 0.5,
+      "BR": 0.1,
+      "CV": 0.5,
+      "DE": 0.5,
+      "FR": 0.5,
+      "G": 0.5,
+      "HZ": 0.5,
+      "LX": 0.5,
+      "QS": 0.5,
+      "SD": 0.5,
+      "VT": 0.5
+    },
+    "throughput": {
+      "abstained_packets": 0,
+      "accepted_packets": 2,
+      "evidence_hash_mismatch_rate": 0.0,
+      "false_liquidity_rate": 0.0,
+      "low_contribution_queue_occupation": 0.0,
+      "packet_inflow": 2,
+      "rejected_packets": 0,
+      "residual_debt_growth": 0.0,
+      "stale_packet_ratio": 0.0,
+      "unresolved_obligation_backlog": 2,
+      "verifier_latency_proxy": 0.1
+    }
+  },
+  "reasons": [],
+  "residual_external_obligations": [],
+  "residual_ledger": {
+    "coordinates": {}
+  },
+  "resource_matched_baseline": true,
+  "settled": false,
+  "sqot_reserve_live": true,
+  "state_id": "collective-runtime-demo",
+  "sybil_resistance_ledger": null,
+  "threshold": {
+    "BR": 0.1,
+    "G": 0.5,
+    "VT": 0.5
+  },
+  "threshold_crossed": true,
+  "verification_backlog_bounded": true
+}

package/fixtures/portability_conformance/frontier_debt_report.json

@@ -0,0 +1,24 @@
+{
+  "accepted": true,
+  "external_obligation_count": 1,
+  "missing_obligation_count": 1,
+  "missing_obligations": [
+    "proxy-target-grounding-proof"
+  ],
+  "operationally_usable": false,
+  "partial_frontier_debt_count": 1,
+  "physical_hybrid_obligation_count": 0,
+  "progressive_fidelity_debt_count": 1,
+  "reasons": [
+    "missing obligations remain on the runtime frontier"
+  ],
+  "report_id": "frontier-debt:portability",
+  "residual_burden": 1.0,
+  "residual_coordinate_count": 1,
+  "residual_coordinates": [
+    "runtime:external:proxy-target-grounding-proof"
+  ],
+  "settled": false,
+  "trace_normal_form_debt_count": 0,
+  "trace_or_frontier_debt_count": 1
+}

package/fixtures/portability_conformance/manifest.json

@@ -0,0 +1,113 @@
+{
+  "description": "Stable JSON outputs for cross-language schema and behavior conformance.",
+  "examples": [
+    {
+      "file": "agent_check_report.json",
+      "schema": "AgentCheckReport",
+      "sha256": "c8d5deceb93dff1d2c4050c366e0b02549d156484eb4b83c7fd71f1040501224"
+    },
+    {
+      "file": "agent_intake_report.json",
+      "schema": "AgentIntakeReport",
+      "sha256": "bc659cfe5fb10993e5cba17f19515565bd41741484296463db453ceab13026eb"
+    },
+    {
+      "file": "agent_message_delivery_report.json",
+      "schema": "AgentMessageDeliveryReport",
+      "sha256": "d9399bb6e4eb69b492363f45e65c1e45900b31c6784ee4af1d031103b604e6c7"
+    },
+    {
+      "file": "agent_relay_readiness_report.json",
+      "schema": "AgentRelayReadinessReport",
+      "sha256": "2596884a1c9f72c89538a2ed6580d7f74e1b59e52a3a559ce7acf3c7ea910cb0"
+    },
+    {
+      "file": "runtime_step_report.json",
+      "schema": "RuntimeStepReport",
+      "sha256": "87cfb006d6a6c0322a0e7e0d01cf2fbb24389d17f87b4488837bbb1269099cb9"
+    },
+    {
+      "file": "salience_schedule_report.json",
+      "schema": "SalienceScheduleReport",
+      "sha256": "8d50622be7dd8bd58974dbadcf38ce9a5da219faffafc9c53a2a5ac311cb999b"
+    },
+    {
+      "file": "alt_admission_decision.json",
+      "schema": "ALTAdmissionDecision",
+      "sha256": "cc555c6d8b7e7e2f75e428be24ed527297448d549b83d22339a0bf2193d93566"
+    },
+    {
+      "file": "bottleneck_witness_report.json",
+      "schema": "BottleneckWitnessReport",
+      "sha256": "b6dde5aa933e4910d8574efb77623b42249ee05c35ca8722357dea39d78cd670"
+    },
+    {
+      "file": "collective_phase_certificate.json",
+      "schema": "CollectivePhaseCertificate",
+      "sha256": "32b7980afb387685a0e4bd00fde1f41e45d302b728652e325289b0c11b932198"
+    },
+    {
+      "file": "frontier_debt_report.json",
+      "schema": "FrontierDebtReport",
+      "sha256": "5bd4f3afc5f0274407740c5b26469aa2842ce9d8ad95cfa66d35e5dc47f3f256"
+    },
+    {
+      "file": "phase_control_audit_summary.json",
+      "schema": "PhaseControlAuditSummary",
+      "sha256": "cc15fcbdd9c13461f73a8c9fa84a34912aceefebd4113865e58c14e25b471b2c"
+    },
+    {
+      "file": "phase_acceleration_plan.json",
+      "schema": "PhaseAccelerationPlan",
+      "sha256": "a5b0baa5a88a2d6e42b51f8b15c4c7ef31777c6dc36dae3d19c1403707da74b7"
+    },
+    {
+      "file": "phase_acceleration_benchmark_report.json",
+      "schema": "PhaseAccelerationBenchmarkReport",
+      "sha256": "e8ee06549432e450bc5afc63b9699d1fb5ee58eee89f22382770d819def56224"
+    },
+    {
+      "file": "theory_fidelity_report.json",
+      "schema": "TheoryFidelityReport",
+      "sha256": "ac4d3fdc062436cb9bf4c21fba42ff2cc6acb682e159afdcf4505d57688857a8"
+    },
+    {
+      "file": "value_bridge_report.json",
+      "schema": "ValueBridgeReport",
+      "sha256": "303264814bd9b70f7204f171a40f5b41eb8a751a87ff59d7867e47014d2032e2"
+    }
+  ],
+  "negative_examples": [
+    {
+      "expected_status": "schema-invalid",
+      "file": "negative/schema_invalid_agent_check.json",
+      "schema": "AgentCheckReport"
+    },
+    {
+      "expected_status": "unknown-schema",
+      "file": "negative/unknown_schema.json",
+      "schema": "UnknownPortSchema"
+    },
+    {
+      "expected_status": "sha256-mismatch",
+      "file": "negative/checksum_mismatch.json",
+      "schema": "AgentRunbookReport",
+      "sha256": "0000000000000000000000000000000000000000000000000000000000000000"
+    },
+    {
+      "expected_status": "missing",
+      "file": "negative/missing.json",
+      "schema": "AgentCheckReport"
+    }
+  ],
+  "invariants": [
+    "accepted and settled remain separate booleans",
+    "residual ledgers are preserved in nested reports",
+    "candidate and certificate outputs remain protocol-relative",
+    "live communication defaults remain bounded and candidate-only for explicit sources",
+    "phase acceleration plans are recommendation-only and cannot settle claims",
+    "candidate-only external volume cannot reduce phase gaps"
+  ],
+  "manifest_id": "pic-portability-conformance-v1",
+  "schema_version": "portability-conformance-1.0"
+}

package/fixtures/portability_conformance/negative/checksum_mismatch.json

@@ -0,0 +1,4 @@
+{
+  "report_id": "checksum-mismatch",
+  "settled": false
+}

package/fixtures/portability_conformance/negative/schema_invalid_agent_check.json

@@ -0,0 +1,3 @@
+{
+  "report_id": "agent-check:invalid"
+}

package/fixtures/portability_conformance/negative/unknown_schema.json

@@ -0,0 +1,3 @@
+{
+  "report_id": "unknown-schema"
+}