lsp-max 26.7.1

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
Documentation
//! Implementation for document synchronization methods.

use lsp_types_max::*;

pub async fn initialized(_params: InitializedParams) {}

pub async fn did_open(_params: DidOpenTextDocumentParams) {}

// INVARIANT: OXIGRAPH_NOT_ON_HOT_PATH
// SemanticLawGraph (Oxigraph) MUST NOT be called here.
// Live diagnostics use the Salsa incremental layer (lsp-max-ast::db).
// Oxigraph is COLD law storage — queried only on explicit admission requests.
pub async fn did_change(_params: DidChangeTextDocumentParams) {}

pub async fn will_save(_params: WillSaveTextDocumentParams) {}

pub async fn did_save(_params: DidSaveTextDocumentParams) {}

pub async fn did_close(_params: DidCloseTextDocumentParams) {}

pub async fn did_change_configuration(_params: DidChangeConfigurationParams) {}

pub async fn did_change_workspace_folders(_params: DidChangeWorkspaceFoldersParams) {}

pub async fn did_change_watched_files(_params: DidChangeWatchedFilesParams) {}