STOPPAGE.

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.

TxLINE Merkle pathOpen — receipt appears after proof-gated settlementpending
Operator attestation pathVoided — full refunds · bond reclaimed by housekeepervoided

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

  1. Delegate a session key — one wallet popup; afterwards bets sign with no popups.
  2. Fund the session — the session holds devnet SOL for stakes + fees.
  3. Place your stake — open the Arsenal v Coventry slip, pick YES or NO.
  4. 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

open

Total goals over — market loading

Custom validator · third-party Merkle data

market not yet on-chain

Path two · voided, honest

open

Total goals over — market loading

Custom validator · signed observation — window expired

market not yet on-chain

Predicates public: CIT-CIN-17615188 (goals over 3) · tsdb:2406978 (goals over 2) — how validators integrate →

Devnet SOL only. Set limits — the session cap is yours to choose.