hikoutei 0.2.0

package/dist/domain/evaluate/contracts.d.ts

@@ -0,0 +1,125 @@
+/**
+ * Shared contracts for pure batch evaluation.
+ *
+ * These types keep evaluator inputs and outcomes independent from SQLite,
+ * gateway transport, and any repository implementation.
+ */
+import type { NormalizedCell } from "../../shared/encoding/types.js";
+import type { CanonicalResolution, OwnershipManifest, ObservedRowChange, Projection, QuarantinePlan, QuarantineReason, RepairPlan, RowBindingContext, RowOperation, SyncConflict } from "../model/types.js";
+import { PRECONDITION_RESULTS } from "../model/constants.js";
+import { QUARANTINE_REPAIR_STATUSES, ROW_OUTCOMES } from "./constants.js";
+import type { QuarantineRepairNotPlannedReason, RowOutcome } from "./constants.js";
+export type { RowOutcome } from "./constants.js";
+/** Result shared by operation-specific precondition validators. */
+export type PreconditionResult = {
+    readonly status: typeof PRECONDITION_RESULTS.VALID;
+} | {
+    readonly status: typeof PRECONDITION_RESULTS.INVALID;
+    readonly reason: QuarantineReason;
+};
+/** Result that either promotes raw input to a typed row or explains rejection. */
+export type StructuralPreconditionResult = {
+    readonly status: typeof PRECONDITION_RESULTS.VALID;
+    readonly row: ObservedRowChange;
+} | {
+    readonly status: typeof PRECONDITION_RESULTS.INVALID;
+    readonly reason: QuarantineReason;
+};
+/** One accepted canonical field write produced by a row evaluation. */
+export interface AcceptedField {
+    readonly fieldName: string;
+    readonly nextValue: NormalizedCell;
+    readonly nextFieldRevision: number;
+}
+/** A field-level stale-write conflict that requires explicit resolution. */
+export interface FieldConflict {
+    readonly fieldName: string;
+    readonly userValue: NormalizedCell;
+    readonly userBaseRevision: number;
+    readonly canonicalValue: NormalizedCell;
+    readonly canonicalRevision: number;
+}
+/** A row result that applies one or more fields to canonical state. */
+export interface AppliedRowEvaluationResult {
+    readonly rowBindingId: string;
+    readonly outcome: typeof ROW_OUTCOMES.ACCEPTED | typeof ROW_OUTCOMES.PARTIALLY_ACCEPTED;
+    readonly acceptedFields: readonly AcceptedField[];
+    readonly conflicts: readonly FieldConflict[];
+    readonly nextEntityRevision: number;
+}
+/** A row result that records conflicts without changing canonical state. */
+export interface ConflictRowEvaluationResult {
+    readonly rowBindingId: string;
+    readonly outcome: typeof ROW_OUTCOMES.CONFLICT;
+    readonly acceptedFields: readonly [];
+    readonly conflicts: readonly FieldConflict[];
+}
+/** Explicit repair state for a quarantined row. */
+export type QuarantineRepairDecision = {
+    readonly status: typeof QUARANTINE_REPAIR_STATUSES.NOT_PLANNED;
+    readonly reason: QuarantineRepairNotPlannedReason;
+} | {
+    readonly status: typeof QUARANTINE_REPAIR_STATUSES.PLANNED;
+    readonly plan: RepairPlan;
+};
+/** A terminal row result that preserves evidence without canonical mutation. */
+export interface QuarantineRowEvaluationResult {
+    readonly rowBindingId: string;
+    readonly outcome: typeof ROW_OUTCOMES.QUARANTINE;
+    readonly acceptedFields: readonly [];
+    readonly conflicts: readonly [];
+    readonly quarantine: QuarantinePlan;
+    readonly repair: QuarantineRepairDecision;
+}
+/** Full immutable decision for one row in an observation batch. */
+export type RowEvaluationResult = AppliedRowEvaluationResult | ConflictRowEvaluationResult | QuarantineRowEvaluationResult;
+/** Aggregate classification for a row-independent observation batch. */
+export type BatchOutcome = RowOutcome;
+/** Result returned by the pure batch evaluator. */
+export interface BatchEvaluationResult {
+    readonly batchId: string;
+    readonly rowResults: readonly RowEvaluationResult[];
+    readonly overallOutcome: BatchOutcome;
+}
+/** Canonical and active-candidate context supplied by the storage boundary. */
+export interface EvaluationContext {
+    readonly manifest: OwnershipManifest;
+    readonly canonicalByBindingId: ReadonlyMap<string, CanonicalResolution>;
+    readonly bindingByBindingId: ReadonlyMap<string, RowBindingContext>;
+    readonly activeConflictsByBindingAndField: ReadonlyMap<string, ReadonlyMap<string, SyncConflict>>;
+    /** Active unique keys by manifest field and stable normalized-cell hash. */
+    readonly businessKeyEntityIdsByField: ReadonlyMap<string, ReadonlyMap<string, string>>;
+    readonly schemaVersion: number;
+}
+/** Common field identity material that distinguishes ABA and revision attempts. */
+interface EventKeyFieldBase {
+    readonly fieldName: string;
+    readonly candidateEpoch: number;
+    readonly beforeHash: string;
+    readonly afterHash: string;
+    readonly nextValue: NormalizedCell;
+}
+/** Identity material for an inserted field without a prior revision. */
+export interface InsertEventKeyField extends EventKeyFieldBase {
+    readonly baseFieldRevision?: never;
+}
+/** Identity material for a versioned field with a required prior revision. */
+export interface VersionedEventKeyField extends EventKeyFieldBase {
+    readonly baseFieldRevision: number;
+}
+/** Field identity material whose shape is determined by row state. */
+export type EventKeyField = InsertEventKeyField | VersionedEventKeyField;
+/** Normalized row-change material used to compute a source-independent event key. */
+export interface EventKeyInput {
+    readonly schemaVersion: number;
+    readonly sheetId: string;
+    readonly projection: Projection;
+    readonly rowBindingId: string;
+    readonly baseVisibleRevision: number;
+    readonly baseSnapshotHash: string;
+    readonly operation: RowOperation;
+    readonly beforeRowHash: string;
+    readonly afterRowHash: string;
+    readonly changedFields: readonly EventKeyField[];
+}
+//# sourceMappingURL=contracts.d.ts.map

