E.15:4.2 - Find the affected reach
Start with the changed claim or instruction and ask who uses it to read, act, check, decide, derive another statement, or preserve a public name. Search results and Relations entries help discover candidates, but neither proves dependence.
For every plausible consumer, decide one of three things:
- depends: its action, interpretation, condition, result, check, or public reference would change if the repaired claim changed;
- mentions only: it cites or describes the pattern but its current action remains valid;
- unresolved: the dependency cannot yet be decided from recoverable content.
Repair the exact dependent loci. Reuse an earlier result only when its conclusion and conditions remain unchanged and the changed premise lies outside its actual dependency. Reopen the smallest affected premise, consumer, example, check, or result; do not rerun an unrelated whole programme merely because an edition number changed.
An undeclared consumer can be real, and a declared dependency can be unused in the current question. Check actual and declared reach when the distinction matters.