GeezerVison

Fixes #342 (regression tests only; no verifier change).

At the commit in the issue, CommandLineLauncher hard-coded compliance level 8. Java 8 has no records, so JDT parsed the record header as a method and its members as locals and a block; the real method was never in the model. Spoon reports this as a warning in noclasspath mode, so the run printed "Java compilation encountered issues" and then "Correct! Passed Verification." It is already fixed on main by #352 (compliance from the pom), #368 (default level 21, Spoon 11.5.0) and #370 (records in the external-spec pass). Forcing level 11 or 15 still reproduces it; 16 and above report the error.

Fixtures, with the spec in its own file as in real projects:

• classes/record_external_spec_error/: State Refinement Errors in a record's instance and static methods.
• classes/record_external_spec_correct/: the passing counterpart.

Related gaps found while investigating, not fixed here:

1. A parse problem still ends in "Correct!" with only a warning. If Spoon's level is lower than the code needs, declarations can disappear silently. ComplianceLevel reads only maven.compiler.release/source properties of the nearest pom that has one, and ignores <release>/<source> in the maven-compiler-plugin configuration, so a parent property of 1.8 overridden in plugin config makes records vanish again. Options: let that warning block the "Correct!" verdict, and read the compiler-plugin config.
2. One error hides later ones. An error in a field initializer or initializer block stops checking of the rest of the class (catch in visitCtClass). visitCtRecord and visitCtEnum have no catch, so an error in a record or enum static initializer reaches RefinementProcessor.processPackage and later types in the package go unchecked. Per-member catches like those in visitCtMethod/visitCtConstructor would fix it.
3. Test harness: TestExamples.matches throws a NullPointerException on a warning with no position (such as the compilation warning).

Validation: mvn test passes all 412 tests (251 TestExamples cases).

🤖 Generated with Claude Code