From 7b7f130d965c95e0ebbb28eeb4d1e987cd5754ec Mon Sep 17 00:00:00 2001
From: yassin <yassin@berri.ai>
Date: Sat, 5 Sep 2026 19:21:27 +0000
Subject: [PATCH] chore: ratchet type-discipline budget after merge

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
---
 type-discipline-budget.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/type-discipline-budget.json b/type-discipline-budget.json
index 481e3591ce9..225134b4e2b 100644
--- a/type-discipline-budget.json
+++ b/type-discipline-budget.json
@@ -1,6 +1,6 @@
 {
   "LIT001": {
-    "limit": 22181
+    "limit": 22180
   },
   "LIT002": {
     "limit": 26745
@@ -9,7 +9,7 @@
     "limit": 261
   },
   "LIT004": {
-    "limit": 40
+    "limit": 38
   },
   "LIT005": {
     "limit": 0
@@ -27,7 +27,7 @@
     "limit": 0
   },
   "LIT010": {
-    "limit": 16464
+    "limit": 16462
   },
   "LIT011": {
     "limit": 5506