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

fn main() { let _: cyber_bao::proof::VerifiedProof<'_> = (&[][..]).into(); }