Skip to main content

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:
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

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

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:
pnpm --filter @slip/scripts test
The live gates require a funded activation keypair, Solana RPC, and TxLINE access:
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.