trungdong / prov / 40129513133

99%

master: 98%

push

github

docs: spec 3 takes the issues filed on 2026-10-24 as section 13

#651, #656, #657, #658 and #653 join 3.3.0 as PRs 18a, 18b, 19, 20a and 21a, and #610 is declined. Section 13 holds the four new sections, 4.4 and 4.6 the two that attach to existing PRs, and sections 9 to 12 the slots, tests, exclusions and decisions N27 to N35, all ruled on 2026-10-24: N31 declines #610, N33 puts the dual base on ProvNSyntaxError only, the rest as recommended.

1472 of 1518 branches covered (96.97%)

4250 of 4322 relevant lines covered (98.33%)

5.9 hits per line