Home

Percolation Inversion Compiler Wiki

Percolation Inversion Compiler, or PIC, is a local checker/compiler for AI agent output, evidence, unfinished work, safe reuse decisions, and protocol-relative ASI-proxy phase diagnostics.

The current public release is v0.9.0 ASI-proxy loop tooling.

PIC helps a person or an agent answer:

• What is being claimed?
• What evidence is attached?
• What residual work remains?
• Which verifier, CCR task, or next check should handle the missing work?
• Can this result be reused under a limited scope?
• Is an operation candidate structured enough for review before any provider or real-world handoff?
• Why is a result useful but still not settled?

PIC treats agent output as candidate work. It does not treat confident text, raw packet volume, MCP descriptors, A2A handoffs, provider evidence, command-like strings, or high priority as proof or permission to act.

Current Release

v0.9.0 adds the agent-loop layer around the v0.8 ASI-proxy/CARA safety gates:

• ALT token extraction, token admissibility, lineage, deduplication, and interface reports;
• TRC observation windows, observation consistency, and trace-indexed resource-flow reports;
• ECPT quotient, duplicate, atlas, and cache reports;
• SQOT queue/resource/exchange/reserve/checker reports;
• BIT frontier, confidence, evidence, release-interval, martingale, and anchor-transfer reports;
• compact CLI outputs for loop-friendly agents;
• performance and cache diagnostics;
• examples/asi_proxy_loop_bundle/ as the smallest searchable first-agent fixture set.

certified_acceleration_interval_candidate=true is not real ASI proof. It means a protocol-relative interval report has a positive lower margin after declared charges. It is still candidate evidence.

Reports fail closed. Token extraction is not settlement. Token admissibility is not capital admission. Operation readiness is not provider dispatch. Physical readiness is not physical outcome proof.

Fastest Start

python -m pip install -U percolation-inversion-compiler
pic agent check --compact --text "Candidate packet: route evidence and preserve residuals." --profile development
pic phase plan --compact --text "Candidate packet: route evidence and preserve residuals." --profile development
pic demo installed-smoke --profile development

A useful first report can have workflow_usable=true and settled=false. That is normal. It means PIC kept unresolved work visible instead of hiding it.

v0.9.0 Agent Loop Checks

pic token extract-pipeline --trace trace.json --compact
pic token admissibility --token token.json --compact
pic token dedup --tokens tokens.jsonl
pic performance report
pic cache status

Use examples/asi_proxy_loop_bundle/ to inspect expected report shapes. The outputs are inert JSON reports. They do not execute tools, mutate repositories, call providers, admit capital, or prove physical outcomes.

v0.8.0 Safety Checks

pic phase acceleration-report --target examples/asi_proxy_acceleration_bundle/target.json --baseline examples/asi_proxy_acceleration_bundle/baseline_upper_envelope.json --capital examples/asi_proxy_acceleration_bundle/capital_witnesses.jsonl
pic ecpt target-validity-check --target examples/asi_proxy_acceleration_bundle/target.json
pic mcp descriptor-check --descriptor examples/asi_proxy_acceleration_bundle/mcp_descriptor.good.json --profile development
pic mcp invocation-preflight --descriptor examples/asi_proxy_acceleration_bundle/mcp_descriptor.good.json --call examples/asi_proxy_acceleration_bundle/mcp_call.good.json --profile development
pic a2a handoff-check --handoff examples/asi_proxy_acceleration_bundle/a2a_handoff.good.json --profile development

Commands that use examples/... assume a source checkout. The outputs are inert JSON. They do not execute tools, mutate repositories, call providers, or prove physical outcomes.

PIC And CCR

Collective Capability Runtime, or CCR, is the companion runtime for coordinating many agents around tasks, leases, blackboard events, packet distillation, residual tracking, foundry allocation, operation preflight, and release audits.

Use PIC when you need packet-level checks, verifier routing, schemas, Phase Ecology Lab diagnostics, TRC trace checks, MCP/A2A preflight, CARA reports, or CCR interop JSONL. Use CCR when you need an auditable runtime that schedules multi-agent work and imports PIC-compatible reports without treating them as automatic settlement or execution authority.

Where To Go Next

• Getting Started: choose pip install or source checkout.
• Quickstart: shortest practical command paths.
• ASI Proxy Loop v0.9: token, observation, residual, and CCR loop flow.
• Token Reports and Agent Loop: extraction, admissibility, lineage, and dedup reports.
• ASI Proxy Acceleration: CARA, target validity, baseline, and capital witnesses.
• CCR Interop: PIC-to-CCR handoff and foundry allocation.
• MCP And A2A Safety: descriptor, invocation, card, and handoff checks.
• Operation Gate: TRC operation readiness, provider dispatch, and physical dispatch boundaries.
• Safety and Limits: what PIC never authorizes.
• Agent Guide: how AI agents should read PIC output.
• Theory Map: ECPT, BIT, TRC, SQOT, ALT, and CARA in plain language.

Safety Boundary

PIC does not prove real ASI, physical truth, simulator truth, oracle truth, legal authority, policy success, or arbitrary agent correctness.

PIC does not grant authority to run shell commands, write files, mutate repositories, install packages, send messages, use credentials, call live connectors without an explicit source, change model weights, or self-rewrite.

provider_dispatch_ready is not dispatch. physical_dispatch_ready is not physical outcome proof. accepted=true is not settlement. settled=false often means the safe result was to keep missing obligations visible.

Search Terms

AI agent output checker, LLM output validation, agent workflow verification, evidence routing, proof obligations, residual ledger, unresolved work ledger, safe reuse checks, capability packet, packet graph, Phase Ecology Lab, effective packet graph, execution-available paths, bottleneck diagnostics, Collective Capability Runtime, CCR, CCR task JSONL, CCR residual JSONL, CCR foundry allocation, ASI-proxy loop, ASI-proxy acceleration, CARA, token extraction, token admissibility, token lineage, token deduplication, observation residual, runtime capital witness, baseline upper envelope, target-validity certificate, phase acceleration interval, MCP descriptor report, MCP invocation preflight, A2A handoff report, TRC operation gate, TraceNF, operation_ready, provider_dispatch_ready, physical_dispatch_ready, capital_admitted, ECPT, BIT, TRC, SQOT, ALT, abstraction liquidity, salience queue, pic token extract-pipeline, pic token admissibility, pic phase acceleration-report, pic mcp descriptor-check, pic trc operation-gate, settled=false.