Architecture Map

Owns Cardano-canonical CBOR ingress — the only place in the workspace that turns raw bytes into typed semantic values, with wire-byte preservation for every hash-bearing structure.…

The functional core (consensus half): Praos VRF leader-check + the expected-VRF-input recipe; **the chain-selection authority consensus::fork_choice::select_best_chain (the sole …

Pure cryptographic verification — Praos VRF (draft-03) verify, the Ade-owned BLUE Sum6KES algorithm (kes_sum/), Ed25519 DSIGN verify, blake2b hashing, and the v2 UTxO-fingerprint…

The functional core (ledger half): stateless ledger rules for every era; B1 block-validity verdict; B2 tx-validity + mempool admission; **the single BLUE wire-ingress chokepoint `m…

Owns the Cardano Ouroboros mini-protocol authority — the closed wire grammar (CBOR codecs) and pure state machines for all N2N + N2C mini-protocols, plus the BLUE mux frame primiti…

Quarantine boundary between the Ade-canonical ledger and the ported UPLC evaluator from aiken-lang/aiken (pinned tag v1.1.21). A per-script declared-ex_units cap closes a Plu…

Owns the canonical Cardano domain vocabulary — primitives, era enum, address forms, era-tagged tx bodies/outputs/certificates, governance types — the lingua franca for every other …

A disk-backed redb store of the reduced UTxO TxIn → (Coin, ReducedStakeRef) — the "minimal native state": the single ledger authority's own reduced-UTxO projection, a GREEN durab…

The transient (GREEN, non-authoritative) disk-backed replay-window lifecycle over the dormant redb UtxoAnchor — a bounded materialization scratch (transient_root under a fixed …

GREEN deterministic TEST / CORPUS infrastructure for the workspace — the oracle/differential harness, the validity & tx-validity corpora, the consensus & governance replay corpora,…

Pure cardano-cli JSON → BLUE CertState / ProtocolParameters (era-aware MinUtxoRule); canonical_from_raw the single import funnel (S2: requires security_param, fail-closed…

Carried GREEN reducers/planners over BLUE (forward-sync lifecycle, producer coordinator, linear chain-evolution typestate, deterministic clock, orchestrator core, snapshot cadence,…

The PURE assembly half of the native Mithril authority transition — maps each seed field from its single declared source (verified manifest + S1a non-UTxO state + Stage-2 tables UT…

Pure mapping (BTreeMap only) lifting a verified-bootstrap LiveConsensusInputsCanonical + minted anchor fp + seed epoch into the BLUE SeedEpochConsensusInputs (now carries `se…

Live cardano-node interop driver. Hosts the live_*_session RED binaries plus the N-E GREEN tx-submission bridges and the chain-follow driver (follow). follow.rs is the FORBID…

A quarantined RED DIAGNOSTIC crate wrapping the one unsafe FFI call the workspace needs — mimalloc mi_collect(force=true). It is the QUARANTINE: it deliberately does NOT carry …

The RED live-capture binaries (non-session, non-mux::frame) used for wire-evidence extraction against a real cardano-node.

The single socket-I/O + async surface within ade_network — the RED imperative shell carrying the tokio mux transport. The BLUE submodules route framing through mux::frame; this…

The node binary + library entry. Owns argv parsing, the node lifecycle, and the mode drivers dispatched by main(): --mode wire_only, --mode admission, --mode key_gen_kes, `…

The imperative shell — moves bytes, owns sockets/files/clocks/keys, drives tokio tasks. Hosts: producer-mode key custody; the N2N network drivers; the node orchestrator runners; th…