@cavelang/cli 0.27.14 → 0.29.0

package/dist/internal/shape/check.js

@@ -0,0 +1,331 @@
+/**
+ * Knowledge health checks (spec §20).
+ *
+ * Everything here is a *read* over a store: expectations come from current
+ * positive `EXPECTS` claims (§20.1), targets bind through the `EXTENDS`
+ * taxonomy, and the report (§20.2) lists shape violations, stale beliefs,
+ * review candidates, alias disagreements and coverage stats. Nothing is
+ * written — enforcement is the opt-in gate in `gate.ts` (§20.3).
+ */
+import { Uuidv7, Verb } from '@cavelang/core';
+import { Registry } from '@cavelang/canonical';
+const currentSql = `
+SELECT c.* FROM cave_claim c
+JOIN (
+  SELECT claim_key, MAX(tx) AS max_tx
+  FROM cave_claim GROUP BY claim_key
+) latest ON c.claim_key = latest.claim_key AND c.tx = latest.max_tx
+`;
+export const defaultStaleDays = 90;
+/** Entity test for coverage/targets: not a verb token, not a stored literal. */
+const isEntityName = (name) => !Verb.isVerbToken(name) && !name.startsWith('"') && !name.startsWith('`');
+const all = (store, sql, ...params) => store.db.prepare(sql).all(...params);
+/**
+ * One evaluation snapshot. Query count is constant: current beliefs, tags,
+ * and declaration-excluding qualifier edges, independent of shape size.
+ */
+const shapeState = (store) => {
+    const rows = all(store, `SELECT c.* FROM (${currentSql}) c ORDER BY c.tx`);
+    const currentIds = new Set(rows.map(row => row.id));
+    const tags = new Map();
+    const tagRows = store.db.prepare("SELECT claim_id, key, value FROM cave_tag WHERE key IN ('unit', 'cardinality') ORDER BY rowid").all();
+    for (const tag of tagRows) {
+        if (!currentIds.has(tag.claim_id))
+            continue;
+        const byKey = tags.get(tag.claim_id) ?? new Map();
+        if (!byKey.has(tag.key))
+            byKey.set(tag.key, tag.value);
+        tags.set(tag.claim_id, byKey);
+    }
+    const excludedDeclarations = new Set(store.db.prepare(`
+    SELECT DISTINCT child_id FROM cave_edge WHERE role IN ('WHEN', 'VIA', 'BECAUSE')
+  `).all().map(row => row.child_id));
+    return { rows, tags, excludedDeclarations };
+};
+const tagValue = (state, row, key) => state.tags.get(row.id)?.get(key) ?? undefined;
+const expectationOf = (state, row) => {
+    if (!isEntityName(row.subject) || row.object === null || row.object.startsWith('"') || row.object.startsWith('`')) {
+        return undefined;
+    }
+    const kind = Verb.isVerbToken(row.object) ? 'relation' : 'attribute';
+    const unit = kind === 'attribute' ? tagValue(state, row, 'unit') : undefined;
+    return {
+        type: row.subject,
+        kind,
+        name: row.object,
+        cardinality: tagValue(state, row, 'cardinality') === 'one' ? 'one' : 'some',
+        ...unit === undefined ? {} : { unit },
+        row
+    };
+};
+const expectationsOf = (state) => state.rows.flatMap(row => {
+    if (row.verb !== 'EXPECTS' || row.negated !== 0 || row.conf <= 0 || row.object === null ||
+        state.excludedDeclarations.has(row.id))
+        return [];
+    const expectation = expectationOf(state, row);
+    return expectation === undefined ? [] : [expectation];
+});
+/**
+ * Current positive `EXPECTS` declarations (spec §20.1), oldest first.
+ * Qualifier condition rows never declare, mirroring the registry's
+ * treatment of in-band declarations; verb-token and literal subjects are
+ * not types.
+ */
+export const expectations = (store) => expectationsOf(shapeState(store));
+const targetIndexes = (state) => {
+    const children = new Map();
+    const typings = [];
+    for (const row of state.rows) {
+        if (row.negated !== 0 || row.conf <= 0 || row.object === null)
+            continue;
+        if (row.verb === 'EXTENDS') {
+            children.set(row.object, [...children.get(row.object) ?? [], row.subject]);
+        }
+        else if (row.verb === 'IS' && isEntityName(row.subject)) {
+            typings.push({ entity: row.subject, via: row.object });
+        }
+    }
+    return { children, typings };
+};
+const instancesOf = (targets, type) => {
+    const types = new Set([type]);
+    let frontier = [type];
+    for (let depth = 0; depth < 32 && frontier.length > 0; depth += 1) {
+        const next = [];
+        for (const parent of frontier) {
+            for (const child of targets.children.get(parent) ?? []) {
+                if (types.has(child))
+                    continue;
+                types.add(child);
+                next.push(child);
+            }
+        }
+        frontier = next;
+    }
+    const instances = new Map();
+    for (const { entity, via } of targets.typings) {
+        if (types.has(via) && !instances.has(entity)) {
+            instances.set(entity, via);
+        }
+    }
+    return instances;
+};
+const addObserved = (index, slot, entity, unit) => {
+    const byEntity = index.get(slot) ?? new Map();
+    const actual = byEntity.get(entity) ?? { count: 0, units: new Set() };
+    actual.count += 1;
+    if (unit !== undefined)
+        actual.units.add(unit);
+    byEntity.set(entity, actual);
+    index.set(slot, byEntity);
+};
+const observedIndexes = (state) => {
+    const attributes = new Map();
+    const forward = new Map();
+    const reverse = new Map();
+    for (const row of state.rows) {
+        if (row.negated !== 0 || row.conf <= 0)
+            continue;
+        if (row.verb === 'HAS' && row.attribute !== null) {
+            addObserved(attributes, row.attribute, row.subject, row.value_unit);
+        }
+        if (row.object !== null) {
+            addObserved(forward, row.verb, row.subject);
+            addObserved(reverse, row.verb, row.object);
+        }
+    }
+    return { attributes, forward, reverse };
+};
+const observed = (store, indexes, entity, expectation) => {
+    let actual;
+    if (expectation.kind === 'attribute') {
+        actual = indexes.attributes.get(expectation.name)?.get(entity);
+    }
+    else {
+        // An inverse expectation reads the object side of its stored primary.
+        const { primary, isInverse } = Registry.primaryOf(store.registry(), expectation.name);
+        actual = (isInverse ? indexes.reverse : indexes.forward).get(primary)?.get(entity);
+    }
+    if (actual === undefined)
+        return { count: 0, units: [] };
+    return {
+        count: actual.count,
+        units: [...actual.units].sort((a, b) => (a ?? '').localeCompare(b ?? ''))
+    };
+};
+const satisfies = (expectation, actual) => actual.count > 0 &&
+    (expectation.cardinality === 'some' || actual.count === 1) &&
+    (expectation.unit === undefined || actual.units.every(unit => unit === expectation.unit));
+/** Evaluates every declared expectation against its instances (spec §20.2). */
+export const evaluate = (store) => {
+    const state = shapeState(store);
+    const declared = expectationsOf(state);
+    const indexes = observedIndexes(state);
+    const targets = targetIndexes(state);
+    const byType = new Map();
+    for (const expectation of declared) {
+        byType.set(expectation.type, [...byType.get(expectation.type) ?? [], expectation]);
+    }
+    const violations = [];
+    const targeted = new Set();
+    let checks = 0;
+    for (const [type, typeExpectations] of byType) {
+        for (const [entity, via] of instancesOf(targets, type)) {
+            targeted.add(entity);
+            for (const expectation of typeExpectations) {
+                checks += 1;
+                const actual = observed(store, indexes, entity, expectation);
+                if (!satisfies(expectation, actual)) {
+                    violations.push({
+                        entity,
+                        via,
+                        expectation,
+                        actualCount: actual.count,
+                        actualUnits: actual.units
+                    });
+                }
+            }
+        }
+    }
+    return { expectations: declared, violations, instances: targeted.size, checks };
+};
+/** Current believed rows older than the horizon (spec §20.2), oldest first. */
+const staleRows = (store, staleDays, nowMs) => {
+    const cutoff = nowMs - staleDays * 86_400_000;
+    return all(store, `SELECT c.* FROM (${currentSql}) c WHERE c.conf > 0 ORDER BY c.tx`)
+        .filter(row => Uuidv7.msOf(row.tx) < cutoff)
+        .map(row => ({ row, ageDays: Math.floor((nowMs - Uuidv7.msOf(row.tx)) / 86_400_000) }));
+};
+/** Alias closure groups of size ≥ 2 — union-find over current positive `ALIAS` links (spec §13.6). */
+const aliasGroups = (store) => {
+    const edges = store.db.prepare(`
+    SELECT c.subject AS a, c.object AS b FROM (${currentSql}) c
+    WHERE c.verb = 'ALIAS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+  `).all();
+    const parent = new Map();
+    const find = (name) => {
+        const up = parent.get(name);
+        if (up === undefined || up === name) {
+            return name;
+        }
+        const root = find(up);
+        parent.set(name, root);
+        return root;
+    };
+    for (const { a, b } of edges) {
+        parent.set(find(a), find(b));
+    }
+    const groups = new Map();
+    for (const name of new Set(edges.flatMap(({ a, b }) => [a, b]))) {
+        const root = find(name);
+        groups.set(root, [...groups.get(root) ?? [], name]);
+    }
+    return [...groups.values()].filter(group => group.length >= 2).map(group => group.sort());
+};
+/**
+ * Scope signature of a row: its non-`src:` contexts, sorted. Series scoped
+ * to different contexts (`@prod` vs `@staging`) describe different facts
+ * and never disagree; actor provenance stamps (spec §9.5) are provenance,
+ * not scope, so they don't separate.
+ */
+const scopeOf = (store, row) => store.db.prepare('SELECT context FROM cave_context WHERE claim_id = ?').all(row.id)
+    .map(({ context }) => context)
+    .filter(context => !context.startsWith('src:'))
+    .sort()
+    .join('');
+/** Whether two rows from different alias names actually conflict. */
+const hasCrossNamePair = (rows, differs) => rows.some((left, at) => rows.slice(at + 1).some(right => left.subject !== right.subject && differs(left, right)));
+/**
+ * Cross-series conflicts inside alias groups (spec §20.2) — the checking
+ * half open decision 2 deferred: union-of-rows keeps disagreeing series
+ * side by side; this is what looks at them.
+ */
+const findDisagreements = (store) => {
+    const disagreements = [];
+    for (const group of aliasGroups(store)) {
+        const rows = all(store, `
+      SELECT c.* FROM (${currentSql}) c
+      WHERE c.subject IN (${group.map(() => '?').join(', ')}) AND c.verb <> 'ALIAS' AND c.conf > 0
+      ORDER BY c.tx
+    `, ...group);
+        const buckets = new Map();
+        for (const row of rows) {
+            const slot = row.attribute !== null ? `attr:${row.attribute}` : row.object !== null ? `obj:${row.object}` : '';
+            if (slot === '') {
+                continue;
+            }
+            const key = `${row.verb}${slot}${scopeOf(store, row)}`;
+            buckets.set(key, [...buckets.get(key) ?? [], row]);
+        }
+        for (const bucket of buckets.values()) {
+            const first = bucket[0];
+            if (first.attribute !== null) {
+                const positives = bucket.filter(row => row.negated === 0);
+                const subjects = [...new Set(positives.map(row => row.subject))].sort();
+                if (hasCrossNamePair(positives, (left, right) => left.value_text !== right.value_text)) {
+                    disagreements.push({ kind: 'value', about: `${first.verb} ${first.attribute}`, entities: subjects, rows: positives });
+                }
+            }
+            else {
+                if (hasCrossNamePair(bucket, (left, right) => left.negated !== right.negated)) {
+                    disagreements.push({
+                        kind: 'polarity',
+                        about: `${first.verb} ${first.object}`,
+                        entities: [...new Set(bucket.map(row => row.subject))].sort(),
+                        rows: bucket
+                    });
+                }
+            }
+        }
+    }
+    return disagreements;
+};
+const count = (store, sql) => store.db.prepare(sql).get().n;
+const coverage = (store, evaluation) => {
+    const average = store.db.prepare(`SELECT AVG(conf) AS avg FROM (${currentSql}) c WHERE c.conf > 0`)
+        .get().avg;
+    const names = store.db.prepare(`
+    SELECT c.subject AS name FROM (${currentSql}) c WHERE c.conf > 0
+    UNION
+    SELECT c.object AS name FROM (${currentSql}) c WHERE c.conf > 0 AND c.object IS NOT NULL
+  `).all().map(row => row.name).filter(isEntityName);
+    const typed = store.db.prepare(`
+    SELECT DISTINCT c.subject AS name FROM (${currentSql}) c
+    WHERE c.verb = 'IS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+  `).all().map(row => row.name).filter(isEntityName);
+    return {
+        rows: count(store, 'SELECT COUNT(*) AS n FROM cave_claim'),
+        facts: count(store, 'SELECT COUNT(DISTINCT claim_key) AS n FROM cave_claim'),
+        current: count(store, `SELECT COUNT(*) AS n FROM (${currentSql}) c WHERE c.conf > 0 AND c.negated = 0`),
+        retracted: count(store, `SELECT COUNT(*) AS n FROM (${currentSql}) c WHERE c.conf = 0`),
+        negated: count(store, `SELECT COUNT(*) AS n FROM (${currentSql}) c WHERE c.conf > 0 AND c.negated = 1`),
+        averageConfidence: average,
+        lowConfidence: count(store, `SELECT COUNT(*) AS n FROM (${currentSql}) c WHERE c.conf > 0 AND c.conf < 0.3`),
+        entities: new Set(names).size,
+        typedEntities: typed.length,
+        expectations: evaluation.expectations.length,
+        instances: evaluation.instances,
+        checks: evaluation.checks,
+        satisfied: evaluation.checks - evaluation.violations.length
+    };
+};
+/**
+ * The knowledge-health report (spec §20.2): shape violations, stale
+ * beliefs, review candidates (`conf 0.3–0.7`, §13.5), alias disagreements
+ * and coverage. Violations are the failing section; the rest is advisory.
+ */
+export const check = (store, options = {}) => {
+    const evaluation = evaluate(store);
+    return {
+        expectations: evaluation.expectations,
+        violations: evaluation.violations,
+        stale: staleRows(store, options.staleDays ?? defaultStaleDays, (options.now ?? Date.now)()),
+        review: all(store, `
+      SELECT c.* FROM (${currentSql}) c
+      WHERE c.conf >= 0.3 AND c.conf <= 0.7 ORDER BY c.conf, c.tx
+    `),
+        disagreements: findDisagreements(store),
+        coverage: coverage(store, evaluation)
+    };
+};
+//# sourceMappingURL=check.js.map

