)]}'
{
  "commit": "36dbcef92f070584f3af48ef54ee89f406ac6f74",
  "tree": "b0fc3a7f805dadba9387e3f907f6d67cb4b1d274",
  "parents": [
    "a3d8c30662d279b5a20b5e19437f996d669024e4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Aug 29 15:23:35 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Aug 29 15:23:35 2025 -0700"
  },
  "message": "feat: AC module invariants\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a37c0838cd879f04b6e3b00db7cc99fab6bae172",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/AC.lean",
      "new_id": "5243e014c7df48cd7e92b45daa44d83503b58351",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "83cf513526b7a6259292bd9da481aa8d295472a2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean",
      "new_id": "a834f5cc79dd923d2c51383667ae06975831d7de",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean"
    },
    {
      "type": "modify",
      "old_id": "a54211249a30fe32c6a3333d0cfc94bb96f87c8e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Inv.lean",
      "new_id": "fb652dbb6f2a7b98737d34aef54878640049f3dd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "7ba33f3092b617eb8c1220818b9da6101581d2e2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean",
      "new_id": "7543ec8733bcfa970ea7f8c2d9fbbf92cfc0d630",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Seq.lean"
    },
    {
      "type": "modify",
      "old_id": "25b69a311c152770416339c5e9061cd06e796fce",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean",
      "new_id": "5ab12c434562d60d60b7954375c2a883ecbb1d7f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "a545409d652065ebdba2ef8a197ef1d8c1618948",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "d836b430a4dc83b12a446f3e7c127174872b140a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    },
    {
      "type": "modify",
      "old_id": "30f9e5777d87c25107131cb13e87648bf580fe6c",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "e599865af3b08c354656ec178d65553a8f57f462",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    }
  ]
}