@paraharness/sqlite 0.0.0-stage → 0.1.0

package/dist/stores/internal/sqlite-topology-overlay-sync.js

@@ -0,0 +1,116 @@
+import { threeWayMergeContract } from './three-way-merge-contract.js';
+/**
+ * Resolves the `base_contract_text_at_acquire` value to persist when updating a partition contract in an overlay.
+ *
+ * Preserves `ovRow.base_contract_text_at_acquire` when already mutated in the current run,
+ * uses `ovRow.baseline_contract_text` on the first mutation after a prerequisite sync,
+ * or falls back to `baseText` when creating a fresh overlay row.
+ *
+ * @param {SqliteTopologyOverlayRow | undefined} ovRow    - Existing overlay row for `(runId, partitionId)`, if any.
+ * @param {string}                               baseText - Canonical base contract text.
+ *
+ * @returns {string} Acquire-base contract text to store on the overlay row.
+ */
+export function resolveNextSqliteAcquireBase(ovRow, baseText) {
+    if (ovRow === undefined) {
+        return baseText;
+    }
+    if (ovRow.mutated_in_run === 1) {
+        return ovRow.base_contract_text_at_acquire;
+    }
+    return ovRow.baseline_contract_text;
+}
+/**
+ * Resolves the `base_contract_text_at_acquire` after folding `params.prereqRow` into `params.targetRow`.
+ *
+ * Advances the acquire baseline to `prereqRow.contract_text` when `targetRow` mutated on top of a prerequisite,
+ * or preserves the earlier baseline during a stacked child fold.
+ *
+ * @param {ResolveSyncedSqliteOverlayFieldParams} params - Prerequisite row, target row, and stacked-child fold state.
+ *
+ * @returns {string} Updated `base_contract_text_at_acquire` value.
+ */
+function resolveSyncedAcquireBase(params) {
+    const { prereqRow, targetRow, isStackedChildFold } = params;
+    if (targetRow === undefined || targetRow.mutated_in_run !== 1) {
+        return prereqRow.base_contract_text_at_acquire;
+    }
+    if (isStackedChildFold) {
+        return targetRow.base_contract_text_at_acquire;
+    }
+    return prereqRow.contract_text;
+}
+/**
+ * Resolves `last_mutated_by_run_id` after folding `params.prereqRow` into `params.targetRow`.
+ *
+ * Credits the stacked child on a child fold, the target run when `targetRow` mutated independently,
+ * or the prerequisite run when `targetRow` had not mutated the partition.
+ *
+ * @param {ResolveSyncedSqliteOverlayFieldParams} params - Prerequisite row, target row, and stacked-child fold state.
+ *
+ * @returns {string | null} Run identifier to record as `last_mutated_by_run_id`.
+ */
+function resolveSyncedLastMutatedBy(params) {
+    const { prereqRow, targetRow, isStackedChildFold } = params;
+    if (targetRow === undefined || targetRow.mutated_in_run !== 1) {
+        return prereqRow.last_mutated_by_run_id;
+    }
+    if (isStackedChildFold) {
+        return prereqRow.last_mutated_by_run_id ?? targetRow.last_mutated_by_run_id;
+    }
+    return targetRow.last_mutated_by_run_id ?? prereqRow.last_mutated_by_run_id;
+}
+/**
+ * Computes the merged overlay state when synchronizing `params.prereqRow` into `params.targetRunId`.
+ *
+ * Performs a 3-way contract merge when `targetRow` also mutated the partition and unions absorbed run IDs.
+ *
+ * @param {ComputeSyncedSqliteOverlayParams} params - Target and prerequisite overlay rows.
+ *
+ * @returns {SyncedSqliteOverlayValuesOptions} Computed column values for upserting the target overlay row.
+ */
+export function computeSyncedSqliteOverlayValues(params) {
+    const { targetRunId, prereqRunId, prereqRow, targetRow } = params;
+    const prereqAbsorbed = new Set(JSON.parse(prereqRow.absorbed_run_ids_json));
+    const absorbed = new Set(targetRow !== undefined ? JSON.parse(targetRow.absorbed_run_ids_json) : []);
+    for (const id of prereqAbsorbed) {
+        absorbed.add(id);
+    }
+    absorbed.add(prereqRunId);
+    const isStackedChildFold = targetRow !== undefined &&
+        (prereqAbsorbed.has(targetRunId) ||
+            prereqRow.base_contract_text_at_acquire === targetRow.contract_text);
+    const targetMutated = targetRow !== undefined && targetRow.mutated_in_run === 1;
+    const mergeBase = isStackedChildFold
+        ? prereqRow.base_contract_text_at_acquire
+        : (targetRow?.base_contract_text_at_acquire ?? prereqRow.base_contract_text_at_acquire);
+    const mergedContractText = targetMutated
+        ? threeWayMergeContract(mergeBase, prereqRow.contract_text, targetRow.contract_text)
+        : prereqRow.contract_text;
+    const nextAcquireBase = resolveSyncedAcquireBase({
+        prereqRow,
+        targetRow,
+        isStackedChildFold,
+    });
+    const nextLastMutatedBy = resolveSyncedLastMutatedBy({
+        prereqRow,
+        targetRow,
+        isStackedChildFold,
+    });
+    const nextEpoch = targetRow !== undefined ? Math.max(targetRow.epoch, prereqRow.epoch) : prereqRow.epoch;
+    const initialBase = targetRow !== undefined
+        ? targetRow.initial_base_contract_text
+        : prereqRow.initial_base_contract_text;
+    return {
+        nextEpoch,
+        mergedContractText,
+        nextAcquireBase,
+        initialBase,
+        nextLastMutatedBy,
+        absorbedRunIdsJson: JSON.stringify(Array.from(absorbed)),
+        mutatedInRun: targetRow !== undefined ? targetRow.mutated_in_run : 0,
+        status: targetRow !== undefined ? targetRow.status : 'ACTIVE',
+        stepMutationsJson: targetRow !== undefined ? targetRow.step_mutations_json : '[]',
+    };
+}
+//# sourceMappingURL=sqlite-topology-overlay-sync.js.map

