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

{
  "started": "2026-10-13T00:46:59.158878Z",
  "finished": "2026-10-13T00:47:14.301456Z",
  "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",
    "--test",
    "proof",
    "--test",
    "proof_failures",
    "--test",
    "proof_allocation"
  ],
  "runner_sha256": "10fc0f8210a06cd42e2cc85d0f2b328da05a5e09e01c8feb75651b31fdb0d5d6",
  "exit_code": 0,
  "stdout": {
    "path": "/tmp/radio-bao-proof-final-interleaved-proof-debug-default.stdout",
    "bytes": 1525,
    "sha256": "0bb67855080940766948cab3b1077693b83d706fdba9565594c9f348d096229e"
  },
  "stderr": {
    "path": "/tmp/radio-bao-proof-final-interleaved-proof-debug-default.stderr",
    "bytes": 2492,
    "sha256": "b7187aa50bf53352e48db01e7b9a9f99b4de8567447a9081f8e50a4abcd6d611"
  }
}