docs(v4): gating-completeness amendment - mirrored renames, public-function sweep, un-rowed obligations#727

igerber merged 2 commits into

mainigerber/diff-diff:mainfrom

docs/v4-amendment-gating-completenessigerber/diff-diff:docs/v4-amendment-gating-completenessCopy head branch name to clipboard