Stream → Editor

The backend generates a large JSON array on the fly (or you import a file from disk) — either way it's saved server-side, and the editor and tree view below fetch just the lines/levels currently in view, so the browser never has to hold the whole file at once.