@cavelang/cli 0.27.14 → 0.29.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAE3K,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA"}

package/dist/internal/rules/rule.d.ts

@@ -0,0 +1,88 @@
+/**
+ * Rule parsing (spec §24.1) — the Draft §17.4 `=>` line, proven out:
+ *
+ * ```cave
+ * ?x NEEDS ?y, ?y NEEDS ?z => ?x NEEDS ?z
+ * ?x HAS age: ?a, ?a < 18 => ?x NEEDS guardian
+ * ?x PRECEDES ?e, ?x CONTAINS ?c => ?c CAUSE ?e @ 50%
+ * ```
+ *
+ * The left side is a comma-separated conjunction of **premises**: CAVE-Q
+ * patterns (spec §12.1 — the same parser, so inverse verbs, `VERB+`
+ * transitive hops, `NOT`, `@ctx` and `#tag` filters all work) and value
+ * **constraints** (`?a < 18`). The right side is one ordinary CAVE claim
+ * line whose `?var` slots must be bound by pattern premises; its own
+ * metadata rides along, and its `@ N%` is the rule's confidence factor.
+ *
+ * `=>` is the only rule-specific token. A rule's identity is the first 12
+ * hex chars of SHA-256 over its *normalized* text (tokens single-spaced,
+ * comment dropped) — whitespace variants of one rule share a digest.
+ */
+import { Value } from '@cavelang/core';
+import { type Ast } from '@cavelang/parser';
+import { Pattern } from '@cavelang/query';
+export type ConstraintOp = '=' | '!=' | '>' | '>=' | '<' | '<=';
+export type Premise = {
+    readonly kind: 'pattern';
+    readonly pattern: Pattern.t;
+    readonly text: string;
+} | {
+    readonly kind: 'constraint';
+    readonly variable: string;
+    readonly op: ConstraintOp;
+    readonly value: Value.t;
+    readonly text: string;
+};
+export type Rule = {
+    /** Normalized rule text — single-spaced tokens, comment dropped. */
+    readonly text: string;
+    /** First 12 hex chars of SHA-256 over `text` — the rule's identity. */
+    readonly digest: string;
+    readonly premises: readonly Premise[];
+    /** Conclusion template — an ordinary claim whose terms may be `?var`s. */
+    readonly conclusion: Ast.Full;
+    /** The conclusion's own `@ N%` — the rule confidence factor (§24.2). */
+    readonly conf: number;
+    /** Trailing `; comment` — a human label for reports and `--list`. */
+    readonly label?: string;
+};
+export type t = Rule;
+export type Parsed = {
+    readonly ok: true;
+    readonly rule: Rule;
+} | {
+    readonly ok: false;
+    readonly problems: readonly string[];
+};
+/** First 12 hex chars of SHA-256 — the digest convention of §9.5 sources. */
+export declare const digestOf: (content: string) => string;
+/**
+ * Positions of `needle` occurrences that sit outside `"…"` and `` `…` ``
+ * literals — `=>` or `,` inside a quoted term never split the rule.
+ * Shared with `@cavelang/cli/act`, whose action bodies split the same way
+ * (spec §25.1).
+ */
+export declare const topLevel: (text: string, needle: string) => number[];
+/** @returns `true` when the line contains a top-level `=>` — a rule line. */
+export declare const isRuleLine: (line: string) => boolean;
+/** Single-spaced token text of one rule segment — the normalization unit. */
+export declare const normalizeSegment: (segment: string) => string;
+/** Variables a pattern binds — the names its slots introduce. */
+export declare const patternVariables: (pattern: Pattern.t) => string[];
+/**
+ * Parses one premise segment against the variables bound so far — a
+ * constraint (`?var op value`) or a CAVE-Q pattern. Shared with
+ * `@cavelang/cli/act`, whose premises are §24.1 premises verbatim (spec
+ * §25.1); action parsing passes parameters in as already-bound.
+ */
+export declare const parsePremise: (segment: string, bound: ReadonlySet<string>) => {
+    premise?: Premise;
+    problem?: string;
+};
+/**
+ * Parses one rule line. Problems are returned, never thrown — a stored
+ * rule that fails to parse is reported and skipped, mirroring the lenient
+ * ingest surfaces (spec §1.6).
+ */
+export declare const parse: (line: string) => Parsed;
+//# sourceMappingURL=rule.d.ts.map

