)]}'
{
  "commit": "f1200bdd49ccc88f907daefa0bdb849c58afac33",
  "tree": "96452f406c0b2513ef02d4235dd9939066d0980c",
  "parents": [
    "3c9f0557dcacc55e10cc71340924c4f5a564173c"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Oct 01 22:15:47 2025"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Oct 01 22:15:47 2025"
  },
  "message": "[spec] Unbreak all_true again\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "76dc60d36ff668b38cf34cc9905091ae6698283a",
      "old_mode": 33261,
      "old_path": "document/core/appendix/index-instructions.py",
      "new_id": "582215017114b383771c3cd6bdcfd21096e4f381",
      "new_mode": 33261,
      "new_path": "document/core/appendix/index-instructions.py"
    },
    {
      "type": "modify",
      "old_id": "a2886f894186a5f6df683cb0a013fecc1779572c",
      "old_mode": 33188,
      "old_path": "document/core/exec/numerics.rst",
      "new_id": "ce0e42fc81e5b3a55b60f5defd0904c5dca0663f",
      "new_mode": 33188,
      "new_path": "document/core/exec/numerics.rst"
    },
    {
      "type": "modify",
      "old_id": "7caefba9cfab84f7edabd1751c7d308b27113c0a",
      "old_mode": 33188,
      "old_path": "document/core/util/macros.def",
      "new_id": "4af4c09bbc63c72ebbdce2ad27ea2193683dca79",
      "new_mode": 33188,
      "new_path": "document/core/util/macros.def"
    },
    {
      "type": "modify",
      "old_id": "f277a74b3748179a007b00a4474aa70287528f06",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/3.1-numerics.scalar.spectec",
      "new_id": "832c219981d803628ef9afd32316438a689daeac",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/3.1-numerics.scalar.spectec"
    },
    {
      "type": "modify",
      "old_id": "e476af0dfee42d9c00127f0addbeeb8a01867d15",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/3.2-numerics.vector.spectec",
      "new_id": "c88b9dadfb4977113a7c931cf6cd5ff5b93b5b4c",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/3.2-numerics.vector.spectec"
    },
    {
      "type": "modify",
      "old_id": "5c7a70663498a1928ab0b44224824d0431c4205e",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/4.3-execution.instructions.spectec",
      "new_id": "bde165a665f19db796fbb3ced7437d2334ce4106",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/4.3-execution.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "9847f4938e72446d7239429aaeba208cee3c1482",
      "old_mode": 33188,
      "old_path": "spectec/doc/example/output/NanoWasm.pdf",
      "new_id": "9a2d1cc3d21fa81a6b21a3ee5fe9ea541dd160b1",
      "new_mode": 33188,
      "new_path": "spectec/doc/example/output/NanoWasm.pdf"
    },
    {
      "type": "modify",
      "old_id": "dbd1b24b96c52e929c679ddbe444f3347e51f4d1",
      "old_mode": 33188,
      "old_path": "spectec/test-frontend/TEST.md",
      "new_id": "59f6ed46efa385521fd11f6b2af6dd7232baea0a",
      "new_mode": 33188,
      "new_path": "spectec/test-frontend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "168b37b775288f46aa1621a0d47d9da9512d9949",
      "old_mode": 33188,
      "old_path": "spectec/test-latex/TEST.md",
      "new_id": "d2141f7a60b0df97b251899c98fcf207830f9d5b",
      "new_mode": 33188,
      "new_path": "spectec/test-latex/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "411691d077533d88fd1add8457e64254beca4de1",
      "old_mode": 33188,
      "old_path": "spectec/test-middlend/TEST.md",
      "new_id": "167b1ba79e432f7db1df33a79282e2445301e431",
      "new_mode": 33188,
      "new_path": "spectec/test-middlend/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "adf3fc7a87cf6b12b0fddc15e39afac5053d9c15",
      "old_mode": 33188,
      "old_path": "spectec/test-prose/TEST.md",
      "new_id": "03a873857d26c81f7963aa3aea756841046565ec",
      "new_mode": 33188,
      "new_path": "spectec/test-prose/TEST.md"
    },
    {
      "type": "modify",
      "old_id": "617e983a1f0c28767c20d8c170f80f04edf0fbca",
      "old_mode": 33188,
      "old_path": "spectec/test-splice/TEST.md",
      "new_id": "bfcc59621a22cac2d783da0926ca311f7b8616c6",
      "new_mode": 33188,
      "new_path": "spectec/test-splice/TEST.md"
    }
  ]
}