)]}'
{
  "commit": "f7711c2ff715bb064e038876bbc93d63d1cbb74a",
  "tree": "a5eaef7255abc396530afdcae3fa396464d829ea",
  "parents": [
    "3e05b0641bf882d5142327b1013fb8bf38e4b9ab"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 19 16:48:09 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 19 16:50:44 2024 -0700"
  },
  "message": "fix: `[implemented_by]` at functions defined by well-founded recursion\n\ncloses #2899\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "90f792a233806c3d9110de039d0c83615e21afbc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/DeclModifiers.lean",
      "new_id": "c83a015a08d63e7ea9f2933d6aa054d03b436f84",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/DeclModifiers.lean"
    },
    {
      "type": "modify",
      "old_id": "4282d62e569ae3805c90a5460c6d675d11bebbc0",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Declaration.lean",
      "new_id": "720c1c899d2e9fea47f3e456dbe891f0efca6512",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Declaration.lean"
    },
    {
      "type": "modify",
      "old_id": "a4c46826decc327ed3f1343bb202e4d7051775bb",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/DefView.lean",
      "new_id": "91e259edc118216350abd367f0ee2a7934216ca0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/DefView.lean"
    },
    {
      "type": "modify",
      "old_id": "0963d017d4553b4840618a194619878a3ddfc449",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Basic.lean",
      "new_id": "33952aed33ec8c92d2ef8bb560b7290bb2a4d5ac",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "636eda87a64e96a0d7f93e97ef8d74815a127659",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/WF/Main.lean",
      "new_id": "41c60472ee440a3863d60645c0ef1cf1800e876a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/WF/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "58fe5957359aae9987a70553fbc966032502131e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Structure.lean",
      "new_id": "b22199d8437dd6701b589c11b2c9ccd5f91198c0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Structure.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "418aa02ba33a101d8c9dd09f0b32c66dfcefc490",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2899.lean"
    }
  ]
}