Test apps
Every NockApp scenario the lab runs — single-chain apps, the cross-chain Nockchain<->Base tester, and the attack catalog (negative controls that must be caught). Each fixture drives the verification chain (fixture → invariants → generated report → evidence). Browse a fixture's generated report to see its re-derived status, invariants, and evidence.
App fixture · 16
Bridge Delayed
fixtures/bridge-delayed.lab.json
Bridge Pack
fixtures/bridge-pack.lab.json
Bridge Settlement
fixtures/bridge-settlement.lab.json
Compute Benchmark Alpha
fixtures/compute-benchmark-alpha.lab.json
Forfeit Dice Fairness
fixtures/forfeit-dice-fairness.lab.json
Forfeit Flip Fairness
fixtures/forfeit-flip-fairness.lab.json
Forfeit Highcard Fairness
fixtures/forfeit-highcard-fairness.lab.json
Forfeit Limbo Fairness
fixtures/forfeit-limbo-fairness.lab.json
Forfeit Roulette Fairness
fixtures/forfeit-roulette-fairness.lab.json
Forfeit Slots Fairness
fixtures/forfeit-slots-fairness.lab.json
Hello Counter
fixtures/hello-counter.lab.json
Intent Settlement
fixtures/intent-settlement.lab.json
Mining Pow
fixtures/mining-pow.lab.json
Payment Flow
fixtures/payment-flow.lab.json
Pma Safety
fixtures/pma-safety.lab.json
Token Issuance
fixtures/token-issuance.lab.json
Cross-chain · 3
Xchain Atomic Swap
fixtures/xchain-atomic-swap.lab.json
Xchain Federated Bridge
fixtures/xchain-federated-bridge.lab.json
Xchain Multi Evm Bridge
fixtures/xchain-multi-evm-bridge.lab.json
Attack / negative control · 15
Attack Peek Leaks Seed
fixtures/attack-peek-leaks-seed.lab.json
Attack Xchain Challenge Window Violated
fixtures/attack-xchain-challenge-window-violated.lab.json
Attack Xchain Evm Hashlock Family Mismatch
fixtures/attack-xchain-evm-hashlock-family-mismatch.lab.json
Attack Xchain Hash Algo Mismatch
fixtures/attack-xchain-hash-algo-mismatch.lab.json
Attack Xchain Insufficient Finality For Chain
fixtures/attack-xchain-insufficient-finality-for-chain.lab.json
Attack Xchain Mint Without Burn
fixtures/attack-xchain-mint-without-burn.lab.json
Attack Xchain Missing Domain Separator
fixtures/attack-xchain-missing-domain-separator.lab.json
Attack Xchain One Sided Settlement
fixtures/attack-xchain-one-sided-settlement.lab.json
Attack Xchain Premature Finality
fixtures/attack-xchain-premature-finality.lab.json
Attack Xchain Replay
fixtures/attack-xchain-replay.lab.json
Attack Xchain Replay Namespacing
fixtures/attack-xchain-replay-namespacing.lab.json
Attack Xchain Signature Replay
fixtures/attack-xchain-signature-replay.lab.json
Attack Xchain Timelock Inversion
fixtures/attack-xchain-timelock-inversion.lab.json
Attack Xchain Unauthorized Signer
fixtures/attack-xchain-unauthorized-signer.lab.json
Attack Xchain Under Quorum
fixtures/attack-xchain-under-quorum.lab.json
Runs are executed by the nocklab CLI (npm run lab:ci); this browser surfaces the catalog + pre-generated reports. Live in-browser runs are out of scope (the Worker cannot spawn the CLI).