Generated reports

Generated report detail

Token Issuance

Fixture token-issuance-v0 generated pass at 2026-06-05T15:21:58.306Z.

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 token issuance lifecycle for future native token compatibility reports.

Focuses on issuer authority, metadata, and supply accounting.

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

Token Issuance Core

token-issuance-core-v0

0.1.0

Domaintoken-issuance

Path../packs/tokens.invariants.json

Run Steps

Boot mock token fakenet

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

Issuer mints treasury allocation

poke

pass

1250

Treasury distributes holder allocation

poke

pass

100

Issuer finalizes token issuance

poke

pass

finalized

Read token metadata

peek

pass

Mock Token

Invariant Results

Token balances conserve total supply

critical

pass

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

Token issuance reaches finalized state

critical

pass

Observed finalized; expected token.issuance.status == finalized.

Token decimal metadata remains stable

medium

pass

Observed 6; expected token.metadata.decimals == 6.

Token pokes are performed by issuance authorities

high

pass

Observed 3/3 poke actors authorized; expected actors in [issuer, treasury].

Token total supply matches minted allocation

critical

pass

Observed 1250; expected token.totalSupply == 1250.

Token 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
token.totalSupply10001250
token.balances.treasury0150
token.balances.holder0100
token.issuance.statusdraftfinalized
token.issuance.events[][{"type":"minted","actor":"issuer","amount":250},{"type":"distributed","actor":"treasury","amount":100},{"type":"finalized","actor":"issuer"}]

Snapshot Timeline

Initial state

initial

16abe5e4a6a9235c

After boot-fakenet

boot-fakenet

16abe5e4a6a9235c

After mint-treasury-allocation

mint-treasury-allocation

77c8cd088df78654

After distribute-holder-allocation

distribute-holder-allocation

22a29172eb9b7906

After finalize-token-issuance

finalize-token-issuance

cd7cc46d9b8d0f59

After peek-token-metadata

peek-token-metadata

cd7cc46d9b8d0f59

Artifacts

Report ID

lab_token-issuance-v0_20260605152158306

Report Hash

sha256:19ad9d959b19645e5ea2b3a8bf95dc31966d9c1f5f2ec84d6b120884b13212d1

Snapshot Root

cd7cc46d9b8d0f59

JSON Path

/bundle/server-functions/default/.nocklab/token-issuance.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/token-issuance.report.md

Markdown Bytes

2107

Changed Paths

token.totalSupply, token.balances.treasury, token.balances.holder, token.issuance.status, token.issuance.events

Markdown Preview

# Token Issuance Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

Token Issuance Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

token-issuance-core-v0

Report Hash

sha256:19ad9d959b19645e5ea2b3a8bf95dc31966d9c1f5f2ec84d6b120884b13212d1

Snapshot Root

cd7cc46d9b8d0f59