Published June 6, 2026
| Version v0.2.3
Software
Open
Percolation Inversion Compiler
Authors/Creators
Description
Production-oriented finite verifier-routing SDK for ECPT, BIT, and TRC, with ECPT active ASI-proxy phase-control planning, proof obligations, residual ledgers, typed traces, provenance, SBOMs, and AI agent routing.
Notes
If you use this software, cite the software package and the referenced theory papers.
Files
kadubon/percolation-inversion-compiler-v0.2.3.zip
Files
(335.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e799a3f1b07c72554869573fd43377bd
|
335.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/kadubon/percolation-inversion-compiler/tree/v0.2.3 (URL)
Software
- Repository URL
- https://github.com/kadubon/percolation-inversion-compiler