hikoutei 0.2.0

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

@@ -0,0 +1,100 @@
+/** Quarantine persistence for invalid or unresolvable observed rows. */
+import { stableHash, } from "../../../../domain/index.js";
+import { QUARANTINE_ID_PREFIX, QUARANTINE_REPAIR_STATUSES, ROW_OUTCOMES, } from "../../../../domain/evaluate/constants.js";
+import { QUARANTINE_REASONS, ROW_OPERATIONS } from "../../../../domain/model/constants.js";
+import { toSqlNullable } from "../../sqlite/sqlState.js";
+import { auditJson } from "./observationAudit.js";
+const INSERT_QUARANTINE_RECORD_SQL = `
+  INSERT INTO quarantine_record (
+    quarantine_id, event_id, observation_id, logical_sheet_id, row_binding_id,
+    reason, before_row_json, after_row_json, fields_json, repair_fields_json,
+    repair_state, candidate_payload_json, created_at, updated_at
+  ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+  ON CONFLICT(quarantine_id) DO NOTHING
+`;
+/** Persists a deterministic quarantine for incompatible receipt or event identity. */
+export function persistIntegrityQuarantine(db, input, row, eventId, discriminator) {
+    const quarantine = makeIntegrityQuarantine(input, row, discriminator);
+    return persistQuarantine(db, input, quarantine, eventId);
+}
+/** Persists an integrity quarantine through the active async SQL transaction. */
+export async function persistIntegrityQuarantineWithSql(sql, input, row, eventId, discriminator) {
+    const quarantine = makeIntegrityQuarantine(input, row, discriminator);
+    return persistQuarantineWithSql(sql, input, quarantine, eventId);
+}
+/** Inserts a core-provided quarantine plan once and retains its raw evidence. */
+export function persistQuarantine(db, input, quarantine, eventId) {
+    const beforeRow = quarantine.operation === ROW_OPERATIONS.INSERT
+        ? null
+        : quarantine.beforeRow;
+    const afterRow = quarantine.operation === ROW_OPERATIONS.DELETE
+        ? null
+        : quarantine.afterRow;
+    const repairState = input.evaluation.outcome === ROW_OUTCOMES.QUARANTINE &&
+        input.evaluation.repair.status === QUARANTINE_REPAIR_STATUSES.PLANNED
+        ? "pending"
+        : null;
+    db.prepare(INSERT_QUARANTINE_RECORD_SQL).run(quarantine.quarantineId, toSqlNullable(eventId), input.observation.observationId, input.batch.sheetId, quarantine.rowBindingId, quarantine.reason, auditJson(beforeRow), auditJson(afterRow), auditJson(quarantine.fields), auditJson(quarantine.repairFields), repairState, input.observation.payloadJson, input.observation.receivedAt, input.observation.receivedAt);
+    return quarantine.quarantineId;
+}
+/** Inserts a core-provided quarantine plan through the active async SQL transaction. */
+export async function persistQuarantineWithSql(sql, input, quarantine, eventId) {
+    const beforeRow = quarantine.operation === ROW_OPERATIONS.INSERT
+        ? null
+        : quarantine.beforeRow;
+    const afterRow = quarantine.operation === ROW_OPERATIONS.DELETE
+        ? null
+        : quarantine.afterRow;
+    const repairState = input.evaluation.outcome === ROW_OUTCOMES.QUARANTINE &&
+        input.evaluation.repair.status === QUARANTINE_REPAIR_STATUSES.PLANNED
+        ? "pending"
+        : null;
+    await sql.run(INSERT_QUARANTINE_RECORD_SQL, [
+        quarantine.quarantineId,
+        toSqlNullable(eventId),
+        input.observation.observationId,
+        input.batch.sheetId,
+        quarantine.rowBindingId,
+        quarantine.reason,
+        auditJson(beforeRow),
+        auditJson(afterRow),
+        auditJson(quarantine.fields),
+        auditJson(quarantine.repairFields),
+        repairState,
+        input.observation.payloadJson,
+        input.observation.receivedAt,
+        input.observation.receivedAt,
+    ]);
+    return quarantine.quarantineId;
+}
+/** Builds an operation-specific quarantine plan for an identity collision. */
+function makeIntegrityQuarantine(input, row, discriminator) {
+    const common = {
+        quarantineId: `${QUARANTINE_ID_PREFIX}${stableHash({
+            logicalSheetId: input.batch.sheetId,
+            observationKey: input.observation.observationKey,
+            representative: discriminator,
+            payloadHash: input.observation.payloadHash,
+            rowBindingId: row.rowBindingId,
+        })}`,
+        reason: QUARANTINE_REASONS.INVALID_EVENT,
+        rowBindingId: row.rowBindingId,
+        fields: row.fields,
+        repairFields: [],
+    };
+    switch (row.operation) {
+        case ROW_OPERATIONS.INSERT:
+            return { ...common, operation: row.operation, afterRow: row.afterRow };
+        case ROW_OPERATIONS.UPDATE:
+        case ROW_OPERATIONS.RENAME:
+            return {
+                ...common,
+                operation: row.operation,
+                beforeRow: row.beforeRow,
+                afterRow: row.afterRow,
+            };
+        case ROW_OPERATIONS.DELETE:
+            return { ...common, operation: row.operation, beforeRow: row.beforeRow };
+    }
+}
+//# sourceMappingURL=observationQuarantine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationQuarantine.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationQuarantine.ts"],"names":[],"mappings":"AAAA,wEAAwE;AAExE,OAAO,EACL,UAAU,GAIX,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,oBAAoB,EACpB,0BAA0B,EAC1B,YAAY,GACb,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAE3F,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAIlD,MAAM,4BAA4B,GAAG;;;;;;;CAOpC,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,0BAA0B,CACxC,EAAoB,EACpB,KAA8B,EAC9B,GAAsB,EACtB,OAAyB,EACzB,aAAgD;IAEhD,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACtE,OAAO,iBAAiB,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC;AAED,iFAAiF;AACjF,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,GAAgB,EAChB,KAA8B,EAC9B,GAAsB,EACtB,OAAyB,EACzB,aAAgD;IAEhD,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACtE,OAAO,wBAAwB,CAAC,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAC/B,EAAoB,EACpB,KAA8B,EAC9B,UAA0B,EAC1B,OAAyB;IAEzB,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC;IACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QAC7D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;IACxB,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU;QACpE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,0BAA0B,CAAC,OAAO;QACvE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC;IACT,EAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC,GAAG,CAC1C,UAAU,CAAC,YAAY,EACvB,aAAa,CAAC,OAAO,CAAC,EACtB,KAAK,CAAC,WAAW,CAAC,aAAa,EAC/B,KAAK,CAAC,KAAK,CAAC,OAAO,EACnB,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,MAAM,EACjB,SAAS,CAAC,SAAS,CAAC,EACpB,SAAS,CAAC,QAAQ,CAAC,EACnB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAC5B,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,EAClC,WAAW,EACX,KAAK,CAAC,WAAW,CAAC,WAAW,EAC7B,KAAK,CAAC,WAAW,CAAC,UAAU,EAC5B,KAAK,CAAC,WAAW,CAAC,UAAU,CAC7B,CAAC;IACF,OAAO,UAAU,CAAC,YAAY,CAAC;AACjC,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,GAAgB,EAChB,KAA8B,EAC9B,UAA0B,EAC1B,OAAyB;IAEzB,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC;IACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QAC7D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;IACxB,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU;QACpE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,0BAA0B,CAAC,OAAO;QACvE,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,GAAG,CAAC,GAAG,CAAC,4BAA4B,EAAE;QAC1C,UAAU,CAAC,YAAY;QACvB,aAAa,CAAC,OAAO,CAAC;QACtB,KAAK,CAAC,WAAW,CAAC,aAAa;QAC/B,KAAK,CAAC,KAAK,CAAC,OAAO;QACnB,UAAU,CAAC,YAAY;QACvB,UAAU,CAAC,MAAM;QACjB,SAAS,CAAC,SAAS,CAAC;QACpB,SAAS,CAAC,QAAQ,CAAC;QACnB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;QAC5B,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC;QAClC,WAAW;QACX,KAAK,CAAC,WAAW,CAAC,WAAW;QAC7B,KAAK,CAAC,WAAW,CAAC,UAAU;QAC5B,KAAK,CAAC,WAAW,CAAC,UAAU;KAC7B,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,YAAY,CAAC;AACjC,CAAC;AAED,8EAA8E;AAC9E,SAAS,uBAAuB,CAC9B,KAA8B,EAC9B,GAAsB,EACtB,aAAgD;IAEhD,MAAM,MAAM,GAAG;QACb,YAAY,EAAE,GAAG,oBAAoB,GAAG,UAAU,CAAC;YACjD,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO;YACnC,cAAc,EAAE,KAAK,CAAC,WAAW,CAAC,cAAc;YAChD,cAAc,EAAE,aAAa;YAC7B,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW;YAC1C,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B,CAAC,EAAE;QACJ,MAAM,EAAE,kBAAkB,CAAC,aAAa;QACxC,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,YAAY,EAAE,EAAE;KACjB,CAAC;IAEF,QAAQ,GAAG,CAAC,SAAS,EAAE,CAAC;QACtB,KAAK,cAAc,CAAC,MAAM;YACxB,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzE,KAAK,cAAc,CAAC,MAAM,CAAC;QAC3B,KAAK,cAAc,CAAC,MAAM;YACxB,OAAO;gBACL,GAAG,MAAM;gBACT,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACvB,CAAC;QACJ,KAAK,cAAc,CAAC,MAAM;YACxB,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;IAC7E,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,124 @@
+/**
+ * Contracts shared by the durable observation writer modules.
+ *
+ * The input is already normalized and evaluated by pure core. Storage owns
+ * only idempotent receipts, canonical commits, conflict records, and effects.
+ */
+import type { EditorActorSource, FieldConflict, ObservedEditBatch, ObservedRowChange, Applicability, Presence, QuarantinePlan, RowBindingState, RowEvaluationResult, ConflictStatus, RowOutcome } from "../../../../domain/index.js";
+import { ROW_OUTCOMES } from "../../../../domain/evaluate/constants.js";
+import { CANONICAL_COMMIT_RESULT_KINDS } from "../canonical/canonicalCommit.js";
+import type { CanonicalCommitInput, CanonicalCommitResult } from "../canonical/canonicalCommit.js";
+import type { NewEffect } from "../../sync/outbound/effectOutbox.js";
+import { OBSERVATION_WRITE_RESULT_KINDS } from "./observationConstants.js";
+import type { ObservationDuplicateReason, ObservationAppendResultKind, ObservationReceiptState } from "./observationConstants.js";
+/** One append-only occurrence captured by a gateway or polling adapter. */
+export interface ObservationAttemptInput {
+    readonly observationId: string;
+    readonly observationKey: string;
+    readonly payloadJson: string;
+    readonly payloadHash: string;
+    readonly detectedAt: number;
+    readonly receivedAt: number;
+    readonly ingressActorId: string;
+    /** Editor identity is absent when the gateway cannot verify one. */
+    readonly editorActorId: Presence<string>;
+    readonly editorActorSource: EditorActorSource;
+}
+/** Event identity computed after observation identity resolution. */
+export interface EventIdentityInput {
+    readonly eventKey: string;
+    readonly payloadHash: string;
+}
+/** One active unique-key change that must commit with canonical state. */
+export interface BusinessKeyChange {
+    readonly fieldName: string;
+    readonly previousNormalizedKey: Presence<string>;
+    readonly nextNormalizedKey: Presence<string>;
+}
+/** Canonical mutation and key claims committed in the same writer transaction. */
+export interface CanonicalRowMutation {
+    readonly commitId: string;
+    readonly commit: CanonicalCommitInput;
+    readonly businessKeyChanges: readonly BusinessKeyChange[];
+}
+/** Input for exactly one row of an observed batch. */
+export interface PersistObservedRowInput {
+    readonly physicalSheetId: string;
+    readonly batch: ObservedEditBatch;
+    readonly rowIndex: number;
+    readonly observation: ObservationAttemptInput;
+    readonly event: Presence<EventIdentityInput>;
+    readonly evaluation: RowEvaluationResult;
+    readonly canonical: Presence<CanonicalRowMutation>;
+    readonly effects: readonly NewEffect[];
+}
+/** Durable outcome for one row-independent observation submission. */
+export type PersistObservedRowResult = {
+    readonly kind: typeof OBSERVATION_WRITE_RESULT_KINDS.FENCED_OUT;
+} | {
+    readonly kind: typeof OBSERVATION_WRITE_RESULT_KINDS.STALE;
+} | {
+    readonly kind: typeof OBSERVATION_WRITE_RESULT_KINDS.DUPLICATE;
+    readonly observationId: string;
+    readonly eventId: Presence<string>;
+    readonly reason: ObservationDuplicateReason;
+} | {
+    readonly kind: typeof OBSERVATION_WRITE_RESULT_KINDS.QUARANTINED;
+    readonly observationId: string;
+    readonly eventId: Presence<string>;
+    readonly quarantineId: string;
+} | {
+    readonly kind: typeof OBSERVATION_WRITE_RESULT_KINDS.PERSISTED;
+    readonly observationId: string;
+    readonly eventId: string;
+    readonly eventSequence: number;
+    readonly outcome: Exclude<RowOutcome, typeof ROW_OUTCOMES.QUARANTINE>;
+    readonly entityRevision: Applicability<number>;
+    readonly conflictIds: readonly string[];
+};
+export interface ReceiptRow {
+    readonly representative_payload_hash: string;
+    readonly event_id: string | null;
+    readonly state: ObservationReceiptState;
+}
+export interface EventRow {
+    readonly event_id: string;
+    readonly payload_hash: string;
+    readonly event_sequence: number;
+}
+export interface RowBindingRow {
+    readonly entity_id: Presence<string>;
+    readonly state: RowBindingState;
+}
+export interface ActiveCandidateRow {
+    readonly active_candidate_conflict_id: string;
+    readonly active_candidate_hash: string;
+    readonly candidate_epoch: number;
+    readonly event_id: string;
+    readonly status: ConflictStatus;
+}
+export interface CreatedEvent {
+    readonly eventId: string;
+    readonly eventSequence: number;
+}
+export interface ObservationAppendResult {
+    readonly kind: ObservationAppendResultKind;
+    readonly eventId: Presence<string>;
+}
+/** Signals that the writer lease changed inside an outer transaction. */
+export declare class FenceLostError extends Error {
+}
+/** Signals that a canonical CAS/binding transition became stale. */
+export declare class CanonicalStaleError extends Error {
+}
+/** Input type retained here for conflict-ledger helpers. */
+export type ObservationConflict = FieldConflict;
+/** Input type retained here for quarantine-ledger helpers. */
+export type ObservationQuarantine = QuarantinePlan;
+/** Applied canonical result used by canonical/conflict composition. */
+export type AppliedCanonicalCommit = Extract<CanonicalCommitResult, {
+    readonly kind: typeof CANONICAL_COMMIT_RESULT_KINDS.APPLIED;
+}>;
+/** The observed row type is re-exported for storage-private helper signatures. */
+export type ObservationRow = ObservedRowChange;
+//# sourceMappingURL=observationTypes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationTypes.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationTypes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,QAAQ,EACR,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,cAAc,EACd,UAAU,EACX,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AACxE,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACnG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,KAAK,EACV,0BAA0B,EAC1B,2BAA2B,EAC3B,uBAAuB,EACxB,MAAM,2BAA2B,CAAC;AAEnC,2EAA2E;AAC3E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,oEAAoE;IACpE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;CAC/C;AAED,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,0EAA0E;AAC1E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,qBAAqB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC3D;AAED,sDAAsD;AACtD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;CACxC;AAED,sEAAsE;AACtE,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,8BAA8B,CAAC,UAAU,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,8BAA8B,CAAC,KAAK,CAAA;CAAE,GAC9D;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,8BAA8B,CAAC,SAAS,CAAC;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,8BAA8B,CAAC,WAAW,CAAC;IACjE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,8BAA8B,CAAC,SAAS,CAAC;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC;IACtE,QAAQ,CAAC,cAAc,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAEN,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;CACzC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CACpC;AAED,yEAAyE;AACzE,qBAAa,cAAe,SAAQ,KAAK;CAAG;AAE5C,oEAAoE;AACpE,qBAAa,mBAAoB,SAAQ,KAAK;CAAG;AAEjD,4DAA4D;AAC5D,MAAM,MAAM,mBAAmB,GAAG,aAAa,CAAC;AAEhD,8DAA8D;AAC9D,MAAM,MAAM,qBAAqB,GAAG,cAAc,CAAC;AAEnD,uEAAuE;AACvE,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAC1C,qBAAqB,EACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,6BAA6B,CAAC,OAAO,CAAA;CAAE,CAChE,CAAC;AAEF,kFAAkF;AAClF,MAAM,MAAM,cAAc,GAAG,iBAAiB,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Contracts shared by the durable observation writer modules.
+ *
+ * The input is already normalized and evaluated by pure core. Storage owns
+ * only idempotent receipts, canonical commits, conflict records, and effects.
+ */
+/** Signals that the writer lease changed inside an outer transaction. */
+export class FenceLostError extends Error {
+}
+/** Signals that a canonical CAS/binding transition became stale. */
+export class CanonicalStaleError extends Error {
+}
+//# sourceMappingURL=observationTypes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationTypes.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationTypes.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAqIH,yEAAyE;AACzE,MAAM,OAAO,cAAe,SAAQ,KAAK;CAAG;AAE5C,oEAAoE;AACpE,MAAM,OAAO,mBAAoB,SAAQ,KAAK;CAAG"}

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

