)]}'
{
  "commit": "509c894028ca17d92a03e93f6c243dfaf3016b85",
  "tree": "84f1c4fb86d844068911a57f64330e6ebbd75dfd",
  "parents": [
    "340650f2f620169685814774bc5b019d05d4d3d7"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Thu Oct 15 13:00:25 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Thu Oct 15 13:00:25 2026"
  },
  "message": "[spec] Specify that host call results must not be empty\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a4da2bcc617bd9b8bac80f686873db7f6ec9d94c",
      "old_mode": 33188,
      "old_path": "document/core/exec/instructions.rst",
      "new_id": "7b37f2b40c91b39b1255796b4181f6c3bc06ecd9",
      "new_mode": 33188,
      "new_path": "document/core/exec/instructions.rst"
    }
  ]
}