)]}'
{
  "commit": "fe22d4af971c44825391077a6c9a26b529ca4c53",
  "tree": "90be15036a5277432668c8cfdc33bf3b94e4c4c8",
  "parents": [
    "a972c4f50dfc335559be8445c739e46d1df57b3a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 30 19:31:29 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 30 19:36:44 2026 -0800"
  },
  "message": "perf: cache `unfold_definition` in the kernel\n\nThis PR ensures we cache the result of `unfold_definition` definition\nin the kernel type checker. We used to cache this information in a\nthread local storage, but it was deleted during the Lean 3 to Lean 4\ntransition.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2f681e45af4d4902315ba955de51cbbb83468862",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.cpp",
      "new_id": "76d69b959d61a438b1e57524dd1c8ac13532b4ef",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.cpp"
    },
    {
      "type": "modify",
      "old_id": "78834d425375b5e45bfd5e01a52e69e951ca4077",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.h",
      "new_id": "32fb89d9495c97e73d19c3582fe0284c65873ee7",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.h"
    }
  ]
}