)]}'
{
  "commit": "037697a647e85afa188508f0f4225a9cf9221f69",
  "tree": "e2750f49b77eec6b771576015bd097e54040724d",
  "parents": [
    "11f618ac4952af2d60bb216b23c957477d5eb399"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 01 18:46:03 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Sep 01 18:46:03 2025 -0700"
  },
  "message": "chore: cleanup `superposeAC?`\n\nThis PR ensures `superposeAC?` and `superpose?` have similar signatures.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4a665a36386539f3ebc944b562a60446090a1845",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/AC.lean",
      "new_id": "ab374422cf83809f30d052f6662187f30f7cc3ff",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "164c43bd8a26b370f6e3988e7d865ca74143a676",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean",
      "new_id": "c36815b1835eefebea0e7f4190554cd70d5bf9f9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean"
    },
    {
      "type": "modify",
      "old_id": "0396183bd2661e1eba78f21d7fba7d938273945b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Proof.lean",
      "new_id": "d9b9d242509ff9933d9db658dced433d4d493c16",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "9160008bf3028610ac08a52aecc0e64e6f8328b3",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean",
      "new_id": "03fd8841038522bdca0d160ac96c2745636edf91",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean"
    },
    {
      "type": "modify",
      "old_id": "58a5cf8481bab54ceec3818de8adecdba7777f9f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean",
      "new_id": "bf47a58d196bbeba6d0804cc5b8ddd0698802707",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean"
    }
  ]
}