hikoutei 0.2.0

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

@@ -0,0 +1,293 @@
+/**
+ * Fenced observation-to-storage composer for the SQLite-authoritative phase.
+ *
+ * It persists one already-normalized, already-evaluated row per immediate
+ * transaction. The focused modules it calls own validation, receipt/event
+ * ledgering, canonical state, conflicts, and quarantine evidence.
+ */
+import { APPLICABILITY_KINDS, LOOKUP_RESULT_KINDS, PRESENCE_KINDS, } from "../../../../domain/index.js";
+import { ROW_OUTCOMES } from "../../../../domain/evaluate/constants.js";
+import { EMPTY_ARRAY_LENGTH_ZERO, EXPECTED_SINGLE_ROW_CHANGE_COUNT } from "../../constants.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+import { appendPendingEffects, appendPendingEffectsWithSql, } from "../../sync/outbound/effectOutbox.js";
+import { withImmediateTransaction } from "../../sqlite/sqliteBridge.js";
+import { withSqlSavepoint } from "../../sqlite/sqlTransaction.js";
+import { isFencingValid, isFencingValidWithSql, } from "../../sync/shared/writerLease.js";
+import { applyCanonicalMutation, applyCanonicalMutationWithSql, persistConflictAttempts, persistConflictAttemptsWithSql, requirePersistedOutcome, } from "./observationCanonical.js";
+import { appendObservation, appendObservationWithSql, completeObservation, completeObservationWithSql, createEvent, createEventWithSql, findEventByKey, findEventByKeyWithSql, findMatchingCandidateEventId, findMatchingCandidateEventIdWithSql, persistObservedHashes, persistObservedHashesWithSql, requireKnownBinding, requireKnownBindingWithSql, } from "./observationLedger.js";
+import { persistIntegrityQuarantine, persistIntegrityQuarantineWithSql, persistQuarantine, persistQuarantineWithSql, } from "./observationQuarantine.js";
+import { OBSERVATION_APPEND_RESULT_KINDS, OBSERVATION_COMPLETION_STATES, OBSERVATION_DUPLICATE_REASONS, OBSERVATION_INTEGRITY_DISCRIMINATORS, OBSERVATION_WRITE_RESULT_KINDS, } from "./observationConstants.js";
+import { CanonicalStaleError, FenceLostError, } from "./observationTypes.js";
+import { ensureEffectsTargetRegistered, ensureEffectsTargetRegisteredWithSql, ensureRegisteredProjection, ensureRegisteredProjectionWithSql, requireBatchRow, validatePersistObservedRowInput, } from "./observationValidation.js";
+const UPDATE_EVENT_STATUS_SQL = `
+  UPDATE event_log
+  SET status = ?
+  WHERE event_id = ?
+`;
+const ABSENT_EVENT_ID = { kind: PRESENCE_KINDS.ABSENT };
+/**
+ * Persists one normalized row outcome at the writer-RPC boundary.
+ *
+ * No Sheet call is made here. A stale fence or canonical CAS rolls back the
+ * whole transaction so the adapter can re-read and submit again.
+ */
+export function persistObservedRow(db, fence, input) {
+    validatePersistObservedRowInput(input);
+    if (!isFencingValid(db, fence)) {
+        return { kind: OBSERVATION_WRITE_RESULT_KINDS.FENCED_OUT };
+    }
+    try {
+        return withImmediateTransaction(db, () => {
+            assertCurrentFence(db, fence);
+            const row = requireBatchRow(input.batch, input.rowIndex);
+            ensureRegisteredProjection(db, input.batch, input.physicalSheetId);
+            ensureEffectsTargetRegistered(db, input.batch.sheetId, input.effects);
+            if (input.canonical.kind === PRESENCE_KINDS.PRESENT) {
+                ensureEffectsTargetRegistered(db, input.batch.sheetId, input.canonical.value.commit.effects);
+            }
+            const observation = appendObservation(db, input.batch, input.physicalSheetId, input.observation);
+            if (observation.kind === OBSERVATION_APPEND_RESULT_KINDS.DUPLICATE) {
+                return {
+                    kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                    observationId: input.observation.observationId,
+                    eventId: observation.eventId,
+                    reason: OBSERVATION_DUPLICATE_REASONS.OBSERVATION,
+                };
+            }
+            if (observation.kind === OBSERVATION_APPEND_RESULT_KINDS.INTEGRITY_COLLISION) {
+                const quarantineId = persistIntegrityQuarantine(db, input, row, ABSENT_EVENT_ID, OBSERVATION_INTEGRITY_DISCRIMINATORS.OBSERVATION_KEY_PAYLOAD_MISMATCH);
+                return completeQuarantine(db, fence, input, quarantineId, ABSENT_EVENT_ID, []);
+            }
+            if (input.event.kind === PRESENCE_KINDS.ABSENT) {
+                if (input.evaluation.outcome !== ROW_OUTCOMES.QUARANTINE) {
+                    throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "an unresolved observation must have a core quarantine plan");
+                }
+                const quarantineId = persistQuarantine(db, input, input.evaluation.quarantine, ABSENT_EVENT_ID);
+                return completeQuarantine(db, fence, input, quarantineId, ABSENT_EVENT_ID, input.effects);
+            }
+            const binding = requireKnownBinding(db, input.batch.sheetId, row.rowBindingId);
+            const matchingCandidateEventId = findMatchingCandidateEventId(db, input, row, binding);
+            if (matchingCandidateEventId.kind === LOOKUP_RESULT_KINDS.FOUND) {
+                completeObservation(db, input.batch.sheetId, input.observation, presentEventId(matchingCandidateEventId.value), OBSERVATION_COMPLETION_STATES.DUPLICATE);
+                return {
+                    kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                    observationId: input.observation.observationId,
+                    eventId: presentEventId(matchingCandidateEventId.value),
+                    reason: OBSERVATION_DUPLICATE_REASONS.CANDIDATE,
+                };
+            }
+            const eventIdentity = input.event.value;
+            const existingEvent = findEventByKey(db, input.batch.sheetId, eventIdentity.eventKey);
+            if (existingEvent.kind === LOOKUP_RESULT_KINDS.FOUND) {
+                if (existingEvent.value.payload_hash === eventIdentity.payloadHash) {
+                    completeObservation(db, input.batch.sheetId, input.observation, presentEventId(existingEvent.value.event_id), OBSERVATION_COMPLETION_STATES.DUPLICATE);
+                    return {
+                        kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                        observationId: input.observation.observationId,
+                        eventId: presentEventId(existingEvent.value.event_id),
+                        reason: OBSERVATION_DUPLICATE_REASONS.EVENT,
+                    };
+                }
+                const quarantineId = persistIntegrityQuarantine(db, input, row, ABSENT_EVENT_ID, OBSERVATION_INTEGRITY_DISCRIMINATORS.EVENT_KEY_PAYLOAD_MISMATCH);
+                return completeQuarantine(db, fence, input, quarantineId, ABSENT_EVENT_ID, []);
+            }
+            const createdEvent = createEvent(db, input, row);
+            persistObservedHashes(db, input, row);
+            if (input.evaluation.outcome === ROW_OUTCOMES.QUARANTINE) {
+                const quarantineId = persistQuarantine(db, input, input.evaluation.quarantine, presentEventId(createdEvent.eventId));
+                return completeQuarantine(db, fence, input, quarantineId, presentEventId(createdEvent.eventId), input.effects);
+            }
+            const canonicalResult = applyCanonicalMutation(db, fence, input, row, binding);
+            const conflictIds = persistConflictAttempts(db, input, row, binding, createdEvent.eventId);
+            appendAdditionalEffectsOrThrow(db, fence, input.effects);
+            const eventStatus = input.evaluation.conflicts.length === EMPTY_ARRAY_LENGTH_ZERO
+                ? ROW_OUTCOMES.ACCEPTED
+                : ROW_OUTCOMES.CONFLICT;
+            const statusResult = db.prepare(UPDATE_EVENT_STATUS_SQL)
+                .run(eventStatus, createdEvent.eventId);
+            if (statusResult.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+                throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, `could not complete event ${createdEvent.eventId}`);
+            }
+            completeObservation(db, input.batch.sheetId, input.observation, presentEventId(createdEvent.eventId), OBSERVATION_COMPLETION_STATES.EVALUATED);
+            const entityRevision = canonicalResult.kind === PRESENCE_KINDS.PRESENT
+                ? { kind: APPLICABILITY_KINDS.APPLICABLE, value: canonicalResult.value.entityRevision }
+                : { kind: APPLICABILITY_KINDS.NOT_APPLICABLE };
+            return {
+                kind: OBSERVATION_WRITE_RESULT_KINDS.PERSISTED,
+                observationId: input.observation.observationId,
+                eventId: createdEvent.eventId,
+                eventSequence: createdEvent.eventSequence,
+                outcome: requirePersistedOutcome(input.evaluation),
+                entityRevision,
+                conflictIds,
+            };
+        });
+    }
+    catch (error) {
+        if (error instanceof FenceLostError) {
+            return { kind: OBSERVATION_WRITE_RESULT_KINDS.FENCED_OUT };
+        }
+        if (error instanceof CanonicalStaleError) {
+            return { kind: OBSERVATION_WRITE_RESULT_KINDS.STALE };
+        }
+        throw error;
+    }
+}
+/**
+ * Persists one normalized row outcome inside an already-active async SQL
+ * transaction. It mirrors the legacy writer semantics while allowing the
+ * caller to keep a user entity mutation and its sync records atomic.
+ */
+export async function persistObservedRowWithSql(sql, fence, input) {
+    validatePersistObservedRowInput(input);
+    if (!(await isFencingValidWithSql(sql, fence))) {
+        return { kind: OBSERVATION_WRITE_RESULT_KINDS.FENCED_OUT };
+    }
+    try {
+        return await withSqlSavepoint(sql, "persist_observed_row", async () => {
+            await assertCurrentFenceWithSql(sql, fence);
+            const row = requireBatchRow(input.batch, input.rowIndex);
+            await ensureRegisteredProjectionWithSql(sql, input.batch, input.physicalSheetId);
+            await ensureEffectsTargetRegisteredWithSql(sql, input.batch.sheetId, input.effects);
+            if (input.canonical.kind === PRESENCE_KINDS.PRESENT) {
+                await ensureEffectsTargetRegisteredWithSql(sql, input.batch.sheetId, input.canonical.value.commit.effects);
+            }
+            const observation = await appendObservationWithSql(sql, input.batch, input.physicalSheetId, input.observation);
+            if (observation.kind === OBSERVATION_APPEND_RESULT_KINDS.DUPLICATE) {
+                return {
+                    kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                    observationId: input.observation.observationId,
+                    eventId: observation.eventId,
+                    reason: OBSERVATION_DUPLICATE_REASONS.OBSERVATION,
+                };
+            }
+            if (observation.kind === OBSERVATION_APPEND_RESULT_KINDS.INTEGRITY_COLLISION) {
+                const quarantineId = await persistIntegrityQuarantineWithSql(sql, input, row, ABSENT_EVENT_ID, OBSERVATION_INTEGRITY_DISCRIMINATORS.OBSERVATION_KEY_PAYLOAD_MISMATCH);
+                return completeQuarantineWithSql(sql, fence, input, quarantineId, ABSENT_EVENT_ID, []);
+            }
+            if (input.event.kind === PRESENCE_KINDS.ABSENT) {
+                if (input.evaluation.outcome !== ROW_OUTCOMES.QUARANTINE) {
+                    throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "an unresolved observation must have a core quarantine plan");
+                }
+                const quarantineId = await persistQuarantineWithSql(sql, input, input.evaluation.quarantine, ABSENT_EVENT_ID);
+                return completeQuarantineWithSql(sql, fence, input, quarantineId, ABSENT_EVENT_ID, input.effects);
+            }
+            const binding = await requireKnownBindingWithSql(sql, input.batch.sheetId, row.rowBindingId);
+            const matchingCandidateEventId = await findMatchingCandidateEventIdWithSql(sql, input, row, binding);
+            if (matchingCandidateEventId.kind === LOOKUP_RESULT_KINDS.FOUND) {
+                await completeObservationWithSql(sql, input.batch.sheetId, input.observation, presentEventId(matchingCandidateEventId.value), OBSERVATION_COMPLETION_STATES.DUPLICATE);
+                return {
+                    kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                    observationId: input.observation.observationId,
+                    eventId: presentEventId(matchingCandidateEventId.value),
+                    reason: OBSERVATION_DUPLICATE_REASONS.CANDIDATE,
+                };
+            }
+            const eventIdentity = input.event.value;
+            const existingEvent = await findEventByKeyWithSql(sql, input.batch.sheetId, eventIdentity.eventKey);
+            if (existingEvent.kind === LOOKUP_RESULT_KINDS.FOUND) {
+                if (existingEvent.value.payload_hash === eventIdentity.payloadHash) {
+                    await completeObservationWithSql(sql, input.batch.sheetId, input.observation, presentEventId(existingEvent.value.event_id), OBSERVATION_COMPLETION_STATES.DUPLICATE);
+                    return {
+                        kind: OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE,
+                        observationId: input.observation.observationId,
+                        eventId: presentEventId(existingEvent.value.event_id),
+                        reason: OBSERVATION_DUPLICATE_REASONS.EVENT,
+                    };
+                }
+                const quarantineId = await persistIntegrityQuarantineWithSql(sql, input, row, ABSENT_EVENT_ID, OBSERVATION_INTEGRITY_DISCRIMINATORS.EVENT_KEY_PAYLOAD_MISMATCH);
+                return completeQuarantineWithSql(sql, fence, input, quarantineId, ABSENT_EVENT_ID, []);
+            }
+            const createdEvent = await createEventWithSql(sql, input, row);
+            await persistObservedHashesWithSql(sql, input, row);
+            if (input.evaluation.outcome === ROW_OUTCOMES.QUARANTINE) {
+                const quarantineId = await persistQuarantineWithSql(sql, input, input.evaluation.quarantine, presentEventId(createdEvent.eventId));
+                return completeQuarantineWithSql(sql, fence, input, quarantineId, presentEventId(createdEvent.eventId), input.effects);
+            }
+            const canonicalResult = await applyCanonicalMutationWithSql(sql, fence, input, row, binding);
+            const conflictIds = await persistConflictAttemptsWithSql(sql, input, row, binding, createdEvent.eventId);
+            await appendAdditionalEffectsOrThrowWithSql(sql, fence, input.effects);
+            const eventStatus = input.evaluation.conflicts.length === EMPTY_ARRAY_LENGTH_ZERO
+                ? ROW_OUTCOMES.ACCEPTED
+                : ROW_OUTCOMES.CONFLICT;
+            const statusResult = await sql.run(UPDATE_EVENT_STATUS_SQL, [
+                eventStatus,
+                createdEvent.eventId,
+            ]);
+            if (statusResult.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+                throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, `could not complete event ${createdEvent.eventId}`);
+            }
+            await completeObservationWithSql(sql, input.batch.sheetId, input.observation, presentEventId(createdEvent.eventId), OBSERVATION_COMPLETION_STATES.EVALUATED);
+            const entityRevision = canonicalResult.kind === PRESENCE_KINDS.PRESENT
+                ? { kind: APPLICABILITY_KINDS.APPLICABLE, value: canonicalResult.value.entityRevision }
+                : { kind: APPLICABILITY_KINDS.NOT_APPLICABLE };
+            return {
+                kind: OBSERVATION_WRITE_RESULT_KINDS.PERSISTED,
+                observationId: input.observation.observationId,
+                eventId: createdEvent.eventId,
+                eventSequence: createdEvent.eventSequence,
+                outcome: requirePersistedOutcome(input.evaluation),
+                entityRevision,
+                conflictIds,
+            };
+        });
+    }
+    catch (error) {
+        if (error instanceof FenceLostError) {
+            return { kind: OBSERVATION_WRITE_RESULT_KINDS.FENCED_OUT };
+        }
+        if (error instanceof CanonicalStaleError) {
+            return { kind: OBSERVATION_WRITE_RESULT_KINDS.STALE };
+        }
+        throw error;
+    }
+}
+/** Persists one observed row in an adapter-owned transaction. */
+export async function persistObservedRowWithAdapter(storage, fence, input) {
+    return storage.transaction(({ sql }) => persistObservedRowWithSql(sql, fence, input));
+}
+/** Persists the remaining effects and closes a quarantined observation receipt. */
+function completeQuarantine(db, fence, input, quarantineId, eventId, effects) {
+    appendAdditionalEffectsOrThrow(db, fence, effects);
+    completeObservation(db, input.batch.sheetId, input.observation, eventId, OBSERVATION_COMPLETION_STATES.QUARANTINED);
+    return {
+        kind: OBSERVATION_WRITE_RESULT_KINDS.QUARANTINED,
+        observationId: input.observation.observationId,
+        eventId,
+        quarantineId,
+    };
+}
+/** Appends quarantine effects and closes the receipt through active async SQL. */
+async function completeQuarantineWithSql(sql, fence, input, quarantineId, eventId, effects) {
+    await appendAdditionalEffectsOrThrowWithSql(sql, fence, effects);
+    await completeObservationWithSql(sql, input.batch.sheetId, input.observation, eventId, OBSERVATION_COMPLETION_STATES.QUARANTINED);
+    return {
+        kind: OBSERVATION_WRITE_RESULT_KINDS.QUARANTINED,
+        observationId: input.observation.observationId,
+        eventId,
+        quarantineId,
+    };
+}
+function appendAdditionalEffectsOrThrow(db, fence, effects) {
+    if (!appendPendingEffects(db, fence, effects))
+        throw new FenceLostError();
+}
+/** Appends additional effects through active async SQL or signals a lost fence. */
+async function appendAdditionalEffectsOrThrowWithSql(sql, fence, effects) {
+    if (!(await appendPendingEffectsWithSql(sql, fence, effects)))
+        throw new FenceLostError();
+}
+/** Wraps a newly created event ID in the storage presence contract. */
+function presentEventId(eventId) {
+    return { kind: PRESENCE_KINDS.PRESENT, value: eventId };
+}
+function assertCurrentFence(db, fence) {
+    if (!isFencingValid(db, fence))
+        throw new FenceLostError();
+}
+/** Requires the writer fence to remain current within the active async transaction. */
+async function assertCurrentFenceWithSql(sql, fence) {
+    if (!(await isFencingValidWithSql(sql, fence)))
+        throw new FenceLostError();
+}
+//# sourceMappingURL=observationWriter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationWriter.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationWriter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,mBAAmB,EACnB,mBAAmB,EACnB,cAAc,GAGf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,gCAAgC,EAAE,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EACL,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,wBAAwB,EAAyB,MAAM,8BAA8B,CAAC;AAC/F,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EACL,cAAc,EACd,qBAAqB,GAEtB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,WAAW,EACX,kBAAkB,EAClB,cAAc,EACd,qBAAqB,EACrB,4BAA4B,EAC5B,mCAAmC,EACnC,qBAAqB,EACrB,4BAA4B,EAC5B,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,0BAA0B,EAC1B,iCAAiC,EACjC,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,EAC7B,6BAA6B,EAC7B,oCAAoC,EACpC,8BAA8B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,mBAAmB,EACnB,cAAc,GAGf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,6BAA6B,EAC7B,oCAAoC,EACpC,0BAA0B,EAC1B,iCAAiC,EACjC,eAAe,EACf,+BAA+B,GAChC,MAAM,4BAA4B,CAAC;AAGpC,MAAM,uBAAuB,GAAG;;;;CAI/B,CAAC;AAEF,MAAM,eAAe,GAAqB,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;AAW1E;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,EAAoB,EACpB,KAAqB,EACrB,KAA8B;IAE9B,+BAA+B,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,UAAU,EAAE,CAAC;IAC7D,CAAC;IAED,IAAI,CAAC;QACH,OAAO,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE;YACvC,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzD,0BAA0B,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YACnE,6BAA6B,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACtE,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;gBACpD,6BAA6B,CAC3B,EAAE,EACF,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CACrC,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAG,iBAAiB,CACnC,EAAE,EACF,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,WAAW,CAClB,CAAC;YACF,IAAI,WAAW,CAAC,IAAI,KAAK,+BAA+B,CAAC,SAAS,EAAE,CAAC;gBACnE,OAAO;oBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;oBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;oBAC9C,OAAO,EAAE,WAAW,CAAC,OAAO;oBAC5B,MAAM,EAAE,6BAA6B,CAAC,WAAW;iBAClD,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,CAAC,IAAI,KAAK,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;gBAC7E,MAAM,YAAY,GAAG,0BAA0B,CAC7C,EAAE,EACF,KAAK,EACL,GAAG,EACH,eAAe,EACf,oCAAoC,CAAC,gCAAgC,CACtE,CAAC;gBACF,OAAO,kBAAkB,CACvB,EAAE,EACF,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,EAAE,CACH,CAAC;YACJ,CAAC;YAED,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;gBAC/C,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;oBACzD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,4DAA4D,CAC7D,CAAC;gBACJ,CAAC;gBACD,MAAM,YAAY,GAAG,iBAAiB,CACpC,EAAE,EACF,KAAK,EACL,KAAK,CAAC,UAAU,CAAC,UAAU,EAC3B,eAAe,CAChB,CAAC;gBACF,OAAO,kBAAkB,CACvB,EAAE,EACF,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,KAAK,CAAC,OAAO,CACd,CAAC;YACJ,CAAC;YAED,MAAM,OAAO,GAAG,mBAAmB,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;YAC/E,MAAM,wBAAwB,GAAG,4BAA4B,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YACvF,IAAI,wBAAwB,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBAChE,mBAAmB,CACjB,EAAE,EACF,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAC9C,6BAA6B,CAAC,SAAS,CACxC,CAAC;gBACF,OAAO;oBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;oBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;oBAC9C,OAAO,EAAE,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC;oBACvD,MAAM,EAAE,6BAA6B,CAAC,SAAS;iBAChD,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YACxC,MAAM,aAAa,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;YACtF,IAAI,aAAa,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBACrD,IAAI,aAAa,CAAC,KAAK,CAAC,YAAY,KAAK,aAAa,CAAC,WAAW,EAAE,CAAC;oBACnE,mBAAmB,CACjB,EAAE,EACF,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC5C,6BAA6B,CAAC,SAAS,CACxC,CAAC;oBACF,OAAO;wBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;wBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;wBAC9C,OAAO,EAAE,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;wBACrD,MAAM,EAAE,6BAA6B,CAAC,KAAK;qBAC5C,CAAC;gBACJ,CAAC;gBAED,MAAM,YAAY,GAAG,0BAA0B,CAC7C,EAAE,EACF,KAAK,EACL,GAAG,EACH,eAAe,EACf,oCAAoC,CAAC,0BAA0B,CAChE,CAAC;gBACF,OAAO,kBAAkB,CACvB,EAAE,EACF,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,EAAE,CACH,CAAC;YACJ,CAAC;YAED,MAAM,YAAY,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACjD,qBAAqB,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAEtC,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;gBACzD,MAAM,YAAY,GAAG,iBAAiB,CACpC,EAAE,EACF,KAAK,EACL,KAAK,CAAC,UAAU,CAAC,UAAU,EAC3B,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CACrC,CAAC;gBACF,OAAO,kBAAkB,CACvB,EAAE,EACF,KAAK,EACL,KAAK,EACL,YAAY,EACZ,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EACpC,KAAK,CAAC,OAAO,CACd,CAAC;YACJ,CAAC;YAED,MAAM,eAAe,GAAG,sBAAsB,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/E,MAAM,WAAW,GAAG,uBAAuB,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;YAC3F,8BAA8B,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAEzD,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,uBAAuB;gBAC/E,CAAC,CAAC,YAAY,CAAC,QAAQ;gBACvB,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;YAC1B,MAAM,YAAY,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC;iBACrD,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;YAC1C,IAAI,YAAY,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;gBAC9D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,4BAA4B,YAAY,CAAC,OAAO,EAAE,CACnD,CAAC;YACJ,CAAC;YACD,mBAAmB,CACjB,EAAE,EACF,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EACpC,6BAA6B,CAAC,SAAS,CACxC,CAAC;YAEF,MAAM,cAAc,GAA0B,eAAe,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;gBAC3F,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,cAAc,EAAE;gBACvF,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,cAAc,EAAE,CAAC;YAEjD,OAAO;gBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;gBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;gBAC9C,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,aAAa,EAAE,YAAY,CAAC,aAAa;gBACzC,OAAO,EAAE,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAClD,cAAc;gBACd,WAAW;aACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,UAAU,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,KAAK,YAAY,mBAAmB,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,KAAK,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,GAAgB,EAChB,KAAqB,EACrB,KAA8B;IAE9B,+BAA+B,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,UAAU,EAAE,CAAC;IAC7D,CAAC;IAED,IAAI,CAAC;QACH,OAAO,MAAM,gBAAgB,CAAC,GAAG,EAAE,sBAAsB,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,yBAAyB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzD,MAAM,iCAAiC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YACjF,MAAM,oCAAoC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YACpF,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,oCAAoC,CACxC,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CACrC,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAG,MAAM,wBAAwB,CAChD,GAAG,EACH,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,WAAW,CAClB,CAAC;YACF,IAAI,WAAW,CAAC,IAAI,KAAK,+BAA+B,CAAC,SAAS,EAAE,CAAC;gBACnE,OAAO;oBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;oBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;oBAC9C,OAAO,EAAE,WAAW,CAAC,OAAO;oBAC5B,MAAM,EAAE,6BAA6B,CAAC,WAAW;iBAClD,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,CAAC,IAAI,KAAK,+BAA+B,CAAC,mBAAmB,EAAE,CAAC;gBAC7E,MAAM,YAAY,GAAG,MAAM,iCAAiC,CAC1D,GAAG,EACH,KAAK,EACL,GAAG,EACH,eAAe,EACf,oCAAoC,CAAC,gCAAgC,CACtE,CAAC;gBACF,OAAO,yBAAyB,CAC9B,GAAG,EACH,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,EAAE,CACH,CAAC;YACJ,CAAC;YAED,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;gBAC/C,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;oBACzD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,4DAA4D,CAC7D,CAAC;gBACJ,CAAC;gBACD,MAAM,YAAY,GAAG,MAAM,wBAAwB,CACjD,GAAG,EACH,KAAK,EACL,KAAK,CAAC,UAAU,CAAC,UAAU,EAC3B,eAAe,CAChB,CAAC;gBACF,OAAO,yBAAyB,CAC9B,GAAG,EACH,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,KAAK,CAAC,OAAO,CACd,CAAC;YACJ,CAAC;YAED,MAAM,OAAO,GAAG,MAAM,0BAA0B,CAC9C,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,GAAG,CAAC,YAAY,CACjB,CAAC;YACF,MAAM,wBAAwB,GAAG,MAAM,mCAAmC,CACxE,GAAG,EACH,KAAK,EACL,GAAG,EACH,OAAO,CACR,CAAC;YACF,IAAI,wBAAwB,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBAChE,MAAM,0BAA0B,CAC9B,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAC9C,6BAA6B,CAAC,SAAS,CACxC,CAAC;gBACF,OAAO;oBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;oBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;oBAC9C,OAAO,EAAE,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC;oBACvD,MAAM,EAAE,6BAA6B,CAAC,SAAS;iBAChD,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YACxC,MAAM,aAAa,GAAG,MAAM,qBAAqB,CAC/C,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,aAAa,CAAC,QAAQ,CACvB,CAAC;YACF,IAAI,aAAa,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK,EAAE,CAAC;gBACrD,IAAI,aAAa,CAAC,KAAK,CAAC,YAAY,KAAK,aAAa,CAAC,WAAW,EAAE,CAAC;oBACnE,MAAM,0BAA0B,CAC9B,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC5C,6BAA6B,CAAC,SAAS,CACxC,CAAC;oBACF,OAAO;wBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;wBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;wBAC9C,OAAO,EAAE,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;wBACrD,MAAM,EAAE,6BAA6B,CAAC,KAAK;qBAC5C,CAAC;gBACJ,CAAC;gBAED,MAAM,YAAY,GAAG,MAAM,iCAAiC,CAC1D,GAAG,EACH,KAAK,EACL,GAAG,EACH,eAAe,EACf,oCAAoC,CAAC,0BAA0B,CAChE,CAAC;gBACF,OAAO,yBAAyB,CAC9B,GAAG,EACH,KAAK,EACL,KAAK,EACL,YAAY,EACZ,eAAe,EACf,EAAE,CACH,CAAC;YACJ,CAAC;YAED,MAAM,YAAY,GAAG,MAAM,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,4BAA4B,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAEpD,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;gBACzD,MAAM,YAAY,GAAG,MAAM,wBAAwB,CACjD,GAAG,EACH,KAAK,EACL,KAAK,CAAC,UAAU,CAAC,UAAU,EAC3B,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,CACrC,CAAC;gBACF,OAAO,yBAAyB,CAC9B,GAAG,EACH,KAAK,EACL,KAAK,EACL,YAAY,EACZ,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EACpC,KAAK,CAAC,OAAO,CACd,CAAC;YACJ,CAAC;YAED,MAAM,eAAe,GAAG,MAAM,6BAA6B,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7F,MAAM,WAAW,GAAG,MAAM,8BAA8B,CACtD,GAAG,EACH,KAAK,EACL,GAAG,EACH,OAAO,EACP,YAAY,CAAC,OAAO,CACrB,CAAC;YACF,MAAM,qCAAqC,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAEvE,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,uBAAuB;gBAC/E,CAAC,CAAC,YAAY,CAAC,QAAQ;gBACvB,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;YAC1B,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,EAAE;gBAC1D,WAAW;gBACX,YAAY,CAAC,OAAO;aACrB,CAAC,CAAC;YACH,IAAI,YAAY,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;gBAC9D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,4BAA4B,YAAY,CAAC,OAAO,EAAE,CACnD,CAAC;YACJ,CAAC;YACD,MAAM,0BAA0B,CAC9B,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EACpC,6BAA6B,CAAC,SAAS,CACxC,CAAC;YAEF,MAAM,cAAc,GAA0B,eAAe,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;gBAC3F,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,cAAc,EAAE;gBACvF,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,cAAc,EAAE,CAAC;YAEjD,OAAO;gBACL,IAAI,EAAE,8BAA8B,CAAC,SAAS;gBAC9C,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;gBAC9C,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,aAAa,EAAE,YAAY,CAAC,aAAa;gBACzC,OAAO,EAAE,uBAAuB,CAAC,KAAK,CAAC,UAAU,CAAC;gBAClD,cAAc;gBACd,WAAW;aACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,KAAK,YAAY,cAAc,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,UAAU,EAAE,CAAC;QAC7D,CAAC;QACD,IAAI,KAAK,YAAY,mBAAmB,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,EAAE,8BAA8B,CAAC,KAAK,EAAE,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,OAA0B,EAC1B,KAAqB,EACrB,KAA8B;IAE9B,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,mFAAmF;AACnF,SAAS,kBAAkB,CACzB,EAAoB,EACpB,KAAqB,EACrB,KAA8B,EAC9B,YAAoB,EACpB,OAAyB,EACzB,OAA6B;IAE7B,8BAA8B,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACnD,mBAAmB,CACjB,EAAE,EACF,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,OAAO,EACP,6BAA6B,CAAC,WAAW,CAC1C,CAAC;IACF,OAAO;QACL,IAAI,EAAE,8BAA8B,CAAC,WAAW;QAChD,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;QAC9C,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,KAAK,UAAU,yBAAyB,CACtC,GAAgB,EAChB,KAAqB,EACrB,KAA8B,EAC9B,YAAoB,EACpB,OAAyB,EACzB,OAA6B;IAE7B,MAAM,qCAAqC,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,0BAA0B,CAC9B,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,KAAK,CAAC,WAAW,EACjB,OAAO,EACP,6BAA6B,CAAC,WAAW,CAC1C,CAAC;IACF,OAAO;QACL,IAAI,EAAE,8BAA8B,CAAC,WAAW;QAChD,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa;QAC9C,OAAO;QACP,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,8BAA8B,CACrC,EAAoB,EACpB,KAAqB,EACrB,OAA6B;IAE7B,IAAI,CAAC,oBAAoB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC5E,CAAC;AAED,mFAAmF;AACnF,KAAK,UAAU,qCAAqC,CAClD,GAAgB,EAChB,KAAqB,EACrB,OAA6B;IAE7B,IAAI,CAAC,CAAC,MAAM,2BAA2B,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC5F,CAAC;AAED,uEAAuE;AACvE,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAoB,EAAE,KAAqB;IACrE,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC7D,CAAC;AAED,uFAAuF;AACvF,KAAK,UAAU,yBAAyB,CACtC,GAAgB,EAChB,KAAqB;IAErB,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC7E,CAAC"}

