> ## 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.

# Verify Slip locally

> Rebuild the program and generated client, run Surfpool, and execute every workspace quality gate.

# How to verify Slip locally

Use this procedure to reproduce the checked-in program, generated client, tests, and production web
build. It does not require the public devnet upgrade.

## Prerequisites

* Node.js 22 or later
* pnpm 10.33
* Rust and Solana platform tools compatible with the checked-in lockfile
* Anchor CLI 0.32.1
* Surfpool 1.4, installed through the workspace dependencies

## Build the program and generated client

From the Slip workspace:

```bash theme={null}
pnpm install
cd program
anchor --version
anchor build
cd ..
pnpm run codama:js
```

Do not continue unless `anchor --version` reports 0.32.1. After generation, the IDL must contain only
`buy_ticket`, `claim_ticket`, `create_market`, `resolve_market`, and `void_market`.

## Run the real program lifecycle

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

A successful run reports three unified-market scenarios. This command compiles the SBF and performs
actual SPL token operations inside Surfpool.

## Run the complete verification gates

```bash theme={null}
pnpm test
pnpm typecheck
pnpm lint
pnpm build
```

Do not report an individual package as passing if a later workspace command fails. Preserve the exact
command output for the handoff or demo evidence.

## Recheck TxLINE ground truth

The offline ground-truth suite needs no token:

```bash theme={null}
pnpm --filter @slip/scripts test
```

The live gates require a funded activation keypair, Solana RPC, and TxLINE access:

```bash theme={null}
pnpm --filter @slip/scripts subscribe
pnpm --filter @slip/scripts r1
pnpm --filter @slip/scripts r3
pnpm --filter @slip/scripts tamper
```

If credentials or the live service are unavailable, report the gate as not run. Do not replace it
with generated proof success.