Fix Duplicate Visitor Passes (Claude)

Changed from `pkg.accept()` to `pkg.getTypes().forEach()` in `RefinementProcessor` to prevent types in nested packages from being verified multiple times when `ProcessingManager` traverses the package hierarchy.

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java

@@ -16,7 +16,7 @@
 public class CommandLineLauncher {
 
     private static final Diagnostics diagnostics = Diagnostics.getInstance();
-    
+
     public static void main(String[] args) {
         if (args.length == 0) {
             System.out.println("No input paths provided");

liquidjava-verifier/src/main/java/liquidjava/processor/RefinementProcessor.java

@@ -33,10 +33,18 @@ public void process(CtPackage pkg) {
             c.reinitializeAllContext();
 
             try {
-                pkg.accept(new FieldGhostsGeneration(c, factory)); // generate annotations for field ghosts
-                pkg.accept(new ExternalRefinementTypeChecker(c, factory));
-                pkg.accept(new MethodsFirstChecker(c, factory)); // double passing idea (instead of headers)
-                pkg.accept(new RefinementTypeChecker(c, factory));
+                // process types in this package only, not sub-packages
+                // first pass: gather refinements
+                pkg.getTypes().forEach(type -> {
+                    type.accept(new FieldGhostsGeneration(c, factory)); // generate annotations for field ghosts
+                    type.accept(new ExternalRefinementTypeChecker(c, factory)); // process external refinements
+                    type.accept(new MethodsFirstChecker(c, factory)); // double passing idea (instead of headers)
+                });
+
+                // second pass: check refinements
+                pkg.getTypes().forEach(type -> {
+                    type.accept(new RefinementTypeChecker(c, factory));
+                });
             } catch (LJError e) {
                 diagnostics.add(e);
             }