fix(coverage): narrow parse-error ranges, and stop the report hiding what it dropped (#963) - #1941

Open

CaptainMittens wants to merge 4 commits into

DeusData:mainfrom

CaptainMittens:fix/parse-coverage-honest-ranges

Commits on Aug 30, 2026

fix(coverage): narrow parse-error ranges with the preprocessed parse (#963)

CaptainMittens
and
claude
committed
c224c9b
fix(coverage): stop the report hiding what it dropped, and name whole-file failures (#963)

CaptainMittens
and
claude
committed
db2e76f
ci(coverage): fail a PR when this repo's own parse-coverage report goes bad (#963)

CaptainMittens
and
claude
committed
fccf821
test(coverage): pin the truncation marker, the partial ceiling and the grammar limit (#963)

CaptainMittens
and
claude
committed
fc7cc59