pub fn bench_edges(src: u64, n: u64) -> [(u64, u64); 4]
The gate’s edge formula, shared so e3 and the SQLite harness traverse the IDENTICAL logical graph: per src, 2 near edges (locality) + 2 far (cross).