hikoutei 0.2.0

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

@@ -0,0 +1,439 @@
+/**
+ * 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 { LOOKUP_RESULT_KINDS, PRESENCE_KINDS, stableHash, } from "../../../../domain/index.js";
+import { ROW_OUTCOMES } from "../../../../domain/evaluate/constants.js";
+import { CONFLICT_STATUSES, ROW_BINDING_STATES, ROW_OPERATIONS, } from "../../../../domain/model/constants.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+import { EMPTY_ARRAY_LENGTH_ZERO, EXPECTED_SINGLE_ROW_CHANGE_COUNT, } from "../../constants.js";
+import { fromSqlNullable, toSqlNullable } from "../../sqlite/sqlState.js";
+import { CANONICAL_COMMIT_RESULT_KINDS, commitCanonicalChanges, commitCanonicalChangesWithSql, } from "../canonical/canonicalCommit.js";
+import { auditJson } from "./observationAudit.js";
+import { candidateHash, readActiveCandidate, readActiveCandidateWithSql, } from "./observationLedger.js";
+import { CanonicalStaleError, FenceLostError } from "./observationTypes.js";
+const INITIAL_CANDIDATE_EPOCH = 0;
+const CONFLICT_ID_PREFIX = "conflict:";
+const INSERT_SYNC_CONFLICT_SQL = `
+  INSERT INTO sync_conflict (
+    conflict_id, conflict_group_id, event_id, logical_sheet_id, entity_id, row_binding_id,
+    field_name, user_value, user_base_revision, canonical_value_at_detection,
+    canonical_revision_at_detection, current_canonical_value, current_canonical_revision,
+    candidate_epoch, status, created_at, updated_at
+  ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, '${CONFLICT_STATUSES.OPEN}', ?, ?)
+`;
+const UPSERT_VISIBLE_FIELD_STATE_SQL = `
+  INSERT INTO sheet_visible_field_state (
+    physical_sheet_id, projection, row_binding_id, field_name,
+    confirmed_field_hash, confirmed_visible_revision,
+    active_candidate_conflict_id, active_candidate_hash, candidate_epoch,
+    last_observed_field_hash
+  ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+  ON CONFLICT(physical_sheet_id, projection, row_binding_id, field_name)
+  DO UPDATE SET
+    active_candidate_conflict_id = excluded.active_candidate_conflict_id,
+    active_candidate_hash = excluded.active_candidate_hash,
+    candidate_epoch = excluded.candidate_epoch,
+    last_observed_field_hash = excluded.last_observed_field_hash
+`;
+const ADVANCE_ROW_BINDING_CANDIDATE_EPOCH_SQL = `
+  UPDATE row_binding
+  SET candidate_epoch = CASE
+    WHEN candidate_epoch < ? THEN ?
+    ELSE candidate_epoch
+  END
+  WHERE row_binding_id = ? AND logical_sheet_id = ?
+`;
+const ACTIVATE_INSERTED_ROW_BINDING_SQL = `
+  UPDATE row_binding
+  SET entity_id = ?, state = '${ROW_BINDING_STATES.ACTIVE}'
+  WHERE row_binding_id = ? AND logical_sheet_id = ?
+    AND state = '${ROW_BINDING_STATES.CANDIDATE}' AND entity_id IS NULL
+`;
+const TOMBSTONE_DELETED_ROW_BINDING_SQL = `
+  UPDATE row_binding
+  SET state = '${ROW_BINDING_STATES.TOMBSTONED}'
+  WHERE row_binding_id = ? AND logical_sheet_id = ?
+    AND state = '${ROW_BINDING_STATES.ACTIVE}' AND entity_id = ?
+`;
+const DEACTIVATE_ENTITY_BUSINESS_KEYS_SQL = `
+  UPDATE business_key_index
+  SET state = 'inactive'
+  WHERE logical_sheet_id = ? AND entity_id = ? AND state = 'active'
+`;
+const RETIRE_BUSINESS_KEY_SQL = `
+  UPDATE business_key_index
+  SET state = 'inactive'
+  WHERE logical_sheet_id = ? AND field_name = ? AND normalized_key = ?
+    AND entity_id = ? AND state = 'active'
+`;
+const READ_ACTIVE_BUSINESS_KEY_SQL = `
+  SELECT entity_id
+  FROM business_key_index
+  WHERE logical_sheet_id = ? AND field_name = ? AND normalized_key = ? AND state = 'active'
+`;
+const INSERT_ACTIVE_BUSINESS_KEY_SQL = `
+  INSERT INTO business_key_index (
+    logical_sheet_id, field_name, normalized_key, entity_id, state
+  ) VALUES (?, ?, ?, ?, 'active')
+`;
+const REBASE_ACTIVE_CONFLICT_SQL = `
+  UPDATE sync_conflict
+  SET current_canonical_value = ?, current_canonical_revision = ?,
+      status = '${CONFLICT_STATUSES.NEEDS_REBASE}', last_rebased_commit_id = ?, updated_at = ?
+  WHERE conflict_id = ?
+    AND status IN ('${CONFLICT_STATUSES.OPEN}', '${CONFLICT_STATUSES.NEEDS_REBASE}')
+`;
+const READ_MAX_CANDIDATE_EPOCH_SQL = `
+  SELECT MAX(candidate_epoch) AS max_epoch
+  FROM sync_conflict
+  WHERE row_binding_id = ? AND field_name = ?
+`;
+/** Creates a deterministic conflict ID from its event, field, and candidate epoch. */
+function makeConflictId(eventId, rowBindingId, fieldName, candidateEpoch) {
+    return `${CONFLICT_ID_PREFIX}${stableHash({
+        eventId,
+        rowBindingId,
+        fieldName,
+        candidateEpoch,
+    })}`;
+}
+/**
+ * Applies a validated canonical change, then updates bindings, key ownership,
+ * and any unresolved conflicts rebased by that change.
+ */
+export function applyCanonicalMutation(db, fence, input, row, binding) {
+    const needsCanonical = input.evaluation.acceptedFields.length > 0 ||
+        (row.operation === ROW_OPERATIONS.DELETE &&
+            input.evaluation.outcome === ROW_OUTCOMES.ACCEPTED);
+    if (!needsCanonical)
+        return { kind: PRESENCE_KINDS.ABSENT };
+    if (input.canonical.kind === PRESENCE_KINDS.ABSENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "canonical mutation disappeared after validation");
+    }
+    const mutation = input.canonical.value;
+    assertCanonicalBinding(binding, mutation.commit);
+    const result = commitCanonicalChanges(db, fence, mutation.commit);
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT)
+        throw new FenceLostError();
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.STALE)
+        throw new CanonicalStaleError();
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.INVALID) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `canonical mutation was invalid: ${result.reason}`);
+    }
+    transitionBindingAfterCanonicalCommit(db, input.batch.sheetId, row.rowBindingId, mutation.commit);
+    applyBusinessKeyChanges(db, input.batch.sheetId, mutation);
+    rebaseActiveConflicts(db, input, row, mutation, result);
+    return { kind: PRESENCE_KINDS.PRESENT, value: result };
+}
+/**
+ * Applies canonical state and related binding/key/conflict changes through
+ * the active async SQL transaction.
+ */
+export async function applyCanonicalMutationWithSql(sql, fence, input, row, binding) {
+    const needsCanonical = input.evaluation.acceptedFields.length > 0 ||
+        (row.operation === ROW_OPERATIONS.DELETE &&
+            input.evaluation.outcome === ROW_OUTCOMES.ACCEPTED);
+    if (!needsCanonical)
+        return { kind: PRESENCE_KINDS.ABSENT };
+    if (input.canonical.kind === PRESENCE_KINDS.ABSENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "canonical mutation disappeared after validation");
+    }
+    const mutation = input.canonical.value;
+    assertCanonicalBinding(binding, mutation.commit);
+    const result = await commitCanonicalChangesWithSql(sql, fence, mutation.commit);
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.FENCED_OUT)
+        throw new FenceLostError();
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.STALE)
+        throw new CanonicalStaleError();
+    if (result.kind === CANONICAL_COMMIT_RESULT_KINDS.INVALID) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `canonical mutation was invalid: ${result.reason}`);
+    }
+    await transitionBindingAfterCanonicalCommitWithSql(sql, input.batch.sheetId, row.rowBindingId, mutation.commit);
+    await applyBusinessKeyChangesWithSql(sql, input.batch.sheetId, mutation);
+    await rebaseActiveConflictsWithSql(sql, input, row, mutation, result);
+    return { kind: PRESENCE_KINDS.PRESENT, value: result };
+}
+/** Writes new field candidates unless an equivalent unresolved candidate is active. */
+export function persistConflictAttempts(db, input, row, binding, eventId) {
+    if (input.evaluation.conflicts.length === EMPTY_ARRAY_LENGTH_ZERO)
+        return [];
+    if (binding.state !== ROW_BINDING_STATES.ACTIVE ||
+        binding.entity_id.kind !== PRESENCE_KINDS.PRESENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, "a conflict requires an active entity binding");
+    }
+    const conflictIds = [];
+    const conflictGroupId = input.evaluation.conflicts.length > 1
+        ? { kind: PRESENCE_KINDS.PRESENT, value: `conflict-group:${eventId}` }
+        : { kind: PRESENCE_KINDS.ABSENT };
+    for (const conflict of input.evaluation.conflicts) {
+        const active = readActiveCandidate(db, input.physicalSheetId, input.batch.projection, row.rowBindingId, conflict.fieldName);
+        const hash = candidateHash(conflict);
+        if (active.kind === LOOKUP_RESULT_KINDS.FOUND &&
+            (active.value.status === CONFLICT_STATUSES.OPEN ||
+                active.value.status === CONFLICT_STATUSES.NEEDS_REBASE) &&
+            active.value.active_candidate_hash === hash) {
+            continue;
+        }
+        const previousEpoch = Math.max(active.kind === LOOKUP_RESULT_KINDS.FOUND
+            ? active.value.candidate_epoch
+            : INITIAL_CANDIDATE_EPOCH, maxCandidateEpoch(db, row.rowBindingId, conflict.fieldName));
+        const candidateEpoch = previousEpoch + 1;
+        const conflictId = makeConflictId(eventId, row.rowBindingId, conflict.fieldName, candidateEpoch);
+        db.prepare(INSERT_SYNC_CONFLICT_SQL).run(conflictId, toSqlNullable(conflictGroupId), eventId, input.batch.sheetId, binding.entity_id.value, row.rowBindingId, conflict.fieldName, auditJson(conflict.userValue), conflict.userBaseRevision, auditJson(conflict.canonicalValue), conflict.canonicalRevision, auditJson(conflict.canonicalValue), conflict.canonicalRevision, candidateEpoch, input.observation.receivedAt, input.observation.receivedAt);
+        db.prepare(UPSERT_VISIBLE_FIELD_STATE_SQL).run(input.physicalSheetId, input.batch.projection, row.rowBindingId, conflict.fieldName, stableHash(conflict.canonicalValue), row.baseVisibleRevision, conflictId, hash, candidateEpoch, stableHash(conflict.userValue));
+        db.prepare(ADVANCE_ROW_BINDING_CANDIDATE_EPOCH_SQL)
+            .run(candidateEpoch, candidateEpoch, row.rowBindingId, input.batch.sheetId);
+        conflictIds.push(conflictId);
+    }
+    return conflictIds;
+}
+/** Writes new field candidates through the active async SQL transaction. */
+export async function persistConflictAttemptsWithSql(sql, input, row, binding, eventId) {
+    if (input.evaluation.conflicts.length === EMPTY_ARRAY_LENGTH_ZERO)
+        return [];
+    if (binding.state !== ROW_BINDING_STATES.ACTIVE ||
+        binding.entity_id.kind !== PRESENCE_KINDS.PRESENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, "a conflict requires an active entity binding");
+    }
+    const conflictIds = [];
+    const conflictGroupId = input.evaluation.conflicts.length > 1
+        ? { kind: PRESENCE_KINDS.PRESENT, value: `conflict-group:${eventId}` }
+        : { kind: PRESENCE_KINDS.ABSENT };
+    for (const conflict of input.evaluation.conflicts) {
+        const active = await readActiveCandidateWithSql(sql, input.physicalSheetId, input.batch.projection, row.rowBindingId, conflict.fieldName);
+        const hash = candidateHash(conflict);
+        if (active.kind === LOOKUP_RESULT_KINDS.FOUND &&
+            (active.value.status === CONFLICT_STATUSES.OPEN ||
+                active.value.status === CONFLICT_STATUSES.NEEDS_REBASE) &&
+            active.value.active_candidate_hash === hash) {
+            continue;
+        }
+        const previousEpoch = Math.max(active.kind === LOOKUP_RESULT_KINDS.FOUND
+            ? active.value.candidate_epoch
+            : INITIAL_CANDIDATE_EPOCH, await maxCandidateEpochWithSql(sql, row.rowBindingId, conflict.fieldName));
+        const candidateEpoch = previousEpoch + 1;
+        const conflictId = makeConflictId(eventId, row.rowBindingId, conflict.fieldName, candidateEpoch);
+        await sql.run(INSERT_SYNC_CONFLICT_SQL, [
+            conflictId,
+            toSqlNullable(conflictGroupId),
+            eventId,
+            input.batch.sheetId,
+            binding.entity_id.value,
+            row.rowBindingId,
+            conflict.fieldName,
+            auditJson(conflict.userValue),
+            conflict.userBaseRevision,
+            auditJson(conflict.canonicalValue),
+            conflict.canonicalRevision,
+            auditJson(conflict.canonicalValue),
+            conflict.canonicalRevision,
+            candidateEpoch,
+            input.observation.receivedAt,
+            input.observation.receivedAt,
+        ]);
+        await sql.run(UPSERT_VISIBLE_FIELD_STATE_SQL, [
+            input.physicalSheetId,
+            input.batch.projection,
+            row.rowBindingId,
+            conflict.fieldName,
+            stableHash(conflict.canonicalValue),
+            row.baseVisibleRevision,
+            conflictId,
+            hash,
+            candidateEpoch,
+            stableHash(conflict.userValue),
+        ]);
+        await sql.run(ADVANCE_ROW_BINDING_CANDIDATE_EPOCH_SQL, [
+            candidateEpoch,
+            candidateEpoch,
+            row.rowBindingId,
+            input.batch.sheetId,
+        ]);
+        conflictIds.push(conflictId);
+    }
+    return conflictIds;
+}
+/** Rejects an impossible persistence result before it becomes public output. */
+export function requirePersistedOutcome(evaluation) {
+    if (evaluation.outcome === ROW_OUTCOMES.QUARANTINE) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "a quarantined row cannot be reported as a persisted event outcome");
+    }
+    return evaluation.outcome;
+}
+function assertCanonicalBinding(binding, commit) {
+    if (commit.kind === ROW_OPERATIONS.INSERT) {
+        if (binding.state !== ROW_BINDING_STATES.CANDIDATE ||
+            binding.entity_id.kind !== PRESENCE_KINDS.ABSENT) {
+            throw new CanonicalStaleError();
+        }
+        return;
+    }
+    if (binding.state !== ROW_BINDING_STATES.ACTIVE ||
+        binding.entity_id.kind !== PRESENCE_KINDS.PRESENT ||
+        binding.entity_id.value !== commit.entityId) {
+        throw new CanonicalStaleError();
+    }
+}
+function transitionBindingAfterCanonicalCommit(db, logicalSheetId, rowBindingId, commit) {
+    if (commit.kind === ROW_OPERATIONS.UPDATE)
+        return;
+    const result = commit.kind === ROW_OPERATIONS.INSERT
+        ? db.prepare(ACTIVATE_INSERTED_ROW_BINDING_SQL)
+            .run(commit.entityId, rowBindingId, logicalSheetId)
+        : db.prepare(TOMBSTONE_DELETED_ROW_BINDING_SQL)
+            .run(rowBindingId, logicalSheetId, commit.entityId);
+    if (result.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+        throw new CanonicalStaleError();
+    }
+}
+/** Transitions an inserted or deleted binding through the active async SQL transaction. */
+async function transitionBindingAfterCanonicalCommitWithSql(sql, logicalSheetId, rowBindingId, commit) {
+    if (commit.kind === ROW_OPERATIONS.UPDATE)
+        return;
+    const result = commit.kind === ROW_OPERATIONS.INSERT
+        ? await sql.run(ACTIVATE_INSERTED_ROW_BINDING_SQL, [commit.entityId, rowBindingId, logicalSheetId])
+        : await sql.run(TOMBSTONE_DELETED_ROW_BINDING_SQL, [rowBindingId, logicalSheetId, commit.entityId]);
+    if (result.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+        throw new CanonicalStaleError();
+    }
+}
+function applyBusinessKeyChanges(db, logicalSheetId, mutation) {
+    const commit = mutation.commit;
+    if (commit.kind === ROW_OPERATIONS.DELETE) {
+        db.prepare(DEACTIVATE_ENTITY_BUSINESS_KEYS_SQL).run(logicalSheetId, commit.entityId);
+        return;
+    }
+    for (const change of mutation.businessKeyChanges) {
+        if (change.previousNormalizedKey.kind === PRESENCE_KINDS.PRESENT &&
+            (change.nextNormalizedKey.kind === PRESENCE_KINDS.ABSENT ||
+                change.previousNormalizedKey.value !== change.nextNormalizedKey.value)) {
+            const retired = db.prepare(RETIRE_BUSINESS_KEY_SQL).run(logicalSheetId, change.fieldName, change.previousNormalizedKey.value, commit.entityId);
+            if (retired.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+                throw new CanonicalStaleError();
+            }
+        }
+        if (change.nextNormalizedKey.kind === PRESENCE_KINDS.PRESENT) {
+            ensureActiveBusinessKey(db, logicalSheetId, change.fieldName, change.nextNormalizedKey.value, commit.entityId);
+        }
+    }
+}
+/** Applies business-key ownership transitions through the active async SQL transaction. */
+async function applyBusinessKeyChangesWithSql(sql, logicalSheetId, mutation) {
+    const commit = mutation.commit;
+    if (commit.kind === ROW_OPERATIONS.DELETE) {
+        await sql.run(DEACTIVATE_ENTITY_BUSINESS_KEYS_SQL, [logicalSheetId, commit.entityId]);
+        return;
+    }
+    for (const change of mutation.businessKeyChanges) {
+        if (change.previousNormalizedKey.kind === PRESENCE_KINDS.PRESENT &&
+            (change.nextNormalizedKey.kind === PRESENCE_KINDS.ABSENT ||
+                change.previousNormalizedKey.value !== change.nextNormalizedKey.value)) {
+            const retired = await sql.run(RETIRE_BUSINESS_KEY_SQL, [
+                logicalSheetId,
+                change.fieldName,
+                change.previousNormalizedKey.value,
+                commit.entityId,
+            ]);
+            if (retired.changes !== EXPECTED_SINGLE_ROW_CHANGE_COUNT) {
+                throw new CanonicalStaleError();
+            }
+        }
+        if (change.nextNormalizedKey.kind === PRESENCE_KINDS.PRESENT) {
+            await ensureActiveBusinessKeyWithSql(sql, logicalSheetId, change.fieldName, change.nextNormalizedKey.value, commit.entityId);
+        }
+    }
+}
+function ensureActiveBusinessKey(db, logicalSheetId, fieldName, normalizedKey, entityId) {
+    const existing = db.prepare(READ_ACTIVE_BUSINESS_KEY_SQL)
+        .get(logicalSheetId, fieldName, normalizedKey);
+    if (existing !== undefined) {
+        if (existing.entity_id !== entityId)
+            throw new CanonicalStaleError();
+        return;
+    }
+    db.prepare(INSERT_ACTIVE_BUSINESS_KEY_SQL)
+        .run(logicalSheetId, fieldName, normalizedKey, entityId);
+}
+/** Ensures one business key is owned by the expected entity through active async SQL. */
+async function ensureActiveBusinessKeyWithSql(sql, logicalSheetId, fieldName, normalizedKey, entityId) {
+    const existing = await sql.get(READ_ACTIVE_BUSINESS_KEY_SQL, [
+        logicalSheetId,
+        fieldName,
+        normalizedKey,
+    ]);
+    if (existing !== undefined) {
+        if (existing.entity_id !== entityId)
+            throw new CanonicalStaleError();
+        return;
+    }
+    await sql.run(INSERT_ACTIVE_BUSINESS_KEY_SQL, [
+        logicalSheetId,
+        fieldName,
+        normalizedKey,
+        entityId,
+    ]);
+}
+function rebaseActiveConflicts(db, input, row, mutation, result) {
+    if (mutation.commit.kind === ROW_OPERATIONS.DELETE)
+        return;
+    for (const field of mutation.commit.fields) {
+        const nextRevision = result.fieldRevisions.get(field.fieldName);
+        if (nextRevision === undefined)
+            continue;
+        const active = readActiveCandidate(db, input.physicalSheetId, input.batch.projection, row.rowBindingId, field.fieldName);
+        if (active.kind === LOOKUP_RESULT_KINDS.NOT_FOUND ||
+            active.value.status === CONFLICT_STATUSES.RESOLVED)
+            continue;
+        db.prepare(REBASE_ACTIVE_CONFLICT_SQL).run(auditJson(field.value), nextRevision, mutation.commitId, input.observation.receivedAt, active.value.active_candidate_conflict_id);
+    }
+}
+/** Rebases unresolved candidates affected by a canonical commit through active async SQL. */
+async function rebaseActiveConflictsWithSql(sql, input, row, mutation, result) {
+    if (mutation.commit.kind === ROW_OPERATIONS.DELETE)
+        return;
+    for (const field of mutation.commit.fields) {
+        const nextRevision = result.fieldRevisions.get(field.fieldName);
+        if (nextRevision === undefined)
+            continue;
+        const active = await readActiveCandidateWithSql(sql, input.physicalSheetId, input.batch.projection, row.rowBindingId, field.fieldName);
+        if (active.kind === LOOKUP_RESULT_KINDS.NOT_FOUND ||
+            active.value.status === CONFLICT_STATUSES.RESOLVED)
+            continue;
+        await sql.run(REBASE_ACTIVE_CONFLICT_SQL, [
+            auditJson(field.value),
+            nextRevision,
+            mutation.commitId,
+            input.observation.receivedAt,
+            active.value.active_candidate_conflict_id,
+        ]);
+    }
+}
+function maxCandidateEpoch(db, rowBindingId, fieldName) {
+    const row = db.prepare(READ_MAX_CANDIDATE_EPOCH_SQL)
+        .get(rowBindingId, fieldName);
+    if (row === undefined) {
+        throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, "candidate epoch aggregate query returned no row");
+    }
+    const maxEpoch = fromSqlNullable(row.max_epoch);
+    return maxEpoch.kind === PRESENCE_KINDS.PRESENT
+        ? maxEpoch.value
+        : INITIAL_CANDIDATE_EPOCH;
+}
+/** Reads the maximum conflict candidate epoch through the active async SQL transaction. */
+async function maxCandidateEpochWithSql(sql, rowBindingId, fieldName) {
+    const row = await sql.get(READ_MAX_CANDIDATE_EPOCH_SQL, [
+        rowBindingId,
+        fieldName,
+    ]);
+    if (row === undefined) {
+        throw new StorageError(STORAGE_ERROR_CODES.OBSERVATION_STORAGE_INCONSISTENT, "candidate epoch aggregate query returned no row");
+    }
+    const maxEpoch = fromSqlNullable(row.max_epoch);
+    return maxEpoch.kind === PRESENCE_KINDS.PRESENT
+        ? maxEpoch.value
+        : INITIAL_CANDIDATE_EPOCH;
+}
+//# sourceMappingURL=observationCanonical.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationCanonical.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationCanonical.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,UAAU,GAKX,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AACxE,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,GACf,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EACL,uBAAuB,EACvB,gCAAgC,GACjC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EACL,6BAA6B,EAC7B,sBAAsB,EACtB,6BAA6B,GAE9B,MAAM,iCAAiC,CAAC;AAIzC,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAOhC,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5E,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAClC,MAAM,kBAAkB,GAAG,WAAoB,CAAC;AAEhD,MAAM,wBAAwB,GAAG;;;;;;yDAMwB,iBAAiB,CAAC,IAAI;CAC9E,CAAC;AAEF,MAAM,8BAA8B,GAAG;;;;;;;;;;;;;CAatC,CAAC;AAEF,MAAM,uCAAuC,GAAG;;;;;;;CAO/C,CAAC;AAEF,MAAM,iCAAiC,GAAG;;gCAEV,kBAAkB,CAAC,MAAM;;mBAEtC,kBAAkB,CAAC,SAAS;CAC9C,CAAC;AAEF,MAAM,iCAAiC,GAAG;;iBAEzB,kBAAkB,CAAC,UAAU;;mBAE3B,kBAAkB,CAAC,MAAM;CAC3C,CAAC;AAEF,MAAM,mCAAmC,GAAG;;;;CAI3C,CAAC;AAEF,MAAM,uBAAuB,GAAG;;;;;CAK/B,CAAC;AAEF,MAAM,4BAA4B,GAAG;;;;CAIpC,CAAC;AAEF,MAAM,8BAA8B,GAAG;;;;CAItC,CAAC;AAEF,MAAM,0BAA0B,GAAG;;;kBAGjB,iBAAiB,CAAC,YAAY;;sBAE1B,iBAAiB,CAAC,IAAI,OAAO,iBAAiB,CAAC,YAAY;CAChF,CAAC;AAEF,MAAM,4BAA4B,GAAG;;;;CAIpC,CAAC;AAYF,sFAAsF;AACtF,SAAS,cAAc,CACrB,OAAe,EACf,YAAoB,EACpB,SAAiB,EACjB,cAAsB;IAEtB,OAAO,GAAG,kBAAkB,GAAG,UAAU,CAAC;QACxC,OAAO;QACP,YAAY;QACZ,SAAS;QACT,cAAc;KACf,CAAC,EAAE,CAAC;AACP,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,EAAoB,EACpB,KAAqB,EACrB,KAA8B,EAC9B,GAAsB,EACtB,OAAsB;IAEtB,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC/D,CAAC,GAAG,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;YACtC,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;IAE5D,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC;IACvC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,UAAU;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,KAAK;QAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;QAC1D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,mCAAmC,MAAM,CAAC,MAAM,EAAE,CACnD,CAAC;IACJ,CAAC;IAED,qCAAqC,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAClG,uBAAuB,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3D,qBAAqB,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,GAAgB,EAChB,KAAqB,EACrB,KAA8B,EAC9B,GAAsB,EACtB,OAAsB;IAEtB,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC/D,CAAC,GAAG,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;YACtC,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;IAE5D,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC;IACvC,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,6BAA6B,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChF,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,UAAU;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,KAAK;QAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;IACzF,IAAI,MAAM,CAAC,IAAI,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;QAC1D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,mCAAmC,MAAM,CAAC,MAAM,EAAE,CACnD,CAAC;IACJ,CAAC;IAED,MAAM,4CAA4C,CAChD,GAAG,EACH,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,MAAM,CAChB,CAAC;IACF,MAAM,8BAA8B,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzE,MAAM,4BAA4B,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,uBAAuB,CACrC,EAAoB,EACpB,KAA8B,EAC9B,GAAsB,EACtB,OAAsB,EACtB,OAAe;IAEf,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,uBAAuB;QAAE,OAAO,EAAE,CAAC;IAC7E,IACE,OAAO,CAAC,KAAK,KAAK,kBAAkB,CAAC,MAAM;QAC3C,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EACjD,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,eAAe,GAAqB,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAC7E,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,kBAAkB,OAAO,EAAE,EAAE;QACtE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,mBAAmB,CAChC,EAAE,EACF,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,KAAK,CAAC,UAAU,EACtB,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,CACnB,CAAC;QACF,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QACrC,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK;YACzC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,IAAI;gBAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,YAAY,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,qBAAqB,KAAK,IAAI,EAC3C,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAC5B,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK;YACvC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe;YAC9B,CAAC,CAAC,uBAAuB,EAC3B,iBAAiB,CAAC,EAAE,EAAE,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,SAAS,CAAC,CAC5D,CAAC;QACF,MAAM,cAAc,GAAG,aAAa,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,EAClB,cAAc,CACf,CAAC;QACF,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CACtC,UAAU,EACV,aAAa,CAAC,eAAe,CAAC,EAC9B,OAAO,EACP,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,OAAO,CAAC,SAAS,CAAC,KAAK,EACvB,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,EAClB,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC7B,QAAQ,CAAC,gBAAgB,EACzB,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,EAClC,QAAQ,CAAC,iBAAiB,EAC1B,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,EAClC,QAAQ,CAAC,iBAAiB,EAC1B,cAAc,EACd,KAAK,CAAC,WAAW,CAAC,UAAU,EAC5B,KAAK,CAAC,WAAW,CAAC,UAAU,CAC7B,CAAC;QACF,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC,GAAG,CAC5C,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,KAAK,CAAC,UAAU,EACtB,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,EAClB,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,EACnC,GAAG,CAAC,mBAAmB,EACvB,UAAU,EACV,IAAI,EACJ,cAAc,EACd,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,CAC/B,CAAC;QACF,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC;aAChD,GAAG,CAAC,cAAc,EAAE,cAAc,EAAE,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9E,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,4EAA4E;AAC5E,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,GAAgB,EAChB,KAA8B,EAC9B,GAAsB,EACtB,OAAsB,EACtB,OAAe;IAEf,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,uBAAuB;QAAE,OAAO,EAAE,CAAC;IAC7E,IACE,OAAO,CAAC,KAAK,KAAK,kBAAkB,CAAC,MAAM;QAC3C,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EACjD,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,eAAe,GAAqB,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAC7E,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,kBAAkB,OAAO,EAAE,EAAE;QACtE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAC7C,GAAG,EACH,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,KAAK,CAAC,UAAU,EACtB,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,CACnB,CAAC;QACF,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QACrC,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK;YACzC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,IAAI;gBAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,YAAY,CAAC;YACzD,MAAM,CAAC,KAAK,CAAC,qBAAqB,KAAK,IAAI,EAC3C,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAC5B,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,KAAK;YACvC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe;YAC9B,CAAC,CAAC,uBAAuB,EAC3B,MAAM,wBAAwB,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,EAAE,QAAQ,CAAC,SAAS,CAAC,CAC1E,CAAC;QACF,MAAM,cAAc,GAAG,aAAa,GAAG,CAAC,CAAC;QACzC,MAAM,UAAU,GAAG,cAAc,CAC/B,OAAO,EACP,GAAG,CAAC,YAAY,EAChB,QAAQ,CAAC,SAAS,EAClB,cAAc,CACf,CAAC;QACF,MAAM,GAAG,CAAC,GAAG,CAAC,wBAAwB,EAAE;YACtC,UAAU;YACV,aAAa,CAAC,eAAe,CAAC;YAC9B,OAAO;YACP,KAAK,CAAC,KAAK,CAAC,OAAO;YACnB,OAAO,CAAC,SAAS,CAAC,KAAK;YACvB,GAAG,CAAC,YAAY;YAChB,QAAQ,CAAC,SAAS;YAClB,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC;YAC7B,QAAQ,CAAC,gBAAgB;YACzB,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;YAClC,QAAQ,CAAC,iBAAiB;YAC1B,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;YAClC,QAAQ,CAAC,iBAAiB;YAC1B,cAAc;YACd,KAAK,CAAC,WAAW,CAAC,UAAU;YAC5B,KAAK,CAAC,WAAW,CAAC,UAAU;SAC7B,CAAC,CAAC;QACH,MAAM,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;YAC5C,KAAK,CAAC,eAAe;YACrB,KAAK,CAAC,KAAK,CAAC,UAAU;YACtB,GAAG,CAAC,YAAY;YAChB,QAAQ,CAAC,SAAS;YAClB,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC;YACnC,GAAG,CAAC,mBAAmB;YACvB,UAAU;YACV,IAAI;YACJ,cAAc;YACd,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC;SAC/B,CAAC,CAAC;QACH,MAAM,GAAG,CAAC,GAAG,CAAC,uCAAuC,EAAE;YACrD,cAAc;YACd,cAAc;YACd,GAAG,CAAC,YAAY;YAChB,KAAK,CAAC,KAAK,CAAC,OAAO;SACpB,CAAC,CAAC;QACH,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,uBAAuB,CACrC,UAA+B;IAE/B,IAAI,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC;AAC5B,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAsB,EAAE,MAA4B;IAClF,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC1C,IACE,OAAO,CAAC,KAAK,KAAK,kBAAkB,CAAC,SAAS;YAC9C,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAChD,CAAC;YACD,MAAM,IAAI,mBAAmB,EAAE,CAAC;QAClC,CAAC;QACD,OAAO;IACT,CAAC;IACD,IACE,OAAO,CAAC,KAAK,KAAK,kBAAkB,CAAC,MAAM;QAC3C,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;QACjD,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,MAAM,CAAC,QAAQ,EAC3C,CAAC;QACD,MAAM,IAAI,mBAAmB,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,qCAAqC,CAC5C,EAAoB,EACpB,cAAsB,EACtB,YAAoB,EACpB,MAA4B;IAE5B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAAE,OAAO;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAClD,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC;aAC5C,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,cAAc,CAAC;QACrD,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC;aAC5C,GAAG,CAAC,YAAY,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;QACxD,MAAM,IAAI,mBAAmB,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,KAAK,UAAU,4CAA4C,CACzD,GAAgB,EAChB,cAAsB,EACtB,YAAoB,EACpB,MAA4B;IAE5B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAAE,OAAO;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAClD,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,iCAAiC,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QACnG,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,iCAAiC,EAAE,CAAC,YAAY,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtG,IAAI,MAAM,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;QACxD,MAAM,IAAI,mBAAmB,EAAE,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,EAAoB,EACpB,cAAsB,EACtB,QAA8B;IAE9B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC1C,EAAE,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACjD,IACE,MAAM,CAAC,qBAAqB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;YAC5D,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;gBACtD,MAAM,CAAC,qBAAqB,CAAC,KAAK,KAAK,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,EACxE,CAAC;YACD,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC,GAAG,CACrD,cAAc,EACd,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,qBAAqB,CAAC,KAAK,EAClC,MAAM,CAAC,QAAQ,CAChB,CAAC;YACF,IAAI,OAAO,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;gBACzD,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,iBAAiB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;YAC7D,uBAAuB,CACrB,EAAE,EACF,cAAc,EACd,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAC9B,MAAM,CAAC,QAAQ,CAChB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,KAAK,UAAU,8BAA8B,CAC3C,GAAgB,EAChB,cAAsB,EACtB,QAA8B;IAE9B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,GAAG,CAAC,GAAG,CAAC,mCAAmC,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACjD,IACE,MAAM,CAAC,qBAAqB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;YAC5D,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;gBACtD,MAAM,CAAC,qBAAqB,CAAC,KAAK,KAAK,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,EACxE,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,uBAAuB,EAAE;gBACrD,cAAc;gBACd,MAAM,CAAC,SAAS;gBAChB,MAAM,CAAC,qBAAqB,CAAC,KAAK;gBAClC,MAAM,CAAC,QAAQ;aAChB,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,OAAO,KAAK,gCAAgC,EAAE,CAAC;gBACzD,MAAM,IAAI,mBAAmB,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,iBAAiB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;YAC7D,MAAM,8BAA8B,CAClC,GAAG,EACH,cAAc,EACd,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAC9B,MAAM,CAAC,QAAQ,CAChB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,EAAoB,EACpB,cAAsB,EACtB,SAAiB,EACjB,aAAqB,EACrB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC;SACtD,GAAG,CAAuB,cAAc,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IACvE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACrE,OAAO;IACT,CAAC;IACD,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvC,GAAG,CAAC,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,8BAA8B,CAC3C,GAAgB,EAChB,cAAsB,EACtB,SAAiB,EACjB,aAAqB,EACrB,QAAgB;IAEhB,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,GAAG,CAAuB,4BAA4B,EAAE;QACjF,cAAc;QACd,SAAS;QACT,aAAa;KACd,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ;YAAE,MAAM,IAAI,mBAAmB,EAAE,CAAC;QACrE,OAAO;IACT,CAAC;IACD,MAAM,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;QAC5C,cAAc;QACd,SAAS;QACT,aAAa;QACb,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC5B,EAAoB,EACpB,KAA8B,EAC9B,GAAsB,EACtB,QAA8B,EAC9B,MAA8B;IAE9B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAAE,OAAO;IAC3D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,MAAM,GAAG,mBAAmB,CAChC,EAAE,EACF,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,KAAK,CAAC,UAAU,EACtB,GAAG,CAAC,YAAY,EAChB,KAAK,CAAC,SAAS,CAChB,CAAC;QACF,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,SAAS;YAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,QAAQ;YAClD,SAAS;QACX,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC,GAAG,CACxC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EACtB,YAAY,EACZ,QAAQ,CAAC,QAAQ,EACjB,KAAK,CAAC,WAAW,CAAC,UAAU,EAC5B,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAC1C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,4BAA4B,CACzC,GAAgB,EAChB,KAA8B,EAC9B,GAAsB,EACtB,QAA8B,EAC9B,MAA8B;IAE9B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAAE,OAAO;IAC3D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QACzC,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAC7C,GAAG,EACH,KAAK,CAAC,eAAe,EACrB,KAAK,CAAC,KAAK,CAAC,UAAU,EACtB,GAAG,CAAC,YAAY,EAChB,KAAK,CAAC,SAAS,CAChB,CAAC;QACF,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC,SAAS;YAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,iBAAiB,CAAC,QAAQ;YAClD,SAAS;QACX,MAAM,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE;YACxC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;YACtB,YAAY;YACZ,QAAQ,CAAC,QAAQ;YACjB,KAAK,CAAC,WAAW,CAAC,UAAU;YAC5B,MAAM,CAAC,KAAK,CAAC,4BAA4B;SAC1C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,EAAoB,EACpB,YAAoB,EACpB,SAAiB;IAEjB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC;SACjD,GAAG,CAAuB,YAAY,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChD,OAAO,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;QAC7C,CAAC,CAAC,QAAQ,CAAC,KAAK;QAChB,CAAC,CAAC,uBAAuB,CAAC;AAC9B,CAAC;AAED,2FAA2F;AAC3F,KAAK,UAAU,wBAAwB,CACrC,GAAgB,EAChB,YAAoB,EACpB,SAAiB;IAEjB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,GAAG,CAAuB,4BAA4B,EAAE;QAC5E,YAAY;QACZ,SAAS;KACV,CAAC,CAAC;IACH,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,iDAAiD,CAClD,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChD,OAAO,QAAQ,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;QAC7C,CAAC,CAAC,QAAQ,CAAC,KAAK;QAChB,CAAC,CAAC,uBAAuB,CAAC;AAC9B,CAAC"}

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

