@spine-event-engine/storage-mysql 2.0.0-snapshot.21 → 2.0.0-snapshot.23

package/dist/mysql/agent-execution.js

@@ -0,0 +1,638 @@
+/*
+ * Copyright 2026, CodeMatters. All rights reserved.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
+ * in compliance with the License. You may obtain a copy of the License at
+ *
+ * https://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software distributed under the License
+ * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
+ * or implied. See the License for the specific language governing permissions and limitations under
+ * the License.
+ */
+import { create, toBinary } from "@bufbuild/protobuf";
+import { Time } from "@spine-event-engine/core";
+import { AgentExecutionHeadSchema, AgentExecutionRecordSchema, AgentInvocationStatus, } from "@spine-event-engine/proto/generated/spine/server/agent/execution_record_pb.js";
+import { AgentExecutionRecords, AgentExecutionSizes, AgentExecutionTransitions, AgentExecutionValues, AgentHistoryRecords, } from "@spine-event-engine/storage/provider";
+import { AgentHistoryHash } from "./agent-history.js";
+import { mysqlEntityLockKey, MysqlEntityCommitCoordinator } from "./entity-commit.js";
+import { MysqlEntityStorage } from "./entity-history.js";
+import { MysqlRecordStorage } from "./record-storage.js";
+import { AgentExecutionIndexBytes } from "./table-spec.js";
+/**
+ * Persists Agent claims and evidence through one required InnoDB transaction.
+ *
+ * @typeParam I Typed Agent identifier.
+ * @typeParam S Generated Agent state.
+ */
+export class MysqlAgentExecution {
+    input;
+    rows;
+    coordinator;
+    databaseName;
+    /**
+     * Native BLOB row limits for complete internal Protobuf wrappers.
+     */
+    capacity = Object.freeze({
+        executionRecordBytes: 65_535,
+        executionHeadBytes: 65_535,
+        historyRecordBytes: 65_535,
+    });
+    #open = true;
+    #ready;
+    /**
+     * Binds tenant-scoped record families and the native transaction coordinator.
+     *
+     * @param coordinator Native transaction coordinator.
+     * @param databaseName Tenant database name.
+     * @param input Requested fenced execution change.
+     * @param rows Provider record handles bound to the tenant.
+     */
+    constructor(input, rows, coordinator, databaseName) {
+        this.input = input;
+        this.rows = rows;
+        this.coordinator = coordinator;
+        this.databaseName = databaseName;
+    }
+    /**
+     * Persists original accepted work once under the per-instance row lock.
+     *
+     * @param accepted Original accepted signal and selected bindings.
+     * @returns Persisted invocation with the original accepted facts.
+     */
+    async admit(accepted) {
+        const key = AgentExecutionValues.requiredKey(accepted.key, this.input.stateType);
+        await this.ready();
+        const record = create(AgentExecutionRecordSchema, {
+            accepted,
+            status: AgentInvocationStatus.AGENT_INVOCATION_ACCEPTED,
+        });
+        this.validateRecord(record);
+        return this.transaction(key, async () => {
+            const head = (await this.currentHead(key)) ?? create(AgentExecutionHeadSchema, { scope: key.scope });
+            const prior = await this.existing(key);
+            if (prior !== undefined) {
+                if (!AgentExecutionValues.sameAccepted(prior.accepted, accepted))
+                    throw new Error("Agent execution admission conflicts with immutable source facts.");
+                return prior;
+            }
+            this.offerCandidate(head, record);
+            await this.rows.head.write(head);
+            await this.rows.invocation.writeImmutable(record);
+            return AgentExecutionValues.cloneRecord(record);
+        });
+    }
+    /**
+     * Reads one bounded page from complete native pending indexes.
+     *
+     * @param request Bounded pending-page request.
+     * @returns Bounded eligible work and continuation cursor.
+     */
+    async pending(request) {
+        await this.ready();
+        if (!Number.isSafeInteger(request.count) || request.count < 1)
+            throw new RangeError("Agent pending count must be a positive safe integer.");
+        const asOf = request.after?.asOf ?? Time.currentTime();
+        const { sql, values } = this.pendingQuery(request, asOf);
+        const found = await this.rows.head.historyPage(sql, values);
+        const observed = found.slice(0, request.count);
+        const records = [];
+        for (const head of observed) {
+            if (head.scope?.stateType !== this.input.stateType || head.pending === undefined)
+                throw new Error("MySQL Agent execution head scope or candidate is invalid.");
+            const record = await this.read(head.pending);
+            if (record !== undefined)
+                records.push(record);
+        }
+        const last = observed.at(-1);
+        return {
+            records,
+            hasMore: found.length > request.count,
+            ...(last?.scope === undefined || last.eligibleAt === undefined
+                ? {}
+                : { after: { asOf, key: { scope: last.scope, eligibleAt: last.eligibleAt } } }),
+        };
+    }
+    /**
+     * Builds the indexed native query for one fixed eligibility cutoff.
+     *
+     * @param request Bounded pending-page request.
+     * @param asOf Fixed provider-time eligibility cutoff.
+     * @returns Native SQL and exact bound values.
+     */
+    pendingQuery(request, asOf) {
+        const after = request.after?.key;
+        const values = [
+            AgentHistoryHash.value(this.input.stateType),
+            this.input.stateType,
+            AgentExecutionRecords.pendingLower(asOf),
+        ];
+        const clauses = ["`state_digest`=?", "BINARY `state_type`=BINARY ?", "`pending_key`<?"];
+        if (after !== undefined) {
+            clauses.push("`pending_key`>?");
+            values.push(AgentExecutionRecords.pendingKey(after.eligibleAt, after.scope));
+        }
+        values.push(request.count + 1);
+        const sql = `SELECT \`bytes\` FROM \`${this.rows.head.tableName}\` WHERE ${clauses.join(" AND ")} ` +
+            "ORDER BY `pending_key` ASC LIMIT ?";
+        return { sql, values };
+    }
+    /**
+     * Reads one complete invocation after provider reconstruction.
+     *
+     * @param key Original Agent invocation identity.
+     * @returns Complete stored invocation when present.
+     */
+    async read(key) {
+        await this.ready();
+        const record = await this.rows.invocation.read(invocationId(AgentExecutionValues.requiredKey(key, this.input.stateType)));
+        this.checkIdentity(record, key);
+        return record;
+    }
+    /**
+     * Acquires earliest unresolved work and records the current exclusive token.
+     *
+     * @param expiresAt Requested future lease expiry.
+     * @param key Original Agent invocation identity.
+     * @param token Exclusive claim token.
+     * @returns Claimed work and preferences when eligible.
+     */
+    async claim(key, token, expiresAt) {
+        await this.ready();
+        return this.transaction(key, () => this.claimLocked(key, token, expiresAt));
+    }
+    /**
+     * Checks the locked instance and writes one current lease.
+     *
+     * @param key Original Agent invocation identity.
+     * @param token New exclusive claim token.
+     * @param expiresAt Requested future lease expiry.
+     * @returns Claimed record and preferences when eligible.
+     */
+    async claimLocked(key, token, expiresAt) {
+        const now = Time.currentTime();
+        if (!token || AgentExecutionValues.compareTime(expiresAt, now) <= 0)
+            throw new TypeError("Agent claim requires a future expiry and token.");
+        const head = await this.currentHead(key);
+        const record = await this.existing(key);
+        if (head === undefined || record === undefined || !AgentExecutionValues.isPending(record, now))
+            return undefined;
+        if (!(await this.eligibleClaim(head, key, now)))
+            return undefined;
+        record.claimToken = token;
+        record.claimExpiresAt = expiresAt;
+        if (record.status === AgentInvocationStatus.AGENT_INVOCATION_ACCEPTED)
+            record.status = AgentInvocationStatus.AGENT_INVOCATION_ACTIVE;
+        head.active = key;
+        head.claimToken = token;
+        head.claimExpiresAt = expiresAt;
+        head.eligibleAt = expiresAt;
+        await this.rows.invocation.write(record);
+        await this.rows.head.write(head);
+        return {
+            record,
+            preferences: head.preferences.map((item) => item),
+        };
+    }
+    /**
+     * Checks the current head and earliest same-instance source.
+     *
+     * @param head Per-instance pending and lease record.
+     * @param key Original Agent invocation identity.
+     * @param now Fresh time read in the locked transaction.
+     * @returns Whether this invocation may receive the next lease.
+     */
+    async eligibleClaim(head, key, now) {
+        if (head.active !== undefined &&
+            head.claimExpiresAt !== undefined &&
+            AgentExecutionValues.compareTime(head.claimExpiresAt, now) > 0)
+            return false;
+        return (head.pending !== undefined &&
+            AgentExecutionRecords.invocation(head.pending) === AgentExecutionRecords.invocation(key) &&
+            (await this.earliest(key)));
+    }
+    /**
+     * Updates a still-live token under a fresh transaction clock.
+     *
+     * @param expiresAt Requested future lease expiry.
+     * @param key Original Agent invocation identity.
+     * @param token Exclusive claim token.
+     * @returns Whether the current lease was extended.
+     */
+    async renew(key, token, expiresAt) {
+        await this.ready();
+        return this.transaction(key, async () => {
+            const pair = await this.claimed(key, token);
+            if (pair?.record.claimExpiresAt === undefined ||
+                AgentExecutionValues.compareTime(expiresAt, pair.record.claimExpiresAt) <= 0)
+                return false;
+            pair.record.claimExpiresAt = expiresAt;
+            pair.head.claimExpiresAt = expiresAt;
+            pair.head.eligibleAt = expiresAt;
+            await this.rows.invocation.write(pair.record);
+            await this.rows.head.write(pair.head);
+            return true;
+        });
+    }
+    /**
+     * Persists a journal update and its immutable history under one transaction.
+     *
+     * @param input Requested fenced execution change.
+     * @returns Completion after fenced evidence is persisted.
+     */
+    async update(input) {
+        await this.ready();
+        this.validateRecord(input.next);
+        await this.transaction(input.key, async () => {
+            const pair = await this.expected(input);
+            AgentExecutionTransitions.assertUpdate(pair.record, input.next);
+            await this.appendHistory(input.key, input.historyEntries ?? []);
+            await this.rows.invocation.write(input.next);
+            if (input.next.status === AgentInvocationStatus.AGENT_INVOCATION_TERMINATED) {
+                await this.advanceCandidate(pair.head, input.key, AgentExecutionValues.requiredOrder(pair.record));
+                await this.rows.head.write(pair.head);
+            }
+        });
+    }
+    /**
+     * Commits state, history, preferences and outgoing obligations together.
+     *
+     * @param input Requested fenced execution change.
+     * @returns Completion after conditional Entity and evidence commit.
+     */
+    async complete(input) {
+        await this.ready();
+        this.validateRecord(input.next);
+        await this.transaction(input.key, async () => {
+            const pair = await this.expected(input);
+            const expectedVersion = this.validateCompletion(input, pair.record);
+            AgentExecutionTransitions.assertCompletion(input.next);
+            await this.completeEntity(input, expectedVersion);
+            await this.appendHistory(input.key, input.historyEntries ?? []);
+            await this.rows.invocation.write(input.next);
+            pair.head.preferences = AgentExecutionValues.requiredCompletion(input.next).preferences.map((item) => item);
+            if (input.next.status === AgentInvocationStatus.AGENT_INVOCATION_COMPLETED)
+                await this.advanceCandidate(pair.head, input.key, AgentExecutionValues.requiredOrder(pair.record));
+            await this.rows.head.write(pair.head);
+        });
+    }
+    /**
+     * Marks original outgoing IDs delivered under the still-current token.
+     *
+     * @param expectedRecordBytes Exact prior execution record bytes.
+     * @param key Original Agent invocation identity.
+     * @param signals Original outgoing signal identities.
+     * @param token Exclusive claim token.
+     * @returns Completion after original output IDs are marked delivered.
+     */
+    async markDelivered(key, token, expectedRecordBytes, signals) {
+        await this.ready();
+        await this.transaction(key, () => this.deliverLocked(key, token, expectedRecordBytes, signals));
+    }
+    /**
+     * Marks exact saved output IDs within the current per-instance transaction.
+     *
+     * @param key Original Agent invocation identity.
+     * @param token Current exclusive claim token.
+     * @param expectedRecordBytes Exact prior execution record bytes.
+     * @param signals Original accepted output IDs.
+     * @returns Completion after persisted output status is updated.
+     */
+    async deliverLocked(key, token, expectedRecordBytes, signals) {
+        const pair = await this.expected({
+            key,
+            token,
+            expectedRecordBytes,
+            next: create(AgentExecutionRecordSchema),
+        }, false);
+        if (pair.record.completion === undefined)
+            throw new Error("Agent execution has no completed output.");
+        AgentExecutionTransitions.assertDelivery(pair.record, signals);
+        for (const signal of signals)
+            AgentExecutionValues.markSignal(AgentExecutionValues.requiredCompletion(pair.record), signal);
+        if (pair.record.completion.outgoing.every((item) => item.delivered)) {
+            pair.record.status = AgentInvocationStatus.AGENT_INVOCATION_COMPLETED;
+            await this.advanceCandidate(pair.head, key, AgentExecutionValues.requiredOrder(pair.record));
+        }
+        await this.rows.invocation.write(pair.record);
+        await this.rows.head.write(pair.head);
+    }
+    /**
+     * Closes record handles without deleting accepted work.
+     */
+    close() {
+        if (!this.#open)
+            return;
+        this.#open = false;
+        this.rows.invocation.close();
+        this.rows.head.close();
+        this.rows.history.close();
+        this.rows.entity.close();
+        this.rows.events.close();
+    }
+    /**
+     * Prepares existing record families and verifies complete binary indexes.
+     *
+     * @returns Completion after provider capabilities are checked.
+     */
+    ready() {
+        if (!this.#open)
+            throw new Error("Agent execution storage handle is closed.");
+        return (this.#ready ??= this.initialize());
+    }
+    /**
+     * Prepares every table before transactions and checks the native indexes.
+     *
+     * @returns Completion after native tables and indexes are prepared.
+     */
+    async initialize() {
+        await Promise.all([
+            this.rows.invocation.prepare(),
+            this.rows.head.prepare(),
+            this.rows.history.prepare(),
+            this.rows.entity.prepare(),
+            this.rows.events.prepare(),
+        ]);
+        await this.rows.head.ensureHistoryIndex("agent_execution_pending", [
+            "state_digest",
+            "pending_key",
+        ]);
+        await this.rows.invocation.ensureHistoryIndex("agent_execution_instance", [
+            "scope_digest",
+            "status",
+            "order_key",
+        ]);
+    }
+    /**
+     * Executes all record-family work on one required InnoDB connection.
+     *
+     * @param key Original Agent invocation identity.
+     * @param work Operation executed inside the transaction.
+     * @returns Callback result after the native transaction commits.
+     * @typeParam T Result returned by the transaction callback.
+     */
+    async transaction(key, work) {
+        AgentExecutionValues.requiredKey(key, this.input.stateType);
+        const rows = this.rows;
+        const tables = [
+            rows.invocation.tableName,
+            rows.head.tableName,
+            rows.history.tableName,
+            ...rows.entity.tableNames(),
+            rows.events.tableName,
+        ];
+        const lock = mysqlEntityLockKey({
+            databaseName: this.databaseName,
+            entityKey: AgentExecutionRecords.scope(AgentExecutionValues.requiredScope(key)),
+            sourceTypeName: this.input.stateType,
+        });
+        return this.coordinator.commit(tables, lock, (connection) => rows.invocation.withConnection(connection, () => rows.head.withConnection(connection, () => rows.history.withConnection(connection, () => rows.entity.withConnection(connection, () => rows.events.withConnection(connection, work))))), { requireTransaction: true });
+    }
+    /**
+     * Reads a head under the transaction lock and verifies the full scope.
+     *
+     * @param key Original Agent invocation identity.
+     * @returns Per-instance head when present.
+     */
+    async currentHead(key) {
+        const scope = AgentExecutionValues.requiredScope(key);
+        const found = await this.rows.head.readLocked(AgentHistoryHash.value(AgentExecutionRecords.scope(scope)));
+        if (found !== undefined &&
+            AgentExecutionRecords.scope(AgentExecutionValues.requiredHeadScope(found)) !==
+                AgentExecutionRecords.scope(scope))
+            throw new Error("Agent execution head physical ID conflicts with another scope.");
+        return found;
+    }
+    /**
+     * Reads the invocation under the transaction lock and verifies its identity.
+     *
+     * @param key Original Agent invocation identity.
+     * @returns Stored invocation when present.
+     */
+    async existing(key) {
+        const found = await this.rows.invocation.readLocked(invocationId(key));
+        this.checkIdentity(found, key);
+        return found;
+    }
+    /**
+     * Rejects a physical digest collision on an invocation row.
+     *
+     * @param found Stored record read in this transaction.
+     * @param key Original Agent invocation identity.
+     */
+    checkIdentity(found, key) {
+        if (found !== undefined &&
+            AgentExecutionRecords.invocation(AgentExecutionValues.requiredKey(AgentExecutionValues.requiredAccepted(found).key, this.input.stateType)) !== AgentExecutionRecords.invocation(key))
+            throw new Error("Agent execution physical ID conflicts with another invocation.");
+    }
+    /**
+     * Checks this is the earliest unresolved invocation in the full scope.
+     *
+     * @param key Original Agent invocation identity.
+     * @returns Whether this invocation is earliest unresolved work.
+     */
+    async earliest(key) {
+        const first = await this.successor(key);
+        return (first !== undefined &&
+            AgentExecutionRecords.invocation(AgentExecutionValues.requiredInvocation(first)) ===
+                AgentExecutionRecords.invocation(key));
+    }
+    /**
+     * Reads at most two native rows for each unresolved status.
+     *
+     * @param exclude Invocation omitted while selecting the successor.
+     * @param key Original Agent invocation identity.
+     * @returns Earliest unresolved invocation when present.
+     */
+    async successor(key, exclude) {
+        const scope = AgentExecutionValues.requiredScope(key);
+        const candidates = [];
+        for (const status of ["1", "2", "3"]) {
+            const sql = `SELECT \`bytes\` FROM \`${this.rows.invocation.tableName}\` WHERE ` +
+                "`scope_digest`=? AND BINARY `state_type`=BINARY ? AND BINARY `agent_key`=BINARY ? " +
+                "AND `status`=? ORDER BY `order_key` ASC LIMIT 2";
+            candidates.push(...(await this.rows.invocation.historyPage(sql, [
+                AgentHistoryHash.value(AgentExecutionRecords.scope(scope)),
+                scope.stateType,
+                scope.agentKey,
+                status,
+            ])));
+        }
+        return candidates
+            .filter((record) => exclude === undefined ||
+            AgentExecutionRecords.invocation(AgentExecutionValues.requiredInvocation(record)) !==
+                AgentExecutionRecords.invocation(exclude))
+            .sort((left, right) => AgentExecutionValues.compareText(AgentExecutionRecords.order(AgentExecutionValues.requiredOrder(left)), AgentExecutionRecords.order(AgentExecutionValues.requiredOrder(right))))[0];
+    }
+    /**
+     * Adds an earlier source while retaining the prior eligibility value.
+     *
+     * @param head Per-instance pending and lease record.
+     * @param record Persisted Agent execution record.
+     */
+    offerCandidate(head, record) {
+        AgentExecutionValues.offerCandidate(head, record);
+        this.validateHead(head);
+    }
+    /**
+     * Updates terminal work to the next same-instance source in one transaction.
+     *
+     * @param head Per-instance pending and lease record.
+     * @param key Original Agent invocation identity.
+     * @param order Original Inbox order.
+     * @returns Completion after updating the next pending head.
+     */
+    async advanceCandidate(head, key, order) {
+        const next = await this.successor(key, key);
+        AgentExecutionValues.advanceCandidate(head, order, next);
+        this.validateHead(head);
+    }
+    /**
+     * Reads the current claim with fresh Time inside the native transaction.
+     *
+     * @param key Original Agent invocation identity.
+     * @param token Exclusive claim token.
+     * @returns Current record and head if the token remains valid.
+     */
+    async claimed(key, token) {
+        const head = await this.currentHead(key);
+        const record = await this.existing(key);
+        if (!token ||
+            head?.claimToken !== token ||
+            record?.claimToken !== token ||
+            head.claimExpiresAt === undefined ||
+            AgentExecutionValues.compareTime(head.claimExpiresAt, Time.currentTime()) <= 0)
+            return undefined;
+        return { head, record };
+    }
+    /**
+     * Checks exact prior bytes and preserves immutable source facts.
+     *
+     * @param checkNext Whether to validate the proposed next record.
+     * @param input Requested fenced execution change.
+     * @returns Current fenced record and head.
+     */
+    async expected(input, checkNext = true) {
+        const pair = await this.claimed(input.key, input.token);
+        if (pair === undefined ||
+            !AgentExecutionValues.sameBytes(toBinary(AgentExecutionRecordSchema, pair.record), input.expectedRecordBytes))
+            throw new Error("Agent execution claim or expected record is no longer current.");
+        if (checkNext && !AgentExecutionValues.sameAccepted(pair.record.accepted, input.next.accepted))
+            throw new Error("Agent execution cannot change immutable accepted source facts.");
+        return pair;
+    }
+    /**
+     * Prepares immutable history records under the same fenced transaction.
+     *
+     * @param entries Immutable history entries to append.
+     * @param key Original Agent invocation identity.
+     * @returns Completion after immutable history is appended.
+     */
+    async appendHistory(key, entries) {
+        const scope = AgentExecutionValues.requiredScope(key);
+        for (const entry of entries)
+            if (AgentExecutionSizes.history(scope, entry) > this.capacity.historyRecordBytes)
+                throw new RangeError("Agent history record exceeds MySQL BLOB capacity.");
+        const records = entries.map((entry) => AgentHistoryRecords.record(scope.stateType, scope.agentKey, entry));
+        for (const record of records)
+            await this.rows.history.assertImmutable(record);
+        for (const record of records)
+            await this.rows.history.writeImmutable(record);
+    }
+    /**
+     * Rejects a changed initial Version and applies Entity rows in this transaction.
+     *
+     * @param expectedVersion Expected current Entity Version.
+     * @param input Requested fenced execution change.
+     * @returns Completion after conditional Entity state and Version write.
+     */
+    async completeEntity(input, expectedVersion) {
+        const recipient = AgentExecutionValues.requiredAccepted(input.next).recipientId;
+        const id = recipient === undefined ? undefined : this.input.entity.id.unpack(recipient);
+        if (id === undefined)
+            throw new TypeError("Agent completion recipient ID has the wrong type.");
+        const current = await this.rows.entity.readCurrentLocked(id);
+        if ((current?.version?.number ?? 0) !== expectedVersion)
+            throw new Error("Agent execution initial Entity Version is no longer current.");
+        const commit = input.entityCommit;
+        if (commit === undefined)
+            return;
+        if (commit.entity.sourceType.typeName !== this.input.entity.sourceType.typeName ||
+            this.input.entity.id.key(commit.entityId) !== this.input.entity.id.key(id))
+            throw new TypeError("Agent Entity commit scope differs from accepted recipient.");
+        if (!this.input.entity.stateHistory && (commit.states?.length ?? 0) > 0)
+            throw new Error("Agent Entity state history is disabled.");
+        if (!this.input.entity.eventHistory && (commit.diagnostics?.length ?? 0) > 0)
+            throw new Error("Agent Entity diagnostic history is disabled.");
+        for (const state of commit.states ?? [])
+            await this.rows.entity.commitCapability().appendStateImmutable(state);
+        for (const diagnostic of commit.diagnostics ?? [])
+            await this.rows.entity.commitCapability().appendDiagnosticImmutable(diagnostic);
+        for (const event of commit.events ?? [])
+            await this.rows.events.writeImmutable(event);
+        await this.rows.entity.current.write(commit.next);
+    }
+    /**
+     * Checks exactly one Version advance or a no-op completion.
+     *
+     * @param input Requested fenced execution change.
+     * @param prior Previously persisted execution record.
+     * @returns Expected initial Entity Version.
+     */
+    validateCompletion(input, prior) {
+        const completion = input.next.completion;
+        if (completion?.initialVersion === undefined ||
+            completion.resultingVersion === undefined ||
+            input.next.accepted === undefined ||
+            !AgentExecutionValues.sameAccepted(prior.accepted, input.next.accepted))
+            throw new TypeError("Agent completion requires immutable acceptance and both Versions.");
+        if (prior.status !== AgentInvocationStatus.AGENT_INVOCATION_ACTIVE ||
+            ![
+                AgentInvocationStatus.AGENT_INVOCATION_COMPLETED,
+                AgentInvocationStatus.AGENT_INVOCATION_COMPLETED_PENDING_DELIVERY,
+            ].includes(input.next.status))
+            throw new Error("Agent completion requires active work and completed status.");
+        const initial = completion.initialVersion.number;
+        const final = completion.resultingVersion.number;
+        if (input.entityCommit === undefined
+            ? final !== initial
+            : final !== initial + 1 || input.entityCommit.next.version?.number !== final)
+            throw new Error("Agent completion must commit exactly one Version or a no-op.");
+        return initial;
+    }
+    /**
+     * Rejects values outside the full InnoDB index or record payload budget.
+     *
+     * @param record Persisted Agent execution record.
+     */
+    validateRecord(record) {
+        const key = record.accepted?.key;
+        if (key?.scope === undefined || record.accepted?.order === undefined)
+            throw new TypeError("Agent execution requires immutable acceptance and Inbox order.");
+        if (AgentExecutionRecords.order(record.accepted.order).length > AgentExecutionIndexBytes)
+            throw new RangeError("Agent execution key exceeds the complete MySQL index capacity.");
+        if (AgentExecutionSizes.record(record) > this.capacity.executionRecordBytes)
+            throw new RangeError("Agent execution record exceeds the MySQL BLOB capacity.");
+    }
+    /**
+     * Checks complete indexed discovery and native record payload budgets.
+     *
+     * @param head Per-instance pending and lease record.
+     */
+    validateHead(head) {
+        if (head.pending !== undefined &&
+            head.eligibleAt !== undefined &&
+            AgentExecutionRecords.pendingKey(head.eligibleAt, AgentExecutionValues.requiredHeadScope(head)).length > AgentExecutionIndexBytes)
+            throw new RangeError("Agent head key exceeds complete MySQL index capacity.");
+        if (AgentExecutionSizes.head(head) > this.capacity.executionHeadBytes)
+            throw new RangeError("Agent execution head exceeds MySQL BLOB capacity.");
+    }
+}
+/**
+ * Maps a complete immutable invocation identity to one physical row.
+ */
+function invocationId(key) {
+    return AgentHistoryHash.value(AgentExecutionRecords.invocation(key));
+}
+//# sourceMappingURL=agent-execution.js.map

package/dist/mysql/agent-execution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-execution.js","sourceRoot":"","sources":["../../src/mysql/agent-execution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAgB,MAAM,oBAAoB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AAGhD,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,qBAAqB,GAMtB,MAAM,+EAA+E,CAAC;AAEvF,OAAO,EACL,qBAAqB,EACrB,mBAAmB,EACnB,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,GASpB,MAAM,sCAAsC,CAAC;AAE9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAgB3D;;;;;GAKG;AACH,MAAM,OAAO,mBAAmB;IA4BX;IACA;IACA;IACA;IA9BnB;;OAEG;IACM,QAAQ,GAKb,MAAM,CAAC,MAAM,CAAC;QAChB,oBAAoB,EAAE,MAAM;QAC5B,kBAAkB,EAAE,MAAM;QAC1B,kBAAkB,EAAE,MAAM;KAC3B,CAAC,CAAC;IAEH,KAAK,GAAG,IAAI,CAAC;IAEb,MAAM,CAA4B;IAElC;;;;;;;OAOG;IACH,YACmB,KAAuC,EACvC,IAAyB,EACzB,WAAyC,EACzC,YAAoB;QAHpB,UAAK,GAAL,KAAK,CAAkC;QACvC,SAAI,GAAJ,IAAI,CAAqB;QACzB,gBAAW,GAAX,WAAW,CAA8B;QACzC,iBAAY,GAAZ,YAAY,CAAQ;IACpC,CAAC;IAEJ;;;;;OAKG;IACH,KAAK,CAAC,KAAK,CAAC,QAAiC;QAC3C,MAAM,GAAG,GAAG,oBAAoB,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACjF,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,MAAM,CAAC,0BAA0B,EAAE;YAChD,QAAQ;YACR,MAAM,EAAE,qBAAqB,CAAC,yBAAyB;SACxD,CAAC,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;YACtC,MAAM,IAAI,GACR,CAAC,MAAM,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,wBAAwB,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YAC1F,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBAC9D,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;gBACtF,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAClD,OAAO,oBAAoB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,OAAO,CAAC,OAAyB;QACrC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC;YAC3D,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACvD,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAC9E,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;YAC/E,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7C,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO;YACL,OAAO;YACP,OAAO,EAAE,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK;YACrC,GAAG,CAAC,IAAI,EAAE,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;gBAC5D,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,CAAC;SAClF,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACK,YAAY,CAAC,OAAyB,EAAE,IAAe;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QACjC,MAAM,MAAM,GAAwB;YAClC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;YAC5C,IAAI,CAAC,KAAK,CAAC,SAAS;YACpB,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC;SACzC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,kBAAkB,EAAE,8BAA8B,EAAE,iBAAiB,CAAC,CAAC;QACxF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GACP,2BAA2B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,YAAY,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;YACvF,oCAAoC,CAAC;QACvC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,IAAI,CAAC,GAAuB;QAChC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC5C,YAAY,CAAC,oBAAoB,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAC1E,CAAC;QACF,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,KAAK,CACT,GAAuB,EACvB,KAAa,EACb,SAAoB;QAEpB,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,WAAW,CACvB,GAAuB,EACvB,KAAa,EACb,SAAoB;QAEpB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,IAAI,oBAAoB,CAAC,WAAW,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC;YACjE,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC;YAC5F,OAAO,SAAS,CAAC;QACnB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAAE,OAAO,SAAS,CAAC;QAClE,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC;QAC1B,MAAM,CAAC,cAAc,GAAG,SAAS,CAAC;QAClC,IAAI,MAAM,CAAC,MAAM,KAAK,qBAAqB,CAAC,yBAAyB;YACnE,MAAM,CAAC,MAAM,GAAG,qBAAqB,CAAC,uBAAuB,CAAC;QAChE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAClB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO;YACL,MAAM;YACN,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;SAClD,CAAC;IACJ,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,aAAa,CACzB,IAAwB,EACxB,GAAuB,EACvB,GAAc;QAEd,IACE,IAAI,CAAC,MAAM,KAAK,SAAS;YACzB,IAAI,CAAC,cAAc,KAAK,SAAS;YACjC,oBAAoB,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC;YAE9D,OAAO,KAAK,CAAC;QACf,OAAO,CACL,IAAI,CAAC,OAAO,KAAK,SAAS;YAC1B,qBAAqB,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,qBAAqB,CAAC,UAAU,CAAC,GAAG,CAAC;YACxF,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAC3B,CAAC;IACJ,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,KAAK,CAAC,GAAuB,EAAE,KAAa,EAAE,SAAoB;QACtE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;YACtC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,IACE,IAAI,EAAE,MAAM,CAAC,cAAc,KAAK,SAAS;gBACzC,oBAAoB,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC;gBAE5E,OAAO,KAAK,CAAC;YACf,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,SAAS,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;YACjC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,MAAM,CAAC,KAA2B;QACtC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxC,yBAAyB,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAChE,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;YAChE,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,qBAAqB,CAAC,2BAA2B,EAAE,CAAC;gBAC5E,MAAM,IAAI,CAAC,gBAAgB,CACzB,IAAI,CAAC,IAAI,EACT,KAAK,CAAC,GAAG,EACT,oBAAoB,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAChD,CAAC;gBACF,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,QAAQ,CAAC,KAAmC;QAChD,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxC,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACpE,yBAAyB,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAClD,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;YAChE,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,GAAG,CACzF,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CACf,CAAC;YACF,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,qBAAqB,CAAC,0BAA0B;gBACxE,MAAM,IAAI,CAAC,gBAAgB,CACzB,IAAI,CAAC,IAAI,EACT,KAAK,CAAC,GAAG,EACT,oBAAoB,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAChD,CAAC;YACJ,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,aAAa,CACjB,GAAuB,EACvB,KAAa,EACb,mBAA+B,EAC/B,OAAkC;QAElC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC,CAAC;IAClG,CAAC;IAED;;;;;;;;OAQG;IACK,KAAK,CAAC,aAAa,CACzB,GAAuB,EACvB,KAAa,EACb,mBAA+B,EAC/B,OAAkC;QAElC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAC9B;YACE,GAAG;YACH,KAAK;YACL,mBAAmB;YACnB,IAAI,EAAE,MAAM,CAAC,0BAA0B,CAAC;SACzC,EACD,KAAK,CACN,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS;YACtC,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,yBAAyB,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,OAAO;YAC1B,oBAAoB,CAAC,UAAU,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QAChG,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,qBAAqB,CAAC,0BAA0B,CAAC;YACtE,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,oBAAoB,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO;QACxB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACK,KAAK;QACX,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,UAAU;QACtB,MAAM,OAAO,CAAC,GAAG,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;YAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;YACxB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;YAC3B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;YAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;SAC3B,CAAC,CAAC;QACH,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,yBAAyB,EAAE;YACjE,cAAc;YACd,aAAa;SACd,CAAC,CAAC;QACH,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,0BAA0B,EAAE;YACxE,cAAc;YACd,QAAQ;YACR,WAAW;SACZ,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,WAAW,CAAI,GAAuB,EAAE,IAAsB;QAC1E,oBAAoB,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,MAAM,MAAM,GAAG;YACb,IAAI,CAAC,UAAU,CAAC,SAAS;YACzB,IAAI,CAAC,IAAI,CAAC,SAAS;YACnB,IAAI,CAAC,OAAO,CAAC,SAAS;YACtB,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE;YAC3B,IAAI,CAAC,MAAM,CAAC,SAAS;SACtB,CAAC;QACF,MAAM,IAAI,GAAG,kBAAkB,CAAC;YAC9B,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,oBAAoB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAC/E,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS;SACrC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAC5B,MAAM,EACN,IAAI,EACJ,CAAC,UAAU,EAAE,EAAE,CACb,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,CAC9C,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,CACxC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,CAC3C,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,GAAG,EAAE,CAC1C,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAC7C,CACF,CACF,CACF,EACH,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAC7B,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,WAAW,CAAC,GAAuB;QAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAC3C,gBAAgB,CAAC,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC3D,CAAC;QACF,IACE,KAAK,KAAK,SAAS;YACnB,qBAAqB,CAAC,KAAK,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBACxE,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC;YAEpC,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,QAAQ,CAAC,GAAuB;QAC5C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;OAKG;IACK,aAAa,CAAC,KAAuC,EAAE,GAAuB;QACpF,IACE,KAAK,KAAK,SAAS;YACnB,qBAAqB,CAAC,UAAU,CAC9B,oBAAoB,CAAC,WAAW,CAC9B,oBAAoB,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,GAAG,EAChD,IAAI,CAAC,KAAK,CAAC,SAAS,CACrB,CACF,KAAK,qBAAqB,CAAC,UAAU,CAAC,GAAG,CAAC;YAE3C,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACtF,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,QAAQ,CAAC,GAAuB;QAC5C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACxC,OAAO,CACL,KAAK,KAAK,SAAS;YACnB,qBAAqB,CAAC,UAAU,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAC9E,qBAAqB,CAAC,UAAU,CAAC,GAAG,CAAC,CACxC,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,SAAS,CACrB,GAAuB,EACvB,OAA4B;QAE5B,MAAM,KAAK,GAAG,oBAAoB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,GAAG,GACP,2BAA2B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,WAAW;gBACpE,oFAAoF;gBACpF,iDAAiD,CAAC;YACpD,UAAU,CAAC,IAAI,CACb,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,EAAE;gBAC9C,gBAAgB,CAAC,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1D,KAAK,CAAC,SAAS;gBACf,KAAK,CAAC,QAAQ;gBACd,MAAM;aACP,CAAC,CAAC,CACJ,CAAC;QACJ,CAAC;QACD,OAAO,UAAU;aACd,MAAM,CACL,CAAC,MAAM,EAAE,EAAE,CACT,OAAO,KAAK,SAAS;YACrB,qBAAqB,CAAC,UAAU,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBAC/E,qBAAqB,CAAC,UAAU,CAAC,OAAO,CAAC,CAC9C;aACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,oBAAoB,CAAC,WAAW,CAC9B,qBAAqB,CAAC,KAAK,CAAC,oBAAoB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EACrE,qBAAqB,CAAC,KAAK,CAAC,oBAAoB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CACvE,CACF,CAAC,CAAC,CAAC,CAAC;IACT,CAAC;IAED;;;;;OAKG;IACK,cAAc,CAAC,IAAwB,EAAE,MAA4B;QAC3E,oBAAoB,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;;OAOG;IACK,KAAK,CAAC,gBAAgB,CAC5B,IAAwB,EACxB,GAAuB,EACvB,KAAoD;QAEpD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,OAAO,CAAC,GAAuB,EAAE,KAAa;QAC1D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxC,IACE,CAAC,KAAK;YACN,IAAI,EAAE,UAAU,KAAK,KAAK;YAC1B,MAAM,EAAE,UAAU,KAAK,KAAK;YAC5B,IAAI,CAAC,cAAc,KAAK,SAAS;YACjC,oBAAoB,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC;YAE9E,OAAO,SAAS,CAAC;QACnB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,QAAQ,CAAC,KAA2B,EAAE,SAAS,GAAG,IAAI;QAClE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxD,IACE,IAAI,KAAK,SAAS;YAClB,CAAC,oBAAoB,CAAC,SAAS,CAC7B,QAAQ,CAAC,0BAA0B,EAAE,IAAI,CAAC,MAAM,CAAC,EACjD,KAAK,CAAC,mBAAmB,CAC1B;YAED,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,IAAI,SAAS,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC5F,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,aAAa,CACzB,GAAuB,EACvB,OAAqC;QAErC,MAAM,KAAK,GAAG,oBAAoB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,OAAO;YACzB,IAAI,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB;gBAC9E,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CACnE,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9E,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,cAAc,CAC1B,KAAmC,EACnC,eAAuB;QAEvB,MAAM,SAAS,GAAG,oBAAoB,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC;QAChF,MAAM,EAAE,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACxF,IAAI,EAAE,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,eAAe;YACrD,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,IACE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;YAC3E,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAE1E,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;QACpF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAC1E,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE;YACrC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACxE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE;YAC/C,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAClF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE;YAAE,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACtF,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;OAMG;IACK,kBAAkB,CACxB,KAAmC,EACnC,KAA2B;QAE3B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;QACzC,IACE,UAAU,EAAE,cAAc,KAAK,SAAS;YACxC,UAAU,CAAC,gBAAgB,KAAK,SAAS;YACzC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS;YACjC,CAAC,oBAAoB,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;YAEvE,MAAM,IAAI,SAAS,CAAC,mEAAmE,CAAC,CAAC;QAC3F,IACE,KAAK,CAAC,MAAM,KAAK,qBAAqB,CAAC,uBAAuB;YAC9D,CAAC;gBACC,qBAAqB,CAAC,0BAA0B;gBAChD,qBAAqB,CAAC,2CAA2C;aAClE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAE7B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,MAAM,OAAO,GAAG,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC;QACjD,MAAM,KAAK,GAAG,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC;QACjD,IACE,KAAK,CAAC,YAAY,KAAK,SAAS;YAC9B,CAAC,CAAC,KAAK,KAAK,OAAO;YACnB,CAAC,CAAC,KAAK,KAAK,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK;YAE9E,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;OAIG;IACK,cAAc,CAAC,MAA4B;QACjD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;QACjC,IAAI,GAAG,EAAE,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,KAAK,KAAK,SAAS;YAClE,MAAM,IAAI,SAAS,CAAC,gEAAgE,CAAC,CAAC;QACxF,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,wBAAwB;YACtF,MAAM,IAAI,UAAU,CAAC,gEAAgE,CAAC,CAAC;QACzF,IAAI,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB;YACzE,MAAM,IAAI,UAAU,CAAC,yDAAyD,CAAC,CAAC;IACpF,CAAC;IAED;;;;OAIG;IACK,YAAY,CAAC,IAAwB;QAC3C,IACE,IAAI,CAAC,OAAO,KAAK,SAAS;YAC1B,IAAI,CAAC,UAAU,KAAK,SAAS;YAC7B,qBAAqB,CAAC,UAAU,CAC9B,IAAI,CAAC,UAAU,EACf,oBAAoB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAC7C,CAAC,MAAM,GAAG,wBAAwB;YAEnC,MAAM,IAAI,UAAU,CAAC,uDAAuD,CAAC,CAAC;QAChF,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,kBAAkB;YACnE,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;IAC9E,CAAC;CACF;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,GAAuB;IAC3C,OAAO,gBAAgB,CAAC,KAAK,CAAC,qBAAqB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACvE,CAAC"}