package/dist/stores/internal/sqlite-topology-overlay-sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-topology-overlay-sync.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-topology-overlay-sync.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAoDtE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAA2C,EAC3C,QAAgB;IAEhB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,6BAA6B,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC,sBAAsB,CAAC;AACtC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,wBAAwB,CAAC,MAA6C;IAC7E,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAAC;IAC5D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,SAAS,CAAC,6BAA6B,CAAC;IACjD,CAAC;IACD,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC,6BAA6B,CAAC;IACjD,CAAC;IACD,OAAO,SAAS,CAAC,aAAa,CAAC;AACjC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CAAC,MAA6C;IAC/E,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAAC;IAC5D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,cAAc,KAAK,CAAC,EAAE,CAAC;QAC9D,OAAO,SAAS,CAAC,sBAAsB,CAAC;IAC1C,CAAC;IACD,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC,sBAAsB,IAAI,SAAS,CAAC,sBAAsB,CAAC;IAC9E,CAAC;IACD,OAAO,SAAS,CAAC,sBAAsB,IAAI,SAAS,CAAC,sBAAsB,CAAC;AAC9E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAAwC;IAExC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,qBAAqB,CAAa,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,SAAS,KAAK,SAAS,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,qBAAqB,CAAc,CAAC,CAAC,CAAC,EAAE,CACzF,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC1B,MAAM,kBAAkB,GACtB,SAAS,KAAK,SAAS;QACvB,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC;YAC9B,SAAS,CAAC,6BAA6B,KAAK,SAAS,CAAC,aAAa,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,cAAc,KAAK,CAAC,CAAC;IAChF,MAAM,SAAS,GAAG,kBAAkB;QAClC,CAAC,CAAC,SAAS,CAAC,6BAA6B;QACzC,CAAC,CAAC,CAAC,SAAS,EAAE,6BAA6B,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IAC1F,MAAM,kBAAkB,GAAG,aAAa;QACtC,CAAC,CAAC,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC,aAAa,CAAC;QACpF,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC;IAC5B,MAAM,eAAe,GAAG,wBAAwB,CAAC;QAC/C,SAAS;QACT,SAAS;QACT,kBAAkB;KACnB,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;QACnD,SAAS;QACT,SAAS;QACT,kBAAkB;KACnB,CAAC,CAAC;IACH,MAAM,SAAS,GACb,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;IACzF,MAAM,WAAW,GACf,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,SAAS,CAAC,0BAA0B;QACtC,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC;IAC3C,OAAO;QACL,SAAS;QACT,kBAAkB;QAClB,eAAe;QACf,WAAW;QACX,iBAAiB;QACjB,kBAAkB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,YAAY,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;QAC7D,iBAAiB,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI;KAClF,CAAC;AACJ,CAAC"}

