@acme-engine/core 0.1.0

package/dist/repository.d.ts

@@ -0,0 +1,260 @@
+import type { DiagnosticFact, EntityId, ExecutionId, IsoTimestamp, JsonValue, Namespace, StoredDocument } from './common.js';
+import type { ContractRef } from './contracts.js';
+import type { AcmeErrorData } from './errors.js';
+import type { EvaluationDecision } from './evaluation.js';
+import type { ExecutionPolicy, ExecutionRequest, ExecutionResult, ExecutionStatus } from './execution-types.js';
+import type { MemoryCandidate, MemoryQuery, MemoryRecord, PreparedMemory, PreparedMemoryDecision, RankedMemory } from './memory.js';
+import type { CompletedModelCall, FailedModelCall, ModelCallRecord, ModelCallReservation } from './repository-model-call.js';
+import type { CandidateDocument, CandidateEvent } from './modules.js';
+import type { PreparedState, StateSnapshot, StateTransition } from './state.js';
+export interface AcceptedExecution {
+    readonly executionId: ExecutionId;
+    readonly request: ExecutionRequest<JsonValue>;
+    readonly requestFingerprint: string;
+    readonly inputHash: string;
+    readonly contract: ContractRef;
+    readonly contractFingerprint: string;
+    readonly effectivePolicy: ExecutionPolicy;
+    readonly createdAt: IsoTimestamp;
+}
+export type AcceptResult = {
+    readonly kind: 'created';
+    readonly execution: ExecutionRecord;
+} | {
+    readonly kind: 'existing';
+    readonly execution: ExecutionRecord;
+} | {
+    readonly kind: 'conflict';
+    readonly existingExecutionId: ExecutionId;
+};
+export interface ExecutionRecord {
+    readonly executionId: ExecutionId;
+    readonly request: ExecutionRequest<JsonValue>;
+    readonly requestFingerprint: string;
+    readonly inputHash: string;
+    readonly contract: ContractRef;
+    readonly contractFingerprint: string;
+    readonly policy: ExecutionPolicy;
+    readonly status: ExecutionStatus;
+    readonly currentStage: ExecutionStatus;
+    readonly result?: ExecutionResult;
+    readonly error?: AcmeErrorData;
+    readonly createdAt: IsoTimestamp;
+    readonly updatedAt: IsoTimestamp;
+}
+/**
+ * Recorded evidence an interrupted execution can be resumed from (ADR-0017).
+ *
+ * `lastAttemptNumber` is `0` when no attempt has been recorded yet, so a
+ * resumed run always continues at `lastAttemptNumber + 1`.
+ */
+export interface ExecutionResumeState {
+    readonly executionId: ExecutionId;
+    readonly lastAttemptNumber: number;
+    readonly modelCalls: readonly ModelCallRecord[];
+}
+export interface ExecutionAttempt {
+    readonly executionId: ExecutionId;
+    readonly attemptNumber: number;
+    readonly stage: ExecutionStatus;
+    readonly outcome: 'started' | 'succeeded' | 'failed' | 'retry-scheduled';
+    readonly retryAt?: IsoTimestamp;
+    readonly diagnostic?: DiagnosticFact;
+    readonly occurredAt: IsoTimestamp;
+}
+export interface ContextQuery {
+    readonly namespace: Namespace;
+    readonly entityId: EntityId;
+    readonly expectedRevision: number;
+    readonly memory: MemoryQuery;
+    readonly documentKinds?: readonly string[];
+}
+export interface ExecutionReadSet {
+    readonly state: StateSnapshot<JsonValue> | null;
+    readonly memories: readonly MemoryRecord[];
+    readonly documents: readonly StoredDocument[];
+}
+export interface RecordedRankedMemory extends RankedMemory {
+    readonly rank: number;
+}
+export interface ExecutionReplayReadSet {
+    readonly state: StateSnapshot<JsonValue> | null;
+    readonly loadedMemories: readonly MemoryRecord[];
+    readonly retrievedMemories: readonly RecordedRankedMemory[];
+    readonly documents: readonly StoredDocument[];
+}
+export interface PreparedReplayEvidence {
+    readonly taskInput: JsonValue;
+    readonly readSet: ExecutionReplayReadSet;
+}
+export interface PreparedEvaluatorRun {
+    readonly evaluatorId: string;
+    readonly evaluatorVersion: string;
+    readonly attempt: number;
+    readonly subjectHash: string;
+    readonly decision: EvaluationDecision;
+}
+export interface PreparedCommit {
+    readonly executionId: ExecutionId;
+    readonly expectedRevision: number;
+    readonly operationDigest: string;
+    readonly documents: readonly CandidateDocument[];
+    readonly memoryCandidates: readonly MemoryCandidate[];
+    readonly memory: PreparedMemory;
+    readonly state: PreparedState<JsonValue, JsonValue> | null;
+    readonly evaluatorRuns: readonly PreparedEvaluatorRun[];
+    readonly events: readonly CandidateEvent[];
+    readonly committedAt: IsoTimestamp;
+    readonly replayEvidence?: PreparedReplayEvidence;
+}
+export type PreparedCommitContent = Omit<PreparedCommit, 'operationDigest'>;
+export interface CommittedExecution {
+    readonly executionId: ExecutionId;
+    readonly revision: number;
+    readonly documentKeys: readonly string[];
+    readonly eventIds: readonly string[];
+    readonly operationDigest: string;
+}
+export interface NonCommitTerminalRecord {
+    readonly executionId: ExecutionId;
+    readonly status: 'blocked' | 'conflicted' | 'cancelled' | 'failed';
+    readonly error: AcmeErrorData;
+    readonly terminalAt: IsoTimestamp;
+}
+export interface ExecutionReplayEvidence {
+    readonly executionId: ExecutionId;
+    readonly request: ExecutionRequest<JsonValue>;
+    readonly requestFingerprint: string;
+    readonly inputHash: string;
+    readonly contract: ContractRef;
+    readonly contractFingerprint: string;
+    readonly effectivePolicy: ExecutionPolicy;
+    readonly taskInput: JsonValue;
+    readonly readSet: ExecutionReplayReadSet;
+    readonly modelCalls: readonly ModelCallRecord[];
+    readonly preparedCommit: PreparedCommit;
+}
+export interface StoredMemoryCandidate {
+    readonly executionId: ExecutionId;
+    readonly candidate: MemoryCandidate;
+    readonly decision: PreparedMemoryDecision;
+    readonly createdAt: IsoTimestamp;
+}
+export interface StoredEvaluatorRun extends PreparedEvaluatorRun {
+    readonly executionId: ExecutionId;
+    readonly createdAt: IsoTimestamp;
+}
+export interface DomainEventRecord {
+    readonly eventId: string;
+    readonly executionId: ExecutionId;
+    readonly key: string;
+    readonly namespace: Namespace;
+    readonly entityId: EntityId;
+    readonly type: string;
+    readonly schemaVersion: string;
+    readonly payload: JsonValue;
+    readonly occurredAt: IsoTimestamp;
+}
+export interface OutboxRecord {
+    readonly eventId: string;
+    readonly status: 'pending' | 'claimed' | 'delivered' | 'failed';
+    readonly attemptCount: number;
+    readonly availableAt: IsoTimestamp;
+    readonly claimedAt?: IsoTimestamp;
+    readonly deliveredAt?: IsoTimestamp;
+    readonly lastError?: AcmeErrorData;
+}
+/** One leased outbox entry and the committed event it carries (ADR-0018). */
+export interface LeasedOutboxEntry {
+    readonly record: OutboxRecord;
+    readonly event: DomainEventRecord;
+}
+export interface OutboxLease {
+    /** Entries due at or before this instant may be leased. */
+    readonly now: IsoTimestamp;
+    /** Maximum entries to lease. Must be greater than zero. */
+    readonly limit: number;
+    /** When the lease expires and the entry becomes available again. */
+    readonly leaseExpiresAt: IsoTimestamp;
+}
+export interface DeliveredOutboxEntry {
+    readonly eventId: string;
+    readonly deliveredAt: IsoTimestamp;
+}
+export interface FailedOutboxEntry {
+    readonly eventId: string;
+    readonly error: AcmeErrorData;
+    readonly failedAt: IsoTimestamp;
+    /** Present to retry later; absent to give up and mark the entry `failed`. */
+    readonly retryAt?: IsoTimestamp;
+}
+/**
+ * Operator redrive of a terminal `failed` outbox entry back to `pending`
+ * (gap plan O1 / ACME-0059). `lastError` is retained as evidence; attempt
+ * count is not reset.
+ */
+export interface OutboxRedriveEntry {
+    readonly eventId: string;
+    /** When the entry becomes leasable again. */
+    readonly availableAt: IsoTimestamp;
+}
+export interface OutboxQuery {
+    readonly status?: OutboxRecord['status'];
+    readonly limit: number;
+}
+export interface ExecutionRepository {
+    accept(request: AcceptedExecution): Promise<AcceptResult>;
+    get(executionId: ExecutionId): Promise<ExecutionRecord | null>;
+    appendAttempt(attempt: ExecutionAttempt): Promise<void>;
+    reserveModelCall(call: ModelCallReservation): Promise<ModelCallRecord>;
+    completeModelCall(call: CompletedModelCall): Promise<void>;
+    failModelCall(call: FailedModelCall): Promise<void>;
+    loadContext(query: ContextQuery): Promise<ExecutionReadSet>;
+    /**
+     * Recorded model calls and attempt progress of an accepted execution,
+     * revealed with the same payload rules as `loadReplayEvidence`. Returns
+     * `null` only when the execution is unknown.
+     */
+    loadResumeState(executionId: ExecutionId): Promise<ExecutionResumeState | null>;
+    commit(prepared: PreparedCommit): Promise<CommittedExecution>;
+    markTerminal(terminal: NonCommitTerminalRecord): Promise<void>;
+    loadReplayEvidence(executionId: ExecutionId): Promise<ExecutionReplayEvidence | null>;
+    /**
+     * Atomically lease due outbox entries (ADR-0018). Entries are `pending`, or
+     * already leased past their expiry, with `availableAt <= now`. Ordering is
+     * `event.occurredAt` then `eventId`, and each lease increments the attempt
+     * count. The persisted status value stays `claimed` from the original
+     * schema; the API says lease because domain vocabulary owns the other word.
+     */
+    leaseOutbox(lease: OutboxLease): Promise<readonly LeasedOutboxEntry[]>;
+    /** Settle a leased entry as delivered. Idempotent. */
+    markOutboxDelivered(entry: DeliveredOutboxEntry): Promise<void>;
+    /** Settle a leased entry for retry, or as `failed` without `retryAt`. */
+    markOutboxFailed(entry: FailedOutboxEntry): Promise<void>;
+    /**
+     * Move a terminal `failed` outbox entry back to `pending` so a later drain
+     * may lease it. Refuses `delivered`, unknown ids and non-failed statuses.
+     * Does not delete evidence; keeps `lastError` and `attemptCount`.
+     */
+    redriveOutbox(entry: OutboxRedriveEntry): Promise<void>;
+    /** Read outbox entries and their events in lease order, leasing nothing. */
+    listOutbox(query: OutboxQuery): Promise<readonly LeasedOutboxEntry[]>;
+}
+export interface RepositoryStateEvidence {
+    readonly snapshots: readonly StateSnapshot<JsonValue>[];
+    readonly transitions: readonly StateTransition<JsonValue>[];
+}
+export interface RepositoryEvidence {
+    readonly executions: readonly ExecutionRecord[];
+    readonly attempts: readonly ExecutionAttempt[];
+    readonly modelCalls: readonly ModelCallRecord[];
+    readonly documents: readonly StoredDocument[];
+    readonly memoryCandidates: readonly StoredMemoryCandidate[];
+    readonly memoryRecords: readonly MemoryRecord[];
+    readonly state: RepositoryStateEvidence;
+    readonly evaluatorRuns: readonly StoredEvaluatorRun[];
+    readonly events: readonly DomainEventRecord[];
+    readonly outbox: readonly OutboxRecord[];
+}
+export type { CompletedModelCall, FailedModelCall, ModelCallRecord, ModelCallReservation, } from './repository-model-call.js';
+//# sourceMappingURL=repository.d.ts.map

