)]}'
{
  "commit": "9c5f5b0247ca8bca33ffa3e1a978d2f45c3c5067",
  "tree": "6d1f483b33dc9501e55f4d2a8480c1066de8a3b0",
  "parents": [
    "d34a973e70ab127476b5d8591c6f558be289b929"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue May 26 11:26:40 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue May 26 11:26:40 2026"
  },
  "message": "[spectec] Couple of minor fixes to spec\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6237c93ac04f5bb57fe52bbf5cee5a18b64f27dd",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/4.1-execution.values.spectec",
      "new_id": "463f87ef454bdd07fba701a9950c193e03417081",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/4.1-execution.values.spectec"
    },
    {
      "type": "modify",
      "old_id": "d059ee9a636adcdb10e86ea7b21b21acd3ea1675",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/7.1-soundness.configurations.spectec",
      "new_id": "1993c905d1dd8d435658875b6a231d1a7b31e313",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/7.1-soundness.configurations.spectec"
    },
    {
      "type": "modify",
      "old_id": "6237c93ac04f5bb57fe52bbf5cee5a18b64f27dd",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/4.1-execution.values.spectec",
      "new_id": "e00ae877ce92bc927f41322d5f6c6d9e22f5e5a4",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/4.1-execution.values.spectec"
    },
    {
      "type": "modify",
      "old_id": "d059ee9a636adcdb10e86ea7b21b21acd3ea1675",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/7.1-soundness.configurations.spectec",
      "new_id": "1993c905d1dd8d435658875b6a231d1a7b31e313",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/7.1-soundness.configurations.spectec"
    },
    {
      "type": "modify",
      "old_id": "bd82999e2401ba7086e5a8b1dfd1ac363a150050",
      "old_mode": 33188,
      "old_path": "spectec/test-frontend/TEST.md",
      "new_id": "1438b407fe651a3e6e1e1cede72ca9dbc57bf131",
      "new_mode": 33188,
      "new_path": "spectec/test-frontend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "8af3ac6adeb94b26775401fc1ef930345cb5eb08",
      "old_mode": 33188,
      "old_path": "spectec/test-latex/TEST.md",
      "new_id": "cc2e50513bacf8d37bfeb41d54ab7328091c4ef2",
      "new_mode": 33188,
      "new_path": "spectec/test-latex/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "303e1758d5e76adbcc59add2f65235ffb7f490c6",
      "old_mode": 33188,
      "old_path": "spectec/test-middlend/TEST.md",
      "new_id": "8738e0ed807c8d2da689a75b2adaa67ba374fecc",
      "new_mode": 33188,
      "new_path": "spectec/test-middlend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "c20cd92b6ca9533aab8bae4e19806b398b436a10",
      "old_mode": 33188,
      "old_path": "spectec/test-prose/TEST.md",
      "new_id": "eab5e85f392f67743c04f8cd792ad3dc6fd3d728",
      "new_mode": 33188,
      "new_path": "spectec/test-prose/TEST.md"
    }
  ]
}