)]}'
{
  "commit": "986f9c018fcb504db5ee43cf421b3750bb04aa6c",
  "tree": "4ff090163b1de8e69e89193a45a5707c7b372c2c",
  "parents": [
    "a1578f538264c712302747620e9d2e4c1d2965fb"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 16 05:06:39 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 16 05:06:39 2026 +0000"
  },
  "message": "test: cover additional powMod window and dispatch boundaries\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b2b133841bb3260d3526b79647ccaba42d188f43",
      "old_mode": 33188,
      "old_path": "tests/elab/lean_nat_powmod.lean",
      "new_id": "abb30474095525285f17552a10001bb93da87d86",
      "new_mode": 33188,
      "new_path": "tests/elab/lean_nat_powmod.lean"
    }
  ]
}