Expand description
The immutable, queryable graph rules and adapters consume. build is pure:
records -> (Graph, Vec<Diagnostic>), resolving supersession into three views —
raw (declared edges), effective (adopted successor, chased to the terminal),
and pending (a proposed/open replacement not yet adopted) — and flagging
duplicate ids, kind mismatches, multiple adopted successors, and cycles.