Nocksperimental
Generated reports

Generated report detail

Mining and PoW Pack

Fixture mining-pow-v0 generated pass at 2026-06-10T22:58:55.212Z.

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

Environment

Mode

mock-fakenet

gRPC Endpoint

127.0.0.1:5555

Fakenet Command

nockchain --fakenet --mine --mining-pkh <pkh> --bind-public-grpc-addr 127.0.0.1:5555 --no-default-peers

Mock fakenet mining run exercising the mining-pow invariant pack.

A miner poke mines a block (advances height, meets the PoW target); a node poke confirms the new heaviest chain.

Metadata-only: no raw candidate noun, raw proof, PMA slabs, state jams, or mining-key secret material is 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

Mining and PoW Core

mining-pow-core-v0

0.1.0

Domainmining-pow

Path../packs/mining-pow.invariants.json

Run Steps

Boot mock mining fakenet

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

Miner mines a block meeting the PoW target

poke

pass

1005

Node confirms the new heaviest chain

poke

pass

true

Read proof-of-work target status

peek

pass

true

Invariant Results

Mined block height does not regress below its floor

critical

pass

Observed 1005; expected mining.blockHeight >= 1000.

Proof of work meets the difficulty target

critical

pass

Observed true; expected mining.powTargetMet == true.

Mining tracks the heaviest chain, not a stale candidate

high

pass

Observed true; expected mining.onHeaviestChain == true.

Mining evidence records the fakenet network context

medium

pass

Observed fakenet; expected mining.network == fakenet.

Mining pokes are performed by authorized miners

high

pass

Observed 2/2 poke actors authorized; expected actors in [miner, node].

Mining failure alert remains clear

critical

pass

Observed false; expected alerts.failed == false.

Alerts

No alert policies configured.

Adapter Observations

No adapter observations captured.

State Diffs

PathBeforeAfter
mining.blockHeight10001005
mining.powTargetMetfalsetrue

Snapshot Timeline

Initial state

initial

e9838fcec3bbb64e

After boot-fakenet

boot-fakenet

e9838fcec3bbb64e

After miner-mines-block

miner-mines-block

b60af7179b49d019

After node-confirms-heaviest

node-confirms-heaviest

b60af7179b49d019

After peek-pow-target

peek-pow-target

b60af7179b49d019

Artifacts

Report ID

lab_mining-pow-v0_20260610225855212

Report Hash

sha256:fb6b63e3fe1b85c411d4139d0b9c43d4237cd086677878455aa42fee73907b2e

Snapshot Root

b60af7179b49d019

JSON Path

/bundle/server-functions/default/.nocklab/mining-pow.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/mining-pow.report.md

Markdown Bytes

1841

Changed Paths

mining.blockHeight, mining.powTargetMet

Markdown Preview

# ✅ Mining and PoW Pack Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Mining and PoW Pack Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

mining-pow-core-v0

Report Hash

sha256:fb6b63e3fe1b85c411d4139d0b9c43d4237cd086677878455aa42fee73907b2e

Snapshot Root

b60af7179b49d019