package/dist/domain/evaluate/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/contracts.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EACV,mBAAmB,EACnB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,YAAY,EACZ,YAAY,EACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,KAAK,EACV,gCAAgC,EAChC,UAAU,EACX,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,oBAAoB,CAAC,KAAK,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,MAAM,EAAE,OAAO,oBAAoB,CAAC,OAAO,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC,CAAC;AAEN,kFAAkF;AAClF,MAAM,MAAM,4BAA4B,GACpC;IACE,QAAQ,CAAC,MAAM,EAAE,OAAO,oBAAoB,CAAC,KAAK,CAAC;IACnD,QAAQ,CAAC,GAAG,EAAE,iBAAiB,CAAC;CACjC,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,OAAO,oBAAoB,CAAC,OAAO,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC,CAAC;AAEN,uEAAuE;AACvE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,4EAA4E;AAC5E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,uEAAuE;AACvE,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,YAAY,CAAC,QAAQ,GAAG,OAAO,YAAY,CAAC,kBAAkB,CAAC;IACxF,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED,4EAA4E;AAC5E,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,YAAY,CAAC,QAAQ,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;CAC9C;AAED,mDAAmD;AACnD,MAAM,MAAM,wBAAwB,GAChC;IACE,QAAQ,CAAC,MAAM,EAAE,OAAO,0BAA0B,CAAC,WAAW,CAAC;IAC/D,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,0BAA0B,CAAC,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE9F,gFAAgF;AAChF,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,YAAY,CAAC,UAAU,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;CAC3C;AAED,mEAAmE;AACnE,MAAM,MAAM,mBAAmB,GAC3B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,CAAC;AAElC,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC;AAEtC,mDAAmD;AACnD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;CACvC;AAED,+EAA+E;AAC/E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IACxE,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,gCAAgC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;IAClG,4EAA4E;IAC5E,QAAQ,CAAC,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,mFAAmF;AACnF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED,wEAAwE;AACxE,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,QAAQ,CAAC,iBAAiB,CAAC,EAAE,KAAK,CAAC;CACpC;AAED,8EAA8E;AAC9E,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC;AAED,sEAAsE;AACtE,MAAM,MAAM,aAAa,GAAG,mBAAmB,GAAG,sBAAsB,CAAC;AAEzE,qFAAqF;AACrF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,aAAa,EAAE,CAAC;CAClD"}

package/dist/domain/evaluate/contracts.js

@@ -0,0 +1,8 @@
+/**
+ * Shared contracts for pure batch evaluation.
+ *
+ * These types keep evaluator inputs and outcomes independent from SQLite,
+ * gateway transport, and any repository implementation.
+ */
+export {};
+//# sourceMappingURL=contracts.js.map

package/dist/domain/evaluate/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../src/domain/evaluate/contracts.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/domain/evaluate/evaluateBatch.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Pure row-independent observation evaluator.
+ *
+ * It composes the precondition, ownership, quarantine, and field-CAS modules
+ * without performing I/O or mutating canonical state.
+ */
+import type { ObservedEditBatch } from "../model/types.js";
+import type { BatchEvaluationResult, EvaluationContext } from "./contracts.js";
+/** Evaluates each normalized row independently against the supplied canonical context. */
+export declare function evaluateBatch(batch: ObservedEditBatch, context: EvaluationContext): BatchEvaluationResult;
+//# sourceMappingURL=evaluateBatch.d.ts.map

package/dist/domain/evaluate/evaluateBatch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluateBatch.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/evaluateBatch.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAGV,iBAAiB,EAGlB,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,EACV,qBAAqB,EAErB,iBAAiB,EAElB,MAAM,gBAAgB,CAAC;AAYxB,0FAA0F;AAC1F,wBAAgB,aAAa,CAC3B,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,iBAAiB,GACzB,qBAAqB,CAevB"}

package/dist/domain/evaluate/evaluateBatch.js

