Editor has stopped opening (Windows)

[darkmagicianer]

Whenever I attempt to start a level, the command prompting stops occurring, and I cannot switch to the editor.

I'm on chrome, these are the specific errors that show up on the Chrome console:
index-CCtqRmmf.js:100 GET https://adam.math.hhu.de/i18n/g/alexkontorovich/realanalysisgame/en/Game.json 404 (Not Found)
DWt @ index-CCtqRmmf.js:100
uHi @ index-CCtqRmmf.js:100
hHi @ index-CCtqRmmf.js:100
value @ index-CCtqRmmf.js:100
(anonymous) @ index-CCtqRmmf.js:100
Promise.then
value @ index-CCtqRmmf.js:100
value @ index-CCtqRmmf.js:100
read @ index-CCtqRmmf.js:99
loadOne @ index-CCtqRmmf.js:99
(anonymous) @ index-CCtqRmmf.js:99
prepareLoading @ index-CCtqRmmf.js:99
load @ index-CCtqRmmf.js:99
loadResources @ index-CCtqRmmf.js:99
loadNamespaces @ index-CCtqRmmf.js:99
BNr @ index-CCtqRmmf.js:2542
$I @ index-CCtqRmmf.js:38
iT @ index-CCtqRmmf.js:40
n7 @ index-CCtqRmmf.js:40
D2 @ index-CCtqRmmf.js:40
k2 @ index-CCtqRmmf.js:40
x2 @ index-CCtqRmmf.js:40
P @ index-CCtqRmmf.js:25
X @ index-CCtqRmmf.js:25Understand this error
index-CCtqRmmf.js:1378 Uncaught Error: Unable to write file '\workspace.code-workspace' (NoPermissions (FileSystemError): Not allowed)

Error: Unable to write file '\workspace.code-workspace' (NoPermissions (FileSystemError): Not allowed)
at Obt.writeFile (index-CCtqRmmf.js:2224:18062)
at async QSt.resolveModelReference (index-CCtqRmmf.js:2477:13072)
at async QSt.doWriteConfiguration (index-CCtqRmmf.js:2477:3710)
at async Object.factory (index-CCtqRmmf.js:2477:3481)
at Obt.writeFile (index-CCtqRmmf.js:2224:18062)
at async QSt.resolveModelReference (index-CCtqRmmf.js:2477:13072)
at async QSt.doWriteConfiguration (index-CCtqRmmf.js:2477:3710)
at async Object.factory (index-CCtqRmmf.js:2477:3481)
at index-CCtqRmmf.js:1378:12
(anonymous) @ index-CCtqRmmf.js:1378
setTimeout
unexpectedErrorHandler @ index-CCtqRmmf.js:1376
onUnexpectedError @ index-CCtqRmmf.js:1380
Er @ index-CCtqRmmf.js:1380
resolveErr @ index-CCtqRmmf.js:2226
resolveErr @ index-CCtqRmmf.js:2226
_receiveReplyErr @ index-CCtqRmmf.js:2226
_receiveOneMessage @ index-CCtqRmmf.js:2226
(anonymous) @ index-CCtqRmmf.js:2226
_deliver @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:2239
send @ index-CCtqRmmf.js:2353
(anonymous) @ index-CCtqRmmf.js:2226
Promise.then
_receiveRequest @ index-CCtqRmmf.js:2226
_receiveOneMessage @ index-CCtqRmmf.js:2226
(anonymous) @ index-CCtqRmmf.js:2226
_deliver @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:2239
send @ index-CCtqRmmf.js:2353
_remoteCall @ index-CCtqRmmf.js:2226
r..s.charCodeAt.yt.DollarSign.r. @ index-CCtqRmmf.js:2226
update @ index-CCtqRmmf.js:2341
updateVSCodeOptions @ index-CCtqRmmf.js:2533
start @ index-CCtqRmmf.js:2533
await in start
(anonymous) @ index-CCtqRmmf.js:2542
(anonymous) @ index-CCtqRmmf.js:2542
b2 @ index-CCtqRmmf.js:40
mp @ index-CCtqRmmf.js:40
(anonymous) @ index-CCtqRmmf.js:40
P @ index-CCtqRmmf.js:25
X @ index-CCtqRmmf.js:25Understand this error
index-CCtqRmmf.js:2533 [LeanMonaco]: is ready!
14index-CCtqRmmf.js:1378 Uncaught Error: Unable to write file '\workspace.code-workspace' (NoPermissions (FileSystemError): Not allowed)