package/dist/repository.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository.d.ts","sourceRoot":"","sources":["../src/repository.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,EACT,cAAc,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,eAAe,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EACV,eAAe,EACf,WAAW,EACX,YAAY,EACZ,cAAc,EACd,sBAAsB,EACtB,YAAY,EACb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,oBAAoB,EACrB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAEhF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAA;CAAE,CAAC;AAE7E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,iBAAiB,CAAC;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,oBAAqB,SAAQ,YAAY;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,SAAS,YAAY,EAAE,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACjD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,eAAe,EAAE,CAAC;IACtD,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACxD,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,sBAAsB,CAAC;CAClD;AAED,MAAM,MAAM,qBAAqB,GAAG,IAAI,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;AAE5E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,QAAQ,CAAC;IACnE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;CACzC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC;CAClC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC;CACpC;AAED,6EAA6E;AAC7E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,2DAA2D;IAC3D,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,YAAY,CAAC;CACvC;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;CACpC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,MAAM,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1D,GAAG,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IAC/D,aAAa,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,gBAAgB,CAAC,IAAI,EAAE,oBAAoB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IACvE,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3D,aAAa,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,WAAW,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC5D;;;;OAIG;IACH,eAAe,CACb,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;IACxC,MAAM,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC9D,YAAY,CAAC,QAAQ,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/D,kBAAkB,CAChB,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,uBAAuB,GAAG,IAAI,CAAC,CAAC;IAC3C;;;;;;OAMG;IACH,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAAC;IACvE,sDAAsD;IACtD,mBAAmB,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,yEAAyE;IACzE,gBAAgB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D;;;;OAIG;IACH,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,4EAA4E;IAC5E,UAAU,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC5D,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,uBAAuB,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACtD,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAED,YAAY,EACV,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,oBAAoB,GACrB,MAAM,4BAA4B,CAAC"}

