v0.8.0 Release Notes

v0.8.0 Release Notes

v0.8.0 adds ASI-proxy/CARA acceleration diagnostics and stronger agent interop safety checks.

For First-Time Agents

PIC is a checker and compiler for candidate agent work. It is not an execution engine. It can say that a report is useful, accepted, operation-ready, or certified for a scoped comparison, while still keeping settled=false.

Read blockers and residuals before using any output.

Highlights

• Adds target-valid ASI-proxy/CARA reports over declared targets, baseline upper envelopes, admitted runtime capital witnesses, candidate hitting times, and positive-margin acceleration diagnostics.
• Adds structured MCP descriptor reports, MCP invocation preflight reports, A2A agent-card reports, and A2A task-handoff reports.
• Rejects descriptors changed after approval at descriptor-report and invocation-preflight time.
• Tightens CARA booleans: target-law, authority, hazard, viability, baseline, admitted-witness, proxy-only, negative-liquidity, stale-lifecycle, stale-authority, and raw-net floor blockers set ok=false.
• Strengthens TRC operation gates so physical dispatch readiness requires accepted/fresh certificate statuses, scoped authority, emergency stop, rollback escrow, hazard envelope, verifier windows, resource/tolerance budget, and side-effect-policy acceptance.
• Adds ECPT activation/response, SQOT protocol/resource/probe, BIT MEC/compiler, CEGAR, and dynamic-regime report helpers.
• Adds CCR roundtrip fixtures and foundry phase-response allocation support.

Install

python -m pip install -U percolation-inversion-compiler==0.8.0

Safety Boundary

certified_acceleration_candidate=true is not real ASI proof. operation_ready=true is not execution. provider_dispatch_ready=true is not provider dispatch. physical_dispatch_ready=true is not physical outcome proof.

All v0.8.0 outputs are JSON diagnostics or candidate handoff records unless a separate runtime and verifier route explicitly discharge the relevant obligations.