)]}'
{
  "commit": "b8faf416afe219c05c16871eeaf99cafaafb1341",
  "tree": "7368d672e0105abe93f147a056b9808a8eb5f24d",
  "parents": [
    "7376772cbd49e8214e093ebb5031e139ef0141dd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 05 11:51:19 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 05 11:53:18 2026 -0800"
  },
  "message": "perf: add `PersistentHashMap.findKeyD` and `PersistentHashSet.findD`\n\nThis PR implements `PersistentHashMap.findKeyD` and\n`PersistentHashSet.findD`. The motivation is avoid two memory\nallocations (`Prod.mk` and `Option.some`) when the collections\ncontains the key.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e8bc3ce88b7ffa7c2737b6c9db9984ed9d530274",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PersistentHashMap.lean",
      "new_id": "2a7ed0f059bf8d3a674eadf78a652527d85d52c6",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PersistentHashMap.lean"
    },
    {
      "type": "modify",
      "old_id": "6ffad96c4a6cc72025cc3b35c9072b2601337585",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PersistentHashSet.lean",
      "new_id": "2a4ec0585a7d88f60e45136c1d85cae57dda2ab4",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PersistentHashSet.lean"
    },
    {
      "type": "modify",
      "old_id": "1057739336c686867b1c71c7582834f98ac0ec87",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AlphaShareCommon.lean",
      "new_id": "e86ad972c144c55dbb2261a6b631c876faab77bc",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AlphaShareCommon.lean"
    }
  ]
}