
The keystone · Chapter 1 — proof achieved
The proof is the authority. It held.
Orlando City v FC Cincinnati · settled by TxLINE proof
Outcome No · 1 verification · one tx
Settled by a TxLINE Merkle proof via CPI inside the settlement tx — released without an admin key.
Chapter 1 · on-chain proof
Settled by proof, publicly verifiable.
Settled by a TxLINE Merkle proof via CPI inside the settlement tx — released without an admin key. The attested path missed its observation window, so it was voided (full refund) and its bond reclaimed — automatically.
Now the same proof — with a real stake.
Fact check: the Aug 15 keystone settled by proof but carried no real stakes. The point is now proven once with real money on the next one.

Chapter 2 · next keystone — the first staked settle · EPL
Arsenal v Coventry
Full time — proofs landing
Receipts appearing…
One fixture, one TxLINE proof path, your stake on the line. When the match settles, the proof gates the payout in the same transaction — no admin key moves a lamport. Total goals over 3.
Open the Arsenal v Coventry slip ↗Kept honest, and kept running
- Self-healing keeper — a 24/7 housekeeper settles, voids, and reclaims bonds automatically.
- Credential health guard — the data subscription is probed every 6h; a lapse alerts instead of silently 401ing.
- No admin key — fund release is gated on the on-chain proof, always.
Your first staked settle · four steps
- Delegate a session key — one wallet popup; afterwards bets sign with no popups.
- Fund the session — the session holds devnet SOL for stakes + fees.
- Place your stake — open the Arsenal v Coventry slip, pick YES or NO.
- Settle & claim — after the match, the proof gates the payout in the same tx; you claim it.
M2 acceptance: two wallets on opposite sides, settled from a proof, vault drains to zero.
Path one · settled by TxLINE proof
openTotal goals over — market loading
Custom validator · third-party Merkle data
market not yet on-chainPath two · voided, honest
openTotal goals over — market loading
Custom validator · signed observation — window expired
market not yet on-chain