@cavelang/cli 0.27.14 → 0.29.1

package/dist/internal/automate/declare.d.ts

@@ -0,0 +1,84 @@
+/**
+ * Automation lifecycle (spec §29.1) — declaring automations from a CAVE
+ * document, resolving and listing what a store currently believes its
+ * automations are, and retracting a declaration. The exact §25.1 moves:
+ * name identity, one evolving declaration series per subject, resolution
+ * by the newest current row across actor series.
+ *
+ * An automation file is an ordinary CAVE document: top-level
+ * `automation/<name> HAS automation: `…`` claims are the declarations;
+ * everything else — verb declarations the triggers need, comments — is
+ * prelude, ingested first. Declaring is idempotent: an unchanged
+ * declaration (or prelude) appends nothing.
+ */
+import { Row, type Store } from '@cavelang/store';
+import * as Automation from './automation.ts';
+/** Source context stamped on declarations and bookkeeping (spec §9.5, §29.2). */
+export declare const provenanceContext = "src:cave-automate";
+/** Claim key of a `subject HAS <attribute>: … @src:cave-automate` bookkeeping claim. */
+export declare const bookkeepingKey: (subject: string, attribute: string) => string;
+export type Loaded = {
+    readonly automation: Automation.t;
+    /** The declaration row — its tx is the arming point (spec §29.2). */
+    readonly row: Row.t;
+    /** Declaration comment — the automation's description. */
+    readonly description?: string;
+};
+export type LoadProblem = {
+    readonly subject: string;
+    readonly problems: readonly string[];
+};
+/**
+ * Loads every current positive automation declaration, parsing each body;
+ * declarations that fail to parse are reported and skipped (spec §29.1).
+ */
+export declare const loadAutomations: (store: Store) => {
+    loaded: Loaded[];
+    problems: LoadProblem[];
+};
+export type ListedAutomation = {
+    /** Declaration subject, `automation/<name>`. */
+    readonly subject: string;
+    readonly name: string;
+    readonly text: string;
+    readonly description?: string;
+    readonly ok: boolean;
+    readonly problems: readonly string[];
+};
+/** Current positive automations of a store, in declaration order. */
+export declare const listAutomations: (store: Store) => ListedAutomation[];
+export type Declaration = {
+    /** Automations newly declared (or re-declared after a change/retraction). */
+    readonly declared: number;
+    /** Automations whose declaration is already current — nothing appended. */
+    readonly unchanged: number;
+    /** Claims appended by the file's prelude (0 when unchanged). */
+    readonly prelude: number;
+    readonly automations: readonly Automation.t[];
+    readonly problems: readonly {
+        line: number;
+        message: string;
+    }[];
+};
+/**
+ * Declares the automations of a CAVE document into the store — prelude
+ * first, then one normalized `automation/<name> HAS automation: …` claim
+ * per declaration (§29.1), each skipped when already current.
+ */
+export declare const declareAutomations: (store: Store, text: string) => Declaration;
+export type Retraction = {
+    readonly ok: true;
+    readonly subject: string;
+    readonly retracted: number;
+} | {
+    readonly ok: false;
+    readonly error: string;
+};
+/**
+ * Retracts an automation's declaration — by name or subject — disabling
+ * it. Every current positive series of the declaration is retracted (§9.5
+ * stamps fork one per appending actor). What past firings recorded stays
+ * recorded (spec §25.1's rule; contrast §24.5).
+ */
+export declare const retractAutomation: (store: Store, ref: string) => Retraction;
+//# sourceMappingURL=declare.d.ts.map

