soft3/radio/audit/2026-10-12-bao-bounded-proof/records/final-interleaved-proof-debug-none.stderr

   Compiling syn v2.0.114
   Compiling cyber-hemera v0.3.1 (https://github.com/cyberia-to/hemera?rev=d5f0a09539360934fb32db9b2e15a91995607db6#d5f0a095)
   Compiling tokio-macros v2.6.0
   Compiling tokio v1.49.0
   Compiling cyber-bao v0.1.0 (/Users/master/cyber/radio-bao-bounded-proof/cyber-bao)
    Finished `test` profile [unoptimized + debuginfo] target(s) in 3.67s
     Running tests/proof.rs (/tmp/radio-bao-proof-candidate-final-target/debug/deps/proof-873adb4f67b440e7)
     Running tests/proof_allocation.rs (/tmp/radio-bao-proof-candidate-final-target/debug/deps/proof_allocation-b9dcb0336452a9c6)
     Running tests/proof_failures.rs (/tmp/radio-bao-proof-candidate-final-target/debug/deps/proof_failures-001f290dacd18d81)

Graph