§0 reachability-completeness lens: doc-graph instance as first gating wall (generalize #5433, no fork); see docs/plans/inert-layer-lens.md §8 - #5484