package/dist/infrastructure/storage/state/readonly/readOnlyObservation.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Raw snapshot-ingestion ledger for the read-only Sheet integration phase.
+ *
+ * It persists authenticated snapshot evidence without creating a canonical
+ * event or a Sheet effect.  Later evaluator work can consume the pending
+ * observation receipt; a no-write shadow pass therefore never becomes a
+ * hidden projection writer.
+ */
+import { type DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import { type FencingContext } from "../../sync/shared/writerLease.js";
+import type { Presence } from "../../../../shared/state/types.js";
+import type { SqlExecutor, SqlStorageAdapter } from "../../../../adapter/persistence/contracts/sql.js";
+/** One normalized snapshot evidence record captured from a registered projection. */
+export interface ReadOnlySnapshotObservationInput {
+    readonly observationId: string;
+    readonly physicalSheetId: string;
+    readonly logicalSheetId: string;
+    readonly observationKey: string;
+    readonly payloadJson: string;
+    readonly payloadHash: string;
+    readonly source: "polling" | "onEdit";
+    readonly detectedAt: number;
+    readonly receivedAt: number;
+    readonly ingressActorId: string;
+    readonly editorActorId: Presence<string>;
+    readonly editorActorSource: "google_active_user" | "unavailable";
+}
+/** Durable outcome of appending raw, not-yet-evaluated snapshot evidence. */
+export type ReadOnlySnapshotObservationResult = {
+    readonly kind: "fenced_out";
+} | {
+    readonly kind: "captured";
+    readonly observationId: string;
+} | {
+    readonly kind: "duplicate";
+    readonly observationId: string;
+} | {
+    readonly kind: "integrity_collision";
+    readonly observationId: string;
+};
+/**
+ * Appends a snapshot occurrence and maintains its representative receipt.
+ *
+ * The same observation key/payload is retained as another occurrence for
+ * audit; a different payload under the same key is never silently deduped.
+ */
+export declare function persistReadOnlySnapshotObservation(db: DatabaseSyncLike, fence: FencingContext, input: ReadOnlySnapshotObservationInput): ReadOnlySnapshotObservationResult;
+/**
+ * Persists raw Sheet observation evidence through the active async adapter.
+ *
+ * This keeps the observation receipt and event-evidence insert in the same
+ * adapter transaction used by the MikroORM-backed runtime. It does not
+ * evaluate a user edit or create a projection effect.
+ */
+export declare function persistReadOnlySnapshotObservationWithAdapter(storage: SqlStorageAdapter, fence: FencingContext, input: ReadOnlySnapshotObservationInput): Promise<ReadOnlySnapshotObservationResult>;
+/** Persists one raw observation occurrence inside an existing SQL transaction. */
+export declare function persistReadOnlySnapshotObservationWithSql(sql: SqlExecutor, fence: FencingContext, input: ReadOnlySnapshotObservationInput): Promise<ReadOnlySnapshotObservationResult>;
+//# sourceMappingURL=readOnlyObservation.d.ts.map

package/dist/infrastructure/storage/state/readonly/readOnlyObservation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"readOnlyObservation.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/readonly/readOnlyObservation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAA4B,KAAK,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAE/F,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AAqCvG,qFAAqF;AACrF,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,iBAAiB,EAAE,oBAAoB,GAAG,aAAa,CAAC;CAClE;AAED,6EAA6E;AAC7E,MAAM,MAAM,iCAAiC,GACzC;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9D;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7E;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAChD,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gCAAgC,GACtC,iCAAiC,CA8CnC;AAED;;;;;;GAMG;AACH,wBAAsB,6CAA6C,CACjE,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,iCAAiC,CAAC,CAK5C;AAED,kFAAkF;AAClF,wBAAsB,yCAAyC,CAC7D,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,iCAAiC,CAAC,CAoD5C"}

