)]}'
{
  "commit": "0cb53b405b05309dc2686100db456548933e6263",
  "tree": "9773aa2b63d7f2026f41c13d0c50407679dd7eef",
  "parents": [
    "96c2d7c32aa6c24a417b7c24d39a099299b925c4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 01 21:11:25 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 01 21:12:23 2025 -0700"
  },
  "message": "feat: extra critical pairs for AC + idempotent\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ab374422cf83809f30d052f6662187f30f7cc3ff",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/AC.lean",
      "new_id": "b84d2bbec51823c06b023bc8f2606f9cb1772596",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "c36815b1835eefebea0e7f4190554cd70d5bf9f9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean",
      "new_id": "2bfd48bc47160b9b9122089b066239ede3394225",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean"
    },
    {
      "type": "modify",
      "old_id": "d9b9d242509ff9933d9db658dced433d4d493c16",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Proof.lean",
      "new_id": "88b564575501304456daaef8cadb84d643c71823",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "bf47a58d196bbeba6d0804cc5b8ddd0698802707",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean",
      "new_id": "0c2d1f44b0903bdf9907bd17c73a23fdf679c77a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "647b5fc98a1fe8a3485009fb8a6882f0e7e81cd6",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ac_2.lean",
      "new_id": "84404f7931de79baba0a88affa4f695c5aff60b2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ac_2.lean"
    }
  ]
}