package/dist/stores/internal/sqlite-wire-frame-row.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Raw SQLite row shape for `harness_wire_frames`.
+ *
+ * Maps snake_case database columns to typed properties for wire-frame append, replacement, and chain queries.
+ */
+export interface SqliteWireFrameRow {
+    /** Unique wire frame message identifier. */
+    readonly message_id: string;
+    /** Enclosing flow run identifier. */
+    readonly run_id: string;
+    /** Preceding message identifier in the chain, or `null` for Turn 0. */
+    readonly parent_message_id: string | null;
+    /** Model vendor identifier string. */
+    readonly vendor_id: string;
+    /** Raw UTF-8 encoded vendor wire frame buffer. */
+    readonly raw_wire_frame: Buffer;
+    /** JSON-serialized `CanonicalMessage` projection. */
+    readonly canonical_json: string;
+    /** SHA-256 hex digest of the compiled wire prefix. */
+    readonly prefix_digest: string;
+    /** Optional JSON-serialized `Record<string, string>` of skill tombstones. */
+    readonly compacted_tombstones_json: string | null;
+    /** Compaction flag (`1` when raw wire bytes have been pruned, `0` otherwise). */
+    readonly is_compacted: number;
+}
+//# sourceMappingURL=sqlite-wire-frame-row.d.ts.map

package/dist/stores/internal/sqlite-wire-frame-row.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-wire-frame-row.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-wire-frame-row.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,sCAAsC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,qDAAqD;IACrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,6EAA6E;IAC7E,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,iFAAiF;IACjF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B"}

package/dist/stores/internal/sqlite-wire-frame-row.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=sqlite-wire-frame-row.js.map

package/dist/stores/internal/sqlite-wire-frame-row.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite-wire-frame-row.js","sourceRoot":"","sources":["../../../src/stores/internal/sqlite-wire-frame-row.ts"],"names":[],"mappings":""}

package/dist/stores/internal/three-way-merge-contract.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Three-way conflict region produced by `diff3Merge` (`node-diff3`).
+ */
+export interface Diff3ConflictRegionParams {
+    /** Lines from the left branch (`currentBaseText`). */
+    readonly a: readonly string[];
+    /** Lines from the common ancestor (`baseAtAcquire`). */
+    readonly o: readonly string[];
+    /** Lines from the right branch (`overlayText`). */
+    readonly b: readonly string[];
+}
+/**
+ * Performs a 3-way merge of `overlayText` and `currentBaseText` against `baseAtAcquire` (`SPEC.md` §3.3).
+ *
+ * Uses `diff3Merge` (`node-diff3`) to merge non-conflicting line additions/modifications from both
+ * `currentBaseText` and `overlayText`, falling back to section concatenation on conflict blocks.
+ *
+ * @param {string} baseAtAcquire   - Contract text pinned when the run acquired or synced the partition.
+ * @param {string} currentBaseText - Current committed contract text in the canonical base store.
+ * @param {string} overlayText     - Contract text in the committing run's overlay.
+ *
+ * @returns {string} Merged canonical contract text.
+ */
+export declare function threeWayMergeContract(baseAtAcquire: string, currentBaseText: string, overlayText: string): string;
+//# sourceMappingURL=three-way-merge-contract.d.ts.map

