Nocksperimental
Generated reports

Generated report detail

Hello Counter

Fixture hello-counter-v0 generated pass at 2026-06-10T22:58:55.199Z.

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_20260610225855199

Report Hash

sha256:b633189d4d1e259b631746ad50df53bd41e276003ca80696af5bf3f7947397f4

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

1606

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:b633189d4d1e259b631746ad50df53bd41e276003ca80696af5bf3f7947397f4

Snapshot Root

c88df7375b7c9399