package/dist/internal/rules/rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../src/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAS,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAwB,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAEzC,MAAM,MAAM,YAAY,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAA;AAI/D,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEzI,MAAM,MAAM,IAAI,GAAG;IACjB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IACrC,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAA;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,IAAI,CAAA;AAEpB,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AAEhE,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,MACsB,CAAA;AAEjE;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,MAAM,EAAE,QAAQ,MAAM,KAAG,MAAM,EAqB7D,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,KAAG,OACgB,CAAA;AAa1D,6EAA6E;AAC7E,eAAO,MAAM,gBAAgB,GAAI,SAAS,MAAM,KAAG,MACC,CAAA;AAKpD,iEAAiE;AACjE,eAAO,MAAM,gBAAgB,GAAI,SAAS,OAAO,CAAC,CAAC,KAAG,MAAM,EAe3D,CAAA;AA6BD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,SAAS,MAAM,EAAE,OAAO,WAAW,CAAC,MAAM,CAAC,KAAG;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CA4B/G,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,MAsEpC,CAAA"}

package/dist/internal/rules/rule.js

@@ -0,0 +1,221 @@
+/**
+ * Rule parsing (spec §24.1) — the Draft §17.4 `=>` line, proven out:
+ *
+ * ```cave
+ * ?x NEEDS ?y, ?y NEEDS ?z => ?x NEEDS ?z
+ * ?x HAS age: ?a, ?a < 18 => ?x NEEDS guardian
+ * ?x PRECEDES ?e, ?x CONTAINS ?c => ?c CAUSE ?e @ 50%
+ * ```
+ *
+ * The left side is a comma-separated conjunction of **premises**: CAVE-Q
+ * patterns (spec §12.1 — the same parser, so inverse verbs, `VERB+`
+ * transitive hops, `NOT`, `@ctx` and `#tag` filters all work) and value
+ * **constraints** (`?a < 18`). The right side is one ordinary CAVE claim
+ * line whose `?var` slots must be bound by pattern premises; its own
+ * metadata rides along, and its `@ N%` is the rule's confidence factor.
+ *
+ * `=>` is the only rule-specific token. A rule's identity is the first 12
+ * hex chars of SHA-256 over its *normalized* text (tokens single-spaced,
+ * comment dropped) — whitespace variants of one rule share a digest.
+ */
+import { createHash } from 'node:crypto';
+import { Claim, Value } from '@cavelang/core';
+import { parseDocument, Token } from '@cavelang/parser';
+import { Pattern } from '@cavelang/query';
+const constraintOps = ['>=', '<=', '!=', '=', '>', '<'];
+/** First 12 hex chars of SHA-256 — the digest convention of §9.5 sources. */
+export const digestOf = (content) => createHash('sha256').update(content).digest('hex').slice(0, 12);
+/**
+ * Positions of `needle` occurrences that sit outside `"…"` and `` `…` ``
+ * literals — `=>` or `,` inside a quoted term never split the rule.
+ * Shared with `@cavelang/cli/act`, whose action bodies split the same way
+ * (spec §25.1).
+ */
+export const topLevel = (text, needle) => {
+    const positions = [];
+    let quote;
+    for (let i = 0; i < text.length; i++) {
+        const char = text[i];
+        if (quote !== undefined) {
+            if (char === quote) {
+                quote = undefined;
+            }
+            continue;
+        }
+        if (char === '"' || char === '`') {
+            quote = char;
+            continue;
+        }
+        if (text.startsWith(needle, i)) {
+            positions.push(i);
+            i += needle.length - 1;
+        }
+    }
+    return positions;
+};
+/** @returns `true` when the line contains a top-level `=>` — a rule line. */
+export const isRuleLine = (line) => topLevel(Token.splitComment(line).head, '=>').length > 0;
+const formatToken = (token) => {
+    switch (token.kind) {
+        case 'text':
+            return `"${token.text}"`;
+        case 'code':
+            return `\`${token.text}\``;
+        default:
+            return token.text;
+    }
+};
+/** Single-spaced token text of one rule segment — the normalization unit. */
+export const normalizeSegment = (segment) => Token.tokenize(segment).map(formatToken).join(' ');
+const isVariableToken = (text) => text.startsWith('?') && text.length > 1;
+/** Variables a pattern binds — the names its slots introduce. */
+export const patternVariables = (pattern) => {
+    const names = [];
+    if (pattern.subject.kind === 'var') {
+        names.push(pattern.subject.name);
+    }
+    if (pattern.verb.kind === 'var') {
+        names.push(pattern.verb.name);
+    }
+    if (pattern.payload.kind === 'object' && pattern.payload.object.kind === 'var') {
+        names.push(pattern.payload.object.name);
+    }
+    if (pattern.payload.kind === 'attribute' && pattern.payload.value.kind === 'var') {
+        names.push(pattern.payload.value.name);
+    }
+    return names;
+};
+/** Variables the conclusion template references (subject/object/value slots). */
+const conclusionVariables = (conclusion) => {
+    const names = [];
+    const term = (candidate) => {
+        if (candidate.kind === 'entity' && isVariableToken(candidate.text)) {
+            names.push(candidate.text.slice(1));
+        }
+    };
+    term(conclusion.subject);
+    switch (conclusion.payload.kind) {
+        case 'relation':
+            term(conclusion.payload.object);
+            break;
+        case 'attribute':
+        case 'metric': {
+            const value = conclusion.payload.value;
+            if (value.kind === 'atom' && isVariableToken(value.raw)) {
+                names.push(value.raw.slice(1));
+            }
+            break;
+        }
+        default:
+            break;
+    }
+    return names;
+};
+/**
+ * Parses one premise segment against the variables bound so far — a
+ * constraint (`?var op value`) or a CAVE-Q pattern. Shared with
+ * `@cavelang/cli/act`, whose premises are §24.1 premises verbatim (spec
+ * §25.1); action parsing passes parameters in as already-bound.
+ */
+export const parsePremise = (segment, bound) => {
+    const text = normalizeSegment(segment);
+    if (text === '') {
+        return { problem: 'empty premise — remove the extra comma' };
+    }
+    const tokens = Token.tokenize(segment);
+    const [first, second, ...rest] = tokens;
+    // A constraint is `?var op value` — no CAVE-Q pattern puts an operator
+    // symbol in verb position, so the shapes never collide.
+    if (first?.kind === 'word' && isVariableToken(first.text) &&
+        second?.kind === 'word' && constraintOps.includes(second.text)) {
+        if (rest.length === 0) {
+            return { problem: `constraint ${JSON.stringify(text)} is missing a value` };
+        }
+        const variable = first.text.slice(1);
+        if (!bound.has(variable)) {
+            return { problem: `constraint on ?${variable} before any pattern premise binds it — reorder the premises` };
+        }
+        const value = Value.parse(rest.map(token => token.text).join(' '));
+        return { premise: { kind: 'constraint', variable, op: second.text, value, text } };
+    }
+    try {
+        return { premise: { kind: 'pattern', pattern: Pattern.parse(segment), text } };
+    }
+    catch (error) {
+        return { problem: error instanceof Error ? error.message : String(error) };
+    }
+};
+/**
+ * Parses one rule line. Problems are returned, never thrown — a stored
+ * rule that fails to parse is reported and skipped, mirroring the lenient
+ * ingest surfaces (spec §1.6).
+ */
+export const parse = (line) => {
+    const problems = [];
+    const { head, comment } = Token.splitComment(line);
+    const arrows = topLevel(head, '=>');
+    if (arrows.length === 0) {
+        return { ok: false, problems: ['not a rule — no top-level "=>" (spec §24.1)'] };
+    }
+    if (arrows.length > 1) {
+        return { ok: false, problems: ['a rule has exactly one "=>" (spec §24.1)'] };
+    }
+    const leftText = head.slice(0, arrows[0]);
+    const rightText = head.slice(arrows[0] + 2);
+    const premises = [];
+    const bound = new Set();
+    let cursor = 0;
+    const segments = [];
+    for (const at of topLevel(leftText, ',')) {
+        segments.push(leftText.slice(cursor, at));
+        cursor = at + 1;
+    }
+    segments.push(leftText.slice(cursor));
+    for (const segment of segments) {
+        const { premise, problem } = parsePremise(segment, bound);
+        if (problem !== undefined) {
+            problems.push(problem);
+            continue;
+        }
+        premises.push(premise);
+        if (premise.kind === 'pattern') {
+            patternVariables(premise.pattern).forEach(name => bound.add(name));
+        }
+    }
+    if (!premises.some(premise => premise.kind === 'pattern')) {
+        problems.push('a rule needs at least one pattern premise (spec §24.1)');
+    }
+    const conclusionText = normalizeSegment(rightText);
+    const document = parseDocument(conclusionText);
+    const claimLine = document.lines.find(entry => entry.kind === 'claim');
+    if (document.diagnostics.length > 0 || claimLine === undefined || claimLine.kind !== 'claim') {
+        problems.push(`cannot parse conclusion ${JSON.stringify(conclusionText)} as a claim` +
+            document.diagnostics.map(diagnostic => ` — ${diagnostic.message}`).join(''));
+        return { ok: false, problems };
+    }
+    const conclusion = claimLine.claim;
+    if (Token.tokenize(rightText).some(token => token.kind === 'word' && token.text === '_')) {
+        problems.push('conclusion slots must be bound — "_" is not allowed on the right side (spec §24.1)');
+    }
+    for (const name of conclusionVariables(conclusion)) {
+        if (!bound.has(name)) {
+            problems.push(`conclusion variable ?${name} is not bound by any pattern premise (spec §24.1)`);
+        }
+    }
+    if (problems.length > 0) {
+        return { ok: false, problems };
+    }
+    const text = `${premises.map(premise => premise.text).join(', ')} => ${conclusionText}`;
+    return {
+        ok: true,
+        rule: {
+            text,
+            digest: digestOf(text),
+            premises,
+            conclusion,
+            conf: conclusion.meta.conf ?? 1,
+            ...comment === undefined ? {} : { label: comment }
+        }
+    };
+};
+//# sourceMappingURL=rule.js.map

