soft3/radio/audit/2026-10-13-audit-cargo-packaging/controls/staging-v1/stage-1.json

{
  "argv": [
    "nu",
    "-c",
    "use \"/Users/master/cyber/radio-bao-bounded-proof/audit/2026-10-13-audit-cargo-packaging/replay.nu\" stage; stage \"/Users/master/cyber/radio-bao-bounded-proof/audit/2026-10-12-bao-proof-research\" \"verify.nu\" [\"probe/Cargo.toml\",\"primary-probe/Cargo.toml\"] | to json"
  ],
  "exit": 0,
  "stdout_sha256": "8b6267f8fd6fdaefa0e57f0c1d6d92c6b7b69363dd40c2ec6a7c5df2b09741ac",
  "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
}