@cavelang/cli 0.27.14 → 0.29.1

package/dist/internal/sync/sync.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Store merge (spec §28).
+ *
+ * A row's UUIDv7 — one value serving as both `id` and `tx` — is its global
+ * identity (§28.1): merging copies rows absent by id verbatim (side tables
+ * included) and skips rows the target already has, which makes sync
+ * idempotent, transitive and bidirectional, and can never conflict —
+ * coexisting contradictions are legal data (§9.4), resolved at read time
+ * (§26). Merged transaction ids feed the generator's receive rule (§28.2),
+ * so everything appended after a merge sorts after everything merged,
+ * whatever the origin machine's clock read.
+ *
+ * Two source shapes, one semantic:
+ *
+ * - {@link syncDb} — another CAVE store file, merged through SQL (`ATTACH`);
+ * - {@link syncText} — §28.4 transaction-annotated canonical text
+ *   (`cave export --tx`), replayed through the ordinary canonicalization
+ *   pipeline under the recorded ids.
+ *
+ * An effective merge appends a §28.3 record claim in the target —
+ * `store/<from> SYNCED-INTO store/<into> @src:sync` — whose belief series
+ * is the sync log; a merge that changed nothing appends nothing.
+ */
+import { type Store } from '@cavelang/store';
+export type SyncOptions = {
+    /** Origin label of the §28.3 merge record (default `origin`; `syncFile` defaults to the source's basename stem). */
+    readonly from?: string;
+    /** Target label of the §28.3 merge record (default `local`). */
+    readonly into?: string;
+    /** Append the §28.3 merge record on effective merges (default `true`). */
+    readonly record?: boolean;
+    /** Compute the full report inside a rolled-back transaction (default `false`). */
+    readonly dryRun?: boolean;
+};
+export type SyncProblem = {
+    readonly line: number;
+    readonly message: string;
+};
+export type SyncReport = {
+    /** Claim rows merged (absent by id, now inserted). */
+    readonly merged: number;
+    /** Source claim rows skipped as already present. */
+    readonly skipped: number;
+    /** Edge rows inserted (edges already stored are skipped). */
+    readonly edges: number;
+    readonly dryRun: boolean;
+    /** The §28.3 merge record appended, when the merge was effective and records are on. */
+    readonly record?: string;
+    /** Text-source problems (spec §28.4 strictness); nothing merges when non-empty. */
+    readonly problems: readonly SyncProblem[];
+};
+/**
+ * @returns text usable as one entity token in a §28.3 record subject:
+ * whitespace and comment/metadata sigils normalized to `-`, never empty.
+ */
+export declare const sanitizeLabel: (text: string) => string;
+/**
+ * @returns merge-record label derived from a file path: basename with the
+ * extension dropped, sanitized to one entity token.
+ */
+export declare const labelOf: (path: string) => string;
+/** @returns `true` when the file starts with the SQLite header — a store file rather than canonical text. */
+export declare const isStoreFile: (path: string) => boolean;
+/**
+ * Merges another CAVE store file into `store` (spec §28.1): rows absent by
+ * id are copied verbatim — `id`, `tx`, `claim_key`, `raw_line`, contexts,
+ * tags, FTS — edges dedupe against stored edges, merged in-band
+ * declarations reload the registry, and the generator observes the merged
+ * transaction ids (§28.2). Idempotent: a re-run merges nothing and appends
+ * no record.
+ */
+export declare const syncDb: (store: Store, sourcePath: string, options?: SyncOptions) => SyncReport;
+/**
+ * Merges §28.4 transaction-annotated canonical text (`cave export --tx`)
+ * into `store`: each claim line replays under the id its `;@` annotation
+ * carries — present ids skip, absent ids insert — through the ordinary
+ * canonicalization pipeline, never stamped (§9.5 interchange replay).
+ *
+ * Strict by the spec: every claim line must carry a well-formed UUIDv7
+ * annotation, every annotation must precede a claim line, and no id may
+ * repeat with different content — otherwise the whole text is rejected
+ * with line-level problems and nothing merges (plain text belongs to
+ * `cave import`). An *identical* repeat is a re-statement — the §28.4
+ * rendering of a row cited by several parents — and unions back into one
+ * row, contributing its edge.
+ */
+export declare const syncText: (store: Store, text: string, options?: SyncOptions) => SyncReport;
+/**
+ * Merges a source file of either shape: a CAVE store (recognized by the
+ * SQLite header) through {@link syncDb}, anything else as §28.4 annotated
+ * text through {@link syncText}. The origin label defaults to the file's
+ * basename stem.
+ */
+export declare const syncFile: (store: Store, sourcePath: string, options?: SyncOptions) => SyncReport;
+//# sourceMappingURL=sync.d.ts.map