package/dist/stores/internal/three-way-merge-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"three-way-merge-contract.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/three-way-merge-contract.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,sDAAsD;IACtD,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,mDAAmD;IACnD,QAAQ,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B;AA6CD;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,eAAe,EAAE,MAAM,EACvB,WAAW,EAAE,MAAM,GAClB,MAAM,CAuBR"}

package/dist/stores/internal/three-way-merge-contract.js

@@ -0,0 +1,76 @@
+import { diff3Merge } from 'node-diff3';
+/**
+ * Splits a contract text string into an array of lines for 3-way line-level merging.
+ *
+ * Returns an empty array when `text` is empty so empty baselines do not introduce phantom blank lines.
+ *
+ * @param {string} text - Contract text to split.
+ *
+ * @returns {string[]} Array of lines.
+ */
+function splitContractLines(text) {
+    return text.length > 0 ? text.split('\n') : [];
+}
+/**
+ * Resolves a `diff3Merge` conflict block by removing ancestor `o` lines deleted by either side
+ * and concatenating surviving additions/modifications from `conflict.a` and `conflict.b`.
+ *
+ * Handles both adjacent-line hunk merges in `node-diff3` and concurrent same-line modifications (`SPEC.md` §3.3).
+ *
+ * @param {string[]}                  target   - Mutable output line buffer.
+ * @param {Diff3ConflictRegionParams} conflict - Conflict region from `diff3Merge`.
+ *
+ * @returns {void} Appends resolved lines to `target` in-place.
+ */
+function resolveConflictRegion(target, conflict) {
+    const oSet = new Set(conflict.o);
+    const aSet = new Set(conflict.a);
+    const bSet = new Set(conflict.b);
+    const seen = new Set();
+    for (const line of conflict.a) {
+        if ((!oSet.has(line) || bSet.has(line)) && !seen.has(line)) {
+            target.push(line);
+            seen.add(line);
+        }
+    }
+    for (const line of conflict.b) {
+        if ((!oSet.has(line) || aSet.has(line)) && !seen.has(line)) {
+            target.push(line);
+            seen.add(line);
+        }
+    }
+}
+/**
+ * Performs a 3-way merge of `overlayText` and `currentBaseText` against `baseAtAcquire` (`SPEC.md` §3.3).
+ *
+ * Uses `diff3Merge` (`node-diff3`) to merge non-conflicting line additions/modifications from both
+ * `currentBaseText` and `overlayText`, falling back to section concatenation on conflict blocks.
+ *
+ * @param {string} baseAtAcquire   - Contract text pinned when the run acquired or synced the partition.
+ * @param {string} currentBaseText - Current committed contract text in the canonical base store.
+ * @param {string} overlayText     - Contract text in the committing run's overlay.
+ *
+ * @returns {string} Merged canonical contract text.
+ */
+export function threeWayMergeContract(baseAtAcquire, currentBaseText, overlayText) {
+    if (currentBaseText === baseAtAcquire || currentBaseText.length === 0) {
+        return overlayText;
+    }
+    if (overlayText === baseAtAcquire || overlayText === currentBaseText) {
+        return currentBaseText;
+    }
+    const regions = diff3Merge(splitContractLines(currentBaseText), splitContractLines(baseAtAcquire), splitContractLines(overlayText));
+    const mergedLines = [];
+    for (const region of regions) {
+        if (region.ok !== undefined) {
+            for (const line of region.ok) {
+                mergedLines.push(line);
+            }
+        }
+        else if (region.conflict !== undefined) {
+            resolveConflictRegion(mergedLines, region.conflict);
+        }
+    }
+    return mergedLines.join('\n');
+}
+//# sourceMappingURL=three-way-merge-contract.js.map

