hikoutei 0.2.0

package/dist/infrastructure/storage/state/canonical/canonicalCommit.js

@@ -0,0 +1,417 @@
+/**
+ * Fenced canonical field commits for the SQLite-authoritative prototype.
+ *
+ * The writer applies every accepted field CAS and any resulting outbox rows in
+ * one SQLite savepoint. A stale field or lost fence rolls back the complete
+ * row-level commit, so a partially accepted event cannot leak a partial state.
+ */
+// Domain contract: canonical rows are the SQLite source of truth.
+import { ROW_OPERATIONS } from "../../../../domain/model/constants.js";
+// Shared state tags: these make applicability and presence explicit.
+import { APPLICABILITY_KINDS, PRESENCE_KINDS, } from "../../../../shared/state/constants.js";
+// Storage boundary: errors, transactions, fencing, and SQL adapters.
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+import { rollbackSqlSavepoint } from "../../sqlite/sqlTransaction.js";
+import { toSqlNullable } from "../../sqlite/sqlState.js";
+import { isFencingValid, isFencingValidWithSql, } from "../../sync/shared/writerLease.js";
+// Outbound synchronization: accepted canonical changes become outbox effects.
+import { appendPendingEffectsWithSql, } from "../../sync/outbound/effectOutbox.js";
+import { FENCE_EXISTS_SQL, INSERT_PENDING_EFFECT_SQL, } from "../../sync/outbound/effectOutboxSql.js";
+const INSERT_CANONICAL_ENTITY_SQL = `
+  INSERT INTO entity_state (entity_id, entity_revision, accepted_snapshot_hash, status)
+  SELECT ?, 1, ?, 'active'
+  WHERE EXISTS (${FENCE_EXISTS_SQL})
+`;
+const INSERT_CANONICAL_FIELD_SQL = `
+  INSERT INTO entity_field_state (
+    entity_id, field_name, normalized_value, field_revision, ownership
+  )
+  SELECT ?, ?, ?, 1, ?
+  WHERE EXISTS (${FENCE_EXISTS_SQL})
+`;
+const READ_CANONICAL_ENTITY_SQL = `
+  SELECT entity_revision FROM entity_state
+  WHERE entity_id = ? AND status = 'active'
+`;
+const UPDATE_CANONICAL_FIELD_SQL = `
+  UPDATE entity_field_state
+  SET normalized_value = ?, field_revision = field_revision + 1
+  WHERE entity_id = ? AND field_name = ? AND field_revision = ? AND ownership = ?
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+const UPDATE_CANONICAL_ENTITY_SQL = `
+  UPDATE entity_state
+  SET entity_revision = ?, accepted_snapshot_hash = ?
+  WHERE entity_id = ? AND entity_revision = ? AND status = 'active'
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+const DELETE_CANONICAL_ENTITY_SQL = `
+  UPDATE entity_state
+  SET entity_revision = ?, accepted_snapshot_hash = ?, status = 'tombstoned'
+  WHERE entity_id = ? AND entity_revision = ? AND status = 'active'
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+/** Runtime values returned by the canonical commit writer. */
+export const CANONICAL_COMMIT_RESULT_KINDS = {
+    APPLIED: "applied",
+    STALE: "stale",
+    FENCED_OUT: "fenced_out",
+    INVALID: "invalid",
+};
+/** Runtime values describing which canonical target became stale. */
+export const CANONICAL_COMMIT_STALE_TARGETS = {
+    ENTITY: "entity",
+    FIELD: "field",
+};
+/**
+ * Commits an insert, field-level update, or confirmed delete under a writer fence.
+ *
+ * Field revisions are independent: an update CASes each supplied field, then
+ * increments the entity revision once. An outbox uniqueness failure therefore
+ * rolls back the canonical state as well as the pending effect rows.
+ */
+export function commitCanonicalChanges(db, fence, input) {
+    const invalidReason = validateInput(input);
+    if (invalidReason.kind === PRESENCE_KINDS.PRESENT) {
+        return { kind: CANONICAL_COMMIT_RESULT_KINDS.INVALID, reason: invalidReason.value };
+    }
+    if (!isFencingValid(db, fence)) {
+        return { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+    }
+    db.exec("SAVEPOINT canonical_commit");
+    try {
+        const result = input.kind === ROW_OPERATIONS.INSERT
+            ? applyInsert(db, fence, input)
+            : input.kind === ROW_OPERATIONS.UPDATE
+                ? applyUpdate(db, fence, input)
+                : applyDelete(db, fence, input);
+        if (result.kind !== CANONICAL_COMMIT_RESULT_KINDS.APPLIED) {
+            rollbackSavepoint(db, "canonical_commit");
+            return result;
+        }
+        for (const effect of input.effects) {
+            insertPendingEffect(db, fence, effect);
+        }
+        db.exec("RELEASE canonical_commit");
+        return result;
+    }
+    catch (error) {
+        rollbackSavepoint(db, "canonical_commit");
+        if (error instanceof FenceLostError) {
+            return { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+        }
+        throw error;
+    }
+}
+/**
+ * Commits canonical state and outbox effects inside an already-active async
+ * SQL transaction.
+ *
+ * This is the MikroORM-compatible counterpart of `commitCanonicalChanges()`.
+ * Call it from the same adapter transaction as the user entity mutation so a
+ * database error cannot persist one side without the other.
+ */
+export async function commitCanonicalChangesWithSql(sql, fence, input) {
+    const invalidReason = validateInput(input);
+    if (invalidReason.kind === PRESENCE_KINDS.PRESENT) {
+        return { kind: CANONICAL_COMMIT_RESULT_KINDS.INVALID, reason: invalidReason.value };
+    }
+    if (!(await isFencingValidWithSql(sql, fence))) {
+        return { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+    }
+    await sql.run("SAVEPOINT canonical_commit");
+    try {
+        const result = input.kind === ROW_OPERATIONS.INSERT
+            ? await applyInsertWithSql(sql, fence, input)
+            : input.kind === ROW_OPERATIONS.UPDATE
+                ? await applyUpdateWithSql(sql, fence, input)
+                : await applyDeleteWithSql(sql, fence, input);
+        if (result.kind !== CANONICAL_COMMIT_RESULT_KINDS.APPLIED) {
+            await rollbackSqlSavepoint(sql, "canonical_commit");
+            return result;
+        }
+        if (!(await appendPendingEffectsWithSql(sql, fence, input.effects))) {
+            throw new AsyncFenceLostError();
+        }
+        await sql.run("RELEASE canonical_commit");
+        return result;
+    }
+    catch (error) {
+        try {
+            await rollbackSqlSavepoint(sql, "canonical_commit");
+        }
+        catch {
+            // Preserve the storage error that made the canonical commit fail.
+        }
+        if (error instanceof AsyncFenceLostError) {
+            return { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+        }
+        throw error;
+    }
+}
+/** Commits canonical state in one adapter-owned transaction. */
+export async function commitCanonicalChangesWithAdapter(storage, fence, input) {
+    return storage.transaction(({ sql }) => commitCanonicalChangesWithSql(sql, fence, input));
+}
+function applyInsert(db, fence, input) {
+    const entityResult = db.prepare(INSERT_CANONICAL_ENTITY_SQL).run(input.entityId, toSqlNullable(input.acceptedSnapshotHash), ...fenceParameters(fence));
+    if (entityResult.changes !== 1)
+        return lostFenceOrStaleEntity(db, fence);
+    const fieldRevisions = new Map();
+    for (const field of input.fields) {
+        const result = db.prepare(INSERT_CANONICAL_FIELD_SQL).run(input.entityId, field.fieldName, serializeCell(field.value), field.ownership, ...fenceParameters(fence));
+        if (result.changes !== 1)
+            throwFenceIfLost(db, fence);
+        if (result.changes !== 1) {
+            return {
+                kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+                target: CANONICAL_COMMIT_STALE_TARGETS.FIELD,
+                fieldName: applicableFieldName(field.fieldName),
+            };
+        }
+        fieldRevisions.set(field.fieldName, 1);
+    }
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: 1,
+        fieldRevisions,
+    };
+}
+async function applyInsertWithSql(sql, fence, input) {
+    const entityResult = await sql.run(INSERT_CANONICAL_ENTITY_SQL, [
+        input.entityId,
+        toSqlNullable(input.acceptedSnapshotHash),
+        ...fenceParameters(fence),
+    ]);
+    if (entityResult.changes !== 1)
+        return lostFenceOrStaleEntityWithSql(sql, fence);
+    const fieldRevisions = new Map();
+    for (const field of input.fields) {
+        const result = await sql.run(INSERT_CANONICAL_FIELD_SQL, [
+            input.entityId,
+            field.fieldName,
+            serializeCell(field.value),
+            field.ownership,
+            ...fenceParameters(fence),
+        ]);
+        if (result.changes !== 1) {
+            await throwFenceIfLostWithSql(sql, fence);
+            return {
+                kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+                target: CANONICAL_COMMIT_STALE_TARGETS.FIELD,
+                fieldName: applicableFieldName(field.fieldName),
+            };
+        }
+        fieldRevisions.set(field.fieldName, 1);
+    }
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: 1,
+        fieldRevisions,
+    };
+}
+function applyUpdate(db, fence, input) {
+    const entity = db.prepare(READ_CANONICAL_ENTITY_SQL)
+        .get(input.entityId);
+    if (entity === undefined) {
+        return {
+            kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+            target: CANONICAL_COMMIT_STALE_TARGETS.ENTITY,
+            fieldName: notApplicableFieldName(),
+        };
+    }
+    const fieldRevisions = new Map();
+    for (const field of input.fields) {
+        const result = db.prepare(UPDATE_CANONICAL_FIELD_SQL).run(serializeCell(field.value), input.entityId, field.fieldName, requireApplicableRevision(field.expectedFieldRevision), field.ownership, ...fenceParameters(fence));
+        if (result.changes !== 1) {
+            throwFenceIfLost(db, fence);
+            return {
+                kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+                target: CANONICAL_COMMIT_STALE_TARGETS.FIELD,
+                fieldName: applicableFieldName(field.fieldName),
+            };
+        }
+        fieldRevisions.set(field.fieldName, requireApplicableRevision(field.expectedFieldRevision) + 1);
+    }
+    const nextEntityRevision = entity.entity_revision + 1;
+    const entityResult = db.prepare(UPDATE_CANONICAL_ENTITY_SQL).run(nextEntityRevision, toSqlNullable(input.acceptedSnapshotHash), input.entityId, entity.entity_revision, ...fenceParameters(fence));
+    if (entityResult.changes !== 1)
+        return lostFenceOrStaleEntity(db, fence);
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: nextEntityRevision,
+        fieldRevisions,
+    };
+}
+async function applyUpdateWithSql(sql, fence, input) {
+    const entity = await sql.get(READ_CANONICAL_ENTITY_SQL, [input.entityId]);
+    if (entity === undefined) {
+        return {
+            kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+            target: CANONICAL_COMMIT_STALE_TARGETS.ENTITY,
+            fieldName: notApplicableFieldName(),
+        };
+    }
+    const fieldRevisions = new Map();
+    for (const field of input.fields) {
+        const expectedFieldRevision = requireApplicableRevision(field.expectedFieldRevision);
+        const result = await sql.run(UPDATE_CANONICAL_FIELD_SQL, [
+            serializeCell(field.value),
+            input.entityId,
+            field.fieldName,
+            expectedFieldRevision,
+            field.ownership,
+            ...fenceParameters(fence),
+        ]);
+        if (result.changes !== 1) {
+            await throwFenceIfLostWithSql(sql, fence);
+            return {
+                kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+                target: CANONICAL_COMMIT_STALE_TARGETS.FIELD,
+                fieldName: applicableFieldName(field.fieldName),
+            };
+        }
+        fieldRevisions.set(field.fieldName, expectedFieldRevision + 1);
+    }
+    const nextEntityRevision = entity.entity_revision + 1;
+    const entityResult = await sql.run(UPDATE_CANONICAL_ENTITY_SQL, [
+        nextEntityRevision,
+        toSqlNullable(input.acceptedSnapshotHash),
+        input.entityId,
+        entity.entity_revision,
+        ...fenceParameters(fence),
+    ]);
+    if (entityResult.changes !== 1)
+        return lostFenceOrStaleEntityWithSql(sql, fence);
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: nextEntityRevision,
+        fieldRevisions,
+    };
+}
+/** Marks an entity tombstoned only when the observed entity revision is still current. */
+function applyDelete(db, fence, input) {
+    const nextEntityRevision = input.expectedEntityRevision + 1;
+    const result = db.prepare(DELETE_CANONICAL_ENTITY_SQL).run(nextEntityRevision, toSqlNullable(input.acceptedSnapshotHash), input.entityId, input.expectedEntityRevision, ...fenceParameters(fence));
+    if (result.changes !== 1)
+        return lostFenceOrStaleEntity(db, fence);
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: nextEntityRevision,
+        fieldRevisions: new Map(),
+    };
+}
+async function applyDeleteWithSql(sql, fence, input) {
+    const nextEntityRevision = input.expectedEntityRevision + 1;
+    const result = await sql.run(DELETE_CANONICAL_ENTITY_SQL, [
+        nextEntityRevision,
+        toSqlNullable(input.acceptedSnapshotHash),
+        input.entityId,
+        input.expectedEntityRevision,
+        ...fenceParameters(fence),
+    ]);
+    if (result.changes !== 1)
+        return lostFenceOrStaleEntityWithSql(sql, fence);
+    return {
+        kind: CANONICAL_COMMIT_RESULT_KINDS.APPLIED,
+        entityRevision: nextEntityRevision,
+        fieldRevisions: new Map(),
+    };
+}
+function insertPendingEffect(db, fence, effect) {
+    const result = db.prepare(INSERT_PENDING_EFFECT_SQL).run(effect.effectId, effect.effectKind, effect.commitId, effect.logicalSheetId, effect.physicalSheetId, effect.projection, toSqlNullable(effect.rowBindingId), toSqlNullable(effect.conflictId), effect.targetKind, effect.targetId, toSqlNullable(effect.targetEntityRevision), toSqlNullable(effect.targetFieldRevisionHash), toSqlNullable(effect.targetCanonicalCommitId), effect.expectedVisibleRevision, effect.expectedVisibleHash, toSqlNullable(effect.repairGuardHash), toSqlNullable(effect.sourceQuarantineId), effect.payloadJson, effect.payloadHash, effect.effectDedupeKey, effect.streamSequence, fence.now, ...fenceParameters(fence));
+    if (result.changes !== 1)
+        throwFenceIfLost(db, fence);
+    if (result.changes !== 1) {
+        throw new StorageError(STORAGE_ERROR_CODES.EFFECT_WRITE_FAILED, `could not insert effect ${effect.effectId}`);
+    }
+}
+function validateInput(input) {
+    if (input.entityId.length === 0)
+        return presentError("entity ID is required");
+    if (input.kind === ROW_OPERATIONS.DELETE) {
+        return Number.isSafeInteger(input.expectedEntityRevision) && input.expectedEntityRevision >= 1
+            ? absentError()
+            : presentError("delete must have a positive expected entity revision");
+    }
+    if (input.fields.length === 0)
+        return presentError("at least one accepted field is required");
+    const fieldNames = new Set();
+    for (const field of input.fields) {
+        if (field.fieldName.length === 0 || fieldNames.has(field.fieldName)) {
+            return presentError("field names must be non-empty and unique");
+        }
+        fieldNames.add(field.fieldName);
+        if (input.kind === ROW_OPERATIONS.INSERT &&
+            field.expectedFieldRevision.kind !== APPLICABILITY_KINDS.NOT_APPLICABLE) {
+            return presentError("insert fields must not have an expected revision");
+        }
+        if (input.kind === ROW_OPERATIONS.UPDATE &&
+            (field.expectedFieldRevision.kind !== APPLICABILITY_KINDS.APPLICABLE ||
+                !Number.isSafeInteger(field.expectedFieldRevision.value) ||
+                field.expectedFieldRevision.value < 1)) {
+            return presentError("update fields must have a positive expected revision");
+        }
+    }
+    return absentError();
+}
+function fenceParameters(fence) {
+    return [fence.role, fence.writerEpoch, fence.fencingToken, fence.now];
+}
+function serializeCell(value) {
+    return JSON.stringify(value);
+}
+function lostFenceOrStaleEntity(db, fence) {
+    return isFencingValid(db, fence)
+        ? {
+            kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+            target: CANONICAL_COMMIT_STALE_TARGETS.ENTITY,
+            fieldName: notApplicableFieldName(),
+        }
+        : { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+}
+async function lostFenceOrStaleEntityWithSql(sql, fence) {
+    return (await isFencingValidWithSql(sql, fence))
+        ? {
+            kind: CANONICAL_COMMIT_RESULT_KINDS.STALE,
+            target: CANONICAL_COMMIT_STALE_TARGETS.ENTITY,
+            fieldName: notApplicableFieldName(),
+        }
+        : { kind: CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT };
+}
+function requireApplicableRevision(revision) {
+    if (revision.kind !== APPLICABILITY_KINDS.APPLICABLE) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "an update field must carry an applicable expected revision");
+    }
+    return revision.value;
+}
+function applicableFieldName(fieldName) {
+    return { kind: APPLICABILITY_KINDS.APPLICABLE, value: fieldName };
+}
+function notApplicableFieldName() {
+    return { kind: APPLICABILITY_KINDS.NOT_APPLICABLE };
+}
+function presentError(value) {
+    return { kind: PRESENCE_KINDS.PRESENT, value };
+}
+function absentError() {
+    return { kind: PRESENCE_KINDS.ABSENT };
+}
+function throwFenceIfLost(db, fence) {
+    if (!isFencingValid(db, fence))
+        throw new FenceLostError();
+}
+async function throwFenceIfLostWithSql(sql, fence) {
+    if (!(await isFencingValidWithSql(sql, fence)))
+        throw new AsyncFenceLostError();
+}
+function rollbackSavepoint(db, name) {
+    db.exec(`ROLLBACK TO ${name}`);
+    db.exec(`RELEASE ${name}`);
+}
+class FenceLostError extends Error {
+}
+/** Internal control-flow signal that rolls the async canonical savepoint back. */
+class AsyncFenceLostError extends Error {
+}
+//# sourceMappingURL=canonicalCommit.js.map

package/dist/infrastructure/storage/state/canonical/canonicalCommit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonicalCommit.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/canonical/canonicalCommit.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,kEAAkE;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAQvE,qEAAqE;AACrE,OAAO,EACL,mBAAmB,EACnB,cAAc,GACf,MAAM,uCAAuC,CAAC;AAE/C,qEAAqE;AACrE,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,EACL,cAAc,EACd,qBAAqB,GACtB,MAAM,kCAAkC,CAAC;AAG1C,8EAA8E;AAC9E,OAAO,EACL,2BAA2B,GAE5B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,gBAAgB,EAChB,yBAAyB,GAC1B,MAAM,wCAAwC,CAAC;AAGhD,MAAM,2BAA2B,GAAG;;;kBAGlB,gBAAgB;CACjC,CAAC;AAEF,MAAM,0BAA0B,GAAG;;;;;kBAKjB,gBAAgB;CACjC,CAAC;AAEF,MAAM,yBAAyB,GAAG;;;CAGjC,CAAC;AAEF,MAAM,0BAA0B,GAAG;;;;kBAIjB,gBAAgB;CACjC,CAAC;AAEF,MAAM,2BAA2B,GAAG;;;;kBAIlB,gBAAgB;CACjC,CAAC;AAEF,MAAM,2BAA2B,GAAG;;;;kBAIlB,gBAAgB;CACjC,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,OAAO,EAAE,SAAS;CACV,CAAC;AAMX,qEAAqE;AACrE,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,OAAO;CACN,CAAC;AAmEX;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,EAAoB,EACpB,KAAqB,EACrB,KAA2B;IAE3B,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;IAC5D,CAAC;IAED,EAAE,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;YACjD,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC;YAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;gBACpC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC;gBAC/B,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;YAC1D,iBAAiB,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;YAC1C,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,mBAAmB,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAED,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,iBAAiB,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAC1C,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;QAC5D,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,GAAgB,EAChB,KAAqB,EACrB,KAA2B;IAE3B,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;IAC5D,CAAC;IAED,MAAM,GAAG,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC5C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;YACjD,CAAC,CAAC,MAAM,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;YAC7C,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;gBACpC,CAAC,CAAC,MAAM,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC;gBAC7C,CAAC,CAAC,MAAM,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;YAC1D,MAAM,oBAAoB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,2BAA2B,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YACpE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAClC,CAAC;QAED,MAAM,GAAG,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,CAAC;YACH,MAAM,oBAAoB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,kEAAkE;QACpE,CAAC;QACD,IAAI,KAAK,YAAY,mBAAmB,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;QAC5D,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,OAA0B,EAC1B,KAAqB,EACrB,KAA2B;IAE3B,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,6BAA6B,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,WAAW,CAClB,EAAoB,EACpB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,GAAG,CAC9D,KAAK,CAAC,QAAQ,EACd,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC,EACzC,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;IACF,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEzE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,CACvD,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,SAAS,EACf,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1B,KAAK,CAAC,SAAS,EACf,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;YAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;gBACzC,MAAM,EAAE,8BAA8B,CAAC,KAAK;gBAC5C,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC;aAChD,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,CAAC;QACjB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,GAAgB,EAChB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE;QAC9D,KAAK,CAAC,QAAQ;QACd,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC;QACzC,GAAG,eAAe,CAAC,KAAK,CAAC;KAC1B,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAEjF,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE;YACvD,KAAK,CAAC,QAAQ;YACd,KAAK,CAAC,SAAS;YACf,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1B,KAAK,CAAC,SAAS;YACf,GAAG,eAAe,CAAC,KAAK,CAAC;SAC1B,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,uBAAuB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO;gBACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;gBACzC,MAAM,EAAE,8BAA8B,CAAC,KAAK;gBAC5C,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC;aAChD,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,CAAC;QACjB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,EAAoB,EACpB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC;SACjD,GAAG,CAAC,KAAK,CAAC,QAAQ,CAA4C,CAAC;IAClE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;YACzC,MAAM,EAAE,8BAA8B,CAAC,MAAM;YAC7C,SAAS,EAAE,sBAAsB,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,CACvD,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAC1B,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,SAAS,EACf,yBAAyB,CAAC,KAAK,CAAC,qBAAqB,CAAC,EACtD,KAAK,CAAC,SAAS,EACf,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC5B,OAAO;gBACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;gBACzC,MAAM,EAAE,8BAA8B,CAAC,KAAK;gBAC5C,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC;aAChD,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,yBAAyB,CAAC,KAAK,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,kBAAkB,GAAG,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,GAAG,CAC9D,kBAAkB,EAClB,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC,EACzC,KAAK,CAAC,QAAQ,EACd,MAAM,CAAC,eAAe,EACtB,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;IACF,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEzE,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,kBAAkB;QAClC,cAAc;KACf,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,GAAgB,EAChB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAC1B,yBAAyB,EACzB,CAAC,KAAK,CAAC,QAAQ,CAAC,CACjB,CAAC;IACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;YACzC,MAAM,EAAE,8BAA8B,CAAC,MAAM;YAC7C,SAAS,EAAE,sBAAsB,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE;YACvD,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1B,KAAK,CAAC,QAAQ;YACd,KAAK,CAAC,SAAS;YACf,qBAAqB;YACrB,KAAK,CAAC,SAAS;YACf,GAAG,eAAe,CAAC,KAAK,CAAC;SAC1B,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,uBAAuB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO;gBACL,IAAI,EAAE,6BAA6B,CAAC,KAAK;gBACzC,MAAM,EAAE,8BAA8B,CAAC,KAAK;gBAC5C,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC;aAChD,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,qBAAqB,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,kBAAkB,GAAG,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE;QAC9D,kBAAkB;QAClB,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC;QACzC,KAAK,CAAC,QAAQ;QACd,MAAM,CAAC,eAAe;QACtB,GAAG,eAAe,CAAC,KAAK,CAAC;KAC1B,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAEjF,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,kBAAkB;QAClC,cAAc;KACf,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,WAAW,CAClB,EAAoB,EACpB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,kBAAkB,GAAG,KAAK,CAAC,sBAAsB,GAAG,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC,GAAG,CACxD,kBAAkB,EAClB,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC,EACzC,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,sBAAsB,EAC5B,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAEnE,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,kBAAkB;QAClC,cAAc,EAAE,IAAI,GAAG,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,GAAgB,EAChB,KAAqB,EACrB,KAAiC;IAEjC,MAAM,kBAAkB,GAAG,KAAK,CAAC,sBAAsB,GAAG,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE;QACxD,kBAAkB;QAClB,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC;QACzC,KAAK,CAAC,QAAQ;QACd,KAAK,CAAC,sBAAsB;QAC5B,GAAG,eAAe,CAAC,KAAK,CAAC;KAC1B,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAE3E,OAAO;QACL,IAAI,EAAE,6BAA6B,CAAC,OAAO;QAC3C,cAAc,EAAE,kBAAkB;QAClC,cAAc,EAAE,IAAI,GAAG,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,EAAoB,EACpB,KAAqB,EACrB,MAAiB;IAEjB,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,GAAG,CACtD,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,UAAU,EACjB,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,EAClC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,EAChC,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,QAAQ,EACf,aAAa,CAAC,MAAM,CAAC,oBAAoB,CAAC,EAC1C,aAAa,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAC7C,aAAa,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAC7C,MAAM,CAAC,uBAAuB,EAC9B,MAAM,CAAC,mBAAmB,EAC1B,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC,EACrC,aAAa,CAAC,MAAM,CAAC,kBAAkB,CAAC,EACxC,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,cAAc,EACrB,KAAK,CAAC,GAAG,EACT,GAAG,eAAe,CAAC,KAAK,CAAC,CAC1B,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;QAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,mBAAmB,EACvC,2BAA2B,MAAM,CAAC,QAAQ,EAAE,CAC7C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAA2B;IAChD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,uBAAuB,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC;YAC5F,CAAC,CAAC,WAAW,EAAE;YACf,CAAC,CAAC,YAAY,CAAC,sDAAsD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,yCAAyC,CAAC,CAAC;IAE9F,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO,YAAY,CAAC,0CAA0C,CAAC,CAAC;QAClE,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEhC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;YACtC,KAAK,CAAC,qBAAqB,CAAC,IAAI,KAAK,mBAAmB,CAAC,cAAc,EAAE,CAAC;YAC1E,OAAO,YAAY,CAAC,kDAAkD,CAAC,CAAC;QAC1E,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;YACpC,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,KAAK,mBAAmB,CAAC,UAAU;gBAClE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC;gBACxD,KAAK,CAAC,qBAAqB,CAAC,KAAK,GAAG,CAAC,CAAC,EACxC,CAAC;YACD,OAAO,YAAY,CAAC,sDAAsD,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IACD,OAAO,WAAW,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,eAAe,CAAC,KAAqB;IAC5C,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,aAAa,CAAC,KAAqB;IAC1C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,sBAAsB,CAC7B,EAAoB,EACpB,KAAqB;IAErB,OAAO,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;QAC9B,CAAC,CAAC;YACE,IAAI,EAAE,6BAA6B,CAAC,KAAK;YACzC,MAAM,EAAE,8BAA8B,CAAC,MAAM;YAC7C,SAAS,EAAE,sBAAsB,EAAE;SACpC;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,KAAK,UAAU,6BAA6B,CAC1C,GAAgB,EAChB,KAAqB;IAErB,OAAO,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC,CAAC;YACE,IAAI,EAAE,6BAA6B,CAAC,KAAK;YACzC,MAAM,EAAE,8BAA8B,CAAC,MAAM;YAC7C,SAAS,EAAE,sBAAsB,EAAE;SACpC;QACH,CAAC,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,yBAAyB,CAAC,QAA+B;IAChE,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,CAAC,UAAU,EAAE,CAAC;QACrD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC;AACxB,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAiB;IAC5C,OAAO,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,sBAAsB;IAC7B,OAAO,EAAE,IAAI,EAAE,mBAAmB,CAAC,cAAc,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,WAAW;IAClB,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAoB,EAAE,KAAqB;IACnE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC7D,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,GAAgB,EAAE,KAAqB;IAC5E,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAoB,EAAE,IAAY;IAC3D,EAAE,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IAC/B,EAAE,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,cAAe,SAAQ,KAAK;CAAG;AAErC,kFAAkF;AAClF,MAAM,mBAAoB,SAAQ,KAAK;CAAG"}

package/dist/infrastructure/storage/state/observation/observationAudit.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Stable audit serialization for observation evidence.
+ *
+ * Gateway payloads are external input, so rejected values must still be
+ * preserved without JSON coercion silently hiding malformed data.
+ */
+import { type NormalizedRow } from "../../../../domain/index.js";
+/** Builds the persisted hash for an observed row snapshot or absent row. */
+export declare function rowHash(row: NormalizedRow | null, rowBindingId: string): string;
+/**
+ * Produces non-throwing audit JSON for rejected adapter values as well as
+ * valid normalized values. It never lets JSON.stringify silently turn
+ * Infinity into null or discard undefined evidence.
+ */
+export declare function auditJson(value: unknown): string;
+//# sourceMappingURL=observationAudit.d.ts.map

package/dist/infrastructure/storage/state/observation/observationAudit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observationAudit.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationAudit.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAQ7F,4EAA4E;AAC5E,wBAAgB,OAAO,CACrB,GAAG,EAAE,aAAa,GAAG,IAAI,EACzB,YAAY,EAAE,MAAM,GACnB,MAAM,CAIR;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAShD"}

package/dist/infrastructure/storage/state/observation/observationAudit.js

@@ -0,0 +1,85 @@
+/**
+ * Stable audit serialization for observation evidence.
+ *
+ * Gateway payloads are external input, so rejected values must still be
+ * preserved without JSON coercion silently hiding malformed data.
+ */
+import { computeRowHash, stableHash } from "../../../../domain/index.js";
+import { isJavaScriptType, JAVASCRIPT_TYPE_NAMES, } from "../../../../shared/encoding/index.js";
+import { QUARANTINE_FINGERPRINT_MARKERS } from "../../../../domain/evaluate/constants.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+/** Builds the persisted hash for an observed row snapshot or absent row. */
+export function rowHash(row, rowBindingId) {
+    return row === null
+        ? stableHash({ rowBindingId, row: null })
+        : computeRowHash(row.rowBindingId, row.fields);
+}
+/**
+ * Produces non-throwing audit JSON for rejected adapter values as well as
+ * valid normalized values. It never lets JSON.stringify silently turn
+ * Infinity into null or discard undefined evidence.
+ */
+export function auditJson(value) {
+    const serialized = JSON.stringify(toAuditValue(value, new Set()));
+    if (serialized === undefined) {
+        throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_AUDIT_SERIALIZATION_FAILED, "could not serialize audit evidence");
+    }
+    return serialized;
+}
+function toAuditValue(value, seen) {
+    if (value === null ||
+        isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.STRING) ||
+        isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.BOOLEAN))
+        return value;
+    if (isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.NUMBER)) {
+        return Number.isFinite(value) ? value : { $invalidNumber: String(value) };
+    }
+    if (isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.UNDEFINED)) {
+        return { $invalidType: QUARANTINE_FINGERPRINT_MARKERS.UNDEFINED };
+    }
+    if (isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.BIGINT)) {
+        return { $invalidBigInt: value.toString() };
+    }
+    if (isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.SYMBOL)) {
+        return { $invalidSymbol: String(value) };
+    }
+    if (isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.FUNCTION)) {
+        return {
+            $invalidFunction: value.name || QUARANTINE_FINGERPRINT_MARKERS.ANONYMOUS_FUNCTION,
+        };
+    }
+    if (!isJavaScriptType(value, JAVASCRIPT_TYPE_NAMES.OBJECT)) {
+        return { $invalidObject: Object.prototype.toString.call(value) };
+    }
+    if (seen.has(value)) {
+        return { $invalidObject: QUARANTINE_FINGERPRINT_MARKERS.CYCLE };
+    }
+    seen.add(value);
+    try {
+        if (Array.isArray(value)) {
+            return value.map((entry) => toAuditValue(entry, seen));
+        }
+        if (value instanceof Map) {
+            const entries = [...value.entries()]
+                .map(([key, entry]) => [toAuditValue(key, seen), toAuditValue(entry, seen)])
+                .sort((left, right) => auditSortKey(left[0]).localeCompare(auditSortKey(right[0])));
+            return { $map: entries };
+        }
+        if (Object.prototype.toString.call(value) !== QUARANTINE_FINGERPRINT_MARKERS.PLAIN_OBJECT_TAG) {
+            return { $invalidObject: Object.prototype.toString.call(value) };
+        }
+        const objectValue = value;
+        const result = {};
+        for (const key of Object.keys(objectValue).sort()) {
+            result[key] = toAuditValue(objectValue[key], seen);
+        }
+        return result;
+    }
+    finally {
+        seen.delete(value);
+    }
+}
+function auditSortKey(value) {
+    return JSON.stringify(value);
+}
+//# sourceMappingURL=observationAudit.js.map

package/dist/infrastructure/storage/state/observation/observationAudit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observationAudit.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationAudit.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,UAAU,EAAsB,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EACL,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,8BAA8B,EAAE,MAAM,0CAA0C,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAEpE,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CACrB,GAAyB,EACzB,YAAoB;IAEpB,OAAO,GAAG,KAAK,IAAI;QACjB,CAAC,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;QACzC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC;IAC1E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,sCAAsC,EAC1D,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAMD,SAAS,YAAY,CAAC,KAAc,EAAE,IAAiB;IACrD,IAAI,KAAK,KAAK,IAAI;QACd,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC;QACrD,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,IAAI,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,OAAO,EAAE,YAAY,EAAE,8BAA8B,CAAC,SAAS,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,OAAO;YACL,gBAAgB,EAAE,KAAK,CAAC,IAAI,IAAI,8BAA8B,CAAC,kBAAkB;SAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACnE,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,cAAc,EAAE,8BAA8B,CAAC,KAAK,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,KAAK,YAAY,GAAG,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;iBACjC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAU,CAAC;iBACpF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,8BAA8B,CAAC,gBAAgB,EAAE,CAAC;YAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnE,CAAC;QAED,MAAM,WAAW,GAAG,KAAgC,CAAC;QACrD,MAAM,MAAM,GAA+B,EAAE,CAAC;QAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB;IACrC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC"}

package/dist/infrastructure/storage/state/observation/observationCanonical.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Canonical-state and conflict-ledger mutations for one observed row.
+ *
+ * Every exported operation assumes its caller already holds the writer fence
+ * and is inside the observation writer's immediate transaction.
+ */
+import { type ObservedRowChange, type Presence, type RowEvaluationResult, type RowOutcome } from "../../../../domain/index.js";
+import { ROW_OUTCOMES } from "../../../../domain/evaluate/constants.js";
+import type { DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import type { SqlExecutor } from "../../../../adapter/persistence/contracts/sql.js";
+import type { FencingContext } from "../../sync/shared/writerLease.js";
+import type { AppliedCanonicalCommit, PersistObservedRowInput, RowBindingRow } from "./observationTypes.js";
+type PersistedRowOutcome = Exclude<RowOutcome, typeof ROW_OUTCOMES.QUARANTINE>;
+/**
+ * Applies a validated canonical change, then updates bindings, key ownership,
+ * and any unresolved conflicts rebased by that change.
+ */
+export declare function applyCanonicalMutation(db: DatabaseSyncLike, fence: FencingContext, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow): Presence<AppliedCanonicalCommit>;
+/**
+ * Applies canonical state and related binding/key/conflict changes through
+ * the active async SQL transaction.
+ */
+export declare function applyCanonicalMutationWithSql(sql: SqlExecutor, fence: FencingContext, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow): Promise<Presence<AppliedCanonicalCommit>>;
+/** Writes new field candidates unless an equivalent unresolved candidate is active. */
+export declare function persistConflictAttempts(db: DatabaseSyncLike, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow, eventId: string): readonly string[];
+/** Writes new field candidates through the active async SQL transaction. */
+export declare function persistConflictAttemptsWithSql(sql: SqlExecutor, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow, eventId: string): Promise<readonly string[]>;
+/** Rejects an impossible persistence result before it becomes public output. */
+export declare function requirePersistedOutcome(evaluation: RowEvaluationResult): PersistedRowOutcome;
+export {};
+//# sourceMappingURL=observationCanonical.d.ts.map

package/dist/infrastructure/storage/state/observation/observationCanonical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observationCanonical.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationCanonical.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,QAAQ,EACb,KAAK,mBAAmB,EACxB,KAAK,UAAU,EAChB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AAkBxE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAOvE,OAAO,KAAK,EACV,sBAAsB,EAEtB,uBAAuB,EACvB,aAAa,EACd,MAAM,uBAAuB,CAAC;AAoG/B,KAAK,mBAAmB,GAAG,OAAO,CAAC,UAAU,EAAE,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC;AAiB/E;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,GACrB,QAAQ,CAAC,sBAAsB,CAAC,CA4BlC;AAED;;;GAGG;AACH,wBAAsB,6BAA6B,CACjD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,GACrB,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAiC3C;AAED,uFAAuF;AACvF,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,MAAM,GACd,SAAS,MAAM,EAAE,CAkFnB;AAED,4EAA4E;AAC5E,wBAAsB,8BAA8B,CAClD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAsF5B;AAED,gFAAgF;AAChF,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,GAC9B,mBAAmB,CAQrB"}