@@ -0,0 +1,53 @@
+/** Runtime values shared by the observation receipt and append contracts. */
+/** Runtime kinds returned when an observation occurrence is appended. */
+export declare const OBSERVATION_APPEND_RESULT_KINDS: {
+    readonly NEW: "new";
+    readonly PENDING_REPLAY: "pending_replay";
+    readonly DUPLICATE: "duplicate";
+    readonly INTEGRITY_COLLISION: "integrity_collision";
+};
+/** Closed set of observation append result kinds. */
+export type ObservationAppendResultKind = (typeof OBSERVATION_APPEND_RESULT_KINDS)[keyof typeof OBSERVATION_APPEND_RESULT_KINDS];
+/** Runtime states persisted for an observation receipt. */
+export declare const OBSERVATION_RECEIPT_STATES: {
+    readonly PENDING: "pending";
+    readonly EVALUATED: "evaluated";
+    readonly DUPLICATE: "duplicate";
+    readonly QUARANTINED: "quarantined";
+};
+/** Closed set of observation receipt states. */
+export type ObservationReceiptState = (typeof OBSERVATION_RECEIPT_STATES)[keyof typeof OBSERVATION_RECEIPT_STATES];
+/** Receipt states allowed when an observation is completed. */
+export declare const OBSERVATION_COMPLETION_STATES: {
+    readonly EVALUATED: "evaluated";
+    readonly DUPLICATE: "duplicate";
+    readonly QUARANTINED: "quarantined";
+};
+/** Closed set of terminal observation completion states. */
+export type ObservationCompletionState = (typeof OBSERVATION_COMPLETION_STATES)[keyof typeof OBSERVATION_COMPLETION_STATES];
+/** Runtime kinds returned after one observed row is persisted. */
+export declare const OBSERVATION_WRITE_RESULT_KINDS: {
+    readonly FENCED_OUT: "fenced_out";
+    readonly STALE: "stale";
+    readonly DUPLICATE: "duplicate";
+    readonly QUARANTINED: "quarantined";
+    readonly PERSISTED: "persisted";
+};
+/** Closed set of one-row observation write result kinds. */
+export type ObservationWriteResultKind = (typeof OBSERVATION_WRITE_RESULT_KINDS)[keyof typeof OBSERVATION_WRITE_RESULT_KINDS];
+/** Runtime reasons why one observation was identified as a duplicate. */
+export declare const OBSERVATION_DUPLICATE_REASONS: {
+    readonly OBSERVATION: "observation";
+    readonly EVENT: "event";
+    readonly CANDIDATE: "candidate";
+};
+/** Closed set of observation duplicate reasons. */
+export type ObservationDuplicateReason = (typeof OBSERVATION_DUPLICATE_REASONS)[keyof typeof OBSERVATION_DUPLICATE_REASONS];
+/** Runtime discriminators for receipt/event identity quarantine records. */
+export declare const OBSERVATION_INTEGRITY_DISCRIMINATORS: {
+    readonly OBSERVATION_KEY_PAYLOAD_MISMATCH: "observation_key_payload_mismatch";
+    readonly EVENT_KEY_PAYLOAD_MISMATCH: "event_key_payload_mismatch";
+};
+/** Closed set of identity mismatch quarantine discriminators. */
+export type ObservationIntegrityDiscriminator = (typeof OBSERVATION_INTEGRITY_DISCRIMINATORS)[keyof typeof OBSERVATION_INTEGRITY_DISCRIMINATORS];
+//# sourceMappingURL=observationConstants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationConstants.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationConstants.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,yEAAyE;AACzE,eAAO,MAAM,+BAA+B;;;;;CAKlC,CAAC;AAEX,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GACrC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,OAAO,+BAA+B,CAAC,CAAC;AAEzF,2DAA2D;AAC3D,eAAO,MAAM,0BAA0B;;;;;CAK7B,CAAC;AAEX,gDAAgD;AAChD,MAAM,MAAM,uBAAuB,GACjC,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,OAAO,0BAA0B,CAAC,CAAC;AAE/E,+DAA+D;AAC/D,eAAO,MAAM,6BAA6B;;;;CAIhC,CAAC;AAEX,4DAA4D;AAC5D,MAAM,MAAM,0BAA0B,GACpC,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,OAAO,6BAA6B,CAAC,CAAC;AAErF,kEAAkE;AAClE,eAAO,MAAM,8BAA8B;;;;;;CAMjC,CAAC;AAEX,4DAA4D;AAC5D,MAAM,MAAM,0BAA0B,GACpC,CAAC,OAAO,8BAA8B,CAAC,CAAC,MAAM,OAAO,8BAA8B,CAAC,CAAC;AAEvF,yEAAyE;AACzE,eAAO,MAAM,6BAA6B;;;;CAIhC,CAAC;AAEX,mDAAmD;AACnD,MAAM,MAAM,0BAA0B,GACpC,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,OAAO,6BAA6B,CAAC,CAAC;AAErF,4EAA4E;AAC5E,eAAO,MAAM,oCAAoC;;;CAGvC,CAAC;AAEX,iEAAiE;AACjE,MAAM,MAAM,iCAAiC,GAC3C,CAAC,OAAO,oCAAoC,CAAC,CAAC,MAAM,OAAO,oCAAoC,CAAC,CAAC"}

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

