Nocksperimental
Generated reports

Generated report detail

PMA State Safety Pack

Fixture pma-safety-v0 generated pass at 2026-06-10T22:58:55.211Z.

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 --bind-public-grpc-addr 127.0.0.1:5555 --no-default-peers

Mock PMA/state-jam durability run exercising the pma-safety invariant pack.

A node poke advances the checkpoint height and event-log boundary; a migration poke preserves kernel-state continuity.

Metadata-only: no raw PMA slabs, event-log SQLite, 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

PMA State Safety Core

pma-safety-core-v0

0.1.0

Domainpma-safety

Path../packs/pma-safety.invariants.json

Run Steps

Boot mock PMA fakenet

fakenet

pass

mock-fakenet profile ready at 127.0.0.1:5555

Node advances the checkpoint and event-log boundary

poke

pass

105

Migration preserves kernel-state continuity

poke

pass

true

Read kernel-state continuity

peek

pass

true

Invariant Results

PMA checkpoint height does not regress below its floor

critical

pass

Observed 105; expected pma.checkpointHeight >= 100.

Event-log replay boundary does not regress below its floor

high

pass

Observed 4230; expected pma.eventLogBoundary >= 4200.

Kernel state remains continuous across the snapshot boundary

critical

pass

Observed true; expected pma.kernelStateContinuous == true.

PMA evidence records the fakenet network context

medium

pass

Observed fakenet; expected pma.network == fakenet.

PMA-advancing pokes are performed by authorized writers

high

pass

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

PMA 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
pma.checkpointHeight100105
pma.eventLogBoundary42004230

Snapshot Timeline

Initial state

initial

a97790ec4546edfe

After boot-fakenet

boot-fakenet

a97790ec4546edfe

After node-advances-checkpoint

node-advances-checkpoint

50695c632860eb95

After migration-preserves-continuity

migration-preserves-continuity

50695c632860eb95

After peek-pma-continuity

peek-pma-continuity

50695c632860eb95

Artifacts

Report ID

lab_pma-safety-v0_20260610225855211

Report Hash

sha256:18c8b94142961d969041a80d8d65e580beabf94416eb511f4e6ffca49f5afa7d

Snapshot Root

50695c632860eb95

JSON Path

/bundle/server-functions/default/.nocklab/pma-safety.report.json

Markdown Path

/bundle/server-functions/default/.nocklab/pma-safety.report.md

Markdown Bytes

1875

Changed Paths

pma.checkpointHeight, pma.eventLogBoundary

Markdown Preview

# ✅ PMA State Safety Pack Lab Report

Alert Summary

0 triggered, 0 clear

Verification Candidate

Candidate

PMA State Safety Pack Verification Candidate

Status

ready

Signature

unsigned

Invariant Packs

pma-safety-core-v0

Report Hash

sha256:18c8b94142961d969041a80d8d65e580beabf94416eb511f4e6ffca49f5afa7d

Snapshot Root

50695c632860eb95