package/dist/repository.js

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

package/dist/repository.js.map

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

package/dist/response-pipeline.d.ts

@@ -0,0 +1,3 @@
+import type { ResponsePipeline, ResponsePipelineOptions } from './contracts.js';
+export declare function createResponsePipeline(options?: ResponsePipelineOptions): ResponsePipeline;
+//# sourceMappingURL=response-pipeline.d.ts.map

package/dist/response-pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"response-pipeline.d.ts","sourceRoot":"","sources":["../src/response-pipeline.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAGV,gBAAgB,EAChB,uBAAuB,EAExB,MAAM,gBAAgB,CAAC;AAkOxB,wBAAgB,sBAAsB,CACpC,OAAO,GAAE,uBAA4B,GACpC,gBAAgB,CAElB"}

package/dist/response-pipeline.js

@@ -0,0 +1,132 @@
+import { nodeHashing } from './hashing.js';
+const jsonFencePattern = /^```(?:json)?[ \t]*\r?\n([\s\S]*?)\r?\n```[ \t]*$/iu;
+function issue(code, message, severity = 'error', path = []) {
+    return { code, path, message, severity };
+}
+function schemaIssuePath(path) {
+    return path.map((part) => (typeof part === 'symbol' ? String(part) : part));
+}
+function failed(stage, issues, repairable = true) {
+    return {
+        ok: false,
+        stage,
+        issues,
+        repairable,
+    };
+}
+function deepFreeze(value) {
+    if (value !== null && typeof value === 'object' && !Object.isFrozen(value)) {
+        Object.freeze(value);
+        for (const child of Object.values(value)) {
+            deepFreeze(child);
+        }
+    }
+    return value;
+}
+class StrictResponsePipeline {
+    #hashing;
+    constructor(options) {
+        this.#hashing = options.hashing ?? nodeHashing;
+    }
+    process(response, contract, input) {
+        const inputResult = contract.inputSchema.safeParse(input);
+        if (!inputResult.success) {
+            return failed('input', inputResult.error.issues.map((schemaIssue) => issue('CONTRACT_INPUT_SCHEMA', schemaIssue.message, 'error', schemaIssuePath(schemaIssue.path))), false);
+        }
+        let inputCanonical;
+        let validatedInputCanonical;
+        try {
+            inputCanonical = this.#hashing.canonicalJson(input);
+            validatedInputCanonical = this.#hashing.canonicalJson(inputResult.data);
+        }
+        catch {
+            return failed('input', [
+                issue('CONTRACT_INPUT_NON_JSON_VALUE', 'Validated contract input must remain a JSON value.'),
+            ], false);
+        }
+        if (inputCanonical !== validatedInputCanonical) {
+            return failed('input', [
+                issue('CONTRACT_INPUT_SCHEMA_COERCION', 'Input schema changed the supplied JSON value.'),
+            ], false);
+        }
+        const semanticInput = deepFreeze(JSON.parse(validatedInputCanonical));
+        const cleanupWarnings = [];
+        let text = response.text;
+        if (text.startsWith('\uFEFF')) {
+            text = text.slice(1);
+            cleanupWarnings.push(issue('MODEL_RESPONSE_BOM_REMOVED', 'Removed one leading byte-order mark.', 'warning'));
+        }
+        if (text.trim().length === 0) {
+            return failed('empty', [
+                ...cleanupWarnings,
+                issue('MODEL_RESPONSE_EMPTY', 'Model response is empty.'),
+            ]);
+        }
+        const trimmed = text.trim();
+        const fenceMatch = trimmed.match(jsonFencePattern);
+        if (fenceMatch !== null) {
+            text = fenceMatch[1] ?? '';
+            cleanupWarnings.push(issue('MODEL_RESPONSE_JSON_FENCE_REMOVED', 'Removed one enclosing Markdown JSON fence.', 'warning'));
+        }
+        else {
+            text = trimmed;
+        }
+        if (text.trim().length === 0) {
+            return failed('empty', [
+                ...cleanupWarnings,
+                issue('MODEL_RESPONSE_EMPTY', 'Model response is empty.'),
+            ]);
+        }
+        let parsed;
+        try {
+            parsed = JSON.parse(text);
+        }
+        catch {
+            return failed('parse', [
+                ...cleanupWarnings,
+                issue('MODEL_RESPONSE_PARSE', 'Model response is not strict JSON.'),
+            ]);
+        }
+        const schemaResult = contract.outputSchema.safeParse(parsed);
+        if (!schemaResult.success) {
+            return failed('schema', [
+                ...cleanupWarnings,
+                ...schemaResult.error.issues.map((schemaIssue) => issue('MODEL_RESPONSE_SCHEMA', schemaIssue.message, 'error', schemaIssuePath(schemaIssue.path))),
+            ]);
+        }
+        let parsedCanonical;
+        let validatedCanonical;
+        try {
+            parsedCanonical = this.#hashing.canonicalJson(parsed);
+            validatedCanonical = this.#hashing.canonicalJson(schemaResult.data);
+        }
+        catch {
+            return failed('schema', [
+                ...cleanupWarnings,
+                issue('MODEL_RESPONSE_NON_JSON_VALUE', 'Validated model output must remain a JSON value.'),
+            ]);
+        }
+        if (parsedCanonical !== validatedCanonical) {
+            return failed('schema', [
+                ...cleanupWarnings,
+                issue('MODEL_RESPONSE_SCHEMA_COERCION', 'Output schema changed the parsed JSON value.'),
+            ]);
+        }
+        const semanticOutput = deepFreeze(JSON.parse(validatedCanonical));
+        const semanticIssues = contract.validateSemantics(semanticOutput, semanticInput);
+        const semanticErrors = semanticIssues.filter(({ severity }) => severity === 'error');
+        if (semanticErrors.length > 0) {
+            return failed('semantic', [...cleanupWarnings, ...semanticIssues]);
+        }
+        return {
+            ok: true,
+            value: semanticOutput,
+            warnings: Object.freeze([...cleanupWarnings, ...semanticIssues]),
+            parsedHash: this.#hashing.sha256(validatedCanonical),
+        };
+    }
+}
+export function createResponsePipeline(options = {}) {
+    return new StrictResponsePipeline(options);
+}
+//# sourceMappingURL=response-pipeline.js.map

