@cavelang/cli 0.27.14 → 0.29.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../../src/api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AACrD,OAAO,EAAE,KAAK,EAAoB,MAAM,iBAAiB,CAAA;AACzD,OAAO,EAAY,WAAW,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,KAAK,EAAO,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAKjD,wDAAwD;AACxD,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,qDAAqD;IACrD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IAC3E,+EAA+E;IAC/E,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,wEAAwE;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,4FAA4F;IAC5F,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,KAAK,CAAA;CAC5C,CAAA;AAmDD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAYD,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,UAAS,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAM,KAAG,KAAK,EACnC,CAAA;AAEvD,oEAAoE;AACpE,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAA;CAC7B,CAAA;AAKD,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,CAAA;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,KAAK,CAAA;QACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAA;KACjD,CAAC,CAAA;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;KAAE,CAAC,CAAA;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,CAAA;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAA;KAAE,CAAC,CAAA;IAC5J,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAA;CACtC,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,UAAS;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,WAAW,CAAC,KAAK,CAAA;CAAO,KAAG,QA8B/I,CAAA;AAEJ,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,uGAAuG;IACvG,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;IACpC,sEAAsE;IACtE,QAAQ,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,CAAA;IAClC,iHAAiH;IACjH,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,SAAS,GAAG;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAA;IAC/D,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAA;CACxC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,EAAE,UAAS,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,KAAG,MAwB/F,CAAA;AAEJ,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC,CAAA;AAED,sEAAsE;AACtE,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,EAAE,UAAS,OAAY,KAAG,SAEO,CAAA;AAEjF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAA;CACpC,CAAA;AAED,iEAAiE;AACjE,eAAO,MAAM,OAAO,GAAI,OAAO,KAAK,EAAE,KAAK,MAAM,EAAE,UAAS,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAM,KAAG,OAE3C,CAAA;AAExD,+CAA+C;AAC/C,MAAM,MAAM,WAAW,GAAG;IACxB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;CAC1C,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;IACvB,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;IACtC,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAA;CACzC,CAAA;AAID;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,KAAK,EAAE,IAAI,MAAM,EAAE,UAAS,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAM,KAAG,SAAS,GAAG,OAqC1G,CAAA;AAEJ,iFAAiF;AACjF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,EAAE,UAAS;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,WAAW,CAAC,KAAK,CAAA;CAAO,KAAG,SAAS,EAI1G,CAAA"}

package/dist/internal/view/api.js

