What depends on what?
Trace a polarity or action claim to its premises. Change an assumption to see which uses need rederivation.
New: the minimal pre-event response source contract →
New: compare complete close/hold candidate programmes →
New: the Hodge-to-programme realization audit →
New: finite-window joint carrier and resource ledger →
New: continuous word clock and weighted-path Hodge audit →
New: native residual floors and endpoint-alias audit →
New: source metric conventions and full-clock exclusions →
New: subdivision norm, boundary and generator gate →
New: exact selection and nonselection gate →
New: calibrated refinement hierarchy →
Change a premise
Run a hypothetical reuse audit. This leaves stored research statuses unchanged. Conditional theorem statements keep their declared premises.
Inference boundaries
These tempting shortcuts are excluded from the proof graph.