Error: Unable to write file '\workspace.code-workspace' (NoPermissions (FileSystemError): Not allowed)
at Obt.writeFile (index-CCtqRmmf.js:2224:18062)
at async QSt.resolveModelReference (index-CCtqRmmf.js:2477:13072)
at async QSt.doWriteConfiguration (index-CCtqRmmf.js:2477:3710)
at async Object.factory (index-CCtqRmmf.js:2477:3481)
at Obt.writeFile (index-CCtqRmmf.js:2224:18062)
at async QSt.resolveModelReference (index-CCtqRmmf.js:2477:13072)
at async QSt.doWriteConfiguration (index-CCtqRmmf.js:2477:3710)
at async Object.factory (index-CCtqRmmf.js:2477:3481)
at index-CCtqRmmf.js:1378:12
(anonymous) @ index-CCtqRmmf.js:1378
setTimeout
unexpectedErrorHandler @ index-CCtqRmmf.js:1376
onUnexpectedError @ index-CCtqRmmf.js:1380
Er @ index-CCtqRmmf.js:1380
resolveErr @ index-CCtqRmmf.js:2226
resolveErr @ index-CCtqRmmf.js:2226
_receiveReplyErr @ index-CCtqRmmf.js:2226
_receiveOneMessage @ index-CCtqRmmf.js:2226
(anonymous) @ index-CCtqRmmf.js:2226
_deliver @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:2239
send @ index-CCtqRmmf.js:2353
(anonymous) @ index-CCtqRmmf.js:2226
Promise.then
_receiveRequest @ index-CCtqRmmf.js:2226
_receiveOneMessage @ index-CCtqRmmf.js:2226
(anonymous) @ index-CCtqRmmf.js:2226
_deliver @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:1400
fire @ index-CCtqRmmf.js:2239
send @ index-CCtqRmmf.js:2353
remoteCall @ index-CCtqRmmf.js:2226
r..s.charCodeAt.yt.DollarSign.r. @ index-CCtqRmmf.js:2226
update @ index-CCtqRmmf.js:2341
updateVSCodeOptions @ index-CCtqRmmf.js:2533
start @ index-CCtqRmmf.js:2533
await in start
(anonymous) @ index-CCtqRmmf.js:2542
(anonymous) @ index-CCtqRmmf.js:2542
b2 @ index-CCtqRmmf.js:40
mp @ index-CCtqRmmf.js:40
(anonymous) @ index-CCtqRmmf.js:40
P @ index-CCtqRmmf.js:25
X @ index-CCtqRmmf.js:25Understand this error
index-CCtqRmmf.js:2224 Uncaught (in promise) l: Unable to write file '\L7Pset\3.lean' (NoPermissions (FileSystemError): Not allowed)
at Obt.writeFile (index-CCtqRmmf.js:2224:18062)
at async axi (index-CCtqRmmf.js:2316:13865)
at async lxi (index-CCtqRmmf.js:2316:13956)
at async vZn.start (index-CCtqRmmf.js:2340:42905)
at async index-CCtqRmmf.js:2542:17808

[lexspoon]

I am getting the same thing and can share some more details. It started happening I believe yesterday, maybe the day before. I hadn't realize what a fix it had become to do a few Lean Game proofs until I no longer had them!

Some additional testing and details I have done:

• I am using Windows, and I am guessing you are, too, based on the \ characters in the filenames.
• I normally use Chrome but get the same error in Firefox.
• I get the same error in incognito mode.
• My OPFS is empty in Chrome, according to the OPFS Explorer Chrome extension. That surprises me.
• Local storage is empty except for the save game state.
• I am seeing no other errors on my machine.
• Restarting the machine makes no difference.
• Clicking "Disable cache" in the network tab in the Chrome developer tools makes no difference.
• Shift-reload makes no difference.
• The last dependency update in the client's package.json was a month ago, based on the file's history. I may be reading the wrong thing, though.
• It has been a month since lean4monaco was updated, too.

Question for the maintainers:

• Have you deployed a new version of the server recently, as opposed to just rebooting?
• Is there a way to try a version of the server from a few days ago?

Analysis:

• There is some kind of virtual storage layer that is failing.
• I both looks and doesn't look like a generic OPFS problem on our machines. That was my theory for a while, but it's strange that it would affect both Firefox and Chrome.
• The problems seems part of a virtual storage layer that is used with Monaco. The workspace file is a VS Code thing that Monaco does not natively include but that is freqently re-introduced when people create a VS Code-lite experience in a browser. The L7Pset/3.lean sounds like a virtual file for this pseudo-VS Code experience that is likely using the same storage layer plugin.
• It both looks and doesn't look like a problem with lean4monaco or a similar component, because I would have expected a package.json file update or a commit in the main client code, and I don't spot anything relevant.

[joneugster]

Thanks for the report! I'll have a look over the coming days!

[joneugster]

I've deleted some erroneous built and rebuilt the server at adam.math.hhu.de. It seems to be working on macos & kubuntu. I'll need to investigate on my Windows machine later

[Squactopus]

As of the current moment the described issue is still happening on my Windows. I'm not quite sure how to access any sort of Chrome console, I think I somehow might not have permissions on the computer I'm on? But the interface is still missing the bottom-center section where the actual Lean code would appear, in both typewriter and full editor mode.

[lexspoon]

Thank you, @joneugster .

I am still seeing the symptoms on Windows, though. Since you are getting success on MacOS and on Linux, it seems to be something specific to Windows in some way.

@Squactopus , it sounds like you are seeing the same thing as me and @darkmagicianer. To open a JavaScript console, right click anywhere in the browser window and select "inspect". Then in the subpane that opens up, you will have tabs for "Elements", "Console", "Sources", and others. Select "Console", and I bet you see the same error messages reported above.

One thing that stands out to me is the backslash characters in the error messages. It seems like a safer bet for a browser API, even for a file API like OPFS, to use forward slashes. Maybe some code that is borrowed from VS Code is trying to use backslashes when on Windows?

[o-ca]

Getting the same issue on Windows 10 & Brave browser, and on Windows 11 with chrome for about a week. Level explanation and available tactics/theorems load, but editor doesn't.
Console gets 404 not found trying to access https://adam.math.hhu.de/i18n/g/emilyriehl/reintroductiontoproofs/en/Game.json, and the links to Game.json for all the other games. I also get the same errors as in the original comment.

[hakii6]

I think #445 and this issue are the same underlying bug

Call chain (reproduced both locally and observed on hosted server):

Trace 1 (workspace config initialization):

PlayableLevel (level.tsx:317)
  → start (lean4monaco.js:15631)
  → updateVSCodeOptions (lean4monaco.js:15664)
  → update (extHostConfiguration.js)
  → [rpcProtocol chain]
  → doWriteConfiguration (chunk-4XSUHCKJ.js)
  → writeFile (chunk-B2IIBJO2.js)
  → NoPermissions '\workspace.code-workspace'

Trace 2 (level file initialization, the cleaner one):

