)]}'
{
  "commit": "10d58f94c14759422d3890ebc8bdff9d69ee7fb8",
  "tree": "5b55a26ce49f1b3afce07fa69dc5c9db557db984",
  "parents": [
    "920888955b56fb28131e7988abc944b3af8ade76"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jan 10 08:27:33 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jan 28 03:32:43 2026 +0000"
  },
  "message": "feat: another `grind_pattern` for `getElem?_pos`\n\nThis PR activates `getElem?_pos` more aggressively, triggered by `c[i]`.\n\n🤖 Generated with [Claude Code](https://claude.com/claude-code)\n\nCo-Authored-By: Claude \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "943a9271a1437bbc0fcd5c43700c25f127a2d862",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_indexmap_trace.lean",
      "new_id": "008ab4f426ead27ad5178a794090315ec1b3fb91",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_indexmap_trace.lean"
    },
    {
      "type": "modify",
      "old_id": "116d0e586736f6700dc766026813b08d59134dda",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_interactive.lean",
      "new_id": "ef6d92b235f205c02df4c401abee77ecda16497c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_interactive.lean"
    }
  ]
}