hikoutei 0.2.0

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

@@ -0,0 +1,118 @@
+/** Status, command, row, and SQL-result contracts for resolution persistence. */
+import type { ResolutionCommand } from "../../../../domain/index.js";
+import type { NewEffect } from "../../sync/outbound/effectOutbox.js";
+/** Runtime values for the durable resolution-command lifecycle. */
+export declare const RESOLUTION_COMMAND_STATUSES: {
+    readonly PROCESSING: "processing";
+    readonly APPLIED: "applied";
+    readonly STALE: "stale";
+    readonly REJECTED: "rejected";
+    readonly FAILED: "failed";
+};
+/** Closed set of statuses stored for a resolution command. */
+export type ResolutionCommandStatus = (typeof RESOLUTION_COMMAND_STATUSES)[keyof typeof RESOLUTION_COMMAND_STATUSES];
+/** Runtime values for results returned by the resolution writer. */
+export declare const PERSIST_RESOLUTION_RESULT_KINDS: {
+    readonly FENCED_OUT: "fenced_out";
+    readonly APPLIED: "applied";
+    readonly STALE: "stale";
+    readonly REJECTED: "rejected";
+    readonly DUPLICATE: "duplicate";
+};
+/** Closed set of resolution-writer result kinds. */
+export type PersistResolutionCommandResultKind = (typeof PERSIST_RESOLUTION_RESULT_KINDS)[keyof typeof PERSIST_RESOLUTION_RESULT_KINDS];
+/** Input required to durably process one trusted `acknowledge_system` request. */
+export interface PersistResolutionCommandInput {
+    readonly logicalSheetId: string;
+    readonly command: ResolutionCommand;
+    /** Durable transaction identity for effects created by this resolution. */
+    readonly commitId: string;
+    /** Effects to materialize after a successful acknowledge_system transition. */
+    readonly effects: readonly NewEffect[];
+    /**
+     * Effects to materialize when the request is stale. This normally consumes a
+     * checked control cell while projecting NEEDS_REBASE rather than retrying an
+     * old acknowledgement forever.
+     */
+    readonly staleEffects?: readonly NewEffect[];
+    /** Effects to materialize when a trusted request is rejected. */
+    readonly rejectedEffects?: readonly NewEffect[];
+    /**
+     * Effects to materialize when a replay reaches an already terminal command.
+     * This normally resets a still-checked one-shot control without reopening or
+     * reapplying the canonical resolution.
+     */
+    readonly duplicateEffects?: readonly NewEffect[];
+}
+/** Terminal or replay-visible result of a resolution command transaction. */
+export type PersistResolutionCommandResult = {
+    readonly kind: typeof PERSIST_RESOLUTION_RESULT_KINDS.FENCED_OUT;
+} | {
+    readonly kind: typeof PERSIST_RESOLUTION_RESULT_KINDS.APPLIED;
+    readonly commandId: string;
+    readonly conflictId: string;
+} | {
+    readonly kind: typeof PERSIST_RESOLUTION_RESULT_KINDS.STALE;
+    readonly commandId: string;
+    readonly conflictId: string;
+} | {
+    readonly kind: typeof PERSIST_RESOLUTION_RESULT_KINDS.REJECTED;
+    readonly commandId: string;
+    readonly reason: string;
+} | {
+    readonly kind: typeof PERSIST_RESOLUTION_RESULT_KINDS.DUPLICATE;
+    readonly commandId: string;
+    readonly status: ResolutionCommandStatus;
+};
+export interface ConflictRow {
+    readonly conflict_id: string;
+    readonly conflict_group_id: string | null;
+    readonly event_id: string;
+    readonly row_binding_id: string;
+    readonly entity_id: string;
+    readonly field_name: string;
+    readonly user_value: string;
+    readonly user_base_revision: number;
+    readonly canonical_value_at_detection: string;
+    readonly canonical_revision_at_detection: number;
+    readonly current_canonical_value: string;
+    readonly current_canonical_revision: number;
+    readonly candidate_epoch: number;
+    readonly status: string;
+    readonly resolution_command_id: string | null;
+}
+export interface CommandRow {
+    readonly command_id: string;
+    readonly request_key: string;
+    readonly action: string;
+    readonly actor_id: string;
+    readonly role: string;
+    readonly target_conflict_id: string;
+    readonly expected_revision: number;
+    readonly active_candidate_hash: string;
+    readonly expected_candidate_epoch: number;
+    readonly payload_hash: string;
+    readonly status: ResolutionCommandStatus;
+}
+export interface ActiveCandidatePointer {
+    readonly physical_sheet_id: string;
+    readonly projection: string;
+    readonly candidate_epoch: number;
+    readonly active_candidate_hash: string;
+}
+export interface EffectDedupeRow {
+    readonly effect_kind: string;
+    readonly commit_id: string;
+    readonly logical_sheet_id: string;
+    readonly physical_sheet_id: string;
+    readonly projection: string;
+    readonly target_kind: string;
+    readonly target_id: string;
+    readonly payload_hash: string;
+}
+export interface RegisteredProjectionRow {
+    readonly logical_sheet_id: string;
+    readonly projection: string;
+    readonly enabled: number;
+}
+//# sourceMappingURL=resolutionWriterContracts.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterContracts.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterContracts.ts"],"names":[],"mappings":"AAAA,iFAAiF;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAErE,mEAAmE;AACnE,eAAO,MAAM,2BAA2B;;;;;;CAM9B,CAAC;AAEX,8DAA8D;AAC9D,MAAM,MAAM,uBAAuB,GACjC,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,OAAO,2BAA2B,CAAC,CAAC;AAEjF,oEAAoE;AACpE,eAAO,MAAM,+BAA+B;;;;;;CAMlC,CAAC;AAEX,oDAAoD;AACpD,MAAM,MAAM,kCAAkC,GAC5C,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,OAAO,+BAA+B,CAAC,CAAC;AAEzF,kFAAkF;AAClF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,iEAAiE;IACjE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;CAClD;AAED,6EAA6E;AAC7E,MAAM,MAAM,8BAA8B,GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,+BAA+B,CAAC,UAAU,CAAA;CAAE,GACpE;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,+BAA+B,CAAC,OAAO,CAAC;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,+BAA+B,CAAC,KAAK,CAAC;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,+BAA+B,CAAC,QAAQ,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,+BAA+B,CAAC,SAAS,CAAC;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AAEN,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,+BAA+B,EAAE,MAAM,CAAC;IACjD,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CAC1C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B"}

