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

{
  "started": "2026-10-13T00:47:14.447040Z",
  "finished": "2026-10-13T00:47:19.135595Z",
  "cwd": "/Users/master/cyber/radio-bao-bounded-proof",
  "revision": "b933829cbe273d2f31fe75ca83125f3ddd8917a2",
  "argv": [
    "env",
    "-u",
    "RUSTC_WRAPPER",
    "PATH=/Users/master/.rustup/toolchains/1.95.0-aarch64-apple-darwin/bin:/tmp/radio-gate-tools/bin:/Users/master/.cargo/bin:/opt/homebrew/bin:/usr/bin:/bin",
    "RUSTC=/Users/master/.rustup/toolchains/1.95.0-aarch64-apple-darwin/bin/rustc",
    "RUSTDOC=/Users/master/.rustup/toolchains/1.95.0-aarch64-apple-darwin/bin/rustdoc",
    "CARGO_BUILD_JOBS=2",
    "CARGO_INCREMENTAL=0",
    "CARGO_TARGET_DIR=/tmp/radio-bao-proof-candidate-final-target",
    "RUST_BACKTRACE=1",
    "IROH_FORCE_STAGING_RELAYS=1",
    "RUSTFLAGS=-Dwarnings",
    "RUSTDOCFLAGS=-Dwarnings",
    "cargo",
    "test",
    "--locked",
    "--offline",
    "-p",
    "cyber-bao",
    "--no-default-features",
    "--test",
    "proof",
    "--test",
    "proof_failures",
    "--test",
    "proof_allocation"
  ],
  "runner_sha256": "10fc0f8210a06cd42e2cc85d0f2b328da05a5e09e01c8feb75651b31fdb0d5d6",
  "exit_code": 0,
  "stdout": {
    "path": "/tmp/radio-bao-proof-final-interleaved-proof-debug-none.stdout",
    "bytes": 1525,
    "sha256": "4d6efeb4fe3a63b6f3ba69d5f23506e79e35431d70f88e6e6a4a35148489cda9"
  },
  "stderr": {
    "path": "/tmp/radio-bao-proof-final-interleaved-proof-debug-none.stderr",
    "bytes": 735,
    "sha256": "20896e15b594302067e990d4ec00bbe6996d7d3a20cbb1d2d7b2537ba2e92c97"
  }
}