package/dist/stores/internal/three-way-merge-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"three-way-merge-contract.js","sourceRoot":"","sources":["../../../src/stores/internal/three-way-merge-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAcxC;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,qBAAqB,CAAC,MAAgB,EAAE,QAAmC;IAClF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,aAAqB,EACrB,eAAuB,EACvB,WAAmB;IAEnB,IAAI,eAAe,KAAK,aAAa,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,WAAW,KAAK,aAAa,IAAI,WAAW,KAAK,eAAe,EAAE,CAAC;QACrE,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CACxB,kBAAkB,CAAC,eAAe,CAAC,EACnC,kBAAkB,CAAC,aAAa,CAAC,EACjC,kBAAkB,CAAC,WAAW,CAAC,CAChC,CAAC;IACF,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzC,qBAAqB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC"}

package/dist/stores/internal/update-continuation-stack-params.d.ts

@@ -0,0 +1,17 @@
+import type { ContinuationFrame } from '@paraharness/core';
+/**
+ * Parameter object for `updateContinuationStackInSqlite`.
+ *
+ * Bundles the run ID, step execution ID, continuation stack array, and optional base scope checkpoint.
+ */
+export interface UpdateContinuationStackParams {
+    /** Enclosing flow run identifier. */
+    readonly runId: string;
+    /** Target step execution identifier. */
+    readonly stepExecId: string;
+    /** Updated outer-to-inner continuation stack. */
+    readonly continuationStack: readonly ContinuationFrame[];
+    /** Optional updated base scope checkpoint. */
+    readonly baseScopeCheckpoint?: string;
+}
+//# sourceMappingURL=update-continuation-stack-params.d.ts.map

package/dist/stores/internal/update-continuation-stack-params.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-continuation-stack-params.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/update-continuation-stack-params.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D;;;;GAIG;AACH,MAAM,WAAW,6BAA6B;IAC5C,qCAAqC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wCAAwC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzD,8CAA8C;IAC9C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC"}

package/dist/stores/internal/update-continuation-stack-params.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=update-continuation-stack-params.js.map

package/dist/stores/internal/update-continuation-stack-params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-continuation-stack-params.js","sourceRoot":"","sources":["../../../src/stores/internal/update-continuation-stack-params.ts"],"names":[],"mappings":""}

package/dist/stores/internal/update-contract-in-overlay-params.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Parameter object for `updateContractInOverlay`.
+ *
+ * Bundles the run ID, partition ID, new contract text, and optional step execution ID.
+ */
+export interface UpdateContractInOverlayParams {
+    /** Active flow run identifier. */
+    readonly runId: string;
+    /** Target partition identifier. */
+    readonly partitionId: string;
+    /** Updated contract text to write to the run's CoW overlay. */
+    readonly newContractText: string;
+    /** Optional step execution identifier for step-scoped rollback. */
+    readonly stepExecId?: string;
+}
+//# sourceMappingURL=update-contract-in-overlay-params.d.ts.map

package/dist/stores/internal/update-contract-in-overlay-params.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-contract-in-overlay-params.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/update-contract-in-overlay-params.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,6BAA6B;IAC5C,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,mCAAmC;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,+DAA+D;IAC/D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B"}

package/dist/stores/internal/update-contract-in-overlay-params.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=update-contract-in-overlay-params.js.map

package/dist/stores/internal/update-contract-in-overlay-params.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-contract-in-overlay-params.js","sourceRoot":"","sources":["../../../src/stores/internal/update-contract-in-overlay-params.ts"],"names":[],"mappings":""}

package/dist/stores/internal/validate-lane-dag.d.ts

