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](https://claude.com/claude-code)

Co-authored-by: Claude Opus 5.5 <[email protected]>