Limit mypy CI check

Author: JosueNina

.github/workflows/build.yml

@@ -37,7 +37,23 @@ jobs:
         if: runner.os == 'Linux'
         run: |
           # Critical checks
-          mypy lean/ --ignore-missing-imports --check-untyped-defs
+          mypy_output=$(mypy lean/ \
+            --ignore-missing-imports \
+            --check-untyped-defs \
+            --show-error-codes \
+            --no-error-summary 2>&1)
+          
+          missing_args=$(echo "$mypy_output" | grep -E "Missing positional argument|\[call-arg\]")
+          
+          if [ -n "$missing_args" ]; then
+            echo "❌ ERROR: Missing function arguments detected:"
+            echo ""
+            echo "$missing_args"
+            echo ""
+            echo "When adding/removing parameters from methods, ensure all call sites are updated."
+            exit 1
+          fi
+          
           flake8 lean/ --select=F821 --ignore=ALL
           
           # Warning checks (don't fail the build)