Struct AddressWitness 

pub struct AddressWitness<const N: usize, const FP: usize = 32> { /* private fields */ }

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).

Implementations

impl<const N: usize, const FP: usize> AddressWitness<N, FP>

pub fn kappa_label(&self) -> KappaLabel<N>

The κ-label this witness attests.

pub fn content_fingerprint(&self) -> &[u8; FP]

The FP-byte σ-projection content fingerprint (32 for the Hasher<32> axes, 64 for sha512).

pub fn verify(&self) -> Result<KappaLabel<N>, VerifyError>

Replay the derivation through certify_from_trace (no σ-axis re-invocation) and confirm the re-derived fingerprint matches. Returns the attested κ-label on success.

Errors

VerifyError if the trace is malformed or the re-derived fingerprint diverges from the source (QS-05 violation).

Trait Implementations

impl<const N: usize, const FP: usize> Debug for AddressWitness<N, FP>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.