PlayableLevel (level.tsx:327)
  → start (lean4monaco.js:6846)
  → createModelReference (monaco.js)
  → writeFile (monaco.js)
  → writeFile (fileService.js)
  → NoPermissions '\RealAnalysisStory\1.lean'

Full raw traces

22:12:47.657 Uncaught Error: Unable to write file '\workspace.code-workspace' (NoPermissions (FileSystemError): Not allowed)

FileOperationError@http://localhost:3003/node_modules/.vite/deps/chunk-BWFKROKS.js?v=8dc657b7:9099:9
writeFile@http://localhost:3003/node_modules/.vite/deps/chunk-B2IIBJO2.js?v=8dc657b7:65308:13
async*write@http://localhost:3003/node_modules/.vite/deps/chunk-B2IIBJO2.js?v=8dc657b7:69571:29
async*resolveModelReference@http://localhost:3003/node_modules/.vite/deps/chunk-4XSUHCKJ.js?v=8dc657b7:19326:34
async*doWriteConfiguration@http://localhost:3003/node_modules/.vite/deps/chunk-4XSUHCKJ.js?v=8dc657b7:18904:34
async*writeConfiguration/<@http://localhost:3003/node_modules/.vite/deps/chunk-4XSUHCKJ.js?v=8dc657b7:18892:20
consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10482:40
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
consumed@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10496:16
node_modules/vscode/vscode/src/vs/base/common/async.js/consume/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:58
promise callback*consume@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10484:19
node_modules/vscode/vscode/src/vs/base/common/async.js/queue/<@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10475:16
queue@http://localhost:3003/node_modules/.vite/deps/chunk-KLDWCV23.js?v=8dc657b7:10473:16
    unexpectedErrorHandler errors.js:10
    setTimeout handler*node_modules/vscode/vscode/src/vs/base/common/errors.js/ErrorHandler/this.unexpectedErrorHandler errors.js:5
    onUnexpectedError errors.js:37
    onUnexpectedError errors.js:50
    resolveErr lazyPromise.js:50
    resolveErr rpcProtocol.js:413
    _receiveReplyErr rpcProtocol.js:349
    _receiveOneMessage rpcProtocol.js:271
    _RPCProtocol rpcProtocol.js:112
    _deliver event.js:666
    fire event.js:687
    fire ipc.net.js:422
    send localExtensionHost.js:74
    _receiveRequest rpcProtocol.js:311
    promise callback*_receiveRequest rpcProtocol.js:302
    _receiveOneMessage rpcProtocol.js:232
    _RPCProtocol rpcProtocol.js:112
    _deliver event.js:666
    fire event.js:687
    fire ipc.net.js:422
    send localExtensionHost.js:74
    _remoteCall rpcProtocol.js:399
    name rpcProtocol.js:185
    update extHostConfiguration.js:197
    updateVSCodeOptions lean4monaco.js:15664
    start lean4monaco.js:15631
    PlayableLevel level.tsx:317
    PlayableLevel level.tsx:430
    commitHookEffectListMount chunk-CZHJBPRL.js:23822
    commitPassiveMountOnFiber chunk-CZHJBPRL.js:25065
    commitPassiveMountEffects_complete chunk-CZHJBPRL.js:25038
    commitPassiveMountEffects_begin chunk-CZHJBPRL.js:25028
    commitPassiveMountEffects chunk-CZHJBPRL.js:25018
    flushPassiveEffectsImpl chunk-CZHJBPRL.js:26402
    flushPassiveEffects chunk-CZHJBPRL.js:26359
    commitRootImpl chunk-CZHJBPRL.js:26328
    commitRoot chunk-CZHJBPRL.js:26189
    performSyncWorkOnRoot chunk-CZHJBPRL.js:25807
    flushSyncCallbacks chunk-CZHJBPRL.js:16057
    ensureRootIsScheduled chunk-CZHJBPRL.js:25536
    ensureRootIsScheduled chunk-CZHJBPRL.js:25534
    scheduleUpdateOnFiber chunk-CZHJBPRL.js:25471
