Module label 

AddressLabel* — UOR-ADDR’s common output shape family (ARCHITECTURE.md “Common output shape”), one specialization per admissible σ-axis (crate::hash).

The κ-label’s wire-format byte layout follows the architecture document’s structural formula

SITE_COUNT = H::LABEL_PREFIX.len() + 1 + 2 × H::OUTPUT_BYTES

parameterized on the realization’s selected hash axis H: AddrHash. The output space is π_0-only by structural property of the σ-projection + hex-serialization composition; χ(N(C)) = SITE_COUNT; β_0 = SITE_COUNT; β_k = 0 for k ≥ 1.

Each admissible axis has its own [output_shape!] specialization with its own IRI suffix and SITE_COUNT (sha256 / blake3 = 71, sha3-256 = 73, keccak256 = 74). The IRI specializes per axis so that two realizations binding different H selections produce distinct typed reference vocabularies at the IRI level (the framework’s typed-iso commitment per ADR-001 + ADR-017).

The runtime κ-label carrier KappaLabel is generic over the label byte width N, so a single value type carries every axis’s label; the width lives in the type (KappaLabel<71> for sha256, KappaLabel<74> for keccak256, …).

Structs

AddressLabelBlake3

AddressLabelKeccak256

AddressLabelSha3_256

AddressLabelSha256

AddressLabelSha512

CompositionLabelE6Blake3

CompositionLabelE6Keccak256

CompositionLabelE6Sha3_256

CompositionLabelE6Sha256

CompositionLabelE6Sha512

CompositionLabelE7Blake3

CompositionLabelE7Keccak256

CompositionLabelE7Sha3_256

CompositionLabelE7Sha256

CompositionLabelE7Sha512

CompositionLabelE8Blake3

CompositionLabelE8Keccak256

CompositionLabelE8Sha3_256

CompositionLabelE8Sha256

CompositionLabelE8Sha512

CompositionLabelF4Blake3

CompositionLabelF4Keccak256

CompositionLabelF4Sha3_256

CompositionLabelF4Sha256

CompositionLabelF4Sha512

CompositionLabelG2Blake3

CompositionLabelG2Keccak256

CompositionLabelG2Sha3_256

CompositionLabelG2Sha256

CompositionLabelG2Sha512

KappaLabel

The runtime κ-label carrier — the N-byte ASCII <algorithm>:<lowercase-hex> wire-format byte sequence.

Enums

LabelDecodeError

Decoding failures from KappaLabel::from_bytes.

Constants

ADDRESS_LABEL_BYTES

The wire-format address byte width under the default σ-axis H = Sha256Hasher: len("sha256") + 1 + 2 × 32 = 71.

Functions

site_constraints

Build the [Site{0}, Site{1}, …, Site{N-1}] constraint array — one disjoint ConstraintRef::Site per wire-format κ-label byte position.

Type Aliases

AddressLabel

The default-axis output shape (H = Sha256Hasher). Realizations’ address() entry point binds this; address_blake3 / address_sha3_256 / address_keccak256 bind the corresponding per-axis shape.