package/dist/internal/sync/sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAKH,OAAO,EAAsB,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEhE,MAAM,MAAM,WAAW,GAAG;IACxB,oHAAoH;IACpH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,kFAAkF;IAClF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,wFAAwF;IACxF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;CAC1C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,MAG5C,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,MAAM,MAAM,KAAG,MAGtC,CAAA;AAKD,6GAA6G;AAC7G,eAAO,MAAM,WAAW,GAAI,MAAM,MAAM,KAAG,OAQ1C,CAAA;AA4CD;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,YAAY,MAAM,EAAE,UAAS,WAAgB,KAAG,UAyIpF,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,EAAE,UAAS,WAAgB,KAAG,UAsEhF,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,YAAY,MAAM,EAAE,UAAS,WAAgB,KAAG,UAKtF,CAAA"}

package/dist/internal/sync/sync.js

@@ -0,0 +1,342 @@
+/**
+ * Store merge (spec §28).
+ *
+ * A row's UUIDv7 — one value serving as both `id` and `tx` — is its global
+ * identity (§28.1): merging copies rows absent by id verbatim (side tables
+ * included) and skips rows the target already has, which makes sync
+ * idempotent, transitive and bidirectional, and can never conflict —
+ * coexisting contradictions are legal data (§9.4), resolved at read time
+ * (§26). Merged transaction ids feed the generator's receive rule (§28.2),
+ * so everything appended after a merge sorts after everything merged,
+ * whatever the origin machine's clock read.
+ *
+ * Two source shapes, one semantic:
+ *
+ * - {@link syncDb} — another CAVE store file, merged through SQL (`ATTACH`);
+ * - {@link syncText} — §28.4 transaction-annotated canonical text
+ *   (`cave export --tx`), replayed through the ordinary canonicalization
+ *   pipeline under the recorded ids.
+ *
+ * An effective merge appends a §28.3 record claim in the target —
+ * `store/<from> SYNCED-INTO store/<into> @src:sync` — whose belief series
+ * is the sync log; a merge that changed nothing appends nothing.
+ */
+import { closeSync, existsSync, openSync, readFileSync, readSync, realpathSync } from 'node:fs';
+import { Uuidv7 } from '@cavelang/core';
+import * as Canonical from '@cavelang/canonical';
+import { Provenance, Schema } from '@cavelang/store';
+/**
+ * @returns text usable as one entity token in a §28.3 record subject:
+ * whitespace and comment/metadata sigils normalized to `-`, never empty.
+ */
+export const sanitizeLabel = (text) => {
+    const label = text.replaceAll(/[\s;@#]+/g, '-');
+    return label === '' ? 'store' : label;
+};
+/**
+ * @returns merge-record label derived from a file path: basename with the
+ * extension dropped, sanitized to one entity token.
+ */
+export const labelOf = (path) => {
+    const base = path.replaceAll('\\', '/').split('/').pop() ?? path;
+    return sanitizeLabel(base.replace(/\.[^.]+$/, ''));
+};
+/** SQLite database files begin with this NUL-terminated 16-byte header. */
+const sqliteHeader = 'SQLite format 3\u0000';
+/** @returns `true` when the file starts with the SQLite header — a store file rather than canonical text. */
+export const isStoreFile = (path) => {
+    const fd = openSync(path, 'r');
+    try {
+        const head = Buffer.alloc(16);
+        return readSync(fd, head, 0, 16, 0) === 16 && head.toString('latin1') === sqliteHeader;
+    }
+    finally {
+        closeSync(fd);
+    }
+};
+/** Runs `body` in a transaction that always rolls back — the dry-run mode. */
+const rolledBack = (store, body) => {
+    const sentinel = Symbol('cave sync dry run');
+    let result;
+    try {
+        store.transaction(() => {
+            result = { value: body() };
+            throw sentinel;
+        });
+    }
+    catch (error) {
+        if (error !== sentinel) {
+            throw error;
+        }
+    }
+    return result.value;
+};
+/**
+ * Appends the §28.3 merge record (declaring `SYNCED-INTO` in-band on first
+ * use) and returns the record line. Stamped `@src:sync` by the ordinary
+ * §9.5 path.
+ */
+const appendRecord = (store, from, into, merged, edges) => {
+    const declared = store.db.prepare("SELECT 1 FROM cave_claim WHERE subject = 'SYNCED-INTO' AND verb = 'IS' AND object = 'verb' AND negated = 0 LIMIT 1").get() !== undefined;
+    const line = `store/${sanitizeLabel(from)} SYNCED-INTO store/${sanitizeLabel(into)} ; +${merged} claim(s), +${edges} edge(s)`;
+    const text = declared ?
+        line :
+        `SYNCED-INTO IS verb ; an origin store's rows were merged into a target store\n${line}`;
+    store.ingest(text, { source: 'sync', strict: true });
+    return line;
+};
+/** Column list of `cave_claim`, for the verbatim §28.1 row copy. */
+const claimColumns = [
+    'id', 'tx', 'subject', 'verb', 'negated', 'object', 'attribute',
+    'value_text', 'value_num', 'value_unit', 'value_approx',
+    'delta_text', 'delta_num', 'delta_unit', 'sigma_level',
+    'conf', 'importance', 'comment', 'raw_line', 'claim_key'
+].join(', ');
+/**
+ * Merges another CAVE store file into `store` (spec §28.1): rows absent by
+ * id are copied verbatim — `id`, `tx`, `claim_key`, `raw_line`, contexts,
+ * tags, FTS — edges dedupe against stored edges, merged in-band
+ * declarations reload the registry, and the generator observes the merged
+ * transaction ids (§28.2). Idempotent: a re-run merges nothing and appends
+ * no record.
+ */
+export const syncDb = (store, sourcePath, options = {}) => {
+    if (!existsSync(sourcePath)) {
+        // ATTACH would create an empty database at the missing path.
+        throw new Error(`${sourcePath}: no such file`);
+    }
+    const db = store.db;
+    const dryRun = options.dryRun === true;
+    const mainFile = db.prepare("SELECT file FROM pragma_database_list WHERE name = 'main'").get().file;
+    if (mainFile !== '' && realpathSync(sourcePath) === realpathSync(mainFile)) {
+        // Attaching the store to itself would deadlock on its own lock; a
+        // store trivially holds every row it holds.
+        return { merged: 0, skipped: 0, edges: 0, dryRun, problems: [] };
+    }
+    try {
+        db.prepare('ATTACH DATABASE ? AS cave_sync_src').run(sourcePath);
+    }
+    catch {
+        throw new Error(`${sourcePath}: not a CAVE store (not a SQLite database)`);
+    }
+    try {
+        let isStore = false;
+        try {
+            isStore = db.prepare("SELECT 1 FROM cave_sync_src.sqlite_master WHERE type = 'table' AND name = 'cave_claim'").get() !== undefined;
+        }
+        catch {
+            isStore = false;
+        }
+        if (!isStore) {
+            throw new Error(`${sourcePath}: not a CAVE store (no cave_claim table)`);
+        }
+        const sourceVersion = db.prepare('PRAGMA cave_sync_src.user_version').get().user_version;
+        if (sourceVersion > Schema.currentVersion) {
+            throw new Error(`${sourcePath}: schema version ${sourceVersion} is newer than this runtime supports ` +
+                `(${Schema.currentVersion}); upgrade CAVE`);
+        }
+        if (sourceVersion === Schema.currentVersion) {
+            try {
+                Schema.validate(db, sourceVersion, 'cave_sync_src');
+            }
+            catch (error) {
+                throw new Error(`${sourcePath}: ${error instanceof Error ? error.message : String(error)}`);
+            }
+        }
+        const body = () => {
+            db.exec('DROP TABLE IF EXISTS temp.cave_sync_new');
+            db.exec(`CREATE TEMP TABLE cave_sync_new AS
+        SELECT id FROM cave_sync_src.cave_claim
+        WHERE id NOT IN (SELECT id FROM main.cave_claim)`);
+            try {
+                const count = (sql) => db.prepare(sql).get().n;
+                const total = count('SELECT COUNT(*) AS n FROM cave_sync_src.cave_claim');
+                const merged = count('SELECT COUNT(*) AS n FROM temp.cave_sync_new');
+                db.exec(`INSERT INTO main.cave_claim (${claimColumns})
+          SELECT ${claimColumns} FROM cave_sync_src.cave_claim
+          WHERE id IN (SELECT id FROM temp.cave_sync_new)`);
+                db.exec(`INSERT INTO main.cave_context (claim_id, context)
+          SELECT claim_id, context FROM cave_sync_src.cave_context
+          WHERE claim_id IN (SELECT id FROM temp.cave_sync_new)`);
+                const hasProvenance = db.prepare(`
+          SELECT 1 FROM cave_sync_src.sqlite_master
+          WHERE type = 'table' AND name = 'cave_provenance'
+        `).get() !== undefined;
+                if (hasProvenance) {
+                    db.exec(`INSERT OR IGNORE INTO main.cave_provenance (claim_id, dimension, value)
+            SELECT claim_id, dimension, value FROM cave_sync_src.cave_provenance
+            WHERE claim_id IN (SELECT id FROM temp.cave_sync_new)`);
+                }
+                // Older stores have no dimension table. Derive every safely
+                // inferable dimension from their compact contexts after copying;
+                // INSERT OR IGNORE also fills gaps in partially upgraded stores.
+                const contextRows = db.prepare(`
+          SELECT n.id, ctx.context FROM temp.cave_sync_new n
+          LEFT JOIN main.cave_context ctx ON ctx.claim_id = n.id
+          ORDER BY n.id, ctx.rowid
+        `).all();
+                const contexts = new Map();
+                for (const row of contextRows) {
+                    contexts.set(row.id, [...contexts.get(row.id) ?? [], ...row.context === null ? [] : [row.context]]);
+                }
+                const insertProvenance = db.prepare(`
+          INSERT OR IGNORE INTO main.cave_provenance (claim_id, dimension, value) VALUES (?, ?, ?)
+        `);
+                for (const [id, values] of contexts) {
+                    for (const entry of Provenance.entries(values)) {
+                        insertProvenance.run(id, entry.dimension, entry.value);
+                    }
+                }
+                db.exec(`INSERT INTO main.cave_tag (claim_id, key, value)
+          SELECT claim_id, key, value FROM cave_sync_src.cave_tag
+          WHERE claim_id IN (SELECT id FROM temp.cave_sync_new)`);
+                db.exec(`INSERT INTO main.cave_fts (claim_id, subject, verb, object, attribute, value_text, comment, raw_line)
+          SELECT id, subject, verb, object, attribute, value_text, comment, raw_line
+          FROM cave_sync_src.cave_claim
+          WHERE id IN (SELECT id FROM temp.cave_sync_new)`);
+                // Edges whose endpoints both exist after the row copy and that are
+                // not already stored — a re-sync adds none; an incremental sync may
+                // add edges into rows merged earlier.
+                const edges = Number(db.prepare(`INSERT INTO main.cave_edge (parent_id, role, child_id)
+          SELECT e.parent_id, e.role, e.child_id FROM cave_sync_src.cave_edge e
+          WHERE EXISTS (SELECT 1 FROM main.cave_claim p WHERE p.id = e.parent_id)
+            AND EXISTS (SELECT 1 FROM main.cave_claim c WHERE c.id = e.child_id)
+            AND NOT EXISTS (SELECT 1 FROM main.cave_edge m
+              WHERE m.parent_id = e.parent_id AND m.role = e.role AND m.child_id = e.child_id)`).run().changes);
+                if (!dryRun) {
+                    // The receive rule (spec §28.2): later local appends outsort
+                    // everything merged. Dry runs leave the generator untouched.
+                    const maxTx = db.prepare('SELECT MAX(tx) AS tx FROM cave_sync_src.cave_claim').get();
+                    if (maxTx.tx !== null) {
+                        Uuidv7.observe(maxTx.tx);
+                    }
+                }
+                // Merged in-band declarations (REVERSE, extension verbs) take
+                // effect without reopening; rolled back with the transaction on
+                // dry runs and failures.
+                store.reloadRegistry();
+                const effective = merged + edges > 0;
+                const record = effective && options.record !== false ?
+                    appendRecord(store, options.from ?? 'origin', options.into ?? 'local', merged, edges) :
+                    undefined;
+                return {
+                    merged,
+                    skipped: total - merged,
+                    edges,
+                    dryRun,
+                    ...record === undefined ? {} : { record },
+                    problems: []
+                };
+            }
+            finally {
+                db.exec('DROP TABLE IF EXISTS temp.cave_sync_new');
+            }
+        };
+        return dryRun ?
+            Uuidv7.withStatePreserved(() => rolledBack(store, body)) :
+            store.transaction(body);
+    }
+    finally {
+        db.exec('DETACH DATABASE cave_sync_src');
+    }
+};
+/**
+ * Merges §28.4 transaction-annotated canonical text (`cave export --tx`)
+ * into `store`: each claim line replays under the id its `;@` annotation
+ * carries — present ids skip, absent ids insert — through the ordinary
+ * canonicalization pipeline, never stamped (§9.5 interchange replay).
+ *
+ * Strict by the spec: every claim line must carry a well-formed UUIDv7
+ * annotation, every annotation must precede a claim line, and no id may
+ * repeat with different content — otherwise the whole text is rejected
+ * with line-level problems and nothing merges (plain text belongs to
+ * `cave import`). An *identical* repeat is a re-statement — the §28.4
+ * rendering of a row cited by several parents — and unions back into one
+ * row, contributing its edge.
+ */
+export const syncText = (store, text, options = {}) => {
+    const dryRun = options.dryRun === true;
+    const problems = [];
+    const txByLine = new Map();
+    text.split(/\r?\n/).forEach((raw, at) => {
+        const tx = Canonical.txOfLine(raw);
+        if (tx === undefined) {
+            return;
+        }
+        if (Uuidv7.is(tx)) {
+            txByLine.set(at + 1, tx);
+        }
+        else {
+            problems.push({ line: at + 1, message: `malformed transaction annotation — expected \`;@ <uuidv7>\` (spec §28.4)` });
+        }
+    });
+    const result = Canonical.canonicalizeText(text, store.registry());
+    problems.push(...result.problems);
+    const consumed = new Set();
+    const seen = new Map();
+    const ids = result.claims.map(entry => {
+        const line = entry.line - 1;
+        const tx = txByLine.get(line);
+        if (tx === undefined) {
+            problems.push({
+                line: entry.line,
+                message: 'claim line without a transaction annotation — sync replays identity; use cave import for plain text (spec §28.4)'
+            });
+            return undefined;
+        }
+        consumed.add(line);
+        // A repeated id is a *re-statement* — how annotated text carries a row
+        // cited by several parents (§28.4) — and unions back into one row, the
+        // same §28.1 rule that makes re-syncs idempotent. Only a repeat that
+        // disagrees on content forks identity, and rejects.
+        const rendered = Canonical.emitClaim(entry.claim);
+        const first = seen.get(tx);
+        if (first !== undefined && first.rendered !== rendered) {
+            problems.push({ line: entry.line, message: `transaction annotation repeats line ${first.line}'s id with different content — a row has one identity (spec §28.1)` });
+        }
+        else if (first === undefined) {
+            seen.set(tx, { line: entry.line, rendered });
+        }
+        return tx;
+    });
+    for (const [line] of txByLine) {
+        if (!consumed.has(line)) {
+            problems.push({ line, message: 'transaction annotation does not precede a claim line (spec §28.4)' });
+        }
+    }
+    if (problems.length > 0) {
+        return { merged: 0, skipped: 0, edges: 0, dryRun, problems: problems.sort((a, b) => a.line - b.line) };
+    }
+    const body = () => {
+        const outcome = store.insertResult(result, { ids });
+        const merged = result.claims.length - outcome.skipped;
+        const effective = merged + outcome.edges > 0;
+        const record = effective && options.record !== false ?
+            appendRecord(store, options.from ?? 'origin', options.into ?? 'local', merged, outcome.edges) :
+            undefined;
+        return {
+            merged,
+            skipped: outcome.skipped,
+            edges: outcome.edges,
+            dryRun,
+            ...record === undefined ? {} : { record },
+            problems: []
+        };
+    };
+    return dryRun ?
+        Uuidv7.withStatePreserved(() => rolledBack(store, body)) :
+        store.transaction(body);
+};
+/**
+ * Merges a source file of either shape: a CAVE store (recognized by the
+ * SQLite header) through {@link syncDb}, anything else as §28.4 annotated
+ * text through {@link syncText}. The origin label defaults to the file's
+ * basename stem.
+ */
+export const syncFile = (store, sourcePath, options = {}) => {
+    const withLabel = { from: labelOf(sourcePath), ...options };
+    return isStoreFile(sourcePath) ?
+        syncDb(store, sourcePath, withLabel) :
+        syncText(store, readFileSync(sourcePath, 'utf8'), withLabel);
+};
+//# sourceMappingURL=sync.js.map

package/dist/internal/sync/sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.js","sourceRoot":"","sources":["../../src/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAC/F,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAc,MAAM,iBAAiB,CAAA;AAgChE;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAAA;IAC/C,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACvC,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAA;IAChE,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAA;AACpD,CAAC,CAAA;AAED,2EAA2E;AAC3E,MAAM,YAAY,GAAG,uBAAuB,CAAA;AAE5C,6GAA6G;AAC7G,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE;IACnD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC9B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC7B,OAAO,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAA;IACxF,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,EAAE,CAAC,CAAA;IACf,CAAC;AACH,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,UAAU,GAAG,CAAI,KAAY,EAAE,IAAa,EAAK,EAAE;IACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAA;IAC5C,IAAI,MAAgC,CAAA;IACpC,IAAI,CAAC;QACH,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACrB,MAAM,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAA;YAC1B,MAAM,QAAQ,CAAA;QAChB,CAAC,CAAC,CAAA;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;YACvB,MAAM,KAAK,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,MAAO,CAAC,KAAK,CAAA;AACtB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,IAAY,EAAE,MAAc,EAAE,KAAa,EAAU,EAAE;IACvG,MAAM,QAAQ,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAC/B,oHAAoH,CACrH,CAAC,GAAG,EAAE,KAAK,SAAS,CAAA;IACrB,MAAM,IAAI,GAAG,SAAS,aAAa,CAAC,IAAI,CAAC,sBAAsB,aAAa,CAAC,IAAI,CAAC,OAAO,MAAM,eAAe,KAAK,UAAU,CAAA;IAC7H,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC;QACN,iFAAiF,IAAI,EAAE,CAAA;IACzF,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;IACpD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,oEAAoE;AACpE,MAAM,YAAY,GAAG;IACnB,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW;IAC/D,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc;IACvD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa;IACtD,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW;CACzD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAEZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,UAAkB,EAAE,UAAuB,EAAE,EAAc,EAAE;IAChG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,6DAA6D;QAC7D,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,gBAAgB,CAAC,CAAA;IAChD,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAA;IACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,CAAA;IACtC,MAAM,QAAQ,GAAI,EAAE,CAAC,OAAO,CAAC,2DAA2D,CAAC,CAAC,GAAG,EAAuB,CAAC,IAAI,CAAA;IACzH,IAAI,QAAQ,KAAK,EAAE,IAAI,YAAY,CAAC,UAAU,CAAC,KAAK,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,kEAAkE;QAClE,4CAA4C;QAC5C,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAClE,CAAC;IACD,IAAI,CAAC;QACH,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,4CAA4C,CAAC,CAAA;IAC5E,CAAC;IACD,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,IAAI,CAAC;YACH,OAAO,GAAG,EAAE,CAAC,OAAO,CAClB,wFAAwF,CACzF,CAAC,GAAG,EAAE,KAAK,SAAS,CAAA;QACvB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,KAAK,CAAA;QACjB,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,0CAA0C,CAAC,CAAA;QAC1E,CAAC;QACD,MAAM,aAAa,GAAI,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,CAAA;QACtH,IAAI,aAAa,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,oBAAoB,aAAa,uCAAuC;gBACnG,IAAI,MAAM,CAAC,cAAc,iBAAiB,CAAC,CAAA;QAC/C,CAAC;QACD,IAAI,aAAa,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;YAC5C,IAAI,CAAC;gBACH,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,EAAE,eAAe,CAAC,CAAA;YACrD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC7F,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,GAAe,EAAE;YAC5B,EAAE,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAA;YAClD,EAAE,CAAC,IAAI,CAAC;;yDAE2C,CAAC,CAAA;YACpD,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE,CACnC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAoB,CAAC,CAAC,CAAA;gBAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,oDAAoD,CAAC,CAAA;gBACzE,MAAM,MAAM,GAAG,KAAK,CAAC,8CAA8C,CAAC,CAAA;gBACpE,EAAE,CAAC,IAAI,CAAC,gCAAgC,YAAY;mBACzC,YAAY;0DAC2B,CAAC,CAAA;gBACnD,EAAE,CAAC,IAAI,CAAC;;gEAEgD,CAAC,CAAA;gBACzD,MAAM,aAAa,GAAG,EAAE,CAAC,OAAO,CAAC;;;SAGhC,CAAC,CAAC,GAAG,EAAE,KAAK,SAAS,CAAA;gBACtB,IAAI,aAAa,EAAE,CAAC;oBAClB,EAAE,CAAC,IAAI,CAAC;;kEAEgD,CAAC,CAAA;gBAC3D,CAAC;gBACD,4DAA4D;gBAC5D,iEAAiE;gBACjE,iEAAiE;gBACjE,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC;;;;SAI9B,CAAC,CAAC,GAAG,EAA8C,CAAA;gBACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;gBAC5C,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;oBAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;gBACrG,CAAC;gBACD,MAAM,gBAAgB,GAAG,EAAE,CAAC,OAAO,CAAC;;SAEnC,CAAC,CAAA;gBACF,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACpC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC/C,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;oBACxD,CAAC;gBACH,CAAC;gBACD,EAAE,CAAC,IAAI,CAAC;;gEAEgD,CAAC,CAAA;gBACzD,EAAE,CAAC,IAAI,CAAC;;;0DAG0C,CAAC,CAAA;gBACnD,mEAAmE;gBACnE,oEAAoE;gBACpE,sCAAsC;gBACtC,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;+FAKuD,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA;gBACvG,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,6DAA6D;oBAC7D,6DAA6D;oBAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,EAA2B,CAAA;oBAC7G,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;wBACtB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;oBAC1B,CAAC;gBACH,CAAC;gBACD,8DAA8D;gBAC9D,gEAAgE;gBAChE,yBAAyB;gBACzB,KAAK,CAAC,cAAc,EAAE,CAAA;gBACtB,MAAM,SAAS,GAAG,MAAM,GAAG,KAAK,GAAG,CAAC,CAAA;gBACpC,MAAM,MAAM,GAAG,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;oBACpD,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,IAAI,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;oBACvF,SAAS,CAAA;gBACX,OAAO;oBACL,MAAM;oBACN,OAAO,EAAE,KAAK,GAAG,MAAM;oBACvB,KAAK;oBACL,MAAM;oBACN,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE;oBACzC,QAAQ,EAAE,EAAE;iBACb,CAAA;YACH,CAAC;oBAAS,CAAC;gBACT,EAAE,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAA;YACpD,CAAC;QACH,CAAC,CAAA;QACD,OAAO,MAAM,CAAC,CAAC;YACb,MAAM,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1D,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IAC3B,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAA;IAC1C,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,UAAuB,EAAE,EAAc,EAAE;IAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,CAAA;IACtC,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,OAAM;QACR,CAAC;QACD,IAAI,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;QAC1B,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,0EAA0E,EAAE,CAAC,CAAA;QACtH,CAAC;IACH,CAAC,CAAC,CAAA;IACF,MAAM,MAAM,GAAG,SAAS,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;IACjE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8C,CAAA;IAClE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAA;QAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,kHAAkH;aAC5H,CAAC,CAAA;YACF,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClB,uEAAuE;QACvE,uEAAuE;QACvE,qEAAqE;QACrE,oDAAoD;QACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,uCAAuC,KAAK,CAAC,IAAI,oEAAoE,EAAE,CAAC,CAAA;QACrK,CAAC;aAAM,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,EAAE,CAAA;IACX,CAAC,CAAC,CAAA;IACF,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,mEAAmE,EAAE,CAAC,CAAA;QACvG,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAA;IACxG,CAAC;IACD,MAAM,IAAI,GAAG,GAAe,EAAE;QAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC,OAAO,CAAA;QACrD,MAAM,SAAS,GAAG,MAAM,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAA;QAC5C,MAAM,MAAM,GAAG,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;YACpD,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,IAAI,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/F,SAAS,CAAA;QACX,OAAO;YACL,MAAM;YACN,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM;YACN,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE;YACzC,QAAQ,EAAE,EAAE;SACb,CAAA;IACH,CAAC,CAAA;IACD,OAAO,MAAM,CAAC,CAAC;QACb,MAAM,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,UAAkB,EAAE,UAAuB,EAAE,EAAc,EAAE;IAClG,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,GAAG,OAAO,EAAE,CAAA;IAC3D,OAAO,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;QACtC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;AAChE,CAAC,CAAA"}

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

@@ -0,0 +1,196 @@
+/**
+ * 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 type { SourceReference } from '@cavelang/core';
+import { check } from '@cavelang/cli/shape';
+import { Sensitivity } from '@cavelang/store';
+import type { Store } from '@cavelang/store';
+/** One claim row, shaped for rendering (spec §30.2). */
+export type ClaimView = {
+    readonly id: string;
+    readonly tx: string;
+    /** ISO-8601 timestamp decoded from the tx UUIDv7. */
+    readonly at: string;
+    readonly subject: string;
+    readonly verb: string;
+    readonly negated: boolean;
+    readonly object?: string;
+    readonly attribute?: string;
+    /** Value as written (`~20B USD/yr`), attribute and metric payloads. */
+    readonly value?: string;
+    readonly delta?: string;
+    readonly conf: number;
+    readonly importance: boolean;
+    readonly comment?: string;
+    /** Context strings as stored (`src:cli`, `production`) — no `@` prefix. */
+    readonly contexts: readonly string[];
+    /** Parsed source identities and line links (spec §9.8). */
+    readonly sources: readonly SourceReference[];
+    readonly tags: readonly {
+        readonly key: string;
+        readonly value?: string;
+    }[];
+    /** The claim key — the fact whose belief series this row belongs to (§9.2). */
+    readonly key: string;
+    /** The line as authored. */
+    readonly line: string;
+    /** Rows this row cites (outgoing BECAUSE/VIA/WHEN… edges, §13.2). */
+    readonly cites: number;
+    /** Rows citing this row (incoming edges) — its dependents. */
+    readonly citedBy: number;
+};
+export type Options = {
+    /** Match entities through the §13.6 alias closure (default `false`). */
+    readonly aliases?: boolean;
+    /** Highest sensitivity level allowed to leave the store (default `internal`, spec §9.7). */
+    readonly maxSensitivity?: Sensitivity.Level;
+};
+export type Topic = {
+    readonly name: string;
+    /** Current positive `CONTAINS` members (spec §11.2). */
+    readonly members: number;
+};
+export declare const topics: (store: Store, options?: Pick<Options, "maxSensitivity">) => Topic[];
+/** A §20.2 section capped for the page, with the uncapped count. */
+export type Capped<T> = {
+    readonly total: number;
+    readonly items: readonly T[];
+};
+export type Overview = {
+    readonly version: string;
+    /** The §20.2 coverage stats verbatim. */
+    readonly coverage: ReturnType<typeof check>['coverage'];
+    readonly violations: Capped<{
+        readonly entity: string;
+        readonly via: string;
+        readonly kind: string;
+        readonly name: string;
+        readonly type: string;
+        readonly cardinality: 'some' | 'one';
+        readonly unit?: string;
+        readonly actualCount: number;
+        readonly actualUnits: readonly (string | null)[];
+    }>;
+    readonly stale: Capped<{
+        readonly ageDays: number;
+        readonly row: ClaimView;
+    }>;
+    readonly review: Capped<ClaimView>;
+    readonly disagreements: Capped<{
+        readonly kind: string;
+        readonly about: string;
+        readonly entities: readonly string[];
+        readonly rows: readonly ClaimView[];
+    }>;
+    readonly topics: readonly Topic[];
+    readonly recent: readonly ClaimView[];
+};
+/**
+ * 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 declare const overview: (store: Store, options?: {
+    staleDays?: number;
+    recent?: number;
+    limit?: number;
+    maxSensitivity?: Sensitivity.Level;
+}) => Overview;
+export type Entity = {
+    readonly name: string;
+    /** The §13.6 closure — the name itself first; length 1 means no aliases. */
+    readonly aliases: readonly string[];
+    /** Objects of current positive `IS` claims — what the entity is typed as (§20.1's binding surface). */
+    readonly types: readonly string[];
+    /** Current attribute / metric / existence claims (object-less payloads). */
+    readonly facts: readonly ClaimView[];
+    /** Current relations with the entity as subject, negated included. */
+    readonly out: readonly ClaimView[];
+    /** Current relations with the entity as object — each with the declared inverse name when one exists (§13.3). */
+    readonly in: readonly (ClaimView & {
+        readonly rel?: string;
+    })[];
+    /** Topics containing the entity (spec §11.2). */
+    readonly topics: readonly string[];
+    /** All rows about the entity, ever. */
+    readonly total: number;
+    /** The newest rows about it — superseded and retracted included. */
+    readonly activity: readonly ClaimView[];
+};
+/**
+ * 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 declare const entity: (store: Store, name: string, options?: Options & {
+    activity?: number;
+}) => Entity;
+export type TopicPage = {
+    readonly name: string;
+    readonly members: readonly string[];
+};
+/** One topic's members — the forward `CONTAINS` read (spec §11.2). */
+export declare const topic: (store: Store, name: string, options?: Options) => TopicPage;
+export type History = {
+    readonly key: string;
+    /** The belief series, oldest first (spec §9.1) — the last row is current. */
+    readonly rows: readonly ClaimView[];
+};
+/** The belief-history timeline of one claim key (spec §30.2). */
+export declare const history: (store: Store, key: string, options?: Pick<Options, "maxSensitivity">) => History;
+/** One node of a lineage tree (spec §30.2). */
+export type LineageNode = {
+    /** Edge role that reached this row (§13.2) — absent on the root. */
+    readonly role?: string;
+    readonly row: ClaimView;
+    /**
+     * The row already appeared elsewhere in this tree (shared premises,
+     * §24.5 support cycles) — re-stated here, children rendered once,
+     * the §28.4 convention.
+     */
+    readonly repeat?: boolean;
+    /**
+     * The row cites (or is cited by) further rows the walk's depth cap
+     * cut off — the explanation continues below this node but is not
+     * shown; follow the row's own lineage to keep walking. Never set
+     * on a genuine leaf.
+     */
+    readonly truncated?: boolean;
+    readonly children: readonly LineageNode[];
+};
+export type Lineage = {
+    readonly row: ClaimView;
+    /** What this row cites, transitively — its BECAUSE/VIA/WHEN sources (§24.3). */
+    readonly cites: readonly LineageNode[];
+    /** What cites this row, transitively — its dependents. */
+    readonly citedBy: readonly LineageNode[];
+};
+/**
+ * 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 declare const lineage: (store: Store, id: string, options?: Pick<Options, "maxSensitivity">) => undefined | Lineage;
+/** Full-text search (§13.5's FTS surface), newest first, capped in the query. */
+export declare const search: (store: Store, text: string, options?: {
+    limit?: number;
+    maxSensitivity?: Sensitivity.Level;
+}) => ClaimView[];
+//# sourceMappingURL=api.d.ts.map