From 63f5de12ae4e21f4cc49bf2ac23a89dc077b1854 Mon Sep 17 00:00:00 2001
From: mateo-berri <277851410+mateo-berri@users.noreply.github.com>
Date: Wed, 2 Sep 2026 16:25:58 -0700
Subject: [PATCH] chore(techdebt): ratchet lint budgets to the merged tree

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

diff --git a/basedpyright-code-budget.json b/basedpyright-code-budget.json
index e03ed8abdca..7d3c83a567f 100644
--- a/basedpyright-code-budget.json
+++ b/basedpyright-code-budget.json
@@ -57,7 +57,7 @@
     "limit": 5601
   },
   "reportMissingTypeArgument": {
-    "limit": 15292
+    "limit": 15290
   },
   "reportMissingTypeStubs": {
     "limit": 40
@@ -105,13 +105,13 @@
     "limit": 109
   },
   "reportUnknownMemberType": {
-    "limit": 38335
+    "limit": 38332
   },
   "reportUnknownParameterType": {
     "limit": 19625
   },
   "reportUnknownVariableType": {
-    "limit": 29865
+    "limit": 29861
   },
   "reportUnnecessaryCast": {
     "limit": 111
diff --git a/type-discipline-budget.json b/type-discipline-budget.json
index 45d00a71d39..091c1f46e02 100644
--- a/type-discipline-budget.json
+++ b/type-discipline-budget.json
@@ -6,7 +6,7 @@
     "limit": 26774
   },
   "LIT003": {
-    "limit": 262
+    "limit": 261
   },
   "LIT004": {
     "limit": 40
@@ -27,10 +27,10 @@
     "limit": 0
   },
   "LIT010": {
-    "limit": 16488
+    "limit": 16486
   },
   "LIT011": {
-    "limit": 5523
+    "limit": 5521
   },
   "LIT012": {
     "limit": 4495