# Slip

> Proof-settled parimutuel football markets on Solana

## Docs

- [Architecture](https://docs.useslip.xyz/architecture.md): How Slip connects natural-language markets, Solana escrow, TxLINE proofs, and permissionless settlement.
- [Bounty submission brief](https://docs.useslip.xyz/bounty-submission.md): Submission-ready overview of Slip's product, technical design, TxLINE usage, and missing public artifacts.
- [Configuration](https://docs.useslip.xyz/configuration.md): Environment variables for AI compilation, Solana, TxLINE authentication, deployment gates, and keeper operations.
- [Deployment status](https://docs.useslip.xyz/deployment-status.md): Verified local capabilities, public deployment gaps, and conditions required before enabling writes.
- [Deploy the unified program](https://docs.useslip.xyz/how-to-deploy.md): Build, upgrade, verify, and enable Slip's unified market program on Solana devnet.
- [Record the bounty demo](https://docs.useslip.xyz/how-to-record-demo.md): A five-minute recording sequence that demonstrates Slip without overstating deployment status.
- [Run Rulebook AI on an MBP](https://docs.useslip.xyz/how-to-use-ollama.md): Serve Ollama from a MacBook Pro over a trusted home LAN and consume it from Slip on another machine.
- [Verify Slip locally](https://docs.useslip.xyz/how-to-verify-locally.md): Rebuild the program and generated client, run Surfpool, and execute every workspace quality gate.
- [Slip documentation](https://docs.useslip.xyz/index.md): Build, verify, and evaluate Slip's proof-settled parimutuel football markets.
- [Unified market invariants](https://docs.useslip.xyz/parimutuel.md): Canonical expressions, outcome partitions, payout arithmetic, proof settlement, and refund rules.
- [Product overview](https://docs.useslip.xyz/product-overview.md): Why Slip uses one variable-stake parimutuel primitive for football prediction markets.
- [Program reference](https://docs.useslip.xyz/program-reference.md): Accounts, instructions, states, constants, limits, settlement arithmetic, and program errors.
- [Quickstart](https://docs.useslip.xyz/quickstart.md): Install Slip, compile the unified program, and run the real Surfpool lifecycle.
- [SDK and public API](https://docs.useslip.xyz/sdk-api-reference.md): AI Rulebook compilation, TxLINE access, Solana transactions, account reads, and HTTP contracts.
- [Submission checklist](https://docs.useslip.xyz/submission-checklist.md): Mandatory TxODDS screening artifacts, working-build evidence, and claim-accuracy checks.
- [Test matrix](https://docs.useslip.xyz/testing.md): Commands and scenarios covered by Rust, Surfpool, SDK, keeper, and web verification.
- [TxLINE integration feedback](https://docs.useslip.xyz/txline-feedback.md): Verified strengths and integration friction found during live activation, proof reconstruction, and tamper testing.
- [TxLINE integration](https://docs.useslip.xyz/txline-reference.md): Exact authentication flow, API endpoints, soccer stat keys, terminal phases, and Merkle proof encoding used by Slip.

## Optional

- [TxLINE documentation](https://txline.txodds.com/documentation/quickstart)
- [Program explorer](https://explorer.solana.com/address/8VNZ5VseAcFaYhAZxetgE5N8eiD17ZZNchGhoatYUUXw?cluster=devnet)