Mutation Reports
Mutation Reports
Mutation testing rewrites the bytecode and checks whether the test suite
catches each change — a far harder bar than line coverage. These pages
render each module’s PIT result (mutations.xml) in the site design:
kill rate, test strength, the per-mutator breakdown, and the actual
surviving-mutant list.
The mature library modules carry the production guarantee; the credential modules added in 00.71 and the developer-experience modules from 00.72 ship at a first PIT pass with uplift tracked for 00.73.
Framework-neutral core — every SPI, decision model, audit, credential stack.
Vaadin adapter — navigation security, enforcer listener, secured components.
Framework-light REST adapter — filters, version filter, OpenAPI metadata.
Plain-Java / CLI adapter — dynamic-proxy enforcement.
Compile-time @Secured annotation processor.
Eclipse-Store persistence reference impl.
Argon2id / bcrypt / scrypt providers (00.71).
Have I Been Pwned k-anonymity checker (00.71).