@@ -0,0 +1,41 @@
+/** Runtime values shared by the observation receipt and append contracts. */
+/** Runtime kinds returned when an observation occurrence is appended. */
+export const OBSERVATION_APPEND_RESULT_KINDS = {
+    NEW: "new",
+    PENDING_REPLAY: "pending_replay",
+    DUPLICATE: "duplicate",
+    INTEGRITY_COLLISION: "integrity_collision",
+};
+/** Runtime states persisted for an observation receipt. */
+export const OBSERVATION_RECEIPT_STATES = {
+    PENDING: "pending",
+    EVALUATED: "evaluated",
+    DUPLICATE: "duplicate",
+    QUARANTINED: "quarantined",
+};
+/** Receipt states allowed when an observation is completed. */
+export const OBSERVATION_COMPLETION_STATES = {
+    EVALUATED: OBSERVATION_RECEIPT_STATES.EVALUATED,
+    DUPLICATE: OBSERVATION_RECEIPT_STATES.DUPLICATE,
+    QUARANTINED: OBSERVATION_RECEIPT_STATES.QUARANTINED,
+};
+/** Runtime kinds returned after one observed row is persisted. */
+export const OBSERVATION_WRITE_RESULT_KINDS = {
+    FENCED_OUT: "fenced_out",
+    STALE: "stale",
+    DUPLICATE: "duplicate",
+    QUARANTINED: "quarantined",
+    PERSISTED: "persisted",
+};
+/** Runtime reasons why one observation was identified as a duplicate. */
+export const OBSERVATION_DUPLICATE_REASONS = {
+    OBSERVATION: "observation",
+    EVENT: "event",
+    CANDIDATE: "candidate",
+};
+/** Runtime discriminators for receipt/event identity quarantine records. */
+export const OBSERVATION_INTEGRITY_DISCRIMINATORS = {
+    OBSERVATION_KEY_PAYLOAD_MISMATCH: "observation_key_payload_mismatch",
+    EVENT_KEY_PAYLOAD_MISMATCH: "event_key_payload_mismatch",
+};
+//# sourceMappingURL=observationConstants.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationConstants.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationConstants.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,yEAAyE;AACzE,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,GAAG,EAAE,KAAK;IACV,cAAc,EAAE,gBAAgB;IAChC,SAAS,EAAE,WAAW;IACtB,mBAAmB,EAAE,qBAAqB;CAClC,CAAC;AAMX,2DAA2D;AAC3D,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,OAAO,EAAE,SAAS;IAClB,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,WAAW;IACtB,WAAW,EAAE,aAAa;CAClB,CAAC;AAMX,+DAA+D;AAC/D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,SAAS,EAAE,0BAA0B,CAAC,SAAS;IAC/C,SAAS,EAAE,0BAA0B,CAAC,SAAS;IAC/C,WAAW,EAAE,0BAA0B,CAAC,WAAW;CAC3C,CAAC;AAMX,kEAAkE;AAClE,MAAM,CAAC,MAAM,8BAA8B,GAAG;IAC5C,UAAU,EAAE,YAAY;IACxB,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,WAAW;IACtB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,WAAW;CACd,CAAC;AAMX,yEAAyE;AACzE,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,WAAW,EAAE,aAAa;IAC1B,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,WAAW;CACd,CAAC;AAMX,4EAA4E;AAC5E,MAAM,CAAC,MAAM,oCAAoC,GAAG;IAClD,gCAAgC,EAAE,kCAAkC;IACpE,0BAA0B,EAAE,4BAA4B;CAChD,CAAC"}

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

