)]}'
{
  "commit": "e1d140bc6010291df77c6960d7379170bd18242b",
  "tree": "58fed2aa5c427fae3a32800425df690df6a46a62",
  "parents": [
    "395833670e50a6c9c15cccbdd7ed494a0d80fc33"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Oct 23 18:34:01 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Oct 23 18:34:07 2026 +0000"
  },
  "message": "perf: look up the declaring module of imported constants without reference counting\n\nLooking up only the module index of an imported constant, as `getModuleIdxFor?` does when the interpreter resolves the functions it calls, now returns a scalar from the lookup cache instead of the cached `Option (α × Nat)` result. Cache hits thus no longer increment and decrement the shared, multi-threaded result. `looksLikeCodegenName` also checks for a leading underscore before testing its prefixes.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f39659b59910967ae2eb485443fbb25c2d78a44a",
      "old_mode": 33188,
      "old_path": "src/Lean/ConstMap.lean",
      "new_id": "7099ad3ff24cc333301ad289e07fd15abca9972f",
      "new_mode": 33188,
      "new_path": "src/Lean/ConstMap.lean"
    },
    {
      "type": "modify",
      "old_id": "7e9ebfe8f4926c91aa887dba69d543d91a27a61f",
      "old_mode": 33188,
      "old_path": "src/Lean/ConstTrie.lean",
      "new_id": "a955a3908945329c43c5be85a8ae134683b2d7f0",
      "new_mode": 33188,
      "new_path": "src/Lean/ConstTrie.lean"
    },
    {
      "type": "modify",
      "old_id": "aab32e5bbe1f7d6f658646f65558576a034ed266",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "a1142e259080218880a60ebd9fd4c7316ecbd4f0",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "268e41e2d9b85b87478729ba5701ca9276ee8b8d",
      "old_mode": 33188,
      "old_path": "src/library/const_cache.cpp",
      "new_id": "e47eea6e2fc3e74f8b3d9ccc13a0898e6c093775",
      "new_mode": 33188,
      "new_path": "src/library/const_cache.cpp"
    }
  ]
}