Nocksperimental
Generated reports

Generated report detail

ATTACK: insufficient-finality-for-chain

Fixture attack-xchain-insufficient-finality-for-chain-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.

Base (8453) settle credited at 12 NATIVE confirmations; Base needs ~65 on L1-batch basis.

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

Confirmations >= registry floor + correct basis

critical

fail

Observed FINALITY: wd-001@Base: 12 < 65 confirmations; wd-001@Base: basis native != required L1-batch; expected each settle has confirmations >= max(app, registry floor[chain]) on the chain's required basis, under xchain.finality.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
xchain.observedundefinedtrue

Snapshot Timeline

Initial state

initial

2abb8c33719dbd4e

After observe

observe

0ef976bbe9efc3b6

Artifacts

Report ID

lab_attack-xchain-insufficient-finality-for-chain-v0_20260610225855225

Report Hash

sha256:eac2c6e34ce98b42439890e9b7c26f2704dc4d1423899ad148fa60e2b3db1ea7

Snapshot Root

0ef976bbe9efc3b6

JSON Path

/bundle/server-functions/default/.nocklab/attack-xchain-insufficient-finality-for-chain.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/attack-xchain-insufficient-finality-for-chain.report.md

Markdown Bytes

1092

Changed Paths

xchain.observed

Markdown Preview

# ✅ ATTACK: insufficient-finality-for-chain Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

ATTACK: insufficient-finality-for-chain Verification Candidate

Status

watch

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:eac2c6e34ce98b42439890e9b7c26f2704dc4d1423899ad148fa60e2b3db1ea7

Snapshot Root

0ef976bbe9efc3b6