Raise the coverage threshold to 99, the measured number #2

Merged

marcos-mendez merged 1 commit from chore/threshold-99 into master

2026-09-26 06:36:39 -03:00

marcos-mendez commented

2026-09-26 06:27:27 -03:00

(Migrated from github.com)

Problem: the gate in .github/workflows/tests.yml still says 0 (nothing measured) although tests/coverage.sh is on the default branch since pull request #1 (merge commit 994ecf4).

Diagnosis: the bootstrap threshold was a placeholder until a coverage script existed (docs/ci-cd.md section 3).

Fix: threshold 99, the number the script measures rounded down (tkldev-setup 185 of 186 lines under kcov, 99.46 percent, 63 bats); COVERAGE.md gets a measured baseline section with the date and merge commit. Never lowered from here (decision 0006).

Tests: the required check runs tests/coverage.sh with COVERAGE_THRESHOLD=99 on the merge ref of this pull request.

Serves BRIEF section 10 (tests and coverage enforced in GitHub) and org-plan section 3 step 5.

Problem: the gate in .github/workflows/tests.yml still says 0 (nothing measured) although tests/coverage.sh is on the default branch since pull request #1 (merge commit 994ecf4). Diagnosis: the bootstrap threshold was a placeholder until a coverage script existed (docs/ci-cd.md section 3). Fix: threshold 99, the number the script measures rounded down (tkldev-setup 185 of 186 lines under kcov, 99.46 percent, 63 bats); COVERAGE.md gets a measured baseline section with the date and merge commit. Never lowered from here (decision 0006). Tests: the required check runs tests/coverage.sh with COVERAGE_THRESHOLD=99 on the merge ref of this pull request. Serves BRIEF section 10 (tests and coverage enforced in GitHub) and org-plan section 3 step 5.