Skip to content

Getting Started

kadubon edited this page Jul 11, 2026 · 7 revisions

Getting Started

PIC supports Python 3.11 or newer on Linux, Windows, and macOS. Start with a check-only command. Do not begin with provider dispatch.

Package Install

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

Files under pic-demo/... are generated for an installed package. They are inert examples and do not call a provider.

Source Checkout

Use this path for the complete examples/... tree, development tests, or canonical theory audits.

git clone https://github.com/kadubon/percolation-inversion-compiler.git
cd percolation-inversion-compiler
python -m pip install uv
uv sync --all-extras --dev
uv run pic runtime compare --baseline examples/runtime_acceleration/baseline.json --candidate examples/runtime_acceleration/candidate.json

Do not mix pic-demo/... package paths with examples/... source-checkout paths.

Read The Result

  • accepted: the finite checker accepted the declared scope.
  • operationally_usable: the result passed the selected operational profile.
  • acceleration_metrics_certified: a matched comparison improved without an out-of-tolerance regression.
  • settled: every declared obligation is discharged.
  • blockers and residual_ledger: work that must remain visible.

These fields are independent. accepted=true never grants execution authority and does not imply settled=true.

Continue with Acceleration Measurement, Operation Guide, and Security.

Clone this wiki locally