Nocksperimental
Generated reports

Generated report detail

ATTACK: timelock-inversion

Fixture attack-xchain-timelock-inversion-v0 generated pass at 2026-06-10T22:58:55.222Z.

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 cross-chain exploit that the invariant MUST catch.

First-funded (Nockchain) refund window <= the Base claim window (free option / theft).

expectRejected inverts a CAUGHT exploit to a green PASS (a signed 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 the terminal joint state

bridge

pass

true

Invariant Results

First-funded refund > second claim window

critical

fail

Observed FREE OPTION: first-funded nockchain=100 <= base=200; expected refund timelock on the first-funded leg > claim window on every other leg under xchain.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
xchain.observedundefinedtrue

Snapshot Timeline

Initial state

initial

8dfc45b110a33bfc

After observe

observe

61e1a041e3b2b9c2

Artifacts

Report ID

lab_attack-xchain-timelock-inversion-v0_20260610225855222

Report Hash

sha256:ae93bc4e7f0f83665e8eeb1e4aed9412d550c114f7be52fb2d3ffd8fef131c97

Snapshot Root

61e1a041e3b2b9c2

JSON Path

/bundle/server-functions/default/.nocklab/attack-xchain-timelock-inversion.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/attack-xchain-timelock-inversion.report.md

Markdown Bytes

981

Changed Paths

xchain.observed

Markdown Preview

# ✅ ATTACK: timelock-inversion Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

ATTACK: timelock-inversion Verification Candidate

Status

watch

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:ae93bc4e7f0f83665e8eeb1e4aed9412d550c114f7be52fb2d3ffd8fef131c97

Snapshot Root

61e1a041e3b2b9c2