@@ -0,0 +1,189 @@
+/**
+ * View models (spec §30.2) — pure reads from a store into the JSON the
+ * page renders. Every function here is a read; nothing in this package
+ * ever writes. Semantics are the ones defined elsewhere: current belief
+ * is §9.1's latest-tx, the belief series is §9.1's history, lineage is
+ * the §13.2/§24.3 edge table, health is the §20.2 report — the view
+ * renders them, it never reinterprets them.
+ *
+ * Claims are returned *structured* (subject, verb, payload, contexts,
+ * tags as columns), not re-parsed from text: the page renders and links
+ * from row data, so no second grammar exists to drift out of sync, and
+ * `line` keeps the claim as authored for the places text is the point.
+ */
+import { SourceSpan, Uuidv7, Verb, Version } from '@cavelang/core';
+import { check, defaultStaleDays } from '@cavelang/cli/shape';
+import { QuerySql, Sensitivity } from '@cavelang/store';
+import { withScopedStore } from "./scope.js";
+const currentSql = QuerySql.current();
+const maximumOf = (options) => options.maxSensitivity ?? Sensitivity.defaultMaximum;
+const rows = (store, sql, ...params) => store.db.prepare(sql).all(...params);
+const toView = (store, row, maximum) => {
+    const contexts = store.db.prepare('SELECT context FROM cave_context WHERE claim_id = ?').all(row.id).map(entry => entry.context);
+    const tags = store.db.prepare('SELECT key, value FROM cave_tag WHERE claim_id = ?').all(row.id)
+        .map(tag => tag.value === null ? { key: tag.key } : { key: tag.key, value: tag.value });
+    const visibleChild = maximum === undefined ? '' :
+        ` JOIN cave_claim visible ON visible.id = cave_edge.child_id AND ${Sensitivity.sql('visible', maximum)}`;
+    const visibleParent = maximum === undefined ? '' :
+        ` JOIN cave_claim visible ON visible.id = cave_edge.parent_id AND ${Sensitivity.sql('visible', maximum)}`;
+    const cites = store.db.prepare(`SELECT COUNT(*) AS n FROM cave_edge${visibleChild} WHERE parent_id = ?`).get(row.id).n;
+    const citedBy = store.db.prepare(`SELECT COUNT(*) AS n FROM cave_edge${visibleParent} WHERE child_id = ?`).get(row.id).n;
+    return {
+        id: row.id,
+        tx: row.tx,
+        at: new Date(Uuidv7.msOf(row.tx)).toISOString(),
+        subject: row.subject,
+        verb: row.verb,
+        negated: row.negated !== 0,
+        ...row.object === null ? {} : { object: row.object },
+        ...row.attribute === null ? {} : { attribute: row.attribute },
+        ...row.value_text === null ? {} : { value: row.value_text },
+        ...row.delta_text === null ? {} : { delta: row.delta_text },
+        conf: row.conf,
+        importance: row.importance !== 0,
+        ...row.comment === null ? {} : { comment: row.comment },
+        contexts,
+        sources: SourceSpan.ofContexts(contexts),
+        tags,
+        key: row.claim_key,
+        line: row.raw_line,
+        cites,
+        citedBy
+    };
+};
+const views = (store, list, maximum) => list.map(row => toView(store, row, maximum));
+/** Entity test mirroring §20.2's: not a verb token, not a stored literal. */
+const isEntityName = (name) => !Verb.isVerbToken(name) && !name.startsWith('"') && !name.startsWith('`');
+/** Topics — subjects of current positive `CONTAINS` claims, largest first. */
+const topicsRaw = (store) => store.db.prepare(`
+    SELECT c.subject AS name, COUNT(*) AS members FROM (${currentSql}) c
+    WHERE c.verb = 'CONTAINS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+    GROUP BY c.subject ORDER BY members DESC, name
+  `).all()
+    .filter(topic => isEntityName(topic.name))
+    .map(({ name, members }) => ({ name, members }));
+export const topics = (store, options = {}) => withScopedStore(store, maximumOf(options), topicsRaw);
+const cap = (list, limit, map) => ({ total: list.length, items: list.slice(0, limit).map(map) });
+/**
+ * The dashboard (spec §30.2): §20.2 coverage and frontier — violations,
+ * review candidates, stale beliefs, alias disagreements — plus topics
+ * and the latest appends. Long sections are capped (the report is the
+ * uncapped surface); `total` counts what the store has.
+ */
+export const overview = (store, options = {}) => withScopedStore(store, maximumOf(options), scoped => {
+    const limit = options.limit ?? 100;
+    const report = check(scoped, { staleDays: options.staleDays ?? defaultStaleDays });
+    const recent = rows(scoped, 'SELECT * FROM cave_claim ORDER BY tx DESC LIMIT ?', options.recent ?? 30);
+    return {
+        version: Version.current(),
+        coverage: report.coverage,
+        violations: cap(report.violations, limit, violation => ({
+            entity: violation.entity,
+            via: violation.via,
+            kind: violation.expectation.kind,
+            name: violation.expectation.name,
+            type: violation.expectation.type,
+            cardinality: violation.expectation.cardinality,
+            ...violation.expectation.unit === undefined ? {} : { unit: violation.expectation.unit },
+            actualCount: violation.actualCount,
+            actualUnits: violation.actualUnits
+        })),
+        stale: cap(report.stale, limit, stale => ({ ageDays: stale.ageDays, row: toView(scoped, stale.row) })),
+        review: cap(report.review, limit, row => toView(scoped, row)),
+        disagreements: cap(report.disagreements, limit, disagreement => ({
+            kind: disagreement.kind,
+            about: disagreement.about,
+            entities: disagreement.entities,
+            rows: views(scoped, disagreement.rows)
+        })),
+        topics: topicsRaw(scoped),
+        recent: views(scoped, recent)
+    };
+});
+/**
+ * Entity 360 (spec §30.2): everything the store currently believes about
+ * one name — object-less facts, both relation directions, topics and the
+ * alias closure — plus the raw activity feed underneath. Negated current
+ * claims are shown (they are knowledge); retracted ones only appear in
+ * the activity feed and in each fact's own history.
+ */
+export const entity = (store, name, options = {}) => withScopedStore(store, maximumOf(options), scoped => {
+    const aliases = options.aliases === true ? scoped.aliasesOf(name) : [name];
+    const marks = aliases.map(() => '?').join(', ');
+    const facts = rows(scoped, `
+    SELECT c.* FROM (${currentSql}) c
+    WHERE c.subject IN (${marks}) AND c.object IS NULL AND c.conf > 0
+    ORDER BY c.verb, c.attribute, c.tx
+  `, ...aliases);
+    const traverse = { negated: true, ...options.aliases === true ? { aliases: true } : {} };
+    const about = scoped.claimsAbout(name, traverse);
+    const out = scoped.forward(name, traverse).map(fact => fact.row);
+    return {
+        name,
+        aliases,
+        types: [...new Set(out.filter(row => row.verb === 'IS' && row.negated === 0).map(row => row.object))],
+        facts: views(scoped, facts),
+        out: views(scoped, out),
+        in: scoped.reverse(name, traverse).map(fact => ({ ...toView(scoped, fact.row), ...fact.rel === undefined ? {} : { rel: fact.rel } })),
+        topics: scoped.topicsOf(name, traverse),
+        total: about.length,
+        activity: views(scoped, about.slice(0, options.activity ?? 30))
+    };
+});
+/** One topic's members — the forward `CONTAINS` read (spec §11.2). */
+export const topic = (store, name, options = {}) => withScopedStore(store, maximumOf(options), scoped => ({ name, members: scoped.topicMembers(name, { aliases: options.aliases }) }));
+/** The belief-history timeline of one claim key (spec §30.2). */
+export const history = (store, key, options = {}) => withScopedStore(store, maximumOf(options), scoped => ({ key, rows: views(scoped, scoped.history(key)) }));
+const maxLineageDepth = 16;
+/**
+ * The lineage of one row (spec §30.2): the §13.2 edge table walked both
+ * ways. Down answers "why is this believed" — premise rows and the rule
+ * behind a §24 derivation, conditions behind a qualified claim; up
+ * answers "what depends on this". Edges form a graph; the tree re-states
+ * a repeated row without children (`repeat`), so §24.5 cycles terminate.
+ * Depth is capped: a node whose further edges the cap cut off is marked
+ * `truncated`, so an incomplete explanation never renders as complete.
+ */
+export const lineage = (store, id, options = {}) => withScopedStore(store, maximumOf(options), scoped => {
+    store = scoped;
+    const root = store.db.prepare('SELECT * FROM cave_claim WHERE id = ?').get(id);
+    if (root === undefined) {
+        return undefined;
+    }
+    const walk = (direction, rowId, seen, depth) => {
+        const edges = direction === 'down' ?
+            store.db.prepare('SELECT role, child_id AS next FROM cave_edge WHERE parent_id = ? ORDER BY rowid') :
+            store.db.prepare('SELECT role, parent_id AS next FROM cave_edge WHERE child_id = ? ORDER BY rowid');
+        return edges.all(rowId).flatMap(edge => {
+            const row = store.db.prepare('SELECT * FROM cave_claim WHERE id = ?').get(edge.next);
+            if (row === undefined) {
+                return [];
+            }
+            const repeat = seen.has(row.id);
+            seen.add(row.id);
+            const view = toView(store, row);
+            // The view's own edge counts say whether the walk would continue —
+            // the cut and its marker share one condition, so they cannot drift.
+            const deeper = (direction === 'down' ? view.cites : view.citedBy) > 0;
+            const truncated = !repeat && deeper && depth + 1 >= maxLineageDepth;
+            return [{
+                    role: edge.role,
+                    row: view,
+                    ...repeat ? { repeat: true } : {},
+                    ...truncated ? { truncated: true } : {},
+                    children: repeat || truncated || !deeper ? [] : walk(direction, row.id, seen, depth + 1)
+                }];
+        });
+    };
+    return {
+        row: toView(store, root),
+        cites: walk('down', id, new Set([id]), 0),
+        citedBy: walk('up', id, new Set([id]), 0)
+    };
+});
+/** Full-text search (§13.5's FTS surface), newest first, capped in the query. */
+export const search = (store, text, options = {}) => views(store, store.search(text, {
+    limit: options.limit ?? 100,
+    maxSensitivity: maximumOf(options)
+}), maximumOf(options));
+//# sourceMappingURL=api.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../../src/api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAElE,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACzD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;AAyCrC,MAAM,SAAS,GAAG,CAAC,OAA+C,EAAqB,EAAE,CACvF,OAAO,CAAC,cAAc,IAAI,WAAW,CAAC,cAAc,CAAA;AAEtD,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,GAAW,EAAE,GAAG,MAA2B,EAAW,EAAE,CAClF,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAuB,CAAA;AAE5D,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,GAAU,EAAE,OAA2B,EAAa,EAAE;IAClF,MAAM,QAAQ,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAC5E,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACpD,MAAM,IAAI,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CACrD;SACvC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;IACzF,MAAM,YAAY,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,mEAAmE,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAA;IAC1G,MAAM,aAAa,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChD,oEAAoE,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,CAAA;IAC3G,MAAM,KAAK,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,YAAY,sBAAsB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAmB,CAAC,CAAC,CAAA;IACzI,MAAM,OAAO,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,aAAa,qBAAqB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAmB,CAAC,CAAC,CAAA;IAC3I,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,EAAE,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE;QAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,CAAC;QAC1B,GAAG,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;QACpD,GAAG,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE;QAC7D,GAAG,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE;QAC3D,GAAG,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE;QAC3D,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,CAAC;QAChC,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;QACvD,QAAQ;QACR,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC;QACxC,IAAI;QACJ,GAAG,EAAE,GAAG,CAAC,SAAS;QAClB,IAAI,EAAE,GAAG,CAAC,QAAQ;QAClB,KAAK;QACL,OAAO;KACR,CAAA;AACH,CAAC,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,IAAsB,EAAE,OAA2B,EAAe,EAAE,CAC/F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAA;AAE9C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE,CAC7C,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAQ3E,8EAA8E;AAC9E,MAAM,SAAS,GAAG,CAAC,KAAY,EAAW,EAAE,CACzC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;0DACsC,UAAU;;;GAGjE,CAAC,CAAC,GAAG,EAA0C;KAC7C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;KACzC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEpD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,UAA2C,EAAE,EAAW,EAAE,CAC7F,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAA;AAQvD,MAAM,GAAG,GAAG,CAAO,IAAkB,EAAE,KAAa,EAAE,GAAmB,EAAa,EAAE,CACtF,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AAwBhE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,UAAuG,EAAE,EAAY,EAAE,CAC5J,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,GAAG,CAAA;IAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,gBAAgB,EAAE,CAAC,CAAA;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,mDAAmD,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;IACtG,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE;QAC1B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACtD,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI;YAChC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI;YAChC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI;YAChC,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,WAAW;YAC9C,GAAG,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE;YACvF,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,WAAW,EAAE,SAAS,CAAC,WAAW;SACnC,CAAC,CAAC;QACH,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtG,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7D,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;YAC/D,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,KAAK,EAAE,YAAY,CAAC,KAAK;YACzB,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC;SACvC,CAAC,CAAC;QACH,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;KAC9B,CAAA;AACD,CAAC,CAAC,CAAA;AAsBJ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,UAA2C,EAAE,EAAU,EAAE,CAC1G,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE;uBACN,UAAU;0BACP,KAAK;;GAE5B,EAAE,GAAG,OAAO,CAAC,CAAA;IACd,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAA;IACxF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChE,OAAO;QACL,IAAI;QACJ,OAAO;QACP,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAO,CAAC,CAAC,CAAC;QACtG,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3B,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC;QACvB,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAC5C,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACxF,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACvC,KAAK,EAAE,KAAK,CAAC,MAAM;QACnB,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;KAChE,CAAA;AACD,CAAC,CAAC,CAAA;AAOJ,sEAAsE;AACtE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,UAAmB,EAAE,EAAa,EAAE,CACpF,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,CAClD,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAQjF,iEAAiE;AACjE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,GAAW,EAAE,UAA2C,EAAE,EAAW,EAAE,CAC3G,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,CAClD,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AA+BxD,MAAM,eAAe,GAAG,EAAE,CAAA;AAE1B;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,EAAU,EAAE,UAA2C,EAAE,EAAuB,EAAE,CACtH,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE;IACpD,KAAK,GAAG,MAAM,CAAA;IACd,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAsB,CAAA;IACnG,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,SAAwB,EAAE,KAAa,EAAE,IAAiB,EAAE,KAAa,EAAiB,EAAE;QACxG,MAAM,KAAK,GAAG,SAAS,KAAK,MAAM,CAAC,CAAC;YAClC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,iFAAiF,CAAC,CAAC,CAAC;YACrG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,iFAAiF,CAAC,CAAA;QACrG,OAAQ,KAAK,CAAC,GAAG,CAAC,KAAK,CAAsC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YAC3E,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAsB,CAAA;YACzG,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAChB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;YAC/B,mEAAmE;YACnE,oEAAoE;YACpE,MAAM,MAAM,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YACrE,MAAM,SAAS,GAAG,CAAC,MAAM,IAAI,MAAM,IAAI,KAAK,GAAG,CAAC,IAAI,eAAe,CAAA;YACnE,OAAO,CAAC;oBACN,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,EAAE,IAAI;oBACT,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;oBACjC,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;oBACvC,QAAQ,EAAE,MAAM,IAAI,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC;iBACzF,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC,CAAA;IACD,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC;QACxB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;KAC1C,CAAA;AACD,CAAC,CAAC,CAAA;AAEJ,iFAAiF;AACjF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,UAAkE,EAAE,EAAe,EAAE,CACtI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;IAC9B,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,GAAG;IAC3B,cAAc,EAAE,SAAS,CAAC,OAAO,CAAC;CACnC,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA"}

