@@ -511,11 +511,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20, on the checkout step) + BODY BUDGET, the
+    # JOB WALL = CHECKOUT BUDGET (25, on the checkout step) + BODY BUDGET, the
     # scheme `typecheck-source-gates` argues for a full-history checkout. Body
     # after the checkout, rebuilt per run from the 70 runs the `lint` job
-    # cites: max 3.3 minutes; 2 × 3.3 = 6.7, 10 on the floor. 20 + 10 = 30.
-    timeout-minutes: 30
+    # cites: max 3.3 minutes; 2 × 3.3 = 6.7, 10 on the floor. 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -524,7 +524,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # The slot-lookup ratchet compares the baseline against its state at
           # the merge base with main — the only way to see a file being ADDED
@@ -595,11 +595,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 4.1 minutes; 2 × 4.1 = 8.1, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -608,7 +608,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -1987,11 +1987,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 4.0 minutes; 2 × 4.0 = 8.0, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -2000,7 +2000,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -3018,11 +3018,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 3.8 minutes; 2 × 3.8 = 7.6, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
       # ⭐ Added by #18224, for the issue-citation step far below: it resolves
@@ -3052,7 +3052,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -4176,11 +4176,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 4.3 minutes; 2 × 4.3 = 8.7, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -4189,7 +4189,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -4336,11 +4336,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 4.3 minutes; 2 × 4.3 = 8.6, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -4349,7 +4349,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -4482,11 +4482,11 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites: max 3.7 minutes; 2 × 3.7 = 7.5, 10 on the floor.
-    # 20 + 10 = 30.
-    timeout-minutes: 30
+    # 25 + 10 = 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
@@ -4495,7 +4495,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -4670,13 +4670,13 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET, `typecheck-source-gates`'
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET, `typecheck-source-gates`'
     # scheme. Body after the checkout, rebuilt per run from the 70 runs the
     # `lint` job cites, where every run of this gate was BOTH tiers: max 15.5
-    # minutes; 2 × 15.5 = 31.0, 30 on the grain. 20 + 30 = 50, under the 55
-    # cap the `lint` job argues. Both tiers still run here on `schedule` and
+    # minutes; 2 × 15.5 = 31.0, 30 on the grain. 25 + 30 = 55, AT the 55 cap
+    # the `lint` job argues. Both tiers still run here on `schedule` and
     # `push`, so the wall is sized for them, not for the fast tier.
-    timeout-minutes: 50
+    timeout-minutes: 55
     permissions:
       contents: read
 
@@ -4685,7 +4685,7 @@ jobs:
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it; the `lint` job
         # above says why every lane carries it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: same reason as the `lint-eslint` checkout above.
           fetch-depth: 0
@@ -4823,7 +4823,7 @@ jobs:
     # window): the `lint` job's `timeout-minutes` comment. The four Type Check
     # lanes size their wall as TWO budgets added, argued here once:
     #
-    #   wall = CHECKOUT BUDGET (20, on the checkout step) + BODY BUDGET
+    #   wall = CHECKOUT BUDGET (25, on the checkout step) + BODY BUDGET
     #
     # The checkout is a full-history fetch (`fetch-depth: 0`, argued at the
     # step) and its time has nothing to do with the change under test. Window
@@ -4840,35 +4840,43 @@ jobs:
     # `cancelled` at the wall behind a 436–600 s checkout, and the required
     # aggregate failed each one with no gate run.
     #
-    # CHECKOUT BUDGET, 20 minutes: 1.3× that 895 s maximum. The rule's 2× would
-    # be 30, but the queue's window binds first: the workspace lane's body
-    # budget is 35, and 35 + 20 = 55 is the cap the `lint` job argues. One
-    # fetch, one budget, the same number on all four lanes.
+    # CHECKOUT BUDGET, 25 minutes, on every full-history checkout in this file
+    # but one. It was 20, 1.3× that 895 s maximum. The 2026-11-03 platform
+    # slowdown (#29980) then timed out 16 of these checkouts at 20 minutes.
+    # Replayed over that incident's full-history fetches (ci.yml's, n = 1,652,
+    # which carry no step timeout and so are uncensored), a single attempt
+    # fails 1.51% of checkouts at 20 minutes and 0.42% at 25, and a bound plus
+    # one retry inside the same total gains nothing (the hazard is flat).
+    # Healthy runs pay nothing for it: max 435 s over 3,576 checkouts of this
+    # workflow after the incident. The queries are in #29980's dev report.
+    # The one exception is `typecheck-workspace`: its body budget is 35, and
+    # 35 + 20 = 55 is already the cap the `lint` job argues, so that lane
+    # keeps 20 until its body is faster or the fetch is narrowed (#22034).
     #
     # BODY BUDGET, 10 minutes: everything after the checkout, successful runs
     # only (n = 278): p50 2.8 / p99 3.1 / max 3.2 minutes; 2 × 3.2 = 6.4, and
