Function scip_project_to_summary

pub fn scip_project_to_summary(index: &ScipProjectIndex) -> ScipProjectSummary

Converts every imported document and builds cross-file navigation.

Documents receive one-based DocumentId values in input order. Metadata is cloned, local symbol summaries are converted independently, and reference links are sorted deterministically.

Examples

use ailloli_ui_editor::{code::scip_project_to_summary, ScipProjectIndex, ScipProjectMetadata};
let index = ScipProjectIndex { metadata: ScipProjectMetadata { project_root: "repo".into(), tool_info: "tool".into() }, documents: vec![] };
let summary = scip_project_to_summary(&index);
assert_eq!(summary.metadata.project_root, "repo");
assert!(summary.documents.is_empty());