Refactor method names and add nullness annotations#84

Merged

bernardladenthin merged 26 commits into

mainfrom

claude/inspiring-carson-D831V

Jun 3, 2026

Commits on May 31, 2026

Commits on Jun 1, 2026

Phase 1: add JSpecify, keep zero transitive runtime deps
claude
committed
Enable NullAway strict JSpecify mode
claude
committed
Enable all NullAway extra options + 1 new ArchUnit rule + open-points TODO
claude
committed
Trivial strictness bundle: -parameters, --release, OnlyNullMarked
claude
committed
Add Maven Enforcer with the four standard rules
claude
committed
test(archunit): forbid sun.* / com.sun.* / jdk.internal.* imports in production
claude
committed
test(archunit): public non-static fields must be final (regression guard)
claude
committed
test(archunit): ban System.exit, new Random, Thread.sleep in production
claude
committed
Promote 12 Error Prone bug patterns to ERROR + enable -Xlint:all
claude
committed
Add Checker Framework Nullness Checker as a 2nd nullness-analysis pass
claude
committed
Add JPMS module descriptor for the streambuffer library
claude
committed
docs(CLAUDE.md): defer PIT thresholds on the other three repos
claude
committed
Move @NullMarked to module level to silence the ElementType.MODULE warning
claude
committed
docs(README): sync badge order with the other three repos
claude
committed

Commits on Jun 2, 2026

Commits on Jun 3, 2026