Nocksperimental
Generated reports

Generated report detail

Bridge Settlement Pack

Fixture bridge-pack-v0 generated pass at 2026-06-10T22:58:55.210Z.

JSON
Status
pass
Steps
5/5
Invariants
6/6
Snapshots
6

Environment

Mode

mock-fakenet

gRPC Endpoint

127.0.0.1:5555

Fakenet Command

nockchain --fakenet --bind-public-grpc-addr 127.0.0.1:5555 --no-default-peers

Mock bridge withdrawal settlement run exercising the bridge-settlement invariant pack.

Relayer and sequencer pokes advance settlement through observed, proven, and finalized states.

Pack authority is pinned to the bridge withdrawal execution commit; see upstreamBasis.

Metadata-only: no raw withdrawal proofs, sequencer signing material, PMA slabs, or state jams are represented.

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

Bridge Settlement Core

bridge-settlement-core-v0

0.1.0

Domainbridge-settlement

Path../packs/bridge.invariants.json

Run Steps

Boot mock bridge fakenet

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

Relayer observes the withdrawal on Base

poke

pass

true

Sequencer records the settlement proof

poke

pass

true

Sequencer finalizes the withdrawal at confirmation depth

poke

pass

finalized

Read finalized settlement status

peek

pass

finalized

Invariant Results

Bridge withdrawal reaches finalized terminal state

critical

pass

Observed finalized; expected settlement.status == finalized.

Settlement proof was observed before finalization

critical

pass

Observed true; expected settlement.proofSeen == true.

Withdrawal was observed on Base

high

pass

Observed true; expected settlement.observedOnBase == true.

Bridge failure alert remains clear

critical

pass

Observed false; expected alerts.failed == false.

Bridge pokes are performed by authorized relayer/sequencer actors

high

pass

Observed 3/3 poke actors authorized; expected actors in [relayer, sequencer].

Withdrawal reaches a positive confirmation depth

high

pass

Observed 6; expected settlement.confirmedHeight >= 6.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
settlement.statusinitiatedfinalized
settlement.proofSeenfalsetrue
settlement.observedOnBasefalsetrue
settlement.confirmedHeight06

Snapshot Timeline

Initial state

initial

afaaf73fc6161a56

After boot-fakenet

boot-fakenet

afaaf73fc6161a56

After relayer-observes-base

relayer-observes-base

5d8611e1747f984c

After sequencer-records-proof

sequencer-records-proof

045d7b93142c68be

After sequencer-finalizes

sequencer-finalizes

4f32a77e5f441ed6

After peek-settlement

peek-settlement

4f32a77e5f441ed6

Artifacts

Report ID

lab_bridge-pack-v0_20260610225855210

Report Hash

sha256:8bbe0a3108e4bc01d39ee216e7a8ad16b38eab13b8481ca817962805fe9b228d

Snapshot Root

4f32a77e5f441ed6

JSON Path

/bundle/server-functions/default/.nocklab/bridge-pack.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/bridge-pack.report.md

Markdown Bytes

2291

Changed Paths

settlement.status, settlement.proofSeen, settlement.observedOnBase, settlement.confirmedHeight

Markdown Preview

# ✅ Bridge Settlement Pack Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Bridge Settlement Pack Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

bridge-settlement-core-v0

Report Hash

sha256:8bbe0a3108e4bc01d39ee216e7a8ad16b38eab13b8481ca817962805fe9b228d

Snapshot Root

4f32a77e5f441ed6