Percolator on Jelleo.
Anatoly Yakovenko's perpetual-futures protocol. The first protocol on the Jelleo loop, where the F7 structural-residual drain was confirmed and disclosed.
Running on the Jelleo loop today.
Anatoly Yakovenko's perpetual-futures protocol. The first protocol on the Jelleo loop, where the F7 structural-residual drain was confirmed and disclosed.
This protocol is the flagship target on the Jelleo loop. Layer-1 (static analysis), Layer-2 (LLM hypothesis generation), Layer-3 (Anchor-aware analysis), Layer-4 (LiteSVM PoC), Layer-5 (commit watch), and Layer-6 (live mainnet shadow) all execute against this target on a continuous schedule.
Findings to date.
All findings published with full lifecycle state, severity rubric application, and a cryptographic receipt. Critical and High disclosures are linked to their public PR or GitHub issue.
| ID | Title | Severity | State | Date |
|---|---|---|---|---|
| F7 | Insurance-residual drain via use_insurance_buffer | Critical | Disclosed · PR #39 | 2026-04-30 |
Hypothesis library.
The library lists the bug classes, file ranges, and scope conditions that the platform tests against this protocol. Each hypothesis maps to a target file, an applies-to range, a severity rubric, and a Layer-3/4 verification path.
The library covers the matching-engine settlement path, the insurance-buffer / haircut-residual coupling (F7's root-cause class), the K/F PnL split arithmetic, and the maker/taker fee accounting. Scope conditions exclude the Anchor IDL surface and frontend-only code.
Files in scope
Bug-class coverage (54 classes · 471 hypotheses)
How Percolator is audited.
The same four-pillar loop runs against every protocol. Detection feeds propagation; propagation feeds fix-bundle delivery; fix delivery feeds the on-chain attestation registry. See the public methodology for the full reference.
- P1 — detection: static analysis (Layer-1) → LLM hypothesis generation (Layer-2) → Anchor-aware analysis (Layer-3) → LiteSVM PoC (Layer-4) → commit-triggered re-runs (Layer-5) → live mainnet shadow (Layer-6).
- P2 — propagation: a confirmed finding's bug class fires sibling hypotheses across applicable protocols.
- P3 — fix bundle: Critical/High findings ship with a candidate patch and a regression test.
- P4 — attestation: every cycle receipt is signed Ed25519; the public key is published at /keys/jelleo.ed25519.pub.
Reference links
Maintain Percolator? Get the live dashboard.
Protocol teams get an authenticated customer-portal view with full finding titles, hypothesis IDs, propagation hits, and signed cycle receipts. Scoping is free; deployment runs on the customer-portal track.