Home

Percolation Inversion Compiler v1.1

PIC is a local certificate compiler and AI agent runtime for checked capability formation. It keeps evidence, missing work, residual debt, queue costs, and operation authority separate.

• Repository
• PyPI package
• PIC v1.1.0 release
• TypeScript runtime

Start In Five Minutes

python -m pip install percolation-inversion-compiler==1.1.0
pic agent check --compact
pic demo bootstrap --output-dir pic-demo --overwrite
pic afst check --case pic-demo/afst/minimal_accepted.json --compact

Use pic-demo/... after installation and examples/... in a source checkout.

What v1.1 Adds

• strict bounded JSON and YAML input;
• unknown values that remain unknown;
• witness-only positive BIT gain;
• measured SQOT queue cost and rechecked ALT lift;
• finite TRC traces and an explicit approval-bound operation lifecycle;
• paired resource-matched acceleration measurement; and
• one Python/TypeScript contract pack.

A measured accelerator result requires both accepted=true and acceleration_metrics_certified=true.

Safety Boundary

PIC does not prove real ASI, consciousness, legal authority, model-weight change, or physical/oracle truth. Check commands do not dispatch operations. A dispatch receipt is not outcome evidence, and settled=false remains normal while scoped obligations are unresolved.

Search Terms

PIC, Percolation Inversion Compiler, AI agent verification, capability packet, residual ledger, resource-matched baseline, acceleration certificate, AFST, ECPT, BIT witness, SQOT queue cost, ALT admission, TRC operation security, Ed25519 approval, JCS digest, and Python TypeScript conformance.