)]}'
{
  "commit": "91598bd7f852e175ff1fc65e565f75271b52d865",
  "tree": "98d6a8fa9815162770b0cf905ee12390526e0801",
  "parents": [
    "72a0605ac5d69b18d36b228ece96a455d1c70712"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 25 19:13:23 2026 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 25 19:13:23 2026 -0700"
  },
  "message": "refactor: move `reportDbgIssue!` from grind to SymM\n\nThis PR moves `reportDbgIssue!` and `expandReportDbgIssueMacro` from\n`Grind/Types.lean` to `SymM.lean`. The macro now checks `sym.debug`\ninstead of `grind.debug`, since debug issue reporting is a Sym-level\nconcern shared across all modules in a `sym \u003d\u003e` block.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e0fddb4dd6f8265b260026cd12053b71c3237358",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Sym/SymM.lean",
      "new_id": "080466d27d3a39e62b06fe34dafdadfd16090f82",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Sym/SymM.lean"
    },
    {
      "type": "modify",
      "old_id": "2bb44783e4643a27ec873916bc5343d2407db75f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean",
      "new_id": "259bec431adb5b5cbeea9dcfc2d1d93f9cdf4fef",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/EMatch.lean"
    },
    {
      "type": "modify",
      "old_id": "7db0a852eca06964351bf81d5dca5918becf1423",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "ac1bf39711e61734d7835ce3c6affdccc5a392c0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "380d87ee0ef554e17043f049de2ae141b52f65c2",
      "old_mode": 33188,
      "old_path": "tests/elab/grind_linarith_1.lean",
      "new_id": "256139bf605367ff43a68793f22ced2261e119f9",
      "new_mode": 33188,
      "new_path": "tests/elab/grind_linarith_1.lean"
    }
  ]
}