package/dist/internal/automate/declare.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declare.d.ts","sourceRoot":"","sources":["../../src/declare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,EAAE,GAAG,EAAE,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,sBAAsB,CAAA;AAOpD,wFAAwF;AACxF,eAAO,MAAM,cAAc,GAAI,SAAS,MAAM,EAAE,WAAW,MAAM,KAAG,MAM/D,CAAA;AAqCL,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAA;IACjC,qEAAqE;IACrE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IACnB,0DAA0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG;IAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,WAAW,EAAE,CAAA;CAgBzF,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CACrC,CAAA;AAED,qEAAqE;AACrE,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,gBAAgB,EAY3D,CAAA;AAEJ,MAAM,MAAM,WAAW,GAAG;IACxB,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,CAAC,CAAC,EAAE,CAAA;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAChE,CAAA;AA2CD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,KAAG,WA6E/D,CAAA;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAElD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,KAAK,EAAE,KAAK,MAAM,KAAG,UAmB7D,CAAA"}

package/dist/internal/automate/declare.js

@@ -0,0 +1,233 @@
+/**
+ * Automation lifecycle (spec §29.1) — declaring automations from a CAVE
+ * document, resolving and listing what a store currently believes its
+ * automations are, and retracting a declaration. The exact §25.1 moves:
+ * name identity, one evolving declaration series per subject, resolution
+ * by the newest current row across actor series.
+ *
+ * An automation file is an ordinary CAVE document: top-level
+ * `automation/<name> HAS automation: `…`` claims are the declarations;
+ * everything else — verb declarations the triggers need, comments — is
+ * prelude, ingested first. Declaring is idempotent: an unchanged
+ * declaration (or prelude) appends nothing.
+ */
+import { Claim, Key, Value } from '@cavelang/core';
+import { parseDocument } from '@cavelang/parser';
+import { Rule } from '@cavelang/cli/rules';
+import { Row } from '@cavelang/store';
+import * as Automation from "./automation.js";
+/** Source context stamped on declarations and bookkeeping (spec §9.5, §29.2). */
+export const provenanceContext = 'src:cave-automate';
+/** Subject of the prelude digest bookkeeping claim. */
+const preludeSubject = 'automate/prelude';
+const preludeDigestAttribute = 'automate-digest';
+/** Claim key of a `subject HAS <attribute>: … @src:cave-automate` bookkeeping claim. */
+export const bookkeepingKey = (subject, attribute) => Key.of(Claim.of({
+    subject: Claim.entity(subject),
+    verb: 'HAS',
+    payload: Claim.attribute(attribute, Value.parse('x')),
+    contexts: [provenanceContext]
+}));
+/**
+ * The newest current row of `attribute` on `subject`, across every
+ * belief series (§9.5 stamps make one series per appending actor —
+ * §25.1's resolution rule).
+ */
+const currentAttribute = (store, subject, attribute) => {
+    let winner;
+    for (const row of store.currentBeliefs()) {
+        if (row.subject === subject && row.verb === 'HAS' && row.attribute === attribute &&
+            (winner === undefined || winner.tx < row.tx)) {
+            winner = row;
+        }
+    }
+    return winner;
+};
+const enabled = (row) => row !== undefined && row.conf > 0 && row.negated === 0 && row.value_text !== null;
+/** Current positive automation declaration rows, newest series winner per subject. */
+const currentAutomationRows = (store) => {
+    const bySubject = new Map();
+    for (const row of store.currentBeliefs()) {
+        if (row.verb !== 'HAS' || row.attribute !== Automation.automationAttribute ||
+            Automation.automationName(row.subject) === undefined) {
+            continue;
+        }
+        const seen = bySubject.get(row.subject);
+        if (seen === undefined || seen.tx < row.tx) {
+            bySubject.set(row.subject, row);
+        }
+    }
+    return [...bySubject.values()].filter(enabled);
+};
+/**
+ * Loads every current positive automation declaration, parsing each body;
+ * declarations that fail to parse are reported and skipped (spec §29.1).
+ */
+export const loadAutomations = (store) => {
+    const loaded = [];
+    const problems = [];
+    for (const row of currentAutomationRows(store)) {
+        const parsed = Automation.parse(row.subject, Row.parseValue(row.value_text).raw);
+        if (!parsed.ok) {
+            problems.push({ subject: row.subject, problems: parsed.problems });
+            continue;
+        }
+        loaded.push({
+            automation: parsed.automation,
+            row,
+            ...row.comment === null ? {} : { description: row.comment }
+        });
+    }
+    return { loaded, problems };
+};
+/** Current positive automations of a store, in declaration order. */
+export const listAutomations = (store) => currentAutomationRows(store).map(row => {
+    const text = Row.parseValue(row.value_text).raw;
+    const parsed = Automation.parse(row.subject, text);
+    return {
+        subject: row.subject,
+        name: Automation.automationName(row.subject),
+        text,
+        ...row.comment === null ? {} : { description: row.comment },
+        ok: parsed.ok,
+        problems: parsed.ok ? [] : parsed.problems
+    };
+});
+const indentOf = (line) => line.length - line.trimStart().length;
+const isStructural = (line) => {
+    const body = line.trim();
+    return body !== '' && !body.startsWith(';');
+};
+/**
+ * Reads one top-level line as an automation declaration claim —
+ * `automation/<name> HAS automation: `…``. @returns `undefined` when the
+ * line is anything else (prelude).
+ */
+const asDeclaration = (line) => {
+    const document = parseDocument(line);
+    if (document.diagnostics.length > 0) {
+        return undefined;
+    }
+    const entry = document.lines.find(candidate => candidate.kind === 'claim');
+    if (entry === undefined || entry.kind !== 'claim') {
+        return undefined;
+    }
+    const claim = entry.claim;
+    if (claim.verb !== 'HAS' || claim.negated || claim.payload.kind !== 'attribute' ||
+        claim.payload.attribute !== Automation.automationAttribute ||
+        claim.subject.kind !== 'entity' || Automation.automationName(claim.subject.text) === undefined) {
+        return undefined;
+    }
+    return {
+        subject: claim.subject.text,
+        body: claim.payload.value.raw,
+        ...claim.meta.comment === undefined ? {} : { comment: claim.meta.comment }
+    };
+};
+/**
+ * Declares the automations of a CAVE document into the store — prelude
+ * first, then one normalized `automation/<name> HAS automation: …` claim
+ * per declaration (§29.1), each skipped when already current.
+ */
+export const declareAutomations = (store, text) => {
+    const problems = [];
+    const automations = [];
+    const preludeLines = [];
+    const declarations = [];
+    // Top-level blocks: a structural unindented line plus what follows it —
+    // §25.1's rule: a declaration block with structural children is rejected
+    // whole rather than silently re-attaching them to the prelude.
+    const blocks = [];
+    text.split(/\r?\n/).forEach((line, index) => {
+        if (isStructural(line) && indentOf(line) === 0) {
+            blocks.push({ lines: [line], at: index + 1 });
+        }
+        else if (blocks.length === 0) {
+            preludeLines.push(line);
+        }
+        else {
+            blocks[blocks.length - 1].lines.push(line);
+        }
+    });
+    for (const block of blocks) {
+        const declaration = asDeclaration(block.lines[0]);
+        if (declaration === undefined) {
+            preludeLines.push(...block.lines);
+            continue;
+        }
+        if (block.lines.slice(1).some(isStructural)) {
+            problems.push({ line: block.at, message: 'automation declarations take no qualifier children (spec §29.1)' });
+            continue;
+        }
+        declarations.push({ declaration, at: block.at });
+        preludeLines.push(...block.lines.slice(1));
+    }
+    return store.transaction(() => {
+        let prelude = 0;
+        const preludeText = preludeLines.join('\n');
+        if (preludeText.trim() !== '') {
+            const digest = Rule.digestOf(preludeText);
+            const known = store.currentBelief(bookkeepingKey(preludeSubject, preludeDigestAttribute));
+            if (known === undefined || known.conf <= 0 || known.value_text !== digest) {
+                const result = store.ingest(preludeText, { source: 'cave-automate' });
+                problems.push(...result.problems);
+                prelude = result.ids.length;
+                store.ingest(`${preludeSubject} HAS ${preludeDigestAttribute}: ${digest} @${provenanceContext}`);
+            }
+        }
+        let declared = 0;
+        let unchanged = 0;
+        for (const { declaration, at } of declarations) {
+            const parsed = Automation.parse(declaration.subject, declaration.body);
+            if (!parsed.ok) {
+                problems.push(...parsed.problems.map(message => ({ line: at, message })));
+                continue;
+            }
+            const automation = parsed.automation;
+            automations.push(automation);
+            const literal = !automation.text.includes('`') ? `\`${automation.text}\`` :
+                !automation.text.includes('"') ? `"${automation.text}"` :
+                    undefined;
+            if (literal === undefined) {
+                problems.push({ line: at, message: 'automation body contains both " and ` — cannot be stored as a literal' });
+                continue;
+            }
+            const known = currentAttribute(store, automation.subject, Automation.automationAttribute);
+            if (enabled(known) && known.value_text === literal &&
+                (known.comment ?? undefined) === declaration.comment) {
+                unchanged += 1;
+                continue;
+            }
+            const description = declaration.comment === undefined ? '' : ` ; ${declaration.comment}`;
+            store.ingest(`${automation.subject} HAS ${Automation.automationAttribute}: ${literal} @${provenanceContext}${description}`);
+            declared += 1;
+        }
+        return { declared, unchanged, prelude, automations, problems };
+    });
+};
+/**
+ * Retracts an automation's declaration — by name or subject — disabling
+ * it. Every current positive series of the declaration is retracted (§9.5
+ * stamps fork one per appending actor). What past firings recorded stays
+ * recorded (spec §25.1's rule; contrast §24.5).
+ */
+export const retractAutomation = (store, ref) => {
+    const subject = Automation.automationSubject(ref);
+    const rows = store.currentBeliefs().filter(row => row.subject === subject && row.verb === 'HAS' && row.attribute === Automation.automationAttribute &&
+        row.negated === 0 && row.conf > 0);
+    if (rows.length === 0) {
+        return { ok: false, error: `no current automation matches ${JSON.stringify(ref)}` };
+    }
+    return store.transaction(() => {
+        for (const row of rows) {
+            store.insertResult({
+                claims: [{ claim: { ...store.toClaim(row), conf: 0, raw: '', comment: 'retracted: cave automate --retract' }, line: 0 }],
+                edges: [],
+                registry: store.registry(),
+                problems: []
+            });
+        }
+        return { ok: true, subject, retracted: rows.length };
+    });
+};
+//# sourceMappingURL=declare.js.map