package/dist/infrastructure/storage/state/resolution/resolutionWriterContracts.js

@@ -0,0 +1,18 @@
+/** Status, command, row, and SQL-result contracts for resolution persistence. */
+/** Runtime values for the durable resolution-command lifecycle. */
+export const RESOLUTION_COMMAND_STATUSES = {
+    PROCESSING: "processing",
+    APPLIED: "applied",
+    STALE: "stale",
+    REJECTED: "rejected",
+    FAILED: "failed",
+};
+/** Runtime values for results returned by the resolution writer. */
+export const PERSIST_RESOLUTION_RESULT_KINDS = {
+    FENCED_OUT: "fenced_out",
+    APPLIED: "applied",
+    STALE: "stale",
+    REJECTED: "rejected",
+    DUPLICATE: "duplicate",
+};
+//# sourceMappingURL=resolutionWriterContracts.js.map

package/dist/infrastructure/storage/state/resolution/resolutionWriterContracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterContracts.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterContracts.ts"],"names":[],"mappings":"AAAA,iFAAiF;AAKjF,mEAAmE;AACnE,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,UAAU,EAAE,YAAY;IACxB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,UAAU;IACpB,MAAM,EAAE,QAAQ;CACR,CAAC;AAMX,oEAAoE;AACpE,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,UAAU,EAAE,YAAY;IACxB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,OAAO;IACd,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,WAAW;CACd,CAAC"}

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

