Generated reports

Generated report detail

Hello Counter

Fixture hello-counter-v0 generated pass at 2026-06-05T15:21:58.276Z.

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

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

Modeled after the official local fakenet flow.

This fixture is mock-backed until a real adapter can call a node.

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

Boot mock fakenet profile

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

Alice increments counter

poke

pass

1

Bob increments counter and receives test balance

poke

pass

2

Read counter value

peek

pass

2

Invariant Results

Counter is never negative

critical

pass

Observed 2; expected counter >= 0.

Counter final value matches fixture

medium

pass

Observed 2; expected counter == 2.

Every poke has a declared actor

high

pass

Observed 2/2 poke steps declared actors; expected all poke steps declare actors.

NOCK-denominated balances conserve supply

critical

pass

Observed total=1000, supply=1000; expected balances sum equals totalSupply.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
counter02
balances.alice1000700
balances.bob0300

Snapshot Timeline

Initial state

initial

6c97df081d4232bf

After boot-fakenet

boot-fakenet

6c97df081d4232bf

After poke-increment-alice

poke-increment-alice

dd14a89292afeb15

After poke-increment-bob

poke-increment-bob

c88df7375b7c9399

After peek-counter

peek-counter

c88df7375b7c9399

Artifacts

Report ID

lab_hello-counter-v0_20260605152158276

Report Hash

sha256:4ac8e593f22bf730c955f03d4b28d3eddc82d3a35d3f3d741a9f6c3e083ba08e

Snapshot Root

c88df7375b7c9399

JSON Path

/bundle/server-functions/default/.nocklab/hello-counter.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/hello-counter.report.md

Markdown Bytes

1363

Changed Paths

counter, balances.alice, balances.bob

Markdown Preview

# Hello Counter Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Hello Counter Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

none

Report Hash

sha256:4ac8e593f22bf730c955f03d4b28d3eddc82d3a35d3f3d741a9f6c3e083ba08e

Snapshot Root

c88df7375b7c9399