package/dist/internal/shape/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAG9C,MAAM,UAAU,GAAG;;;;;;CAMlB,CAAA;AA2FD,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAElC,gFAAgF;AAChF,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;AAE3E,MAAM,GAAG,GAAG,CAAC,KAAY,EAAE,GAAW,EAAE,GAAG,MAA2B,EAAW,EAAE,CACjF,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAuB,CAAA;AAS5D;;;GAGG;AACH,MAAM,UAAU,GAAG,CAAC,KAAY,EAAc,EAAE;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE,oBAAoB,UAAU,mBAAmB,CAAC,CAAA;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAC9B,+FAA+F,CAChG,CAAC,GAAG,EAA+D,CAAA;IACpE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAQ;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAyB,CAAA;QACxE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IACD,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAE,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;;GAEtD,CAAC,CAAC,GAAG,EAA6B,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC7D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAA;AAC7C,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,GAAU,EAAE,GAAW,EAAsB,EAAE,CAClF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,SAAS,CAAA;AAE/C,MAAM,aAAa,GAAG,CAAC,KAAiB,EAAE,GAAU,EAA2B,EAAE;IAC/E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClH,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAmB,CAAC,CAAC,CAAC,WAAoB,CAAA;IACtF,MAAM,IAAI,GAAG,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,OAAO;QACjB,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,MAAM;QAChB,WAAW,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;QAC3E,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QACrC,GAAG;KACJ,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAiB,EAAE,CAC1D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;IACvB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;QACnF,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,CAAA;IACrD,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAC7C,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;AACvD,CAAC,CAAC,CAAA;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAY,EAAiB,EAAE,CAC1D,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AAYnC,MAAM,aAAa,GAAG,CAAC,KAAiB,EAAiB,EAAE;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,MAAM,OAAO,GAAsC,EAAE,CAAA;IACrD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;YAAE,SAAQ;QACvE,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;QAC5E,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAA;QACxD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;AAC9B,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAE,IAAY,EAAuB,EAAE;IAChF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAC7B,IAAI,QAAQ,GAAG,CAAC,IAAI,CAAC,CAAA;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAa,EAAE,CAAA;QACzB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,SAAQ;gBAC9B,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,IAAI,CAAA;IACjB,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,KAAK,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAUD,MAAM,WAAW,GAAG,CAAC,KAAgB,EAAE,IAAY,EAAE,MAAc,EAAE,IAAoB,EAAQ,EAAE;IACjG,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAA2B,CAAA;IACtE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAiB,EAAE,CAAA;IACpF,MAAM,CAAC,KAAK,IAAI,CAAC,CAAA;IACjB,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC9C,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AAC3B,CAAC,CAAA;AAQD,MAAM,eAAe,GAAG,CAAC,KAAiB,EAAmB,EAAE;IAC7D,MAAM,UAAU,GAAc,IAAI,GAAG,EAAE,CAAA;IACvC,MAAM,OAAO,GAAc,IAAI,GAAG,EAAE,CAAA;IACpC,MAAM,OAAO,GAAc,IAAI,GAAG,EAAE,CAAA;IACpC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC;YAAE,SAAQ;QAChD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YACjD,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,CAAA;QACrE,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACxB,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;YAC3C,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,CAAA;AACzC,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CACf,KAAY,EACZ,OAAwB,EACxB,MAAc,EACd,WAAwB,EACd,EAAE;IACZ,IAAI,MAAmC,CAAA;IACvC,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAChE,CAAC;SAAM,CAAC;QACN,sEAAsE;QACtE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,CAAA;QACrF,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACpF,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IACxD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;KAC1E,CAAA;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,WAAwB,EAAE,MAAgB,EAAW,EAAE,CACxE,MAAM,CAAC,KAAK,GAAG,CAAC;IAChB,CAAC,WAAW,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC;IAC1D,CAAC,WAAW,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA;AAY3F,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAc,EAAE;IACnD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IACtC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACtC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,KAAK,MAAM,WAAW,IAAI,QAAQ,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,WAAW,CAAC,CAAC,CAAA;IACpF,CAAC;IACD,MAAM,UAAU,GAAgB,EAAE,CAAA;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,MAAM,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YACpB,KAAK,MAAM,WAAW,IAAI,gBAAgB,EAAE,CAAC;gBAC3C,MAAM,IAAI,CAAC,CAAA;gBACX,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAA;gBAC5D,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;oBACpC,UAAU,CAAC,IAAI,CAAC;wBACd,MAAM;wBACN,GAAG;wBACH,WAAW;wBACX,WAAW,EAAE,MAAM,CAAC,KAAK;wBACzB,WAAW,EAAE,MAAM,CAAC,KAAK;qBAC1B,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAA;AACjF,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,SAAS,GAAG,CAAC,KAAY,EAAE,SAAiB,EAAE,KAAa,EAAW,EAAE;IAC5E,MAAM,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,UAAU,CAAA;IAC7C,OAAO,GAAG,CAAC,KAAK,EAAE,oBAAoB,UAAU,oCAAoC,CAAC;SAClF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;SAC3C,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3F,CAAC,CAAA;AAED,sGAAsG;AACtG,MAAM,WAAW,GAAG,CAAC,KAAY,EAAc,EAAE;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;iDACgB,UAAU;;GAExD,CAAC,CAAC,GAAG,EAAgC,CAAA;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACpC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;QACrB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACtB,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IACD,KAAK,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;QACvB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;AAC3F,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,OAAO,GAAG,CAAC,KAAY,EAAE,GAAU,EAAU,EAAE,CAClD,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAA2B;KAC3G,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;KAC7B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KAC9C,IAAI,EAAE;KACN,IAAI,CAAC,GAAG,CAAC,CAAA;AAEd,qEAAqE;AACrE,MAAM,gBAAgB,GAAG,CACvB,IAAsB,EACtB,OAA+C,EACtC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CACnC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;AAE3F;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAAY,EAAkB,EAAE;IACzD,MAAM,aAAa,GAAmB,EAAE,CAAA;IACxC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,EAAE;yBACH,UAAU;4BACP,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;KAEtD,EAAE,GAAG,KAAK,CAAC,CAAA;QACZ,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAA;QAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;YAC9G,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,SAAQ;YACV,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAA;YACxD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,CAAA;QACpD,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;YACxB,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gBAC7B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,CAAA;gBACzD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;gBACvE,IAAI,gBAAgB,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;oBACvF,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;gBACvH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,gBAAgB,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC9E,aAAa,CAAC,IAAI,CAAC;wBACjB,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE;wBACtC,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;wBAC7D,IAAI,EAAE,MAAM;qBACb,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,GAAW,EAAU,EAAE,CACjD,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAoB,CAAC,CAAC,CAAA;AAElD,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,UAAsB,EAAY,EAAE;IAClE,MAAM,OAAO,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,UAAU,sBAAsB,CAAC;SACjG,GAAG,EAA6B,CAAC,GAAG,CAAA;IACvC,MAAM,KAAK,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;qCACG,UAAU;;oCAEX,UAAU;GAC3C,CAAC,CAAC,GAAG,EAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IACzE,MAAM,KAAK,GAAI,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC;8CACY,UAAU;;GAErD,CAAC,CAAC,GAAG,EAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IACzE,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,sCAAsC,CAAC;QAC1D,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,uDAAuD,CAAC;QAC5E,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,UAAU,wCAAwC,CAAC;QACvG,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,UAAU,sBAAsB,CAAC;QACvF,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,UAAU,wCAAwC,CAAC;QACvG,iBAAiB,EAAE,OAAO;QAC1B,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,8BAA8B,UAAU,uCAAuC,CAAC;QAC5G,QAAQ,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI;QAC7B,aAAa,EAAE,KAAK,CAAC,MAAM;QAC3B,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,MAAM;QAC5C,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,SAAS,EAAE,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM;KAC5D,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,UAAmB,EAAE,EAAU,EAAE;IACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAClC,OAAO;QACL,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,IAAI,gBAAgB,EAAE,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3F,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE;yBACE,UAAU;;KAE9B,CAAC;QACF,aAAa,EAAE,iBAAiB,CAAC,KAAK,CAAC;QACvC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;KACtC,CAAA;AACH,CAAC,CAAA"}

