soft3/radio/audit/2026-10-13-audit-cargo-packaging/plan-input/inputs/036.txt

{
  "started": "2026-10-13T01:30:35.756438Z",
  "finished": "2026-10-13T01:30:58.384099Z",
  "cwd": "/Users/master/cyber/radio-bao-bounded-proof",
  "revision": "ce0fb312faa8770e80efe9afa864106ae6b51552",
  "argv": [
    "nu",
    "audit/2026-10-12-bao-bounded-proof/verify.nu",
    "--repo",
    "/Users/master/cyber/radio-bao-bounded-proof"
  ],
  "runner_sha256": "10fc0f8210a06cd42e2cc85d0f2b328da05a5e09e01c8feb75651b31fdb0d5d6",
  "exit_code": 0,
  "stdout": {
    "path": "/tmp/radio-audit-packaging-proof-before-v1.stdout",
    "bytes": 496,
    "sha256": "756a8291737f092cbbe7b4c17a411b9bc21c89afbbb12dc5681fc6f17ab43059"
  },
  "stderr": {
    "path": "/tmp/radio-audit-packaging-proof-before-v1.stderr",
    "bytes": 0,
    "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
  }
}