)]}'
{
  "commit": "2b2e0bf8bb26d1eff31a3e9de7c37e152a1daa60",
  "tree": "d5090d6307549f1dd42a50d1a6a23f4fcceaabc5",
  "parents": [
    "819fb6a6a89f6f3095451fa071cf25a05a4b469f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 29 11:05:01 2026 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 29 11:05:01 2026 +1100"
  },
  "message": "fix: include local variable dot notation params in `grind?` suggestions\n\nThis PR fixes a bug where `grind?` suggestions would not include parameters\nusing local variable dot notation (e.g., `cs.getD_rightInvSeq` where `cs` is\na local variable). These parameters were incorrectly filtered out because\nthe code assumed all ident params resolve to global declarations. In fact,\nlocal variable dot notation produces anchors that need the original term to\nbe loaded during replay, so they must be preserved in the suggestion.\n\nCloses #12185\n\nCo-Authored-By: Claude Opus 4.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "89c49e0b87ceab3d9b8d29c5f3f21d2f87964ebc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Main.lean",
      "new_id": "3a4cc1347abca1a7d297f82dc7a81729f1be9bbc",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "64a44e656e29b866927fab06a7e51ee1f33977a0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_trace_local_dot_notation.lean"
    }
  ]
}