Function load_annotations

server/src/server/routes.rs:699–717

(
    State(state): State<AppState>,
    headers: HeaderMap,
)

}

async fn load_annotations(
    State(state): State<AppState>,
    headers: HeaderMap,
) -> Result<Json<Value>, AppError> {
    let project = require_project(&state, &headers)?;
    let data = annotations::load_annotations(
        &project.root,
        &project.file_tree,
        &project.symbol_table,
    )
    .map_err(AppError::Internal)?;
    let summary = json!({
        "file_definitions": data.file_definitions.len(),
        "file_marks": data.file_marks.len(),
        "symbol_definitions": data.symbol_definitions.len(),
    });
    record_history(&state, session_id(&headers).as_deref(), "POST", "/annotations/load", "loaded");
    Ok(Json(json!({ "ok": true, "loaded": summary })))
}

// ---------------------------------------------------------------------------
// Buffers