@@ -76,6 +76,7 @@ hashTree(fingerprint, aiDir, { skip: ['test', 'node_modules', 'scripts', '.DS_St
 hashTree(fingerprint, path.join(WEB, 'ai-extension'), { skip: ['assets.generated.js', 'node_modules', '.DS_Store'] });
 hashTree(fingerprint, path.join(WEB, 'workspace'), { skip: ['node_modules', '.DS_Store'] });
 hashTree(fingerprint, path.join(WEB, 'theme'), { skip: ['.DS_Store'] });
+hashTree(fingerprint, path.join(WEB, 'shell'), { skip: ['node_modules', '.DS_Store'] });
 hashTree(fingerprint, path.join(WEB, 'lib'), { skip: ['.DS_Store'] });
 // The declarative built-ins are staged from the checkout's extensions/ (grammars, language configurations, the desktop's
 // themes — whose manifest this build rewrites): a changed grammar is a changed build, and so is the fallback copy of
@@ -84,7 +85,7 @@ hashTree(fingerprint, path.join(WEB, 'lib'), { skip: ['.DS_Store'] });
 	const baked = fs.existsSync(path.join(staticDir, 'extensions')) ? fs.readdirSync(path.join(staticDir, 'extensions')) : [];
 	const source = path.join(vscodeDir, 'extensions');
 	if (fs.existsSync(source)) {
-		for (const name of declarativeExtensionNames(source, [...baked, 'levelcode-ai', 'levelcode-web'])) {
+		for (const name of declarativeExtensionNames(source, [...baked, 'levelcode-ai', 'levelcode-web', 'levelcode-shell'])) {
 			fingerprint.update('\0ext\0' + name);
 			hashTree(fingerprint, path.join(source, name), { skip: [...COPY_SKIP, '.DS_Store'] });
 		}
@@ -114,13 +115,17 @@ log('bundling levelcode-ai for the web worker extension host');
 const r = spawnSync(process.execPath, [path.join(WEB, 'ai-extension', 'build.mjs'), '--out', extOut, '--vscode', vscodeDir, '--minify'], { stdio: 'inherit' });
 if (r.status !== 0) { die('the levelcode-ai browser build failed'); }
 
+log('bundling levelcode-shell (the shell extension and its engine worker)');
+const rShell = spawnSync(process.execPath, [path.join(WEB, 'shell', 'build.mjs'), '--out', extOut, '--vscode', vscodeDir, '--minify'], { stdio: 'inherit' });
+if (rShell.status !== 0) { die('the levelcode-shell build failed'); }
+
 log('staging the scratch workspace and the declarative built-ins');
 const scratchOut = path.join(extOut, 'levelcode-web');
 copyExtension(path.join(WEB, 'workspace'), scratchOut);
 fs.writeFileSync(path.join(scratchOut, 'package.nls.json'), '{}\n');
 const extensionsSource = path.join(vscodeDir, 'extensions');
 if (!fs.existsSync(extensionsSource)) { die('no extensions/ in ' + vscodeDir + ' to take the declarative built-ins from'); }
-const declarative = stageDeclarativeExtensions(extensionsSource, extOut, { exclude: [...baked, 'levelcode-ai', 'levelcode-web'] });
+const declarative = stageDeclarativeExtensions(extensionsSource, extOut, { exclude: [...baked, 'levelcode-ai', 'levelcode-web', 'levelcode-shell'] });
 // A checkout that has not had LevelCode's extensions copied in still builds; the themes are then absent.
 if (!declarative.includes('levelcode-themes')) {
 	const themes = path.join(REPO, 'extensions', 'levelcode-themes');
@@ -133,8 +138,8 @@ copyExtension(path.join(WEB, 'theme', 'levelcode-web-theme'), themeOut);
 fs.writeFileSync(path.join(themeOut, 'package.nls.json'), '{}\n');
 const desktopThemes = path.join(extOut, 'levelcode-themes', 'package.json');
 if (fs.existsSync(desktopThemes)) { withoutConfigurationDefaults(desktopThemes); }
-const extensions = ['levelcode-ai', 'levelcode-web', 'levelcode-web-theme', ...declarative.sort()];
-log(`${extensions.length} extensions: levelcode-ai, levelcode-web, levelcode-web-theme and ${declarative.length} declarative (${declarative.slice(0, 6).join(', ')}, ...)`);
+const extensions = ['levelcode-ai', 'levelcode-web', 'levelcode-web-theme', 'levelcode-shell', ...declarative.sort()];
+log(`${extensions.length} extensions: levelcode-ai, levelcode-web, levelcode-web-theme, levelcode-shell and ${declarative.length} declarative (${declarative.slice(0, 6).join(', ')}, ...)`);
 
 log('writing the page');
 // main.js and boot.css are addressed by the build id like everything else; the page names them.
@@ -190,7 +195,8 @@ JSON.parse(m[1]);
 if (/\{\{[A-Z]+\}\}/.test(html)) { die('index.html still has an unfilled placeholder'); }
 for (const must of [`${prefix}/main.js`, `${prefix}/boot.css`, `${prefix}/static/out/nls.messages.js`, `${prefix}/extensions/levelcode-ai/extension.web.js`,
 	`${prefix}/extensions/levelcode-ai/package.json`, `${prefix}/extensions/levelcode-web/extension.js`,
-	`${prefix}/chrome.css`, `${prefix}/extensions/levelcode-web-theme/package.json`]) {
+	`${prefix}/chrome.css`, `${prefix}/extensions/levelcode-web-theme/package.json`,
+	`${prefix}/extensions/levelcode-shell/package.json`, `${prefix}/extensions/levelcode-shell/extension.js`, `${prefix}/extensions/levelcode-shell/engine.worker.js`]) {
 	if (!fs.existsSync(path.join(outDir, must))) { die('missing ' + must); }
 }
 log(`done: ${outDir}  ${mb(sizeOf(outDir))}  (client ${mb(sizeOf(path.join(root, 'static')))}, extensions ${mb(sizeOf(extOut))})`);
 
@@ -61,6 +61,14 @@ export function webConfig(o = {}) {
 			// position zero too), which washes out line one. The editor starts below it.
 			'editor.padding.top': 24,
 			// Light or dark follows the visitor's system; the dark one is where it starts.
+			// The terminal (LevelCode Shell): a scrollback that holds a screenful of output the agent printed, no file links
+			// the workbench cannot resolve in a virtual workspace, only web links that may be followed, no toast when a
+			// command's status is not 0, and no kitty keyboard protocol (the shell does not speak it).
+			'terminal.integrated.scrollback': 10000,
+			'terminal.integrated.enableFileLinks': 'off',
+			'terminal.integrated.allowedLinkSchemes': ['http', 'https', 'mailto'],
+			'terminal.integrated.showExitAlert': false,
+			'terminal.integrated.enableKittyKeyboardProtocol': false,
 			'window.autoDetectColorScheme': true,
 			'workbench.colorTheme': 'LevelCode Web Dark',
 			'workbench.preferredDarkColorTheme': 'LevelCode Web Dark',
 
@@ -62,8 +62,14 @@ const server = http.createServer((req, res) => {
 		}
 		if (pathname.startsWith('/static/')) { file = within(STATIC_DIR, pathname.slice('/static/'.length)); }
 		else if (pathname.startsWith('/extensions/')) { file = within(EXT_DIR, pathname.slice('/extensions/'.length)); }
-		else { file = within(WEB_DIR, pathname.slice(1)); }
-		if (!file || file.includes(`${path.sep}lib${path.sep}`) || file.endsWith('serve.mjs')) { res.writeHead(404).end('not found'); return; }
+		else {
+			file = within(WEB_DIR, pathname.slice(1));
+			// The page's own files are served; the server's and the build's are not. (This used to be a test for any path
+			// containing /lib/, which also hid node_modules/@xterm/xterm/lib/xterm.js: the terminal never started here.)
+			const own = file && path.relative(WEB_DIR, file).split(path.sep)[0];
+			if (own === 'lib' || own === 'test' || own === 'shell' || (file && file.endsWith('serve.mjs'))) { file = null; }
+		}
+		if (!file) { res.writeHead(404).end('not found'); return; }
 	}
 	if (!file) { res.writeHead(404).end('not found'); return; }