soft3/radio/audit/2026-10-12-bao-bounded-proof/seals/src/bin/mutate_leaf.rs

fn main() {
    let proof = vec![0u8; 8];
    let view = bao_proof_seal_probes::finish(&proof);
    for item in view.items() {
        if let cyber_bao::proof::ProofItem::Leaf { bytes, .. } = item { bytes[0] = 1; }
    }
}