From 1c20322996ff4211833977efd84d56f04523b6d2 Mon Sep 17 00:00:00 2001
From: Yuneng Jiang <yuneng@berri.ai>
Date: Sat, 29 Aug 2026 12:05:15 -0700
Subject: [PATCH] chore: ratchet lint budgets from the merged base

---
 basedpyright-code-budget.json | 4 ++--
 type-discipline-budget.json   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/basedpyright-code-budget.json b/basedpyright-code-budget.json
index ef88ae574fb..5ebcee9b4bf 100644
--- a/basedpyright-code-budget.json
+++ b/basedpyright-code-budget.json
@@ -105,13 +105,13 @@
     "limit": 109
   },
   "reportUnknownMemberType": {
-    "limit": 38721
+    "limit": 38720
   },
   "reportUnknownParameterType": {
     "limit": 19778
   },
   "reportUnknownVariableType": {
-    "limit": 30290
+    "limit": 30285
   },
   "reportUnnecessaryCast": {
     "limit": 117
diff --git a/type-discipline-budget.json b/type-discipline-budget.json
index f3f1a7defe7..c9a74388632 100644
--- a/type-discipline-budget.json
+++ b/type-discipline-budget.json
@@ -1,9 +1,9 @@
 {
   "LIT001": {
-    "limit": 22705
+    "limit": 22702
   },
   "LIT002": {
-    "limit": 26854
+    "limit": 26853
   },
   "LIT003": {
     "limit": 269