pub struct AddressOutcome<const N: usize, const FP: usize = 32> {
pub witness: AddressWitness<N, FP>,
pub address: KappaLabel<N>,
}Expand description
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).
Fields§
§witness: AddressWitness<N, FP>The replayable TC-05 witness (owns its trace + fingerprint).
address: KappaLabel<N>The ASCII wire-format κ-label, <algorithm>:<lowercase-hex>.
Implementations§
Source§impl<const N: usize, const FP: usize> AddressOutcome<N, FP>
impl<const N: usize, const FP: usize> AddressOutcome<N, FP>
Sourcepub fn from_grounded<S, const NIN: usize>(
grounded: &Grounded<'_, S, NIN, FP>,
) -> Result<Self, LabelDecodeError>where
S: GroundedShape,
pub fn from_grounded<S, const NIN: usize>(
grounded: &Grounded<'_, S, NIN, FP>,
) -> Result<Self, LabelDecodeError>where
S: GroundedShape,
Extract the owned outcome from a model’s forward() result. Reads
the κ-label output bytes, replays the derivation into an owned
Trace, and snapshots the σ-projection fingerprint — none of
which borrow the (about-to-be-dropped) input carrier.
N must equal the grounded output shape’s SITE_COUNT (the κ-label
byte width); the per-axis entry points supply the matching literal.
§Errors
LabelDecodeError if the grounded output is not a well-formed
N-byte ASCII κ-label (unreachable for the address realizations’
ψ₉ output; defensive against substrate corruption).