@@ -0,0 +1,91 @@
+/**
+ * Pure row-independent observation evaluator.
+ *
+ * It composes the precondition, ownership, quarantine, and field-CAS modules
+ * without performing I/O or mutating canonical state.
+ */
+import { EVALUATION_ERROR_CODES, EvaluationContractError, } from "../errors/index.js";
+import { CANONICAL_RESOLUTION_STATUSES, PRECONDITION_RESULTS, QUARANTINE_REASONS, ROW_OPERATIONS, } from "../model/constants.js";
+import { ROW_OUTCOMES } from "./constants.js";
+import { acceptedDelete, evaluateUserFields } from "./fieldEvaluation.js";
+import { inspectOwnership, validateBindingState, validateManifestFields, validateOperationPreconditions, validateStructuralPreconditions, } from "./preconditions.js";
+import { quarantineRow, quarantineSystemRow } from "./quarantine.js";
+/** Evaluates each normalized row independently against the supplied canonical context. */
+export function evaluateBatch(batch, context) {
+    if (batch.schemaVersion !== context.schemaVersion) {
+        return {
+            batchId: batch.batchId,
+            rowResults: batch.rows.map((row) => quarantineRow(row, QUARANTINE_REASONS.SCHEMA_DRIFT)),
+            overallOutcome: ROW_OUTCOMES.QUARANTINE,
+        };
+    }
+    const rowResults = batch.rows.map((row) => evaluateRow(row, context));
+    return {
+        batchId: batch.batchId,
+        rowResults,
+        overallOutcome: summarizeBatch(rowResults),
+    };
+}
+function evaluateRow(row, context) {
+    const structuralResult = validateStructuralPreconditions(row);
+    if (structuralResult.status === PRECONDITION_RESULTS.INVALID) {
+        return quarantineRow(row, structuralResult.reason);
+    }
+    const normalizedRow = structuralResult.row;
+    const binding = context.bindingByBindingId.get(normalizedRow.rowBindingId);
+    if (binding === undefined) {
+        return quarantineRow(normalizedRow, QUARANTINE_REASONS.AMBIGUOUS_IDENTITY);
+    }
+    const bindingResult = validateBindingState(normalizedRow.operation, binding);
+    if (bindingResult.status === PRECONDITION_RESULTS.INVALID) {
+        return quarantineRow(normalizedRow, bindingResult.reason);
+    }
+    const canonical = resolveCanonical(normalizedRow.rowBindingId, binding, context);
+    if (hasEntityBinding(binding) && canonical.status === CANONICAL_RESOLUTION_STATUSES.MISSING) {
+        return quarantineRow(normalizedRow, QUARANTINE_REASONS.AMBIGUOUS_IDENTITY);
+    }
+    const manifestResult = validateManifestFields(normalizedRow.fields, context.manifest);
+    if (manifestResult.status === PRECONDITION_RESULTS.INVALID) {
+        return quarantineRow(normalizedRow, manifestResult.reason);
+    }
+    const operationResult = validateOperationPreconditions(normalizedRow, binding, canonical, context);
+    if (operationResult.status === PRECONDITION_RESULTS.INVALID) {
+        return quarantineRow(normalizedRow, operationResult.reason);
+    }
+    const ownership = inspectOwnership(normalizedRow.fields, context.manifest);
+    if (ownership.hasSystemField) {
+        return quarantineSystemRow(normalizedRow, canonical, ownership);
+    }
+    return normalizedRow.operation === ROW_OPERATIONS.DELETE
+        ? acceptedDelete(normalizedRow, requireCanonical(canonical))
+        : evaluateUserFields(normalizedRow, canonical, context);
+}
+function summarizeBatch(results) {
+    if (results.some((result) => result.outcome === ROW_OUTCOMES.QUARANTINE)) {
+        return ROW_OUTCOMES.QUARANTINE;
+    }
+    if (results.some((result) => result.outcome === ROW_OUTCOMES.CONFLICT)) {
+        return ROW_OUTCOMES.CONFLICT;
+    }
+    return results.some((result) => result.outcome === ROW_OUTCOMES.PARTIALLY_ACCEPTED)
+        ? ROW_OUTCOMES.PARTIALLY_ACCEPTED
+        : ROW_OUTCOMES.ACCEPTED;
+}
+function resolveCanonical(rowBindingId, binding, context) {
+    if (!hasEntityBinding(binding)) {
+        return { status: CANONICAL_RESOLUTION_STATUSES.MISSING };
+    }
+    return context.canonicalByBindingId.get(rowBindingId) ?? {
+        status: CANONICAL_RESOLUTION_STATUSES.MISSING,
+    };
+}
+function hasEntityBinding(binding) {
+    return "entityId" in binding;
+}
+function requireCanonical(canonical) {
+    if (canonical.status === CANONICAL_RESOLUTION_STATUSES.MISSING) {
+        throw new EvaluationContractError(EVALUATION_ERROR_CODES.CANONICAL_STATE_REQUIRED, "delete evaluation requires canonical state");
+    }
+    return canonical.entity;
+}
+//# sourceMappingURL=evaluateBatch.js.map

