Reproduce the evidence
Commands for checking the results and rebuilding the app from a clean checkout.
Exact source identities are in sources.lock.json and the lockfile. Use Node 22.16.0 (at
least 22.13) and pnpm 11.10.0. Run everything from the repository root.
Install and test
pnpm install --frozen-lockfile --ignore-scripts
pnpm build
pnpm testExpect 30 passing Solidity tests, including three fuzz properties at 256 runs each.
Check the model and bootstrap
node scripts/check-capacity-model.mjs
node scripts/check-bootstrap.mjs327,168 bounded settlement cases, then source identities and documentation links.
Replay separate transactions
pnpm test:transactions239 retained transactions; 137 accepted and 55 rejected seeded swaps must match the independent model at every step.
Check the benchmark evidence
pnpm check:benchmark
node --test scripts/check-benchmark.test.mjs
node scripts/check-rejections.mjs --self-test72 fixtures and 24 checker tests pass; the rejection checker must reject all 25 deliberately corrupted reports.
Measure lifecycle gas
pnpm exec hardhat run scripts/check-lifecycle-gas.mjsRegenerate the benchmark
Generation requires a clean tree, because every report records its source commit and dirty flag.
pnpm benchmark:a-b-c
# verify and commit the new report first, so the tree is clean again
pnpm exec hardhat run benchmarks/replay-rejections.mjsRunning both generators back to back without committing the first report produces dirty replay provenance, which the checker correctly rejects.
Fork and Sepolia
pnpm exec hardhat run scripts/check-release.mjs
node scripts/verify-fork-upstream.mjs
AQUAQOS_FORK=1 pnpm exec hardhat run scripts/check-release.mjs
node scripts/check-release-evidence.mjs --self-test
pnpm check:sepoliaFork RPC
The fork defaults to a public read-only Ethereum RPC. Supply an archive-capable URL through
AQUAQOS_FORK_RPC if needed, and never commit credentials. The runner never forwards writes
to that URL.
Run the app
pnpm --dir web install --frozen-lockfile --ignore-scripts
pnpm proof:serveOpen http://127.0.0.1:4173/.
pnpm --dir web build also reruns the benchmark checker before exporting, so the app cannot
ship evidence that fails validation.