@@ -0,0 +1,59 @@
+import { Graph } from '@dagrejs/graphlib';
+import type { MutateLanePlanRequest } from '@paraharness/core';
+/**
+ * Persisted lane item row shape passed to `buildChainedLaneDependencies`.
+ */
+export interface ExistingLaneItemRowParams {
+    /** Work item deduplication key. */
+    readonly item_key: string;
+    /** JSON-serialized array of prerequisite `item_key` strings. */
+    readonly depends_on_json: string;
+    /** Most recently chained prerequisite tip key for `item_key`, if any. */
+    readonly latest_spawned_tip_key: string | null;
+}
+/**
+ * Validated lane dependency graph state returned by `buildChainedLaneDependencies`.
+ */
+export interface ChainedLaneDependenciesOptions {
+    /** Mutable map of `itemKey -> dependsOn[]`. */
+    readonly depsByItem: Map<string, string[]>;
+    /** Updated prerequisite tip key for `req.parentItemKey`, if any. */
+    readonly rollingTip: string | undefined;
+    /** Updated direct prerequisite list for `req.parentItemKey`. */
+    readonly nextParentDeps: string[];
+}
+/**
+ * Constructs a `@dagrejs/graphlib` directed `Graph` from `depsByItem` and verifies acyclicity via `alg.isAcyclic` and `alg.findCycles`.
+ *
+ * Throws an actionable error naming the cycle members if any self-loop or multi-node cycle exists.
+ *
+ * @param {ReadonlyMap<string, readonly string[]>} depsByItem - Adjacency map of `itemKey -> dependsOn[]`.
+ * @param {string}                                 laneId     - Enclosing lane identifier for error diagnostics.
+ *
+ * @returns {Graph} Validated acyclic `@dagrejs/graphlib` directed graph.
+ */
+export declare function buildAcyclicLaneGraph(depsByItem: ReadonlyMap<string, readonly string[]>, laneId: string): Graph;
+/**
+ * Validates that the lane prerequisite graph `depsByItem` is acyclic and within `maxPrerequisiteDepth` using `@dagrejs/graphlib`.
+ *
+ * Uses `alg.topsort` over the validated DAG to compute longest prerequisite chain depths in $O(V + E)$ time.
+ *
+ * @param {ReadonlyMap<string, readonly string[]>} depsByItem           - Adjacency map of `itemKey -> dependsOn[]`.
+ * @param {number}                                 maxPrerequisiteDepth - Maximum allowed prerequisite chain depth.
+ * @param {string}                                 laneId               - Enclosing lane identifier for error diagnostics.
+ *
+ * @returns {void} Returns nothing when the graph is acyclic and within `maxPrerequisiteDepth`.
+ */
+export declare function assertValidLaneDag(depsByItem: ReadonlyMap<string, readonly string[]>, maxPrerequisiteDepth: number, laneId: string): void;
+/**
+ * Builds the chained lane dependency graph for `req` and validates DAG acyclicity and `maxPrerequisiteDepth`.
+ *
+ * Chains newly spawned prerequisite items linearly onto any previously spawned tip prerequisite of `req.parentItemKey`.
+ *
+ * @param {readonly ExistingLaneItemRowParams[]} existingRows - Current lane rows.
+ * @param {MutateLanePlanRequest}                req          - Plan mutation request.
+ *
+ * @returns {ChainedLaneDependenciesOptions} Validated DAG update state.
+ */
+export declare function buildChainedLaneDependencies(existingRows: readonly ExistingLaneItemRowParams[], req: MutateLanePlanRequest): ChainedLaneDependenciesOptions;
+//# sourceMappingURL=validate-lane-dag.d.ts.map

package/dist/stores/internal/validate-lane-dag.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-lane-dag.d.ts","sourceRoot":"","sources":["../../../src/stores/internal/validate-lane-dag.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAO,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,yEAAyE;IACzE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C,+CAA+C;IAC/C,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,gEAAgE;IAChE,QAAQ,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,EAClD,MAAM,EAAE,MAAM,GACb,KAAK,CAiBP;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,EAClD,oBAAoB,EAAE,MAAM,EAC5B,MAAM,EAAE,MAAM,GACb,IAAI,CAuBN;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,YAAY,EAAE,SAAS,yBAAyB,EAAE,EAClD,GAAG,EAAE,qBAAqB,GACzB,8BAA8B,CA6ChC"}

package/dist/stores/internal/validate-lane-dag.js

