internal/

Package graphvalidation is the single authoritative implementation of exact graph-contract edge checking.

Package manifest defines language-neutral manifests: a package owns contracts keyed by task, and graphs contain nodes with task, id, and inputs.