pub fn verify_contracts_with_graph(
graph: &EntityGraph,
all_entities: &[SemanticEntity],
target_file: Option<&str>,
) -> Vec<ContractViolation>Expand description
Like verify_contracts, but accepts a pre-built graph + entities to avoid
redundant work when the caller already has them cached.