)]}'
{
  "commit": "3b6e65dcae21db4c46076c7a92dccbe195abc929",
  "tree": "fb685ff62a68d5c7d84c602008fe5cc3b9a5820e",
  "parents": [
    "f3752861c934c277630cc0dc5a812bbcc8b6f3a3"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Mar 01 14:28:02 2026 -0800"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Mar 04 23:38:31 2026 +0000"
  },
  "message": "fix: mark `Id.run` as `[implicit_reducible]`\n\nThis PR marks `Id.run` as `[implicit_reducible]` to ensure that\n`Id.instMonadLiftTOfPure` and `instMonadLiftT Id` are definitionally\nequal when using `.implicitReducible` transparency setting.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "300a99f273ff95aa464cb27ca01cebd30faded22",
      "old_mode": 33188,
      "old_path": "src/Init/Control/Id.lean",
      "new_id": "8858236f77c7937718ef0a6c981975f8e21c96f2",
      "new_mode": 33188,
      "new_path": "src/Init/Control/Id.lean"
    },
    {
      "type": "modify",
      "old_id": "9b3f34982361f3b7c96d5f6e832e09ac4c14934e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Iterators/Lemmas/Consumers/Loop.lean",
      "new_id": "c89d4e99aea68bec46a0698c2e43f471ec3fe056",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Iterators/Lemmas/Consumers/Loop.lean"
    }
  ]
}