)]}'
{
  "commit": "c19444bf4ab77167c6cbcb1f3954c3cd23640c8e",
  "tree": "25336fb151332bd5c3eedc918e02b144329a5511",
  "parents": [
    "64942e142f2cbd3576ad89c3df41f8b6ccee91d9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 08 16:29:33 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 08 16:33:01 2026 +0000"
  },
  "message": "fix: issues found while enabling `compiler.postponeCompile` for core\n\nThis PR fixes a panic in `leanir` and three smaller issues found while enabling `compiler.postponeCompile` for core.\n\n* `leanir` marks its re-seeding of import-derived extension state as unlogged, which otherwise panics for extensions that log writes such as `classExtension`.\n* `isDeclMeta` also consults the current module\u0027s state for imported declarations.\n* `[inherit_doc]` from a private to a public declaration copies the docstring, as importers cannot resolve an alias to a private declaration.\n* The IR interpreter throws an exception instead of failing an assertion when asked to evaluate a declaration with an unreachable body.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "afe5649175cdf08d2dec870797b69bf93fec8a23",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/MetaAttr.lean",
      "new_id": "8db4dae9a7465ca8f0185faa84fc3ab973779203",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/MetaAttr.lean"
    },
    {
      "type": "modify",
      "old_id": "00c310a9849e94d4817e3d25e18b27a316836309",
      "old_mode": 33188,
      "old_path": "src/Lean/DocString/Extension.lean",
      "new_id": "44331b3cf3f2369e1a1dff3a0076c79b81d4027e",
      "new_mode": 33188,
      "new_path": "src/Lean/DocString/Extension.lean"
    },
    {
      "type": "modify",
      "old_id": "adff0af42d069f949696cc4b971993a5a02e3b35",
      "old_mode": 33188,
      "old_path": "src/LeanIR.lean",
      "new_id": "242f2dcc7a61f480a81d94d8e5d452bfa64648e8",
      "new_mode": 33188,
      "new_path": "src/LeanIR.lean"
    },
    {
      "type": "modify",
      "old_id": "0e42cb466bcafc8a9ca86ed1685af38aef45e369",
      "old_mode": 33188,
      "old_path": "src/library/ir_interpreter.cpp",
      "new_id": "9d18f8f5bf23b6b9352b8060e8aa0fcfeae2cf5d",
      "new_mode": 33188,
      "new_path": "src/library/ir_interpreter.cpp"
    }
  ]
}