{"id":50635479,"url":"https://github.com/kadubon/percolation-inversion-compiler","last_synced_at":"2026-06-11T09:00:30.698Z","repository":{"id":362871960,"uuid":"1261081477","full_name":"kadubon/percolation-inversion-compiler","owner":"kadubon","description":"Collective ECPT phase acceleration runtime and finite verifier-routing SDK for ASI-proxy packet percolation, semantic edge verification, SQOT scheduling, fail-closed execution, residual ledgers, provenance, and AI agent integration.","archived":false,"fork":false,"pushed_at":"2026-06-07T01:53:41.000Z","size":909,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-06-07T02:05:40.352Z","etag":null,"topics":["acceleration-certificates","ai-agents","asi-proxy","bit","certificate-compiler","collective-runtime","ecpt","formal-methods","packet-ecology","packet-percolation","phase-control","proof-obligations","python","residual-ledger","runtime-executor","salience-queue","semantic-edges","sqot","trc","verifier-sdk"],"latest_commit_sha":null,"homepage":"https://kadubon.github.io/github.io/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kadubon.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":".github/CODEOWNERS","security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":"NOTICE","maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-06-06T07:59:06.000Z","updated_at":"2026-06-07T01:53:44.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/kadubon/percolation-inversion-compiler","commit_stats":null,"previous_names":["kadubon/percolation-inversion-compiler"],"tags_count":10,"template":false,"template_full_name":null,"purl":"pkg:github/kadubon/percolation-inversion-compiler","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kadubon%2Fpercolation-inversion-compiler","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kadubon%2Fpercolation-inversion-compiler/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kadubon%2Fpercolation-inversion-compiler/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kadubon%2Fpercolation-inversion-compiler/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kadubon","download_url":"https://codeload.github.com/kadubon/percolation-inversion-compiler/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kadubon%2Fpercolation-inversion-compiler/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34190585,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-11T02:00:06.485Z","response_time":57,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["acceleration-certificates","ai-agents","asi-proxy","bit","certificate-compiler","collective-runtime","ecpt","formal-methods","packet-ecology","packet-percolation","phase-control","proof-obligations","python","residual-ledger","runtime-executor","salience-queue","semantic-edges","sqot","trc","verifier-sdk"],"created_at":"2026-06-07T02:05:31.062Z","updated_at":"2026-06-11T09:00:30.680Z","avatar_url":"https://github.com/kadubon.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Percolation Inversion Compiler\n\n`percolation-inversion-compiler` is an AI agent runtime for external knowledge intake, finite certificates, proof obligations, residual ledgers, and reusable abstraction capital. It helps agents turn web, repository, evidence, and agent-output inputs into checked capability packet candidates, verifier routes, SQOT salience queues, ALT abstraction-liquidity certificates, and ECPT collective capability phase reports. The goal is protocol-relative **ASI-proxy collective phase** acceleration through verified packet percolation, not self-rewrite, fine-tuning, or model-weight change.\n\nThe abbreviations refer to the five source theories used by the repository: **ECPT** is Executable Capability Percolation Theory, the collective capability-packet phase model; **BIT** is Bottleneck Inversion Theory, the witness calculus for unlockable potential and frontier extraction; **TRC** is Typed Reality Compilation, the typed trace and tolerance-ledger compiler for cyber-physical frontiers; **SQOT** is Salience-Queue Occupation Theory, the salience scheduling and attention-occupation layer; and **ALT** is Abstraction Liquidity Theory, the reusable abstraction capital and foundry valuation layer.\n\nSearch terms: ECPT, BIT, TRC, SQOT, ALT, abstraction liquidity, reusable abstraction capital, ASI-proxy collective phase, protocol-relative ASI-proxy phase-control, certificate compiler, proof obligations, residual ledgers, salience queue, packet ecology, semantic edge verification, typed trace normal forms, frontier extraction, AI agent integration, verifier SDK.\n\nDistribution status: v0.4.1 is a stable distribution snapshot with a beta API\nsurface. Install the core package from PyPI with `pip install\npercolation-inversion-compiler`; use `pip install\n\"percolation-inversion-compiler[identity,connectors,server]\"` when you need\ncryptographic identity checks, explicit opt-in live intake, or the optional\nlocal HTTP service. The PyPI package is intended for curated demo smoke checks,\nbundled snapshots, schema export, library import, and basic CLI/runtime\nverification. Clone the repository for full practical use: commands that\nreference `examples/...`, canonical TeX audits, live development fixtures, and\nrelease engineering require a source checkout.\n\n## What It Does Not Do\n\n- It does not prove real ASI, physical, simulator, oracle, or policy outcomes.\n- It does not execute unsafe actions or grant authority to mutate repositories, shells, networks, or models.\n- It does not require or model self-rewrite, fine-tuning, or model-weight updates.\n- It does not treat a declared `agent_id` as proof of identity or global uniqueness.\n- It does not treat registry metadata, declared status, queue priority, or agent text as evidence.\n- It does not silently promote unresolved external obligations to `settled`.\n\n## Core Workflow\n\n| Step | Runtime object | What the agent gets |\n| --- | --- | --- |\n| 1 | **Fixed agent population** | A declared population, policy digest, model digest, route allowlist, optional cryptographic identity attestations, Sybil-resistance ledger, and no-self-rewrite ledger. |\n| 2 | **Packet candidates** | Finite capability packets from agent output, local files, fixtures, repositories, or verifier evidence. |\n| 3 | **Evidence + semantic edge checks** | Hash/provenance checks and typed relations such as theorem-to-code, code-to-test, rollback-support, and execution-path. |\n| 4 | **Verified packet capital** | Reusable packets promoted only after route, receiver, rollback, authority, edge, and residual policies pass. |\n| 5 | **ALT abstraction liquidity** | Trace and external-intake candidates become reusable abstraction capital only after certified lower-bound surplus, transport, root-of-trust, telemetry, lifecycle, and hazard checks pass. |\n| 6 | **SQOT salience queue** | A priority schedule that preserves diagnostic reserve and quarantines stale, unsafe, uncertified, or hash-invalid packets. |\n| 7 | **Psi dashboard** | Protocol-relative collective phase components for availability, closure, execution paths, queues, hazards, liquidity, and basin reachability. |\n| 8 | **Bottleneck / phase tasks** | Ranked finite tasks for verifier routing, packet repair, edge construction, abstraction certification, and phase-control planning. |\n| 9 | **Action results** | Execution reports, ALT admission decisions, and route resolutions that are applied back into the runtime state. |\n| 10 | **Runtime store** | Persistent event logs, verified packets, route batches, abstraction capital lineage, and residual ledgers. |\n| 11 | **Collective phase certificate** | A fail-closed certificate over fixed population, no self-rewrite, no hidden injection, closure, execution availability, Psi thresholds, certified liquidity, and resource-matched baseline. |\n\nThe runtime is fail-closed: planning can recommend finite ASI-proxy actions, but `settled` remains false unless scoped verifier rules discharge the required finite obligations. In production, signed identities and Sybil-resistance ledgers can prevent duplicate-key, clone-fanout, revoked, expired, or unsigned agent populations from producing accepted collective certificates. Residual external obligations remain explicit.\n\nv0.4.1 keeps ALT abstraction-liquidity foundry support so external knowledge and agent traces can become reusable abstraction-token candidates, then certified abstraction capital only after lower-bound surplus, transport, root-of-trust, telemetry, lifecycle, and hazard checks pass. ALT also adds negative-liquidity, deprecation/resurrection, baseline refresh, reproduction diagnostics, and ALT-CARA acceleration certificates so stale or unsafe abstraction claims remain repairable residual work rather than silent capital. Use `development`, `research`, `controlled`, `federated`, `production`, or `adversarial` profiles to choose how communication policy, cryptographic identities, homogeneous fleets, signed packet issuers, and Sybil-resistance ledgers affect packet promotion and collective certificates.\n\nCore contract: registry is metadata, not evidence. Use `pic doctor` and structured checker outputs to distinguish declared status, finite certificate results, proof obligations, and residual ledgers.\n\n## For AI Agents\n\nStart with [AGENTS.md](AGENTS.md) and [For AI agents](docs/for-agents.md). The fastest safe route is:\n\n```powershell\nuv run pic agent explain\nuv run pic agent guide --profile development\nuv run pic agent intake --text \"Candidate packet: route evidence and preserve residuals.\" --profile development\n```\n\nProduction packet promotion requires identity context:\n\n```powershell\nuv run pic identity derive-context --population examples/agent_population_signed.json --profile production --output identity-context.json\nuv run pic agent intake --text \"Signed packet candidate.\" --profile production --identity-context identity-context.json\n```\n\nResiduals are expected and must be preserved. `settled=false` is not command failure; it means unresolved obligations remain explicit.\n\nFor networked collective-phase workflows, inspect the communication guide first. General web,\nfeed, and agent-to-agent intake are default-off for live network access; external content becomes\npacket candidates only. Live intake requires three aligned opt-ins: the source/request flag,\nthe intake policy, and the runtime or service config. Reports preserve sanitized provenance\n(`provenance`, `web_fetch_reports`, content SHA-256, redirect and robots/rate diagnostics)\nwithout exposing local absolute paths, cookies, tokens, or query secrets.\n\n```powershell\nuv run pic agent communication-guide --profile development --no-allow-live-connectors\nuv run pic ecology policy explain --profile controlled_web\nuv run pic ecology ingest-general --source examples/agent_network/feed.xml --kind rss\nuv run pic ecology bridge-runtime --report examples/agent_network/general_intake_report.example.json\nuv run pic alt admit --packet examples/alt/admission_packet.json\nuv run pic agent message contract --message examples/agent_network/agent_message.json\n```\n\nFor production agent-to-agent messages, derive an accepted identity context first and pass it\nto message verification. Without that context, signed messages remain diagnostic candidates.\nRaw external packet volume, including candidate-only closure or execution-path records, does\nnot improve positive Psi components or collective certificates until downstream promotion checks\naccept the packet as finite-scope capital.\n\n## Quickstart\n\n### Path A: Pip Install For Immediate Runtime Smoke\n\nUse this when an agent has no source checkout and needs to verify the installed\npackage, inspect schemas/snapshots, or run the bundled curated demo.\n\n```powershell\npython -m pip install percolation-inversion-compiler\npic agent explain\npic demo installed-smoke --profile development\npic demo bootstrap --output-dir pic-demo\npic agent intake --text \"Candidate packet: route evidence and preserve residuals.\" --profile development\npic runtime step --state pic-demo/runtime_state.json --input pic-demo/runtime_step_input.json --profile development\n```\n\n### Path B: Clone For Full Practical Use\n\nUse this when you want fixture-backed commands, `examples/...`, canonical-source\naudits, full research workflows, release checks, or local development.\n\nInstall `uv` if it is not already available. Official install commands:\n\n```powershell\npowershell -ExecutionPolicy ByPass -c \"irm https://astral.sh/uv/install.ps1 | iex\"\n```\n\n```sh\ncurl -LsSf https://astral.sh/uv/install.sh | sh\n```\n\nIf the standalone installer is not suitable, use the PyPI fallback:\n\n```powershell\npython -m pip install uv\n```\n\nThen clone and sync the full repository:\n\n```powershell\ngit clone https://github.com/kadubon/percolation-inversion-compiler.git\ncd percolation-inversion-compiler\nuv sync --all-extras --dev\n```\n\nAfter cloning, use `uv run pic ...` for commands that reference `examples/...`.\n\n### 1. Inspect Bundled Theory Snapshots\n\nUse this path when you do not have the canonical TeX sources locally.\n\n```powershell\nuv run pic snapshot list\nuv run pic snapshot show --artifact ecpt\nuv run pic snapshot show --artifact sqot\nuv run pic snapshot show --artifact alt\nuv run pic snapshot routes\n```\n\n### 2. Run One Runtime Step\n\nThis produces packet ingestion, SQOT scheduling, Psi components, bottleneck tasks, missing obligations, and residual ledgers.\n\n```powershell\nuv run pic runtime step --state examples/runtime_state.json --input examples/runtime_step_input.json --profile production\n```\n\n### 3. Certify A Collective Phase Candidate\n\nThis checks fixed population, no self-rewrite, no hidden capability injection, accepted closure witnesses, execution-available paths, Psi thresholds, SQOT reserve, hazard/authority checks, and resource-matched baseline conditions.\n\n```powershell\nuv run pic runtime collective-certify --population examples/agent_population.json --state examples/collective_runtime_state.json --basin examples/ecpt_basin_contract.json --baseline examples/runtime_baseline_run.json --threshold examples/runtime_threshold.json\n```\n\nFor a complete command inventory, see [CLI reference](docs/cli-reference.md).\n\n## Who Should Use This?\n\n- AI agent integrators who need deterministic JSON for verifier routing, packet promotion, residual-ledger preservation, and fail-closed runtime loops.\n- Researchers studying ECPT, BIT, TRC, SQOT, ALT, finite certificate compilers, abstraction liquidity, collective capability percolation, frontier extraction, and protocol-relative phase-control.\n- Tool and runtime maintainers building portable Python, Rust, TypeScript, Go, Julia, or service-based implementations around stable JSON Schemas.\n\n## Documentation Map\n\n- Start here: [Overview](docs/00-overview.md), [Quickstart](docs/01-quickstart.md), [For AI agents](docs/for-agents.md), [Agent external communication](docs/agent-external-communication.md), [Tutorial](docs/tutorial.md)\n- Runtime: [Runtime](docs/runtime.md), [Closed-loop runtime](docs/runtime-closed-loop.md), [Population runtime](docs/population-runtime.md), [Runtime service](docs/runtime-service.md), [Runtime executor](docs/runtime-executor.md), [Runtime store](docs/runtime-store.md)\n- Collective phase: [Collective phase runtime](docs/collective-phase-runtime.md), [Collective phase certificate](docs/04-collective-phase-certificate.md), [No-self-rewrite ledger](docs/no-self-rewrite-ledger.md), [Safety boundary](docs/11-safety-boundary.md)\n- Packet ecology: [Packet ecology runtime](docs/ecpt-packet-ecology-runtime.md), [Edge relation verifiers](docs/edge-relation-verifiers.md), [Packet promotion](docs/packet-promotion.md), [SQOT salience scheduler](docs/sqot.md), [ALT abstraction liquidity](docs/alt.md)\n- Verification and operations: [Identity and Sybil resistance](docs/identity-and-sybil-resistance.md), [External obligations](docs/external-obligations.md), [Verifier SDK](docs/verifier-sdk.md), [Production readiness](docs/production-readiness.md), [PyPI distribution](docs/pypi-distribution.md), [Provenance and SBOM](docs/provenance-and-sbom.md), [CLI reference](docs/cli-reference.md)\n- Theory and portability: [Architecture](docs/architecture.md), [Mathematical contracts](docs/mathematical-contracts.md), [Theory coverage](docs/theory-coverage.md), [Porting guide](docs/porting.md), [Benchmarks](docs/benchmarks.md)\n- Walkthrough: [Collective phase walkthrough](examples/walkthrough_collective_phase/README.md)\n\n## Canonical Sources\n\nRepository/software concept DOI: \u003chttps://doi.org/10.5281/zenodo.20569166\u003e\n\n- Takahashi, K. (2026). *Executable Capability Percolation Theory*. Zenodo. \u003chttps://doi.org/10.5281/zenodo.20535654\u003e\n- Takahashi, K. (2026). *Bottleneck Inversion Theory: Machine-Readable Witness Calculus for Unlockable Potential*. Zenodo. \u003chttps://doi.org/10.5281/zenodo.20545356\u003e\n- Takahashi, K. (2026). *Typed Reality Compilation: Operational Tolerance Allocation for Resource-Efficient Cyber-Physical Frontier Compilation*. Zenodo. \u003chttps://doi.org/10.5281/zenodo.20554083\u003e\n- Takahashi, K. (2026). *Salience-Queue Occupation Theory*. Zenodo. \u003chttps://doi.org/10.5281/zenodo.20526451\u003e\n- Takahashi, K. (2026). *Abstraction Liquidity Theory*. Zenodo. \u003chttps://doi.org/10.5281/zenodo.20476200\u003e\n\n## Development Checks\n\n```powershell\nuv run pytest\nuv run ruff check .\nuv run ruff format --check .\nuv run mypy src scripts\n```\n\n## License\n\nCode in this repository is licensed under Apache-2.0. The cited Zenodo papers are licensed CC-BY-4.0 by their publisher metadata and are not vendored here.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkadubon%2Fpercolation-inversion-compiler","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkadubon%2Fpercolation-inversion-compiler","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkadubon%2Fpercolation-inversion-compiler/lists"}