)]}'
{
  "commit": "21b053f79a2727fffcdd89ebe95b093eec68515a",
  "tree": "40b7b40f4fcc748d68be06d8e86fdb0c42f28aae",
  "parents": [
    "e74ad1d44ea9e65b7260245f52af8f214f5ede8f"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Jun 02 14:03:15 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Jun 03 13:38:53 2026"
  },
  "message": "Static reduction\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c7c8e1fe986c88e89e3b9ed3f426389a23116ae7",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/0-aux.spectec",
      "new_id": "68e9301757694b758653d9822a4439f877e18fff",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/0-aux.spectec"
    },
    {
      "type": "modify",
      "old_id": "f643f52b01ff6d84774721186ff621b036624e3e",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/1-syntax.spectec",
      "new_id": "3b793e42fd45f4e3319ee760886e00ebd1dd2317",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/1-syntax.spectec"
    },
    {
      "type": "modify",
      "old_id": "90de3537fd01b1ffd3d50e9d07d20908192b5955",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/3-numerics.spectec",
      "new_id": "4960e5d274ad4da69d7de6c28e90fa213f345e04",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/3-numerics.spectec"
    },
    {
      "type": "modify",
      "old_id": "6e8679d4886060845a6348a8028729049e4e3163",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/0.1-aux.vars.spectec",
      "new_id": "6dccabab905790471f3ccf31707996023a7f80b2",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/0.1-aux.vars.spectec"
    },
    {
      "type": "modify",
      "old_id": "6d24351e7202c32960085b8ad036c039dc94c24f",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/1.3-syntax.instructions.spectec",
      "new_id": "f7215711f3669ef47350a9eb92cdfe953e464a68",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/1.3-syntax.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "999049058593e59e97e6757c04b14b14cb23882d",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/2.3-validation.instructions.spectec",
      "new_id": "8739c20b1ad411e9ddf481ca24373ebc879f436b",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/2.3-validation.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "17171da2d1ad635eca5d01a7d47dcd1edfd25ac8",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/3.1-numerics.scalar.spectec",
      "new_id": "7ac9dad59339b2229992c0500b3f749c1d4ff310",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/3.1-numerics.scalar.spectec"
    },
    {
      "type": "modify",
      "old_id": "dd8203b69912432ce4de8687d8c8ad9549b058c3",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/4.3-execution.instructions.spectec",
      "new_id": "9ec17593d3f34d73662393ca41647c741cfe5248",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/4.3-execution.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "6e8679d4886060845a6348a8028729049e4e3163",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/0.1-aux.vars.spectec",
      "new_id": "6dccabab905790471f3ccf31707996023a7f80b2",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/0.1-aux.vars.spectec"
    },
    {
      "type": "modify",
      "old_id": "6d24351e7202c32960085b8ad036c039dc94c24f",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/1.3-syntax.instructions.spectec",
      "new_id": "f7215711f3669ef47350a9eb92cdfe953e464a68",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/1.3-syntax.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "999049058593e59e97e6757c04b14b14cb23882d",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/2.3-validation.instructions.spectec",
      "new_id": "8739c20b1ad411e9ddf481ca24373ebc879f436b",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/2.3-validation.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "17171da2d1ad635eca5d01a7d47dcd1edfd25ac8",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/3.1-numerics.scalar.spectec",
      "new_id": "7ac9dad59339b2229992c0500b3f749c1d4ff310",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/3.1-numerics.scalar.spectec"
    },
    {
      "type": "modify",
      "old_id": "dd8203b69912432ce4de8687d8c8ad9549b058c3",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/4.3-execution.instructions.spectec",
      "new_id": "9ec17593d3f34d73662393ca41647c741cfe5248",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/4.3-execution.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "908957890aa07bb1584e9792363371f0f4b931d0",
      "old_mode": 33188,
      "old_path": "spectec/src/el/convert.ml",
      "new_id": "dbb5a7eb9f86217d2690470f232f636403fd342e",
      "new_mode": 33188,
      "new_path": "spectec/src/el/convert.ml"
    },
    {
      "type": "modify",
      "old_id": "bdb48da851040ea8873e491da987c8f2dedfad29",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/elab.ml",
      "new_id": "686281dc3a7318b2a37387a8b035e9a290bc6beb",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/elab.ml"
    },
    {
      "type": "modify",
      "old_id": "2edf7cd2571b8138225d4d35f0a87049b0a9284b",
      "old_mode": 33188,
      "old_path": "spectec/src/il/eval.ml",
      "new_id": "b6b06512db805c0ef090cfb55174a66c3cc56795",
      "new_mode": 33188,
      "new_path": "spectec/src/il/eval.ml"
    },
    {
      "type": "modify",
      "old_id": "255bdb9473c87aea1692d72442bf4d1e9013ea6d",
      "old_mode": 33188,
      "old_path": "spectec/src/il/print.ml",
      "new_id": "64d603abe9b58f2b1096b8914f71cdbd952ea5a7",
      "new_mode": 33188,
      "new_path": "spectec/src/il/print.ml"
    },
    {
      "type": "modify",
      "old_id": "44db964dbac279c5158b3d792dc387b829200ddd",
      "old_mode": 33188,
      "old_path": "spectec/src/util/debug_log.ml",
      "new_id": "d80d358e9cab28f446c41837d10ce87b5fc71e2f",
      "new_mode": 33188,
      "new_path": "spectec/src/util/debug_log.ml"
    },
    {
      "type": "modify",
      "old_id": "d8a21d05d51e999ab8a7729d219dc7821b0e5c0d",
      "old_mode": 33188,
      "old_path": "spectec/test-frontend/TEST.md",
      "new_id": "15c60d0f10dd4890a3c116b1f4dc31bbff25f5a7",
      "new_mode": 33188,
      "new_path": "spectec/test-frontend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "79d289854858d1c90e167034619f4b9bcce04ba3",
      "old_mode": 33188,
      "old_path": "spectec/test-latex/TEST.md",
      "new_id": "1253a23f3cb874bec56e9f897ed2784444994625",
      "new_mode": 33188,
      "new_path": "spectec/test-latex/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "27e8f804a7a312632ccafe1b002a35df6ab8a36b",
      "old_mode": 33188,
      "old_path": "spectec/test-middlend/Makefile",
      "new_id": "4a338ef530efa51cf1b5098983c335c419e77e93",
      "new_mode": 33188,
      "new_path": "spectec/test-middlend/Makefile"
    },
    {
      "type": "modify",
      "old_id": "d7ff0031817e050b6b20bb362ffef16d2cfd62c8",
      "old_mode": 33188,
      "old_path": "spectec/test-middlend/TEST.md",
      "new_id": "526d41eb0b5275ded0e581d2bc624c0220f4b09d",
      "new_mode": 33188,
      "new_path": "spectec/test-middlend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "9544f533d82b92d0fa59913a7bbc0d8680117af6",
      "old_mode": 33188,
      "old_path": "spectec/test-prose/TEST.md",
      "new_id": "79ee43a15f4d5bfe7de59950fd8fdbbdba02714e",
      "new_mode": 33188,
      "new_path": "spectec/test-prose/TEST.md"
    }
  ]
}