Source-level runtime trace

NockApp Source Trace

Exact upstream anchors for NockApp poke, peek, wire, export, checkpoint, event-log, gRPC, and PMA regression behavior. It treats Zorp repos and the state-jam Drive folder as monitored lineage and provenance while current runtime claims stay tied to nockchain/nockchain.

Source API Runtime Atlas Hoon Kernels

Commit

33ba97b1e206

Source Anchors

Runtime Flow

Watch Items

Source Anchors

nockapp-runtime

NockApp runtime

Owns kernel state, task management, action channels, effects, metrics, signal handling, and exit state for a live NockApp.

file

crates/nockapp/src/nockapp/mod.rs

symbols

NockApp, NockApp::new, NockApp::work, NockApp::get_handle

lineRange

L35-L240

receiptFields

nockchainCommit, nockchainBuild, kernel, nockAppSource

Upstream source

driver-io-action

Driver IO action

Typed action boundary for driver-originated pokes and peeks, including ack/result channels and poke timeouts.

file

crates/nockapp/src/nockapp/driver.rs

symbols

IOAction, NockAppHandle, PokeResult

lineRange

L29-L119

receiptFields

pokePath, peekPath, pokeTimeout, pokeAck, resultChannel

Upstream source

poke-effect-broadcast

Poke effect broadcast

State-changing runtime handler that applies a poke, sends Ack or Nack, and broadcasts effects on success.

file

crates/nockapp/src/nockapp/mod.rs

symbols

handle_poke, PokeResult::Ack, PokeResult::Nack

lineRange

L508-L551

receiptFields

pokePath, pokeAck, effectTag, stateRootBefore, stateRootAfter, nockchainCommit

Upstream source

peek-result-boundary

Peek result boundary

Read-only runtime handler that returns optional state from a path without claiming a state transition.

file

crates/nockapp/src/nockapp/mod.rs

symbols

handle_peek, NockApp::peek, NockApp::peek_handle

lineRange

L286-L302

receiptFields

peekPath, stateRootAtPeek, peekResultHash, endpointMode

Upstream source

private-grpc-boundary

Private gRPC boundary

Private local/admin gRPC boundary for pokes, peeks, and effect-backed callbacks into a NockApp.

file

crates/nockapp-grpc/src/services/private_nockapp/driver.rs

symbols

grpc_server_driver, PrivateGrpcEffect, grpc_listener_driver

lineRange

L31-L144

receiptFields

grpcEndpoint, endpointMode, pokePath, peekPath, effectTag

Upstream source

public-grpc-boundary

Public Nockchain gRPC boundary

Public-facing Nockchain driver surface that handles wallet transaction effects separately from private NockApp admin calls.

file

crates/nockapp-grpc/src/services/public_nockchain/v2/driver.rs

symbols

PublicNockchainEffect, public_nockchain_server_driver

lineRange

L14-L109

receiptFields

publicApiEndpoint, walletSendTx, txAccepted, nockchainBuild

Upstream source

event-log-sqlite

Event log SQLite boundary

SQLite event and snapshot boundary for replay ranges, active snapshots, sequence checks, and ready snapshot metadata.

file

crates/nockapp/src/event_log.rs

symbols

EventLog, EventLogEntry, ReadySnapshotRecord

lineRange

L33-L278

receiptFields

eventLogBoundary, snapshotId, eventNum, replayStartEvent, replayEndEvent

Upstream source

pma-regression-suite

PMA regression suite

Regression tests for PMA metadata, checkpoint bootstrap size, replay boundaries, resize behavior, stale checkpoint refusal, and snapshot restore.

file

crates/nockapp/tests/pma_regressions

symbols

pma_regressions

lineRange

L1-L11

receiptFields

pmaBoundary, checkpointHash, snapshotId, eventLogBoundary

Upstream source

action-dispatch

Action dispatch

Runtime dispatch point that routes IOAction::Poke to the poke handler and IOAction::Peek to the peek handler.

file

crates/nockapp/src/nockapp/mod.rs

symbols

handle_action, IOAction::Poke, IOAction::Peek

lineRange

L488-L506

receiptFields

actionKind, pokePath, peekPath, nockchainCommit

Upstream source

wire-repr

Wire representation

Structured source/version/tags boundary for identifying poke/effect wires without using raw nouns as public evidence.

file

crates/nockapp/src/nockapp/wire.rs

symbols

Wire, WireRepr, WireRepr::tags_as_csv

lineRange

L13-L56

receiptFields

wireSource, wireVersion, wireTags, wireTagsCsv

Upstream source

exported-state-format

Exported state format

Metadata-bearing state export format with magic, version, kernel hash, event number, and jam bytes.

file

crates/nockapp/src/nockapp/export.rs

symbols

ExportedState, ExportedState::encode, ExportedState::decode

lineRange