package/dist/internal/automate/declare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declare.js","sourceRoot":"","sources":["../../src/declare.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAE,GAAG,EAAc,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,iFAAiF;AACjF,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,CAAA;AAEpD,uDAAuD;AACvD,MAAM,cAAc,GAAG,kBAAkB,CAAA;AAEzC,MAAM,sBAAsB,GAAG,iBAAiB,CAAA;AAEhD,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAAe,EAAE,SAAiB,EAAU,EAAE,CAC3E,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IACd,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;IAC9B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,QAAQ,EAAE,CAAC,iBAAiB,CAAC;CAC9B,CAAC,CAAC,CAAA;AAEL;;;;GAIG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAY,EAAE,OAAe,EAAE,SAAiB,EAAqB,EAAE;IAC/F,IAAI,MAAyB,CAAA;IAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;QACzC,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAC5E,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACjD,MAAM,GAAG,GAAG,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,GAAsB,EAAgB,EAAE,CACvD,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,CAAA;AAEnF,sFAAsF;AACtF,MAAM,qBAAqB,GAAG,CAAC,KAAY,EAAW,EAAE;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiB,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;QACzC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,CAAC,mBAAmB;YACtE,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACzD,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC;YAC3C,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAChD,CAAC,CAAA;AAeD;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAY,EAAiD,EAAE;IAC7F,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,QAAQ,GAAkB,EAAE,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAW,CAAC,CAAC,GAAG,CAAC,CAAA;QACjF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;YAClE,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,GAAG;YACH,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,EAAE;SAC5D,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AAC7B,CAAC,CAAA;AAYD,qEAAqE;AACrE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAY,EAAsB,EAAE,CAClE,qBAAqB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;IACrC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAW,CAAC,CAAC,GAAG,CAAA;IAChD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAClD,OAAO;QACL,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,IAAI,EAAE,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAE;QAC7C,IAAI;QACJ,GAAG,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,EAAE;QAC3D,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ;KAC3C,CAAA;AACH,CAAC,CAAC,CAAA;AAaJ,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CACxC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAA;AAEvC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;IACxB,OAAO,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC7C,CAAC,CAAA;AAQD;;;;GAIG;AACH,MAAM,aAAa,GAAG,CAAC,IAAY,EAA+B,EAAE;IAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IACpC,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;IAC1E,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAClD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;IACzB,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW;QAC3E,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,UAAU,CAAC,mBAAmB;QAC1D,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACnG,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;QAC3B,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG;QAC7B,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE;KAC3E,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAE,IAAY,EAAe,EAAE;IAC5E,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,WAAW,GAAmB,EAAE,CAAA;IACtC,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,YAAY,GAAmD,EAAE,CAAA;IAEvE,wEAAwE;IACxE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,MAAM,GAAsC,EAAE,CAAA;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC1C,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/C,CAAC;aAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7C,CAAC;IACH,CAAC,CAAC,CAAA;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAA;QAClD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;YACjC,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,iEAAiE,EAAE,CAAC,CAAA;YAC7G,SAAQ;QACV,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QAChD,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,OAAO,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;QAC5B,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;YACzC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,cAAc,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC,CAAA;YACzF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAA;gBACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;gBACjC,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAA;gBAC3B,KAAK,CAAC,MAAM,CAAC,GAAG,cAAc,QAAQ,sBAAsB,KAAK,MAAM,KAAK,iBAAiB,EAAE,CAAC,CAAA;YAClG,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,CAAA;QAChB,IAAI,SAAS,GAAG,CAAC,CAAA;QACjB,KAAK,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,YAAY,EAAE,CAAC;YAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAA;YACtE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAA;gBACzE,SAAQ;YACV,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAA;YACpC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC5B,MAAM,OAAO,GACX,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC;gBAC3D,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;oBACzD,SAAS,CAAA;YACX,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC,CAAA;gBAC7G,SAAQ;YACV,CAAC;YACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,mBAAmB,CAAC,CAAA;YACzF,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,OAAO;gBAC9C,CAAC,KAAK,CAAC,OAAO,IAAI,SAAS,CAAC,KAAK,WAAW,CAAC,OAAO,EAAE,CAAC;gBACzD,SAAS,IAAI,CAAC,CAAA;gBACd,SAAQ;YACV,CAAC;YACD,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,OAAO,EAAE,CAAA;YACxF,KAAK,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,QAAQ,UAAU,CAAC,mBAAmB,KAAK,OAAO,KAAK,iBAAiB,GAAG,WAAW,EAAE,CAAC,CAAA;YAC3H,QAAQ,IAAI,CAAC,CAAA;QACf,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAA;IAChE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAMD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAY,EAAE,GAAW,EAAc,EAAE;IACzE,MAAM,OAAO,GAAG,UAAU,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAA;IACjD,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAC/C,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,CAAC,mBAAmB;QACjG,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAA;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;IACrF,CAAC;IACD,OAAO,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,CAAC,YAAY,CAAC;gBACjB,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACxH,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE;gBAC1B,QAAQ,EAAE,EAAE;aACb,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAA;IACtD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/internal/automate/engine.d.ts