package/dist/response-pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"response-pipeline.js","sourceRoot":"","sources":["../src/response-pipeline.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C,MAAM,gBAAgB,GAAG,qDAAqD,CAAC;AAE/E,SAAS,KAAK,CACZ,IAAY,EACZ,OAAe,EACf,WAAgC,OAAO,EACvC,OAAqC,EAAE;IAEvC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CACtB,IAA4B;IAE5B,OAAO,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,CAAC;AAC9E,CAAC;AAED,SAAS,MAAM,CACb,KAA0D,EAC1D,MAAgC,EAChC,UAAU,GAAG,IAAI;IAEjB,OAAO;QACL,EAAE,EAAE,KAAK;QACT,KAAK;QACL,MAAM;QACN,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,sBAAsB;IACjB,QAAQ,CAAC;IAElB,YAAY,OAAgC;QAC1C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,IAAI,WAAW,CAAC;IACjD,CAAC;IAED,OAAO,CACL,QAAiC,EACjC,QAAyC,EACzC,KAAa;QAEb,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,MAAM,CACX,OAAO,EACP,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3C,KAAK,CACH,uBAAuB,EACvB,WAAW,CAAC,OAAO,EACnB,OAAO,EACP,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,CAClC,CACF,EACD,KAAK,CACN,CAAC;QACJ,CAAC;QAED,IAAI,cAAsB,CAAC;QAC3B,IAAI,uBAA+B,CAAC;QACpC,IAAI,CAAC;YACH,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAkB,CAAC,CAAC;YACjE,uBAAuB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CACnD,WAAW,CAAC,IAAiB,CAC9B,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,MAAM,CACX,OAAO,EACP;gBACE,KAAK,CACH,+BAA+B,EAC/B,oDAAoD,CACrD;aACF,EACD,KAAK,CACN,CAAC;QACJ,CAAC;QAED,IAAI,cAAc,KAAK,uBAAuB,EAAE,CAAC;YAC/C,OAAO,MAAM,CACX,OAAO,EACP;gBACE,KAAK,CACH,gCAAgC,EAChC,+CAA+C,CAChD;aACF,EACD,KAAK,CACN,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAG,UAAU,CAC9B,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAW,CAC9C,CAAC;QACF,MAAM,eAAe,GAAoB,EAAE,CAAC;QAC5C,IAAI,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QAEzB,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,eAAe,CAAC,IAAI,CAClB,KAAK,CACH,4BAA4B,EAC5B,sCAAsC,EACtC,SAAS,CACV,CACF,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,OAAO,EAAE;gBACrB,GAAG,eAAe;gBAClB,KAAK,CAAC,sBAAsB,EAAE,0BAA0B,CAAC;aAC1D,CAAC,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACnD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3B,eAAe,CAAC,IAAI,CAClB,KAAK,CACH,mCAAmC,EACnC,4CAA4C,EAC5C,SAAS,CACV,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,OAAO,CAAC;QACjB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC,OAAO,EAAE;gBACrB,GAAG,eAAe;gBAClB,KAAK,CAAC,sBAAsB,EAAE,0BAA0B,CAAC;aAC1D,CAAC,CAAC;QACL,CAAC;QAED,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,MAAM,CAAC,OAAO,EAAE;gBACrB,GAAG,eAAe;gBAClB,KAAK,CAAC,sBAAsB,EAAE,oCAAoC,CAAC;aACpE,CAAC,CAAC;QACL,CAAC;QAED,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,QAAQ,EAAE;gBACtB,GAAG,eAAe;gBAClB,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC/C,KAAK,CACH,uBAAuB,EACvB,WAAW,CAAC,OAAO,EACnB,OAAO,EACP,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,CAClC,CACF;aACF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,eAAuB,CAAC;QAC5B,IAAI,kBAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAmB,CAAC,CAAC;YACnE,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAC9C,YAAY,CAAC,IAAiB,CAC/B,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,MAAM,CAAC,QAAQ,EAAE;gBACtB,GAAG,eAAe;gBAClB,KAAK,CACH,+BAA+B,EAC/B,kDAAkD,CACnD;aACF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,eAAe,KAAK,kBAAkB,EAAE,CAAC;YAC3C,OAAO,MAAM,CAAC,QAAQ,EAAE;gBACtB,GAAG,eAAe;gBAClB,KAAK,CACH,gCAAgC,EAChC,8CAA8C,CAC/C;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,UAAU,CAC/B,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAY,CAC1C,CAAC;QACF,MAAM,cAAc,GAAG,QAAQ,CAAC,iBAAiB,CAC/C,cAAc,EACd,aAAa,CACd,CAAC;QACF,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAC1C,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CACvC,CAAC;QACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,eAAe,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC;QACrE,CAAC;QAED,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,cAAc;YACrB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,cAAc,CAAC,CAAC;YAChE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACrD,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,sBAAsB,CACpC,UAAmC,EAAE;IAErC,OAAO,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAC;AAC7C,CAAC"}