package/dist/internal/shape/client.d.ts

@@ -0,0 +1,31 @@
+/** Deterministic TypeScript client generation from §20 EXPECTS claims (spec §20.4). */
+import type { Store } from '@cavelang/store';
+export declare const clientFormatVersion: 1;
+export type ClientField = {
+    readonly type: string;
+    readonly typeName: string;
+    readonly kind: 'attribute' | 'relation';
+    readonly name: string;
+    readonly cardinality: 'some' | 'one';
+    readonly unit?: string;
+    /** Physical verb used by store traversal. */
+    readonly primary?: string;
+    /** Whether the authored relation reads from the physical object side. */
+    readonly inverse?: boolean;
+};
+export type GeneratedClient = {
+    readonly ok: true;
+    readonly version: typeof clientFormatVersion;
+    readonly digest: string;
+    readonly fields: readonly ClientField[];
+    readonly code: string;
+};
+export type ClientGenerationFailure = {
+    readonly ok: false;
+    readonly problems: readonly string[];
+};
+export type ClientGeneration = GeneratedClient | ClientGenerationFailure;
+export declare const generateClient: (store: Store, options?: {
+    version?: number;
+}) => ClientGeneration;
+//# sourceMappingURL=client.d.ts.map

package/dist/internal/shape/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../../src/client.ts"],"names":[],"mappings":"AAAA,uFAAuF;AAIvF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAI5C,eAAO,MAAM,mBAAmB,EAAG,CAAU,CAAA;AAE7C,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,KAAK,CAAA;IACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,yEAAyE;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;IACjB,QAAQ,CAAC,OAAO,EAAE,OAAO,mBAAmB,CAAA;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG,uBAAuB,CAAA;AAkKxE,eAAO,MAAM,cAAc,GACzB,OAAO,KAAK,EACZ,UAAS;IAAE,OAAO,CAAC,EAAE,MAAM,CAAA;CAAO,KACjC,gBAkBF,CAAA"}