package/dist/internal/view/index.d.ts

@@ -0,0 +1,33 @@
+/**
+ * `@cavelang/cli/view` — the human read surface (spec §30, §31): `cave serve`
+ * puts one static, self-contained HTML page over a store, backed by
+ * read-only JSON endpoints — entity 360, topic browse, belief-history
+ * timelines, `BECAUSE`/`VIA` lineage trees and the §20 coverage/frontier
+ * dashboard, with full-text search over everything — and `cave report`
+ * renders templated markdown from CAVE-Q results, claim keys as
+ * citations (§31).
+ *
+ * ```ts
+ * import { serve, report } from '@cavelang/cli/view'
+ *
+ * const handle = await serve(store, { label: 'k.db' })
+ * // browse http://127.0.0.1:2283/ — every request reads the live store
+ * await handle.close()
+ *
+ * report(store, template).markdown // the cited deliverable
+ * ```
+ *
+ * Everything here is a read: no endpoint writes, non-GET methods are
+ * refused, and the page's CSP denies every non-self source (§30.3).
+ * The view models in `api.ts` and the report renderer are plain
+ * functions over a store, usable without the server.
+ */
+export { entity, history, lineage, overview, search, topic, topics } from './api.ts';
+export type { Capped, ClaimView, Entity, History, Lineage, LineageNode, Options, Overview, Topic, TopicPage } from './api.ts';
+export { report } from './report.ts';
+export type { Problem, Report, ReportOptions } from './report.ts';
+export { page } from './page.ts';
+export { defaultHost, defaultPort, serve } from './server.ts';
+export type { Handle, ServeOptions } from './server.ts';
+export { runServe } from './main.ts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EACL,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAC1D,MAAM,UAAU,CAAA;AACjB,YAAY,EACV,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAC9F,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AACjE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAC7D,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA"}

