graph_edge_diff exact identity

Trap: manually written graph_edge_revision lists look correct when their meaning matches the baseline-to-final change, but validation compares canonical JSON edge identity and deterministic order; case, scope, evidence, direction, or one omitted edge breaks derivation. Fix: compute graph_edge_diff(baseline, final_coding), copy its exact added/removed arrays, and validate the complete fragment.