Function extract_symbol_graph_with_semantics_controlled 

pub fn extract_symbol_graph_with_semantics_controlled(
    path: &str,
    language: Option<&str>,
    content: &str,
    control: &IndexWorkControl,
) -> Result<SourceExtraction, IndexWorkFailure>

Extract graph facts with source-bound import and call occurrence evidence.

Binding proof is independent from display names and graph provenance. Missing or unresolved source evidence never authorizes an exact target. Consumers filtering facts must remap evidence before using its ordinal associations.

Errors

Returns a typed cancellation or deadline failure without partial evidence.