package/dist/internal/view/index.js

@@ -0,0 +1,30 @@
+/**
+ * `@cavelang/cli/view` — the human read surface (spec §30, §31): `cave serve`
+ * puts one static, self-contained HTML page over a store, backed by
+ * read-only JSON endpoints — entity 360, topic browse, belief-history
+ * timelines, `BECAUSE`/`VIA` lineage trees and the §20 coverage/frontier
+ * dashboard, with full-text search over everything — and `cave report`
+ * renders templated markdown from CAVE-Q results, claim keys as
+ * citations (§31).
+ *
+ * ```ts
+ * import { serve, report } from '@cavelang/cli/view'
+ *
+ * const handle = await serve(store, { label: 'k.db' })
+ * // browse http://127.0.0.1:2283/ — every request reads the live store
+ * await handle.close()
+ *
+ * report(store, template).markdown // the cited deliverable
+ * ```
+ *
+ * Everything here is a read: no endpoint writes, non-GET methods are
+ * refused, and the page's CSP denies every non-self source (§30.3).
+ * The view models in `api.ts` and the report renderer are plain
+ * functions over a store, usable without the server.
+ */
+export { entity, history, lineage, overview, search, topic, topics } from "./api.js";
+export { report } from "./report.js";
+export { page } from "./page.js";
+export { defaultHost, defaultPort, serve } from "./server.js";
+export { runServe } from "./main.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EACL,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAC1D,MAAM,UAAU,CAAA;AAIjB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAE7D,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA"}

