soft3/radio/audit/2026-10-12-bao-bounded-proof/records/ready-proof-release-none.stderr

ฯ€ 0.01% 24 words ยท 1 min 
   Compiling cyber-bao v0.1.0 (/Users/master/cyber/radio-bao-bounded-proof/cyber-bao)
    Finished `release` profile [optimized + debuginfo] target(s) in 1.07s
     Running tests/proof.rs (/tmp/radio-bao-proof-target/release/deps/proof-e104e04d24fb3b1d)
     Running tests/proof_allocation.rs (/tmp/radio-bao-proof-target/release/deps/proof_allocation-aa19a6af2af88371)
     Running tests/proof_failures.rs (/tmp/radio-bao-proof-target/release/deps/proof_failures-8e341254a3ef1ffb)

Graph