package/dist/infrastructure/storage/state/readonly/readOnlyObservation.js

@@ -0,0 +1,195 @@
+/**
+ * Raw snapshot-ingestion ledger for the read-only Sheet integration phase.
+ *
+ * It persists authenticated snapshot evidence without creating a canonical
+ * event or a Sheet effect.  Later evaluator work can consume the pending
+ * observation receipt; a no-write shadow pass therefore never becomes a
+ * hidden projection writer.
+ */
+import { withImmediateTransaction } from "../../sqlite/sqliteBridge.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+import { isFencingValid, isFencingValidWithAdapter, isFencingValidWithSql, } from "../../sync/shared/writerLease.js";
+import { withSqlSavepoint } from "../../sqlite/sqlTransaction.js";
+import { PRESENCE_KINDS } from "../../../../shared/state/constants.js";
+const READ_OBSERVATION_RECEIPT_SQL = `
+  SELECT representative_payload_hash, event_id
+  FROM observation_receipt
+  WHERE logical_sheet_id = ? AND observation_key = ?
+`;
+const INSERT_EVENT_OBSERVATION_SQL = `
+  INSERT INTO event_observation (
+    observation_id, logical_sheet_id, physical_sheet_id, observation_key, event_id,
+    source, payload_json, payload_hash, detected_at, received_at, ingress_actor_id,
+    editor_actor_id, editor_actor_source
+  ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+`;
+const INSERT_OBSERVATION_RECEIPT_SQL = `
+  INSERT INTO observation_receipt (
+    logical_sheet_id, observation_key, representative_payload_hash,
+    first_observation_id, last_observation_id, event_id, state,
+    first_seen_at, last_seen_at
+  ) VALUES (?, ?, ?, ?, ?, NULL, 'pending', ?, ?)
+`;
+const UPDATE_OBSERVATION_RECEIPT_SQL = `
+  UPDATE observation_receipt SET last_observation_id = ?, last_seen_at = ?
+  WHERE logical_sheet_id = ? AND observation_key = ?
+`;
+const READ_REGISTERED_OBSERVATION_TARGET_SQL = `
+  SELECT physical.enabled AS physical_enabled, physical.logical_sheet_id,
+         logical.enabled AS logical_enabled
+  FROM physical_sheet_registry AS physical
+  JOIN sheet_registry AS logical ON logical.sheet_id = physical.logical_sheet_id
+  WHERE physical.physical_sheet_id = ?
+`;
+/**
+ * Appends a snapshot occurrence and maintains its representative receipt.
+ *
+ * The same observation key/payload is retained as another occurrence for
+ * audit; a different payload under the same key is never silently deduped.
+ */
+export function persistReadOnlySnapshotObservation(db, fence, input) {
+    validateInput(input);
+    if (!isFencingValid(db, fence))
+        return { kind: "fenced_out" };
+    return withImmediateTransaction(db, () => {
+        if (!isFencingValid(db, fence))
+            return { kind: "fenced_out" };
+        ensureRegisteredTarget(db, input);
+        const receipt = db.prepare(READ_OBSERVATION_RECEIPT_SQL)
+            .get(input.logicalSheetId, input.observationKey);
+        const kind = receipt === undefined
+            ? "captured"
+            : receipt.representative_payload_hash === input.payloadHash
+                ? "duplicate"
+                : "integrity_collision";
+        db.prepare(INSERT_EVENT_OBSERVATION_SQL).run(input.observationId, input.logicalSheetId, input.physicalSheetId, input.observationKey, receipt?.event_id ?? null, input.source, input.payloadJson, input.payloadHash, input.detectedAt, input.receivedAt, input.ingressActorId, input.editorActorId.kind === PRESENCE_KINDS.PRESENT
+            ? input.editorActorId.value
+            : null, input.editorActorSource);
+        if (receipt === undefined) {
+            db.prepare(INSERT_OBSERVATION_RECEIPT_SQL).run(input.logicalSheetId, input.observationKey, input.payloadHash, input.observationId, input.observationId, input.receivedAt, input.receivedAt);
+        }
+        else {
+            db.prepare(UPDATE_OBSERVATION_RECEIPT_SQL)
+                .run(input.observationId, input.receivedAt, input.logicalSheetId, input.observationKey);
+        }
+        return { kind, observationId: input.observationId };
+    });
+}
+/**
+ * Persists raw Sheet observation evidence through the active async adapter.
+ *
+ * This keeps the observation receipt and event-evidence insert in the same
+ * adapter transaction used by the MikroORM-backed runtime. It does not
+ * evaluate a user edit or create a projection effect.
+ */
+export async function persistReadOnlySnapshotObservationWithAdapter(storage, fence, input) {
+    validateInput(input);
+    if (!(await isFencingValidWithAdapter(storage, fence)))
+        return { kind: "fenced_out" };
+    return storage.transaction(({ sql }) => persistReadOnlySnapshotObservationWithSql(sql, fence, input));
+}
+/** Persists one raw observation occurrence inside an existing SQL transaction. */
+export async function persistReadOnlySnapshotObservationWithSql(sql, fence, input) {
+    validateInput(input);
+    if (!(await isFencingValidWithSql(sql, fence)))
+        return { kind: "fenced_out" };
+    return withSqlSavepoint(sql, "persist_read_only_observation", async () => {
+        if (!(await isFencingValidWithSql(sql, fence)))
+            return { kind: "fenced_out" };
+        await ensureRegisteredTargetWithSql(sql, input);
+        const receipt = await sql.get(READ_OBSERVATION_RECEIPT_SQL, [
+            input.logicalSheetId,
+            input.observationKey,
+        ]);
+        const kind = receipt === undefined
+            ? "captured"
+            : receipt.representative_payload_hash === input.payloadHash
+                ? "duplicate"
+                : "integrity_collision";
+        await sql.run(INSERT_EVENT_OBSERVATION_SQL, [
+            input.observationId,
+            input.logicalSheetId,
+            input.physicalSheetId,
+            input.observationKey,
+            receipt?.event_id ?? null,
+            input.source,
+            input.payloadJson,
+            input.payloadHash,
+            input.detectedAt,
+            input.receivedAt,
+            input.ingressActorId,
+            input.editorActorId.kind === PRESENCE_KINDS.PRESENT
+                ? input.editorActorId.value
+                : null,
+            input.editorActorSource,
+        ]);
+        if (receipt === undefined) {
+            await sql.run(INSERT_OBSERVATION_RECEIPT_SQL, [
+                input.logicalSheetId,
+                input.observationKey,
+                input.payloadHash,
+                input.observationId,
+                input.observationId,
+                input.receivedAt,
+                input.receivedAt,
+            ]);
+        }
+        else {
+            await sql.run(UPDATE_OBSERVATION_RECEIPT_SQL, [
+                input.observationId,
+                input.receivedAt,
+                input.logicalSheetId,
+                input.observationKey,
+            ]);
+        }
+        return { kind, observationId: input.observationId };
+    });
+}
+function ensureRegisteredTarget(db, input) {
+    const row = db.prepare(READ_REGISTERED_OBSERVATION_TARGET_SQL)
+        .get(input.physicalSheetId);
+    if (row === undefined || row.physical_enabled !== 1 || row.logical_enabled !== 1 ||
+        row.logical_sheet_id !== input.logicalSheetId) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "read-only snapshot target is not an enabled registered projection");
+    }
+}
+async function ensureRegisteredTargetWithSql(sql, input) {
+    const row = await sql.get(READ_REGISTERED_OBSERVATION_TARGET_SQL, [input.physicalSheetId]);
+    if (row === undefined || row.physical_enabled !== 1 || row.logical_enabled !== 1 ||
+        row.logical_sheet_id !== input.logicalSheetId) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "read-only snapshot target is not an enabled registered projection");
+    }
+}
+function validateInput(input) {
+    for (const [label, value] of [
+        ["observation ID", input.observationId],
+        ["physical sheet ID", input.physicalSheetId],
+        ["logical sheet ID", input.logicalSheetId],
+        ["observation key", input.observationKey],
+        ["payload JSON", input.payloadJson],
+        ["payload hash", input.payloadHash],
+        ["ingress actor ID", input.ingressActorId],
+    ]) {
+        if (value.length === 0) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_READ_ONLY_OBSERVATION, label + " is required");
+        }
+    }
+    if (input.source !== "polling" && input.source !== "onEdit") {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_READ_ONLY_OBSERVATION, "invalid observation source");
+    }
+    for (const [label, value] of [["detectedAt", input.detectedAt], ["receivedAt", input.receivedAt]]) {
+        if (!Number.isSafeInteger(value) || value < 0) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_READ_ONLY_OBSERVATION, label + " must be a non-negative safe integer");
+        }
+    }
+    if (input.editorActorSource === "google_active_user" &&
+        (input.editorActorId.kind !== PRESENCE_KINDS.PRESENT ||
+            input.editorActorId.value.length === 0)) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_READ_ONLY_OBSERVATION, "verified editor source requires an editor actor ID");
+    }
+    if (input.editorActorSource === "unavailable" &&
+        input.editorActorId.kind === PRESENCE_KINDS.PRESENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_READ_ONLY_OBSERVATION, "unavailable editor source cannot include an editor actor ID");
+    }
+}
+//# sourceMappingURL=readOnlyObservation.js.map