package/dist/internal/shape/client.js

@@ -0,0 +1,170 @@
+/** Deterministic TypeScript client generation from §20 EXPECTS claims (spec §20.4). */
+import { createHash } from 'node:crypto';
+import { Registry } from '@cavelang/canonical';
+import { expectations } from "./check.js";
+export const clientFormatVersion = 1;
+const identifierOf = (type) => {
+    const words = type.split(/[^A-Za-z0-9]+/).filter(Boolean);
+    if (words.length === 0) {
+        return undefined;
+    }
+    const name = words.map(word => word[0].toUpperCase() + word.slice(1)).join('');
+    return /^[0-9]/.test(name) ? `_${name}` : name;
+};
+const compare = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+const tagsOf = (store, expectation) => store.db.prepare('SELECT key, value FROM cave_tag WHERE claim_id = ? ORDER BY rowid')
+    .all(expectation.row.id);
+const normalizedFields = (store) => {
+    const problems = [];
+    const typeNames = new Map();
+    const fields = new Map();
+    const declarations = [...expectations(store)].sort((a, b) => compare(a.type, b.type) || compare(a.kind, b.kind) || compare(a.name, b.name) ||
+        compare(a.row.claim_key, b.row.claim_key));
+    for (const expectation of declarations) {
+        const typeName = identifierOf(expectation.type);
+        if (typeName === undefined) {
+            problems.push(`${expectation.type} cannot become a TypeScript type name`);
+            continue;
+        }
+        const priorType = typeNames.get(typeName);
+        if (priorType !== undefined && priorType !== expectation.type) {
+            problems.push(`types ${JSON.stringify(priorType)} and ${JSON.stringify(expectation.type)} both generate ${typeName}`);
+            continue;
+        }
+        typeNames.set(typeName, expectation.type);
+        const tags = tagsOf(store, expectation);
+        const cardinalities = tags.filter(tag => tag.key === 'cardinality').map(tag => tag.value);
+        const units = tags.filter(tag => tag.key === 'unit').map(tag => tag.value);
+        if (cardinalities.length > 1 || cardinalities.some(value => value !== 'one' && value !== 'some')) {
+            problems.push(`${expectation.type} EXPECTS ${expectation.name}: cardinality must be one or some, at most once`);
+            continue;
+        }
+        if (units.length > 1 || units.some(value => value === null || value === '')) {
+            problems.push(`${expectation.type} EXPECTS ${expectation.name}: unit must have one non-empty value`);
+            continue;
+        }
+        if (expectation.kind === 'relation' && units.length > 0) {
+            problems.push(`${expectation.type} EXPECTS ${expectation.name}: relation expectations cannot declare #unit`);
+            continue;
+        }
+        const relation = expectation.kind === 'relation' ?
+            Registry.primaryOf(store.registry(), expectation.name) : undefined;
+        const field = {
+            type: expectation.type,
+            typeName,
+            kind: expectation.kind,
+            name: expectation.name,
+            cardinality: cardinalities[0] === 'one' ? 'one' : 'some',
+            ...units[0] === undefined || units[0] === null ? {} : { unit: units[0] },
+            ...relation === undefined ? {} : { primary: relation.primary, inverse: relation.isInverse }
+        };
+        const key = `${field.type}\0${field.kind}\0${field.name}`;
+        const prior = fields.get(key);
+        if (prior !== undefined && JSON.stringify(prior) !== JSON.stringify(field)) {
+            problems.push(`${expectation.type} EXPECTS ${expectation.name}: conflicting current declarations`);
+            continue;
+        }
+        fields.set(key, field);
+    }
+    return { fields: [...fields.values()], problems: [...new Set(problems)].sort() };
+};
+const q = (text) => JSON.stringify(text);
+const valueType = (field) => `CaveValue<${field.unit === undefined ? 'undefined' : q(field.unit)}>`;
+const propertyType = (field) => {
+    const value = field.kind === 'attribute' ? valueType(field) : 'string';
+    return field.cardinality === 'one' ? value : `readonly ${value}[]`;
+};
+const expression = (field) => {
+    const values = field.kind === 'attribute' ?
+        `attributeValues<${field.unit === undefined ? 'undefined' : q(field.unit)}>(store, entity, ${q(field.name)}, ` +
+            `${field.unit === undefined ? 'undefined' : q(field.unit)})` :
+        `relationValues(store, entity, ${q(field.primary)}, ${field.inverse === true})`;
+    return field.cardinality === 'one' ?
+        `one(${values}, ${q(`${field.type}.${field.name}`)})` : values;
+};
+const emit = (fields, digest) => {
+    const groups = new Map();
+    for (const field of fields) {
+        groups.set(field.type, [...groups.get(field.type) ?? [], field]);
+    }
+    const types = [...groups.entries()].sort(([a], [b]) => compare(a, b));
+    const declarations = types.flatMap(([type, typeFields]) => {
+        const typeName = typeFields[0].typeName;
+        return [
+            `export interface ${typeName} {`,
+            ...typeFields.map(field => `  readonly ${q(field.name)}: ${propertyType(field)}`),
+            '}',
+            '',
+            `export const read${typeName} = (store: Store, entity: string): ${typeName} => ({`,
+            ...typeFields.map(field => `  ${q(field.name)}: ${expression(field)},`),
+            '})',
+            ''
+        ];
+    });
+    return [
+        `// Generated by CAVE typed-client/v${clientFormatVersion}; do not edit.`,
+        `// Schema SHA-256: ${digest}`,
+        `import { QuerySql, type Store } from '@cavelang/store'`,
+        '',
+        `export const caveClientFormatVersion = ${clientFormatVersion} as const`,
+        `export const caveSchemaDigest = ${q(digest)} as const`,
+        `export const caveSchema = ${JSON.stringify(fields, undefined, 2)} as const`,
+        '',
+        'export type CaveValue<Unit extends string | undefined = undefined> = {',
+        '  readonly text: string',
+        '  readonly number: number | null',
+        '  readonly unit: Unit extends string ? Unit : string | null',
+        '}',
+        '',
+        'const currentSql = QuerySql.current()',
+        '',
+        'const attributeValues = <Unit extends string | undefined>(',
+        '  store: Store, entity: string, attribute: string, expectedUnit: Unit',
+        '): CaveValue<Unit>[] => {',
+        '  const values = store.db.prepare(`',
+        '  SELECT c.value_text AS text, c.value_num AS number, c.value_unit AS unit',
+        '  FROM (${currentSql}) c',
+        "  WHERE c.subject = ? AND c.verb = 'HAS' AND c.attribute = ?",
+        '    AND c.negated = 0 AND c.conf > 0 ORDER BY c.tx',
+        '  `).all(entity, attribute) as unknown as CaveValue<Unit>[]',
+        '  if (expectedUnit !== undefined && values.some(value => value.unit !== expectedUnit)) {',
+        '    throw new Error(`CAVE generated client: ${entity}.${attribute} expected unit ${expectedUnit}`)',
+        '  }',
+        '  return values',
+        '}',
+        '',
+        'const relationValues = (store: Store, entity: string, primary: string, inverse: boolean): string[] =>',
+        '  inverse ?',
+        '    store.reverse(entity).filter(fact => fact.verb === primary).map(fact => fact.source) :',
+        '    store.forward(entity).filter(fact => fact.verb === primary).map(fact => fact.target)',
+        '',
+        'const one = <T>(values: readonly T[], field: string): T => {',
+        '  if (values.length !== 1) {',
+        '    throw new Error(`CAVE generated client: ${field} expected exactly one value, got ${values.length}`)',
+        '  }',
+        '  return values[0]!',
+        '}',
+        '',
+        ...declarations
+    ].join('\n');
+};
+export const generateClient = (store, options = {}) => {
+    const version = options.version ?? clientFormatVersion;
+    if (version !== clientFormatVersion) {
+        return { ok: false, problems: [`unsupported typed-client format version ${version}; supported: ${clientFormatVersion}`] };
+    }
+    const normalized = normalizedFields(store);
+    if (normalized.problems.length > 0) {
+        return { ok: false, problems: normalized.problems };
+    }
+    const schema = JSON.stringify({ version, fields: normalized.fields });
+    const digest = createHash('sha256').update(schema).digest('hex');
+    return {
+        ok: true,
+        version: clientFormatVersion,
+        digest,
+        fields: normalized.fields,
+        code: emit(normalized.fields, digest)
+    };
+};
+//# sourceMappingURL=client.js.map