@@ -0,0 +1,49 @@
+/**
+ * Append-only observation and event ledger operations.
+ *
+ * These helpers run within the observation writer's already-fenced immediate
+ * transaction. They do not perform canonical or conflict mutation themselves.
+ */
+import { type FieldConflict, type ObservedEditBatch, type ObservedRowChange, type Presence, type LookupResult } from "../../../../domain/index.js";
+import type { DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import type { SqlExecutor } from "../../../../adapter/persistence/contracts/sql.js";
+import { type ObservationCompletionState } from "./observationConstants.js";
+import type { ActiveCandidateRow, CreatedEvent, EventRow, ObservationAppendResult, ObservationAttemptInput, PersistObservedRowInput, RowBindingRow } from "./observationTypes.js";
+/** Appends an observation occurrence and classifies receipt replay semantics. */
+export declare function appendObservation(db: DatabaseSyncLike, batch: ObservedEditBatch, physicalSheetId: string, observation: ObservationAttemptInput): ObservationAppendResult;
+/**
+ * Appends an observation occurrence through the active async SQL transaction
+ * and classifies receipt replay semantics without leaking SQL nullability.
+ */
+export declare function appendObservationWithSql(sql: SqlExecutor, batch: ObservedEditBatch, physicalSheetId: string, observation: ObservationAttemptInput): Promise<ObservationAppendResult>;
+/** Completes the receipt after an event, duplicate, or quarantine outcome. */
+export declare function completeObservation(db: DatabaseSyncLike, logicalSheetId: string, observation: ObservationAttemptInput, eventId: Presence<string>, state: ObservationCompletionState): void;
+/** Completes one observation receipt through the active async SQL transaction. */
+export declare function completeObservationWithSql(sql: SqlExecutor, logicalSheetId: string, observation: ObservationAttemptInput, eventId: Presence<string>, state: ObservationCompletionState): Promise<void>;
+/** Requires the binding identity that makes an event-bearing observation safe. */
+export declare function requireKnownBinding(db: DatabaseSyncLike, logicalSheetId: string, rowBindingId: string): RowBindingRow;
+/** Requires a row binding through the active async SQL transaction. */
+export declare function requireKnownBindingWithSql(sql: SqlExecutor, logicalSheetId: string, rowBindingId: string): Promise<RowBindingRow>;
+/** Finds a duplicate event represented by an unchanged active conflict candidate. */
+export declare function findMatchingCandidateEventId(db: DatabaseSyncLike, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow): LookupResult<string>;
+/** Finds an unchanged active conflict candidate through the active async SQL transaction. */
+export declare function findMatchingCandidateEventIdWithSql(sql: SqlExecutor, input: PersistObservedRowInput, row: ObservedRowChange, binding: RowBindingRow): Promise<LookupResult<string>>;
+/** Reads the currently visible unresolved candidate for one row field. */
+export declare function readActiveCandidate(db: DatabaseSyncLike, physicalSheetId: string, projection: string, rowBindingId: string, fieldName: string): LookupResult<ActiveCandidateRow>;
+/** Reads the active candidate through the active async SQL transaction. */
+export declare function readActiveCandidateWithSql(sql: SqlExecutor, physicalSheetId: string, projection: string, rowBindingId: string, fieldName: string): Promise<LookupResult<ActiveCandidateRow>>;
+/** Finds a prior event with the caller-supplied idempotency key. */
+export declare function findEventByKey(db: DatabaseSyncLike, logicalSheetId: string, eventKey: string): LookupResult<EventRow>;
+/** Finds an idempotent event key through the active async SQL transaction. */
+export declare function findEventByKeyWithSql(sql: SqlExecutor, logicalSheetId: string, eventKey: string): Promise<LookupResult<EventRow>>;
+/** Creates the event log, row evidence, and field evidence for one new observation. */
+export declare function createEvent(db: DatabaseSyncLike, input: PersistObservedRowInput, row: ObservedRowChange): CreatedEvent;
+/** Creates the event and its evidence through the active async SQL transaction. */
+export declare function createEventWithSql(sql: SqlExecutor, input: PersistObservedRowInput, row: ObservedRowChange): Promise<CreatedEvent>;
+/** Updates visible hashes after a new event has recorded its observed evidence. */
+export declare function persistObservedHashes(db: DatabaseSyncLike, input: PersistObservedRowInput, row: ObservedRowChange): void;
+/** Updates observed row and field hashes through the active async SQL transaction. */
+export declare function persistObservedHashesWithSql(sql: SqlExecutor, input: PersistObservedRowInput, row: ObservedRowChange): Promise<void>;
+/** Produces the idempotency hash for a visible unresolved field candidate. */
+export declare function candidateHash(conflict: FieldConflict): string;
+//# sourceMappingURL=observationLedger.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationLedger.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationLedger.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEtB,KAAK,QAAQ,EACb,KAAK,YAAY,EAElB,MAAM,6BAA6B,CAAC;AAUrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAErE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AACpF,OAAO,EAGL,KAAK,0BAA0B,EAChC,MAAM,2BAA2B,CAAC;AAEnC,OAAO,KAAK,EACV,kBAAkB,EAClB,YAAY,EACZ,QAAQ,EACR,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EAEvB,aAAa,EACd,MAAM,uBAAuB,CAAC;AA4C/B,iFAAiF;AACjF,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,iBAAiB,EACxB,eAAe,EAAE,MAAM,EACvB,WAAW,EAAE,uBAAuB,GACnC,uBAAuB,CAsEzB;AAED;;;GAGG;AACH,wBAAsB,wBAAwB,CAC5C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,iBAAiB,EACxB,eAAe,EAAE,MAAM,EACvB,WAAW,EAAE,uBAAuB,GACnC,OAAO,CAAC,uBAAuB,CAAC,CAwElC;AAED,8EAA8E;AAC9E,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,gBAAgB,EACpB,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,uBAAuB,EACpC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EACzB,KAAK,EAAE,0BAA0B,GAChC,IAAI,CAKN;AAED,kFAAkF;AAClF,wBAAsB,0BAA0B,CAC9C,GAAG,EAAE,WAAW,EAChB,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,uBAAuB,EACpC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EACzB,KAAK,EAAE,0BAA0B,GAChC,OAAO,CAAC,IAAI,CAAC,CAWf;AAED,kFAAkF;AAClF,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,gBAAgB,EACpB,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,MAAM,GACnB,aAAa,CAaf;AAED,uEAAuE;AACvE,wBAAsB,0BAA0B,CAC9C,GAAG,EAAE,WAAW,EAChB,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,aAAa,CAAC,CAexB;AAED,qFAAqF;AACrF,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,GACrB,YAAY,CAAC,MAAM,CAAC,CAmCtB;AAED,6FAA6F;AAC7F,wBAAsB,mCAAmC,CACvD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,aAAa,GACrB,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAmC/B;AAED,0EAA0E;AAC1E,wBAAgB,mBAAmB,CACjC,EAAE,EAAE,gBAAgB,EACpB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,YAAY,CAAC,kBAAkB,CAAC,CAMlC;AAED,2EAA2E;AAC3E,wBAAsB,0BAA0B,CAC9C,GAAG,EAAE,WAAW,EAChB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,YAAY,CAAC,kBAAkB,CAAC,CAAC,CAU3C;AAED,oEAAoE;AACpE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,gBAAgB,EACpB,cAAc,EAAE,MAAM,EACtB,QAAQ,EAAE,MAAM,GACf,YAAY,CAAC,QAAQ,CAAC,CAMxB;AAED,8EAA8E;AAC9E,wBAAsB,qBAAqB,CACzC,GAAG,EAAE,WAAW,EAChB,cAAc,EAAE,MAAM,EACtB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAKjC;AAED,uFAAuF;AACvF,wBAAgB,WAAW,CACzB,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,GACrB,YAAY,CA2Dd;AAED,mFAAmF;AACnF,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAAC,YAAY,CAAC,CA4DvB;AAED,mFAAmF;AACnF,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,GACrB,IAAI,CAgBN;AAED,sFAAsF;AACtF,wBAAsB,4BAA4B,CAChD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,uBAAuB,EAC9B,GAAG,EAAE,iBAAiB,GACrB,OAAO,CAAC,IAAI,CAAC,CAgBf;AAED,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAE7D"}