@acme-engine/core 0.1.0

package/dist/state-engine.js

@@ -0,0 +1,272 @@
+import { AcmeError } from './errors.js';
+import { nodeHashing } from './hashing.js';
+export const ACME_TRANSITION_ID_ALGORITHM = 'acme-transition-id-1';
+function invalid(code, message, details, cause) {
+    const data = details === undefined
+        ? {
+            code,
+            message,
+            stage: 'preparing-commit',
+            retryable: false,
+        }
+        : {
+            code,
+            message,
+            stage: 'preparing-commit',
+            retryable: false,
+            details,
+        };
+    return cause === undefined
+        ? new AcmeError(data)
+        : new AcmeError(data, { cause });
+}
+function requireNonEmpty(value, field) {
+    if (value.length === 0) {
+        throw invalid('INVALID_REQUEST', `${field} must be non-empty.`, {
+            field,
+        });
+    }
+}
+function cloneAndFreeze(canonical, errorCode, phase) {
+    let clone;
+    try {
+        clone = JSON.parse(canonical);
+    }
+    catch (error) {
+        throw invalid(errorCode, `Could not clone ${phase} as JSON.`, { phase }, error);
+    }
+    return deepFreeze(clone);
+}
+function deepFreeze(value) {
+    if (value !== null && typeof value === 'object') {
+        for (const child of Object.values(value)) {
+            deepFreeze(child);
+        }
+        Object.freeze(value);
+    }
+    return value;
+}
+function schemaIssues(issues) {
+    return issues.map(({ code, message, path }) => ({
+        code,
+        message,
+        path: path.map((part) => (typeof part === 'symbol' ? String(part) : part)),
+    }));
+}
+function validateJson(schema, input, hashing, errorCode, phase) {
+    let result;
+    try {
+        result = schema.safeParse(input);
+    }
+    catch (error) {
+        throw invalid(errorCode, `Schema execution failed for ${phase}.`, { phase }, error);
+    }
+    if (!result.success) {
+        throw invalid(errorCode, `Schema validation failed for ${phase}.`, {
+            phase,
+            issues: schemaIssues(result.error.issues),
+        });
+    }
+    let inputCanonical;
+    let outputCanonical;
+    try {
+        inputCanonical = hashing.canonicalJson(input);
+        outputCanonical = hashing.canonicalJson(result.data);
+    }
+    catch (error) {
+        throw invalid(errorCode, `${phase} must be a JSON value.`, { phase }, error);
+    }
+    if (inputCanonical !== outputCanonical) {
+        throw invalid(errorCode, `Schema must not coerce or transform ${phase}.`, {
+            phase,
+        });
+    }
+    return {
+        canonical: outputCanonical,
+        value: cloneAndFreeze(outputCanonical, errorCode, phase),
+    };
+}
+function safeDomainIssues(issues) {
+    return issues.map((issue) => ({
+        code: typeof issue === 'object' &&
+            issue !== null &&
+            'code' in issue &&
+            typeof issue.code === 'string'
+            ? issue.code
+            : 'INVALID_DOMAIN_ISSUE',
+        message: typeof issue === 'object' &&
+            issue !== null &&
+            'message' in issue &&
+            typeof issue.message === 'string'
+            ? issue.message
+            : 'Domain invariant failed.',
+        path: typeof issue === 'object' &&
+            issue !== null &&
+            'path' in issue &&
+            Array.isArray(issue.path)
+            ? issue.path
+                .filter((part) => typeof part === 'string' || typeof part === 'number')
+                .map((part) => part)
+            : [],
+    }));
+}
+function actualRevision(current) {
+    if (current === null) {
+        return 0;
+    }
+    if (!Number.isInteger(current.revision) || current.revision < 1) {
+        throw invalid('PERSISTENCE_CORRUPTION', 'Current state revision must be a positive integer.', { revision: current.revision });
+    }
+    return current.revision;
+}
+export function deriveTransitionId(input, hashing = nodeHashing) {
+    requireNonEmpty(input.executionId, 'executionId');
+    requireNonEmpty(input.operationKey, 'operationKey');
+    requireNonEmpty(input.namespace, 'namespace');
+    requireNonEmpty(input.entityId, 'entityId');
+    const identity = {
+        algorithm: ACME_TRANSITION_ID_ALGORITHM,
+        executionId: input.executionId,
+        operationKey: input.operationKey,
+        namespace: input.namespace,
+        entityId: input.entityId,
+    };
+    return `transition_${hashing.sha256(hashing.canonicalJson(identity))}`;
+}
+class PureStateEngine {
+    #hashing;
+    constructor(options) {
+        this.#hashing = options.hashing ?? nodeHashing;
+    }
+    prepare(module, current, expectedRevision, delta, context) {
+        requireNonEmpty(context.entityId, 'entityId');
+        requireNonEmpty(context.executionId, 'executionId');
+        requireNonEmpty(context.operationKey, 'operationKey');
+        requireNonEmpty(module.namespace, 'namespace');
+        if (!Number.isInteger(expectedRevision) || expectedRevision < 0) {
+            throw invalid('INVALID_REQUEST', 'Expected revision must be a non-negative integer.', { expectedRevision });
+        }
+        const fromRevision = actualRevision(current);
+        if (expectedRevision !== fromRevision) {
+            throw invalid('CONFLICT_STATE_REVISION', 'Expected state revision does not match current revision.', {
+                expectedRevision,
+                currentRevision: fromRevision,
+            });
+        }
+        let previous = null;
+        if (current !== null) {
+            if (current.entityId !== context.entityId ||
+                current.namespace !== module.namespace) {
+                throw invalid('INVALID_REQUEST', 'Current state does not match the requested state identity.', {
+                    currentEntityId: current.entityId,
+                    currentNamespace: current.namespace,
+                    entityId: context.entityId,
+                    namespace: module.namespace,
+                });
+            }
+            if (current.schemaVersion !== module.stateSchemaVersion) {
+                throw invalid('INVALID_REQUEST', 'Current state schema version is not supported by the module.', {
+                    currentSchemaVersion: current.schemaVersion,
+                    moduleSchemaVersion: module.stateSchemaVersion,
+                });
+            }
+            previous = validateJson(module.stateSchema, current.value, this.#hashing, 'PERSISTENCE_CORRUPTION', 'current state');
+            const computedPreviousHash = this.#hashing.sha256(previous.canonical);
+            if (computedPreviousHash !== current.valueHash) {
+                throw invalid('PERSISTENCE_CORRUPTION', 'Current state hash does not match its value.', {
+                    recordedHash: current.valueHash,
+                    computedHash: computedPreviousHash,
+                });
+            }
+        }
+        if (delta === undefined) {
+            return null;
+        }
+        if (delta.schemaVersion !== module.deltaSchemaVersion) {
+            throw invalid('DOMAIN_INVALID_RESULT', 'State delta schema version does not match the module.', {
+                deltaSchemaVersion: delta.schemaVersion,
+                moduleDeltaSchemaVersion: module.deltaSchemaVersion,
+            });
+        }
+        let base;
+        if (previous === null) {
+            let initial;
+            try {
+                initial = module.initialState({
+                    entityId: context.entityId,
+                    now: context.now,
+                });
+            }
+            catch (error) {
+                throw invalid('DOMAIN_INVALID_RESULT', 'Domain initial-state policy failed.', { phase: 'initial state' }, error);
+            }
+            base = validateJson(module.stateSchema, initial, this.#hashing, 'DOMAIN_INVALID_RESULT', 'initial state');
+        }
+        else {
+            base = previous;
+        }
+        const validatedDelta = validateJson(module.deltaSchema, delta.value, this.#hashing, 'DOMAIN_INVALID_RESULT', 'state delta');
+        let reduced;
+        try {
+            reduced = module.reduce(base.value, validatedDelta.value);
+        }
+        catch (error) {
+            throw invalid('DOMAIN_INVALID_RESULT', 'Domain state reducer failed.', { phase: 'reducer' }, error);
+        }
+        const next = validateJson(module.stateSchema, reduced, this.#hashing, 'DOMAIN_INVALID_RESULT', 'next state');
+        let domainIssues;
+        try {
+            domainIssues = module.invariants(next.value, previous === null ? null : previous.value);
+        }
+        catch (error) {
+            throw invalid('DOMAIN_INVALID_RESULT', 'Domain state invariants failed.', { phase: 'invariants' }, error);
+        }
+        if (!Array.isArray(domainIssues)) {
+            throw invalid('DOMAIN_INVALID_RESULT', 'Domain invariants must return an issue array.', { phase: 'invariants' });
+        }
+        if (domainIssues.length > 0) {
+            throw invalid('DOMAIN_INVALID_RESULT', 'Domain state invariants rejected the next state.', {
+                phase: 'invariants',
+                issues: safeDomainIssues(domainIssues),
+            });
+        }
+        const nextRevision = fromRevision + 1;
+        const nextHash = this.#hashing.sha256(next.canonical);
+        const transitionId = deriveTransitionId({
+            executionId: context.executionId,
+            operationKey: context.operationKey,
+            namespace: module.namespace,
+            entityId: context.entityId,
+        }, this.#hashing);
+        return Object.freeze({
+            snapshot: Object.freeze({
+                entityId: context.entityId,
+                namespace: module.namespace,
+                schemaVersion: module.stateSchemaVersion,
+                revision: nextRevision,
+                value: next.value,
+                valueHash: nextHash,
+                createdAt: context.now,
+                executionId: context.executionId,
+            }),
+            transition: Object.freeze({
+                transitionId,
+                operationKey: context.operationKey,
+                entityId: context.entityId,
+                namespace: module.namespace,
+                fromRevision,
+                toRevision: nextRevision,
+                deltaSchemaVersion: module.deltaSchemaVersion,
+                delta: validatedDelta.value,
+                previousHash: current?.valueHash ?? null,
+                nextHash,
+                executionId: context.executionId,
+                createdAt: context.now,
+            }),
+        });
+    }
+}
+export function createStateEngine(options = {}) {
+    return new PureStateEngine(options);
+}
+//# sourceMappingURL=state-engine.js.map

package/dist/state-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-engine.js","sourceRoot":"","sources":["../src/state-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAsB,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAS3C,MAAM,CAAC,MAAM,4BAA4B,GAAG,sBAA+B,CAAC;AA4B5E,SAAS,OAAO,CACd,IAAmB,EACnB,OAAe,EACf,OAAmB,EACnB,KAAe;IAEf,MAAM,IAAI,GACR,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC;YACE,IAAI;YACJ,OAAO;YACP,KAAK,EAAE,kBAA2B;YAClC,SAAS,EAAE,KAAK;SACjB;QACH,CAAC,CAAC;YACE,IAAI;YACJ,OAAO;YACP,KAAK,EAAE,kBAA2B;YAClC,SAAS,EAAE,KAAK;YAChB,OAAO;SACR,CAAC;IAER,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC;QACrB,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,KAAa;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,OAAO,CAAC,iBAAiB,EAAE,GAAG,KAAK,qBAAqB,EAAE;YAC9D,KAAK;SACN,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,SAAiB,EACjB,SAAwB,EACxB,KAAa;IAEb,IAAI,KAAgB,CAAC;IACrB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAc,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,CACX,SAAS,EACT,mBAAmB,KAAK,WAAW,EACnC,EAAE,KAAK,EAAE,EACT,KAAK,CACN,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAM,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CAAC,KAAgB;IAClC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,MAIG;IAEH,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI;QACJ,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAC3E,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,YAAY,CACnB,MAAiB,EACjB,KAAc,EACd,OAAgB,EAChB,SAAwB,EACxB,KAAa;IAEb,IAAI,MAA0C,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,CACX,SAAS,EACT,+BAA+B,KAAK,GAAG,EACvC,EAAE,KAAK,EAAE,EACT,KAAK,CACN,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,OAAO,CAAC,SAAS,EAAE,gCAAgC,KAAK,GAAG,EAAE;YACjE,KAAK;YACL,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IAED,IAAI,cAAsB,CAAC;IAC3B,IAAI,eAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,KAAkB,CAAC,CAAC;QAC3D,eAAe,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,CACX,SAAS,EACT,GAAG,KAAK,wBAAwB,EAChC,EAAE,KAAK,EAAE,EACT,KAAK,CACN,CAAC;IACJ,CAAC;IAED,IAAI,cAAc,KAAK,eAAe,EAAE,CAAC;QACvC,MAAM,OAAO,CAAC,SAAS,EAAE,uCAAuC,KAAK,GAAG,EAAE;YACxE,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,SAAS,EAAE,eAAe;QAC1B,KAAK,EAAE,cAAc,CAAI,eAAe,EAAE,SAAS,EAAE,KAAK,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA0B;IAClD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EACF,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,MAAM,IAAI,KAAK;YACf,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,KAAK,CAAC,IAAI;YACZ,CAAC,CAAC,sBAAsB;QAC5B,OAAO,EACL,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,SAAS,IAAI,KAAK;YAClB,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAC/B,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,0BAA0B;QAChC,IAAI,EACF,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,MAAM,IAAI,KAAK;YACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;YACvB,CAAC,CAAC,KAAK,CAAC,IAAI;iBACP,MAAM,CACL,CAAC,IAAI,EAA2B,EAAE,CAChC,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ,CACvD;iBACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;YACxB,CAAC,CAAC,EAAE;KACT,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAS,OAAqC;IACnE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAChE,MAAM,OAAO,CACX,wBAAwB,EACxB,oDAAoD,EACpD,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAC/B,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,QAAQ,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAA8B,EAC9B,UAAmB,WAAW;IAE9B,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAClD,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IACpD,eAAe,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC9C,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE5C,MAAM,QAAQ,GAAc;QAC1B,SAAS,EAAE,4BAA4B;QACvC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;IAEF,OAAO,cAAc,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,MAAM,eAAe;IACV,QAAQ,CAAU;IAE3B,YAAY,OAA2B;QACrC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,IAAI,WAAW,CAAC;IACjD,CAAC;IAED,OAAO,CACL,MAA4C,EAC5C,OAAqC,EACrC,gBAAwB,EACxB,KAAqC,EACrC,OAA4B;QAE5B,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAC9C,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACpD,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QACtD,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAE/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;YAChE,MAAM,OAAO,CACX,iBAAiB,EACjB,mDAAmD,EACnD,EAAE,gBAAgB,EAAE,CACrB,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,gBAAgB,KAAK,YAAY,EAAE,CAAC;YACtC,MAAM,OAAO,CACX,yBAAyB,EACzB,0DAA0D,EAC1D;gBACE,gBAAgB;gBAChB,eAAe,EAAE,YAAY;aAC9B,CACF,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,GAAiC,IAAI,CAAC;QAClD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IACE,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;gBACrC,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EACtC,CAAC;gBACD,MAAM,OAAO,CACX,iBAAiB,EACjB,4DAA4D,EAC5D;oBACE,eAAe,EAAE,OAAO,CAAC,QAAQ;oBACjC,gBAAgB,EAAE,OAAO,CAAC,SAAS;oBACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;iBAC5B,CACF,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,kBAAkB,EAAE,CAAC;gBACxD,MAAM,OAAO,CACX,iBAAiB,EACjB,8DAA8D,EAC9D;oBACE,oBAAoB,EAAE,OAAO,CAAC,aAAa;oBAC3C,mBAAmB,EAAE,MAAM,CAAC,kBAAkB;iBAC/C,CACF,CAAC;YACJ,CAAC;YAED,QAAQ,GAAG,YAAY,CACrB,MAAM,CAAC,WAAW,EAClB,OAAO,CAAC,KAAK,EACb,IAAI,CAAC,QAAQ,EACb,wBAAwB,EACxB,eAAe,CAChB,CAAC;YACF,MAAM,oBAAoB,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACtE,IAAI,oBAAoB,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;gBAC/C,MAAM,OAAO,CACX,wBAAwB,EACxB,8CAA8C,EAC9C;oBACE,YAAY,EAAE,OAAO,CAAC,SAAS;oBAC/B,YAAY,EAAE,oBAAoB;iBACnC,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,KAAK,CAAC,aAAa,KAAK,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACtD,MAAM,OAAO,CACX,uBAAuB,EACvB,uDAAuD,EACvD;gBACE,kBAAkB,EAAE,KAAK,CAAC,aAAa;gBACvC,wBAAwB,EAAE,MAAM,CAAC,kBAAkB;aACpD,CACF,CAAC;QACJ,CAAC;QAED,IAAI,IAA2B,CAAC;QAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,OAAe,CAAC;YACpB,IAAI,CAAC;gBACH,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC;oBAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,GAAG,EAAE,OAAO,CAAC,GAAG;iBACjB,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,KAAc,EAAE,CAAC;gBACxB,MAAM,OAAO,CACX,uBAAuB,EACvB,qCAAqC,EACrC,EAAE,KAAK,EAAE,eAAe,EAAE,EAC1B,KAAK,CACN,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,YAAY,CACjB,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,IAAI,CAAC,QAAQ,EACb,uBAAuB,EACvB,eAAe,CAChB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,cAAc,GAAG,YAAY,CACjC,MAAM,CAAC,WAAW,EAClB,KAAK,CAAC,KAAK,EACX,IAAI,CAAC,QAAQ,EACb,uBAAuB,EACvB,aAAa,CACd,CAAC;QAEF,IAAI,OAAe,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,OAAO,CACX,uBAAuB,EACvB,8BAA8B,EAC9B,EAAE,KAAK,EAAE,SAAS,EAAE,EACpB,KAAK,CACN,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CACvB,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,IAAI,CAAC,QAAQ,EACb,uBAAuB,EACvB,YAAY,CACb,CAAC;QAEF,IAAI,YAAoC,CAAC;QACzC,IAAI,CAAC;YACH,YAAY,GAAG,MAAM,CAAC,UAAU,CAC9B,IAAI,CAAC,KAAK,EACV,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAC1C,CAAC;QACJ,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,OAAO,CACX,uBAAuB,EACvB,iCAAiC,EACjC,EAAE,KAAK,EAAE,YAAY,EAAE,EACvB,KAAK,CACN,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,MAAM,OAAO,CACX,uBAAuB,EACvB,+CAA+C,EAC/C,EAAE,KAAK,EAAE,YAAY,EAAE,CACxB,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,OAAO,CACX,uBAAuB,EACvB,kDAAkD,EAClD;gBACE,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,gBAAgB,CAAC,YAAY,CAAC;aACvC,CACF,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,YAAY,GAAG,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,kBAAkB,CACrC;YACE,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,EACD,IAAI,CAAC,QAAQ,CACd,CAAC;QAEF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,aAAa,EAAE,MAAM,CAAC,kBAAkB;gBACxC,QAAQ,EAAE,YAAY;gBACtB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,SAAS,EAAE,QAAQ;gBACnB,SAAS,EAAE,OAAO,CAAC,GAAG;gBACtB,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC;YACF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,YAAY;gBACZ,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,YAAY;gBACZ,UAAU,EAAE,YAAY;gBACxB,kBAAkB,EAAE,MAAM,CAAC,kBAAkB;gBAC7C,KAAK,EAAE,cAAc,CAAC,KAAK;gBAC3B,YAAY,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI;gBACxC,QAAQ;gBACR,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS,EAAE,OAAO,CAAC,GAAG;aACvB,CAAC;SACH,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAC/B,UAA8B,EAAE;IAEhC,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC"}

package/dist/state-projection.d.ts

@@ -0,0 +1,5 @@
+import type { Hashing } from './common.js';
+import type { PreparedMemory } from './memory.js';
+import type { ModuleResult, StateProjectionInput } from './modules.js';
+export declare function buildStateProjectionInput<TDelta>(result: ModuleResult<TDelta>, preparedMemory: PreparedMemory, hashing?: Hashing): StateProjectionInput<TDelta>;
+//# sourceMappingURL=state-projection.d.ts.map

package/dist/state-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-projection.d.ts","sourceRoot":"","sources":["../src/state-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAa,MAAM,aAAa,CAAC;AAGtD,OAAO,KAAK,EAIV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,YAAY,EACZ,oBAAoB,EAErB,MAAM,cAAc,CAAC;AAgKtB,wBAAgB,yBAAyB,CAAC,MAAM,EAC9C,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,EAC5B,cAAc,EAAE,cAAc,EAC9B,OAAO,GAAE,OAAqB,GAC7B,oBAAoB,CAAC,MAAM,CAAC,CAgD9B"}

package/dist/state-projection.js

@@ -0,0 +1,145 @@
+import { AcmeError } from './errors.js';
+import { nodeHashing } from './hashing.js';
+function invalid(message, details, cause) {
+    const data = details === undefined
+        ? {
+            code: 'DOMAIN_INVALID_RESULT',
+            message,
+            stage: 'preparing-commit',
+            retryable: false,
+        }
+        : {
+            code: 'DOMAIN_INVALID_RESULT',
+            message,
+            stage: 'preparing-commit',
+            retryable: false,
+            details,
+        };
+    return cause === undefined
+        ? new AcmeError(data)
+        : new AcmeError(data, { cause });
+}
+function deepFreeze(value) {
+    if (value !== null && typeof value === 'object') {
+        for (const child of Object.values(value)) {
+            deepFreeze(child);
+        }
+        Object.freeze(value);
+    }
+    return value;
+}
+function cloneProjection(value, hashing) {
+    let canonical;
+    try {
+        canonical = hashing.canonicalJson(value);
+    }
+    catch (error) {
+        throw invalid('State projection input must contain only canonical JSON values.', undefined, error);
+    }
+    try {
+        return deepFreeze(JSON.parse(canonical));
+    }
+    catch (error) {
+        throw invalid('State projection input could not be cloned.', undefined, error);
+    }
+}
+function requireKey(value, kind, index) {
+    if (value === null ||
+        typeof value !== 'object' ||
+        !('key' in value || 'candidateKey' in value)) {
+        throw invalid(`Memory ${kind} ${index} is malformed.`, { kind, index });
+    }
+    const key = kind === 'candidate'
+        ? value.key
+        : value.candidateKey;
+    if (typeof key !== 'string' || key.length === 0) {
+        throw invalid(`Memory ${kind} ${index} key must be non-empty.`, {
+            kind,
+            index,
+        });
+    }
+    return key;
+}
+function indexCandidates(candidates) {
+    const indexed = new Map();
+    for (const [index, candidate] of candidates.entries()) {
+        const key = requireKey(candidate, 'candidate', index);
+        if (indexed.has(key)) {
+            throw invalid('Memory candidate keys must be unique for state projection.', {
+                candidateKey: key,
+            });
+        }
+        indexed.set(key, candidate);
+    }
+    return indexed;
+}
+function indexDecisions(decisions) {
+    const indexed = new Map();
+    for (const [index, decision] of decisions.entries()) {
+        const key = requireKey(decision, 'decision', index);
+        if (decision.resolution === null ||
+            typeof decision.resolution !== 'object' ||
+            decision.resolution.candidateKey !== key) {
+            throw invalid('Prepared memory resolution must match its decision candidate key.', { candidateKey: key });
+        }
+        if (indexed.has(key)) {
+            throw invalid('Prepared memory decision keys must be unique.', {
+                candidateKey: key,
+            });
+        }
+        indexed.set(key, decision);
+    }
+    return indexed;
+}
+function isAppliedResolution(resolution) {
+    return !(resolution.action === 'ignore' ||
+        (resolution.action === 'contradict' &&
+            resolution.disposition === 'reject-candidate'));
+}
+function appliedDecision(candidate, decision) {
+    if (!isAppliedResolution(decision.resolution)) {
+        return null;
+    }
+    return {
+        candidate,
+        identityKey: decision.identityKey,
+        resolution: decision.resolution,
+        affectedMemoryIds: decision.affectedMemoryIds,
+    };
+}
+export function buildStateProjectionInput(result, preparedMemory, hashing = nodeHashing) {
+    if (!Array.isArray(result.memories)) {
+        throw invalid('Module memory candidates must be an array.');
+    }
+    if (!Array.isArray(preparedMemory.decisions)) {
+        throw invalid('Prepared memory decisions must be an array.');
+    }
+    const candidates = indexCandidates(result.memories);
+    const decisions = indexDecisions(preparedMemory.decisions);
+    for (const candidateKey of candidates.keys()) {
+        if (!decisions.has(candidateKey)) {
+            throw invalid('Every memory candidate must have one prepared decision before state projection.', { candidateKey });
+        }
+    }
+    for (const candidateKey of decisions.keys()) {
+        if (!candidates.has(candidateKey)) {
+            throw invalid('Prepared memory decisions must not reference foreign candidates.', { candidateKey });
+        }
+    }
+    const memory = [];
+    for (const decision of preparedMemory.decisions) {
+        const candidate = candidates.get(decision.candidateKey);
+        if (candidate === undefined) {
+            throw invalid('Prepared memory decisions must not reference foreign candidates.', { candidateKey: decision.candidateKey });
+        }
+        const applied = appliedDecision(candidate, decision);
+        if (applied !== null) {
+            memory.push(applied);
+        }
+    }
+    const input = result.stateIntent === undefined
+        ? { memory }
+        : { stateIntent: result.stateIntent, memory };
+    return cloneProjection(input, hashing);
+}
+//# sourceMappingURL=state-projection.js.map

package/dist/state-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-projection.js","sourceRoot":"","sources":["../src/state-projection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAc3C,SAAS,OAAO,CACd,OAAe,EACf,OAAmB,EACnB,KAAe;IAEf,MAAM,IAAI,GACR,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC;YACE,IAAI,EAAE,uBAAgC;YACtC,OAAO;YACP,KAAK,EAAE,kBAA2B;YAClC,SAAS,EAAE,KAAK;SACjB;QACH,CAAC,CAAC;YACE,IAAI,EAAE,uBAAgC;YACtC,OAAO;YACP,KAAK,EAAE,kBAA2B;YAClC,SAAS,EAAE,KAAK;YAChB,OAAO;SACR,CAAC;IAER,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC;QACrB,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CACtB,KAA8B,EAC9B,OAAgB;IAEhB,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,KAA6B,CAAC,CAAC;IACnE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,CACX,iEAAiE,EACjE,SAAS,EACT,KAAK,CACN,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAA4B,CAAC,CAAC;IACtE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,CACX,6CAA6C,EAC7C,SAAS,EACT,KAAK,CACN,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,IAA8B,EAC9B,KAAa;IAEb,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,CAAC,KAAK,IAAI,KAAK,IAAI,cAAc,IAAI,KAAK,CAAC,EAC5C,CAAC;QACD,MAAM,OAAO,CAAC,UAAU,IAAI,IAAI,KAAK,gBAAgB,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,GAAG,GACP,IAAI,KAAK,WAAW;QAClB,CAAC,CAAE,KAAoC,CAAC,GAAG;QAC3C,CAAC,CAAE,KAA6C,CAAC,YAAY,CAAC;IAClE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,OAAO,CAAC,UAAU,IAAI,IAAI,KAAK,yBAAyB,EAAE;YAC9D,IAAI;YACJ,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CACtB,UAAsC;IAEtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,CACX,4DAA4D,EAC5D;gBACE,YAAY,EAAE,GAAG;aAClB,CACF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CACrB,SAA4C;IAE5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QACpD,IACE,QAAQ,CAAC,UAAU,KAAK,IAAI;YAC5B,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ;YACvC,QAAQ,CAAC,UAAU,CAAC,YAAY,KAAK,GAAG,EACxC,CAAC;YACD,MAAM,OAAO,CACX,mEAAmE,EACnE,EAAE,YAAY,EAAE,GAAG,EAAE,CACtB,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,OAAO,CAAC,+CAA+C,EAAE;gBAC7D,YAAY,EAAE,GAAG;aAClB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAA4B;IAE5B,OAAO,CAAC,CACN,UAAU,CAAC,MAAM,KAAK,QAAQ;QAC9B,CAAC,UAAU,CAAC,MAAM,KAAK,YAAY;YACjC,UAAU,CAAC,WAAW,KAAK,kBAAkB,CAAC,CACjD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,SAA0B,EAC1B,QAAgC;IAEhC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,SAAS;QACT,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAA4B,EAC5B,cAA8B,EAC9B,UAAmB,WAAW;IAE9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,MAAM,OAAO,CAAC,4CAA4C,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,MAAM,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,cAAc,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAE3D,KAAK,MAAM,YAAY,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,MAAM,OAAO,CACX,iFAAiF,EACjF,EAAE,YAAY,EAAE,CACjB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,YAAY,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YAClC,MAAM,OAAO,CACX,kEAAkE,EAClE,EAAE,YAAY,EAAE,CACjB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAoC,EAAE,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,cAAc,CAAC,SAAS,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,OAAO,CACX,kEAAkE,EAClE,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE,CACxC,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACrD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GACT,MAAM,CAAC,WAAW,KAAK,SAAS;QAC9B,CAAC,CAAC,EAAE,MAAM,EAAE;QACZ,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAClD,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC"}

package/dist/state.d.ts

@@ -0,0 +1,41 @@
+import type { EntityId, ExecutionId, IsoTimestamp, Namespace } from './common.js';
+export interface StateSnapshot<TState> {
+    readonly entityId: EntityId;
+    readonly namespace: Namespace;
+    readonly schemaVersion: string;
+    readonly revision: number;
+    readonly value: TState;
+    readonly valueHash: string;
+    readonly createdAt: IsoTimestamp;
+    readonly executionId: ExecutionId;
+}
+export interface StateTransition<TDelta> {
+    readonly transitionId: string;
+    readonly operationKey: string;
+    readonly entityId: EntityId;
+    readonly namespace: Namespace;
+    readonly fromRevision: number;
+    readonly toRevision: number;
+    readonly deltaSchemaVersion: string;
+    readonly delta: TDelta;
+    readonly previousHash: string | null;
+    readonly nextHash: string;
+    readonly executionId: ExecutionId;
+    readonly createdAt: IsoTimestamp;
+}
+export interface DomainIssue {
+    readonly code: string;
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+}
+export interface PreparedState<TState, TDelta> {
+    readonly snapshot: StateSnapshot<TState>;
+    readonly transition: StateTransition<TDelta>;
+}
+export interface StatePrepareContext {
+    readonly entityId: EntityId;
+    readonly executionId: ExecutionId;
+    readonly operationKey: string;
+    readonly now: IsoTimestamp;
+}
+//# sourceMappingURL=state.d.ts.map

package/dist/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,SAAS,EACV,MAAM,aAAa,CAAC;AAErB,MAAM,WAAW,aAAa,CAAC,MAAM;IACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC;AAED,MAAM,WAAW,eAAe,CAAC,MAAM;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa,CAAC,MAAM,EAAE,MAAM;IAC3C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;CAC5B"}

package/dist/state.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=state.js.map

package/dist/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":""}

package/dist/stranded-execution.d.ts

@@ -0,0 +1,59 @@
+import type { ExecutionId, IsoTimestamp } from './common.js';
+import { type AcmeErrorData } from './errors.js';
+import type { ExecutionStatus } from './execution-status.js';
+import type { ModelCallRecord, NonCommitTerminalRecord, RepositoryEvidence } from './repository.js';
+/** Versioned list document identity. */
+export declare const ACME_STRANDED_LIST: "acme-stranded-list/1";
+/**
+ * Why an execution needs a human decision rather than automatic resume.
+ * Aligns with ADR-0017 resume refusals and ADR-0014 terminal ambiguity.
+ */
+export type StrandedReasonCode = 'unobserved-reservation' | 'unreadable-response' | 'recorded-failure' | 'recorded-ambiguous' | 'terminal-resume-refusal';
+export type StrandedDisposition = 'open' | 'terminal';
+export interface StrandedExecutionEntry {
+    readonly executionId: ExecutionId;
+    readonly disposition: StrandedDisposition;
+    readonly status: ExecutionStatus;
+    readonly namespace: string;
+    readonly task: string;
+    readonly requestKey: string;
+    readonly entityId: string;
+    readonly reasonCode: StrandedReasonCode;
+    readonly modelCallId?: string;
+    readonly modelCallStatus?: ModelCallRecord['status'];
+    readonly errorCode?: AcmeErrorData['code'];
+    readonly createdAt: IsoTimestamp;
+    readonly updatedAt: IsoTimestamp;
+}
+export interface StrandedListReport {
+    readonly report: typeof ACME_STRANDED_LIST;
+    readonly count: number;
+    readonly entries: readonly StrandedExecutionEntry[];
+}
+export interface OperatorDischargeInput {
+    readonly executionId: ExecutionId;
+    /** Non-empty operator identity (human or system account name). */
+    readonly dischargedBy: string;
+    /** Non-empty rationale for the discharge decision. */
+    readonly rationale: string;
+    readonly dischargedAt: IsoTimestamp;
+}
+export interface OperatorDischargeResult {
+    readonly executionId: ExecutionId;
+    readonly reasonCode: StrandedReasonCode;
+    readonly terminal: NonCommitTerminalRecord;
+}
+/**
+ * Inventory executions that need a human decision for resume/outcome
+ * (ADR-0017). Deterministic order: `executionId` ascending.
+ */
+export declare function listStrandedExecutions(evidence: Pick<RepositoryEvidence, 'executions' | 'modelCalls'>, options?: {
+    readonly limit?: number;
+}): StrandedListReport;
+/**
+ * Build a non-commit terminal record for an **open** stranded execution.
+ * Does not write; the caller persists via `markTerminal` (and optional
+ * attempt append). Refuses committed, non-stranded and already-terminal rows.
+ */
+export declare function prepareOperatorDischarge(evidence: Pick<RepositoryEvidence, 'executions' | 'modelCalls'>, input: OperatorDischargeInput): OperatorDischargeResult;
+//# sourceMappingURL=stranded-execution.d.ts.map

package/dist/stranded-execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stranded-execution.d.ts","sourceRoot":"","sources":["../src/stranded-execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAa,MAAM,aAAa,CAAC;AACxE,OAAO,EAAa,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAEV,eAAe,EACf,uBAAuB,EACvB,kBAAkB,EACnB,MAAM,iBAAiB,CAAC;AAEzB,wCAAwC;AACxC,eAAO,MAAM,kBAAkB,EAAG,sBAA+B,CAAC;AAElE;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAC1B,wBAAwB,GACxB,qBAAqB,GACrB,kBAAkB,GAClB,oBAAoB,GACpB,yBAAyB,CAAC;AAE9B,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG,UAAU,CAAC;AAEtD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,kBAAkB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACrD;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,kEAAkE;IAClE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;CACrC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;CAC5C;AAmJD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,YAAY,GAAG,YAAY,CAAC,EAC/D,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GACxC,kBAAkB,CA8DpB;AA+CD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,YAAY,GAAG,YAAY,CAAC,EAC/D,KAAK,EAAE,sBAAsB,GAC5B,uBAAuB,CAuDzB"}