The Card is the play. The rest are leans.

The Card is the official record — the only plays with real money behind them. Each sport carries a fixed budget, and a deterministic allocator commits it to the strongest qualifying edges, sized by quarter-Kelly against the journaled price with a per-play cap and a minimum stake. Every play is journaled before results exist and graded in public. Stakes are shown in units — 1u is 1% of that sport's Card budget; the dollar amounts stay internal. Everything that doesn't make the Card is a lean, on the other tab.