package/dist/internal/rules/rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.js","sourceRoot":"","sources":["../../src/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,KAAK,EAAY,MAAM,kBAAkB,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAIzC,MAAM,aAAa,GAA4B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AA0BhF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAU,EAAE,CAClD,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,MAAc,EAAY,EAAE;IACjE,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,IAAI,KAAyB,CAAA;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAA;QACrB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;gBACnB,KAAK,GAAG,SAAS,CAAA;YACnB,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,KAAK,GAAG,IAAI,CAAA;YACZ,SAAQ;QACV,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACjB,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAClD,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;AAE1D,MAAM,WAAW,GAAG,CAAC,KAAc,EAAU,EAAE;IAC7C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,IAAI,KAAK,CAAC,IAAI,GAAG,CAAA;QAC1B,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,CAAC,IAAI,IAAI,CAAA;QAC5B;YACE,OAAO,KAAK,CAAC,IAAI,CAAA;IACrB,CAAC;AACH,CAAC,CAAA;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAe,EAAU,EAAE,CAC1D,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAEpD,MAAM,eAAe,GAAG,CAAC,IAAY,EAAW,EAAE,CAChD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;AAEzC,iEAAiE;AACjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAkB,EAAY,EAAE;IAC/D,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjF,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,iFAAiF;AACjF,MAAM,mBAAmB,GAAG,CAAC,UAAoB,EAAY,EAAE;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,IAAI,GAAG,CAAC,SAAqB,EAAQ,EAAE;QAC3C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,CAAC;IACH,CAAC,CAAA;IACD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAA;IACxB,QAAQ,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAChC,KAAK,UAAU;YACb,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/B,MAAK;QACP,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAA;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;YAChC,CAAC;YACD,MAAK;QACP,CAAC;QACD;YACE,MAAK;IACT,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,KAA0B,EAA2C,EAAE;IACnH,MAAM,IAAI,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;IACtC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAA;IAC9D,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACtC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAA;IACvC,uEAAuE;IACvE,wDAAwD;IACxD,IACE,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QACrD,MAAM,EAAE,IAAI,KAAK,MAAM,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAoB,CAAC,EAC9E,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAA;QAC7E,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,OAAO,EAAE,kBAAkB,QAAQ,6DAA6D,EAAE,CAAA;QAC7G,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAClE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,IAAoB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAA;IACpG,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,CAAA;IAChF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;IAC5E,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE;IAC5C,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACnC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,6CAA6C,CAAC,EAAE,CAAA;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,0CAA0C,CAAC,EAAE,CAAA;IAC9E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,CAAA;IAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAA;IAE5C,MAAM,QAAQ,GAAc,EAAE,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;QACzC,MAAM,GAAG,EAAE,GAAG,CAAC,CAAA;IACjB,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QACzD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACtB,SAAQ;QACV,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAQ,CAAC,CAAA;QACvB,IAAI,OAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,gBAAgB,CAAC,OAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,QAAQ,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAA;IACzE,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAClD,MAAM,QAAQ,GAAG,aAAa,CAAC,cAAc,CAAC,CAAA;IAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;IACtE,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7F,QAAQ,CAAC,IAAI,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,aAAa;YAClF,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;IAChC,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAA;IAClC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzF,QAAQ,CAAC,IAAI,CAAC,oFAAoF,CAAC,CAAA;IACrG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,wBAAwB,IAAI,mDAAmD,CAAC,CAAA;QAChG,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAA;IAChC,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,cAAc,EAAE,CAAA;IACvF,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE;YACJ,IAAI;YACJ,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;YACtB,QAAQ;YACR,UAAU;YACV,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;YAC/B,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE;SACnD;KACF,CAAA;AACH,CAAC,CAAA"}

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

