)]}'
{
  "commit": "7234d6477f76d48fbb0069c6b9d9502de828f9d8",
  "tree": "9a2e120dfa9421864fbb36da615ed907a78bf34a",
  "parents": [
    "f3348db41a50da554f32fc1ced61798bbe8bcdef"
  ],
  "author": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Mon Apr 06 17:14:24 2026 +0000"
  },
  "committer": {
    "name": "Joachim Breitner",
    "email": "mail@joachim-breitner.de",
    "time": "Mon Apr 06 18:14:34 2026 +0000"
  },
  "message": "perf: eliminate checkSystemInterval overhead when disabled\n\nSkip the FFI call to lean_check_system_interval entirely when\nLEAN_CHECK_SYSTEM_INTERVAL_MS is unset by checking a builtin_initialize\u0027d\nBool flag inline.\n\nCo-Authored-By: Claude Opus 4.6 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7bec3bbd593943db98fa29dbea69d469cbe1f162",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "da50d1e2ff310f689b5b50ab9f90f6fa3964346e",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "897bb621e12fcb7b6188180af7b5473c312c8c27",
      "old_mode": 33188,
      "old_path": "src/runtime/interrupt.cpp",
      "new_id": "da84254af747bf2ee8f9ed68299013f15033474a",
      "new_mode": 33188,
      "new_path": "src/runtime/interrupt.cpp"
    }
  ]
}