)]}'
{
  "commit": "61d4f67fc913696beb18bc14402adfaf2629be92",
  "tree": "843c22b8421e39f9e063ccb0710f23b9c5476c4e",
  "parents": [
    "97d63db52cd2fc3353f8a75f48209de0011f1bd3"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Oct 26 22:25:56 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Oct 27 09:40:02 2025 +1100"
  },
  "message": "feat: add LawfulOfScientific class\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ecaf400a6b3ab322188f46d07efc6d0236b91a80",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring.lean",
      "new_id": "2f5d344f7636791946a299f25af547f4e31d75c3",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d5697879050e5767c6d5b1bedffd7c77cfcaa944",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/OfScientific.lean"
    },
    {
      "type": "modify",
      "old_id": "59714158920bfedcdca1c6612e8b654995d653ef",
      "old_mode": 33188,
      "old_path": "src/Init/GrindInstances/Ring/Rat.lean",
      "new_id": "e2916f5a814d855bc65c0bf2336f6f985b2ecf99",
      "new_mode": 33188,
      "new_path": "src/Init/GrindInstances/Ring/Rat.lean"
    }
  ]
}