fn graph_identity_span(graph: &SymbolGraph) -> IdentitySpanExpand description
Bound one graph-wide rejection span when canonical-key derivation has no fact index.
fn graph_identity_span(graph: &SymbolGraph) -> IdentitySpanBound one graph-wide rejection span when canonical-key derivation has no fact index.