-    # never below 10. 20 + 10 = 30.
+    # never below 10. 25 + 10 = 35.
     #
     # What the required `TypeScript Type Check` aggregate reads; it fails on
     # anything but `success`:
-    #   - a checkout that ends inside 20 minutes: nothing, the body still has
+    #   - a checkout that ends inside 25 minutes: nothing, the body still has
     #     its 10;
-    #   - a checkout still running at 20: the step FAILS ("The action
-    #     'Checkout repository' has timed out after 20 minutes."; actions/runner
+    #   - a checkout still running at 25: the step FAILS ("The action
+    #     'Checkout repository' has timed out after 25 minutes."; actions/runner
     #     `StepsRunner.RunStepAsync` sets `TaskResult.Failed` on a step timeout),
     #     the gates are skipped, the lane reads `failure`;
     #   - a later step that hangs: the wall CANCELS the job, the lane reads
     #     `cancelled`. Actions has no timeout over a group of steps, so after a
-    #     fast checkout a hung gate can run up to the full 30.
-    timeout-minutes: 30
+    #     fast checkout a hung gate can run up to the full 35.
+    timeout-minutes: 35
     permissions:
       contents: read
 
     steps:
       - name: Checkout repository
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: the job's wall comment above sizes it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # The authorable-surface deletion gate (#4650) below anchors on the
           # MERGE BASE of HEAD with origin/main — that is the only anchor under
@@ -5521,7 +5529,8 @@ jobs:
     # checkout numbers and what the aggregate reads: `typecheck-source-gates`.
     # Body after the checkout, successful runs (n = 264): p50 11.0 / p99 17.1 /
     # max 17.9 minutes; 2 × 17.9 = 35.8, 35 on the grain. 20 + 35 = 55, the
-    # cap the `lint` job argues, which is what holds the checkout budget at 20.
+    # cap the `lint` job argues, which is what holds THIS lane's checkout
+    # budget at 20 while every other full-history checkout here takes 25.
     # No run of this lane hit the old 30 in the window, but 17.9 plus that
     # 895 s checkout is 32.8: the same exposure, not yet drawn.
     timeout-minutes: 55
@@ -5531,7 +5540,8 @@ jobs:
     steps:
       - name: Checkout repository
         uses: actions/checkout@v7
-        # CHECKOUT BUDGET: `typecheck-source-gates` sizes it.
+        # CHECKOUT BUDGET: `typecheck-source-gates` sizes it and says why this
+        # lane alone stays at 20.
         timeout-minutes: 20
         with:
           # `fetch-depth: 0`: see `typecheck-source-gates`' checkout (#4650, #6359,
@@ -5777,21 +5787,21 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET; the split, its window, the
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET; the split, its window, the
     # checkout numbers and what the aggregate reads: `typecheck-source-gates`.
     # Body after the checkout, successful runs (n = 278): p50 4.4 / p99 7.2 /
-    # max 7.4 minutes; 2 × 7.4 = 14.8, 15 on the grain. 20 + 15 = 35. In the
+    # max 7.4 minutes; 2 × 7.4 = 14.8, 15 on the grain. 25 + 15 = 40. In the
     # window the old 15 cancelled this lane twice, behind a 642 s and a 774 s
     # checkout.
-    timeout-minutes: 35
+    timeout-minutes: 40
     permissions:
       contents: read
 
     steps:
       - name: Checkout repository
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: see `typecheck-source-gates`' checkout (#4650, #6359,
           # #6356).
@@ -5981,21 +5991,21 @@ jobs:
     needs: [schedule-gate]
     if: ${{ !cancelled() && needs.schedule-gate.outputs.skip != 'true' }}
     runs-on: ubuntu-latest
-    # JOB WALL = CHECKOUT BUDGET (20) + BODY BUDGET; the split, its window, the
+    # JOB WALL = CHECKOUT BUDGET (25) + BODY BUDGET; the split, its window, the
     # checkout numbers and what the aggregate reads: `typecheck-source-gates`.
     # Body after the checkout, successful runs (n = 271): p50 7.1 / p99 10.5 /
-    # max 11.5 minutes; 2 × 11.5 = 23, 25 on the grain. 20 + 25 = 45. In the
+    # max 11.5 minutes; 2 × 11.5 = 23, 25 on the grain. 25 + 25 = 50. In the
     # window the old 20 cancelled this lane twice, both in a merge group,
     # behind a 393 s and a 665 s checkout.
-    timeout-minutes: 45
+    timeout-minutes: 50
     permissions:
       contents: read
 
     steps:
       - name: Checkout repository
         uses: actions/checkout@v7
         # CHECKOUT BUDGET: `typecheck-source-gates` sizes it.
-        timeout-minutes: 20
+        timeout-minutes: 25
         with:
           # `fetch-depth: 0`: see `typecheck-source-gates`' checkout (#4650, #6359,
           # #6356).