@@ -0,0 +1,23 @@
+/** Validation and fencing helpers shared by the resolution writer paths. */
+import type { ConflictStatus, NormalizedCell, Presence } from "../../../../domain/index.js";
+import { StorageError } from "../../errors.js";
+import { type FencingContext } from "../../sync/shared/writerLease.js";
+import type { DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import type { SqlExecutor } from "../../../../adapter/persistence/contracts/sql.js";
+/** Parses and validates a normalized cell stored as serialized JSON. */
+export declare function parseNormalizedCell(serialized: string, fieldName: string): NormalizedCell;
+/** Promotes a stored status into the domain's closed conflict-status union. */
+export declare function requireConflictStatus(value: string): ConflictStatus;
+/** Converts a nullable SQL column into the explicit internal presence contract. */
+export declare function fromSqlNullable<T>(value: T | null): Presence<T>;
+/** Requires the synchronous writer fence to remain current before a write. */
+export declare function assertCurrentFence(db: DatabaseSyncLike, fence: FencingContext): void;
+/** Requires the writer fence to remain current in the active async SQL transaction. */
+export declare function assertCurrentFenceWithSql(sql: SqlExecutor, fence: FencingContext): Promise<void>;
+/** Returns the common fence parameter tuple used by resolution SQL statements. */
+export declare function fenceParameters(fence: FencingContext): readonly [string, number, string, number];
+/** Signals that a resolution transaction lost its writer ownership. */
+export declare class FenceLostError extends StorageError {
+    constructor();
+}
+//# sourceMappingURL=resolutionWriterHelpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterHelpers.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterHelpers.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAS5E,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EACd,QAAQ,EACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAuB,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kDAAkD,CAAC;AAEpF,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,cAAc,CAgDzF;AAQD,+EAA+E;AAC/E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAYnE;AAED,mFAAmF;AACnF,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAI/D;AAED,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,cAAc,GAAG,IAAI,CAEpF;AAED,uFAAuF;AACvF,wBAAsB,yBAAyB,CAC7C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,GACpB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,kFAAkF;AAClF,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,GACpB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAE3C;AAED,uEAAuE;AACvE,qBAAa,cAAe,SAAQ,YAAY;;CAI/C"}

package/dist/infrastructure/storage/state/resolution/resolutionWriterHelpers.js

@@ -0,0 +1,84 @@
+/** Validation and fencing helpers shared by the resolution writer paths. */
+import { JAVASCRIPT_TYPE_NAMES, NORMALIZED_CELL_KINDS, } from "../../../../shared/encoding/constants.js";
+import { isJavaScriptType } from "../../../../shared/encoding/typeGuards.js";
+import { CONFLICT_STATUSES } from "../../../../domain/model/constants.js";
+import { PRESENCE_KINDS } from "../../../../shared/state/constants.js";
+import { STORAGE_ERROR_CODES, StorageError } from "../../errors.js";
+import { isFencingValid, isFencingValidWithSql, } from "../../sync/shared/writerLease.js";
+/** Parses and validates a normalized cell stored as serialized JSON. */
+export function parseNormalizedCell(serialized, fieldName) {
+    let value;
+    try {
+        value = JSON.parse(serialized);
+    }
+    catch {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_STORED_CONFLICT, `stored ${fieldName} is not valid JSON`);
+    }
+    if (value === null)
+        return null;
+    if (typeof value !== "object" || Array.isArray(value)) {
+        throw new StorageError(STORAGE_ERROR_CODES.INVALID_STORED_CONFLICT, `stored ${fieldName} is not a normalized cell`);
+    }
+    const cell = value;
+    if (cell.kind === NORMALIZED_CELL_KINDS.STRING &&
+        isJavaScriptType(cell.value, JAVASCRIPT_TYPE_NAMES.STRING)) {
+        return { kind: NORMALIZED_CELL_KINDS.STRING, value: cell.value };
+    }
+    if (cell.kind === NORMALIZED_CELL_KINDS.NUMBER &&
+        isJavaScriptType(cell.value, JAVASCRIPT_TYPE_NAMES.NUMBER) &&
+        Number.isFinite(cell.value)) {
+        return { kind: NORMALIZED_CELL_KINDS.NUMBER, value: cell.value };
+    }
+    if (cell.kind === NORMALIZED_CELL_KINDS.BOOLEAN &&
+        isJavaScriptType(cell.value, JAVASCRIPT_TYPE_NAMES.BOOLEAN)) {
+        return { kind: NORMALIZED_CELL_KINDS.BOOLEAN, value: cell.value };
+    }
+    if (cell.kind === NORMALIZED_CELL_KINDS.DATE &&
+        isJavaScriptType(cell.value, JAVASCRIPT_TYPE_NAMES.STRING) &&
+        isCanonicalDate(cell.value)) {
+        return { kind: NORMALIZED_CELL_KINDS.DATE, value: cell.value };
+    }
+    throw new StorageError(STORAGE_ERROR_CODES.INVALID_STORED_CONFLICT, `stored ${fieldName} is not a normalized cell`);
+}
+function isCanonicalDate(value) {
+    if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/.test(value))
+        return false;
+    const timestamp = Date.parse(value);
+    return Number.isFinite(timestamp) && new Date(timestamp).toISOString() === value;
+}
+/** Promotes a stored status into the domain's closed conflict-status union. */
+export function requireConflictStatus(value) {
+    if (value === CONFLICT_STATUSES.OPEN ||
+        value === CONFLICT_STATUSES.NEEDS_REBASE ||
+        value === CONFLICT_STATUSES.RESOLVED) {
+        return value;
+    }
+    throw new StorageError(STORAGE_ERROR_CODES.INVALID_STORED_CONFLICT, `stored conflict has invalid status ${value}`);
+}
+/** Converts a nullable SQL column into the explicit internal presence contract. */
+export function fromSqlNullable(value) {
+    return value === null
+        ? { kind: PRESENCE_KINDS.ABSENT }
+        : { kind: PRESENCE_KINDS.PRESENT, value };
+}
+/** Requires the synchronous writer fence to remain current before a write. */
+export function assertCurrentFence(db, fence) {
+    if (!isFencingValid(db, fence))
+        throw new FenceLostError();
+}
+/** Requires the writer fence to remain current in the active async SQL transaction. */
+export async function assertCurrentFenceWithSql(sql, fence) {
+    if (!(await isFencingValidWithSql(sql, fence)))
+        throw new FenceLostError();
+}
+/** Returns the common fence parameter tuple used by resolution SQL statements. */
+export function fenceParameters(fence) {
+    return [fence.role, fence.writerEpoch, fence.fencingToken, fence.now];
+}
+/** Signals that a resolution transaction lost its writer ownership. */
+export class FenceLostError extends StorageError {
+    constructor() {
+        super(STORAGE_ERROR_CODES.STALE_WRITER_FENCE, "writer fencing is stale or expired");
+    }
+}
+//# sourceMappingURL=resolutionWriterHelpers.js.map

