Source-bound dependencies · reading edition 0.9
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 →
Loading the source-bound graph…
02
Change a premise
Run a hypothetical reuse audit. This leaves stored research statuses unchanged. Conditional theorem statements keep their declared premises.
03
Inference boundaries
These tempting shortcuts are excluded from the proof graph.