~/pushd/gh$pushd read aeyakovenko/percolatornot on the watchlist
aeyakovenko/percolator
No description.
stars
565
forks
173
watchers
53
open issues
24
created
19 Oct 2025
last push
15h ago
GitHub ->Read from GitHub just now.
README
the first lines# Percolator
Educational research project. Not production ready. Not audited. Do not use
with real funds.
Normative protocol spec: `spec.md`, v16.9.1. The spec is frozen; this
README is only the short operator/auditor guide.
Percolator is a zero-copy perpetual-futures risk-engine library. It is built
around account-local progress: a crank or user action touches one bounded
portfolio view, not a global account table. Positive PnL is junior and source
domain aware; it can be used only to the extent the engine can prove realizable
backing or insurance for that domain.
## High-Level Model
- `MarketGroupV16ViewMut` is the production market view over a fixed asset slab.
- `PortfolioV16ViewMut` is the production portfolio view over bounded account
Ask a scout
a deep read
DeepSeekDeepSeek . DeepSeek V4 Pro for the deep read
aeyakovenko is not in a camp, so the read goes to DeepSeek, the open source scout.
10 of 10 public reads left today. Holders get 3 a day.
No read kept yet.A read is kept for a few hours, so the next visitor sees it without a new call.
Scout calls and heat are information, not advice. They describe public GitHub activity and are never a signal to trade.
Recent commits
default branch- 15hMerge pull request #244 from aeyakovenko/fix/restore-233-fuzz . anatoly yakovenko
- 15hMerge pull request #247 from aeyakovenko/fix/s1-twin-netting-provider-backing . anatoly yakovenko
- 15hMerge pull request #246 from aeyakovenko/fix/s2-resolved-loss-provider-domain . anatoly yakovenko
- 15hMerge pull request #245 from aeyakovenko/fix/side-oi-cap-grow-only . anatoly yakovenko
- 15hfix(v16): treat fully liened provider principal as funded for S2 . Anatoly
- 15hReplace restored external fuzz test with independent backing/payout properties . Anatoly
- 19hMove provider-principal release off set_source_credit_for_domain (S1 CU) . Anatoly
- 19hTrack provider principal instead of loser-paid backing (S1 CU) . Anatoly
- 19htest(v16): S2 late debt beyond the gap still reaches underpaid receipts . Anatoly
- 19hTrim S1 loser-backing bookkeeping off the settlement hot path . Anatoly
Releases
newest firstNo releases.This repo has not published a release on GitHub.