addEdge

Function: addEdge()

addEdge(graph, edge): ProofGraph

Append a ProofGraphEdge and recompute graphId. Idempotent by edge ID. Spec API: addEdge(graph, edge). Use buildEdge() to construct the edge object.