errors.js:10:29
    unexpectedErrorHandler errors.js:10
    (Async: setTimeout handler)
    unexpectedErrorHandler errors.js:5
    onUnexpectedError errors.js:37
    onUnexpectedError errors.js:50
    resolveErr lazyPromise.js:50
    resolveErr rpcProtocol.js:413
    _receiveReplyErr rpcProtocol.js:349
    _receiveOneMessage rpcProtocol.js:271
    _RPCProtocol rpcProtocol.js:112
    _deliver event.js:666
    fire event.js:687
    fire ipc.net.js:422
    send localExtensionHost.js:74
    _receiveRequest rpcProtocol.js:311
    (Async: promise callback)
    _receiveRequest rpcProtocol.js:302
    _receiveOneMessage rpcProtocol.js:232
    _RPCProtocol rpcProtocol.js:112
    _deliver event.js:666
    fire event.js:687
    fire ipc.net.js:422
    send localExtensionHost.js:74
    _remoteCall rpcProtocol.js:399
    name rpcProtocol.js:185
    update extHostConfiguration.js:197
    updateVSCodeOptions lean4monaco.js:15664
    start lean4monaco.js:15631
    InterpretGeneratorResume self-hosted:1312
    AsyncFunctionNext self-hosted:780
    (Async: async)
    PlayableLevel level.tsx:317
    PlayableLevel level.tsx:430
    commitHookEffectListMount chunk-CZHJBPRL.js:23822
    commitPassiveMountOnFiber chunk-CZHJBPRL.js:25065
    commitPassiveMountEffects_complete chunk-CZHJBPRL.js:25038
    commitPassiveMountEffects_begin chunk-CZHJBPRL.js:25028
    commitPassiveMountEffects chunk-CZHJBPRL.js:25018
    flushPassiveEffectsImpl chunk-CZHJBPRL.js:26402
    flushPassiveEffects chunk-CZHJBPRL.js:26359
    commitRootImpl chunk-CZHJBPRL.js:26328
    commitRoot chunk-CZHJBPRL.js:26189
    performSyncWorkOnRoot chunk-CZHJBPRL.js:25807
    flushSyncCallbacks chunk-CZHJBPRL.js:16057
    ensureRootIsScheduled chunk-CZHJBPRL.js:25536
    (Async: VoidFunction)
    ensureRootIsScheduled chunk-CZHJBPRL.js:25534
    scheduleUpdateOnFiber chunk-CZHJBPRL.js:25471

---

