reduce

{
  "created": "2026-09-08T21:29:05Z",
  "finished": "2026-09-08T21:29:43Z",
  "id": "fresh-e2e-reduction-1",
  "launcher_identity": "1059184",
  "launcher_pid": 165162,
  "pid": 165162,
  "process_identity": "1059184",
  "request": {
    "action": "reduce",
    "budget": 30,
    "generator_digest": "0273bc3c72682179331017e6ba37352e8359205c89ec8d0a732dc28eff32a775",
    "input_digest": "435302a8c51816c4129523e310f937c11e28310a76d15dfc07b92e70016bb4aa",
    "postcondition_digest": "fd310d78a27a090d0adc07da4089fff0526bfbdebad147bc5bd19daf14286e5a",
    "run": "20260908-212546",
    "seed": 0,
    "unit": "fresh-graph-return"
  },
  "result": "runs/fresh-graph-return/20260908-212546/reductions/fresh-e2e-reduction-1/native-snapshot",
  "started": "2026-09-08T21:29:05Z",
  "state": "complete",
  "timeout_s": 3600
}