package/dist/internal/shape/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../../src/client.ts"],"names":[],"mappings":"AAAA,uFAAuF;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAGzC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAU,CAAA;AA8B7C,MAAM,YAAY,GAAG,CAAC,IAAY,EAAsB,EAAE;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC/E,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAChD,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAE5E,MAAM,MAAM,GAAG,CAAC,KAAY,EAAE,WAAwB,EAA2C,EAAE,CACjG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,mEAAmE,CAAC;KAClF,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAA4C,CAAA;AAEvE,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAiD,EAAE;IACvF,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAA;IAC7C,MAAM,YAAY,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1D,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QAC7E,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;IAE5C,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAC/C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,uCAAuC,CAAC,CAAA;YACzE,SAAQ;QACV,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,kBAAkB,QAAQ,EAAE,CAAC,CAAA;YACrH,SAAQ;QACV,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAA;QAEzC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;QACvC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACzF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC1E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;YACjG,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,YAAY,WAAW,CAAC,IAAI,iDAAiD,CAAC,CAAA;YAC/G,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC,EAAE,CAAC;YAC5E,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,YAAY,WAAW,CAAC,IAAI,sCAAsC,CAAC,CAAA;YACpG,SAAQ;QACV,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,YAAY,WAAW,CAAC,IAAI,8CAA8C,CAAC,CAAA;YAC5G,SAAQ;QACV,CAAC;QAED,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YAChD,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACpE,MAAM,KAAK,GAAgB;YACzB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,QAAQ;YACR,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;YACxD,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE;YACxE,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,SAAS,EAAE;SAC5F,CAAA;QACD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAA;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3E,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,YAAY,WAAW,CAAC,IAAI,oCAAoC,CAAC,CAAA;YAClG,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACxB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAA;AAClF,CAAC,CAAA;AAED,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;AAExD,MAAM,SAAS,GAAG,CAAC,KAAkB,EAAU,EAAE,CAC/C,aAAa,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAA;AAExE,MAAM,YAAY,GAAG,CAAC,KAAkB,EAAU,EAAE;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAA;IACtE,OAAO,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI,CAAA;AACpE,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,KAAkB,EAAU,EAAE;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;QACzC,mBAAmB,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI;YAC5G,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE,iCAAiC,CAAC,CAAC,KAAK,CAAC,OAAQ,CAAC,KAAK,KAAK,CAAC,OAAO,KAAK,IAAI,GAAG,CAAA;IAClF,OAAO,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,CAAC;QAClC,OAAO,MAAM,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAA;AAClE,CAAC,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,MAA8B,EAAE,MAAc,EAAU,EAAE;IACtE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;IAClE,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACrE,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE;QACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAA;QACxC,OAAO;YACL,oBAAoB,QAAQ,IAAI;YAChC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACjF,GAAG;YACH,EAAE;YACF,oBAAoB,QAAQ,sCAAsC,QAAQ,QAAQ;YAClF,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC;YACvE,IAAI;YACJ,EAAE;SACH,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO;QACL,sCAAsC,mBAAmB,gBAAgB;QACzE,sBAAsB,MAAM,EAAE;QAC9B,wDAAwD;QACxD,EAAE;QACF,0CAA0C,mBAAmB,WAAW;QACxE,mCAAmC,CAAC,CAAC,MAAM,CAAC,WAAW;QACvD,6BAA6B,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW;QAC5E,EAAE;QACF,wEAAwE;QACxE,yBAAyB;QACzB,kCAAkC;QAClC,6DAA6D;QAC7D,GAAG;QACH,EAAE;QACF,uCAAuC;QACvC,EAAE;QACF,4DAA4D;QAC5D,uEAAuE;QACvE,2BAA2B;QAC3B,qCAAqC;QACrC,4EAA4E;QAC5E,0BAA0B;QAC1B,8DAA8D;QAC9D,oDAAoD;QACpD,6DAA6D;QAC7D,0FAA0F;QAC1F,oGAAoG;QACpG,KAAK;QACL,iBAAiB;QACjB,GAAG;QACH,EAAE;QACF,uGAAuG;QACvG,aAAa;QACb,4FAA4F;QAC5F,0FAA0F;QAC1F,EAAE;QACF,8DAA8D;QAC9D,8BAA8B;QAC9B,yGAAyG;QACzG,KAAK;QACL,qBAAqB;QACrB,GAAG;QACH,EAAE;QACF,GAAG,YAAY;KAChB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAY,EACZ,UAAgC,EAAE,EAChB,EAAE;IACpB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,mBAAmB,CAAA;IACtD,IAAI,OAAO,KAAK,mBAAmB,EAAE,CAAC;QACpC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,2CAA2C,OAAO,gBAAgB,mBAAmB,EAAE,CAAC,EAAE,CAAA;IAC3H,CAAC;IACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAA;IACrD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;IACrE,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAChE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO,EAAE,mBAAmB;QAC5B,MAAM;QACN,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;KACtC,CAAA;AACH,CAAC,CAAA"}

