A.10.1:2 - Problem
Source-change impact is difficult precisely when the receiving uses are partly unknown. A source register may know the source but not every later premise. A receiving decision may use an equivalent claim without retaining the same citation. A dependency graph may include declared edges that do no current work and omit an informal premise that does.
The cheapest apparent boundaries are therefore unreliable:
- a file or edition label says too little about changed meaning;
- a citation, mention, link, carrier, adjacency, or graph path says too little about actual reliance;
- a repository search says too little about surfaces it could not inspect;
- transitive reach says too much when no downstream action can change; and
- a local revalidation summary says too little about the subject result that justified it.
Without a bounded search frame, “no affected use found” can silently mean “we searched one convenient repository.” Without application of direct subject guidance and an independently obtained subject result, “preserved” or “reopened” becomes an ungoverned universal status. The method must make both errors visible without turning every source change into a corpus-wide programme.