)]}'
{
  "commit": "eb649d890f84429f45c0d281c9d2707ca7c95617",
  "tree": "3b4cb809e1f06140787af5c5fb32e62e4c95dd90",
  "parents": [
    "bbf92e1a55fd46bb109063ed40abea4bdf631ffd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Nov 02 02:43:09 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Nov 02 02:43:09 2026 +0000"
  },
  "message": "perf: skip `acLt` for non-permutation theorems in `Sym.dsimp`\n\nThis PR fixes `sym \u003d\u003e dsimp` timing out on large, deeply nested terms that `sym \u003d\u003e simp` handles quickly.\n\nCloses #15938\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "10aa896e32ebc890bfbfee6e2bfafa745e9fd7bb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/DSimp/Rewrite.lean",
      "new_id": "be9a6d26bda9099245ab8181a9bb56c885185a9a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/DSimp/Rewrite.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a68a1c8277ca3472ecff7e883a9859c0f89f6739",
      "new_mode": 33188,
      "new_path": "tests/elab/sym_dsimp_15938.lean"
    }
  ]
}