diff --git a/README.md b/README.md
index 5ffc572..c7aeabe 100644
--- a/README.md
+++ b/README.md
@@ -159,7 +159,7 @@ docs/                   Design, threat model, track answers, deploy, limitations
 
 ```bash
 pnpm install
-pnpm contract:test          # 14 Rust tests
+pnpm contract:test
 pnpm bindings:generate      # generate TS bindings from the contract
 pnpm bindings:check         # verify committed bindings match the contract
 pnpm web:dev                # jury UI — works without .env
@@ -167,6 +167,16 @@ pnpm agents:e2e             # testnet full agent proof (needs stellar keys)
 pnpm mainnet:verify         # mainnet read-only proof
 ```
 
+## Verification
+
+| Suite | Command |
+| --- | --- |
+| Contract | `pnpm contract:test` |
+| tlock | `pnpm tlock:test` |
+| SDK | `pnpm sdk:test` |
+| Keeper | `pnpm keeper:test` |
+| Web | `pnpm web:test` |
+
 ## Documentation
 
 | Doc | Purpose |
@@ -185,9 +195,9 @@ pnpm mainnet:verify         # mainnet read-only proof
 
 ## Status (submission)
 
-- [x] Round contract + 14 tests + on-chain Drand BLS
-- [x] tlock + auditor blob (13 tests)
-- [x] SDK (7 tests) + optional OZ Relayer Channels submitter
+- [x] Round contract + on-chain Drand BLS
+- [x] tlock + auditor blob
+- [x] SDK + optional OZ Relayer Channels submitter
 - [x] Testnet **full lifecycle** (`lifecycle:e2e`) — USDC, 2 bidders, settle → 0
 - [x] Testnet **multi-agent** (`agents:e2e`) — x402, mandate, keeper reveal, settle → 0, **single UI trace**
 - [x] Mainnet **deploy + settle smoke** — 1/5 XLM, round 1 settled
diff --git a/docs/SCF_PLAN.md b/docs/SCF_PLAN.md
index eb1a09c..8654ed8 100644
--- a/docs/SCF_PLAN.md
+++ b/docs/SCF_PLAN.md
@@ -72,8 +72,8 @@ Stellar is a core part of the product, not superficial storage:
 
 | Proof | Network | Status |
 | --- | --- | --- |
-| Round contract + tests | Local/Soroban | 14 Rust tests |
-| tlock package + auditor blob | Local | 13 tests |
+| Round contract + tests | Local/Soroban | `pnpm contract:test` |
+| tlock package + auditor blob | Local | `pnpm tlock:test` |
 | SDK | Local/Testnet | Contract bindings + direct RPC submitter |
 | Full lifecycle | Testnet | `pnpm lifecycle:e2e`: 2 bidders, USDC SAC, settle to 0 |
 | Multi-agent + x402 | Testnet | `pnpm agents:e2e`: x402 appraisal, sealed commits, keeper reveal, settle |