package/dist/infrastructure/storage/state/resolution/resolutionWriterHelpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterHelpers.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterHelpers.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EACL,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAMvE,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpE,OAAO,EACL,cAAc,EACd,qBAAqB,GAEtB,MAAM,kCAAkC,CAAC;AAI1C,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,SAAiB;IACvE,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAY,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,uBAAuB,EAC3C,UAAU,SAAS,oBAAoB,CACxC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,uBAAuB,EAC3C,UAAU,SAAS,2BAA2B,CAC/C,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAA8D,CAAC;IAC5E,IACE,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,MAAM;QAC1C,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAC1D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACnE,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,MAAM;QAC1C,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC;QAC1D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACnE,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,OAAO;QAC3C,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,qBAAqB,CAAC,OAAO,CAAC,EAC3D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACpE,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,qBAAqB,CAAC,IAAI;QACxC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC;QAC1D,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAC3B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACjE,CAAC;IACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,uBAAuB,EAC3C,UAAU,SAAS,2BAA2B,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,IAAI,CAAC,+CAA+C,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;AACnF,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,KAAa;IACjD,IACE,KAAK,KAAK,iBAAiB,CAAC,IAAI;QAChC,KAAK,KAAK,iBAAiB,CAAC,YAAY;QACxC,KAAK,KAAK,iBAAiB,CAAC,QAAQ,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,YAAY,CACpB,mBAAmB,CAAC,uBAAuB,EAC3C,sCAAsC,KAAK,EAAE,CAC9C,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAI,KAAe;IAChD,OAAO,KAAK,KAAK,IAAI;QACnB,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE;QACjC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,EAAoB,EAAE,KAAqB;IAC5E,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC7D,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,GAAgB,EAChB,KAAqB;IAErB,IAAI,CAAC,CAAC,MAAM,qBAAqB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,EAAE,CAAC;AAC7E,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAC7B,KAAqB;IAErB,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,uEAAuE;AACvE,MAAM,OAAO,cAAe,SAAQ,YAAY;IAC9C;QACE,KAAK,CAAC,mBAAmB,CAAC,kBAAkB,EAAE,oCAAoC,CAAC,CAAC;IACtF,CAAC;CACF"}

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

@@ -0,0 +1,16 @@
+/** SQL statements for the fenced resolution-command state machine. */
+export declare const FENCE_EXISTS_SQL = "\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n";
+export declare const FIND_EXISTING_COMMAND_SQL = "\n  SELECT command_id, request_key, action, actor_id, role, target_conflict_id,\n         expected_revision, active_candidate_hash, expected_candidate_epoch,\n         payload_hash, status\n  FROM resolution_command\n  WHERE command_id = ? OR request_key = ?\n";
+export declare const READ_CONFLICT_SQL = "\n  SELECT conflict_id, conflict_group_id, event_id, row_binding_id, entity_id, field_name,\n         user_value, user_base_revision, canonical_value_at_detection,\n         canonical_revision_at_detection, current_canonical_value,\n         current_canonical_revision, candidate_epoch, status, resolution_command_id\n  FROM sync_conflict\n  WHERE logical_sheet_id = ? AND conflict_id = ?\n";
+export declare const READ_ACTIVE_CANDIDATE_POINTER_SQL = "\n  SELECT physical_sheet_id, projection, candidate_epoch, active_candidate_hash\n  FROM sheet_visible_field_state\n  WHERE row_binding_id = ? AND field_name = ?\n    AND active_candidate_conflict_id = ?\n    AND active_candidate_hash IS NOT NULL\n";
+export declare const INSERT_PROCESSING_COMMAND_SQL = "\n  INSERT INTO resolution_command (\n    command_id, request_key, action, actor_id, role, target_conflict_id,\n    expected_revision, active_candidate_hash, expected_candidate_epoch,\n    payload_hash, status, issued_at\n  )\n  SELECT ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, 'processing', ?\n  WHERE EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const MARK_CONFLICT_RESOLVED_SQL = "\n  UPDATE sync_conflict\n  SET status = 'RESOLVED', resolution_command_id = ?, updated_at = ?\n  WHERE conflict_id = ? AND status IN ('OPEN', 'NEEDS_REBASE')\n    AND current_canonical_revision = ? AND candidate_epoch = ?\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const CLEAR_ACTIVE_CANDIDATE_POINTER_SQL = "\n  UPDATE sheet_visible_field_state\n  SET active_candidate_conflict_id = NULL, active_candidate_hash = NULL,\n      candidate_epoch = candidate_epoch + 1\n  WHERE physical_sheet_id = ? AND projection = ?\n    AND row_binding_id = ? AND field_name = ?\n    AND active_candidate_conflict_id = ? AND candidate_epoch = ?\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const ADVANCE_ROW_BINDING_CANDIDATE_EPOCH_SQL = "\n  UPDATE row_binding\n  SET candidate_epoch = CASE\n    WHEN candidate_epoch <= ? THEN ?\n    ELSE candidate_epoch\n  END\n  WHERE row_binding_id = ? AND logical_sheet_id = ?\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const MARK_COMMAND_APPLIED_SQL = "\n  UPDATE resolution_command\n  SET status = 'applied', applied_commit_id = ?\n  WHERE command_id = ? AND status = 'processing'\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const MARK_CONFLICT_STALE_SQL = "\n  UPDATE sync_conflict\n  SET status = ?, updated_at = ?\n  WHERE conflict_id = ? AND status IN ('OPEN', 'NEEDS_REBASE')\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const MARK_COMMAND_STALE_SQL = "\n  UPDATE resolution_command\n  SET status = 'stale'\n  WHERE command_id = ? AND status = 'processing'\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const MARK_COMMAND_REJECTED_SQL = "\n  UPDATE resolution_command\n  SET status = 'rejected'\n  WHERE command_id = ? AND status = 'processing'\n    AND EXISTS (\n  SELECT 1 FROM writer_lease\n  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?\n)\n";
+export declare const READ_EFFECT_DEDUPE_SQL = "\n  SELECT effect_kind, commit_id, logical_sheet_id, physical_sheet_id,\n         projection, target_kind, target_id, payload_hash\n  FROM sheet_effect_outbox\n  WHERE effect_dedupe_key = ?\n";
+export declare const READ_REGISTERED_PROJECTION_SQL = "\n  SELECT logical_sheet_id, projection, enabled\n  FROM physical_sheet_registry\n  WHERE physical_sheet_id = ?\n";
+//# sourceMappingURL=resolutionWriterSql.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterSql.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterSql.ts"],"names":[],"mappings":"AAAA,sEAAsE;AAEtE,eAAO,MAAM,gBAAgB,sHAG5B,CAAC;AAEF,eAAO,MAAM,yBAAyB,yQAMrC,CAAC;AAEF,eAAO,MAAM,iBAAiB,2YAO7B,CAAC;AAEF,eAAO,MAAM,iCAAiC,6PAM7C,CAAC;AAEF,eAAO,MAAM,6BAA6B,oaAQzC,CAAC;AAEF,eAAO,MAAM,0BAA0B,yWAMtC,CAAC;AAEF,eAAO,MAAM,kCAAkC,ycAQ9C,CAAC;AAEF,eAAO,MAAM,uCAAuC,2TAQnD,CAAC;AAEF,eAAO,MAAM,wBAAwB,2QAKpC,CAAC;AAEF,eAAO,MAAM,uBAAuB,qQAKnC,CAAC;AAEF,eAAO,MAAM,sBAAsB,kPAKlC,CAAC;AAEF,eAAO,MAAM,yBAAyB,qPAKrC,CAAC;AAEF,eAAO,MAAM,sBAAsB,oMAKlC,CAAC;AAEF,eAAO,MAAM,8BAA8B,sHAI1C,CAAC"}

