)]}'
{
  "commit": "a1de79ac71cbbaaa7082be95b789b38efc1a57fe",
  "tree": "20d16a6cdf00f4f2ec28a2d12a12354acef640bd",
  "parents": [
    "9962ec439c87c515bfe1cd74a79e93c20609197c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 24 19:50:18 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 24 19:50:18 2025 -0700"
  },
  "message": "feat: ac operator detection\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "60e9976de2bfd31a6c186b588037f974e36c3406",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "4bccf6c073c012793490ef6302a623b83cce3517",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "b6d4f5a577e7297ff5bb532c7b9f9f218cee4ff4",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC.lean",
      "new_id": "6f8183b8791a6af8e41652357456da0c40c2eeb5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a890237b831d3e7f89c35b755347eb3d55d01156",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "0016e0feb88d599defea4cb5244a2f544b63626a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean",
      "new_id": "e111f6fee2deae3feebad60fc2f6debb0cdd3dd1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Types.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8cc982012c8f5c175977bb714dcdb76021d7499f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "084a258181d3a13b89f37e36f500269a95c9ab5b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Var.lean"
    },
    {
      "type": "modify",
      "old_id": "a40fbd78d2d3df32974cfb7baba266cf59153738",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "09020f6f48429d7404a209732ed2e0b5371ca21e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "bfc9f0e1507a640bb84c0baf92499879b407a2f2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "e39b0468a46056328e9f5d0548d1c7b06088cd85",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "c38293a63245d570e70b1507b2d2f3109d75f8cb",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_sort_eqc.lean",
      "new_id": "3bc0cd66393e60184660e16de0a47c4b6ecf7e6d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_sort_eqc.lean"
    }
  ]
}