ci(coverage): fail a PR when this repo's own parse-coverage report goes bad (#963) - #1968

Open

CaptainMittens wants to merge 9 commits into

DeusData:mainfrom

CaptainMittens:ci/self-index-coverage-gate

Commits on Sep 2, 2026

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

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

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

CaptainMittens
and
claude
committed
8f5b010
fix(coverage): name the whole-file number for what it is, a range end (#963)

CaptainMittens
and
claude
committed
92bf67d
fix(coverage): stop reporting a duplicate range and a line past EOF (#963)

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

CaptainMittens
and
claude
committed
ac0ce60
ci(coverage): fix three ways the coverage gate could pass without checking (#963)

CaptainMittens
and
claude
committed
988f1b5
ci(coverage): raise the parse-partial ceiling to 59, for a gap main added (#963)

CaptainMittens
and
claude
committed
bf73da1
ci(coverage): compare the parse-coverage gate against the merge base (#963)
CaptainMittens
committed
a3e8fa3