Module pipeline 

codemodule::address — the code-module AST realization’s public entry point.

1. SExprCanon::validate checks the CCMAS S-expression grammar at the host boundary over the borrowed input — no buffer, no caps.
2. AddressModel::forward runs the shared ψ-tower: the borrowed SExprCanon flows in as an ADR-060 Stream carrier that emits Rivest canonical bytes on demand (CCMAS canonical form), and ψ₉ folds them through H = Sha256Hasher to mint the κ-label.
3. AddressOutcome::from_grounded extracts the owned κ-label + replayable TC-05 witness.

The entry point is no_alloc: CCMAS canonical bytes stream from the borrowed input without materialization.

Re-exports

pub use crate::outcome::AddressOutcome;

pub use crate::outcome::AddressWitness;

pub use crate::outcome::VerifyError;

Enums

AddressFailure

Failure modes from address.

Functions

address

uor-addr’s codemodule entry point (σ-axis Sha256Hasher) — one ψ-pipeline content-address inference, yielding a sha256:<64hex> κ-label.

address_blake3

The codemodule entry point under σ-axis Blake3Hasher — yields a blake3:<64hex> κ-label. See address for the error contract.

address_keccak256

The codemodule entry point under σ-axis Keccak256Hasher — yields a keccak256:<64hex> κ-label. See address for the error contract.

address_sha3_256

The codemodule entry point under σ-axis Sha3_256Hasher — yields a sha3-256:<64hex> κ-label. See address for the error contract.

address_sha512

The codemodule entry point under σ-axis Sha512Hasher — yields a sha512:<128hex> κ-label (135 bytes, 64-byte fingerprint). See address for the error contract.