From e3f61ce1347286774bc7c5da301c2bda1d0b0a96 Mon Sep 17 00:00:00 2001
From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Date: Wed, 2 Sep 2026 22:13:23 +0000
Subject: [PATCH] chore(techdebt): refresh lint budgets after staging merge

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
---
 basedpyright-code-budget.json | 10 +++++-----
 type-discipline-budget.json   | 10 +++++-----
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/basedpyright-code-budget.json b/basedpyright-code-budget.json
index 64a22209d86..a53d7976263 100644
--- a/basedpyright-code-budget.json
+++ b/basedpyright-code-budget.json
@@ -57,7 +57,7 @@
     "limit": 5601
   },
   "reportMissingTypeArgument": {
-    "limit": 15298
+    "limit": 15296
   },
   "reportMissingTypeStubs": {
     "limit": 40
@@ -105,14 +105,14 @@
     "limit": 109
   },
   "reportUnknownMemberType": {
-    "limit": 38344
+    "limit": 38341
   },
   "reportUnknownParameterType": {
     "limit": 19625
   },
-    "reportUnknownVariableType": {
-    "limit": 29877
-    },
+  "reportUnknownVariableType": {
+    "limit": 29873
+  },
   "reportUnnecessaryCast": {
     "limit": 111
   },
diff --git a/type-discipline-budget.json b/type-discipline-budget.json
index 5823d83d0bd..5475fc848fe 100644
--- a/type-discipline-budget.json
+++ b/type-discipline-budget.json
@@ -6,7 +6,7 @@
     "limit": 26777
   },
   "LIT003": {
-    "limit": 265
+    "limit": 264
   },
   "LIT004": {
     "limit": 40
@@ -26,11 +26,11 @@
   "LIT009": {
     "limit": 0
   },
-    "LIT010": {
-    "limit": 16494
-    },
+  "LIT010": {
+    "limit": 16492
+  },
   "LIT011": {
-    "limit": 5529
+    "limit": 5527
   },
   "LIT012": {
     "limit": 4495