Nockchain evidence

Rust target map

Nockchain Cargo Surface

A manifest-backed map of high-signal Nockchain Cargo crates, binary and library targets, benchmark surfaces, source entrypoints, dependency pins, and the crate-scoped checks Nocksperimental should run before turning Rust behavior into evidence.

Crates
9
Targets
16
Workspace
36 members
Manifests
36
Commit
33ba97b1e206

Target Summary

binaryCrates

nockchain, nockchain-wallet, nockchain-api, nockapp, nockup, nockchain-bridge-sequencer

libraryCrates

nockapp, wallet-tx-builder, nockchain-libp2p-io, nockvm

benchmarkTargets

pma_growth, bench_nockchain_kernel, bench_nockchain_checkpoint_block, peek_refresh, hoonc_hotspots, retag_noun_tree

helperTargets

nockapp-chkjam-to-state-jam

Manifest Drift Check

command

npm run check:nockchain-cargo-manifests-drift -- --json

script

scripts/check-nockchain-cargo-manifests-drift.mjs

manifestCatalogHash

sha256:fabc7a083577469f1104b7e7745841707f1800a7fbd72d1b9d43df15abdc3e96

compareFields

manifestPaths, manifestSha256, manifestBytes, manifestCatalogHash

Verification Matrix

required

cargo check -p nockchain

required

cargo check -p nockchain-wallet

required

cargo check -p nockchain-api

required

cargo check -p nockapp

required

cargo check -p nockup

required

cargo check -p nockchain-bridge-sequencer

availableTooling

cargo 1.96.0

availableTooling

cargo metadata --no-deps --format-version 1

localLimitation

$HOME/.cargo/bin must be present on PATH for cargo metadata and crate checks

localLimitation

Full crate checks may still fetch or build upstream dependencies; use scratch upstream checkouts for exploratory checks.

Dependency Risk Matrix

libp2p-sync

libp2p sync and routing

Review peer, route-table, gossip, catch-up, and wrong-commitment diagnostics before trusting fakenet mining evidence.

dependencies

libp2p, nockchain-libp2p-io

impactedCrates

nockchain, nockchain-libp2p-io

targetSurfaces

fakenetEvidence, nockchainSyncGossipTrace, nockchainOperationsAtlas

receiptFields

peerCount, routeTableSize, tipHeight, blockCommitment

verification

cargo check -p nockchain-libp2p-io | cargo check -p nockchain

wallet-transaction

Wallet transaction construction

Review wallet planner, fee, lock resolution, memo/blob, and endpoint-mode assumptions before publishing wallet receipts.

dependencies

nockchain-wallet, wallet-tx-builder, nockchain-types, nockchain-math

impactedCrates

nockchain, nockchain-wallet, wallet-tx-builder

targetSurfaces

balanceEvidence, nockchainWalletAtlas, localFakenetCommands

receiptFields

walletAddress, noteCount, transactionHash, memoHash

verification

cargo check -p wallet-tx-builder | cargo check -p nockchain-wallet

nockapp-pma

NockApp runtime and PMA

Review poke/peek, event log, state export, memory mapping, and PMA/state-jam safety before reusing runtime evidence.

dependencies

nockapp, nockvm, noun-serde

impactedCrates

nockchain, nockchain-wallet, nockchain-api, nockapp, nockchain-bridge-sequencer, wallet-tx-builder, nockchain-libp2p-io, nockvm

targetSurfaces

nockappEvidence, stateJamRegistry, localFakenetEvidence

receiptFields

stateJamFingerprint, pmaPolicy, eventLogPolicy, runtimeCommit

verification

cargo check -p nockapp | cargo check -p nockvm

bridge-settlement

Bridge settlement and sequencer

Review authorization, proposal, journal, submission, and confirmation semantics before treating bridge receipts as settled.

dependencies

bridge, nockchain-bridge-sequencer, wallet-tx-builder

impactedCrates

nockchain-wallet, nockchain-bridge-sequencer, wallet-tx-builder

targetSurfaces

nockchainBridgeTrace, veslEvidenceBridge, launchEvidenceReports

receiptFields

settlementMode, proposalHash, sequencerJournalId, withdrawalTransactionHash

verification

cargo check -p bridge | cargo check -p nockchain-bridge-sequencer

zk-proof-compute

ZK proof and compute

Review proof-adjacent and latency crates before converting benchmark or solver output into evidence.

dependencies

zkvm-jetpack, equix, equix-latency

impactedCrates

nockchain, nockchain-wallet, nockchain-api, nockchain-bridge-sequencer, nockchain-libp2p-io

targetSurfaces

computeBenchmarks, solverScores, proofEvidence

receiptFields

verificationStatus, hardwareProfile, benchmarkDurationMs, proofArtifactHash

verification

cargo check -p zkvm-jetpack | cargo check -p equix-latency

noun-serialization

Noun serialization and verifier payloads

Review noun encoding and derived serialization before changing receipt hashes or verifier payloads.

dependencies

noun-serde, noun-serde-derive, nockchain-types

impactedCrates

nockchain, nockchain-wallet, nockapp, wallet-tx-builder, nockchain-libp2p-io

targetSurfaces

receiptVerifiers, generatedReports, verificationIndex

receiptFields

manifestSha256, payloadHash, nounEncoding, verifierInputHash

verification

cargo check -p noun-serde | cargo check -p noun-serde-derive

High-Signal Cargo Crates

crates/nockchain/Cargo.toml

nockchain

Primary node/miner runtime and chain-facing binary.

targets