package/dist/domain/evaluate/evaluateBatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluateBatch.js","sourceRoot":"","sources":["../../../src/domain/evaluate/evaluateBatch.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EACpB,kBAAkB,EAClB,cAAc,GACf,MAAM,uBAAuB,CAAC;AAO/B,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAErE,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAC3B,KAAwB,EACxB,OAA0B;IAE1B,IAAI,KAAK,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;YACxF,cAAc,EAAE,YAAY,CAAC,UAAU;SACxC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU;QACV,cAAc,EAAE,cAAc,CAAC,UAAU,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,GAAsB,EACtB,OAA0B;IAE1B,MAAM,gBAAgB,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;IAC9D,IAAI,gBAAgB,CAAC,MAAM,KAAK,oBAAoB,CAAC,OAAO,EAAE,CAAC;QAC7D,OAAO,aAAa,CAAC,GAAG,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,aAAa,GAAG,gBAAgB,CAAC,GAAG,CAAC;IAE3C,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,aAAa,CAAC,aAAa,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,aAAa,GAAG,oBAAoB,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,aAAa,CAAC,MAAM,KAAK,oBAAoB,CAAC,OAAO,EAAE,CAAC;QAC1D,OAAO,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACjF,IAAI,gBAAgB,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;QAC5F,OAAO,aAAa,CAAC,aAAa,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,cAAc,GAAG,sBAAsB,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtF,IAAI,cAAc,CAAC,MAAM,KAAK,oBAAoB,CAAC,OAAO,EAAE,CAAC;QAC3D,OAAO,aAAa,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,eAAe,GAAG,8BAA8B,CACpD,aAAa,EACb,OAAO,EACP,SAAS,EACT,OAAO,CACR,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,KAAK,oBAAoB,CAAC,OAAO,EAAE,CAAC;QAC5D,OAAO,aAAa,CAAC,aAAa,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3E,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;QAC7B,OAAO,mBAAmB,CAAC,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,aAAa,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QACtD,CAAC,CAAC,cAAc,CAAC,aAAa,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC5D,CAAC,CAAC,kBAAkB,CAAC,aAAa,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,cAAc,CAAC,OAAuC;IAC7D,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,OAAO,YAAY,CAAC,UAAU,CAAC;IACjC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,OAAO,YAAY,CAAC,QAAQ,CAAC;IAC/B,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,kBAAkB,CAAC;QACjF,CAAC,CAAC,YAAY,CAAC,kBAAkB;QACjC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;AAC5B,CAAC;AAED,SAAS,gBAAgB,CACvB,YAAoB,EACpB,OAA0B,EAC1B,OAA0B;IAE1B,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,MAAM,EAAE,6BAA6B,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI;QACvD,MAAM,EAAE,6BAA6B,CAAC,OAAO;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAA0B;IAE1B,OAAO,UAAU,IAAI,OAAO,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CAAC,SAA8B;IACtD,IAAI,SAAS,CAAC,MAAM,KAAK,6BAA6B,CAAC,OAAO,EAAE,CAAC;QAC/D,MAAM,IAAI,uBAAuB,CAC/B,sBAAsB,CAAC,wBAAwB,EAC/C,4CAA4C,CAC7C,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAC;AAC1B,CAAC"}

package/dist/domain/evaluate/fieldEvaluation.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Field-level canonical compare-and-set evaluation.
+ *
+ * This module never mutates canonical state. It classifies each user-owned
+ * field as accepted or conflicting so the storage writer can commit one
+ * row-independent decision atomically later.
+ */
+import type { CanonicalEntityState, CanonicalResolution, ObservedDeleteRowChange, ObservedRowChange } from "../model/types.js";
+import type { AppliedRowEvaluationResult, EvaluationContext, RowEvaluationResult } from "./contracts.js";
+/** Evaluates all user-owned fields after structural/ownership checks passed. */
+export declare function evaluateUserFields(row: ObservedRowChange, canonical: CanonicalResolution, context: EvaluationContext): RowEvaluationResult;
+/** Produces an accepted tombstone without treating delete fields as updates. */
+export declare function acceptedDelete(row: ObservedDeleteRowChange, canonical: CanonicalEntityState): AppliedRowEvaluationResult;
+//# sourceMappingURL=fieldEvaluation.d.ts.map

package/dist/domain/evaluate/fieldEvaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fieldEvaluation.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/fieldEvaluation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAWH,OAAO,KAAK,EACV,oBAAoB,EACpB,mBAAmB,EACnB,uBAAuB,EAEvB,iBAAiB,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAEV,0BAA0B,EAE1B,iBAAiB,EAEjB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AAGxB,gFAAgF;AAChF,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,iBAAiB,EACtB,SAAS,EAAE,mBAAmB,EAC9B,OAAO,EAAE,iBAAiB,GACzB,mBAAmB,CAkCrB;AAED,gFAAgF;AAChF,wBAAgB,cAAc,CAC5B,GAAG,EAAE,uBAAuB,EAC5B,SAAS,EAAE,oBAAoB,GAC9B,0BAA0B,CAQ5B"}

package/dist/domain/evaluate/fieldEvaluation.js

