Make the Python Coverage Selector Explicit and Name D4.5's Second Route - #1215

Merged

ptr727 merged 5 commits into

contract/coverage-selection-and-rerun-recovery

Sep 3, 2026

Commits on Sep 3, 2026

Make the Python Coverage Selector Explicit and Name the Route D4.5 Forecloses
ptr727
committed
514ee06
State the adopter precondition in the present tense
ptr727
committed
93813f8
State D1.6's coverage precondition on all four surfaces
ptr727
committed
4fdc718
Name the root the coverage guard actually tests
ptr727
committed
73175e0
Carry the lint-only exception into the adopter note
ptr727
committed
a9e8e31