Function analyze_changes 

pub fn analyze_changes(
    change_set: &ChangeSet,
    nodes: &[Node],
    edges: &[Edge],
    evidence: &[Evidence],
    community: Option<&CommunitySnapshot>,
    freshness: &[RepoFreshness],
    compatibility: &[ContractCompatibilityInput],
    options: &ChangeAnalysisOptions,
) -> Result<ChangeImpactReport, ChangeAnalysisError>

Maps an exact change set to semantic entities and propagates bounded graph impact.

The function is pure: it does not read files, execute Git, invoke providers, or retain source and diff bodies. Compatibility inputs must have been computed before this call.

Errors

Returns ChangeAnalysisError for invalid bounds, fingerprint serialization failures, or an invalid graph context encountered by bounded impact analysis.