Nocksperimental
Generated reports

Generated report detail

ATTACK: challenge-window-violated

Fixture attack-xchain-challenge-window-violated-v0 generated pass at 2026-06-10T22:58:55.225Z.

JSON
Status
pass
Steps
1/1
Invariants
0/1
Snapshots
2

Environment

Mode

mock-fakenet

gRPC Endpoint

n/a

Fakenet Command

model

NEGATIVE CONTROL (expectRejected=true): a multi-EVM cross-chain exploit the invariant MUST catch.

Bridge credits an Optimism (10) withdrawal 3600s after burn, inside the 7-day fraud-proof window, not L1-finalized.

expectRejected inverts a CAUGHT exploit to a green proof-of-prevention.

Next Actions

  1. Replace mock poke and peek execution with local fakenet adapter calls.
  2. Replace command-backed fakenet metadata probes with stable gRPC-native probes once node surfaces are available.
  3. Persist generated reports under a project workspace.
  4. Add app-specific invariant packs as the NockApp interface stabilizes.

Invariant Packs

No invariant packs referenced.

Run Steps

Observe terminal joint multi-EVM state

bridge

pass

true

Invariant Results

Wait for finalization / challenge window

critical

fail

Observed CHALLENGE WINDOW: wd-001@Optimism: credited after 3600s, before the 604800s challenge window (not L1-finalized); expected no optimistic-rollup withdrawal credited before L1-finalization or its challenge window closes, under xchain.exits.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
xchain.observedundefinedtrue

Snapshot Timeline

Initial state

initial

b09980c8b21e8fc5

After observe

observe

26616b0de954469b

Artifacts

Report ID

lab_attack-xchain-challenge-window-violated-v0_20260610225855225

Report Hash

sha256:473c921e5e40caf85050725018f5ec952964129faf32e96febf8161ecbf34f74

Snapshot Root

26616b0de954469b

JSON Path

/bundle/server-functions/default/.nocklab/attack-xchain-challenge-window-violated.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/attack-xchain-challenge-window-violated.report.md

Markdown Bytes

1089

Changed Paths

xchain.observed

Markdown Preview

# ✅ ATTACK: challenge-window-violated Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

ATTACK: challenge-window-violated Verification Candidate

Status

watch

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:473c921e5e40caf85050725018f5ec952964129faf32e96febf8161ecbf34f74

Snapshot Root

26616b0de954469b