@cavelang/cli 0.34.0 → 0.36.0

package/dist/internal/view/main.js

@@ -5,7 +5,9 @@
 import { parseArgs } from 'node:util';
 import { Registry } from '@cavelang/canonical';
 import { Sensitivity, defaultDbPath, openAt } from '@cavelang/store';
+import { assemble } from '@cavelang/cli/connect';
 import { defaultHost, defaultPort, serve } from "./server.js";
+import { errorMessage } from "./error-message.js";
 const usage = `cave serve — browse a CAVE store in the browser (spec §30)
 
 Usage:
@@ -30,7 +32,7 @@ and the spec §20 coverage/frontier dashboard, with full-text search
 within the selected sensitivity ceiling. Every request reads the live store, so a running
 loop's appends show on the next refresh.
 
-The surface is strictly read-only: only GET is answered and no
+The surface is strictly read-only: only GET/HEAD are answered and no
 endpoint writes — recording knowledge stays with cave add, the MCP
 tools and the kinetic layer (spec §24, §25, §29).
 
@@ -38,8 +40,23 @@ Examples:
   cave serve --db k.db
   cave serve --db k.db --port 8080
   CAVE_DB=k.db cave serve`;
-const waitForAbort = (signal) => signal?.aborted === true ? Promise.resolve() : new Promise(resolve => signal?.addEventListener('abort', () => resolve(), { once: true }));
+const waitForStop = (server, signal, errors) => {
+    let wake;
+    const wait = new Promise(resolve => { wake = resolve; });
+    const failed = (error) => { errors.push(error); wake(); };
+    server.on('error', failed);
+    signal?.addEventListener('abort', wake, { once: true });
+    if (signal?.aborted)
+        wake();
+    return { wait, close: () => {
+            server.removeListener('error', failed);
+            signal?.removeEventListener('abort', wake);
+        } };
+};
 export const runServe = async (argv, context = {}) => {
+    const signal = context.signal;
+    if (signal?.aborted === true)
+        return 0;
     const stdout = context.stdout ?? process.stdout;
     const stderr = context.stderr ?? process.stderr;
     const { values, positionals } = parseArgs({
@@ -62,8 +79,12 @@ export const runServe = async (argv, context = {}) => {
         stderr.write(`cave serve: unexpected argument ${JSON.stringify(positionals[0])}\n`);
         return 1;
     }
+    if (values.host !== undefined && values.host.trim() === '') {
+        stderr.write('cave serve: --host expects a non-empty hostname or address\n');
+        return 1;
+    }
     const port = values.port === undefined ? defaultPort : Number(values.port);
-    if (!Number.isInteger(port) || port < 0 || port > 65535) {
+    if (values.port?.trim() === '' || !Number.isInteger(port) || port < 0 || port > 65535) {
         stderr.write(`cave serve: --port expects 0..65535, got '${values.port}'\n`);
         return 1;
     }
@@ -73,8 +94,10 @@ export const runServe = async (argv, context = {}) => {
         return 1;
     }
     const dbPath = values.db ?? defaultDbPath();
-    const store = openAt(dbPath, { intent: 'read', ...values['no-prelude'] === true ? { registry: Registry.empty } : {} });
+    const store = openAt(dbPath, { intent: 'read', assemble, ...values['no-prelude'] === true ? { registry: Registry.empty } : {} });
     let handle;
+    const errors = [];
+    let stop;
     try {
         handle = await serve(store, {
             port,
@@ -82,17 +105,48 @@ export const runServe = async (argv, context = {}) => {
             maxSensitivity: maximum,
             ...values.host === undefined ? {} : { host: values.host }
         });
+        stop = waitForStop(handle.server, signal, errors);
         stdout.write(`serving ${dbPath} at ${handle.url} (sensitivity <= ${maximum}, read-only, ctrl-c to stop)\n`);
-        await waitForAbort(context.signal);
-        return 0;
+        await stop.wait;
+    }
+    catch (error) {
+        errors.push(error);
     }
-    finally {
-        if (handle?.server.listening === true) {
-            const closing = handle.close();
+    if (handle?.server.listening === true) {
+        let closing;
+        try {
+            closing = handle.close();
+            // Observe immediately, then retain its error in cleanup order below.
+            void closing.catch(() => { });
+        }
+        catch (error) {
+            errors.push(error);
+        }
+        try {
             handle.server.closeAllConnections();
+        }
+        catch (error) {
+            errors.push(error);
+        }
+        try {
             await closing;
         }
+        catch (error) {
+            errors.push(error);
+        }
+    }
+    try {
         store.close();
     }
+    catch (error) {
+        errors.push(error);
+    }
+    stop?.close();
+    if (errors.length === 1)
+        throw errors[0];
+    if (errors.length > 1) {
+        throw new AggregateError(errors, `viewer failed: ${errors.map(errorMessage).join('; ')}`, { cause: errors[0] });
+    }
+    return 0;
 };
 //# sourceMappingURL=main.js.map

package/dist/internal/view/main.js.map

@@ -1 +1 @@
-{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/main.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAE7D,MAAM,KAAK,GAAG;;;;;;;;yCAQ2B,WAAW;;8CAEN,WAAW;;;;;;;;;;;;;;;;;;;;;0BAqB/B,CAAA;AAQ1B,MAAM,YAAY,GAAG,CAAC,MAAoB,EAAiB,EAAE,CAC3D,MAAM,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;AAE3I,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAuB,EAAE,UAAsB,EAAE,EAAmB,EAAE;IACnG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;IAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;IAC/C,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;QACxC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QACf,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;SACtC;QACD,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAA;QAC1B,OAAO,CAAC,CAAA;IACV,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,mCAAmC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACnF,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,6CAA6C,MAAM,CAAC,IAAI,KAAK,CAAC,CAAA;QAC3E,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,WAAW,CAAC,cAAc,CAAC,CAAA;IAC1F,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,yCAAyC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAA;QAC1I,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,IAAI,aAAa,EAAE,CAAA;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACtH,IAAI,MAAqD,CAAA;IACzD,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,KAAK,CAAC,KAAK,EAAE;YAC1B,IAAI;YACJ,KAAK,EAAE,MAAM;YACb,cAAc,EAAE,OAAO;YACvB,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;SAC1D,CAAC,CAAA;QACF,MAAM,CAAC,KAAK,CAAC,WAAW,MAAM,OAAO,MAAM,CAAC,GAAG,oBAAoB,OAAO,gCAAgC,CAAC,CAAA;QAC3G,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAClC,OAAO,CAAC,CAAA;IACV,CAAC;YAAS,CAAC;QACT,IAAI,MAAM,EAAE,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,CAAA;YAC9B,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAA;YACnC,MAAM,OAAO,CAAA;QACf,CAAC;QACD,KAAK,CAAC,KAAK,EAAE,CAAA;IACf,CAAC;AACH,CAAC,CAAA"}
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../../src/main.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAErC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjD,MAAM,KAAK,GAAG;;;;;;;;yCAQ2B,WAAW;;8CAEN,WAAW;;;;;;;;;;;;;;;;;;;;;0BAqB/B,CAAA;AAQ1B,MAAM,WAAW,GAAG,CAAC,MAAc,EAAE,MAA+B,EAAE,MAAiB,EAAE,EAAE;IACzF,IAAI,IAAiB,CAAA;IACrB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAO,OAAO,CAAC,EAAE,GAAG,IAAI,GAAG,OAAO,CAAA,CAAC,CAAC,CAAC,CAAA;IAC7D,MAAM,MAAM,GAAG,CAAC,KAAc,EAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA,CAAC,CAAC,CAAA;IACvE,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAC1B,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IACvD,IAAI,MAAM,EAAE,OAAO;QAAE,IAAI,EAAE,CAAA;IAC3B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAS,EAAE;YAC/B,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;YACtC,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;QAC5C,CAAC,EAAE,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,EAAE,IAAuB,EAAE,UAAsB,EAAE,EAAmB,EAAE;IACnG,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAA;IAC7B,IAAI,MAAM,EAAE,OAAO,KAAK,IAAI;QAAE,OAAO,CAAC,CAAA;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;IAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAA;IAC/C,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,SAAS,CAAC;QACxC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QACf,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACtB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACxB,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE;SACtC;QACD,gBAAgB,EAAE,IAAI;KACvB,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAA;QAC1B,OAAO,CAAC,CAAA;IACV,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,mCAAmC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACnF,OAAO,CAAC,CAAA;IACV,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAA;QAC5E,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1E,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,6CAA6C,MAAM,CAAC,IAAI,KAAK,CAAC,CAAA;QAC3E,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,WAAW,CAAC,cAAc,CAAC,CAAA;IAC1F,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,CAAC,yCAAyC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAA;QAC1I,OAAO,CAAC,CAAA;IACV,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,IAAI,aAAa,EAAE,CAAA;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAChI,IAAI,MAAqD,CAAA;IACzD,MAAM,MAAM,GAAc,EAAE,CAAA;IAC5B,IAAI,IAAgD,CAAA;IACpD,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,KAAK,CAAC,KAAK,EAAE;YAC1B,IAAI;YACJ,KAAK,EAAE,MAAM;YACb,cAAc,EAAE,OAAO;YACvB,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;SAC1D,CAAC,CAAA;QACF,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;QACjD,MAAM,CAAC,KAAK,CAAC,WAAW,MAAM,OAAO,MAAM,CAAC,GAAG,oBAAoB,OAAO,gCAAgC,CAAC,CAAA;QAC3G,MAAM,IAAI,CAAC,IAAI,CAAA;IACjB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAAC,CAAC;IACtC,IAAI,MAAM,EAAE,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACtC,IAAI,OAAkC,CAAA;QACtC,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,CAAA;YACxB,qEAAqE;YACrE,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAAC,CAAC;QACtC,IAAI,CAAC;YAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAA;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAAC,CAAC;QAChF,IAAI,CAAC;YAAC,MAAM,OAAO,CAAA;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAAC,CAAC;IAC5D,CAAC;IACD,IAAI,CAAC;QAAC,KAAK,CAAC,KAAK,EAAE,CAAA;IAAC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAAC,CAAC;IAC1D,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,MAAM,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,cAAc,CAAC,MAAM,EAC7B,kBAAkB,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACvD,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACzB,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC,CAAA"}

package/dist/internal/view/page.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"page.d.ts","sourceRoot":"","sources":["../../src/page.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,IAAI,EAAE,MAoWlB,CAAA"}
+{"version":3,"file":"page.d.ts","sourceRoot":"","sources":["../../src/page.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,IAAI,EAAE,MAuclB,CAAA"}

package/dist/internal/view/page.js

@@ -34,17 +34,19 @@ export const page = `<!doctype html>
 * { box-sizing: border-box; }
 body {
   margin: 0; background: var(--bg); color: var(--fg);
-  font: 15px/1.5 system-ui, sans-serif;
+  font: 15px/1.5 system-ui, sans-serif; overflow-wrap: anywhere;
 }
 a { color: var(--accent); text-decoration: none; }
 a:hover { text-decoration: underline; }
+a:focus-visible, input:focus-visible, button:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
+a:focus-visible { text-decoration: underline; }
 header {
   position: sticky; top: 0; display: flex; gap: 1rem; align-items: center;
   padding: .55rem 1rem; background: var(--bg); border-bottom: 1px solid var(--line);
 }
 header .brand { font-weight: 700; color: var(--fg); }
 header input[type=search] {
-  flex: 1; max-width: 26rem; padding: .3rem .6rem; border: 1px solid var(--line);
+  flex: 1; min-width: 0; max-width: 26rem; padding: .3rem .6rem; border: 1px solid var(--line);
   border-radius: .4rem; background: var(--pill); color: var(--fg); font: inherit;
 }
 header label { color: var(--dim); font-size: .85rem; display: flex; gap: .35rem; align-items: center; }
@@ -60,6 +62,7 @@ section h2 { font-size: .8rem; text-transform: uppercase; letter-spacing: .06em;
 section h2 .n { font-weight: 400; }
 .none { color: var(--dim); font-size: .85rem; margin: .2rem 0; }
 .err { color: var(--bad); }
+.retry { padding: .35rem .7rem; border: 1px solid var(--line); border-radius: .4rem; background: var(--pill); color: var(--fg); font: inherit; cursor: pointer; }
 .tiles { display: flex; flex-wrap: wrap; gap: .5rem; }
 .tile { background: var(--pill); border-radius: .5rem; padding: .45rem .8rem; min-width: 5.4rem; }
 .tile b { display: block; font-size: 1.15rem; }
@@ -99,31 +102,53 @@ section h2 .n { font-weight: 400; }
 .aka { color: var(--dim); font-size: .85rem; }
 mark { background: var(--mark); color: inherit; border-radius: .2rem; }
 .linked { font-size: .8rem; color: var(--dim); margin-top: .3rem; }
+.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
+.skip-link { position: fixed; top: .5rem; left: .5rem; z-index: 10; padding: .6rem .9rem; background: var(--bg); border: 2px solid var(--accent); border-radius: .3rem; transform: translateY(-200%); }
+.skip-link:focus { transform: translateY(0); }
 </style>
 </head>
 <body>
+<a class="skip-link" href="#view">Skip to content</a>
 <header>
   <a class="brand" href="#/">cave</a>
-  <input id="q" type="search" placeholder="search claims… (enter)">
+  <input id="q" type="search" aria-label="Search claims by phrase" aria-keyshortcuts="Enter" enterkeyhint="search" placeholder="search phrase… (enter)">
   <label><input id="aliases" type="checkbox"> aliases</label>
 </header>
-<main id="view"></main>
+<div id="loading-status" class="sr-only" role="status"></div>
+<main id="view" tabindex="-1" aria-busy="false"></main>
 <footer>cave __CAVE_VERSION__ &middot; __CAVE_DB__ &middot; sensitivity &le; __CAVE_SENSITIVITY__ &middot; read-only view</footer>
 <script>
 'use strict'
 var view = document.getElementById('view')
+var loadingStatus = document.getElementById('loading-status')
 var aliasBox = document.getElementById('aliases')
 var searchBox = document.getElementById('q')
+var baseTitle = document.title
 var BACKTICK = '\\u0060'
 
-aliasBox.checked = localStorage.getItem('cave-aliases') === '1'
+document.querySelector('.skip-link').addEventListener('click', function (event) {
+  event.preventDefault()
+  focusViewElement(view)
+})
+
+try {
+  aliasBox.checked = localStorage.getItem('cave-aliases') === '1'
+} catch (_) {
+  aliasBox.checked = false
+}
 aliasBox.addEventListener('change', function () {
-  localStorage.setItem('cave-aliases', aliasBox.checked ? '1' : '0')
+  try {
+    localStorage.setItem('cave-aliases', aliasBox.checked ? '1' : '0')
+  } catch (_) { /* Persistence is optional; the current toggle still applies. */ }
   route()
 })
 searchBox.addEventListener('keydown', function (event) {
-  if (event.key === 'Enter' && searchBox.value.trim() !== '') {
-    location.hash = '#/s/' + encodeURIComponent(searchBox.value.trim())
+  if (event.key === 'Enter' && !event.isComposing &&
+      !event.ctrlKey && !event.metaKey && !event.altKey && !event.shiftKey && searchBox.value.trim() !== '') {
+    event.preventDefault()
+    var destination = '#/s/' + encodeURIComponent(searchBox.value.trim())
+    if (location.hash === destination) route()
+    else location.hash = destination
   }
 })
 
@@ -133,7 +158,12 @@ function esc (value) {
   })
 }
 var enc = encodeURIComponent
-function pct (value) { return Math.round(value * 1000) / 10 + '%' }
+function pct (value) {
+  var rounded = Math.round(value * 1000) / 10
+  if (value > 0 && rounded === 0) { return '<0.1%' }
+  if (value < 1 && rounded === 100) { return '>99.9%' }
+  return rounded + '%'
+}
 
 function api (path, params) {
   var pairs = []
@@ -145,8 +175,13 @@ function api (path, params) {
   })
   return fetch('/api/' + path + (pairs.length ? '?' + pairs.join('&') : '')).then(function (res) {
     return res.json().then(function (body) {
-      if (!res.ok) { throw new Error(body.error || ('http ' + res.status)) }
+      if (!res.ok) {
+        var message = body && typeof body.error === 'string' && body.error
+        throw new Error(message || ('HTTP ' + res.status))
+      }
       return body
+    }, function () {
+      throw new Error(res.ok ? 'Could not read JSON response (HTTP ' + res.status + ')' : 'HTTP ' + res.status)
     })
   })
 }
@@ -162,7 +197,7 @@ function claimHtml (c, opts) {
   opts = opts || {}
   var parts = []
   if (opts.when) { parts.push('<span class="when" title="' + esc(c.at) + '">' + esc(c.at.slice(0, 10)) + '</span>') }
-  if (opts.bar) { parts.push('<span class="bar" title="confidence ' + pct(c.conf) + '"><i style="width:' + (c.conf * 100) + '%"></i></span>') }
+  if (opts.bar) { parts.push('<span class="bar" title="confidence ' + esc(pct(c.conf)) + '"><i style="width:' + (c.conf * 100) + '%"></i></span>') }
   parts.push(entityHtml(c.subject))
   parts.push('<span class="v">' + esc(c.verb) + '</span>' + (c.negated ? ' <em class="not">NOT</em>' : ''))
   if (c.object !== undefined) {
@@ -173,6 +208,7 @@ function claimHtml (c, opts) {
     parts.push('<span class="val">' + esc(c.value) + '</span>')
   }
   if (c.delta !== undefined) { parts.push('<span class="val">+/- ' + esc(c.delta) + '</span>') }
+  if (c.sigmaLevel !== undefined) { parts.push('<span class="val">(' + esc(c.sigmaLevel) + 'σ)</span>') }
   c.contexts.forEach(function (ctx) {
     var source = (c.sources || []).filter(function (item) { return item.context === ctx })[0]
     var label = '@' + esc(ctx)
@@ -187,7 +223,7 @@ function claimHtml (c, opts) {
   if (c.conf === 0) {
     parts.push('<span class="conf retracted" title="retracted">@ 0%</span>')
   } else if (c.conf < 1) {
-    parts.push('<span class="conf">@ ' + pct(c.conf) + '</span>')
+    parts.push('<span class="conf">@ ' + esc(pct(c.conf)) + '</span>')
   }
   if (c.importance) { parts.push('<span class="imp">!</span>') }
   if (c.comment !== undefined) { parts.push('<span class="cmt">; ' + esc(c.comment) + '</span>') }
@@ -232,7 +268,7 @@ function dashboard (data) {
   html += section('coverage', '<div class="tiles">' +
     tile(cov.rows, 'rows') + tile(cov.facts, 'facts') + tile(cov.current, 'current') +
     tile(cov.entities, 'entities') + tile(cov.typedEntities, 'typed') +
-    tile(cov.averageConfidence === null ? '&mdash;' : pct(cov.averageConfidence), 'avg conf') +
+    tile(cov.averageConfidence === null ? '&mdash;' : esc(pct(cov.averageConfidence)), 'avg conf') +
     tile(cov.retracted, 'retracted') + tile(cov.negated, 'negated') + tile(cov.lowConfidence, 'low conf') +
     tile(cov.satisfied + '/' + cov.checks, 'shape checks') +
     '</div>')
@@ -300,10 +336,13 @@ function topicPage (data) {
 }
 
 function historyPage (data) {
-  var current = data.rows[data.rows.length - 1]
-  var html = '<h1>' + esc(current.line) + ' <span class="kind">belief history</span></h1>'
+  var latest = data.rows[data.rows.length - 1]
+  var html = '<h1>' + esc(latest.line) + ' <span class="kind">belief history</span></h1>'
   html += '<p class="linked">claim key <code>' + esc(data.key) + '</code> &middot; ' + data.rows.length +
-    ' event(s) &middot; oldest first, the last row is current belief</p>'
+    ' event(s) &middot; oldest first, the last row is the latest visible event</p>'
+  if (latest.conf === 0) {
+    html += '<p>This series is retracted in the selected audience.</p>'
+  }
   html += claimList(data.rows, { when: true, bar: true })
   view.innerHTML = html
 }
@@ -324,26 +363,85 @@ function treeHtml0 (nodes) { return nodes.length === 0 ? '' : treeHtml(nodes) }
 function lineagePage (data) {
   var html = '<h1>' + esc(data.row.line) + ' <span class="kind">lineage</span></h1>'
   html += claimHtml(data.row)
-  html += section('cites — why this is believed (BECAUSE premises, VIA rules, WHEN conditions)', treeHtml(data.cites))
+  html += '<p>These links show recorded evidence. Later changes to premises do not rewrite this claim’s original evidence.</p>'
+  html += section('cites — recorded evidence (BECAUSE premises, VIA rules, WHEN conditions)', treeHtml(data.cites))
   html += section('cited by — what depends on it', treeHtml(data.citedBy))
   view.innerHTML = html
 }
 
 function searchPage (text, data) {
-  searchBox.value = text
   view.innerHTML = '<h1>' + esc(text) + ' <span class="kind">search</span></h1>' +
+    '<p>Search includes earlier revisions and retracted claims, newest first. Open a claim’s history to follow its changes.</p>' +
+    (data.length === 100 ? '<p>Showing the newest 100 matches. More may exist; refine the search phrase to narrow the results.</p>' : '') +
     section('matches', claimList(data, { when: true }), data.length)
 }
 
+var navigation = 0
+var renderedHash
+
+function focusViewElement (destination) {
+  destination.setAttribute('tabindex', '-1')
+  destination.focus({ preventScroll: true })
+  destination.scrollIntoView({ block: 'start', behavior: 'instant' })
+  var header = document.querySelector('header')
+  var overlap = (header ? header.getBoundingClientRect().bottom : 0) + 12 - destination.getBoundingClientRect().top
+  if (overlap > 0) window.scrollBy({ top: -overlap, behavior: 'instant' })
+}
+
+function focusDestination (restoreFocus) {
+  if (restoreFocus && document.activeElement === document.body) {
+    var destination = view.querySelector('h1, [role="alert"]') || view.querySelector('h2')
+    if (destination) {
+      focusViewElement(destination)
+    }
+  }
+}
+
 function show (promise, render) {
+  var current = navigation
+  document.title = 'Loading view — ' + baseTitle
+  var restoreFocus = view.contains(document.activeElement)
+  view.setAttribute('aria-busy', 'true')
+  loadingStatus.textContent = 'Loading view.'
   view.innerHTML = '<p class="none">loading&hellip;</p>'
-  promise.then(render).catch(function (error) {
-    view.innerHTML = '<p class="err">' + esc(error.message) + '</p>'
+  promise.then(function (data) {
+    if (current === navigation) {
+      render(data)
+      var heading = view.querySelector('h1')
+      document.title = (heading ? heading.textContent : 'Overview') + ' — ' + baseTitle
+      view.setAttribute('aria-busy', 'false')
+      loadingStatus.textContent = 'View loaded.'
+      focusDestination(restoreFocus)
+    }
+  }).catch(function (error) {
+    if (current === navigation) showError(error, restoreFocus)
   })
 }
 
+function showError (error, restoreFocus) {
+  document.title = 'View error — ' + baseTitle
+  view.setAttribute('aria-busy', 'false')
+  loadingStatus.textContent = ''
+  view.innerHTML = '<p class="err" role="alert">' + esc(error.message) + '</p>' +
+    '<button class="retry" type="button">Retry view</button>'
+  view.querySelector('.retry').addEventListener('click', route)
+  focusDestination(restoreFocus)
+}
+
 function route () {
+  navigation++
+  var restoreFocus = view.contains(document.activeElement)
+  try {
+    renderRoute()
+  } catch (error) {
+    showError(error, restoreFocus)
+  }
+}
+
+function renderRoute () {
   var hash = location.hash || '#/'
+  var changedRoute = hash !== renderedHash
+  renderedHash = hash
   var aliases = aliasBox.checked
   var match
   if ((match = hash.match(/^#\\/e\\/(.+)$/))) {
@@ -356,6 +454,7 @@ function route () {
     show(api('lineage', { id: decodeURIComponent(match[1]) }), lineagePage)
   } else if ((match = hash.match(/^#\\/s\\/(.+)$/))) {
     var text = decodeURIComponent(match[1])
+    if (changedRoute) searchBox.value = text
     show(api('search', { q: text }), function (data) { searchPage(text, data) })
   } else {
     show(api('overview'), dashboard)

package/dist/internal/view/page.js.map

@@ -1 +1 @@
-{"version":3,"file":"page.js","sourceRoot":"","sources":["../../src/page.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,MAAM,CAAC,MAAM,IAAI,GAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoW3B,CAAA"}
+{"version":3,"file":"page.js","sourceRoot":"","sources":["../../src/page.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,MAAM,CAAC,MAAM,IAAI,GAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuc3B,CAAA"}

package/dist/internal/view/report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAOH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAG5C,MAAM,MAAM,OAAO,GAAG;IACpB,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,KAAK,CAAA;IAC3C,qDAAqD;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,sGAAsG;IACtG,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CACtC,CAAA;AAqXD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,UAAU,MAAM,EAAE,UAAS,aAAkB,KAAG,MAEzC,CAAA"}
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAQH,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAO5C,MAAM,MAAM,OAAO,GAAG;IACpB,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,KAAK,CAAA;IAC3C,qDAAqD;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,sGAAsG;IACtG,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CACtC,CAAA;AAuXD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,UAAU,MAAM,EAAE,UAAS,aAAkB,KAAG,MAapF,CAAA"}