)]}'
{
  "commit": "2ae726a414fa91be143d03e4ad5f39e5ab4d6c16",
  "tree": "145c813a07bf99cad5e38e8cbcc0be6fdf4776cd",
  "parents": [
    "24c4e8a313e65220679f2b59e7633ca29688fae6"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "qim.morrison@gmail.com",
    "time": "Mon Aug 31 10:16:43 2026 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "qim.morrison@gmail.com",
    "time": "Mon Aug 31 10:16:43 2026 +1000"
  },
  "message": "fix: track upstream renames in SimpLC\n\n`exceptBoolEmoji` was removed when `TraceResult` replaced `ExceptToEmoji`\n(#12698); `withTraceNode` now prefixes the emoji itself, so the header\nmessage just drops it. `DiscrTree.values` moved to `Lean.Meta.DiscrTree.Util`\nin the `DiscrTree` refactor (#11875), which `Lean.Meta.Tactic.Simp.SimpTheorems`\nno longer pulls in, so import it directly.\n\nCo-Authored-By: Claude Opus 5 (1M context) \u003cnoreply@anthropic.com\u003e\nClaude-Session: https://claude.ai/code/session_01WGQ4cXuC9bBbZQ3psYLZUA\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1946a55b88e82256f53634df1526fc2dc2c72c00",
      "old_mode": 33188,
      "old_path": "src/Lean/SimpLC.lean",
      "new_id": "d12ea68cb79ac5a2ea1691dd90f3e2feefcf8f19",
      "new_mode": 33188,
      "new_path": "src/Lean/SimpLC.lean"
    }
  ]
}