Skip to main content

Module pipeline

Module pipeline 

Source
Expand description

sexp::address — the S-expression realization’s public entry point.

  1. SExprCanon::validate checks the S-expression grammar at the host boundary (UTF-8, balanced parentheses, single top-level value) 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, and ψ₉ folds them chunk-by-chunk through H = Sha256Hasher to mint the κ-label.
  3. AddressOutcome::from_grounded extracts the owned κ-label + replayable TC-05 witness.

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 sexp entry point (σ-axis Sha256Hasher) — one ψ-pipeline content-address inference, yielding a sha256:<64hex> κ-label.
address_blake3
The sexp entry point under σ-axis Blake3Hasher — yields a blake3:<64hex> κ-label. See address for the error contract.
address_keccak256
The sexp entry point under σ-axis Keccak256Hasher — yields a keccak256:<64hex> κ-label. See address for the error contract.
address_sha3_256
The sexp entry point under σ-axis Sha3_256Hasher — yields a sha3-256:<64hex> κ-label. See address for the error contract.
address_sha512
The sexp entry point under σ-axis Sha512Hasher — yields a sha512:<128hex> κ-label (135 bytes, 64-byte fingerprint). See address for the error contract.