From a4050d05975dc65c229a028cf9b579eb8b85698d Mon Sep 17 00:00:00 2001
From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Date: Fri, 25 Sep 2026 16:10:56 +0000
Subject: [PATCH] chore: restore budget and tsbuildinfo files from main

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

diff --git a/type-discipline-budget.json b/type-discipline-budget.json
index 0c0952289e2..ee7aa22f759 100644
--- a/type-discipline-budget.json
+++ b/type-discipline-budget.json
@@ -34,5 +34,11 @@
   },
   "LIT012": {
     "limit": 4486
+  },
+  "LIT013": {
+    "limit": 0
+  },
+  "LIT014": {
+    "limit": 369
   }
 }