macroonz-harness 0.2.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Mechanical reading operations for canonical content-addressed bodies.

use super::{ContentAddress, DomainTag};

/// Split one content-addressed envelope and retain its body only when the body derives the leading claim.
pub(crate) fn addressed_body<Address, Refusal>(
    encoded: &[u8],
    tag: DomainTag,
    wrap: impl FnOnce(ContentAddress) -> Address,
    truncated: Refusal,
    mismatch: impl FnOnce(Address) -> Refusal,
) -> Result<(Address, &[u8]), Refusal> {
    let Some((claimed, body)) = encoded.split_at_checked(ContentAddress::WIDTH) else {
        return Err(truncated);
    };
    let derived = ContentAddress::derived(tag, body);
    if claimed != derived.as_bytes() {
        return Err(mismatch(wrap(derived)));
    }
    Ok((wrap(derived), body))
}