Struct InStreamCrc32Proof 

pub struct InStreamCrc32Proof { /* private fields */ }

Validated attestation that a caller derived a slice’s PAR2 CRC32 in stream.

This is the counterpart to crate::ContiguousAssemblyProof for a single slice: it does not itself verify anything, it records that the caller asserted every property that makes a CRC32-only slice verdict admissible, and refuses to exist when any of them is false.

What a proven attestation asserts

• The CRC32 covered the slice’s full extent — every byte from the slice’s own offset in the file the recovery set describes, zero-padded to the block size exactly as PAR2 checksums a short final slice.
• Those bytes are the bytes the repair source will serve, already durable, not a speculative or in-flight buffer.
• The same span is independently covered by a second CRC32 cut on an unrelated grid — for a Usenet download path, the article-aligned yEnc pcrc32 beside the block-aligned PAR2 CRC32.

What it does not assert

No MD5 was computed, so this is not slice identity: it is the statement that a 32-bit checksum over the slice’s bytes agreed with the recovery set’s IFSC entry. A verdict admitted this way seeds a repair input; it never promotes a file to a whole-file match, and repair still recomputes the IFSC CRC32 and MD5 over every byte it consumes, so an attestation that turns out to be wrong fails the repair loudly rather than producing wrong output. Settle-time verification of slices with no verdict is likewise untouched.

Implementations

impl InStreamCrc32Proof

pub fn try_new( covered_length: u64, slice_fully_covered: bool, derived_from_durable_bytes: bool, independently_crc32_covered: bool, ) -> Result<Self, InStreamCrc32ProofError>

Validate and record an in-stream CRC32 attestation.

covered_length is the number of the file’s real bytes the derivation covered for this slice — the full block size, or the short remainder for a final slice before PAR2’s zero padding. The three flags are the caller’s assertions described on the type; every one must hold.

pub fn covered_length(&self) -> u64

Real file bytes the attested derivation covered for this slice.

Trait Implementations

impl Clone for InStreamCrc32Proof

fn clone(&self) -> InStreamCrc32Proof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InStreamCrc32Proof

impl Debug for InStreamCrc32Proof

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

Formats the value using the given formatter.

impl Eq for InStreamCrc32Proof

impl PartialEq for InStreamCrc32Proof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InStreamCrc32Proof