> ## Documentation Index
> Fetch the complete documentation index at: https://docs.useslip.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Test matrix

> Commands and scenarios covered by Rust, Surfpool, SDK, keeper, and web verification.

# Test matrix

## Full workspace

| Command          | Coverage                                                                                  |
| ---------------- | ----------------------------------------------------------------------------------------- |
| `pnpm test`      | bigint compatibility, TxLINE ground truth, SDK, keeper, web, and real Surfpool lifecycle. |
| `pnpm typecheck` | SDK build/types, keeper, program TypeScript tests, and web.                               |
| `pnpm lint`      | Next.js web source.                                                                       |
| `pnpm build`     | SDK production output and optimized Next.js build.                                        |

## Rust

```bash theme={null}
cargo fmt --check --manifest-path program/programs/slip/Cargo.toml
cargo test --manifest-path program/programs/slip/Cargo.toml --lib
```

The five Rust tests cover the program ID, R1 stat-leaf golden value, expression arithmetic, terminal
phase allowlist, and canonical stat-key metadata.

## Surfpool

```bash theme={null}
pnpm --filter @slip/program test:surfpool
```

The suite builds the actual SBF, deploys it into an offline Surfpool network, creates a real
six-decimal SPL mint and token accounts, and executes the public SDK's create, buy, resolve, claim,
and void transaction methods without monkey-patching.

Covered scenarios:

1. Reject a non-contiguous outcome partition.
2. Reject a stat-key and side mismatch.
3. Create a five-band total-corners market.
4. Create a three-outcome 1X2 market.
5. Buy different stake amounts from two funded wallets.
6. Assert vault balance equals total pools.
7. Reject a buy after entry closes.
8. Resolve using a terminal two-stat proof anchored in a TxLINE-owned roots PDA fixture.
9. Assert winning outcome and market state.
10. Assert exact fee and resolver-tip balances.
11. Reject a losing claim.
12. Pay the hand-calculated proportional winner amount.
13. Reject a second claim.
14. Represent Draw / Not draw with multiple bands pointing to one outcome.
15. Void and refund a one-sided book.
16. Void a two-sided unresolved book after timeout and refund both tickets.

## SDK

The default SDK suite covers semantic AI-output compilation, every expression operation, period
prefixes, five named outcomes, unsupported-output rejection, complete partitions, UTF-8 label limits,
program fee/tip parity, IDs, timestamps, exact money math, zero liquidity, large u64-safe values, and
instruction accounts.

Real model and TxLINE calls are separate credential-gated commands:

```bash theme={null}
pnpm --filter @slip/sdk test:ai
pnpm --filter @slip/sdk test:txline
```

`test:ai` requires `SLIP_RULE_PROVIDER` and `SLIP_RULE_MODEL`; gateway mode additionally requires
`AI_GATEWAY_API_KEY`. `test:ai:ollama` targets `OLLAMA_BASE_URL` and sends real natural-language
requests. `test:txline` requires `TXLINE_DEVNET_ORIGIN` and an activated `TXLINE_API_TOKEN`. These
commands fail when their real boundaries are absent rather than substituting a model or HTTP fixture.

## Keeper and web

Keeper tests cover terminal-priority policy, unknown TxLINE status, durable retry persistence, and
HTTP readiness. Web tests cover fixture orientation, token amount parsing, market projection,
proportional payouts, the Framework Kit transaction boundary, AI compile API discovery, public
routes, pagination, and CORS.

The devnet web integration is intentionally gated until the public program is upgraded. It fails with
a precise blocker instead of validating legacy accounts as unified markets.