@@ -0,0 +1,125 @@
+/**
+ * The settle engine (spec §29.2–§29.4) — evaluates every current
+ * automation against the store's change feed and runs the steps of the
+ * solutions that fire.
+ *
+ * - Triggers join exactly like rules and actions (§24.2's left-to-right
+ *   join over current positive beliefs); a solution **fires** only when
+ *   it cites at least one *event row* — a premise row newer than the
+ *   automation's watermark that is neither engine bookkeeping
+ *   (actors `cave-automate` / `cave-derive` / `cave-act`) nor the
+ *   automation's own lifecycle run (`automation/<name>`, or `action/<x>`
+ *   for its action steps). An automation is deaf to its own echo; other
+ *   automations' output triggers normally, which is how automations chain.
+ *   A transitive (`VERB+`) premise cites its supporting edge rows (the
+ *   query layer's `support` option), so a new edge is an event exactly
+ *   for the solutions whose connection it backs — with the same
+ *   exclusions applied per edge row.
+ * - An automation arms at the later of its stored watermark and its
+ *   declaration row's tx — it watches from the moment it is declared
+ *   (§29.2), and a watermark left current by a retracted incarnation
+ *   never lets a re-declaration fire over rows recorded in between.
+ * - Firing records the batch *before* acting on it (§29.3): one
+ *   `automate-watermark` append (the firing log), then the steps per
+ *   solution in declaration order — re-runs never re-notify the world.
+ * - One `settle` call is a cycle: passes run derivation (§24, opt-out)
+ *   then every automation, until nothing fires — steps append, the next
+ *   pass sees the new rows, and idempotent write paths make chains
+ *   converge (§29.4).
+ */
+import { type Store } from '@cavelang/store';
+import * as Automation from './automation.ts';
+import { type LoadProblem } from './declare.ts';
+/** Attribute of per-automation watermark claims (spec §29.2). */
+export declare const watermarkAttribute = "automate-watermark";
+export declare const defaultMaxPasses = 20;
+export declare const defaultAgentTimeoutSeconds = 120;
+export type SettleOptions = {
+    /** Premises match through the alias closure (spec §13.6). */
+    readonly aliases?: boolean;
+    /** Fire the store's rules each pass (spec §29.4) — on by default. */
+    readonly derive?: boolean;
+    /** Shape gate for action steps (spec §25.3) — on by default. */
+    readonly check?: boolean;
+    /** Out-of-band hook command templates by name (spec §25.4). */
+    readonly hooks?: Readonly<Record<string, string>>;
+    /** Out-of-band agent for prompt steps — the shell contract's completion. */
+    readonly complete?: (prompt: string) => Promise<string>;
+    /** Cycle guard — maximum passes before giving up on quiescence. */
+    readonly maxPasses?: number;
+    /** Working directory for hook commands. */
+    readonly cwd?: string;
+    /** Hook wall-clock budget in seconds (default 600, like §25.4). */
+    readonly hookTimeoutSeconds?: number;
+};
+export type StepOutcome = {
+    /** Normalized step text — `action/<x>`, `hook/<y>`, or the prompt literal. */
+    readonly step: string;
+    readonly kind: Automation.Step['kind'];
+    /** `not-configured` is a legitimate, side-effect-free mode (§25.4, §29.3). */
+    readonly outcome: 'ok' | 'failed' | 'not-configured';
+    /** Claims the step appended or updated (action effects, agent reply). */
+    readonly appended?: number;
+    readonly detail?: string;
+};
+export type FiringOutcome = {
+    readonly bindings: Readonly<Record<string, string>>;
+    readonly steps: StepOutcome[];
+};
+export type AutomationOutcome = {
+    /** Declaration subject, `automation/<name>`. */
+    readonly subject: string;
+    readonly name: string;
+    readonly text: string;
+    readonly description?: string;
+    evaluations: number;
+    /** Firing solutions across the cycle's passes. */
+    fired: number;
+    readonly firings: FiringOutcome[];
+};
+export type DeriveTotals = {
+    passes: number;
+    appended: number;
+    updated: number;
+    retracted: number;
+    unchanged: number;
+};
+export type SettleReport = {
+    readonly passes: number;
+    readonly automations: readonly AutomationOutcome[];
+    /** Stored declarations that failed to parse — reported, skipped. */
+    readonly problems: readonly LoadProblem[];
+    /** Accumulated §24 derivation counts, absent under `derive: false`. */
+    readonly derive?: DeriveTotals;
+    readonly notes: readonly string[];
+};
+/** `true` when the report contains a failed step or a parse problem. */
+export declare const settled: (report: SettleReport) => boolean;
+/** Substitutes bound `?var`s into a prompt template, longest name first. */
+export declare const substitutePrompt: (template: string, bindings: Readonly<Record<string, string>>) => string;
+/**
+ * Substitutes `{automation}` and `{<var>}` placeholders in one pass —
+ * every value shell-quoted, never spliced raw (§25.4's rule); unknown
+ * placeholders stay.
+ */
+export declare const substituteHook: (template: string, automation: string, bindings: Readonly<Record<string, string>>) => string;
+/** The engine-built prompt around one instantiated template (spec §29.3). */
+export declare const buildPrompt: (automation: Automation.t, description: undefined | string, instruction: string, claims: readonly string[]) => string;
+/**
+ * Appends an agent reply (spec §29.3): lenient parse, `@src:automation/<name>`
+ * stamp, and the §24.4 idempotency convention per claim — a reply claim
+ * equal to its current belief appends nothing (claims cited by qualifier
+ * edges are kept, so reply structure survives).
+ */
+export declare const appendReply: (store: Store, automation: Automation.t, reply: string) => {
+    appended: number;
+    problems: string[];
+};
+/**
+ * One settle cycle (spec §29.4): passes of derivation + trigger
+ * evaluation until nothing fires, bounded by `maxPasses`. Firing appends
+ * the watermark before running steps (§29.3); step failures are reported
+ * in the outcome and never abort the cycle.
+ */
+export declare const settle: (store: Store, options?: SettleOptions) => Promise<SettleReport>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/internal/automate/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAQH,OAAO,EAAO,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAsD,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAEnG,iEAAiE;AACjE,eAAO,MAAM,kBAAkB,uBAAuB,CAAA;AAEtD,eAAO,MAAM,gBAAgB,KAAK,CAAA;AAElC,eAAO,MAAM,0BAA0B,MAAM,CAAA;AAK7C,MAAM,MAAM,aAAa,GAAG;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACjD,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;IACvD,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,2CAA2C;IAC3C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACtC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,QAAQ,GAAG,gBAAgB,CAAA;IACpD,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,WAAW,EAAE,MAAM,CAAA;IACnB,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,CAAC,OAAO,EAAE,aAAa,EAAE,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;IAClD,oEAAoE;IACpE,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAA;IACzC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAClC,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,OAAO,GAAI,QAAQ,YAAY,KAAG,OAG+C,CAAA;AAyD9F,4EAA4E;AAC5E,eAAO,MAAM,gBAAgB,GAAI,UAAU,MAAM,EAAE,UAAU,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAG,MAO/F,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,UAAU,MAAM,EAChB,YAAY,MAAM,EAClB,UAAU,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KACzC,MAIO,CAAA;AAeV,6EAA6E;AAC7E,eAAO,MAAM,WAAW,GACtB,YAAY,UAAU,CAAC,CAAC,EACxB,aAAa,SAAS,GAAG,MAAM,EAC/B,aAAa,MAAM,EACnB,QAAQ,SAAS,MAAM,EAAE,KACxB,MAYoE,CAAA;AA4EvE;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,EAAE,YAAY,UAAU,CAAC,CAAC,EAAE,OAAO,MAAM,KAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAiCzH,CAAA;AAkCD;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAU,OAAO,KAAK,EAAE,UAAS,aAAkB,KAAG,OAAO,CAAC,YAAY,CA4H5F,CAAA"}