@@ -0,0 +1,133 @@
+/**
+ * Field-level canonical compare-and-set evaluation.
+ *
+ * This module never mutates canonical state. It classifies each user-owned
+ * field as accepted or conflicting so the storage writer can commit one
+ * row-independent decision atomically later.
+ */
+import { CANONICAL_RESOLUTION_STATUSES, CONFLICT_STATUSES, ROW_OPERATIONS, } from "../model/constants.js";
+import { EVALUATION_ERROR_CODES, EvaluationContractError, } from "../errors/index.js";
+import { ROW_OUTCOMES } from "./constants.js";
+/** Evaluates all user-owned fields after structural/ownership checks passed. */
+export function evaluateUserFields(row, canonical, context) {
+    const accepted = [];
+    const conflicts = [];
+    const canonicalEntity = canonical.status === CANONICAL_RESOLUTION_STATUSES.AVAILABLE
+        ? canonical.entity
+        : undefined;
+    for (const fieldChange of row.fields) {
+        const result = evaluateSingleUserField(fieldChange, canonicalEntity, row, context);
+        if (result.kind === ROW_OUTCOMES.ACCEPTED) {
+            accepted.push(result.field);
+        }
+        else
+            conflicts.push(result.conflict);
+    }
+    const outcome = classifyFieldOutcome(accepted, conflicts);
+    if (outcome === ROW_OUTCOMES.CONFLICT) {
+        const conflictResult = {
+            rowBindingId: row.rowBindingId,
+            outcome,
+            acceptedFields: [],
+            conflicts,
+        };
+        return conflictResult;
+    }
+    const appliedResult = {
+        rowBindingId: row.rowBindingId,
+        outcome,
+        acceptedFields: accepted,
+        conflicts,
+        nextEntityRevision: nextEntityRevisionFor(row, canonicalEntity),
+    };
+    return appliedResult;
+}
+/** Produces an accepted tombstone without treating delete fields as updates. */
+export function acceptedDelete(row, canonical) {
+    return {
+        rowBindingId: row.rowBindingId,
+        outcome: ROW_OUTCOMES.ACCEPTED,
+        acceptedFields: [],
+        conflicts: [],
+        nextEntityRevision: canonical.entityRevision + 1,
+    };
+}
+function evaluateSingleUserField(fieldChange, canonical, row, context) {
+    if (row.operation === ROW_OPERATIONS.INSERT) {
+        return {
+            kind: ROW_OUTCOMES.ACCEPTED,
+            field: {
+                fieldName: fieldChange.fieldName,
+                nextValue: fieldChange.nextValue,
+                nextFieldRevision: 1,
+            },
+        };
+    }
+    const existingFieldChange = requireVersionedFieldChange(fieldChange);
+    const existingCanonical = requireCanonicalEntity(canonical);
+    if (hasActiveConflict(context, row.rowBindingId, fieldChange.fieldName)) {
+        return conflictResult(existingFieldChange, existingCanonical);
+    }
+    const currentField = existingCanonical.fields.get(fieldChange.fieldName);
+    if (currentField === undefined ||
+        existingFieldChange.baseFieldRevision !== currentField.fieldRevision) {
+        return conflictResult(existingFieldChange, existingCanonical);
+    }
+    return {
+        kind: ROW_OUTCOMES.ACCEPTED,
+        field: {
+            fieldName: fieldChange.fieldName,
+            nextValue: fieldChange.nextValue,
+            nextFieldRevision: currentField.fieldRevision + 1,
+        },
+    };
+}
+function classifyFieldOutcome(accepted, conflicts) {
+    if (conflicts.length === 0)
+        return ROW_OUTCOMES.ACCEPTED;
+    return accepted.length > 0
+        ? ROW_OUTCOMES.PARTIALLY_ACCEPTED
+        : ROW_OUTCOMES.CONFLICT;
+}
+function conflictResult(fieldChange, canonical) {
+    const currentField = canonical.fields.get(fieldChange.fieldName);
+    if (currentField === undefined) {
+        throw new EvaluationContractError(EVALUATION_ERROR_CODES.CANONICAL_FIELD_REQUIRED, `existing row evaluation requires canonical field ${fieldChange.fieldName}`);
+    }
+    return {
+        kind: ROW_OUTCOMES.CONFLICT,
+        conflict: {
+            fieldName: fieldChange.fieldName,
+            userValue: fieldChange.nextValue,
+            userBaseRevision: fieldChange.baseFieldRevision,
+            canonicalValue: currentField.value,
+            canonicalRevision: currentField.fieldRevision,
+        },
+    };
+}
+function hasActiveConflict(context, rowBindingId, fieldName) {
+    const conflict = context.activeConflictsByBindingAndField.get(rowBindingId)?.get(fieldName);
+    return conflict?.status === CONFLICT_STATUSES.OPEN ||
+        conflict?.status === CONFLICT_STATUSES.NEEDS_REBASE;
+}
+function nextEntityRevisionFor(row, canonical) {
+    if (row.operation === ROW_OPERATIONS.INSERT)
+        return 1;
+    return requireCanonicalEntity(canonical).entityRevision + 1;
+}
+function requireCanonicalEntity(canonical) {
+    if (canonical === undefined) {
+        throw new EvaluationContractError(EVALUATION_ERROR_CODES.CANONICAL_STATE_REQUIRED, "existing row evaluation requires canonical state");
+    }
+    return canonical;
+}
+function requireVersionedFieldChange(fieldChange) {
+    if (!isVersionedFieldChange(fieldChange)) {
+        throw new EvaluationContractError(EVALUATION_ERROR_CODES.BASE_FIELD_REVISION_REQUIRED, "existing row evaluation requires a base field revision");
+    }
+    return fieldChange;
+}
+function isVersionedFieldChange(fieldChange) {
+    return fieldChange.baseFieldRevision !== undefined;
+}
+//# sourceMappingURL=fieldEvaluation.js.map

