)]}'
{
  "commit": "0936bde1101dd073ab3be75ed01886642bb30e27",
  "tree": "4cdb5eb64d6110f58847d48995adba15b1a648e4",
  "parents": [
    "e02e4d0e90c56b5f62cfea147a291e6b2651d2f2"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 22 05:47:46 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Sep 22 05:47:46 2026 +0000"
  },
  "message": "feat: relate bitvector trailing-zero counts to natural trailing zeros\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c9b789dddf0e8f38e1b2fecb8e9ec026768e2b96",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "a04d72ae2b4c2cb31fb56e3e575baac5b227d541",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "d16e26b868a8bb3004194d2fa3607ec8084ce5f0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean",
      "new_id": "32f60858978f5cce8dfb1cc9ddc9e4f3d65e0fcc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "3e5e5a0bd782501bddc02591086b35d39a1b8060",
      "old_mode": 33188,
      "old_path": "tests/compile/trailingZeros.lean",
      "new_id": "3748fba956c428db38247755a32acfa9db82c6e6",
      "new_mode": 33188,
      "new_path": "tests/compile/trailingZeros.lean"
    }
  ]
}