Consider virtual path for various server actions

[dhruvmanila]

Summary

Ref: #14820 (comment)

This PR fixes a bug where virtual paths or any paths that doesn't exists on the file system weren't being considered for checking inclusion / exclusion. This was because the logic used file_path which returns None for those path. This PR fixes that by using the virtual_file_path method that returns a Path corresponding to the actual file on disk or any kind of virtual path.

This should ideally just fix the above linked issue by way of excluding the documents representing the interactive window because they aren't in the inclusion set. It failed only on Windows previously because the file path construction would fail and then Ruff would default to including all the files.

Test Plan

On my machine, the .interactive paths are always excluded so I'm using the inclusion set instead:

{
  "ruff.nativeServer": "on",
  "ruff.path": ["/Users/dhruv/work/astral/ruff/target/debug/ruff"],
  "ruff.configuration": {
    "extend-include": ["*.interactive"]
  }
}

The diagnostics are shown for both the file paths and the interactive window:

And, the logs:

2025-06-24 14:56:26.478275000 DEBUG notification{method="notebookDocument/didChange"}: Included path via `extend-include`: /Interactive-1.interactive

And, when using ruff.exclude via:

{
	"ruff.exclude": ["*.interactive"]
}

With logs:

2025-06-24 14:58:41.117743000 DEBUG notification{method="notebookDocument/didChange"}: Ignored path via `exclude`: /Interactive-1.interactive

[github-actions]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

[dhruvmanila]

The diagnostics remain even after I close the interactive window:

2025-06-24 14:59:51.053545000 DEBUG notification{method="textDocument/didClose"}: Unable to close document with key vscode-notebook-cell:/Interactive-1.interactive#W1sdW50aXRsZWQ%3D - the snapshot was unavailable

TODO: Currently debugging

[dhruvmanila]

TODO: Currently debugging

Ugh, it seems that VS Code is not sending the request in the order that we would get for other notebook documents.

When I close the interactive window, I get the following two requests:

[Trace - 3:56:51 PM] Sending notification 'notebookDocument/didClose'.
Params: {
    "notebookDocument": {
        "uri": "untitled:/Interactive-1.interactive"
    },
    "cellTextDocuments": [
        {
            "uri": "vscode-notebook-cell:/Interactive-1.interactive#W1sdW50aXRsZWQ%3D"
        }
    ]
}


[Trace - 3:56:51 PM] Sending notification 'textDocument/didClose'.
Params: {
    "textDocument": {
        "uri": "vscode-notebook-cell:/Interactive-1.interactive#W1sdW50aXRsZWQ%3D"
    }
}

Here, VS Code first sends the request to close the notebook document, so we remove it from the internal index. And, then when it sends us the request to close the cell document, we fail because the notebook document doesn't exists in the index:

ruff/crates/ruff_server/src/session/index.rs

Line 248 in 7f5d7b5

let controller = self.documents.get(&url)?;

But, when I close a regular Jupyter Notebook (.ipynb file), it sends the request in reverse order:

[Trace - 4:13:58 PM] Sending notification 'textDocument/didClose'.
Params: {
    "textDocument": {
        "uri": "vscode-notebook-cell:/private/tmp/ruff-interactive-test/play.ipynb#W0sZmlsZQ%3D%3D"
    }
}


[Trace - 4:13:58 PM] Sending notification 'notebookDocument/didClose'.
Params: {
    "notebookDocument": {
        "uri": "file:///private/tmp/ruff-interactive-test/play.ipynb"
    },
    "cellTextDocuments": [
        {
            "uri": "vscode-notebook-cell:/private/tmp/ruff-interactive-test/play.ipynb#W0sZmlsZQ%3D%3D"
        }
    ]
}

[dhruvmanila]

Discussing this internally, I think the above mentioned inconsistency can be fixed in a separate PR as it isn't related to the issue.

[MichaReiser]

Thanks for looking into this issue