Module tools/vscode/documentRegistry

Unified Document Registry

Maintains bidirectional mapping between document IDs and document URIs. Works for BOTH notebooks AND lexical documents.

This is necessary because:

• Core tools work with documentId (platform-agnostic)
• VS Code internal commands work with documentUri (VS Code-specific)
• For local documents: documentId === documentUri
• For remote documents: documentId !== documentUri