)]}'
{
  "commit": "9394f41f08f03ec336966dd4844cfa1d5cf14d21",
  "tree": "0dd0e0ed3597eed42589fe53f3fc47b7604cc541",
  "parents": [
    "94f60998206cc013e1bdfb4285e5cfffb9e302d9"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 02 11:31:47 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 02 11:31:47 2026 -0800"
  },
  "message": "chore:\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3ec1ccfb07895b99325dd6164ff21ad8a99da3da",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Main.lean",
      "new_id": "8c88c81ea288007690cd091def00d3e2a61fe55f",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "502040c55a06201a20536ebc09f8d2781014b984",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Specialize.lean",
      "new_id": "3499dbaabe2e4f5480b407ae3ec2d06b581022f6",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Specialize.lean"
    },
    {
      "type": "modify",
      "old_id": "9805f0b319d4fb1845f13eb45e37f0280f865a03",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/ToDecl.lean",
      "new_id": "640594a3ad98b42cc39f47e66c8093679ce29327",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/ToDecl.lean"
    },
    {
      "type": "modify",
      "old_id": "ad4d50c986cf3e31b6d91c574c9ead4756008afa",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/ToLCNF.lean",
      "new_id": "0101086664f2a7a07267f7c9b4b4495d782b27df",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/ToLCNF.lean"
    },
    {
      "type": "modify",
      "old_id": "f06d2895c76eb5db96b923bf893bd0ec4eeecc15",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVExpr.lean",
      "new_id": "88431acd6caebd8f92b64c29139e06d8d925a127",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/ReifiedBVExpr.lean"
    },
    {
      "type": "modify",
      "old_id": "7394933acce2856dc1979f3fa7c61daa932d7575",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reify.lean",
      "new_id": "3c832f2e115aac9698d87723daa64427485bb315",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/BVDecide/Reify.lean"
    },
    {
      "type": "modify",
      "old_id": "ec0edbdd178c8540050e3aff740e62808a87951b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Injection.lean",
      "new_id": "137255c1735d3fe431f723c1ffc9f6996fc8afc3",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Injection.lean"
    },
    {
      "type": "modify",
      "old_id": "8fbe8ce8d38bd7d76334062da97c298c2d21127f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ACLt.lean",
      "new_id": "cb79c496140a6d6c829775bffccd93cbc89c890a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ACLt.lean"
    },
    {
      "type": "modify",
      "old_id": "38e00aebaa8e04031f799d22505cd0912baa280e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/AppBuilder.lean",
      "new_id": "d8fbe88cae45b78006499915b0b72762a8113140",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/AppBuilder.lean"
    },
    {
      "type": "modify",
      "old_id": "a46e8022ec5f51d21091afe47b04d651f6501a4d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Coe.lean",
      "new_id": "e9bd57cf212132f2c7eff3ec6754359d5e2d880a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Coe.lean"
    },
    {
      "type": "modify",
      "old_id": "a6184d072ea3f569412c667dc342d4ec58cc6dbd",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CongrTheorems.lean",
      "new_id": "6b6627302ff159e8aa91a5596934df1ec92fef22",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CongrTheorems.lean"
    },
    {
      "type": "modify",
      "old_id": "999d69318223b5ecfd047ad4a6a6ed6ba5919e45",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Constructions/SparseCasesOn.lean",
      "new_id": "946b8aa235c117addd7170b8957e316c7ebb5d81",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Constructions/SparseCasesOn.lean"
    },
    {
      "type": "modify",
      "old_id": "bf24181dabc0df4b8d7fb3ade8c5b848f877f1e7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "8a2899c8bb5b76751e4d91ad17a6c4678a48dbc8",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    },
    {
      "type": "modify",
      "old_id": "8d6a689854ce652dc9e179c3cf7fa08ea614e8d1",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Instances.lean",
      "new_id": "e2361a883b5e0f9781fe7c7121c6b5c7c261d89c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Instances.lean"
    },
    {
      "type": "modify",
      "old_id": "f17b5e16291ad8a20c900e3c0b4809e5b86cadc5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/NamedPatterns.lean",
      "new_id": "c3b2a70efae6458ed0621ce8dda05ed5fc9c5ac2",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/NamedPatterns.lean"
    },
    {
      "type": "modify",
      "old_id": "ced918bf6861320fb94658538970d582e3dcb0f6",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/MethodSpecs.lean",
      "new_id": "458332e874cb4edda628febe6db0fde69a9f2b6d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/MethodSpecs.lean"
    },
    {
      "type": "modify",
      "old_id": "759f505d80254712ea6f18f3aaee0383023d3163",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SizeOf.lean",
      "new_id": "e5058362d9a37904221ff2e040d25e9d523825f1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SizeOf.lean"
    },
    {
      "type": "modify",
      "old_id": "3d278a796f0fb7d4f3bd318cc012268bc6cb2d80",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Structure.lean",
      "new_id": "131b774c312459c025a2c4021f69ec6cb0b02045",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Structure.lean"
    },
    {
      "type": "modify",
      "old_id": "d5ab94a34fb487a46644a50cab27c7587fa14487",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/CasesOnStuckLHS.lean",
      "new_id": "2d2a55acc4675ffec0f347d625a9e1de5107e84b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/CasesOnStuckLHS.lean"
    },
    {
      "type": "modify",
      "old_id": "be5e24277bc662387bc255f92866c0917d58ff9d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Delta.lean",
      "new_id": "9f0124bccac2f020235314c38553bf2d77d3b99a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Delta.lean"
    },
    {
      "type": "modify",
      "old_id": "028fc61bcb624710ab43f760f9e26e075b480c26",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Ext.lean",
      "new_id": "6519b4fe2c03d97e222e6693f653f891cbae68a6",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Ext.lean"
    },
    {
      "type": "modify",
      "old_id": "924139c282fe361aa47016df3a0022838929ed23",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/ToIntInfo.lean",
      "new_id": "2b6e75e1805c968e961a62eb5cbf4caa3402a528",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/ToIntInfo.lean"
    },
    {
      "type": "modify",
      "old_id": "f708a4a4e6ae22fe6cdec73dce671c30b032395f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Injection.lean",
      "new_id": "1bc2d9dd9c33f81910b265d7af4975fbe9a1587f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Injection.lean"
    },
    {
      "type": "modify",
      "old_id": "d93eba35cffb0ee938abb810272dda374ce1dd8a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Util.lean",
      "new_id": "ccf7c15643d71b48ab2794bda43cd891ecbbef76",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "32b4516599fa879e9cd43d8d35c6c9e406731a0a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Induction.lean",
      "new_id": "ddb1de7a9125aba91c5c266eaa57257f5496b94c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Induction.lean"
    },
    {
      "type": "modify",
      "old_id": "3ce24a0fae50e5ee703f1b0dd821b9d9b0f3d2db",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Arith/Int/Basic.lean",
      "new_id": "e4ba77aa992a8414a2f0887666c9f9f15b117c91",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Arith/Int/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "24e4c9abbf5b5e3688cfa17a25fbcdbe261904bb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Arith/Nat/Basic.lean",
      "new_id": "8c099b9b0d0501dd4c2a950f603aad2790f4636e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Arith/Nat/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "da601c40aeca5198929c2ea07a94ddc0f50c9956",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean",
      "new_id": "653a1cce864d8adea092646ff60adb1743c60867",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "d615889d1c20f4d6c95d5dc3299d90e5ae9c5b1e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/CtorIdx.lean",
      "new_id": "18b57957530c3780e2e6f6e76b27ffba12f1016a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/CtorIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "deead1b817136809057c14f1e2a75e537aac5c2f",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean",
      "new_id": "14b4fa0c1edf1ac14e0c03e1a6882923cbc1f4df",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean"
    },
    {
      "type": "modify",
      "old_id": "5187862ee231c73b7c26989870e1a9c9dc064a68",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean",
      "new_id": "361f710160597fc9cc4073a6f58b4682869f5662",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.lean"
    },
    {
      "type": "modify",
      "old_id": "506a429a6fed7fc68c5749747a231e48b062509e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "e490f99a706e33cfbb9c2fa24bb489b7fffe1886",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "28e3fe8fd937a60314eb1d463356f63ebf1ec5c5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean",
      "new_id": "0a1213629c105dfed3a0567de072bceb555195bb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean"
    },
    {
      "type": "modify",
      "old_id": "a9c2f93b4b89deaf5aa569a142834ad8ff0a223d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Types.lean",
      "new_id": "b5da99096046c1dff741fa13a38fb3b56522d469",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "dacf3089d423e35e66674c5b9dc153d07993e366",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/SplitIf.lean",
      "new_id": "72326563207d923a2873671eced5dc42dd77316f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SplitIf.lean"
    },
    {
      "type": "modify",
      "old_id": "909ae60bb59130b4ab9afff87cde75fa7260e887",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Symm.lean",
      "new_id": "f882c7b3f45cefd33a7ed79228ed623e3b50fbd4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Symm.lean"
    },
    {
      "type": "modify",
      "old_id": "169715b6df4e49b9b1c6620733bab63088bb562e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Unfold.lean",
      "new_id": "6bcd842f09c60089fbe7b92edca4e849116bb92c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Unfold.lean"
    }
  ]
}