)]}'
{
  "commit": "14bfd48aedfaa61f6af22c5fc6b86f49d7b5d77b",
  "tree": "fcdc1cf97748f7731f25294c457f27c0f1d5280c",
  "parents": [
    "9c5f5b0247ca8bca33ffa3e1a978d2f45c3c5067"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue May 26 11:37:36 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue May 26 11:37:36 2026"
  },
  "message": "[spec] Compact subtyping check in branch rules\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9368923f302715da4ab81f535b5faae76574e225",
      "old_mode": 33188,
      "old_path": "specification/wasm-3.0/4.3-execution.instructions.spectec",
      "new_id": "dd8203b69912432ce4de8687d8c8ad9549b058c3",
      "new_mode": 33188,
      "new_path": "specification/wasm-3.0/4.3-execution.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "e00ae877ce92bc927f41322d5f6c6d9e22f5e5a4",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/4.1-execution.values.spectec",
      "new_id": "463f87ef454bdd07fba701a9950c193e03417081",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/4.1-execution.values.spectec"
    },
    {
      "type": "modify",
      "old_id": "9368923f302715da4ab81f535b5faae76574e225",
      "old_mode": 33188,
      "old_path": "specification/wasm-latest/4.3-execution.instructions.spectec",
      "new_id": "dd8203b69912432ce4de8687d8c8ad9549b058c3",
      "new_mode": 33188,
      "new_path": "specification/wasm-latest/4.3-execution.instructions.spectec"
    },
    {
      "type": "modify",
      "old_id": "1438b407fe651a3e6e1e1cede72ca9dbc57bf131",
      "old_mode": 33188,
      "old_path": "spectec/test-frontend/TEST.md",
      "new_id": "c0d518174cae0bc14425724f9a0433ab80370a96",
      "new_mode": 33188,
      "new_path": "spectec/test-frontend/TEST.md"
    }
  ]
}