22:12:47.663 Uncaught (in promise) Error: Unable to write file '\RealAnalysisStory\1.lean' (NoPermissions (FileSystemError): Not allowed)
    FileOperationError files.js:292
    writeFile fileService.js:369
    writeFile monaco.js:186
    createModelReference monaco.js:194
    start lean4monaco.js:6846
    PlayableLevel level.tsx:327
    PlayableLevel level.tsx:430
    commitHookEffectListMount chunk-CZHJBPRL.js:23822
    invokePassiveEffectMountInDEV chunk-CZHJBPRL.js:25233
    invokeEffectsInDev chunk-CZHJBPRL.js:26613
    commitDoubleInvokeEffectsInDEV chunk-CZHJBPRL.js:26598
    flushPassiveEffectsImpl chunk-CZHJBPRL.js:26415
    flushPassiveEffects chunk-CZHJBPRL.js:26359
    commitRootImpl chunk-CZHJBPRL.js:26328
    commitRoot chunk-CZHJBPRL.js:26189
    performSyncWorkOnRoot chunk-CZHJBPRL.js:25807
    flushSyncCallbacks chunk-CZHJBPRL.js:16057
    ensureRootIsScheduled chunk-CZHJBPRL.js:25536
    ensureRootIsScheduled chunk-CZHJBPRL.js:25534
    scheduleUpdateOnFiber chunk-CZHJBPRL.js:25471
    dispatchSetState chunk-CZHJBPRL.js:19945
    setState react-router-dom.js:4513
    optInStartTransition react-router-dom.js:4493
    setState react-router-dom.js:4513
    updateState react-router-dom.js:1264
    updateState react-router-dom.js:1264
    completeNavigation react-router-dom.js:1337
    handleLoaders react-router-dom.js:1601
    startNavigation react-router-dom.js:1509
    navigate react-router-dom.js:1412
    navigate react-router-dom.js:3832
    useLinkClickHandler react-router-dom.js:4995
    handleClick react-router-dom.js:4812
    callCallback2 chunk-CZHJBPRL.js:10571
    invokeGuardedCallbackDev chunk-CZHJBPRL.js:10596
    invokeGuardedCallback chunk-CZHJBPRL.js:10630
    invokeGuardedCallbackAndCatchFirstError chunk-CZHJBPRL.js:10633
    executeDispatch chunk-CZHJBPRL.js:13937
    processDispatchQueueItemsInOrder chunk-CZHJBPRL.js:13957
    processDispatchQueue chunk-CZHJBPRL.js:13966
    dispatchEventsForPlugins chunk-CZHJBPRL.js:13974
    dispatchEventForPluginEventSystem chunk-CZHJBPRL.js:14097
    batchedUpdates$1 chunk-CZHJBPRL.js:25825
    batchedUpdates chunk-CZHJBPRL.js:10476
    dispatchEventForPluginEventSystem chunk-CZHJBPRL.js:14096
    dispatchEventWithEnableCapturePhaseSelectiveHydrationWithoutDiscreteEventReplay chunk-CZHJBPRL.js:12375
    dispatchEvent chunk-CZHJBPRL.js:12369
    dispatchDiscreteEvent chunk-CZHJBPRL.js:12346
    addEventBubbleListener chunk-CZHJBPRL.js:12541
    addTrappedEventListener chunk-CZHJBPRL.js:14043
    listenToNativeEvent chunk-CZHJBPRL.js:14000
    listenToAllSupportedEvents chunk-CZHJBPRL.js:14009
    listenToAllSupportedEvents chunk-CZHJBPRL.js:14006
    createRoot chunk-CZHJBPRL.js:28092
    createRoot$1 chunk-CZHJBPRL.js:28427
    createRoot react-dom_client.js:35
    <anonymous> index.tsx:65
