Nocksperimental
Generated reports

Generated report detail

ATTACK: under-quorum

Fixture attack-xchain-under-quorum-v0 generated pass at 2026-06-10T22:58:55.219Z.

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.

Mint attested by only 2 of the required 3-of-5 signers.

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

Mint needs >= threshold attestations

critical

fail

Observed QUORUM FAIL: wd-001: 2/3 sigs; expected each mint attested by >= threshold distinct authorized signers under xchain.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
xchain.observedundefinedtrue

Snapshot Timeline

Initial state

initial

c241b386c68c9251

After observe

observe

c41313b64ff5b64f

Artifacts

Report ID

lab_attack-xchain-under-quorum-v0_20260610225855219

Report Hash

sha256:cbf3638032e89cfd024245549827c13f9d6fcf93f02b798f5e35f0eeda83ea54

Snapshot Root

c41313b64ff5b64f

JSON Path

/bundle/server-functions/default/.nocklab/attack-xchain-under-quorum.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/attack-xchain-under-quorum.report.md

Markdown Bytes

930

Changed Paths

xchain.observed

Markdown Preview

# ✅ ATTACK: under-quorum Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

ATTACK: under-quorum Verification Candidate

Status

watch

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:cbf3638032e89cfd024245549827c13f9d6fcf93f02b798f5e35f0eeda83ea54

Snapshot Root

c41313b64ff5b64f