package/dist/internal/view/main.d.ts

@@ -0,0 +1,11 @@
+/**
+ * `cave serve` entry (spec §30.3) — argument parsing, then the server
+ * until the shared CLI abort signal requests an awaited shutdown.
+ */
+export type RunContext = {
+    readonly stdout?: NodeJS.WritableStream;
+    readonly stderr?: NodeJS.WritableStream;
+    readonly signal?: AbortSignal;
+};
+export declare const runServe: (argv: readonly string[], context?: RunContext) => Promise<number>;
+//# sourceMappingURL=main.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"main.d.ts","sourceRoot":"","sources":["../../src/main.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwCH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,CAAA;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;CAC9B,CAAA;AAKD,eAAO,MAAM,QAAQ,GAAU,MAAM,SAAS,MAAM,EAAE,EAAE,UAAS,UAAe,KAAG,OAAO,CAAC,MAAM,CAsDhG,CAAA"}

package/dist/internal/view/main.js

@@ -0,0 +1,98 @@
+/**
+ * `cave serve` entry (spec §30.3) — argument parsing, then the server
+ * until the shared CLI abort signal requests an awaited shutdown.
+ */
+import { parseArgs } from 'node:util';
+import { Registry } from '@cavelang/canonical';
+import { Sensitivity, defaultDbPath, open } from '@cavelang/store';
+import { defaultHost, defaultPort, serve } from "./server.js";
+const usage = `cave serve — browse a CAVE store in the browser (spec §30)
+
+Usage:
+  cave serve [--db <path>] [--port <n>] [--host <address>]
+             [--max-sensitivity <level>]
+
+Options:
+  --db <path>    database file (default: $CAVE_DB, or cave.db)
+  --port <n>     port to bind (default ${defaultPort} — "cave" on a phone
+                 keypad; 0 picks a free port)
+  --host <a>     interface to bind (default ${defaultHost} — localhost
+                 only)
+  --max-sensitivity <level>
+                 public, internal, confidential, or restricted (default
+                 internal; malformed/unknown claim labels fail closed)
+  --no-prelude   open the store without the standard verb registry
+
+One static, self-contained page over the store — no build step, no
+external resources, works offline: entity 360 pages, topic browse, the
+belief-history timeline of any claim key, BECAUSE/VIA lineage trees,
+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
+endpoint writes — recording knowledge stays with cave add, the MCP
+tools and the kinetic layer (spec §24, §25, §29).
+
+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 }));
+export const runServe = async (argv, context = {}) => {
+    const stdout = context.stdout ?? process.stdout;
+    const stderr = context.stderr ?? process.stderr;
+    const { values, positionals } = parseArgs({
+        args: [...argv],
+        options: {
+            db: { type: 'string' },
+            port: { type: 'string' },
+            host: { type: 'string' },
+            'max-sensitivity': { type: 'string' },
+            'no-prelude': { type: 'boolean' },
+            help: { type: 'boolean', short: 'h' }
+        },
+        allowPositionals: true
+    });
+    if (values.help === true) {
+        stdout.write(`${usage}\n`);
+        return 0;
+    }
+    if (positionals.length > 0) {
+        stderr.write(`cave serve: unexpected argument ${JSON.stringify(positionals[0])}\n`);
+        return 1;
+    }
+    const port = values.port === undefined ? defaultPort : Number(values.port);
+    if (!Number.isInteger(port) || port < 0 || port > 65535) {
+        stderr.write(`cave serve: --port expects 0..65535, got '${values.port}'\n`);
+        return 1;
+    }
+    const maximum = Sensitivity.parse(values['max-sensitivity'] ?? Sensitivity.defaultMaximum);
+    if (maximum === undefined) {
+        stderr.write(`cave serve: --max-sensitivity expects ${Sensitivity.levels.join(', ')}, got ${JSON.stringify(values['max-sensitivity'])}\n`);
+        return 1;
+    }
+    const dbPath = values.db ?? defaultDbPath();
+    const store = open(dbPath, values['no-prelude'] === true ? { registry: Registry.empty } : {});
+    let handle;
+    try {
+        handle = await serve(store, {
+            port,
+            label: dbPath,
+            maxSensitivity: maximum,
+            ...values.host === undefined ? {} : { host: values.host }
+        });
+        stdout.write(`serving ${dbPath} at ${handle.url} (sensitivity <= ${maximum}, read-only, ctrl-c to stop)\n`);
+        await waitForAbort(context.signal);
+        return 0;
+    }
+    finally {
+        if (handle?.server.listening === true) {
+            const closing = handle.close();
+            handle.server.closeAllConnections();
+            await closing;
+        }
+        store.close();
+    }
+};
+//# sourceMappingURL=main.js.map

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

@@ -0,0 +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,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAClE,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,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC7F,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"}

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

@@ -0,0 +1,14 @@
+/**
+ * The page (spec §30.1) — one static, self-contained HTML document: no
+ * external scripts, styles, fonts or images, so it renders offline and
+ * the server's CSP can deny every non-self source. Views are hash
+ * routes over the read-only `/api/*` endpoints; claims render from
+ * *structured* row data (never by re-parsing text — no second grammar),
+ * and every entity name, claim key and row id links onward: entity 360,
+ * topic browse, belief-history timeline, lineage, search.
+ *
+ * `__CAVE_DB__`, `__CAVE_VERSION__`, and `__CAVE_SENSITIVITY__` are stamped by the server
+ * (HTML-escaped) when the page is requested.
+ */
+export declare const page: string;
+//# sourceMappingURL=page.d.ts.map

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

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