Mutation testing pilot: pitest profiles + bounds-guard hardening (core + reader)#93

Merged

dfa1 merged 8 commits into

mainfrom

Jun 20, 2026

Commits on Jun 20, 2026

test(reader): mutation-testing pilot — harden segment-spec bounds guard

dfa1
and
claude
committed
build: pin maven-jar-plugin version in root pluginManagement

dfa1
and
claude
committed
test(reader): kill checkBlobBounds + Layout-kind mutants (pilot iteration 2)

dfa1
and
claude
committed
refactor(reader): drop redundant `offset > fileSize` bounds clause

dfa1
and
claude
committed
build(core): add pitest profile targeting IoBounds

dfa1
and
claude
committed
test(reader): kill convertLayout/convertDType boundary mutants (pilot iteration 3)

dfa1
and
claude
committed
docs: document how to run mutation testing (pitest)

dfa1
and
claude
committed
build: hoist common pitest config into parent pluginManagement

dfa1
and
claude
committed