package/dist/infrastructure/storage/state/resolution/resolutionWriterSql.js

@@ -0,0 +1,97 @@
+/** SQL statements for the fenced resolution-command state machine. */
+export const FENCE_EXISTS_SQL = `
+  SELECT 1 FROM writer_lease
+  WHERE role = ? AND writer_epoch = ? AND fencing_token = ? AND lease_until > ?
+`;
+export const FIND_EXISTING_COMMAND_SQL = `
+  SELECT command_id, request_key, action, actor_id, role, target_conflict_id,
+         expected_revision, active_candidate_hash, expected_candidate_epoch,
+         payload_hash, status
+  FROM resolution_command
+  WHERE command_id = ? OR request_key = ?
+`;
+export const READ_CONFLICT_SQL = `
+  SELECT conflict_id, conflict_group_id, event_id, row_binding_id, entity_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, resolution_command_id
+  FROM sync_conflict
+  WHERE logical_sheet_id = ? AND conflict_id = ?
+`;
+export const READ_ACTIVE_CANDIDATE_POINTER_SQL = `
+  SELECT physical_sheet_id, projection, candidate_epoch, active_candidate_hash
+  FROM sheet_visible_field_state
+  WHERE row_binding_id = ? AND field_name = ?
+    AND active_candidate_conflict_id = ?
+    AND active_candidate_hash IS NOT NULL
+`;
+export const INSERT_PROCESSING_COMMAND_SQL = `
+  INSERT INTO resolution_command (
+    command_id, request_key, action, actor_id, role, target_conflict_id,
+    expected_revision, active_candidate_hash, expected_candidate_epoch,
+    payload_hash, status, issued_at
+  )
+  SELECT ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, 'processing', ?
+  WHERE EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const MARK_CONFLICT_RESOLVED_SQL = `
+  UPDATE sync_conflict
+  SET status = 'RESOLVED', resolution_command_id = ?, updated_at = ?
+  WHERE conflict_id = ? AND status IN ('OPEN', 'NEEDS_REBASE')
+    AND current_canonical_revision = ? AND candidate_epoch = ?
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const CLEAR_ACTIVE_CANDIDATE_POINTER_SQL = `
+  UPDATE sheet_visible_field_state
+  SET active_candidate_conflict_id = NULL, active_candidate_hash = NULL,
+      candidate_epoch = candidate_epoch + 1
+  WHERE physical_sheet_id = ? AND projection = ?
+    AND row_binding_id = ? AND field_name = ?
+    AND active_candidate_conflict_id = ? AND candidate_epoch = ?
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export 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 = ?
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const MARK_COMMAND_APPLIED_SQL = `
+  UPDATE resolution_command
+  SET status = 'applied', applied_commit_id = ?
+  WHERE command_id = ? AND status = 'processing'
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const MARK_CONFLICT_STALE_SQL = `
+  UPDATE sync_conflict
+  SET status = ?, updated_at = ?
+  WHERE conflict_id = ? AND status IN ('OPEN', 'NEEDS_REBASE')
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const MARK_COMMAND_STALE_SQL = `
+  UPDATE resolution_command
+  SET status = 'stale'
+  WHERE command_id = ? AND status = 'processing'
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const MARK_COMMAND_REJECTED_SQL = `
+  UPDATE resolution_command
+  SET status = 'rejected'
+  WHERE command_id = ? AND status = 'processing'
+    AND EXISTS (${FENCE_EXISTS_SQL})
+`;
+export const READ_EFFECT_DEDUPE_SQL = `
+  SELECT effect_kind, commit_id, logical_sheet_id, physical_sheet_id,
+         projection, target_kind, target_id, payload_hash
+  FROM sheet_effect_outbox
+  WHERE effect_dedupe_key = ?
+`;
+export const READ_REGISTERED_PROJECTION_SQL = `
+  SELECT logical_sheet_id, projection, enabled
+  FROM physical_sheet_registry
+  WHERE physical_sheet_id = ?
+`;
+//# sourceMappingURL=resolutionWriterSql.js.map

