)]}'
{
  "commit": "c40d38f28443cf379c6e20b7af6c0510eaca35d9",
  "tree": "a0de4ba8f41c3cb5de814790a147771e3ad04774",
  "parents": [
    "abdbf8d7833b734207c7b75bbc32098384a4d78c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Sep 20 11:05:00 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Sep 20 15:58:51 2026 +0000"
  },
  "message": "fix: name the realized constant in the missing `enableRealizationsForConst` error\n\nThis PR makes `realizeConst` report the constant being realized when `enableRealizationsForConst` has not been called for its target, instead of the mangled private name of the internal key type that the generic `realizeValue` check can only show.\n\nCo-Authored-By: Claude Fable 5.1 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b51f6a3917c7c38c0348f97d23e28efa764ac6a",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "ecdca3353661882a6403243c8aae5c91a31728cd",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "7f028d44dc3fd026245c470c8557806fd3ce20ef",
      "old_mode": 33188,
      "old_path": "tests/elab/realizations_enabled_before.lean",
      "new_id": "6075b8771fec71dc3e911fc3261614b11b81b5d0",
      "new_mode": 33188,
      "new_path": "tests/elab/realizations_enabled_before.lean"
    }
  ]
}