bin:nockchain:src/main.rs | bench:bench_nockchain_checkpoint_block:src/bin/bench_nockchain_checkpoint_block.rs | bench:bench_nockchain_kernel:src/bin/bench_nockchain_kernel.rs

features

bazel_build, jemalloc, tracing-heap

sourceFocus

crates/nockchain/src/main.rs | crates/nockchain/src/mining.rs | crates/nockchain/src/config.rs | crates/nockchain/src/setup.rs

primaryCheck

cargo check -p nockchain

crates/nockchain-wallet/Cargo.toml

nockchain-wallet

Wallet CLI for keys, watch-only state, note listing, and transaction creation.

targets

bin:nockchain-wallet:src/main.rs

features

none

sourceFocus

crates/nockchain-wallet/src/command.rs | crates/nockchain-wallet/src/connection.rs | crates/nockchain-wallet/src/create_tx.rs | crates/nockchain-wallet/src/recipient.rs

primaryCheck

cargo check -p nockchain-wallet

crates/nockapp/Cargo.toml

nockapp

NockApp runtime library for kernel boot, poke/peek, drivers, persistence, event logs, and PMA-backed state.

targets

lib:nockapp:src/lib.rs | bin:nockapp-chkjam-to-state-jam:src/bin/nockapp-chkjam-to-state-jam.rs

features

default, slog-tracing, tracing-tracy, trait-alias, bazel_build, pma-assert

sourceFocus

crates/nockapp/src/lib.rs | crates/nockapp/src/event_log.rs | crates/nockapp/src/nockapp/export.rs | crates/nockapp/src/nockapp/save.rs | crates/nockapp/src/snapshot.rs

primaryCheck

cargo check -p nockapp

crates/nockchain-libp2p-io/Cargo.toml

nockchain-libp2p-io

libp2p networking, catch-up, peer IO, routing, metrics, and gossip behavior.

targets

lib:nockchain-libp2p-io:src/lib.rs

features

none

sourceFocus

crates/nockchain-libp2p-io/src/catch_up.rs | crates/nockchain-libp2p-io/src/p2p_state.rs | crates/nockchain-libp2p-io/src/driver.rs | crates/nockchain-libp2p-io/src/driver/gen2/routing.rs | crates/nockchain-libp2p-io/src/metrics.rs

primaryCheck

cargo check -p nockchain-libp2p-io

crates/wallet-tx-builder/Cargo.toml

wallet-tx-builder

Wallet transaction planner for fees, word count, lock resolution, determinism, note data, and withdrawal building.

targets

lib:wallet-tx-builder:src/lib.rs

features

none

sourceFocus

crates/wallet-tx-builder/src/planner.rs | crates/wallet-tx-builder/src/determinism.rs | crates/wallet-tx-builder/src/fee.rs | crates/wallet-tx-builder/src/lock_resolver.rs | crates/wallet-tx-builder/src/word_count.rs

primaryCheck

cargo check -p wallet-tx-builder

crates/nockchain-api/Cargo.toml

nockchain-api

Public gRPC API binary that boots NockApp runtime over a Nockchain kernel.

targets

bin:nockchain-api:src/main.rs | bench:peek_refresh:benches/peek_refresh.rs

features

default, malloc, tracing-heap

sourceFocus

crates/nockchain-api/src/main.rs

primaryCheck

cargo check -p nockchain-api

crates/nockup/Cargo.toml

nockup

Developer support CLI for NockApp project scaffolding, build/run flows, package management, and validation.

targets

bin:nockup:src/main.rs

features

vendored-openssl

sourceFocus

crates/nockup/src/main.rs | crates/nockup/src/cli.rs | crates/nockup/src/manifest.rs | crates/nockup/src/validation.rs | crates/nockup/src/resolver/engine.rs

primaryCheck

cargo check -p nockup

crates/nockchain-bridge-sequencer/Cargo.toml

nockchain-bridge-sequencer

Bridge sequencer service for authorization, submission, confirmation, and journaled settlement surfaces.

targets

bin:nockchain-bridge-sequencer:src/main.rs

features

default, jemalloc, tracing-heap

sourceFocus

crates/nockchain-bridge-sequencer/src/main.rs

primaryCheck

cargo check -p nockchain-bridge-sequencer

crates/nockvm/rust/nockvm/Cargo.toml

nockvm

Rust NockVM and PMA runtime implementation.

targets

lib:nockvm:src/lib.rs | bench:hoonc_hotspots:benches/hoonc_hotspots.rs | bench:pma_growth:benches/pma_growth.rs | bench:retag_noun_tree:benches/retag_noun_tree.rs

features

default, mmap, malloc, pma-assert, check_all, check_acyclic, check_forwarding, check_junior, no_check_oom

sourceFocus

crates/nockvm/rust/nockvm/Cargo.toml | crates/nockvm/rust/nockvm/src/lib.rs | crates/nockvm/rust/nockvm/benches/pma_growth.rs

primaryCheck

cargo check -p nockvm

Workspace Dependency Pins

libp2p

da0017ee887a868e231ed78c7de892779c17800d

libp2pFeatures

ping, kad, identify, quic, tls, dns, tokio, request-response, cbor

snmalloc

060d5b9fa1c5777a52deae8dbdd82da91babf35f

Evidence Contract

Required Fields

required

manifestPath

required

manifestSha256

required

targetKind

required

sourceFocus

required

primaryCheck

required

nockchainCommit

required

nockchainRelease

required

verificationCommand

required

verificationStatus

Forbidden Fields

forbidden

rawPmaSlab

forbidden

walletSeedPhrase

forbidden

rawStateJam

forbidden

rawEventLog

forbidden

privateSpendKey

forbidden

sequencerJournalSigningKey