package/dist/state-engine.d.ts

@@ -0,0 +1,19 @@
+import type { Hashing } from './common.js';
+import type { DomainModule, StateDelta, TaskMap } from './modules.js';
+import type { PreparedState, StatePrepareContext, StateSnapshot } from './state.js';
+export declare const ACME_TRANSITION_ID_ALGORITHM: "acme-transition-id-1";
+export interface TransitionIdentityInput {
+    readonly executionId: string;
+    readonly operationKey: string;
+    readonly namespace: string;
+    readonly entityId: string;
+}
+export interface StateEngineOptions {
+    readonly hashing?: Hashing;
+}
+export interface StateEngine {
+    prepare<TState, TDelta, TTasks extends TaskMap<TState, TDelta>>(module: DomainModule<TState, TDelta, TTasks>, current: StateSnapshot<TState> | null, expectedRevision: number, delta: StateDelta<TDelta> | undefined, context: StatePrepareContext): PreparedState<TState, TDelta> | null;
+}
+export declare function deriveTransitionId(input: TransitionIdentityInput, hashing?: Hashing): string;
+export declare function createStateEngine(options?: StateEngineOptions): StateEngine;
+//# sourceMappingURL=state-engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state-engine.d.ts","sourceRoot":"","sources":["../src/state-engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAqB,MAAM,aAAa,CAAC;AAG9D,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,KAAK,EAEV,aAAa,EACb,mBAAmB,EACnB,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,4BAA4B,EAAG,sBAA+B,CAAC;AAE5E,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,SAAS,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5D,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAC5C,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,EACrC,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,SAAS,EACrC,OAAO,EAAE,mBAAmB,GAC3B,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;CACzC;AAsLD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,uBAAuB,EAC9B,OAAO,GAAE,OAAqB,GAC7B,MAAM,CAeR;AAwOD,wBAAgB,iBAAiB,CAC/B,OAAO,GAAE,kBAAuB,GAC/B,WAAW,CAEb"}