)]}'
{
  "commit": "0b49b1f6edcb83e4c3f1291b052b7c6790e867cc",
  "tree": "1c8769162be197b51fdc5d9e04f3a0e4dc645de3",
  "parents": [
    "52e37e0d55e846bd74abbb52f394faffbf1f8b87"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 04 21:24:06 2025 -0500"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 04 21:27:06 2025 -0500"
  },
  "message": "fix: stackoverflow during proof construction in `grind`\n\nThis PR fixes a stack overflow that occurs when constructing a proof\nterm in `grind`.\n\nCloses 11081\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8acf3f39568ad9039ab4275a5c2cbec51ddfb911",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Lemmas.lean",
      "new_id": "1e65b87f9039e4de8c07c08a01a7458cd28a7f1d",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "bd23d393c72804006c91a8b7d018dbe862d9fc24",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Proof.lean",
      "new_id": "c864ce36d7313c8b41e653a4ffed24f0536c46e4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Proof.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5702deea41d998fee885de723369c9990c6d368b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_11081.lean"
    }
  ]
}