package/dist/infrastructure/storage/state/resolution/resolutionWriterSql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolutionWriterSql.js","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/state/resolution/resolutionWriterSql.ts"],"names":[],"mappings":"AAAA,sEAAsE;AAEtE,MAAM,CAAC,MAAM,gBAAgB,GAAG;;;CAG/B,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG;;;;;;CAMxC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG;;;;;;;CAOhC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG;;;;;;CAMhD,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG;;;;;;;kBAO3B,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG;;;;;kBAKxB,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG;;;;;;;kBAOhC,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG;;;;;;;kBAOrC,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG;;;;kBAItB,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;kBAIrB,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG;;;;kBAIpB,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG;;;;kBAIvB,gBAAgB;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG;;;;;CAKrC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG;;;;CAI7C,CAAC"}

package/dist/infrastructure/storage/sync/outbound/effectOutbox.d.ts

@@ -0,0 +1,137 @@
+/**
+ * Effect outbox claim, apply, and recovery operations.
+ *
+ * Per design concurrency/writer-rpc.md and storage-schema.md:
+ * - Effects are claimed atomically (CAS on status = 'pending').
+ * - Only one worker can claim an effect at a time.
+ * - Apply results must pass fencing validation (epoch + token).
+ * - Supersede/replan atomically closes old effect and inserts new one.
+ */
+import type { DatabaseSyncLike } from "../../sqlite/sqliteBridge.js";
+import type { FencingContext } from "../shared/writerLease.js";
+import type { SqlExecutor, SqlStorageAdapter } from "../../../../adapter/persistence/contracts/sql.js";
+import type { ApplyResultOptions, ClaimEffectOptions, ClaimResult, NewEffect, PendingEffect, RetryClaimedEffectOptions } from "./effectOutboxContracts.js";
+export { SYNC_EFFECT_RECOVERY_ERROR_CODES } from "./effectOutboxContracts.js";
+export type { ApplyResultOptions, ClaimEffectOptions, ClaimResult, EffectProjectionConfirmation, NewEffect, PendingEffect, RetryClaimedEffectOptions, } from "./effectOutboxContracts.js";
+export declare function claimEffect(db: DatabaseSyncLike, options: ClaimEffectOptions): ClaimResult;
+/**
+ * Claims a pending effect through an already-active async SQL context.
+ *
+ * The compare-and-set query and both fencing checks use the same connection,
+ * so a MikroORM-backed worker cannot accidentally claim through a second
+ * SQLite connection.
+ */
+export declare function claimEffectWithSql(sql: SqlExecutor, options: ClaimEffectOptions): Promise<ClaimResult>;
+/** Claims one effect inside an adapter-owned transaction. */
+export declare function claimEffectWithAdapter(storage: SqlStorageAdapter, options: ClaimEffectOptions): Promise<ClaimResult>;
+/**
+ * Appends pending effects under the supplied writer fence.
+ *
+ * This is used for conflict/quarantine effects that do not accompany a
+ * canonical field commit. It owns a savepoint so a duplicate dedupe key or a
+ * lost fence cannot leave only part of an effect set behind.
+ */
+export declare function appendPendingEffects(db: DatabaseSyncLike, fence: FencingContext, effects: readonly NewEffect[]): boolean;
+/**
+ * Appends pending effects inside an already-active async SQL transaction.
+ *
+ * This is the MikroORM-compatible path used when an entity mutation and its
+ * Sheets outbox records must commit or roll back together.
+ */
+export declare function appendPendingEffectsWithSql(sql: SqlExecutor, fence: FencingContext, effects: readonly NewEffect[]): Promise<boolean>;
+/** Appends pending effects in one adapter-owned transaction. */
+export declare function appendPendingEffectsWithAdapter(storage: SqlStorageAdapter, fence: FencingContext, effects: readonly NewEffect[]): Promise<boolean>;
+/**
+ * Applies a result to a claimed effect.
+ * Validates fencing (claim token + writer epoch) before applying.
+ * Returns true if the result was applied, false if fencing failed.
+ */
+export declare function applyEffectResult(db: DatabaseSyncLike, options: ApplyResultOptions): boolean;
+/**
+ * Applies a claimed effect result through an already-active async SQL context.
+ *
+ * If projection confirmation fails, the savepoint rolls the effect transition
+ * back too; confirmed visible state can never advance without its outbox row.
+ */
+export declare function applyEffectResultWithSql(sql: SqlExecutor, options: ApplyResultOptions): Promise<boolean>;
+/** Applies one effect result inside an adapter-owned transaction. */
+export declare function applyEffectResultWithAdapter(storage: SqlStorageAdapter, options: ApplyResultOptions): Promise<boolean>;
+/**
+ * Supersedes an old effect and inserts a new replacement effect atomically.
+ * Used for repair replan when the canonical target has advanced.
+ *
+ * Per design: the old effect is marked 'superseded', a new effect with a new
+ * effect_id and new dedupe_key is inserted, and the new effect's
+ * predecessor_effect_id links to the old one.
+ */
+export declare function supersedeAndReplan(db: DatabaseSyncLike, fence: FencingContext, oldEffectId: string, newEffect: NewEffect): void;
+/** Supersedes and replans an effect through an already-active async SQL context. */
+export declare function supersedeAndReplanWithSql(sql: SqlExecutor, fence: FencingContext, oldEffectId: string, newEffect: NewEffect): Promise<void>;
+/** Supersedes and replans an effect inside an adapter-owned transaction. */
+export declare function supersedeAndReplanWithAdapter(storage: SqlStorageAdapter, fence: FencingContext, oldEffectId: string, newEffect: NewEffect): Promise<void>;
+/**
+ * Marks expired processing effects as requiring postcondition recovery.
+ *
+ * The worker must read the remote postcondition before it schedules a retry;
+ * an expired lease is not evidence that the remote write did not happen.
+ */
+export declare function recoverExpiredLeases(db: DatabaseSyncLike, fence: FencingContext): number;
+/** Marks expired effect leases through an already-active async SQL context. */
+export declare function recoverExpiredLeasesWithSql(sql: SqlExecutor, fence: FencingContext): Promise<number>;
+/** Marks expired effect leases inside an adapter-owned transaction. */
+export declare function recoverExpiredLeasesWithAdapter(storage: SqlStorageAdapter, fence: FencingContext): Promise<number>;
+/**
+ * Returns an acknowledged-but-unprocessed batch suffix to pending.
+ *
+ * This is intentionally narrower than a generic redrive: it may be used only
+ * after a valid gateway response explicitly says the batch budget stopped
+ * before this effect.  Unknown response loss remains failed until read-back.
+ */
+export declare function releaseUnprocessedEffect(db: DatabaseSyncLike, options: Pick<FencingContext, "role" | "writerEpoch" | "fencingToken" | "now"> & {
+    readonly effectId: string;
+    readonly claimToken: string;
+}): boolean;
+/** Returns one acknowledged-but-unprocessed effect through an async SQL context. */
+export declare function releaseUnprocessedEffectWithSql(sql: SqlExecutor, options: Pick<FencingContext, "role" | "writerEpoch" | "fencingToken" | "now"> & {
+    readonly effectId: string;
+    readonly claimToken: string;
+}): Promise<boolean>;
+/** Returns one acknowledged-but-unprocessed effect inside an adapter transaction. */
+export declare function releaseUnprocessedEffectWithAdapter(storage: SqlStorageAdapter, options: Pick<FencingContext, "role" | "writerEpoch" | "fencingToken" | "now"> & {
+    readonly effectId: string;
+    readonly claimToken: string;
+}): Promise<boolean>;
+/** Input for returning a claimed effect to the redrive queue after read-back. */
+/** Requeues a claimed effect only after the current fence still owns it. */
+export declare function retryClaimedEffect(db: DatabaseSyncLike, options: RetryClaimedEffectOptions): boolean;
+/** Requeues a claimed effect through an already-active async SQL context. */
+export declare function retryClaimedEffectWithSql(sql: SqlExecutor, options: RetryClaimedEffectOptions): Promise<boolean>;
+/** Requeues a claimed effect inside an adapter-owned transaction. */
+export declare function retryClaimedEffectWithAdapter(storage: SqlStorageAdapter, options: RetryClaimedEffectOptions): Promise<boolean>;
+/**
+ * Finds pending effects for a given stream (target), ordered by stream_sequence.
+ * Returns the head-of-line effects for a target stream.
+ */
+export declare function findPendingEffectsByTarget(db: DatabaseSyncLike, logicalSheetId: string, targetKind: string, targetId: string): readonly PendingEffect[];
+/** Reads one target stream through an already-active async SQL context. */
+export declare function findPendingEffectsByTargetWithSql(sql: SqlExecutor, logicalSheetId: string, targetKind: string, targetId: string): Promise<readonly PendingEffect[]>;
+/** Reads one target stream through a fresh adapter read context. */
+export declare function findPendingEffectsByTargetWithAdapter(storage: SqlStorageAdapter, logicalSheetId: string, targetKind: string, targetId: string): Promise<readonly PendingEffect[]>;
+/**
+ * Returns ordered head-of-line effects across streams for one bounded worker pass.
+ *
+ * Claiming still performs the authoritative CAS, so a concurrent worker can
+ * safely race this advisory selection without processing a later stream item.
+ */
+export declare function listReadyEffects(db: DatabaseSyncLike, limit: number): readonly PendingEffect[];
+/** Reads bounded head-of-line effects through an already-active async SQL context. */
+export declare function listReadyEffectsWithSql(sql: SqlExecutor, limit: number): Promise<readonly PendingEffect[]>;
+/** Reads bounded head-of-line effects through a fresh adapter read context. */
+export declare function listReadyEffectsWithAdapter(storage: SqlStorageAdapter, limit: number): Promise<readonly PendingEffect[]>;
+/** Returns whether normal outbox work is still pending or actively processing. */
+export declare function hasPendingOrProcessingEffects(db: DatabaseSyncLike): boolean;
+/** Checks whether the durable outbox still has pending or processing work. */
+export declare function hasPendingOrProcessingEffectsWithSql(sql: SqlExecutor): Promise<boolean>;
+/** Checks outbox activity through a fresh adapter read context. */
+export declare function hasPendingOrProcessingEffectsWithAdapter(storage: SqlStorageAdapter): Promise<boolean>;
+//# sourceMappingURL=effectOutbox.d.ts.map

