{
  "date": "2026-09-04",
  "version": 1,
  "reported_research_duration": "35m 11s",
  "artifacts": {
    "FlowReconfiguration.lean": {
      "bytes": 18076,
      "sha256": "b4fff40154a7ad2cee795cd1e0eed5aac7e5353d0a3966c335d0e10f6eb3fc55"
    },
    "flow-reconfiguration.pdf": {
      "bytes": 60217,
      "sha256": "8b7ae72e6380d8329b26ff6c2dcb3db9b0d229e83fb6ae3ccefd748283466110"
    },
    "flow-reconfiguration.tex": {
      "bytes": 8356,
      "sha256": "aadb3d6c5e0ae1088b12b11d61ed2bd67b96dba190bcfdfa0e591bc688215982"
    },
    "full-proof.md": {
      "bytes": 8478,
      "sha256": "cf25b48966637db6c84afdd1982971cc3755c1f3983f0b0e310a883ef7619fba"
    },
    "proof-and-code.zip": {
      "bytes": 34330,
      "sha256": "7f9e446d71414672f603a6d759b1c22584b3e00248e749209905b7df9f8eefaf"
    }
  }
}