)]}'
{
  "commit": "4eabed975d10ab5d131d392dd5407dfb688abd0b",
  "tree": "8d5686bad9329facc635fba8edf716bd9c8049e6",
  "parents": [
    "f5be489f3742d799b055b1cfc582b2e02fb4fc85"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Thu Nov 05 00:18:28 2026 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Thu Nov 05 00:18:28 2026 -0300"
  },
  "message": "perf: scan HTTP header entries instead of maintaining a hash index\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "40507bc66d09df1c23452e685cfbc1978406ac76",
      "old_mode": 33188,
      "old_path": "src/Std/Http/Data/Headers.lean",
      "new_id": "0a4175fe1200e9bedb31a0847249e3fcfd793509",
      "new_mode": 33188,
      "new_path": "src/Std/Http/Data/Headers.lean"
    },
    {
      "type": "modify",
      "old_id": "3cd9ffdeb73749ca59a99ee04c51ac532c34818a",
      "old_mode": 33188,
      "old_path": "src/Std/Http/Data/Headers/Name.lean",
      "new_id": "74640c2dfd4d25c0e73353c0809323e43df9d260",
      "new_mode": 33188,
      "new_path": "src/Std/Http/Data/Headers/Name.lean"
    },
    {
      "type": "modify",
      "old_id": "e4b6668f405a1b612be9920142a1da6f89230e19",
      "old_mode": 33188,
      "old_path": "src/Std/Http/Internal.lean",
      "new_id": "2d60c002db2ba82d7367f39f46f40a44d2df8952",
      "new_mode": 33188,
      "new_path": "src/Std/Http/Internal.lean"
    },
    {
      "type": "delete",
      "old_id": "16a597ff4c8e10d3dd31b36a40342d54986b5aff",
      "old_mode": 33188,
      "old_path": "src/Std/Http/Internal/IndexMultiMap.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "ecd132220f7c5ac9c3a2d75b8b599344729b6d0b",
      "new_mode": 33188,
      "new_path": "src/Std/Http/Internal/MultiMap.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1967d2898cf317ba6f391ef85a3c501c174dceb1",
      "new_mode": 33188,
      "new_path": "tests/elab/http_multimap.lean"
    }
  ]
}