@@ -0,0 +1,118 @@
+/**
+ * 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 type { Row, Store } from '@cavelang/store';
+/** One in-band shape declaration — `type EXPECTS name` (spec §20.1). */
+export type Expectation = {
+    /** The type entity the shape targets. */
+    readonly type: string;
+    /** UPPERCASE object → relation expectation; otherwise attribute. */
+    readonly kind: 'attribute' | 'relation';
+    /** Expected attribute name or verb. */
+    readonly name: string;
+    /** `some` preserves the original one-or-more presence check; `one` requires exactly one current value. */
+    readonly cardinality: 'some' | 'one';
+    /** Exact normalized unit required on attribute values; absent means units are unconstrained. */
+    readonly unit?: string;
+    /** The declaring row. */
+    readonly row: Row.t;
+};
+/** One unsatisfied (instance, expectation) pair (spec §20.2). */
+export type Violation = {
+    readonly entity: string;
+    /** The type the entity `IS`-ed into — `expectation.type` or an `EXTENDS+` descendant. */
+    readonly via: string;
+    readonly expectation: Expectation;
+    /** Number of current positive values or relation endpoints observed in the expected slot. */
+    readonly actualCount: number;
+    /** Distinct normalized units observed on attribute values; `null` denotes no unit. */
+    readonly actualUnits: readonly (string | null)[];
+};
+/** A current belief older than the staleness horizon (spec §20.2). */
+export type Stale = {
+    readonly row: Row.t;
+    readonly ageDays: number;
+};
+/** A cross-series conflict inside one alias closure group (spec §20.2). */
+export type Disagreement = {
+    /** `value`: same verb+attribute, different values. `polarity`: same verb+object, asserted and negated. */
+    readonly kind: 'value' | 'polarity';
+    /** What the series disagree about — `HAS version` / `IS production`. */
+    readonly about: string;
+    /** The aliased names carrying the disagreeing series, sorted. */
+    readonly entities: readonly string[];
+    readonly rows: readonly Row.t[];
+};
+/** Aggregate knowledge-quality stats — the §17.6 precursor (spec §20.2). */
+export type Coverage = {
+    /** All appended rows. */
+    readonly rows: number;
+    /** Distinct claim keys — facts with a belief series. */
+    readonly facts: number;
+    /** Current positive beliefs (`conf > 0`, not negated). */
+    readonly current: number;
+    /** Facts whose current belief is retracted (`conf = 0`). */
+    readonly retracted: number;
+    /** Current negative facts (`VERB NOT` at `conf > 0`). */
+    readonly negated: number;
+    /** Mean confidence over current believed rows, `null` on an empty store. */
+    readonly averageConfidence: null | number;
+    /** Current believed rows below `conf 0.3`. */
+    readonly lowConfidence: number;
+    /** Distinct entity names in current believed claims (negated included). */
+    readonly entities: number;
+    /** Entities carrying a current positive `IS` claim. */
+    readonly typedEntities: number;
+    readonly expectations: number;
+    /** Distinct entities targeted by at least one expectation. */
+    readonly instances: number;
+    /** (instance, expectation) pairs checked. */
+    readonly checks: number;
+    readonly satisfied: number;
+};
+export type Report = {
+    readonly expectations: readonly Expectation[];
+    readonly violations: readonly Violation[];
+    readonly stale: readonly Stale[];
+    readonly review: readonly Row.t[];
+    readonly disagreements: readonly Disagreement[];
+    readonly coverage: Coverage;
+};
+export type Options = {
+    /** Staleness horizon in days (spec §20.2), default {@link defaultStaleDays}. */
+    readonly staleDays?: number;
+    /** Clock, injectable for tests. */
+    readonly now?: () => number;
+};
+export declare const defaultStaleDays = 90;
+/**
+ * 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 declare const expectations: (store: Store) => Expectation[];
+/** Shape evaluation — expectations, targets and violations in one pass. */
+export type Evaluation = {
+    readonly expectations: readonly Expectation[];
+    readonly violations: readonly Violation[];
+    /** Distinct entities targeted by at least one expectation. */
+    readonly instances: number;
+    /** (instance, expectation) pairs checked. */
+    readonly checks: number;
+};
+/** Evaluates every declared expectation against its instances (spec §20.2). */
+export declare const evaluate: (store: Store) => Evaluation;
+/**
+ * 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 declare const check: (store: Store, options?: Options) => Report;
+//# sourceMappingURL=check.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAUjD,wEAAwE;AACxE,MAAM,MAAM,WAAW,GAAG;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,UAAU,CAAA;IACvC,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,0GAA0G;IAC1G,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,KAAK,CAAA;IACpC,gGAAgG;IAChG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,yBAAyB;IACzB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;CACpB,CAAA;AAED,iEAAiE;AACjE,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,yFAAyF;IACzF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;IACjC,6FAA6F;IAC7F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,sFAAsF;IACtF,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAA;CACjD,CAAA;AAED,sEAAsE;AACtE,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,2EAA2E;AAC3E,MAAM,MAAM,YAAY,GAAG;IACzB,0GAA0G;IAC1G,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAAA;IACnC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;CAChC,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,QAAQ,GAAG;IACrB,yBAAyB;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,wDAAwD;IACxD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,iBAAiB,EAAE,IAAI,GAAG,MAAM,CAAA;IACzC,8CAA8C;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,gFAAgF;IAChF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,mCAAmC;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,eAAO,MAAM,gBAAgB,KAAK,CAAA;AAkElC;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,OAAO,KAAK,KAAG,WAAW,EACpB,CAAA;AAmHnC,2EAA2E;AAC3E,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAA;IACzC,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,KAAG,UA+BvC,CAAA;AAsID;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,UAAS,OAAY,KAAG,MAa3D,CAAA"}