Graph building and optimization#

This section gathers the design documentation of the building half of the core pipeline: the incremental GraphBuilder that accumulates and validates nodes, and the Pattern optimization engine that rewrites the graph it holds.