package/dist/domain/evaluate/fieldEvaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fieldEvaluation.js","sourceRoot":"","sources":["../../../src/domain/evaluate/fieldEvaluation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,6BAA6B,EAC7B,iBAAiB,EACjB,cAAc,GACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAiB5B,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,gFAAgF;AAChF,MAAM,UAAU,kBAAkB,CAChC,GAAsB,EACtB,SAA8B,EAC9B,OAA0B;IAE1B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,KAAK,6BAA6B,CAAC,SAAS;QAClF,CAAC,CAAC,SAAS,CAAC,MAAM;QAClB,CAAC,CAAC,SAAS,CAAC;IAEd,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,uBAAuB,CAAC,WAAW,EAAE,eAAe,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACnF,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;;YACI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,cAAc,GAAgC;YAClD,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,OAAO;YACP,cAAc,EAAE,EAAE;YAClB,SAAS;SACV,CAAC;QACF,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,aAAa,GAA+B;QAChD,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,OAAO;QACP,cAAc,EAAE,QAAQ;QACxB,SAAS;QACT,kBAAkB,EAAE,qBAAqB,CAAC,GAAG,EAAE,eAAe,CAAC;KAChE,CAAC;IACF,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,cAAc,CAC5B,GAA4B,EAC5B,SAA+B;IAE/B,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,OAAO,EAAE,YAAY,CAAC,QAAQ;QAC9B,cAAc,EAAE,EAAE;QAClB,SAAS,EAAE,EAAE;QACb,kBAAkB,EAAE,SAAS,CAAC,cAAc,GAAG,CAAC;KACjD,CAAC;AACJ,CAAC;AAMD,SAAS,uBAAuB,CAC9B,WAAgC,EAChC,SAA2C,EAC3C,GAAsB,EACtB,OAA0B;IAE1B,IAAI,GAAG,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM,EAAE,CAAC;QAC5C,OAAO;YACL,IAAI,EAAE,YAAY,CAAC,QAAQ;YAC3B,KAAK,EAAE;gBACL,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,iBAAiB,EAAE,CAAC;aACrB;SACF,CAAC;IACJ,CAAC;IAED,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,WAAW,CAAC,CAAC;IACrE,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,OAAO,cAAc,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACzE,IACE,YAAY,KAAK,SAAS;QAC1B,mBAAmB,CAAC,iBAAiB,KAAK,YAAY,CAAC,aAAa,EACpE,CAAC;QACD,OAAO,cAAc,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;IAChE,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,QAAQ;QAC3B,KAAK,EAAE;YACL,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,iBAAiB,EAAE,YAAY,CAAC,aAAa,GAAG,CAAC;SAClD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAkC,EAClC,SAAmC;IAEnC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC,QAAQ,CAAC;IACzD,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,YAAY,CAAC,kBAAkB;QACjC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CACrB,WAAyC,EACzC,SAA+B;IAE/B,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACjE,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,uBAAuB,CAC/B,sBAAsB,CAAC,wBAAwB,EAC/C,oDAAoD,WAAW,CAAC,SAAS,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,QAAQ;QAC3B,QAAQ,EAAE;YACR,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,gBAAgB,EAAE,WAAW,CAAC,iBAAiB;YAC/C,cAAc,EAAE,YAAY,CAAC,KAAK;YAClC,iBAAiB,EAAE,YAAY,CAAC,aAAa;SAC9C;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,OAA0B,EAC1B,YAAoB,EACpB,SAAiB;IAEjB,MAAM,QAAQ,GAAG,OAAO,CAAC,gCAAgC,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5F,OAAO,QAAQ,EAAE,MAAM,KAAK,iBAAiB,CAAC,IAAI;QAChD,QAAQ,EAAE,MAAM,KAAK,iBAAiB,CAAC,YAAY,CAAC;AACxD,CAAC;AAED,SAAS,qBAAqB,CAC5B,GAAsB,EACtB,SAA2C;IAE3C,IAAI,GAAG,CAAC,SAAS,KAAK,cAAc,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC;IACtD,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,sBAAsB,CAC7B,SAA2C;IAE3C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,uBAAuB,CAC/B,sBAAsB,CAAC,wBAAwB,EAC/C,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,WAAgC;IAEhC,IAAI,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,uBAAuB,CAC/B,sBAAsB,CAAC,4BAA4B,EACnD,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,sBAAsB,CAC7B,WAAgC;IAEhC,OAAO,WAAW,CAAC,iBAAiB,KAAK,SAAS,CAAC;AACrD,CAAC"}