@@ -0,0 +1,28 @@
+/**
+ * Input and registry validation for the observation writer.
+ *
+ * Validation happens before the writer opens its transaction so malformed
+ * adapter input never creates a partial receipt or event occurrence.
+ */
+import type { ObservedEditBatch } from "../../../../domain/index.js";
+import type { NewEffect } from "../../sync/outbound/effectOutbox.js";
+import type { DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import type { SqlExecutor } from "../../../../adapter/persistence/contracts/sql.js";
+import type { PersistObservedRowInput } from "./observationTypes.js";
+/** Validates one complete writer submission before durable mutation begins. */
+export declare function validatePersistObservedRowInput(input: PersistObservedRowInput): void;
+/** Requires a valid row index and returns its observed row. */
+export declare function requireBatchRow(batch: ObservedEditBatch, rowIndex: number): import("../../../../domain/index.js").ObservedRowChange;
+/** Ensures the observed physical projection is an enabled registry member. */
+export declare function ensureRegisteredProjection(db: DatabaseSyncLike, batch: ObservedEditBatch, physicalSheetId: string): void;
+/**
+ * Ensures the observed projection is enabled through the active async SQL
+ * context. This keeps registry validation in the same transaction as the
+ * observation receipt it protects.
+ */
+export declare function ensureRegisteredProjectionWithSql(sql: SqlExecutor, batch: ObservedEditBatch, physicalSheetId: string): Promise<void>;
+/** Ensures every generated effect targets an enabled registered projection. */
+export declare function ensureEffectsTargetRegistered(db: DatabaseSyncLike, logicalSheetId: string, effects: readonly NewEffect[]): void;
+/** Validates every generated effect target through the active async SQL context. */
+export declare function ensureEffectsTargetRegisteredWithSql(sql: SqlExecutor, logicalSheetId: string, effects: readonly NewEffect[]): Promise<void>;
+//# sourceMappingURL=observationValidation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationValidation.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationValidation.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAUrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AACpF,OAAO,KAAK,EAGV,uBAAuB,EACxB,MAAM,uBAAuB,CAAC;AAwB/B,+EAA+E;AAC/E,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,uBAAuB,GAAG,IAAI,CA8DpF;AAED,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,KAAK,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,2DAezE;AAED,8EAA8E;AAC9E,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,iBAAiB,EACxB,eAAe,EAAE,MAAM,GACtB,IAAI,CAuBN;AAED;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,iBAAiB,EACxB,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAyBf;AAED,+EAA+E;AAC/E,wBAAgB,6BAA6B,CAC3C,EAAE,EAAE,gBAAgB,EACpB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,IAAI,CAgBN;AAED,oFAAoF;AACpF,wBAAsB,oCAAoC,CACxD,GAAG,EAAE,WAAW,EAChB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,OAAO,CAAC,IAAI,CAAC,CAiBf"}

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

@@ -0,0 +1,223 @@
+/**
+ * Input and registry validation for the observation writer.
+ *
+ * Validation happens before the writer opens its transaction so malformed
+ * adapter input never creates a partial receipt or event occurrence.
+ */
+import { stableHash } from "../../../../domain/index.js";
+import { APPLICABILITY_KINDS, PRESENCE_KINDS, } from "../../../../shared/state/constants.js";
+import { ROW_OUTCOMES } from "../../../../domain/evaluate/constants.js";
+import { ROW_OPERATIONS } from "../../../../domain/model/constants.js";
+import { EMPTY_STRING_LENGTH_ZERO } from "../../constants.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+const READ_REGISTERED_PROJECTION_SQL = `
+  SELECT logical_sheet_id, projection, enabled
+  FROM physical_sheet_registry
+  WHERE physical_sheet_id = ?
+`;
+const READ_LOGICAL_SHEET_ENABLED_SQL = `
+  SELECT enabled
+  FROM sheet_registry
+  WHERE sheet_id = ?
+`;
+/** Validates one complete writer submission before durable mutation begins. */
+export function validatePersistObservedRowInput(input) {
+    const row = requireBatchRow(input.batch, input.rowIndex);
+    if (input.physicalSheetId.length === EMPTY_STRING_LENGTH_ZERO) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "physical sheet ID is required");
+    }
+    if (input.batch.sheetId.length === EMPTY_STRING_LENGTH_ZERO ||
+        input.batch.batchId.length === EMPTY_STRING_LENGTH_ZERO) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "logical sheet ID and batch ID are required");
+    }
+    if (input.evaluation.rowBindingId !== row.rowBindingId) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "evaluation row binding does not match the observed row");
+    }
+    validateObservation(input.observation);
+    if (input.event.kind === PRESENCE_KINDS.PRESENT &&
+        (input.event.value.eventKey.length === EMPTY_STRING_LENGTH_ZERO ||
+            input.event.value.payloadHash.length === EMPTY_STRING_LENGTH_ZERO)) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "event key and payload hash are required when an event is present");
+    }
+    if (input.event.kind === PRESENCE_KINDS.ABSENT &&
+        input.evaluation.outcome !== ROW_OUTCOMES.QUARANTINE) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "only quarantined rows may omit an event identity");
+    }
+    if (input.evaluation.outcome === ROW_OUTCOMES.QUARANTINE &&
+        input.canonical.kind === PRESENCE_KINDS.PRESENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "a quarantined row cannot carry a canonical mutation");
+    }
+    const needsCanonical = input.evaluation.acceptedFields.length > 0 ||
+        (row.operation === ROW_OPERATIONS.DELETE &&
+            input.evaluation.outcome === ROW_OUTCOMES.ACCEPTED);
+    const hasCanonical = input.canonical.kind === PRESENCE_KINDS.PRESENT;
+    if (needsCanonical !== hasCanonical) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "accepted canonical work must have exactly one canonical mutation");
+    }
+    if (hasCanonical) {
+        validateCanonicalMutation(input.canonical.value, row.operation, input.evaluation);
+    }
+    validateEffects(input.effects, input.batch);
+    if (hasCanonical)
+        validateEffects(input.canonical.value.commit.effects, input.batch);
+}
+/** Requires a valid row index and returns its observed row. */
+export function requireBatchRow(batch, rowIndex) {
+    if (!Number.isSafeInteger(rowIndex) || rowIndex < 0) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "row index must be a non-negative safe integer");
+    }
+    const row = batch.rows[rowIndex];
+    if (row === undefined) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "row index is outside the observed batch");
+    }
+    return row;
+}
+/** Ensures the observed physical projection is an enabled registry member. */
+export function ensureRegisteredProjection(db, batch, physicalSheetId) {
+    const row = db.prepare(READ_REGISTERED_PROJECTION_SQL)
+        .get(physicalSheetId);
+    if (row === undefined ||
+        row.logical_sheet_id !== batch.sheetId ||
+        row.projection !== batch.projection ||
+        row.enabled !== 1) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "physical sheet is not an enabled projection of the observed logical sheet");
+    }
+    const logical = db.prepare(READ_LOGICAL_SHEET_ENABLED_SQL)
+        .get(batch.sheetId);
+    if (logical === undefined || logical.enabled !== 1) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "logical sheet is not enabled");
+    }
+}
+/**
+ * Ensures the observed projection is enabled through the active async SQL
+ * context. This keeps registry validation in the same transaction as the
+ * observation receipt it protects.
+ */
+export async function ensureRegisteredProjectionWithSql(sql, batch, physicalSheetId) {
+    const row = await sql.get(READ_REGISTERED_PROJECTION_SQL, [
+        physicalSheetId,
+    ]);
+    if (row === undefined ||
+        row.logical_sheet_id !== batch.sheetId ||
+        row.projection !== batch.projection ||
+        row.enabled !== 1) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "physical sheet is not an enabled projection of the observed logical sheet");
+    }
+    const logical = await sql.get(READ_LOGICAL_SHEET_ENABLED_SQL, [
+        batch.sheetId,
+    ]);
+    if (logical === undefined || logical.enabled !== 1) {
+        throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "logical sheet is not enabled");
+    }
+}
+/** Ensures every generated effect targets an enabled registered projection. */
+export function ensureEffectsTargetRegistered(db, logicalSheetId, effects) {
+    for (const effect of effects) {
+        const target = db.prepare(READ_REGISTERED_PROJECTION_SQL)
+            .get(effect.physicalSheetId);
+        if (target === undefined ||
+            target.logical_sheet_id !== logicalSheetId ||
+            target.projection !== effect.projection ||
+            target.enabled !== 1) {
+            throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "effect targets an unregistered physical projection");
+        }
+    }
+}
+/** Validates every generated effect target through the active async SQL context. */
+export async function ensureEffectsTargetRegisteredWithSql(sql, logicalSheetId, effects) {
+    for (const effect of effects) {
+        const target = await sql.get(READ_REGISTERED_PROJECTION_SQL, [
+            effect.physicalSheetId,
+        ]);
+        if (target === undefined ||
+            target.logical_sheet_id !== logicalSheetId ||
+            target.projection !== effect.projection ||
+            target.enabled !== 1) {
+            throw new StorageError(STORAGE_ERROR_CODES.SYNC_REGISTRY_TARGET_UNAVAILABLE, "effect targets an unregistered physical projection");
+        }
+    }
+}
+function validateObservation(observation) {
+    if (observation.observationId.length === EMPTY_STRING_LENGTH_ZERO ||
+        observation.observationKey.length === EMPTY_STRING_LENGTH_ZERO ||
+        observation.payloadJson.length === EMPTY_STRING_LENGTH_ZERO ||
+        observation.payloadHash.length === EMPTY_STRING_LENGTH_ZERO ||
+        observation.ingressActorId.length === EMPTY_STRING_LENGTH_ZERO) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "observation identity, payload, and ingress actor are required");
+    }
+    for (const [name, value] of [["detectedAt", observation.detectedAt], ["receivedAt", observation.receivedAt]]) {
+        if (!Number.isSafeInteger(value) || value < 0) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `${name} must be a non-negative safe integer`);
+        }
+    }
+    if (observation.editorActorSource === "google_active_user" &&
+        observation.editorActorId.kind === PRESENCE_KINDS.ABSENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "a verified editor source requires an editor actor ID");
+    }
+    if (observation.editorActorSource === "unavailable" &&
+        observation.editorActorId.kind === PRESENCE_KINDS.PRESENT) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "an unavailable editor source cannot claim an editor actor ID");
+    }
+}
+function validateCanonicalMutation(mutation, operation, evaluation) {
+    if (mutation.commitId.length === EMPTY_STRING_LENGTH_ZERO) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "canonical commit ID is required");
+    }
+    const expectedKind = operation === ROW_OPERATIONS.INSERT
+        ? ROW_OPERATIONS.INSERT
+        : operation === ROW_OPERATIONS.DELETE
+            ? ROW_OPERATIONS.DELETE
+            : ROW_OPERATIONS.UPDATE;
+    if (mutation.commit.kind !== expectedKind) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `observed ${operation} requires a ${expectedKind} canonical mutation`);
+    }
+    if (mutation.commit.kind !== ROW_OPERATIONS.DELETE) {
+        const acceptedByName = new Map(evaluation.acceptedFields.map((field) => [field.fieldName, field]));
+        if (acceptedByName.size !== mutation.commit.fields.length) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "canonical fields must exactly match accepted fields");
+        }
+        for (const field of mutation.commit.fields) {
+            const accepted = acceptedByName.get(field.fieldName);
+            if (accepted === undefined || stableHash(field.value) !== stableHash(accepted.nextValue)) {
+                throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `canonical field ${field.fieldName} does not match the core result`);
+            }
+            const expectedRevision = mutation.commit.kind === ROW_OPERATIONS.INSERT
+                ? { kind: APPLICABILITY_KINDS.NOT_APPLICABLE }
+                : { kind: APPLICABILITY_KINDS.APPLICABLE, value: accepted.nextFieldRevision - 1 };
+            if (!sameApplicability(field.expectedFieldRevision, expectedRevision)) {
+                throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, `canonical field ${field.fieldName} has an unexpected base revision`);
+            }
+        }
+    }
+    const keyNames = new Set();
+    for (const change of mutation.businessKeyChanges) {
+        if (change.fieldName.length === EMPTY_STRING_LENGTH_ZERO ||
+            keyNames.has(change.fieldName)) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "business key changes must have unique non-empty field names");
+        }
+        keyNames.add(change.fieldName);
+        if ((change.previousNormalizedKey.kind === PRESENCE_KINDS.PRESENT &&
+            change.previousNormalizedKey.value.length === EMPTY_STRING_LENGTH_ZERO) ||
+            (change.nextNormalizedKey.kind === PRESENCE_KINDS.PRESENT &&
+                change.nextNormalizedKey.value.length === EMPTY_STRING_LENGTH_ZERO)) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "business key hashes cannot be empty strings");
+        }
+    }
+}
+function sameApplicability(left, right) {
+    if (left.kind !== right.kind)
+        return false;
+    if (left.kind === APPLICABILITY_KINDS.NOT_APPLICABLE)
+        return true;
+    return right.kind === APPLICABILITY_KINDS.APPLICABLE && left.value === right.value;
+}
+function validateEffects(effects, batch) {
+    for (const effect of effects) {
+        if (effect.logicalSheetId !== batch.sheetId ||
+            effect.physicalSheetId.length === EMPTY_STRING_LENGTH_ZERO ||
+            effect.projection.length === EMPTY_STRING_LENGTH_ZERO) {
+            throw new StorageError(STORAGE_ERROR_CODES.INVALID_OBSERVATION_INPUT, "effect must target a registered physical projection of the logical sheet");
+        }
+    }
+}
+//# sourceMappingURL=observationValidation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationValidation.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationValidation.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,EACL,mBAAmB,EACnB,cAAc,GACf,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,0CAA0C,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAUpE,MAAM,8BAA8B,GAAG;;;;CAItC,CAAC;AAEF,MAAM,8BAA8B,GAAG;;;;CAItC,CAAC;AAYF,+EAA+E;AAC/E,MAAM,UAAU,+BAA+B,CAAC,KAA8B;IAC5E,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,wBAAwB,EAAE,CAAC;QAC9D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,+BAA+B,CAChC,CAAC;IACJ,CAAC;IACD,IACE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,wBAAwB;QACvD,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,wBAAwB,EACvD,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACvD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;QAC7C,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,wBAAwB;YAC7D,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,wBAAwB,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QAC5C,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,EAAE,CAAC;QACvD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU;QACtD,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QAClD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,qDAAqD,CACtD,CAAC;IACJ,CAAC;IAED,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,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,CAAC;IACrE,IAAI,cAAc,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,yBAAyB,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACpF,CAAC;IACD,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,YAAY;QAAE,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;AACvF,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,eAAe,CAAC,KAAwB,EAAE,QAAgB;IACxE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,+CAA+C,CAChD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,yCAAyC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,0BAA0B,CACxC,EAAoB,EACpB,KAAwB,EACxB,eAAuB;IAEvB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACnD,GAAG,CAA0B,eAAe,CAAC,CAAC;IACjD,IACE,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,gBAAgB,KAAK,KAAK,CAAC,OAAO;QACtC,GAAG,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACnC,GAAG,CAAC,OAAO,KAAK,CAAC,EACjB,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvD,GAAG,CAAyB,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,8BAA8B,CAC/B,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,GAAgB,EAChB,KAAwB,EACxB,eAAuB;IAEvB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,GAAG,CAA0B,8BAA8B,EAAE;QACjF,eAAe;KAChB,CAAC,CAAC;IACH,IACE,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,gBAAgB,KAAK,KAAK,CAAC,OAAO;QACtC,GAAG,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACnC,GAAG,CAAC,OAAO,KAAK,CAAC,EACjB,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,GAAG,CAAyB,8BAA8B,EAAE;QACpF,KAAK,CAAC,OAAO;KACd,CAAC,CAAC;IACH,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,8BAA8B,CAC/B,CAAC;IACJ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,6BAA6B,CAC3C,EAAoB,EACpB,cAAsB,EACtB,OAA6B;IAE7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC;aACtD,GAAG,CAA0B,MAAM,CAAC,eAAe,CAAC,CAAC;QACxD,IACE,MAAM,KAAK,SAAS;YACpB,MAAM,CAAC,gBAAgB,KAAK,cAAc;YAC1C,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;YACvC,MAAM,CAAC,OAAO,KAAK,CAAC,EACpB,CAAC;YACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,oDAAoD,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,GAAgB,EAChB,cAAsB,EACtB,OAA6B;IAE7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAA0B,8BAA8B,EAAE;YACpF,MAAM,CAAC,eAAe;SACvB,CAAC,CAAC;QACH,IACE,MAAM,KAAK,SAAS;YACpB,MAAM,CAAC,gBAAgB,KAAK,cAAc;YAC1C,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;YACvC,MAAM,CAAC,OAAO,KAAK,CAAC,EACpB,CAAC;YACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,gCAAgC,EACpD,oDAAoD,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAoC;IAC/D,IACE,WAAW,CAAC,aAAa,CAAC,MAAM,KAAK,wBAAwB;QAC7D,WAAW,CAAC,cAAc,CAAC,MAAM,KAAK,wBAAwB;QAC9D,WAAW,CAAC,WAAW,CAAC,MAAM,KAAK,wBAAwB;QAC3D,WAAW,CAAC,WAAW,CAAC,MAAM,KAAK,wBAAwB;QAC3D,WAAW,CAAC,cAAc,CAAC,MAAM,KAAK,wBAAwB,EAC9D,CAAC;QACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC,UAAU,CAAC,CAAU,EAAE,CAAC;QACtH,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,GAAG,IAAI,sCAAsC,CAC9C,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,oBAAoB;QACxD,WAAW,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,IAAI,WAAW,CAAC,iBAAiB,KAAK,aAAa;QACjD,WAAW,CAAC,aAAa,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;QAC5D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,8DAA8D,CAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,QAA8B,EAC9B,SAAiB,EACjB,UAAiD;IAEjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,wBAAwB,EAAE,CAAC;QAC1D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,iCAAiC,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,SAAS,KAAK,cAAc,CAAC,MAAM;QACtD,CAAC,CAAC,cAAc,CAAC,MAAM;QACvB,CAAC,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;YACnC,CAAC,CAAC,cAAc,CAAC,MAAM;YACvB,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC;IAC5B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,YAAY,SAAS,eAAe,YAAY,qBAAqB,CACtE,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QACnD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACnG,IAAI,cAAc,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC1D,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,qDAAqD,CACtD,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzF,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,mBAAmB,KAAK,CAAC,SAAS,iCAAiC,CACpE,CAAC;YACJ,CAAC;YACD,MAAM,gBAAgB,GAA0B,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;gBAC5F,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,cAAc,EAAE;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;YACpF,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,qBAAqB,EAAE,gBAAgB,CAAC,EAAE,CAAC;gBACtE,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,mBAAmB,KAAK,CAAC,SAAS,kCAAkC,CACrE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACjD,IACE,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,wBAAwB;YACpD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAC9B,CAAC;YACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,6DAA6D,CAC9D,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,IACE,CAAC,MAAM,CAAC,qBAAqB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;YAC3D,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,MAAM,KAAK,wBAAwB,CAAC;YACzE,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,KAAK,cAAc,CAAC,OAAO;gBACvD,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,MAAM,KAAK,wBAAwB,CAAC,EACrE,CAAC;YACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,6CAA6C,CAC9C,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAI,IAAsB,EAAE,KAAuB;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,KAAK,CAAC,IAAI,KAAK,mBAAmB,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;AACrF,CAAC;AAED,SAAS,eAAe,CAAC,OAA6B,EAAE,KAAwB;IAC9E,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IACE,MAAM,CAAC,cAAc,KAAK,KAAK,CAAC,OAAO;YACvC,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,wBAAwB;YAC1D,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,wBAAwB,EACrD,CAAC;YACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,yBAAyB,EAC7C,0EAA0E,CAC3E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,28 @@
+/**
+ * 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 { type DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import { type FencingContext } from "../../sync/shared/writerLease.js";
+import { type PersistObservedRowInput, type PersistObservedRowResult } from "./observationTypes.js";
+import type { SqlExecutor, SqlStorageAdapter } from "../../../../adapter/persistence/contracts/sql.js";
+export type { ObservationAttemptInput, EventIdentityInput, BusinessKeyChange, CanonicalRowMutation, PersistObservedRowInput, PersistObservedRowResult, } from "./observationTypes.js";
+/**
+ * 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 declare function persistObservedRow(db: DatabaseSyncLike, fence: FencingContext, input: PersistObservedRowInput): PersistObservedRowResult;
+/**
+ * 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 declare function persistObservedRowWithSql(sql: SqlExecutor, fence: FencingContext, input: PersistObservedRowInput): Promise<PersistObservedRowResult>;
+/** Persists one observed row in an adapter-owned transaction. */
+export declare function persistObservedRowWithAdapter(storage: SqlStorageAdapter, fence: FencingContext, input: PersistObservedRowInput): Promise<PersistObservedRowResult>;
+//# sourceMappingURL=observationWriter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"observationWriter.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/observation/observationWriter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiBH,OAAO,EAA4B,KAAK,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAE/F,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,kCAAkC,CAAC;AAqC1C,OAAO,EAGL,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC9B,MAAM,uBAAuB,CAAC;AAS/B,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kDAAkD,CAAC;AAUvG,YAAY,EACV,uBAAuB,EACvB,kBAAkB,EAClB,iBAAiB,EACjB,oBAAoB,EACpB,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,uBAAuB,CAAC;AAE/B;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,GAC7B,wBAAwB,CAmM1B;AAED;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,wBAAwB,CAAC,CAwNnC;AAED,iEAAiE;AACjE,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,wBAAwB,CAAC,CAEnC"}