@dsh-enhanced/assistant-goals 0.1.30

package/lib/event-wait.js

@@ -0,0 +1,372 @@
+import { acceptanceDigest } from '@dsh-enhanced/task-acceptance-contract';
+import { externalEventDigest, parseExternalEventEnvelope } from '@dsh-enhanced/assistant-automations/external-event';
+import { GoalEventWaitStore } from './event-wait-store.js';
+const same = (a, b) => acceptanceDigest(a) === acceptanceDigest(b);
+function fail() { throw new Error('assistant-goals: event wait authority is unavailable, changed or expired'); }
+const snapshotSame = (a, b) => same({ ...a, highWaterSequence: 0 }, { ...b, highWaterSequence: 0 });
+function reader(value) {
+    if (!value || typeof value !== 'object')
+        return undefined;
+    const candidate = value;
+    return typeof candidate.sourceSnapshot === 'function' && typeof candidate.firstEventAfter === 'function' && typeof candidate.subscribeSourceChanges === 'function' ? candidate : undefined;
+}
+function opportunity(value) {
+    if (!value || typeof value !== 'object')
+        return undefined;
+    return typeof value.evaluate === 'function' ? value : undefined;
+}
+function bindsOpportunityContext(decision, input) {
+    if (!decision || typeof decision !== 'object')
+        return false;
+    const candidate = decision;
+    return candidate.waitId === input.waitId && candidate.profileId === input.profileId && same(candidate.scope, input.scope)
+        && candidate.goalId === input.goalId && candidate.sessionId === input.sessionId
+        && candidate.definitionDigest === input.definitionDigest && candidate.objective === input.objective
+        && candidate.nativeGoalId === input.nativeGoalId
+        && candidate.nativeRevision === input.nativeRevision && candidate.ownerRouteId === input.ownerRouteId
+        && candidate.sourceDigest === input.sourceDigest && candidate.sourceId === input.sourceId
+        && candidate.expiresAt === input.expiresAt;
+}
+function bindsOpportunityDecision(decision, input) {
+    return decision.eventId === input.event.id && decision.eventSequence === input.event.sequence
+        && decision.eventDigest === input.event.digest;
+}
+/** Converts one post-snapshot event observation into one owner-bound GoalWake. */
+export class GoalEventWaitRuntime {
+    wake;
+    current;
+    proactive;
+    #store;
+    #source;
+    #unsubscribe;
+    #live = true;
+    #failures = 0;
+    #cursor = '';
+    constructor(ctx, path, wake, current, proactive = () => undefined) {
+        this.wake = wake;
+        this.current = current;
+        this.proactive = proactive;
+        this.#store = new GoalEventWaitStore(path);
+        ctx.inject(['eventTriggers'], runtime => {
+            const candidate = reader(runtime.eventTriggers);
+            if (!candidate)
+                return () => { };
+            this.#source = candidate;
+            this.#unsubscribe = candidate.subscribeSourceChanges(() => { this.#onSourceChanged(); });
+            this.reconcile();
+            return () => { this.#unsubscribe?.(); this.#unsubscribe = undefined; if (this.#source === candidate)
+                this.#source = undefined; };
+        });
+        ctx.effect(() => {
+            // Reconciliation only revisits already owner-authorized waits. It never creates
+            // a wait or changes an event into wake authority without the frozen intent.
+            const timer = setInterval(() => { this.reconcile(); }, 1_000);
+            timer.unref?.();
+            return () => { clearInterval(timer); this.#live = false; this.#unsubscribe?.(); this.#store.close(); };
+        }, 'assistant-goals.event-waits');
+    }
+    snapshot(triggerId) {
+        const source = this.#source;
+        if (!this.#live || !source)
+            fail();
+        return source.sourceSnapshot(triggerId);
+    }
+    prepare(intent) {
+        if (!this.#live)
+            fail();
+        // A dedicated source is claimed before this wait becomes durable. A
+        // competing goal therefore cannot leave a recoverable waiting row.
+        this.#source?.claimGoalSource?.(this.#claim(intent));
+        const wait = this.#store.prepare(intent);
+        // Catch events committed after the source snapshot but before the owner checkpoint.
+        this.#reconcile(wait);
+        return this.#store.get(wait.intent.id);
+    }
+    inspect(scope, goalId) { return this.#store.list(scope, goalId); }
+    /** A fresh durable wait for this exact paused revision, still under source and owner authority. */
+    acceptsPausedRecord(record) {
+        if (!this.#live || record.native.phase !== 'paused')
+            return false;
+        return this.#store.list(record.scope, record.id).some(wait => {
+            if (wait.state === 'terminal' || Date.now() >= wait.intent.expiresAt
+                || !same(wait.intent.wake.native, record.native))
+                return false;
+            try {
+                return this.#sourceCurrent(wait.intent) !== undefined && this.#recordCurrent(wait.intent) !== undefined;
+            }
+            catch {
+                return false;
+            }
+        });
+    }
+    health = () => ({ enabled: true, connected: this.#source !== undefined, reconciliationFailures: this.#failures });
+    reconcile() {
+        if (!this.#live)
+            return;
+        // Bounded pages prevent corrupt or unusually old rows from starving later owners.
+        let waits = this.#store.pending(this.#cursor, 32);
+        if (waits.length === 0 && this.#cursor !== '') {
+            this.#cursor = '';
+            waits = this.#store.pending('', 32);
+        }
+        for (const wait of waits) {
+            this.#cursor = wait.intent.id;
+            try {
+                this.#reconcile(wait);
+            }
+            catch {
+                this.#failures++;
+            }
+        }
+    }
+    #recordCurrent(intent, requirePaused = true) {
+        const record = this.current(intent);
+        if (!record || !same(record.scope, intent.wake.scope) || !same(record.definition, intent.wake.definition)
+            || record.native.sessionId !== intent.wake.native.sessionId || record.native.goalId !== intent.wake.native.goalId
+            || record.native.maxGoalRounds !== intent.wake.native.maxGoalRounds
+            || (intent.wake.dependencies === undefined
+                ? record.checkpoint.dependencies.length > 0
+                : !same(record.checkpoint.dependencyBindings ?? [], intent.wake.dependencies))
+            || requirePaused && (!same(record.native, intent.wake.native) || record.native.phase !== 'paused'))
+            return undefined;
+        return record;
+    }
+    #sourceCurrent(intent) {
+        const source = this.#source;
+        if (!source)
+            return undefined;
+        const prefix = 'event-triggers:';
+        if (!intent.source.sourceId.startsWith(prefix) || intent.source.sourceId.length === prefix.length)
+            return undefined;
+        try {
+            const actual = source.sourceSnapshot(intent.source.sourceId.slice(prefix.length));
+            return snapshotSame(actual, intent.source) ? actual : undefined;
+        }
+        catch {
+            return undefined;
+        }
+    }
+    #reconcile(wait) {
+        if (wait.state === 'terminal')
+            return;
+        const now = Date.now();
+        if ((wait.state === 'waiting' || wait.state === 'matched') && now >= (wait.match?.wake.expiresAt ?? wait.intent.expiresAt)) {
+            this.#terminal(wait, 'expired');
+            return;
+        }
+        const source = this.#source;
+        if (!source)
+            return; // service loss is recoverable; no timer or implicit authority is created.
+        let completed;
+        try {
+            completed = this.#recordCurrent(wait.intent, false);
+        }
+        catch (error) {
+            if (error instanceof Error && /event wait policy denied/u.test(error.message))
+                this.#terminal(wait, 'denied');
+            else
+                throw error;
+            return;
+        }
+        if (completed?.native.phase === 'complete' && wait.state !== 'materialized') {
+            source.retireGoalSource?.(this.#claim(wait.intent));
+            this.#terminal(wait, 'settled');
+            return;
+        }
+        if (wait.state === 'materialized') {
+            const state = this.wake.inspect(wait.intent.wake.scope, wait.intent.wake.goalId)
+                .find(item => item.intent.id === wait.match.wake.id)?.state;
+            if (state === 'succeeded' || state === 'unknown' || state === 'denied') {
+                this.#terminal(wait, 'settled');
+                return;
+            }
+            if (state === 'dispatched' && completed?.native.phase === 'complete')
+                source.retireGoalSource?.(this.#claim(wait.intent));
+            if (state === 'dispatched' && completed?.native.phase === 'complete' && source.canSettleGoalSource?.(this.#claim(wait.intent)) === true)
+                return;
+        }
+        const actual = this.#sourceCurrent(wait.intent);
+        if (!actual) {
+            this.#terminal(wait, 'source-changed');
+            return;
+        }
+        // Revalidate on recovery too: a legacy or interrupted row must never
+        // regain wake authority if another goal owns this dedicated source.
+        try {
+            source.claimGoalSource?.(this.#claim(wait.intent));
+        }
+        catch {
+            this.#terminal(wait, 'denied');
+            return;
+        }
+        if (wait.state === 'materialized') {
+            const state = this.wake.inspect(wait.intent.wake.scope, wait.intent.wake.goalId)
+                .find(item => item.intent.id === wait.match.wake.id)?.state;
+            // GoalWake owns the native phase transition while a dispatch is in flight.
+            // In particular, complete is observed before its settle/finish CAS.
+            if (state === 'dispatched')
+                return;
+        }
+        let record;
+        try {
+            record = this.#recordCurrent(wait.intent, wait.state !== 'materialized');
+        }
+        catch (error) {
+            if (error instanceof Error && /event wait policy denied/u.test(error.message))
+                this.#terminal(wait, 'denied');
+            else
+                throw error;
+            return;
+        }
+        if (!record || (wait.state === 'materialized' && ['blocked', 'complete', 'cleared'].includes(record.native.phase))) {
+            this.#terminal(wait, 'invalid-current');
+            return;
+        }
+        if (wait.intent.wake.dependencies === undefined
+            ? record.checkpoint.dependencies.length > 0
+            : !same(record.checkpoint.dependencyBindings ?? [], wait.intent.wake.dependencies)) {
+            this.#terminal(wait, 'invalid-current');
+            return;
+        }
+        if (wait.state === 'waiting') {
+            this.wake.preflight(record);
+            let found = source.firstEventAfter(wait.intent.source, this.#store.cursor(wait.intent.id), wait.intent.expiresAt);
+            if (!found)
+                return;
+            let envelope = parseExternalEventEnvelope(found.envelope);
+            const valid = (candidate, value) => Number.isSafeInteger(candidate.sequence) && candidate.sequence > wait.intent.source.highWaterSequence
+                && value.source.id === wait.intent.source.sourceId && value.source.kind === wait.intent.source.kind
+                && value.source.version === wait.intent.source.version && value.source.configDigest === wait.intent.source.configDigest
+                && value.target.automationId === wait.intent.source.target.automationId;
+            if (!valid(found, envelope))
+                return;
+            if (wait.intent.opportunityProfile !== undefined) {
+                const proactive = opportunity(this.proactive());
+                if (!proactive) {
+                    this.#terminal(wait, 'denied');
+                    return;
+                }
+                let executable = false;
+                for (let observed = 0; observed < 32; observed++) {
+                    const input = {
+                        waitId: wait.intent.id, profileId: wait.intent.opportunityProfile, scope: wait.intent.wake.scope,
+                        goalId: wait.intent.wake.goalId, sessionId: wait.intent.wake.native.sessionId,
+                        definitionDigest: wait.intent.wake.definition.digest, objective: record.native.objective,
+                        nativeGoalId: wait.intent.wake.native.goalId, nativeRevision: wait.intent.wake.native.revision,
+                        ownerRouteId: wait.intent.wake.ownerRouteId, sourceDigest: wait.intent.source.configDigest,
+                        sourceId: wait.intent.source.sourceId,
+                        event: { id: envelope.event.id, sequence: found.sequence, digest: externalEventDigest(envelope), occurredAt: envelope.event.occurredAt },
+                        expiresAt: wait.intent.expiresAt,
+                    };
+                    const evaluation = proactive.evaluate(input);
+                    if (evaluation.disposition === 'consume') {
+                        this.#store.advanceCursor(wait.intent.id, found.sequence);
+                        return;
+                    }
+                    if (evaluation.disposition === 'execute') {
+                        if (!bindsOpportunityContext(evaluation.decision, input) || !Number.isSafeInteger(evaluation.decision.eventSequence)
+                            || evaluation.decision.eventSequence < found.sequence)
+                            throw new Error('assistant-goals: opportunity execution does not bind the observed event');
+                        if (evaluation.decision.eventSequence === found.sequence) {
+                            if (!bindsOpportunityDecision(evaluation.decision, input))
+                                throw new Error('assistant-goals: opportunity execution does not bind the observed event');
+                            executable = true;
+                            break;
+                        }
+                    }
+                    if (evaluation.disposition !== 'defer' && evaluation.disposition !== 'execute')
+                        throw new Error('assistant-goals: invalid opportunity evaluation');
+                    const next = source.firstEventAfter(wait.intent.source, found.sequence, wait.intent.expiresAt);
+                    if (!next)
+                        return;
+                    const nextEnvelope = parseExternalEventEnvelope(next.envelope);
+                    if (!valid(next, nextEnvelope))
+                        return;
+                    found = next;
+                    envelope = nextEnvelope;
+                    continue;
+                }
+                // A full deferred page intentionally keeps the durable cursor unchanged.
+                // The next source hint revalidates the same bounded evidence before it can wake.
+                if (!executable)
+                    return;
+            }
+            const at = now;
+            const expiresAt = Math.min(wait.intent.expiresAt, at + wait.intent.runTimeoutMs);
+            if (expiresAt - at < 1_000) {
+                this.#terminal(wait, 'expired');
+                return;
+            }
+            const wake = { ...wait.intent.wake, id: `goal-event-wake-${wait.intent.id}`, at, expiresAt };
+            // Commit the exact wake before scheduling it; restart can only retry this identity.
+            wait = this.#store.match(wait.intent.id, { sequence: found.sequence, envelope, wake });
+        }
+        if (wait.state === 'matched') {
+            this.wake.materialize(wait.match.wake);
+            this.#store.materialized(wait.intent.id);
+        }
+    }
+    #terminal(wait, reason) {
+        if (wait.intent.opportunityProfile !== undefined)
+            opportunity(this.proactive())?.closeWait?.(wait.intent.id, wait.intent.wake.scope, reason === 'expired' ? 'expired' : 'cancelled');
+        this.#store.terminal(wait.intent.id, reason);
+    }
+    #onSourceChanged() {
+        // This is only a prompt to reconcile; a source notification has no authority itself.
+        this.reconcile();
+    }
+    #claim(intent) {
+        const prefix = 'event-triggers:';
+        if (!intent.source.sourceId.startsWith(prefix) || intent.source.sourceId.length === prefix.length)
+            fail();
+        return { triggerId: intent.source.sourceId.slice(prefix.length), scope: intent.wake.scope, goalId: intent.wake.goalId,
+            definition: { version: intent.wake.definition.version, digest: intent.wake.definition.digest },
+            native: { sessionId: intent.wake.native.sessionId, goalId: intent.wake.native.goalId, revision: intent.wake.native.revision },
+            configDigest: intent.source.configDigest, automationId: intent.source.target.automationId };
+    }
+    /** Read-only authority for preparing an artifact while the original goal stays paused. */
+    assertPreparationCurrent(input) {
+        const wait = this.#store.get(input.waitId);
+        if (!this.#live || !wait || wait.state !== 'waiting' || Date.now() >= wait.intent.expiresAt
+            || wait.intent.opportunityProfile !== input.profileId || !same(wait.intent.wake.scope, input.scope)
+            || wait.intent.wake.goalId !== input.goalId || wait.intent.wake.native.sessionId !== input.sessionId
+            || wait.intent.wake.native.goalId !== input.nativeGoalId || wait.intent.wake.native.revision !== input.nativeRevision
+            || wait.intent.wake.definition.digest !== input.definitionDigest || wait.intent.wake.ownerRouteId !== input.ownerRouteId
+            || wait.intent.source.sourceId !== input.sourceId || wait.intent.source.configDigest !== input.sourceDigest
+            || wait.intent.expiresAt !== input.expiresAt || !Number.isSafeInteger(input.eventSequence)
+            || input.eventSequence <= wait.intent.source.highWaterSequence || !this.#sourceCurrent(wait.intent))
+            fail();
+        const record = this.#recordCurrent(wait.intent);
+        if (!record || record.native.objective !== input.objective)
+            fail();
+        this.wake.preflight(record);
+        const source = this.#source?.firstEventAfter(wait.intent.source, input.eventSequence - 1, input.expiresAt);
+        if (!source || source.sequence !== input.eventSequence || source.envelope.event.id !== input.eventId
+            || externalEventDigest(source.envelope) !== input.eventDigest)
+            fail();
+    }
+    /** Called by GoalWakeRuntime before native resume. Scheduled wakes remain unaffected. */
+    assertWakeCurrent(wakeIntent, phase = 'before-resume') {
+        if (!wakeIntent.id.startsWith('goal-event-wake-'))
+            return;
+        const waitId = wakeIntent.id.slice('goal-event-wake-'.length);
+        const wait = this.#store.get(waitId);
+        if (!wait || (wait.state !== 'matched' && wait.state !== 'materialized') || !wait.match || !same(wait.match.wake, wakeIntent)
+            || Date.now() >= wakeIntent.expiresAt)
+            fail();
+        const record = this.#recordCurrent(wait.intent, false);
+        if (!record)
+            fail();
+        // Retirement stops new observation/execution, but does not revoke the
+        // already dispatched wake's right to settle its exact completed Goal.
+        if (phase === 'terminal' && wait.state === 'materialized' && record.native.phase === 'complete'
+            && this.wake.inspect(wait.intent.wake.scope, wait.intent.wake.goalId).some(wake => wake.intent.id === wakeIntent.id && wake.state === 'dispatched')) {
+            this.#source?.retireGoalSource?.(this.#claim(wait.intent));
+            if (this.#source?.canSettleGoalSource?.(this.#claim(wait.intent)) === true)
+                return;
+        }
+        if (!this.#sourceCurrent(wait.intent))
+            fail();
+    }
+}
+//# sourceMappingURL=event-wait.js.map

package/lib/event-wait.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-wait.js","sourceRoot":"","sources":["../src/event-wait.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAA;AACzE,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAA8B,MAAM,oDAAoD,CAAA;AAIhJ,OAAO,EAAE,kBAAkB,EAA8E,MAAM,uBAAuB,CAAA;AAiCtI,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAA;AACpF,SAAS,IAAI,KAAY,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAA,CAAC,CAAC;AACtH,MAAM,YAAY,GAAG,CAAC,CAA0B,EAAE,CAA0B,EAAE,EAAE,CAAC,IAAI,CACnF,EAAE,GAAG,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,CAC/D,CAAA;AACD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAA;IACzD,MAAM,SAAS,GAAG,KAA8B,CAAA;IAChD,OAAO,OAAO,SAAS,CAAC,cAAc,KAAK,UAAU,IAAI,OAAO,SAAS,CAAC,eAAe,KAAK,UAAU,IAAI,OAAO,SAAS,CAAC,sBAAsB,KAAK,UAAU,CAAC,CAAC,CAAC,SAAyB,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5M,CAAC;AACD,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAA;IACzD,OAAO,OAAQ,KAAqC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,KAA2B,CAAC,CAAC,CAAC,SAAS,CAAA;AACxH,CAAC;AACD,SAAS,uBAAuB,CAAC,QAAiB,EAAE,KAAuB;IACzE,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,MAAM,SAAS,GAAG,QAAgD,CAAA;IAClE,OAAO,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;WACpH,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;WAC5E,SAAS,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,IAAI,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;WAChG,SAAS,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WAC7C,SAAS,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,IAAI,SAAS,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WAClG,SAAS,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY,IAAI,SAAS,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;WACtF,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAA;AAC9C,CAAC;AACD,SAAS,wBAAwB,CAAC,QAAqC,EAAE,KAAuB;IAC9F,OAAO,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ;WACxF,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM,CAAA;AAClD,CAAC;AAED,kFAAkF;AAClF,MAAM,OAAO,oBAAoB;IAO0B;IACtC;IACA;IARV,MAAM,CAAoB;IACnC,OAAO,CAA0B;IACjC,YAAY,CAA0B;IACtC,KAAK,GAAG,IAAI,CAAA;IACZ,SAAS,GAAG,CAAC,CAAA;IACb,OAAO,GAAG,EAAE,CAAA;IACZ,YAAY,GAAY,EAAE,IAAY,EAAmB,IAAqB,EAC3D,OAAgE,EAChE,YAA2B,GAAG,EAAE,CAAC,SAAS;QAFJ,SAAI,GAAJ,IAAI,CAAiB;QAC3D,YAAO,GAAP,OAAO,CAAyD;QAChE,cAAS,GAAT,SAAS,CAAiC;QAC3D,IAAI,CAAC,MAAM,GAAG,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAEzC;QAAC,GAAwG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,EAAE;YAC7I,MAAM,SAAS,GAAG,MAAM,CAAE,OAAuC,CAAC,aAAa,CAAC,CAAA;YAChF,IAAI,CAAC,SAAS;gBAAE,OAAO,GAAG,EAAE,GAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,OAAO,GAAG,SAAS,CAAA;YACxB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,sBAAsB,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAA,CAAC,CAAC,CAAC,CAAA;YACvF,IAAI,CAAC,SAAS,EAAE,CAAA;YAChB,OAAO,GAAG,EAAE,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,IAAI,CAAC,OAAO,GAAG,SAAS,CAAA,CAAC,CAAC,CAAA;QACjI,CAAC,CAAC,CAAA;QACF,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE;YACd,gFAAgF;YAChF,4EAA4E;YAC5E,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,CAAA,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;YAC5D,KAAK,CAAC,KAAK,EAAE,EAAE,CAAA;YACf,OAAO,GAAG,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAA,CAAC,CAAC,CAAA;QACvG,CAAC,EAAE,6BAA6B,CAAC,CAAA;IACnC,CAAC;IACD,QAAQ,CAAC,SAAiB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAA;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;YAAE,IAAI,EAAE,CAAA;QAClC,OAAO,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,CAAC,MAA2B;QACjC,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,IAAI,EAAE,CAAA;QACvB,oEAAoE;QACpE,mEAAmE;QACnE,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACxC,oFAAoF;QACpF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAE,CAAA;IACzC,CAAC;IACD,OAAO,CAAC,KAAgB,EAAE,MAAc,IAA8B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA,CAAC,CAAC;IAC9G,mGAAmG;IACnG,mBAAmB,CAAC,MAAkB;QACpC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QACjE,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC3D,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS;mBAC/D,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAA;YAChE,IAAI,CAAC;gBAAC,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,OAAO,KAAK,CAAA;YAAC,CAAC;QACxI,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,sBAAsB,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;IACjH,SAAS;QACP,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAM;QACvB,kFAAkF;QAClF,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;YAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;QAAC,CAAC;QACzG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;YAC7B,IAAI,CAAC;gBAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,IAAI,CAAC,SAAS,EAAE,CAAA;YAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,cAAc,CAAC,MAA2B,EAAE,aAAa,GAAG,IAAI;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACnC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;eACpG,MAAM,CAAC,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM;eAC9G,MAAM,CAAC,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa;eAChE,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS;gBACxC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAC3C,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;eAC7E,aAAa,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QACtH,OAAO,MAAM,CAAA;IACf,CAAC;IACD,cAAc,CAAC,MAA2B;QACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAA;QAC3B,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAA;QAC7B,MAAM,MAAM,GAAG,iBAAiB,CAAA;QAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,OAAO,SAAS,CAAA;QACnH,IAAI,CAAC;YAAC,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAAC,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,SAAS,CAAA;QAAC,CAAC;IACvL,CAAC;IACD,UAAU,CAAC,IAAmB;QAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU;YAAE,OAAM;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACtB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACvK,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAA;QAC3B,IAAI,CAAC,MAAM;YAAE,OAAM,CAAC,0EAA0E;QAC9F,IAAI,SAAiC,CAAA;QACrC,IAAI,CAAC;YAAC,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACzE,IAAI,KAAK,YAAY,KAAK,IAAI,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;;gBACxG,MAAM,KAAK,CAAA;YAChB,OAAM;QACR,CAAC;QACD,IAAI,SAAS,EAAE,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;YAC5E,MAAM,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YAC/B,OAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;iBAC7E,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,KAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAA;YAC9D,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAAC,OAAM;YAAC,CAAC;YACnH,IAAI,KAAK,KAAK,YAAY,IAAI,SAAS,EAAE,MAAM,CAAC,KAAK,KAAK,UAAU;gBAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YACzH,IAAI,KAAK,KAAK,YAAY,IAAI,SAAS,EAAE,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAM;QACjJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;YAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC/D,qEAAqE;QACrE,oEAAoE;QACpE,IAAI,CAAC;YAAC,MAAM,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QAC3G,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;iBAC7E,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,KAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAA;YAC9D,2EAA2E;YAC3E,oEAAoE;YACpE,IAAI,KAAK,KAAK,YAAY;gBAAE,OAAM;QACpC,CAAC;QACD,IAAI,MAA8B,CAAA;QAClC,IAAI,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,KAAK,cAAc,CAAC,CAAA;QAAC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAC9F,IAAI,KAAK,YAAY,KAAK,IAAI,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;;gBACxG,MAAM,KAAK,CAAA;YAChB,OAAM;QACR,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,cAAc,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAAC,OAAM;QAAC,CAAC;QACvK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS;YAC7C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YAC3C,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,IAAI,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACrF,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAAC,OAAM;QACjD,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;YAC3B,IAAI,KAAK,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;YACjH,IAAI,CAAC,KAAK;gBAAE,OAAM;YAClB,IAAI,QAAQ,GAAG,0BAA0B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YACzD,MAAM,KAAK,GAAG,CAAC,SAAsB,EAAE,KAA4B,EAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB;mBACjL,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI;mBAChG,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;mBACpH,KAAK,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAA;YACzE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAAE,OAAM;YACnC,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;gBACjD,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;gBAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;oBAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;oBAAC,OAAM;gBAAC,CAAC;gBAC1D,IAAI,UAAU,GAAG,KAAK,CAAA;gBACtB,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;oBACjD,MAAM,KAAK,GAAqB;wBAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK;wBAChG,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS;wBAC7E,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;wBACxF,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ;wBAC9F,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;wBAC1F,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ;wBACrC,KAAK,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE;wBACxI,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS;qBACjC,CAAA;oBACD,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;oBAC5C,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;wBAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;wBAAC,OAAM;oBAAC,CAAC;oBAC/G,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;wBACzC,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC;+BAC/G,UAAU,CAAC,QAAQ,CAAC,aAAa,GAAG,KAAK,CAAC,QAAQ;4BAAE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;wBACnJ,IAAI,UAAU,CAAC,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;4BACzD,IAAI,CAAC,wBAAwB,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC;gCAAE,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAA;4BACrJ,UAAU,GAAG,IAAI,CAAC;4BAAC,MAAK;wBAC1B,CAAC;oBACH,CAAC;oBACD,IAAI,UAAU,CAAC,WAAW,KAAK,OAAO,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS;wBAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAA;oBAClJ,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;oBAC9F,IAAI,CAAC,IAAI;wBAAE,OAAM;oBACjB,MAAM,YAAY,GAAG,0BAA0B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;oBAC9D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC;wBAAE,OAAM;oBACtC,KAAK,GAAG,IAAI,CAAC;oBAAC,QAAQ,GAAG,YAAY,CAAA;oBACrC,SAAQ;gBACV,CAAC;gBACD,yEAAyE;gBACzE,iFAAiF;gBACjF,IAAI,CAAC,UAAU;oBAAE,OAAM;YACzB,CAAC;YACD,MAAM,EAAE,GAAG,GAAG,CAAA;YACd,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;YAChF,IAAI,SAAS,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;gBAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAAC,OAAM;YAAC,CAAC;YACvE,MAAM,IAAI,GAAmB,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,mBAAmB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,CAAA;YAC5G,oFAAoF;YACpF,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;QACxF,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAM,CAAC,IAAI,CAAC,CAAA;YACvC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC1C,CAAC;IACH,CAAC;IACD,SAAS,CAAC,IAAmB,EAAE,MAA4C;QACzE,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS;YAAE,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAA;QACpL,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IAC9C,CAAC;IACD,gBAAgB;QACd,qFAAqF;QACrF,IAAI,CAAC,SAAS,EAAE,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,MAA2B;QAChC,MAAM,MAAM,GAAG,iBAAiB,CAAA;QAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,IAAI,EAAE,CAAA;QACzG,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;YACnH,UAAU,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;YAC9F,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC7H,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAA;IAC/F,CAAC;IACD,0FAA0F;IAC1F,wBAAwB,CAAC,KAA2B;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAC1C,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS;eACtF,IAAI,CAAC,MAAM,CAAC,kBAAkB,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;eAChG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;eACjG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,cAAc;eAClH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;eACrH,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;eACxG,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC;eACvF,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,EAAE,CAAA;QAC7G,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;YAAE,IAAI,EAAE,CAAA;QAClE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,GAAG,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;QAC1G,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,aAAa,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO;eAC/F,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,WAAW;YAAE,IAAI,EAAE,CAAA;IACzE,CAAC;IACD,yFAAyF;IACzF,iBAAiB,CAAC,UAA0B,EAAE,QAAkD,eAAe;QAC7G,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC;YAAE,OAAM;QACzD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACpC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC;eACxH,IAAI,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC,SAAS;YAAE,IAAI,EAAE,CAAA;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;QACtD,IAAI,CAAC,MAAM;YAAE,IAAI,EAAE,CAAA;QACnB,sEAAsE;QACtE,sEAAsE;QACtE,IAAI,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,cAAc,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU;eAC1F,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,EAAE,CAAC;YACtJ,IAAI,CAAC,OAAO,EAAE,gBAAgB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;YAC1D,IAAI,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAM;QACpF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,EAAE,CAAA;IAC/C,CAAC;CACF"}

package/lib/execution-store.d.ts

@@ -0,0 +1,23 @@
+import type { GoalExecutionIntent, GoalExecutionRun, GoalScope } from './types.js';
+/** Durable, non-dispatching ledger.  A recovered dispatch is always unknown. */
+export declare class GoalExecutionStore {
+    #private;
+    constructor(path: string);
+    prepare(input: GoalExecutionIntent): GoalExecutionRun;
+    get(runId: string): GoalExecutionRun | undefined;
+    bindAcceptance(runId: string, acceptance: {
+        contractId: string;
+        contractDigest: string;
+    }): GoalExecutionRun;
+    markDispatched(runId: string, now: number): GoalExecutionRun;
+    finish(runId: string, execution: {
+        status: 'succeeded' | 'unknown';
+        quiescent: boolean;
+        completedAt: number;
+    }): GoalExecutionRun;
+    getByContract(contractId: string): GoalExecutionRun | undefined;
+    listForGoal(scope: GoalScope, goalId: string, limit?: number): readonly GoalExecutionRun[];
+    recoverIncomplete(): readonly GoalExecutionRun[];
+    close(): void;
+}
+//# sourceMappingURL=execution-store.d.ts.map

package/lib/execution-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-store.d.ts","sourceRoot":"","sources":["../src/execution-store.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AA8ClF,gFAAgF;AAChF,qBAAa,kBAAkB;;gBAEjB,IAAI,EAAE,MAAM;IAmDxB,OAAO,CAAC,KAAK,EAAE,mBAAmB,GAAG,gBAAgB;IAMrD,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAChD,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,GAAG,gBAAgB;IAO3G,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,gBAAgB;IAI5D,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE;QAAE,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC;QAAC,SAAS,EAAE,OAAO,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,GAAG,gBAAgB;IAMhI,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAC/D,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,SAAS,gBAAgB,EAAE;IAWtF,iBAAiB,IAAI,SAAS,gBAAgB,EAAE;IAChD,KAAK,IAAI,IAAI;CACd"}

package/lib/execution-store.js

@@ -0,0 +1,207 @@
+import { DatabaseSync } from 'node:sqlite';
+import { acceptanceCanonicalJson, acceptanceDigest } from '@dsh-enhanced/task-acceptance-contract';
+import { GoalStoreError } from './types.js';
+import { prepareGoalStoreDatabaseFile } from './store.js';
+function fail(code) { throw new GoalStoreError(code); }
+const same = (left, right) => acceptanceDigest(left) === acceptanceDigest(right);
+const parse = (value) => { try {
+    return JSON.parse(value);
+}
+catch {
+    return fail('schema');
+} };
+const freeze = (value) => { if (value && typeof value === 'object') {
+    for (const child of Object.values(value))
+        freeze(child);
+    Object.freeze(value);
+} ; return value; };
+function intentInput(value) {
+    const { runId, scope, objective, dependencies, admission, task } = value ?? {};
+    if (typeof runId !== 'string' || runId.length === 0 || runId.length > 512 || typeof objective !== 'string' || objective.length === 0 || objective.length > 16_384
+        || !scope || typeof scope.principalId !== 'string' || typeof scope.principalRecordId !== 'string' || !Number.isSafeInteger(scope.principalVersion) || scope.principalVersion < 1
+        || typeof scope.workspace !== 'string' || !scope.workspace.startsWith('/') || typeof scope.preset !== 'string'
+        || !admission || !Number.isSafeInteger(admission.issuedAt) || admission.issuedAt < 0 || !Number.isSafeInteger(admission.expiresAt)
+        || admission.expiresAt <= admission.issuedAt || admission.expiresAt - admission.issuedAt > 300_000
+        || !Number.isSafeInteger(admission.maxGoalRounds) || admission.maxGoalRounds < 1 || !Number.isSafeInteger(admission.round) || admission.round < 1 || admission.round > admission.maxGoalRounds
+        || admission.authorizationDigest !== acceptanceDigest({ scope, action: 'execute', resource: { kind: 'goal', id: 'business-context' } })
+        || !task || task.kind !== 'goal-step' || task.ref !== runId || !task.goal || task.goal.runId !== runId
+        || [task.goal.id, task.goal.stepId, task.goal.sessionId, task.goal.nativeGoalId].some(item => typeof item !== 'string' || !/^[A-Za-z0-9_.:-]{1,512}$/u.test(item))
+        || !Number.isSafeInteger(task.goal.definitionVersion) || task.goal.definitionVersion < 1 || !Number.isSafeInteger(task.goal.nativeRevision) || task.goal.nativeRevision < 1
+        || task.goal.definitionDigest !== acceptanceDigest({ objective })
+        || dependencies !== undefined && (!Array.isArray(dependencies) || dependencies.length > 16
+            || new Set(dependencies.map(item => item?.goalId)).size !== dependencies.length
+            || dependencies.some(item => item === null || typeof item !== 'object'
+                || Object.keys(item).length !== 3 || !Object.hasOwn(item, 'goalId') || !Object.hasOwn(item, 'definitionVersion') || !Object.hasOwn(item, 'definitionDigest')
+                || typeof item.goalId !== 'string' || !/^[A-Za-z0-9_.:-]{1,512}$/u.test(item.goalId)
+                || !Number.isSafeInteger(item.definitionVersion) || item.definitionVersion < 1
+                || typeof item.definitionDigest !== 'string' || !/^[a-f0-9]{64}$/u.test(item.definitionDigest))))
+        fail('invalid-input');
+    return freeze(JSON.parse(JSON.stringify(value)));
+}
+function run(row) {
+    const intent = intentInput(parse(row.intent_json));
+    if (row.scope_key !== acceptanceCanonicalJson(intent.scope) || row.goal_id !== intent.task.goal.id || row.issued_at !== intent.admission.issuedAt)
+        fail('schema');
+    const acceptance = row.contract_id === null && row.contract_digest === null ? undefined
+        : (typeof row.contract_id === 'string' && /^[A-Za-z0-9_.:-]{1,512}$/u.test(row.contract_id) && typeof row.contract_digest === 'string' && /^[a-f0-9]{64}$/u.test(row.contract_digest)
+            ? freeze({ contractId: row.contract_id, contractDigest: row.contract_digest }) : fail('schema'));
+    const dispatchedAt = row.dispatched_at === null ? undefined : (Number.isSafeInteger(row.dispatched_at) && row.dispatched_at >= 0 ? row.dispatched_at : fail('schema'));
+    const execution = row.execution_json === null ? undefined : parse(row.execution_json);
+    if (execution && (execution.status !== 'succeeded' && execution.status !== 'unknown' || typeof execution.quiescent !== 'boolean' || !Number.isSafeInteger(execution.completedAt) || execution.completedAt < 0))
+        fail('schema');
+    if (dispatchedAt !== undefined && (acceptance === undefined || dispatchedAt < intent.admission.issuedAt || dispatchedAt >= intent.admission.expiresAt))
+        fail('schema');
+    if (execution !== undefined && (execution === null || dispatchedAt === undefined || execution.completedAt < dispatchedAt
+        || (execution.status === 'succeeded' && (!execution.quiescent || execution.completedAt >= intent.admission.expiresAt))))
+        fail('schema');
+    return freeze({ intent, ...(acceptance === undefined ? {} : { acceptance }), ...(dispatchedAt === undefined ? {} : { dispatchedAt }), ...(execution === undefined ? {} : { execution: freeze(execution) }) });
+}
+/** Durable, non-dispatching ledger.  A recovered dispatch is always unknown. */
+export class GoalExecutionStore {
+    #database;
+    constructor(path) {
+        if (path !== ':memory:')
+            prepareGoalStoreDatabaseFile(path);
+        this.#database = new DatabaseSync(path, { enableForeignKeyConstraints: true });
+        try {
+            this.#database.exec('PRAGMA foreign_keys = ON; PRAGMA busy_timeout = 250; PRAGMA journal_mode = WAL; PRAGMA synchronous = FULL;');
+            let version = this.#database.prepare('PRAGMA user_version').get().user_version;
+            const tables = this.#database.prepare("SELECT name FROM sqlite_schema WHERE type = 'table' AND name NOT LIKE 'sqlite_%'").all();
+            if (version === 0 && tables.length === 0) {
+                this.#database.exec(`
+      BEGIN IMMEDIATE;
+      CREATE TABLE IF NOT EXISTS goal_execution_runs (
+        run_id TEXT PRIMARY KEY, intent_json TEXT NOT NULL, contract_id TEXT UNIQUE, contract_digest TEXT,
+        dispatched_at INTEGER, execution_json TEXT, scope_key TEXT NOT NULL, goal_id TEXT NOT NULL, issued_at INTEGER NOT NULL
+      ) STRICT;
+      PRAGMA user_version = 2; COMMIT;`);
+                version = 2;
+            }
+            else if (version === 1 && tables.length === 1 && tables[0]?.name === 'goal_execution_runs') {
+                this.#database.exec('BEGIN IMMEDIATE;');
+                try {
+                    this.#database.exec("ALTER TABLE goal_execution_runs ADD COLUMN scope_key TEXT NOT NULL DEFAULT ''; ALTER TABLE goal_execution_runs ADD COLUMN goal_id TEXT NOT NULL DEFAULT ''; ALTER TABLE goal_execution_runs ADD COLUMN issued_at INTEGER NOT NULL DEFAULT 0;");
+                    const rows = this.#database.prepare('SELECT run_id, intent_json FROM goal_execution_runs').all();
+                    const backfill = this.#database.prepare('UPDATE goal_execution_runs SET scope_key = ?, goal_id = ?, issued_at = ? WHERE run_id = ?');
+                    for (const row of rows) {
+                        const intent = intentInput(parse(row.intent_json));
+                        backfill.run(acceptanceCanonicalJson(intent.scope), intent.task.goal.id, intent.admission.issuedAt, row.run_id);
+                        this.#get(row.run_id);
+                    }
+                    this.#database.exec('PRAGMA user_version = 2; COMMIT;');
+                    version = 2;
+                }
+                catch (error) {
+                    this.#database.exec('ROLLBACK;');
+                    throw error;
+                }
+            }
+            else if (version !== 2 || tables.length !== 1 || tables[0]?.name !== 'goal_execution_runs')
+                fail('schema');
+            const columns = this.#database.prepare('PRAGMA table_info(goal_execution_runs)').all().map(item => item.name);
+            if (!same(columns, ['run_id', 'intent_json', 'contract_id', 'contract_digest', 'dispatched_at', 'execution_json', 'scope_key', 'goal_id', 'issued_at']))
+                fail('schema');
+            this.#database.exec('CREATE INDEX IF NOT EXISTS goal_execution_scope_goal_issued ON goal_execution_runs(scope_key, goal_id, issued_at DESC, run_id ASC)');
+            for (const row of this.#database.prepare('SELECT run_id FROM goal_execution_runs').all())
+                this.#get(row.run_id);
+            if (path !== ':memory:')
+                prepareGoalStoreDatabaseFile(path);
+        }
+        catch (error) {
+            this.#database.close();
+            throw error;
+        }
+    }
+    #get(runId) {
+        const row = this.#database.prepare('SELECT intent_json, contract_id, contract_digest, dispatched_at, execution_json, scope_key, goal_id, issued_at FROM goal_execution_runs WHERE run_id = ?').get(runId);
+        if (row === undefined)
+            return undefined;
+        const result = run(row);
+        if (result.intent.runId !== runId)
+            fail('schema');
+        return result;
+    }
+    #write(sql, ...parameters) {
+        try {
+            return Number(this.#database.prepare(sql).run(...parameters).changes);
+        }
+        catch {
+            fail('conflict');
+        }
+    }
+    prepare(input) {
+        const intent = intentInput(input);
+        const existing = this.#get(intent.runId);
+        if (existing !== undefined) {
+            if (!same(existing.intent, intent))
+                fail('conflict');
+            return existing;
+        }
+        this.#write('INSERT INTO goal_execution_runs(run_id, intent_json, scope_key, goal_id, issued_at) VALUES (?, ?, ?, ?, ?)', intent.runId, JSON.stringify(intent), acceptanceCanonicalJson(intent.scope), intent.task.goal.id, intent.admission.issuedAt);
+        return this.#get(intent.runId);
+    }
+    get(runId) { return typeof runId === 'string' ? this.#get(runId) : fail('invalid-input'); }
+    bindAcceptance(runId, acceptance) {
+        const found = this.#get(runId);
+        if (!found)
+            fail('not-found');
+        if (!/^[A-Za-z0-9_.:-]{1,512}$/u.test(acceptance.contractId) || !/^[a-f0-9]{64}$/u.test(acceptance.contractDigest))
+            fail('invalid-input');
+        if (found.acceptance) {
+            if (!same(found.acceptance, acceptance))
+                fail('conflict');
+            return found;
+        }
+        if (this.#write('UPDATE goal_execution_runs SET contract_id = ?, contract_digest = ? WHERE run_id = ? AND contract_id IS NULL AND contract_digest IS NULL', acceptance.contractId, acceptance.contractDigest, runId) !== 1)
+            fail('conflict');
+        return this.#get(runId);
+    }
+    markDispatched(runId, now) {
+        const found = this.#get(runId);
+        if (!found)
+            fail('not-found');
+        if (found.acceptance === undefined || found.dispatchedAt !== undefined || found.execution !== undefined || !Number.isSafeInteger(now) || now < found.intent.admission.issuedAt || now >= found.intent.admission.expiresAt)
+            fail('conflict');
+        if (this.#write('UPDATE goal_execution_runs SET dispatched_at = ? WHERE run_id = ? AND dispatched_at IS NULL AND execution_json IS NULL', now, runId) !== 1)
+            fail('conflict');
+        return this.#get(runId);
+    }
+    finish(runId, execution) {
+        const found = this.#get(runId);
+        if (!found)
+            fail('not-found');
+        if (found.dispatchedAt === undefined || !Number.isSafeInteger(execution.completedAt) || execution.completedAt < found.dispatchedAt || typeof execution.quiescent !== 'boolean' || (execution.status !== 'succeeded' && execution.status !== 'unknown'))
+            fail('invalid-input');
+        if (found.execution) {
+            if (same(found.execution, execution))
+                return found;
+            fail('conflict');
+        }
+        if (execution.status === 'succeeded' && (!execution.quiescent || execution.completedAt >= found.intent.admission.expiresAt))
+            fail('invalid-input');
+        if (this.#write('UPDATE goal_execution_runs SET execution_json = ? WHERE run_id = ? AND execution_json IS NULL', JSON.stringify(freeze({ ...execution })), runId) !== 1)
+            fail('conflict');
+        return this.#get(runId);
+    }
+    getByContract(contractId) { if (typeof contractId !== 'string')
+        fail('invalid-input'); const row = this.#database.prepare('SELECT run_id FROM goal_execution_runs WHERE contract_id = ?').get(contractId); return row ? this.#get(row.run_id) : undefined; }
+    listForGoal(scope, goalId, limit = 50) {
+        if (!scope || typeof scope.principalId !== 'string' || typeof scope.principalRecordId !== 'string'
+            || !Number.isSafeInteger(scope.principalVersion) || scope.principalVersion < 1
+            || typeof scope.workspace !== 'string' || !scope.workspace.startsWith('/') || typeof scope.preset !== 'string'
+            || !Number.isSafeInteger(limit) || limit < 1 || limit > 100
+            || typeof goalId !== 'string' || !/^[A-Za-z0-9_.:-]{1,512}$/u.test(goalId))
+            fail('invalid-input');
+        const key = acceptanceCanonicalJson(scope);
+        const rows = this.#database.prepare('SELECT run_id FROM goal_execution_runs WHERE scope_key = ? AND goal_id = ? ORDER BY issued_at DESC, run_id ASC LIMIT ?')
+            .all(key, goalId, limit);
+        return freeze(rows.map(row => this.#get(row.run_id)));
+    }
+    recoverIncomplete() { const rows = this.#database.prepare('SELECT run_id, dispatched_at FROM goal_execution_runs WHERE dispatched_at IS NOT NULL AND execution_json IS NULL').all(); const recovered = []; for (const row of rows) {
+        const execution = JSON.stringify({ status: 'unknown', quiescent: false, completedAt: row.dispatched_at });
+        if (this.#write('UPDATE goal_execution_runs SET execution_json = ? WHERE run_id = ? AND execution_json IS NULL', execution, row.run_id) === 1)
+            recovered.push(this.#get(row.run_id));
+    } ; return freeze(recovered); }
+    close() { this.#database.close(); }
+}
+//# sourceMappingURL=execution-store.js.map