package/dist/domain/evaluate/identity.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Deterministic identity helpers for observed rows, events, and repairs.
+ *
+ * Storage records the resulting values but does not choose their contents;
+ * identical normalized input must always produce the same identity.
+ */
+import type { NormalizedCell } from "../../shared/encoding/types.js";
+import type { EventKeyInput } from "./contracts.js";
+/**
+ * Computes the source-independent event key for a normalized row change.
+ *
+ * @throws {DuplicateChangedFieldError} when the event lists one field twice.
+ */
+export declare function computeEventKey(input: EventKeyInput): string;
+/** Computes a stable hash for a normalized row's field values. */
+export declare function computeRowHash(rowBindingId: string, fields: ReadonlyMap<string, {
+    readonly cell: NormalizedCell;
+}>): string;
+/** Computes the visible-state guard used by a system-field repair effect. */
+export declare function computeRepairGuardHash(rowBindingId: string, illegalFields: ReadonlyArray<readonly [string, NormalizedCell]>): string;
+//# sourceMappingURL=identity.d.ts.map

package/dist/domain/evaluate/identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/identity.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,gCAAgC,CAAC;AAGlF,OAAO,KAAK,EAAiB,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEnE;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAoB5D;AAgBD,kEAAkE;AAClE,wBAAgB,cAAc,CAC5B,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,GAC7D,MAAM,CAMR;AAED,6EAA6E;AAC7E,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,GAC9D,MAAM,CAKR"}

package/dist/domain/evaluate/identity.js

@@ -0,0 +1,72 @@
+/**
+ * Deterministic identity helpers for observed rows, events, and repairs.
+ *
+ * Storage records the resulting values but does not choose their contents;
+ * identical normalized input must always produce the same identity.
+ */
+import { stableHash } from "../../shared/encoding/stableEncode.js";
+import { DuplicateChangedFieldError } from "../errors/identity.js";
+/**
+ * Computes the source-independent event key for a normalized row change.
+ *
+ * @throws {DuplicateChangedFieldError} when the event lists one field twice.
+ */
+export function computeEventKey(input) {
+    const changedFields = sortByFieldName(input.changedFields, (field) => field.fieldName);
+    for (let index = 1; index < changedFields.length; index += 1) {
+        if (changedFields[index - 1].fieldName === changedFields[index].fieldName) {
+            throw new DuplicateChangedFieldError(changedFields[index].fieldName);
+        }
+    }
+    return stableHash({
+        schemaVersion: input.schemaVersion,
+        sheetId: input.sheetId,
+        projection: input.projection,
+        rowBindingId: input.rowBindingId,
+        baseVisibleRevision: input.baseVisibleRevision,
+        baseSnapshotHash: input.baseSnapshotHash,
+        operation: input.operation,
+        beforeRowHash: input.beforeRowHash,
+        afterRowHash: input.afterRowHash,
+        changedFields: changedFields.map(makeEventKeyFieldIdentity),
+    });
+}
+/** Omits the absent revision marker so event identity has no undefined state. */
+function makeEventKeyFieldIdentity(field) {
+    const base = {
+        fieldName: field.fieldName,
+        candidateEpoch: field.candidateEpoch,
+        beforeHash: field.beforeHash,
+        afterHash: field.afterHash,
+        nextValue: field.nextValue,
+    };
+    return field.baseFieldRevision === undefined
+        ? base
+        : { ...base, baseFieldRevision: field.baseFieldRevision };
+}
+/** Computes a stable hash for a normalized row's field values. */
+export function computeRowHash(rowBindingId, fields) {
+    const entries = sortByFieldName([...fields.entries()], ([fieldName]) => fieldName);
+    return stableHash({
+        rowBindingId,
+        fields: entries.map(([name, field]) => [name, field.cell]),
+    });
+}
+/** Computes the visible-state guard used by a system-field repair effect. */
+export function computeRepairGuardHash(rowBindingId, illegalFields) {
+    return stableHash({
+        rowBindingId,
+        illegalFields: sortByFieldName(illegalFields, ([fieldName]) => fieldName),
+    });
+}
+/**
+ * Returns a field-name-ordered copy so identity hashes ignore input order.
+ * The caller's array is never mutated because observations may be reused.
+ */
+function sortByFieldName(values, getFieldName) {
+    return [...values].sort((left, right) => compareText(getFieldName(left), getFieldName(right)));
+}
+function compareText(left, right) {
+    return left < right ? -1 : left > right ? 1 : 0;
+}
+//# sourceMappingURL=identity.js.map

