)]}'
{
  "commit": "bdaa083aa40761325a4f114b7253900a3354ecc8",
  "tree": "5f2d8b150e28d6187eb6f9694220f54733c474f4",
  "parents": [
    "998cfe5c790e8d95a6b1dc391e2e7a388e1cd885"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 08 16:39:38 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 08 16:40:46 2026 +0000"
  },
  "message": "perf: do not import `Lean.Elab.Idbg` in `LeanIR`\n\nIts `@[extern]` counterpart `Idbg.idbgClientLoop` is only declared in `Lean.Setup` and never called by `leanir`, so the test exempts it. The import was however the only thing initializing `Lean.Parser`, which implements the parenthesizer and formatter hooks of the pretty printer; import that directly.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "60cc439fddd714c30a4049098625943762a6f594",
      "old_mode": 33188,
      "old_path": "src/LeanIR.lean",
      "new_id": "8f4f52e556dc158e59ae8df2f17712a181aefb27",
      "new_mode": 33188,
      "new_path": "src/LeanIR.lean"
    }
  ]
}