TxOdds × Solana World Cup Hackathon · Judge pack

Autonomous circuit breaking for in-play football markets

ProofSwitch watches consensus odds, scores and stream health, withdraws unsafe paper quotes, then reopens only after deterministic recovery evidence. It is built for the Trading Tools and Agents track and the London local judging context.

Run 90-second walkthrough Watch 4:48 demo View source

5/5 screening artefacts readyPrimary track · Trading agentsSynthetic judge modeLive TxLINE evidence pending

Primary screening evidence · 4:48

Problem, working agent and TxLINE backend path

The demonstration covers the market-risk problem, an autonomous goal-shock run, deterministic reopening, the production-path rehearsal and the exact TxLINE integration boundary.

The recorded run is explicitly synthetic and paper-only. It demonstrates working product behaviour without misrepresenting it as a credential-backed TxLINE session.

Open video on YouTube

Initial screening

Every required artefact is public

5/5ready

Demo video
Problem, working product, backend path and evidence boundary.
Published · 4:48
Public repository
Source, architecture, tests and safety documentation.
Published
Application access
Interactive agent, JSON endpoints and resumable synthetic SSE.
Working deployment
Technical documentation
Core idea, business case, architecture and exact endpoint mapping.
Complete
TxLINE feedback
What worked, friction and the observations still unknown before live access.
Complete with boundary

Fast judge path

Understand and test ProofSwitch in under seven minutes

01
Watch the complete demo
4 minutes 48 seconds
Play video
02
Run the autonomous scenario
About 90 seconds · two evidence checkpoints
Start walkthrough
03
Inspect source and contracts
Public repository plus machine-readable manifest
Open manifest

Sponsor eligibility still requires one genuine fixture, odds and score-stream run after an activated TxLINE token is supplied.

Application access

Working judge experience

Run the deterministic demo and the production-path synthetic rehearsal in this deployment.

Open ProofSwitch

Public repository

Source and tests

Implementation, architecture, safety boundaries and automated validation.

Open GitHub repository

Demo video · under five minutes

Problem, product and backend

Scripted walkthrough covering the working agent and the TxLINE integration boundary.

Watch demo video

Business case

Protect market makers during the seconds that matter

User: Sports trading teams, market makers and risk operators.
Problem: Price shocks, goals and feed failures can leave stale quotes exposed.
Value: Fast, deterministic protection with an audit trail for every automated decision.
Model: Paper execution for the hackathon; production integrations can connect the guarded command layer to an execution venue.

What judges can test now

Working UI and functional synthetic API

Submission manifest
/api/submissionMachine-readable links, track fit, evidence state and integration boundary.
Runtime status
/api/statusCurrent data mode, live readiness and safe capability flags.
Synthetic fixtures
/api/fixturesLabelled World Cup fixture data for the public judge rehearsal.
Synthetic odds
/api/odds?fixtureId=20260001Normalised match-winner probabilities used by the rehearsal.
Synthetic score
/api/scores?fixtureId=20260001Normalised score and match state used by the rehearsal.
Odds SSE stream
/api/stream?kind=odds&fixtureId=20260001Resumable consensus-odds events with explicit synthetic source labels.
Score SSE stream
/api/stream?kind=scores&fixtureId=20260001Resumable score events with explicit synthetic source labels.

These public endpoints intentionally return labelled synthetic data. They prove the running application and reducer path, not a genuine TxLINE session.

Primary track evidence

Ingest signals, detect risk, execute decisions

IngestTxLINE-shaped odds and scores

Fixture discovery, snapshot bootstrap and two SSE streams feed one normalised event contract.

DetectMaterial trading signals

Consensus movement, score confirmation and stale transport are evaluated by a deterministic risk policy.

ExecuteAutonomous paper decisions

The agent cancels every unsafe quote, holds, reprices and reopens only after recovery gates pass.

Novelty: ProofSwitch treats safe recovery as a first-class autonomous decision. Detecting a shock is only the start; the market remains withdrawn until score confirmation, transport freshness, a minimum hold and stable consensus evidence all agree.

≥4 ppConsensus-shock threshold

6Paper quotes cancelled on breach

3Stable observations before recovery

Fail closedWhen live credentials are absent

Technical highlights

One guarded strategy path from data to paper execution

The live reducer handles snapshots, SSE updates and the synthetic production-path rehearsal; the Demo Lab is a separate deterministic simulator.
The sharp-movement detector reacts to consensus shocks, confirmed score events and stale data.
The paper market maker cancels unsafe quotes, enforces a hold, then reopens only after stable recovery evidence.
Live mode fails closed: missing credentials or invalid contracts never fall back to synthetic data.
TxLINE credentials remain server-side, and Solana verification is never claimed without a genuine successful validation.

TxLINE integration

Integrated upstream endpoints

The server adapters implement the following TxLINE surface. They are contract-tested and credential-ready; “used live” must not be claimed until a sponsor token is supplied and a genuine session is recorded.

Method	Endpoint	Purpose
POST	`/auth/guest/start`	Create an anonymous guest session and return its short-lived JWT.
GET	`/api/fixtures/snapshot`	Discover covered World Cup fixtures.
GET	`/api/odds/snapshot/{fixtureId}`	Seed the match-winner StablePrice state before streaming.
GET	`/api/scores/snapshot/{fixtureId}`	Seed the score and match-state reducer.
GET	`/api/odds/stream?fixtureId=...`	Receive live consensus-price and heartbeat events over SSE.
GET	`/api/scores/stream?fixtureId=...`	Receive score, disciplinary and match-state events over SSE.
GET	`/api/scores/stat-validation?fixtureId=...&seq=...&statKeys=...`	Retrieve validation material for the optional Solana proof boundary.

TxLINE API feedback

Pre-credential integration experience

The integration design benefits from the separation between initial snapshots and SSE updates, the normalised fixture, odds and score families, and StablePrice consensus values that map cleanly into a shock policy. The same normalised contract lets the synthetic production-path rehearsal exercise the intended live reducer without being represented as genuine TxLINE traffic.

The main friction was the multi-part live setup: activated API-token access, guest-session authentication and matching configuration across API host, Solana network, RPC and programme ID. A compact end-to-end devnet example covering authentication, stream resumption, score sequences and the stat-validation lifecycle would reduce integration time.

This feedback reflects implementation against the documented contracts and adapter tests. No credential-backed TxLINE call has been made in this workspace, so live reliability and payload observations remain unknown.

Demo video run sheet

Complete in under five minutes

0:00–0:30
Problem
Goals, odds shocks and stale feeds can leave unsafe quotes exposed.
0:30–0:55
Product
ProofSwitch is an autonomous in-play risk operator for trading teams and market makers.
0:55–2:20
Working app
Run the goal-shock walkthrough: detect, cancel, hold, stabilise and reopen.
2:20–3:35
TxLINE backend
Show the fixture, snapshot and SSE adapters around the production reducer; identify the recording as a synthetic rehearsal rather than a credential-backed session.
3:35–4:20
Evidence
Review the scorecard, audit trail, paper execution and guarded Solana boundary.
4:20–4:48
Close
Explain the business value, Trading Tools and Agents fit, public app and repository.

Evidence boundary

Working synthetic system — live-input eligibility blocked

The UI, synthetic API, strategy engine, paper execution, documentation and tests work now. Final sponsor eligibility still depends on receiving a TxLINE token and recording at least one genuine live fixture, odds and score-stream session. Solana validation remains optional and unclaimed until genuine proof material succeeds.

Run the judge walkthrough