package/dist/internal/shape/gate.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Write gating (spec §20.3): append, check, and roll back when the append
+ * introduces shape violations that were not present before. Pre-existing
+ * violations never block — the gate compares, it does not demand a clean
+ * store. `cave add --check` is the first enforcement point; action
+ * preconditions reuse the same mechanism.
+ */
+import type { AppendOptions, IngestResult, Store } from '@cavelang/store';
+import type { Violation } from './check.ts';
+export type GateResult = {
+    readonly ok: true;
+    readonly result: IngestResult;
+}
+/** The append was rolled back; `violations` are the ones it would have introduced. */
+ | {
+    readonly ok: false;
+    readonly violations: readonly Violation[];
+};
+/**
+ * Identity of a violation for before/after comparison — shared with
+ * `@cavelang/cli/act`, whose executions run inside the same gate (spec §25.3).
+ */
+export declare const violationKey: (violation: Violation) => string;
+/**
+ * Ingests CAVE text through the shape gate: parse problems behave exactly
+ * like `store.ingest` (lenient by default, `strict` throws), and an append
+ * that introduces new violations — including against expectations the text
+ * itself declares — is rolled back atomically, registry included.
+ */
+export declare const gatedIngest: (store: Store, text: string, options?: {
+    strict?: boolean;
+} & AppendOptions) => GateResult;
+//# sourceMappingURL=gate.d.ts.map

package/dist/internal/shape/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAEzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE;AACtD,sFAAsF;GACpF;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAA;AAErE;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,WAAW,SAAS,KAAG,MAC8D,CAAA;AASlH;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,EAAE,UAAS;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,aAAkB,KAAG,UAiB5G,CAAA"}

package/dist/internal/shape/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAQrC;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAoB,EAAU,EAAE,CAC3D,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAElH,wFAAwF;AACxF,MAAM,QAAQ,GAAG,MAAM,CAAC,0BAA0B,CAAC,CAAA;AAGnD,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CACvD,KAAK,YAAY,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,UAAgD,EAAE,EAAc,EAAE;IACxH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAA;IACpE,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;YAClG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,eAAe,KAAK,CAAC,MAAM,mBAAmB,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;YACvG,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAC7B,CAAC,CAAC,CAAA;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAA;QACnD,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC,CAAA"}