QED / PROOF-ENGINEREV 1.0 ∎
SYS.OKUTC 00:00:00LAT 0ms
QED

∎ QUOD ERAT DEMONSTRANDUM

Alpha is a theorem.
We prove it live.

35 autonomous trading agents, each running a four-layer decision brain on a $100,000 book. Every signal is hash-committed to an append-only ledger before the market can judge it. No cherry-picked backtests. Only theorems with live proofs.

01 — THE MATHEMATICS

Six equations run the entire system.

Every decision an agent makes — what regime it is in, whether to act, how much to risk, where to exit, and whether the record can be trusted — reduces to the following.

EQ. 1TAMPER-PROOF LEDGER
Hn = SHA-256( Hn−1 ∥ payloadn )

H₀ = 0²⁵⁶ — the genesis block

Every signal is appended to a hash chain. Each entry commits to the entire history before it: change one byte of any past trade and every subsequent hash breaks. The track record cannot be rewritten — only extended.

EQ. 2MARKET REGIME — KAUFMAN EFFICIENCY
ER = |Pt − Pt−n| / Σi |Pi − Pi−1|

ER → 1: straight-line trend · ER → 0: pure noise

Before voting, the brain measures how efficiently price has travelled. ER > 0.35 declares a trend regime (momentum skills weighted 1.5×), otherwise range (mean-reversion 1.5×). If volatility exceeds 2.2× its median, the regime is chaos and every vote is discounted to 0.6×.

EQ. 3REGIME-WEIGHTED ENSEMBLE CONSENSUS
act ⟺ Σv∈dir wr(v) / Σv wr(v) ≥ 0.55

11 skills × parameter variants vote; wᵣ = regime weight

Eleven independent strategies — momentum, breakout, reversion, VWAP, multi-timeframe — vote on every bar. A trade only exists when at least 55% of regime-weighted votes agree on direction. One indicator's noise can never move the book.

EQ. 4CONFIDENCE COMPOSITION
c = min( 0.95, c̄ens · mmem · mcoach ) · 𝟙[c ≥ θtemp]

m_mem ∈ {0, 0.5, 1, 1.2} · m_coach ∈ [0.7, 1.2]

Raw ensemble confidence is multiplied by the agent's memory of its own recent performance (5 straight losses → trading halted) and its LLM coach's modifier. The result must clear the agent's temperament threshold — a calm agent needs 0.50, an aggressive one only 0.25.

EQ. 5POSITION SIZING & EXITS
N = E · ρ   ·   SL = P₀ ∓ 2·ATR₁₄   ·   TP = P₀ ± 4·ATR₁₄

E = live equity · ρ ∈ {5%, 10%, 15%} by temperament

Position size scales with the agent's live equity — winners compound, losers shrink. Stops sit at 2× the 14-bar Average True Range, targets at 4×: every trade is structured at a minimum 2:1 reward-to-risk before entry.

EQ. 6WALK-FORWARD EVOLUTION
θ* = argmaxθ Stest(θ)   s.t.   Strain(θ) > −0.05

S = return − ½·maxDD, scored on unseen data only

Every night each agent's parameters are re-optimized on the first 70% of recent data and selected purely on the held-out 30% — curve-fitting is structurally impossible to reward. If a rival skill scores 1.5× better on the agent's own market, the agent evolves: the weak skill is replaced. Natural selection, nightly.

02 — THE BRAIN

Four layers between an idea and an order.

L1SKILL ENSEMBLE

11 deterministic strategies vote on real OHLC bars, weighted by the detected market regime. ≥55% directional agreement required.

L2BOT MEMORY

The agent reads its own ledger. Losing streaks throttle confidence to 0.5× or halt trading entirely; proven streaks earn a 1.2× boost.

L3ANALYST PANEL

Three parallel LLM analysts — technical, macro, sentiment — each cast an independent vote. 2 of 3 must agree with the ensemble.

L4RISK VETO

A final risk officer sees everything the layers produced and holds absolute veto power: APPROVE, REDUCE size, or kill the trade.

SIGNAL L1 ENSEMBLE L2 MEMORY L3 PANEL L4 VETO HASH-COMMIT EXECUTE

03 — THE EVOLUTION ENGINE

The agents you hire tomorrow are better than today's.

Every night at 03:00 UTC the entire roster is rebuilt by four self-improvement systems. No human touches a parameter — the agents earn their upgrades.

REGIME DETECTIONevery signal

Before any vote is cast, the market is classified as trend, range or chaos using the Kaufman efficiency ratio and volatility percentile. Momentum skills are weighted 1.5× in trends, mean-reversion 1.5× in ranges — everything is discounted to 0.6× in chaos. The right weapon for the weather, automatically.

WALK-FORWARD OPTIMIZERnightly

Each agent's specialty skill is grid-searched on its own market: parameters train on the first 70% of recent data and are selected purely on the held-out 30%. Curve-fitting is structurally impossible to reward — only parameters that survive unseen data go live.

SKILL EVOLUTIONnightly

All eleven skills are backtested on every agent's market and ranked. An agent stuck in the bottom 40% whose best rival scores 1.5× better gets its specialty replaced — natural selection over strategies. The roster never changes; the strategies inside it do.

LLM COACHnightly

A language model reviews each agent's closed trades, names the strongest recurring pattern — good or bad — and writes a confidence multiplier from 0.7× to 1.2× into the brain. Losing patterns get throttled before they compound; clean execution earns more size.

03:00 UTC BACKTEST ALL SKILLS EVOLVE THE WEAK RE-OPTIMIZE PARAMS COACH REVIEWS TRADES WAKE UP SHARPER

04 — LIVE PROOF

The scoreboard is the proof.

Every hour, 35 agents sweep 400+ Binance pairs, the full NASDAQ list and every meme coin above $300k market cap. Positions carry live stops and targets, sized from each agent's real equity. Nightly, the evolution engine rebuilds the roster. All of it verifiable, none of it editable.

STRATEGY SCOREBOARD

· SORTED BY LIVE-VERIFIED
IDSTRATEGYMARKETLIVERETURNMAX DDFORWARD

Every strategy is hash-committed before its first signal. The track record you see is forward-only — no backtest cherry-picking, no editable history. Even famous open frameworks must prove themselves here, live.