@@ -0,0 +1,117 @@
+import { Graph, alg } from '@dagrejs/graphlib';
+/**
+ * Constructs a `@dagrejs/graphlib` directed `Graph` from `depsByItem` and verifies acyclicity via `alg.isAcyclic` and `alg.findCycles`.
+ *
+ * Throws an actionable error naming the cycle members if any self-loop or multi-node cycle exists.
+ *
+ * @param {ReadonlyMap<string, readonly string[]>} depsByItem - Adjacency map of `itemKey -> dependsOn[]`.
+ * @param {string}                                 laneId     - Enclosing lane identifier for error diagnostics.
+ *
+ * @returns {Graph} Validated acyclic `@dagrejs/graphlib` directed graph.
+ */
+export function buildAcyclicLaneGraph(depsByItem, laneId) {
+    const graph = new Graph({ directed: true });
+    for (const [itemKey, deps] of depsByItem.entries()) {
+        graph.setNode(itemKey);
+        for (const depKey of deps) {
+            graph.setNode(depKey);
+            graph.setEdge(itemKey, depKey);
+        }
+    }
+    if (!alg.isAcyclic(graph)) {
+        const cycles = alg.findCycles(graph);
+        const firstCycle = cycles[0] ?? [];
+        throw new Error(`Cycle detected in lane prerequisite DAG for lane '${laneId}' involving [${firstCycle.join(', ')}].`);
+    }
+    return graph;
+}
+/**
+ * Validates that the lane prerequisite graph `depsByItem` is acyclic and within `maxPrerequisiteDepth` using `@dagrejs/graphlib`.
+ *
+ * Uses `alg.topsort` over the validated DAG to compute longest prerequisite chain depths in $O(V + E)$ time.
+ *
+ * @param {ReadonlyMap<string, readonly string[]>} depsByItem           - Adjacency map of `itemKey -> dependsOn[]`.
+ * @param {number}                                 maxPrerequisiteDepth - Maximum allowed prerequisite chain depth.
+ * @param {string}                                 laneId               - Enclosing lane identifier for error diagnostics.
+ *
+ * @returns {void} Returns nothing when the graph is acyclic and within `maxPrerequisiteDepth`.
+ */
+export function assertValidLaneDag(depsByItem, maxPrerequisiteDepth, laneId) {
+    const graph = buildAcyclicLaneGraph(depsByItem, laneId);
+    const topoOrder = alg.topsort(graph);
+    const depthByNode = new Map();
+    for (let idx = topoOrder.length - 1; idx >= 0; idx -= 1) {
+        const nodeKey = topoOrder[idx];
+        if (nodeKey !== undefined) {
+            const directDeps = graph.successors(nodeKey) ?? [];
+            let maxChildDepth = 0;
+            for (const depKey of directDeps) {
+                const edgeDepth = 1 + (depthByNode.get(depKey) ?? 0);
+                if (edgeDepth > maxChildDepth) {
+                    maxChildDepth = edgeDepth;
+                }
+            }
+            depthByNode.set(nodeKey, maxChildDepth);
+            if (maxChildDepth > maxPrerequisiteDepth) {
+                throw new Error(`Prerequisite chain depth ${String(maxChildDepth)} for item '${nodeKey}' in lane '${laneId}' exceeds maxPrerequisiteDepth (${String(maxPrerequisiteDepth)}).`);
+            }
+        }
+    }
+}
+/**
+ * Builds the chained lane dependency graph for `req` and validates DAG acyclicity and `maxPrerequisiteDepth`.
+ *
+ * Chains newly spawned prerequisite items linearly onto any previously spawned tip prerequisite of `req.parentItemKey`.
+ *
+ * @param {readonly ExistingLaneItemRowParams[]} existingRows - Current lane rows.
+ * @param {MutateLanePlanRequest}                req          - Plan mutation request.
+ *
+ * @returns {ChainedLaneDependenciesOptions} Validated DAG update state.
+ */
+export function buildChainedLaneDependencies(existingRows, req) {
+    const depsByItem = new Map();
+    let prevTipKey;
+    for (const row of existingRows) {
+        depsByItem.set(row.item_key, JSON.parse(row.depends_on_json));
+        if (row.item_key === req.parentItemKey && row.latest_spawned_tip_key !== null) {
+            prevTipKey = row.latest_spawned_tip_key;
+        }
+    }
+    const currentParentDeps = depsByItem.get(req.parentItemKey) ?? [];
+    if (prevTipKey === undefined && currentParentDeps.length > 0) {
+        prevTipKey = currentParentDeps[currentParentDeps.length - 1];
+    }
+    const spawned = req.spawnedItems ?? [];
+    let rollingTip = prevTipKey;
+    for (const spawnedTask of spawned) {
+        const taskDepSet = new Set();
+        if (rollingTip !== undefined) {
+            taskDepSet.add(rollingTip);
+        }
+        for (const dep of spawnedTask.dependsOn) {
+            taskDepSet.add(dep);
+        }
+        depsByItem.set(spawnedTask.itemKey, Array.from(taskDepSet));
+        rollingTip = spawnedTask.itemKey;
+    }
+    const nextParentDepSet = new Set();
+    for (const existingDep of currentParentDeps) {
+        if (spawned.length === 0 || existingDep !== prevTipKey) {
+            nextParentDepSet.add(existingDep);
+        }
+    }
+    if (spawned.length > 0 && rollingTip !== undefined) {
+        nextParentDepSet.add(rollingTip);
+    }
+    for (const addedDep of req.addedDependencies ?? []) {
+        nextParentDepSet.add(addedDep);
+        if (!depsByItem.has(addedDep)) {
+            depsByItem.set(addedDep, []);
+        }
+    }
+    const nextParentDeps = Array.from(nextParentDepSet);
+    depsByItem.set(req.parentItemKey, nextParentDeps);
+    assertValidLaneDag(depsByItem, req.maxPrerequisiteDepth, req.laneId);
+    return { depsByItem, rollingTip, nextParentDeps };
+}
+//# sourceMappingURL=validate-lane-dag.js.map

