ci: patch generated phpstan.neon to remove stale excludePaths for src/Contract

Author: walmir-silva

.github/workflows/ci.yml

@@ -42,6 +42,11 @@ jobs:
       - name: Initialize devkit (.kcode/ generation)
         run: kcode init
 
+      # src/Contract was removed in v4 — patch the generated phpstan.neon
+      - name: Patch phpstan.neon (remove stale excludePaths)
+        run: |
+          sed -i '/excludePaths:/,/- \.\.\/src\/Contract/d' .kcode/phpstan.neon
+
       # cs-fixer → phpstan (L9) → psalm → phpunit
       # Exit code ≠ 0 fails the job (zero-tolerance policy)
       - name: Run full quality pipeline