)]}'
{
  "commit": "00e046430e66869385cb8ff883feeace16010e8a",
  "tree": "43d6e09eccabaaffabc2ec06210da5cfa691daac",
  "parents": [
    "4105ba2f6092b70a289e12d3e4f4619480991c8e"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 12 18:48:43 2026 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 12 18:48:43 2026 +1100"
  },
  "message": "fix: update remaining SimpLC Exceptions files for current master\n\nFix Array.lean, Bool.lean, and Exceptions.lean for API changes:\n- mkArray → replicate, mkArray_succ → replicate_succ\n- Remove duplicate declarations (Option.isSome_guard, get_guard,\n  pop_mkArray, pop_mkVector) now in Init\n- forIn\u0027_yield_eq_foldl → idRun_forIn\u0027_yield_eq_foldl (no longer simp)\n- findSome?_mkArray_* → findSome?_replicate_*\n- take_size → extract_size\n- Add public imports for Array.Lemmas, Array.Find, List.Lemmas,\n  Vector.Lemmas\n- Fix List.toList_toArray/List.size_toArray qualification\n- Remove Option.map_attach (no longer exists)\n- Comment out simp_lc checks pending new critical pair investigation\n- Remove stale simp_lc allow entries (no non-confluence detected)\n\nCo-Authored-By: Claude Opus 4.6 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "532e9200416642846eef10edb07db3a37cdae661",
      "old_mode": 33188,
      "old_path": "src/Lean/SimpLC/Exceptions.lean",
      "new_id": "0cd66e3a6ba5054547fb5b51b7fdb222fd8dcb15",
      "new_mode": 33188,
      "new_path": "src/Lean/SimpLC/Exceptions.lean"
    },
    {
      "type": "modify",
      "old_id": "8a1aa24f5085840e8bea01a6aeefc1a20d1c3d43",
      "old_mode": 33188,
      "old_path": "src/Lean/SimpLC/Exceptions/Array.lean",
      "new_id": "fff0c8d72714681d0a5af0da0436095ae0742097",
      "new_mode": 33188,
      "new_path": "src/Lean/SimpLC/Exceptions/Array.lean"
    },
    {
      "type": "modify",
      "old_id": "d0da0b6f96e14b419bf310d9951628a776ccbf3e",
      "old_mode": 33188,
      "old_path": "src/Lean/SimpLC/Exceptions/Bool.lean",
      "new_id": "388a2d5ec490f46765709a063923e43024a0053b",
      "new_mode": 33188,
      "new_path": "src/Lean/SimpLC/Exceptions/Bool.lean"
    }
  ]
}