Struct SidecarPtr 

pub struct SidecarPtr {
    pub addr: MessageAddr,
    pub span: Option<(usize, usize)>,
    pub content_hash: String,
}

A pointer from a reduced placeholder back to its original content in the sidecar.

invert (A6) resolves addr against the sidecar-reconstructed Session and verifies content_hash before ever substituting content back in — a stale or foreign sidecar can never silently produce the wrong content.

Fields

addr: MessageAddr

Where the original message lives in the canonical full view.

span: Option<(usize, usize)>

Removed byte range within the original content; None means the whole content was removed (as opposed to a sub-span of it).

content_hash: String

blake3 hex digest of the full original content.

Implementations

impl SidecarPtr

pub fn verify(&self, candidate: &[u8]) -> Result<(), ReductionError>

Verify that candidate — the content this pointer is presumed to resolve to — still hashes to Self::content_hash.

This is the hash-verify primitive invert (A6) calls before substituting any original back into the full view. Returns Err on any mismatch (tampered/stale/foreign content) rather than ever substituting wrong content silently.

pub fn verify_hash(&self, actual: &str) -> Result<(), ReductionError>

Like Self::verify, but takes an already-computed hash directly — for callers (e.g. hash_turns_range, A10) whose hash formula isn’t simply “hash these raw bytes” (it’s a hash over several messages’ concatenated wire bytes) but must still fail exactly the same way on mismatch.

Trait Implementations

impl Clone for SidecarPtr

fn clone(&self) -> SidecarPtr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SidecarPtr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SidecarPtr

fn deserialize<__D>( __deserializer: __D, ) -> Result<SidecarPtr, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SidecarPtr

impl PartialEq for SidecarPtr

fn eq(&self, other: &SidecarPtr) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SidecarPtr

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SidecarPtr