L21-L129

receiptFields

exportMagic, exportVersion, kernelHash, eventNum, jamHash

Upstream source

checkpoint-bootstrap

Checkpoint bootstrap

Checkpoint and CHKJAM bootstrap boundary for state loading, snapshot versions, and safe startup context.

file

crates/nockapp/src/nockapp/save.rs

symbols

CheckpointBootstrapReader, SaveableCheckpoint, JAM_MAGIC_BYTES

lineRange

L17-L152

receiptFields

checkpointHash, checkpointVersion, checkpointHeight, stateJamFingerprint

Upstream source

Runtime Flow

driver-sends-action

Driver sends action

A probe begins as a typed IOAction with separate poke ack or peek result channels.

sourceAnchorId

driver-io-action

receiptImplication

Record actionKind, pokePath or peekPath, endpoint mode, and Nockchain commit before interpreting output.

nockapp-dispatches-action

NockApp dispatches action

The runtime dispatch point proves pokes and peeks pass through different handlers.

sourceAnchorId

action-dispatch

receiptImplication

Receipts must not blur read-only observations and state-changing transitions.

poke-produces-effects

Poke produces effects

Successful pokes send Ack and broadcast effects; failures send Nack and do not support success claims.

sourceAnchorId

poke-effect-broadcast

receiptImplication

Bind pokeAck, effectTag, and before/after state roots to any state transition claim.

peek-returns-optional-state

Peek returns optional state

Peeks are read-only and may return no value when the path cannot be resolved.

sourceAnchorId

peek-result-boundary

receiptImplication

Hash peek results and record stateRootAtPeek, but do not claim mutation.

state-export-encodes-loadstate

State export encodes loadstate

State exports include identity metadata and jammed loadstate payloads.

sourceAnchorId

exported-state-format

receiptImplication

Publish export metadata and hashes, never raw state-export jam bytes.

event-log-preserves-replay-boundary

Event log preserves replay boundary

Event logs and ready snapshots define replay ranges and state-continuity checks.

sourceAnchorId

event-log-sqlite

receiptImplication

Record event ranges, snapshotId, and eventLogBoundary without storing raw SQLite event rows.

Trace Contract

required

nockchainCommit, nockchainBuild, upstreamFile, upstreamSymbol, lineRange, evidenceBoundary, receiptFieldMapping, stateArtifactPolicy

forbidden

rawPmaSlab, rawEventLog, rawCheckpoint, rawStateJam, rawExportJam, walletSeedPhrase, walletPrivateKey, apiToken

rule

Use nockchain/nockchain source anchors for current runtime claims.

rule

Use zorp-corp/nockapp, zorp-corp/sword, and zorp-corp/jock-lang as lineage or authoring signals only.

rule

Treat the Zorp Drive folder as metadata-only state-jam provenance, not as a public raw artifact store.

rule

Separate private gRPC runtime evidence from public Nockchain API evidence.

rule

Hash or summarize state artifacts; never publish raw PMA, event log, checkpoint, export, or state-jam bytes.

State And Zorp Context

Zorp is the Nockchain development lineage and organization context; current protocol and runtime behavior still resolves through nockchain/nockchain source and releases.

stateJamDrive

https://drive.google.com/drive/folders/1aEYZwmg4isTuYXWFn9gKPl92-pYndwUw

artifactPolicy

metadata-only

zorp-corp/jock-lang

active language-authoring signal: Watch for authoring patterns that can become future NockApp fixture templates.

zorp-corp/nockapp

archived NockApp lineage: Use for vocabulary and history only; current behavior must cite nockchain/nockchain.

zorp-corp/sword

archived runtime persistence lineage: Use to interpret PMA and runtime history without overriding current NockVM/NockApp sources.

zorp-corp/sppark

proof-tooling fork: Monitor for proof or accelerator signals that could matter to later compute evidence.

Watch Items

PR #119

feat(nockapp): public NockApp::export_state for live-app snapshot

Would make live NockApp snapshot/export evidence more direct, so Nocksperimental should update state-export receipts when it lands.

targetSurfaces

nockchainNockAppSourceTrace, nockchainNockAppAtlas, stateJamRegistry

PR #125

fix(nockup): render template manifests from hbs sources: Template manifest rendering can change fixture provenance and Nockup validation receipt fields.

PR #126

nockchain-bench: Benchmark surfaces may become useful for Nocksperimental compute/proof and runtime performance receipts.

Evidence Links

nockAppAtlas

https://nocksperimental.com/api/nockchain/nockapp-atlas

rustAtlas

https://nocksperimental.com/api/nockchain/rust-atlas

zorp

https://nocksperimental.com/api/nockchain/zorp

stateJams

https://nocksperimental.com/api/nockchain/state-jams

exportStatePr

https://github.com/nockchain/nockchain/pull/119