files.js:292:9
    PlayableLevel level.tsx:327
    InterpretGeneratorResume self-hosted:1312
    AsyncFunctionThrow self-hosted:784
    (Async: async)
    PlayableLevel level.tsx:430
    commitHookEffectListMount chunk-CZHJBPRL.js:23822
    invokePassiveEffectMountInDEV chunk-CZHJBPRL.js:25233
    invokeEffectsInDev chunk-CZHJBPRL.js:26613
    commitDoubleInvokeEffectsInDEV chunk-CZHJBPRL.js:26598
    flushPassiveEffectsImpl chunk-CZHJBPRL.js:26415
    flushPassiveEffects chunk-CZHJBPRL.js:26359
    commitRootImpl chunk-CZHJBPRL.js:26328
    commitRoot chunk-CZHJBPRL.js:26189
    performSyncWorkOnRoot chunk-CZHJBPRL.js:25807
    flushSyncCallbacks chunk-CZHJBPRL.js:16057
    ensureRootIsScheduled chunk-CZHJBPRL.js:25536
    (Async: VoidFunction)
    ensureRootIsScheduled chunk-CZHJBPRL.js:25534
    scheduleUpdateOnFiber chunk-CZHJBPRL.js:25471
    dispatchSetState chunk-CZHJBPRL.js:19945
    setState react-router-dom.js:4513
    optInStartTransition react-router-dom.js:4493
    setState react-router-dom.js:4513
    updateState react-router-dom.js:1264
    forEach self-hosted:145
    updateState react-router-dom.js:1264
    completeNavigation react-router-dom.js:1337
    handleLoaders react-router-dom.js:1601
    startNavigation react-router-dom.js:1509
    navigate react-router-dom.js:1412
    navigate react-router-dom.js:3832
    useLinkClickHandler react-router-dom.js:4995
    handleClick react-router-dom.js:4812
    callCallback2 chunk-CZHJBPRL.js:10571
    invokeGuardedCallbackDev chunk-CZHJBPRL.js:10596
    invokeGuardedCallback chunk-CZHJBPRL.js:10630
    invokeGuardedCallbackAndCatchFirstError chunk-CZHJBPRL.js:10633
    executeDispatch chunk-CZHJBPRL.js:13937
    processDispatchQueueItemsInOrder chunk-CZHJBPRL.js:13957
    processDispatchQueue chunk-CZHJBPRL.js:13966
    dispatchEventsForPlugins chunk-CZHJBPRL.js:13974
    dispatchEventForPluginEventSystem chunk-CZHJBPRL.js:14097
    batchedUpdates$1 chunk-CZHJBPRL.js:25825
    batchedUpdates chunk-CZHJBPRL.js:10476
    dispatchEventForPluginEventSystem chunk-CZHJBPRL.js:14096
    dispatchEventWithEnableCapturePhaseSelectiveHydrationWithoutDiscreteEventReplay chunk-CZHJBPRL.js:12375
    dispatchEvent chunk-CZHJBPRL.js:12369
    dispatchDiscreteEvent chunk-CZHJBPRL.js:12346
    (Async: EventListener.handleEvent)
    addEventBubbleListener chunk-CZHJBPRL.js:12541
    addTrappedEventListener chunk-CZHJBPRL.js:14043
    listenToNativeEvent chunk-CZHJBPRL.js:14000
    listenToAllSupportedEvents chunk-CZHJBPRL.js:14009
    forEach self-hosted:4457
    listenToAllSupportedEvents chunk-CZHJBPRL.js:14006
    createRoot chunk-CZHJBPRL.js:28092
    createRoot$1 chunk-CZHJBPRL.js:28427
    createRoot react-dom_client.js:35
    <anonymous> index.tsx:65

What I find:

I traced into lean4monaco.js and the path construction there is correct — it is not the source of the backslash corruption.
The corruption happens somewhere inside the vscode package itself, between lean4monaco.js:6846 → monaco.js → fileService.js. Monaco's virtual FS providers are registered with forward-slash paths, so when a backslash path arrives it matches nothing, falls through to a no-permission default, and throws NoPermissions.

I can't trace further since that layer is outside this project's scope.

So, it may be:

• A recent vscode dependency version regression that changed internal path handling
• A platform-specific path normalization bug inside the package

If there was a recent vscode dependency bump around the time this regressed, that'd be the first thing worth checking — particularly whether the version is pinned or floating.

Happy to help investigate further or test patches if there's a useful direction to dig into.

[procoderxx]

If anybody needs a quick temporary workaround for this problem: After loading a level, you can change your User agent in the browser from browser default to something without Windows, e.g. Chrome - Mac. If you then refresh the page, it should be working again, until you leave the current world. Sometimes you have to redo this when switching between worlds, because it automatically switches back to browser default.

[lexspoon]

If anybody needs a quick temporary workaround for this problem: After loading a level, you can change your User agent in the browser from browser default to something without Windows, e.g. Chrome - Mac.

Thank you! This works great. For anyone who needs it, here is a way to change the User Agent setting on Chrome: https://developer.chrome.com/docs/devtools/device-mode/override-user-agent .

After experimenting a little, I recommend using Chrome - ChromeOS rather than Chrome - Mac, so that control keys will line up better. Mac uses the Command key for a number of common key combinations that are Control on Windows and ChromeOS, and Control-A on a Mac means go to the beginning of the line.