package/dist/domain/evaluate/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../../src/domain/evaluate/identity.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAGnE;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoB;IAClD,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACvF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7D,IAAI,aAAa,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,SAAS,KAAK,aAAa,CAAC,KAAK,CAAE,CAAC,SAAS,EAAE,CAAC;YAC5E,MAAM,IAAI,0BAA0B,CAAC,aAAa,CAAC,KAAK,CAAE,CAAC,SAAS,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;QAChB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,yBAAyB,CAAC;KAC5D,CAAC,CAAC;AACL,CAAC;AAED,iFAAiF;AACjF,SAAS,yBAAyB,CAAC,KAAoB;IACrD,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;IACF,OAAO,KAAK,CAAC,iBAAiB,KAAK,SAAS;QAC1C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;AAC9D,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAC5B,YAAoB,EACpB,MAA8D;IAE9D,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IACnF,OAAO,UAAU,CAAC;QAChB,YAAY;QACZ,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,aAA+D;IAE/D,OAAO,UAAU,CAAC;QAChB,YAAY;QACZ,aAAa,EAAE,eAAe,CAAC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,MAAoB,EACpB,YAAkC;IAElC,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC"}

package/dist/domain/evaluate/index.d.ts

@@ -0,0 +1,4 @@
+export { evaluateBatch, } from "./evaluateBatch.js";
+export { computeEventKey, computeRowHash, computeRepairGuardHash, } from "./identity.js";
+export type { BatchEvaluationResult, RowEvaluationResult, RowOutcome, BatchOutcome, AcceptedField, FieldConflict, EvaluationContext, EventKeyField, } from "./contracts.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/evaluate/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,eAAe,EACf,cAAc,EACd,sBAAsB,GACvB,MAAM,eAAe,CAAC;AACvB,YAAY,EACV,qBAAqB,EACrB,mBAAmB,EACnB,UAAU,EACV,YAAY,EACZ,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,aAAa,GACd,MAAM,gBAAgB,CAAC"}

package/dist/domain/evaluate/index.js

@@ -0,0 +1,3 @@
+export { evaluateBatch, } from "./evaluateBatch.js";
+export { computeEventKey, computeRowHash, computeRepairGuardHash, } from "./identity.js";
+//# sourceMappingURL=index.js.map

package/dist/domain/evaluate/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/domain/evaluate/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,eAAe,EACf,cAAc,EACd,sBAAsB,GACvB,MAAM,eAAe,CAAC"}

package/dist/domain/evaluate/preconditions.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Fail-closed validation before field-level conflict evaluation.
+ *
+ * These checks reject ambiguous identity, invalid normalized values, schema
+ * drift, and unsupported operation shapes before any canonical field CAS is
+ * considered.
+ */
+import type { NormalizedCell } from "../../shared/encoding/types.js";
+import type { CanonicalResolution, ObservedFieldChange, ObservedRowChange, OwnershipManifest, RowOperation, RowBindingContext } from "../model/types.js";
+import type { EvaluationContext, PreconditionResult, StructuralPreconditionResult } from "./contracts.js";
+/** Summary of editable and system-owned fields in one observed row. */
+export interface OwnershipCheckResult {
+    readonly hasSystemField: boolean;
+    readonly hasUserField: boolean;
+    readonly systemFields: readonly {
+        fieldName: string;
+        value: NormalizedCell;
+    }[];
+}
+/** Validates raw input and promotes it to an operation-specific row type. */
+export declare function validateStructuralPreconditions(input: unknown): StructuralPreconditionResult;
+/** Checks whether the operation is legal for the row binding's current state. */
+export declare function validateBindingState(operation: RowOperation, binding: RowBindingContext): PreconditionResult;
+/** Rejects a row that references a field absent from the ownership manifest. */
+export declare function validateManifestFields(fields: readonly ObservedFieldChange[], manifest: OwnershipManifest): PreconditionResult;
+/** Applies operation-specific evidence, required-field, and unique-key checks. */
+export declare function validateOperationPreconditions(row: ObservedRowChange, binding: RowBindingContext, canonical: CanonicalResolution, context: EvaluationContext): PreconditionResult;
+/** Separates illegal system fields from user-owned fields without resolving them. */
+export declare function inspectOwnership(fields: readonly ObservedFieldChange[], manifest: OwnershipManifest): OwnershipCheckResult;
+//# sourceMappingURL=preconditions.d.ts.map

package/dist/domain/evaluate/preconditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"preconditions.d.ts","sourceRoot":"","sources":["../../../src/domain/evaluate/preconditions.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAgBrE,OAAO,KAAK,EACV,mBAAmB,EAEnB,mBAAmB,EASnB,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAClB,4BAA4B,EAC7B,MAAM,gBAAgB,CAAC;AAExB,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,SAAS;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,cAAc,CAAA;KAAE,EAAE,CAAC;CAChF;AAED,6EAA6E;AAC7E,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,OAAO,GACb,4BAA4B,CAsC9B;AAED,iFAAiF;AACjF,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,YAAY,EACvB,OAAO,EAAE,iBAAiB,GACzB,kBAAkB,CAepB;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,QAAQ,EAAE,iBAAiB,GAC1B,kBAAkB,CAIpB;AAED,kFAAkF;AAClF,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,iBAAiB,EACtB,OAAO,EAAE,iBAAiB,EAC1B,SAAS,EAAE,mBAAmB,EAC9B,OAAO,EAAE,iBAAiB,GACzB,kBAAkB,CA4BpB;AAED,qFAAqF;AACrF,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,QAAQ,EAAE,iBAAiB,GAC1B,oBAAoB,CAkBtB"}