package/dist/infrastructure/storage/state/readonly/readOnlyObservation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"readOnlyObservation.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/readonly/readOnlyObservation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,wBAAwB,EAAyB,MAAM,8BAA8B,CAAC;AAC/F,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EACL,cAAc,EACd,yBAAyB,EACzB,qBAAqB,GAEtB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAIvE,MAAM,4BAA4B,GAAG;;;;CAIpC,CAAC;AAEF,MAAM,4BAA4B,GAAG;;;;;;CAMpC,CAAC;AAEF,MAAM,8BAA8B,GAAG;;;;;;CAMtC,CAAC;AAEF,MAAM,8BAA8B,GAAG;;;CAGtC,CAAC;AAEF,MAAM,sCAAsC,GAAG;;;;;;CAM9C,CAAC;AAyBF;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAChD,EAAoB,EACpB,KAAqB,EACrB,KAAuC;IAEvC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC9D,OAAO,wBAAwB,CAAC,EAAE,EAAE,GAAG,EAAE;QACvC,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAC9D,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC;aACrD,GAAG,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAA2B,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,CAAC,2BAA2B,KAAK,KAAK,CAAC,WAAW;gBACzD,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,qBAAqB,CAAC;QAC5B,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC,GAAG,CAC1C,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,cAAc,EACpB,OAAO,EAAE,QAAQ,IAAI,IAAI,EACzB,KAAK,CAAC,MAAM,EACZ,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;YACjD,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK;YAC3B,CAAC,CAAC,IAAI,EACR,KAAK,CAAC,iBAAiB,CACxB,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC,GAAG,CAC5C,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,aAAa,EACnB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,UAAU,CACjB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC;iBACvC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,6CAA6C,CACjE,OAA0B,EAC1B,KAAqB,EACrB,KAAuC;IAEvC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,MAAM,yBAAyB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACtF,OAAO,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CACrC,yCAAyC,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,GAAgB,EAChB,KAAqB,EACrB,KAAuC;IAEvC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC9E,OAAO,gBAAgB,CAAC,GAAG,EAAE,+BAA+B,EAAE,KAAK,IAAI,EAAE;QACvE,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAC9E,MAAM,6BAA6B,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,GAAG,CAAa,4BAA4B,EAAE;YACtE,KAAK,CAAC,cAAc;YACpB,KAAK,CAAC,cAAc;SACrB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS;YAChC,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,OAAO,CAAC,2BAA2B,KAAK,KAAK,CAAC,WAAW;gBACzD,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,qBAAqB,CAAC;QAC5B,MAAM,GAAG,CAAC,GAAG,CAAC,4BAA4B,EAAE;YAC1C,KAAK,CAAC,aAAa;YACnB,KAAK,CAAC,cAAc;YACpB,KAAK,CAAC,eAAe;YACrB,KAAK,CAAC,cAAc;YACpB,OAAO,EAAE,QAAQ,IAAI,IAAI;YACzB,KAAK,CAAC,MAAM;YACZ,KAAK,CAAC,WAAW;YACjB,KAAK,CAAC,WAAW;YACjB,KAAK,CAAC,UAAU;YAChB,KAAK,CAAC,UAAU;YAChB,KAAK,CAAC,cAAc;YACpB,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;gBACjD,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK;gBAC3B,CAAC,CAAC,IAAI;YACR,KAAK,CAAC,iBAAiB;SACxB,CAAC,CAAC;QACH,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;gBAC5C,KAAK,CAAC,cAAc;gBACpB,KAAK,CAAC,cAAc;gBACpB,KAAK,CAAC,WAAW;gBACjB,KAAK,CAAC,aAAa;gBACnB,KAAK,CAAC,aAAa;gBACnB,KAAK,CAAC,UAAU;gBAChB,KAAK,CAAC,UAAU;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;gBAC5C,KAAK,CAAC,aAAa;gBACnB,KAAK,CAAC,UAAU;gBAChB,KAAK,CAAC,cAAc;gBACpB,KAAK,CAAC,cAAc;aACrB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAOD,SAAS,sBAAsB,CAAC,EAAoB,EAAE,KAAuC;IAC3F,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC;SAC3D,GAAG,CAAC,KAAK,CAAC,eAAe,CAIf,CAAC;IACd,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,gBAAgB,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,KAAK,CAAC;QAC9E,GAAG,CAAC,gBAAgB,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;QAChD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,mEAAmE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,6BAA6B,CAC1C,GAAgB,EAChB,KAAuC;IAEvC,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,GAAG,CAItB,sCAAsC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACpE,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,gBAAgB,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,KAAK,CAAC;QAC9E,GAAG,CAAC,gBAAgB,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;QAChD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,mEAAmE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAuC;IAC5D,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI;QAC3B,CAAC,gBAAgB,EAAE,KAAK,CAAC,aAAa,CAAC;QACvC,CAAC,mBAAmB,EAAE,KAAK,CAAC,eAAe,CAAC;QAC5C,CAAC,kBAAkB,EAAE,KAAK,CAAC,cAAc,CAAC;QAC1C,CAAC,iBAAiB,EAAE,KAAK,CAAC,cAAc,CAAC;QACzC,CAAC,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC;QACnC,CAAC,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC;QACnC,CAAC,kBAAkB,EAAE,KAAK,CAAC,cAAc,CAAC;KAClC,EAAE,CAAC;QACX,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,6BAA6B,EACjD,KAAK,GAAG,cAAc,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC5D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,6BAA6B,EACjD,4BAA4B,CAC7B,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,CAAU,EAAE,CAAC;QAC3G,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,6BAA6B,EACjD,KAAK,GAAG,sCAAsC,CAC/C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,KAAK,oBAAoB;QAClD,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;YAClD,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,6BAA6B,EACjD,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,KAAK,aAAa;QAC3C,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QACtD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,6BAA6B,EACjD,6DAA6D,CAC9D,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/infrastructure/storage/state/resolution/resolutionWriter.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Durable, fenced storage mapping for trusted conflict-resolution commands.
+ *
+ * The pure core decides whether an acknowledgement is resolved, stale, or
+ * rejected. This module records that decision with the command receipt,
+ * clears only the currently active candidate pointer, and queues any
+ * resolution projection effect in one SQLite transaction.
+ */
+import { type DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import { type FencingContext } from "../../sync/shared/writerLease.js";
+import type { SqlExecutor, SqlStorageAdapter } from "../../../../adapter/persistence/contracts/sql.js";
+import type { PersistResolutionCommandInput, PersistResolutionCommandResult } from "./resolutionWriterContracts.js";
+export { PERSIST_RESOLUTION_RESULT_KINDS, RESOLUTION_COMMAND_STATUSES, } from "./resolutionWriterContracts.js";
+export type { PersistResolutionCommandInput, PersistResolutionCommandResult, } from "./resolutionWriterContracts.js";
+/**
+ * Persists a resolution command at the writer-RPC boundary.
+ *
+ * An old command is stale unless the target conflict is still the active
+ * candidate pointer for its field. That extra pointer check closes the
+ * storage-level ABA gap that a historical conflict row alone cannot detect.
+ */
+export declare function persistResolutionCommand(db: DatabaseSyncLike, fence: FencingContext, input: PersistResolutionCommandInput): PersistResolutionCommandResult;
+/**
+ * Persists one trusted resolution command through an already-active async SQL
+ * transaction. A command receipt, its conflict transition, and any effects
+ * remain atomic with an ORM-managed user-entity mutation.
+ */
+export declare function persistResolutionCommandWithSql(sql: SqlExecutor, fence: FencingContext, input: PersistResolutionCommandInput): Promise<PersistResolutionCommandResult>;
+/** Persists one resolution command in an adapter-owned transaction. */
+export declare function persistResolutionCommandWithAdapter(storage: SqlStorageAdapter, fence: FencingContext, input: PersistResolutionCommandInput): Promise<PersistResolutionCommandResult>;
+//# sourceMappingURL=resolutionWriter.d.ts.map

package/dist/infrastructure/storage/state/resolution/resolutionWriter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriter.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAoBH,OAAO,EAA4B,KAAK,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAE/F,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AAKvG,OAAO,KAAK,EAKV,6BAA6B,EAC7B,8BAA8B,EAE/B,MAAM,gCAAgC,CAAC;AA0BxC,OAAO,EACL,+BAA+B,EAC/B,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,6BAA6B,EAC7B,8BAA8B,GAC/B,MAAM,gCAAgC,CAAC;AAIxC;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,6BAA6B,GACnC,8BAA8B,CA0EhC;AAED;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,6BAA6B,GACnC,OAAO,CAAC,8BAA8B,CAAC,CA8EzC;AAED,uEAAuE;AACvE,wBAAsB,mCAAmC,CACvD,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,6BAA6B,GACnC,OAAO,CAAC,8BAA8B,CAAC,CAEzC"}