package/dist/infrastructure/storage/sync/outbound/effectOutbox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effectOutbox.d.ts","sourceRoot":"","sources":["../../../../../src/infrastructure/storage/sync/outbound/effectOutbox.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAMrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EACV,WAAW,EACX,iBAAiB,EAClB,MAAM,kDAAkD,CAAC;AAE1D,OAAO,KAAK,EACV,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EAEX,SAAS,EACT,aAAa,EACb,yBAAyB,EAC1B,MAAM,4BAA4B,CAAC;AA8BpC,OAAO,EAAE,gCAAgC,EAAE,MAAM,4BAA4B,CAAC;AAC9E,YAAY,EACV,kBAAkB,EAClB,kBAAkB,EAClB,WAAW,EACX,4BAA4B,EAC5B,SAAS,EACT,aAAa,EACb,yBAAyB,GAC1B,MAAM,4BAA4B,CAAC;AAEpC,wBAAgB,WAAW,CAAC,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,kBAAkB,GAAG,WAAW,CA+B1F;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,WAAW,CAAC,CAsBtB;AAED,6DAA6D;AAC7D,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,WAAW,CAAC,CAEtB;AAGD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,OAAO,CAmDT;AAED;;;;;GAKG;AACH,wBAAsB,2BAA2B,CAC/C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,OAAO,CAAC,OAAO,CAAC,CAuBlB;AAED,gEAAgE;AAChE,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,OAAO,CAAC,OAAO,CAAC,CAElB;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAwC5F;AAED;;;;;GAKG;AACH,wBAAsB,wBAAwB,CAC5C,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,OAAO,CAAC,CAYlB;AAED,qEAAqE;AACrE,wBAAsB,4BAA4B,CAChD,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,OAAO,CAAC,CAElB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,EACrB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,SAAS,GACnB,IAAI,CAsDN;AAED,oFAAoF;AACpF,wBAAsB,yBAAyB,CAC7C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,EACrB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,SAAS,GACnB,OAAO,CAAC,IAAI,CAAC,CA4Bf;AAED,4EAA4E;AAC5E,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,EACrB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,SAAS,GACnB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,cAAc,GACpB,MAAM,CAMR;AAED,+EAA+E;AAC/E,wBAAsB,2BAA2B,CAC/C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,cAAc,GACpB,OAAO,CAAC,MAAM,CAAC,CAOjB;AAED,uEAAuE;AACvE,wBAAsB,+BAA+B,CACnD,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,cAAc,GACpB,OAAO,CAAC,MAAM,CAAC,CAEjB;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,gBAAgB,EACpB,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,aAAa,GAAG,cAAc,GAAG,KAAK,CAAC,GAAG;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACA,OAAO,CAUT;AAED,oFAAoF;AACpF,wBAAsB,+BAA+B,CACnD,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,aAAa,GAAG,cAAc,GAAG,KAAK,CAAC,GAAG;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACA,OAAO,CAAC,OAAO,CAAC,CAUlB;AAED,qFAAqF;AACrF,wBAAsB,mCAAmC,CACvD,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,aAAa,GAAG,cAAc,GAAG,KAAK,CAAC,GAAG;IAC/E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACA,OAAO,CAAC,OAAO,CAAC,CAElB;AAED,iFAAiF;AAEjF,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,gBAAgB,EACpB,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAYT;AAED,6EAA6E;AAC7E,wBAAsB,yBAAyB,CAC7C,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAAC,OAAO,CAAC,CAYlB;AAED,qEAAqE;AACrE,wBAAsB,6BAA6B,CACjD,OAAO,EAAE,iBAAiB,EAC1B,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAAC,OAAO,CAAC,CAElB;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,gBAAgB,EACpB,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,SAAS,aAAa,EAAE,CAI1B;AAED,2EAA2E;AAC3E,wBAAsB,iCAAiC,CACrD,GAAG,EAAE,WAAW,EAChB,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,SAAS,aAAa,EAAE,CAAC,CAMnC;AAED,oEAAoE;AACpE,wBAAsB,qCAAqC,CACzD,OAAO,EAAE,iBAAiB,EAC1B,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,SAAS,aAAa,EAAE,CAAC,CAInC;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,MAAM,GACZ,SAAS,aAAa,EAAE,CAG1B;AAED,sFAAsF;AACtF,wBAAsB,uBAAuB,CAC3C,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,SAAS,aAAa,EAAE,CAAC,CAGnC;AAED,+EAA+E;AAC/E,wBAAsB,2BAA2B,CAC/C,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,SAAS,aAAa,EAAE,CAAC,CAEnC;AAED,kFAAkF;AAClF,wBAAgB,6BAA6B,CAAC,EAAE,EAAE,gBAAgB,GAAG,OAAO,CAK3E;AAED,8EAA8E;AAC9E,wBAAsB,oCAAoC,CACxD,GAAG,EAAE,WAAW,GACf,OAAO,CAAC,OAAO,CAAC,CAGlB;AAED,mEAAmE;AACnE,wBAAsB,wCAAwC,CAC5D,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,OAAO,CAAC,CAElB"}