Module outcome 

Pipeline-output carrier — the shape every realization’s address() entry point returns.

All realizations produce the same triple: the ASCII κ-label (crate::KappaLabel) plus a replayable TC-05 witness. The κ-label width N is the selected σ-axis’s AddrHash::LABEL_BYTES (71 sha256/blake3, 73 sha3-256, 74 keccak256, 135 sha512) and the fingerprint width FP is the axis’s FINGERPRINT_MAX_BYTES (32, or 64 for sha512) — both carried in the type. Under ADR-060 the model’s forward() yields a Grounded<'a, S, NIN, FP> whose 'a borrows the input carrier; AddressOutcome extracts the owned witness data (the κ-label, the replay [Trace], and the σ-projection fingerprint) from it so the outcome carries no borrow and the input may be dropped.

Structs

AddressOutcome

The result of a successful address() invocation. Generic over the κ-label byte width N and the fingerprint byte width FP (the selected σ-axis’s LABEL_BYTES / FINGERPRINT_MAX_BYTES; FP defaults to 32).

AddressWitness

A replayable TC-05 witness. Holds the owned replay [Trace], the σ-projection fingerprint, and the κ-label. verify re-certifies the trace through prism::replay::certify_from_trace without re-invoking the σ-axis, and confirms the re-derived fingerprint equals the source’s (QS-05 replay equivalence).

Enums

VerifyError

TC-05 replay-verification failures from AddressWitness::verify.

Constants

ADDRESS_TRACE_EVENTS

Trace event capacity for the address realizations. The κ-derivation’s canonical k-invariants branch emits a short, bounded trace; 256 is the foundation’s default Trace width (HostBounds::TRACE_MAX_EVENTS).