)]}'
{
  "commit": "1a80f32a65d653bbab709d71e215fc8cdeceadae",
  "tree": "06a6239bb241b167b333b1ef65ebaac585ea0d66",
  "parents": [
    "b6674b2c36a91778e03cc8082380af173ed89e1e"
  ],
  "author": {
    "name": "Cameron Zwarich",
    "email": "cameron@lean-fro.org",
    "time": "Fri Jun 20 06:50:17 2025 -0700"
  },
  "committer": {
    "name": "Cameron Zwarich",
    "email": "cameron@lean-fro.org",
    "time": "Fri Jun 20 06:50:17 2025 -0700"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0457c08deee531ba291a96c9ad3e61dd17803b00",
      "old_mode": 33188,
      "old_path": "stage0/src/CMakeLists.txt",
      "new_id": "7dcb366bc64a1c3e401f667369e9fcddb9c34d0d",
      "new_mode": 33188,
      "new_path": "stage0/src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "cd53bae6adfdd3fecab2bd0bae8120e5016c474c",
      "old_mode": 33188,
      "old_path": "stage0/src/runtime/thread.cpp",
      "new_id": "7df3d8f2f7df91054de5212f813197e45b98fd63",
      "new_mode": 33188,
      "new_path": "stage0/src/runtime/thread.cpp"
    },
    {
      "type": "modify",
      "old_id": "89c9c4ee29575c0f3188f8b5efc723e8e07bdc6f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Int/Linear.c",
      "new_id": "13cfed51c21c26c4f0182274b825371bcd6dd072",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Int/Linear.c"
    },
    {
      "type": "modify",
      "old_id": "1661ee3df2cecaeedc007526591442bc78b9b226",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Iterators/Consumers/Loop.c",
      "new_id": "8e686a6b7cee938b466a5f3fc16cd49efbc50faf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Iterators/Consumers/Loop.c"
    },
    {
      "type": "modify",
      "old_id": "f0bb919935abc51fb686f72d79f98757972d1189",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Iterators/Consumers/Monadic/Loop.c",
      "new_id": "97181d96738d8f4cb44e9fc798dd1d8e57a6a5cd",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Iterators/Consumers/Monadic/Loop.c"
    },
    {
      "type": "modify",
      "old_id": "ec3b6e9a027b49221a7e2fc59668a9b73c1d55be",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Iterators/Lemmas/Consumers/Loop.c",
      "new_id": "4cbc6d2f06fa0cd6849ac81536854b62c630580f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Iterators/Lemmas/Consumers/Loop.c"
    },
    {
      "type": "modify",
      "old_id": "4085069891b9f552acc1b2368221f7acac21aef4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Iterators/Lemmas/Consumers/Monadic/Loop.c",
      "new_id": "db06576e8d4c515dbdae932cfe730cd9eb6a3758",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Iterators/Lemmas/Consumers/Monadic/Loop.c"
    },
    {
      "type": "modify",
      "old_id": "0673105f2614f0b018792f0eb2b0e817aada644e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Ring/Basic.c",
      "new_id": "33ff50b4d53cd0e8196f49113b60b372b671ead4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Ring/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "904222675b65f26bd95409e5c9a017087b8adfd9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Ring/Envelope.c",
      "new_id": "923ceecc1a30692805034af3971c5e3f3a48c3c3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Ring/Envelope.c"
    },
    {
      "type": "modify",
      "old_id": "7c8d7b83a9fd43b1917a86d6af99c83f2990b424",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Ring/OfSemiring.c",
      "new_id": "c5d8782f8071f1852788186c015c449579cd2889",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Ring/OfSemiring.c"
    },
    {
      "type": "modify",
      "old_id": "6d13a60cc32c9a3815c7e01d06a20868ae94a8bf",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Ring/Poly.c",
      "new_id": "27e2d2b547ac73f7b2787b97bea25effdfd8176f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Ring/Poly.c"
    },
    {
      "type": "modify",
      "old_id": "8606a7a7d1c6c60e1b6a0ca9d08fe544dd81c353",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/GrindInstances/Ring/BitVec.c",
      "new_id": "52e7ed981e8921f72e01aa2b2b6c0e2feb71d2ba",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/GrindInstances/Ring/BitVec.c"
    },
    {
      "type": "modify",
      "old_id": "f7cac2e381915d7d7ecea4b11bab9a48e7f35581",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/GrindInstances/Ring/Fin.c",
      "new_id": "9b95b64fa135a6184be06cef70c50a259832a645",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/GrindInstances/Ring/Fin.c"
    },
    {
      "type": "modify",
      "old_id": "b38ca71c099475ef2118d9307a33595eb5238649",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/GrindInstances/Ring/Int.c",
      "new_id": "cc493e13ef76fca344cc02f20898e8badfd51ee2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/GrindInstances/Ring/Int.c"
    },
    {
      "type": "modify",
      "old_id": "6be3f8cc183684633c620107b490bc7808d5ff6a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/GrindInstances/Ring/SInt.c",
      "new_id": "7ad83d58826a273d1319e2315fdad0667d96f30d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/GrindInstances/Ring/SInt.c"
    },
    {
      "type": "modify",
      "old_id": "ecd419da672ce8d0f296deefd5198b4bb88432b2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/GrindInstances/Ring/UInt.c",
      "new_id": "df28dad16371377f37e0d77538b2f4e76287c06f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/GrindInstances/Ring/UInt.c"
    },
    {
      "type": "modify",
      "old_id": "1a22384dc012183d95a1070aa807a56b164a274e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ExtractClosed.c",
      "new_id": "b32fab0b59b874294de631b23e47477bcaa767d2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ExtractClosed.c"
    },
    {
      "type": "modify",
      "old_id": "afa3eede630978d99d9d97e0b8c6bd64e9d5ed67",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/CoreM.c",
      "new_id": "a86fc8e60bf8d082845cd53abd66822849fe2a12",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/CoreM.c"
    },
    {
      "type": "modify",
      "old_id": "4daf9c411eb698b9ffced4bc0824f7575558cd1f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c",
      "new_id": "124fc0b45997c1f10b5f096db0fef3482547a200",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c"
    },
    {
      "type": "modify",
      "old_id": "b72980655465a77e6c4c72b9c4f64f598465af50",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Structure.c",
      "new_id": "f31198451cde6f2d9f689640856337aabdfa2859",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Structure.c"
    },
    {
      "type": "modify",
      "old_id": "105db4de0c28c51dc373077fb4dff6de64b11fbb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c",
      "new_id": "f3513d839e14c5acc69bde7ab87240a6588a63e8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c"
    },
    {
      "type": "modify",
      "old_id": "2e734bbca16553bd5c1806b5042b70a56fdad39e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c",
      "new_id": "f084c7a3cda810d7b80ad450717583cf14af2356",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/DvdCnstr.c"
    },
    {
      "type": "modify",
      "old_id": "726af53a8aa5f678ca8b8df07c186c2b1b9ebafc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c",
      "new_id": "1b8aae49b3fd47c295f084f0753630e9afed6f65",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Linear/StructId.c"
    },
    {
      "type": "modify",
      "old_id": "16e74d41a47604242f3af648dd1b03f9bfaf7d3f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/CodeActions/UnknownIdentifier.c",
      "new_id": "50bcac647d78101cb5687a818869de8672a6304e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/CodeActions/UnknownIdentifier.c"
    },
    {
      "type": "modify",
      "old_id": "47df5bec8bb73d28eb2ac1645ac393c84e6b6b52",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c",
      "new_id": "91e3e439e9b787a73d7a1d6e54bf8455d4cf9c46",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker/RequestHandling.c"
    },
    {
      "type": "modify",
      "old_id": "eb5d677926b4cda896d6c8f13bcd1bd07ab0d976",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Requests.c",
      "new_id": "1d51c326214c1f2dbd2314c6616e431e3ed1fae5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Requests.c"
    },
    {
      "type": "modify",
      "old_id": "5abeb68d582e76c1d6b585919f82bb22dc2af162",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Drop.c",
      "new_id": "6efcad6128e36324e0f0807b7db193dc8854807d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Drop.c"
    },
    {
      "type": "modify",
      "old_id": "24d9ee33d65e0352d61801831851ff42c89d6044",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/DropWhile.c",
      "new_id": "1b56a33cb09840c6b0165c9d755d4dfd8f56d89e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/DropWhile.c"
    },
    {
      "type": "modify",
      "old_id": "2de60e6f183da6dd05b95121fb1f7ec5251a7f3c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/FilterMap.c",
      "new_id": "3b66999c71e717519b7efb386cd53f0f71e93637",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/FilterMap.c"
    },
    {
      "type": "modify",
      "old_id": "2d865ab0c85231a13a2c8e2c7050d97199762c1e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Take.c",
      "new_id": "955b98983040823248a60e94b6c410acac08fa52",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Take.c"
    },
    {
      "type": "modify",
      "old_id": "e2574910161c9574d9980f0fe8c940e6e7121ef2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/TakeWhile.c",
      "new_id": "c6f76652a50f2c447c520582cc3576c6fa385ad7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/TakeWhile.c"
    },
    {
      "type": "modify",
      "old_id": "226c76454040e20dc17e0e4e24e25aa542718e17",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Zip.c",
      "new_id": "11f7a9ad4ea323ad09936ae8a2eeaaf34c4694c5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Combinators/Monadic/Zip.c"
    },
    {
      "type": "modify",
      "old_id": "df5e6cfc729e70413c9b3e0d58ea5e53133165ba",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Empty.c",
      "new_id": "ac66f0bdc7e0599de6d35ef560145929ab38ad69",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Lemmas/Producers/Monadic/Empty.c"
    },
    {
      "type": "modify",
      "old_id": "ff0332712b1b573e3f29a81d2ad5a4d1fb6f0caa",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Array.c",
      "new_id": "5a5c247f506d2309c3d82c3b2536630dd4225b44",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Array.c"
    },
    {
      "type": "modify",
      "old_id": "d13df57a347f7e5a8669ae8f0ad311657ec7058a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Empty.c",
      "new_id": "5d4f7266d5183a611525da2f64ab87cfa5231d10",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/Empty.c"
    },
    {
      "type": "modify",
      "old_id": "616522caf5604c3946be2b30dba8e33d9677aae0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/List.c",
      "new_id": "e64accc1f69459cd4ec7a475a398802a34f67288",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Producers/Monadic/List.c"
    },
    {
      "type": "modify",
      "old_id": "8a072bd21258d47984d1c5ec8e2d62184e25f3b7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Std/Data/Iterators/Producers/Repeat.c",
      "new_id": "8e2a5781ca4ca416e63bc8d310ac478c7b1965c8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Std/Data/Iterators/Producers/Repeat.c"
    }
  ]
}