package/dist/stores/internal/validate-lane-dag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-lane-dag.js","sourceRoot":"","sources":["../../../src/stores/internal/validate-lane-dag.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AA2B/C;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAkD,EAClD,MAAc;IAEd,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACnD,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YAC1B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtB,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,qDAAqD,MAAM,gBAAgB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACrG,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAkD,EAClD,oBAA4B,EAC5B,MAAc;IAEd,MAAM,KAAK,GAAG,qBAAqB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,IAAI,GAAG,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,aAAa,GAAG,CAAC,CAAC;YACtB,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;gBAChC,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACrD,IAAI,SAAS,GAAG,aAAa,EAAE,CAAC;oBAC9B,aAAa,GAAG,SAAS,CAAC;gBAC5B,CAAC;YACH,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;YACxC,IAAI,aAAa,GAAG,oBAAoB,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,CAAC,aAAa,CAAC,cAAc,OAAO,cAAc,MAAM,mCAAmC,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAC9J,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,YAAkD,EAClD,GAA0B;IAE1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,IAAI,UAA8B,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAa,CAAC,CAAC;QAC1E,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;YAC9E,UAAU,GAAG,GAAG,CAAC,sBAAsB,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,iBAAiB,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IAClE,IAAI,UAAU,KAAK,SAAS,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7D,UAAU,GAAG,iBAAiB,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC;IACvC,IAAI,UAAU,GAAG,UAAU,CAAC;IAC5B,KAAK,MAAM,WAAW,IAAI,OAAO,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;YACxC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5D,UAAU,GAAG,WAAW,CAAC,OAAO,CAAC;IACnC,CAAC;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,WAAW,IAAI,iBAAiB,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YACvD,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACnD,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACnD,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpD,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;IAClD,kBAAkB,CAAC,UAAU,EAAE,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACpD,CAAC"}