@microdelta/history 0.0.0 → 0.2.0

package/dist/src/index.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Result History & Publication. This entry exposes the existing row Store,
+ * its memory adapter and compatibility schema unchanged, the exact
+ * completed-result reading ports, and the project-private alpha durable
+ * authority that owns attempts, the single logical writer, atomic publication,
+ * acceptance records, environment namespaces, recorded promotions and Run
+ * Supervision's opaque operation journal. It never decides candidate validity
+ * or freshness and never interprets journal records.
+ * @packageDocumentation
+ */
+export { DuplicateRowError, FingerprintAlgorithmMismatchError, InvalidStorePatchError, MissingRowError, } from './store/index.js';
+export type { FieldRow, GenerationPatch, GenerationRow, Store, StoreMetadata, SubjectPatch, SubjectRow, } from './store/index.js';
+export { createMemoryStore } from './store/memory/index.js';
+export type { MemoryStoreOptions } from './store/memory/index.js';
+export type { ICompletedNavigationReader, ICompletedProjectionReader, ICompletedResultReader, ICompletedResultReference, ISelectedFingerprintRequest, ISelectedFingerprintResolution, ISelectedReadRequest, } from './completed-results.js';
+export type { IAddressSegment, IOperation, ISelectedFact, ISelectedNode, IValueProjectionDescriptor, IValueProjectionFact, IValueProjectionMember, IValueProjectionTraversal, } from '@microdelta/value';
+export { AttemptConflictError, AttemptStateError, HistoryClockError, HistoryIntegrityError, HistorySchemaError, JournalConflictError, JournalVersionError, StaleWriterError, } from './durable/errors.js';
+export { openDurableHistory } from './durable/index.js';
+export type { IAbandonRequest, IAcceptanceRecord, IAcceptanceRequest, IAttemptRecord, IAttemptRequest, IAttemptState, ICompletedEnvelope, IDurableHistory, IDurableHistoryOptions, IHistoryScope, IJournalAddress, IJournalCommit, IJournalDeclaration, IJournalFormat, IJournalQuery, IJournalRecord, IJournalWrite, IOperationJournal, IPromotionQuery, IPromotionRecord, IPromotionRequest, IRecoveryOutcome, IResultVerification, IScopedSubject, IStageRequest, IVersionedRecord, IVersionedSubject, IWriterAcquisition, IWriterAcquisitionRequest, IWriterContention, IWriterLease, IWriterRenewal, } from './durable/contracts.js';
+/**
+ * Machine host contracts surfaced by the durable authority's options and by
+ * the connections its SQLite capability returns. They are re-exported
+ * intentionally, as Value and Tracking re-export the host contracts they
+ * surface, so alpha consumers name Machine's exact types from History.
+ */
+export type { IClockCapability, ISha256Capability, ISqliteCapability, ISqliteConnection, ISqliteRow, ISqliteRunResult, ISqliteStatement, ISqliteSynchronousResult, ISqliteValue, } from '@microdelta/machine';
+export type { Divergence, Fingerprint, GenerationState, Identity, Outcome, Path, RecordedRead, ResultKey, Subject, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,iBAAiB,EACjB,iCAAiC,EACjC,sBAAsB,EACtB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,QAAQ,EACR,eAAe,EACf,aAAa,EACb,KAAK,EACL,aAAa,EACb,YAAY,EACZ,UAAU,GACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,YAAY,EACV,0BAA0B,EAC1B,0BAA0B,EAC1B,sBAAsB,EACtB,yBAAyB,EACzB,2BAA2B,EAC3B,8BAA8B,EAC9B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,eAAe,EACf,UAAU,EACV,aAAa,EACb,aAAa,EACb,0BAA0B,EAC1B,oBAAoB,EACpB,sBAAsB,EACtB,yBAAyB,GAC1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,YAAY,EACV,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,EACd,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,iBAAiB,EACjB,YAAY,EACZ,cAAc,GACf,MAAM,wBAAwB,CAAC;AAChC;;;;;GAKG;AACH,YAAY,EACV,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,gBAAgB,EAChB,wBAAwB,EACxB,YAAY,GACb,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,UAAU,EACV,WAAW,EACX,eAAe,EACf,QAAQ,EACR,OAAO,EACP,IAAI,EACJ,YAAY,EACZ,SAAS,EACT,OAAO,GACR,MAAM,YAAY,CAAC"}

package/dist/src/index.js

@@ -0,0 +1,15 @@
+/**
+ * Result History & Publication. This entry exposes the existing row Store,
+ * its memory adapter and compatibility schema unchanged, the exact
+ * completed-result reading ports, and the project-private alpha durable
+ * authority that owns attempts, the single logical writer, atomic publication,
+ * acceptance records, environment namespaces, recorded promotions and Run
+ * Supervision's opaque operation journal. It never decides candidate validity
+ * or freshness and never interprets journal records.
+ * @packageDocumentation
+ */
+export { DuplicateRowError, FingerprintAlgorithmMismatchError, InvalidStorePatchError, MissingRowError, } from './store/index.js';
+export { createMemoryStore } from './store/memory/index.js';
+export { AttemptConflictError, AttemptStateError, HistoryClockError, HistoryIntegrityError, HistorySchemaError, JournalConflictError, JournalVersionError, StaleWriterError, } from './durable/errors.js';
+export { openDurableHistory } from './durable/index.js';
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,iBAAiB,EACjB,iCAAiC,EACjC,sBAAsB,EACtB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAU1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAqB5D,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/src/store/index.d.ts

@@ -0,0 +1,128 @@
+import type { Fingerprint, GenerationState, Identity, Path, RecordedRead, ResultKey, Subject } from '../types.js';
+/** Persisted format identifiers, checked before using a store's fingerprints. @public */
+export interface StoreMetadata {
+    schemaVersion: number;
+    fingerprintAlgorithm: string;
+}
+/**
+ * One compare-and-set row per complete result key. Repository owns generation
+ * meaning; claim owns lease meaning. Storage only preserves and patches columns.
+ * @public
+ */
+export interface SubjectRow {
+    key: ResultKey;
+    subject: Subject;
+    /** Nonnegative safe-integer CAS token, incremented once per successful CAS. */
+    version: number;
+    currentGeneration: number | null;
+    claim: null | {
+        generation: number;
+        holder: string;
+        leaseUntil: number;
+        progress: {
+            fingerprint: Fingerprint;
+            value: unknown;
+        } | null;
+    };
+    durations: number[];
+}
+/** A retained attempt, with lifecycle and numbering supplied by its caller. @public */
+export interface GenerationRow {
+    key: ResultKey;
+    generation: number;
+    state: GenerationState;
+    reads: RecordedRead[];
+    identity: Identity | undefined;
+    startedAt: number;
+    endedAt: number | null;
+    cost: Record<string, number>;
+    arrival: string;
+    abandonReason?: 'error' | 'lease-expired' | 'refused';
+    error?: {
+        message: string;
+        stack?: string;
+    };
+}
+/** An immutable value node and its caller-computed fingerprint. @public */
+export interface FieldRow {
+    key: ResultKey;
+    generation: number;
+    path: Path;
+    fingerprint: Fingerprint;
+    value: unknown;
+}
+/** Writable subject columns; the complete key and CAS token cannot be patched. @public */
+export type SubjectPatch = Partial<Omit<SubjectRow, 'key' | 'version'>>;
+/** Writable generation columns; tuple identity cannot change after insertion. @public */
+export type GenerationPatch = Partial<Omit<GenerationRow, 'key' | 'generation'>>;
+/**
+ * Storage mechanism for independent rows, with linearizable subject CAS.
+ * All inputs and returned rows are detached snapshots: caller mutation cannot
+ * alter persisted data. Values may only change by inserting another generation.
+ * There is no transaction spanning these methods; callers must not infer atomic
+ * claim/generation publication from the per-row CAS guarantee.
+ * @public
+ */
+export interface Store {
+    /** Return detached format metadata; opening code must reject algorithm mismatches. */
+    meta(): Promise<StoreMetadata>;
+    /** Read a detached subject snapshot, or undefined for an absent tuple. */
+    getSubject(key: ResultKey): Promise<SubjectRow | undefined>;
+    /** Insert only; duplicate tuples reject, as do versions outside safe integers. */
+    putSubject(row: SubjectRow): Promise<void>;
+    /**
+     * Atomically apply a shallow column patch only when the stored version matches.
+     * Success increments that version once, even for an empty patch; a missing or
+     * stale row returns false without changes. Key/version properties reject at
+     * runtime, including extras passed from untyped JavaScript callers.
+     * An exhausted MAX_SAFE_INTEGER version rejects rather than reporting success
+     * without advancing the token. Neither rejection changes the stored row.
+     */
+    casSubject(key: ResultKey, expectedVersion: number, patch: SubjectPatch): Promise<boolean>;
+    /** Read a detached generation, or undefined for an absent tuple. */
+    getGeneration(key: ResultKey, generation: number): Promise<GenerationRow | undefined>;
+    /** Return detached rows for exactly this complete key; ordering is unspecified. */
+    listGenerations(key: ResultKey): Promise<GenerationRow[]>;
+    /** Insert only; generation numbers are supplied, never allocated by storage. */
+    putGeneration(row: GenerationRow): Promise<void>;
+    /** Patch an existing row; missing tuples and attempts to change its key reject. */
+    updateGeneration(key: ResultKey, generation: number, patch: GenerationPatch): Promise<void>;
+    /**
+     * Insert an atomic batch of immutable fields. Duplicate addresses, within the
+     * batch or already stored, reject the whole batch without inserting anything.
+     * This proposed storage refinement enforces retained-value immutability.
+     */
+    putFields(rows: FieldRow[]): Promise<void>;
+    /** Return requested field snapshots; absent paths are omitted. */
+    getFields(key: ResultKey, generation: number, paths: Path[]): Promise<FieldRow[]>;
+    /** Return requested fingerprints without reading/deserializing any field value. */
+    getFingerprints(key: ResultKey, generation: number, paths: Path[]): Promise<Map<Path, Fingerprint>>;
+    /**
+     * Query leases strictly less than now, oldest first, with at most limit rows.
+     * Zero limit returns no rows. This query never sweeps or changes a claim.
+     */
+    expiredClaims(now: number, limit: number): Promise<SubjectRow[]>;
+    /** Release resources owned by this store. */
+    close(): Promise<void>;
+}
+/** Insert-only storage encountered an existing complete tuple. @public */
+export declare class DuplicateRowError extends Error {
+    /** Identify an insert conflict without modifying the retained row. @public */
+    constructor(message?: string);
+}
+/** An update targeted a generation that has never been inserted. @public */
+export declare class MissingRowError extends Error {
+    /** Identify an absent update target; updates never implicitly insert. @public */
+    constructor(message?: string);
+}
+/** A patch attempted to modify an immutable address or managed CAS version. @public */
+export declare class InvalidStorePatchError extends Error {
+    /** Identify a structurally forbidden patch before any columns are changed. @public */
+    constructor(message?: string);
+}
+/** Stored fingerprints cannot be compared with this runtime's algorithm. @public */
+export declare class FingerprintAlgorithmMismatchError extends Error {
+    /** Name both identifiers so migrations are explicit rather than silent misses. @public */
+    constructor(storedAlgorithm: string, runtimeAlgorithm: string);
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/src/store/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/store/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAElH,yFAAyF;AACzF,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,SAAS,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,+EAA+E;IAC/E,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,GAAG;QACZ,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE;YAAE,WAAW,EAAE,WAAW,CAAC;YAAC,KAAK,EAAE,OAAO,CAAA;SAAE,GAAG,IAAI,CAAC;KAC/D,CAAC;IACF,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,uFAAuF;AACvF,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,SAAS,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,eAAe,CAAC;IACvB,KAAK,EAAE,YAAY,EAAE,CAAC;IACtB,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,CAAC;IACtD,KAAK,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7C;AAED,2EAA2E;AAC3E,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,SAAS,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,IAAI,CAAC;IACX,WAAW,EAAE,WAAW,CAAC;IACzB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,0FAA0F;AAC1F,MAAM,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC;AAExE,yFAAyF;AACzF,MAAM,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC;AAEjF;;;;;;;GAOG;AACH,MAAM,WAAW,KAAK;IACpB,sFAAsF;IACtF,IAAI,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;IAE/B,0EAA0E;IAC1E,UAAU,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IAE5D,kFAAkF;IAClF,UAAU,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE3C;;;;;;;OAOG;IACH,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE3F,oEAAoE;IACpE,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAAC;IAEtF,mFAAmF;IACnF,eAAe,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAE1D,gFAAgF;IAChF,aAAa,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjD,mFAAmF;IACnF,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5F;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE3C,kEAAkE;IAClE,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAElF,mFAAmF;IACnF,eAAe,CAAC,GAAG,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IAEpG;;;OAGG;IACH,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAEjE,6CAA6C;IAC7C,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED,0EAA0E;AAC1E,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,8EAA8E;gBAClE,OAAO,SAAiD;CAIrE;AAED,4EAA4E;AAC5E,qBAAa,eAAgB,SAAQ,KAAK;IACxC,iFAAiF;gBACrE,OAAO,SAA0C;CAI9D;AAED,uFAAuF;AACvF,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,sFAAsF;gBAC1E,OAAO,SAA6D;CAIjF;AAED,oFAAoF;AACpF,qBAAa,iCAAkC,SAAQ,KAAK;IAC1D,0FAA0F;gBAC9E,eAAe,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM;CAI9D"}

package/dist/src/store/index.js

@@ -0,0 +1,33 @@
+/** Insert-only storage encountered an existing complete tuple. @public */
+export class DuplicateRowError extends Error {
+    /** Identify an insert conflict without modifying the retained row. @public */
+    constructor(message = 'A row already exists at this storage address') {
+        super(message);
+        this.name = 'DuplicateRowError';
+    }
+}
+/** An update targeted a generation that has never been inserted. @public */
+export class MissingRowError extends Error {
+    /** Identify an absent update target; updates never implicitly insert. @public */
+    constructor(message = 'No row exists at this storage address') {
+        super(message);
+        this.name = 'MissingRowError';
+    }
+}
+/** A patch attempted to modify an immutable address or managed CAS version. @public */
+export class InvalidStorePatchError extends Error {
+    /** Identify a structurally forbidden patch before any columns are changed. @public */
+    constructor(message = 'A storage patch cannot modify its key or managed version') {
+        super(message);
+        this.name = 'InvalidStorePatchError';
+    }
+}
+/** Stored fingerprints cannot be compared with this runtime's algorithm. @public */
+export class FingerprintAlgorithmMismatchError extends Error {
+    /** Name both identifiers so migrations are explicit rather than silent misses. @public */
+    constructor(storedAlgorithm, runtimeAlgorithm) {
+        super(`Stored fingerprint algorithm ${storedAlgorithm} differs from runtime algorithm ${runtimeAlgorithm}`);
+        this.name = 'FingerprintAlgorithmMismatchError';
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/src/store/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/store/index.ts"],"names":[],"mappings":"AAyHA,0EAA0E;AAC1E,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,8EAA8E;IAC9E,YAAY,OAAO,GAAG,8CAA8C;QAClE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,4EAA4E;AAC5E,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,iFAAiF;IACjF,YAAY,OAAO,GAAG,uCAAuC;QAC3D,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,uFAAuF;AACvF,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC/C,sFAAsF;IACtF,YAAY,OAAO,GAAG,0DAA0D;QAC9E,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED,oFAAoF;AACpF,MAAM,OAAO,iCAAkC,SAAQ,KAAK;IAC1D,0FAA0F;IAC1F,YAAY,eAAuB,EAAE,gBAAwB;QAC3D,KAAK,CAAC,gCAAgC,eAAe,mCAAmC,gBAAgB,EAAE,CAAC,CAAC;QAC5G,IAAI,CAAC,IAAI,GAAG,mCAAmC,CAAC;IAClD,CAAC;CACF"}

package/dist/src/store/memory/index.d.ts

@@ -0,0 +1,24 @@
+import type { Store } from '../index.js';
+import type { ISnapshotCapability } from '@microdelta/machine';
+/** Options for the isolated, non-durable test backend. @public */
+export interface MemoryStoreOptions {
+    /** Metadata compatibility identifier; the initial store format uses sha256. */
+    fingerprintAlgorithm?: string;
+    /** Actual value-read boundary, used by the conformance harness. @internal */
+    _onValueRead?: () => void;
+}
+/**
+ * Create a memory Store with linearizable CAS in a single JavaScript isolate.
+ * Each mutation snapshots its arguments before checking and changing the maps;
+ * the qualifying check and write have no await or caller callback between them.
+ * Values and fingerprints have separate indexes, so verification never touches
+ * payloads. The injected snapshot capability owns its supported value domain
+ * and failure behavior. This is a test backend, not durable or shared across
+ * processes.
+ *
+ * Only row storage is implemented here. Publication across multiple rows,
+ * generation allocation, lease ownership, and reclamation belong to higher layers.
+ * @public
+ */
+export declare function createMemoryStore(capability: ISnapshotCapability, options?: MemoryStoreOptions): Store;
+//# sourceMappingURL=index.d.ts.map

package/dist/src/store/memory/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/store/memory/index.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAIV,KAAK,EAGN,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG/D,kEAAkE;AAClE,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,6EAA6E;IAC7E,YAAY,CAAC,EAAE,MAAM,IAAI,CAAC;CAC3B;AA+BD;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,mBAAmB,EAAE,OAAO,GAAE,kBAAuB,GAAG,KAAK,CA2H1G"}

package/dist/src/store/memory/index.js

@@ -0,0 +1,162 @@
+import { DuplicateRowError, FingerprintAlgorithmMismatchError, InvalidStorePatchError, MissingRowError, } from '../index.js';
+/** Encode a tuple, preserving separators, Unicode and empty strings in its parts. */
+function address(key, generation, fieldPath) {
+    // JSON numbers would collapse NaN and both infinities to null. Storage treats
+    // numeric address parts as opaque; deciding valid revisions is a caller rule.
+    return JSON.stringify([
+        key.step, String(key.revision), key.subjectHash,
+        generation === undefined ? null : String(generation), fieldPath ?? null,
+    ]);
+}
+/** Delegate detached-copy semantics without taking ownership of the codec. */
+function copy(capability, value) {
+    return capability.snapshot(value);
+}
+/** CAS tokens must advance exactly, including at JavaScript's integer boundary. */
+function validateVersion(version) {
+    if (!Number.isSafeInteger(version) || version < 0) {
+        throw new RangeError('A subject version must be a nonnegative safe integer');
+    }
+}
+/** Reject runtime attempts to overwrite an address or a managed version. */
+function guardPatch(patch, managed) {
+    if ('key' in patch || managed in patch) {
+        throw new InvalidStorePatchError();
+    }
+}
+/**
+ * Create a memory Store with linearizable CAS in a single JavaScript isolate.
+ * Each mutation snapshots its arguments before checking and changing the maps;
+ * the qualifying check and write have no await or caller callback between them.
+ * Values and fingerprints have separate indexes, so verification never touches
+ * payloads. The injected snapshot capability owns its supported value domain
+ * and failure behavior. This is a test backend, not durable or shared across
+ * processes.
+ *
+ * Only row storage is implemented here. Publication across multiple rows,
+ * generation allocation, lease ownership, and reclamation belong to higher layers.
+ * @public
+ */
+export function createMemoryStore(capability, options = {}) {
+    const fingerprintAlgorithm = 'sha256';
+    if (options.fingerprintAlgorithm !== undefined && options.fingerprintAlgorithm !== fingerprintAlgorithm) {
+        throw new FingerprintAlgorithmMismatchError(options.fingerprintAlgorithm, fingerprintAlgorithm);
+    }
+    const subjects = new Map();
+    const generations = new Map();
+    const fieldHeaders = new Map();
+    const fieldValues = new Map();
+    const onValueRead = options._onValueRead;
+    return {
+        async meta() {
+            return { schemaVersion: 1, fingerprintAlgorithm };
+        },
+        async getSubject(key) {
+            return copy(capability, subjects.get(address(key)));
+        },
+        async putSubject(row) {
+            const snapshot = copy(capability, row);
+            validateVersion(snapshot.version);
+            const id = address(snapshot.key);
+            if (subjects.has(id)) {
+                throw new DuplicateRowError();
+            }
+            subjects.set(id, snapshot);
+        },
+        async casSubject(key, expectedVersion, patch) {
+            const id = address(key);
+            guardPatch(patch, 'version');
+            const snapshot = copy(capability, patch);
+            // Snapshotting can invoke getters. Read the row afterwards, keeping the
+            // compare and set indivisible even under reentrant caller-owned accessors.
+            const existing = subjects.get(id);
+            if (existing === undefined || existing.version !== expectedVersion) {
+                return false;
+            }
+            if (existing.version === Number.MAX_SAFE_INTEGER) {
+                throw new RangeError('Subject version exhausted; CAS cannot safely advance');
+            }
+            subjects.set(id, { ...existing, ...snapshot, version: existing.version + 1 });
+            return true;
+        },
+        async getGeneration(key, generation) {
+            return copy(capability, generations.get(address(key, generation)));
+        },
+        async listGenerations(key) {
+            const id = address(key);
+            return [...generations.values()]
+                .filter(row => address(row.key) === id)
+                .map(row => copy(capability, row));
+        },
+        async putGeneration(row) {
+            const snapshot = copy(capability, row);
+            const id = address(snapshot.key, snapshot.generation);
+            if (generations.has(id)) {
+                throw new DuplicateRowError();
+            }
+            generations.set(id, snapshot);
+        },
+        async updateGeneration(key, generation, patch) {
+            const id = address(key, generation);
+            guardPatch(patch, 'generation');
+            const snapshot = copy(capability, patch);
+            const existing = generations.get(id);
+            if (existing === undefined) {
+                throw new MissingRowError();
+            }
+            generations.set(id, { ...existing, ...snapshot });
+        },
+        async putFields(rows) {
+            // Validate the whole detached batch before writing either index. A clone
+            // failure or duplicate address cannot leave a partially inserted batch.
+            const snapshots = copy(capability, rows);
+            const ids = new Set();
+            for (const row of snapshots) {
+                const id = address(row.key, row.generation, row.path);
+                if (ids.has(id) || fieldHeaders.has(id)) {
+                    throw new DuplicateRowError();
+                }
+                ids.add(id);
+            }
+            for (const row of snapshots) {
+                const id = address(row.key, row.generation, row.path);
+                const { value, ...header } = row;
+                fieldHeaders.set(id, header);
+                fieldValues.set(id, value);
+            }
+        },
+        async getFields(key, generation, paths) {
+            const result = [];
+            for (const fieldPath of paths) {
+                const id = address(key, generation, fieldPath);
+                const header = fieldHeaders.get(id);
+                if (header !== undefined) {
+                    onValueRead?.();
+                    result.push(copy(capability, { ...header, value: fieldValues.get(id) }));
+                }
+            }
+            return result;
+        },
+        async getFingerprints(key, generation, paths) {
+            const result = new Map();
+            for (const fieldPath of paths) {
+                const header = fieldHeaders.get(address(key, generation, fieldPath));
+                if (header !== undefined) {
+                    result.set(fieldPath, header.fingerprint);
+                }
+            }
+            return result;
+        },
+        async expiredClaims(now, limit) {
+            return [...subjects.values()]
+                .filter(row => row.claim !== null && row.claim.leaseUntil < now)
+                .sort((left, right) => (left.claim?.leaseUntil ?? 0) - (right.claim?.leaseUntil ?? 0))
+                .slice(0, Math.max(0, limit))
+                .map(row => copy(capability, row));
+        },
+        async close() {
+            // This backend owns no file handles, timers, workers, or external resources.
+        },
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/src/store/memory/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/store/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EACjB,iCAAiC,EACjC,sBAAsB,EACtB,eAAe,GAChB,MAAM,aAAa,CAAC;AAoBrB,qFAAqF;AACrF,SAAS,OAAO,CAAC,GAAc,EAAE,UAAmB,EAAE,SAAgB;IACpE,8EAA8E;IAC9E,8EAA8E;IAC9E,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,WAAW;QAC/C,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,IAAI,IAAI;KACxE,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,SAAS,IAAI,CAAI,UAA+B,EAAE,KAAQ;IACxD,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,OAAe;IACtC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;IAC/E,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,KAAqC,EAAE,OAAiC;IAC1F,IAAI,KAAK,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;QACvC,MAAM,IAAI,sBAAsB,EAAE,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,UAA+B,EAAE,UAA8B,EAAE;IACjG,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IACtC,IAAI,OAAO,CAAC,oBAAoB,KAAK,SAAS,IAAI,OAAO,CAAC,oBAAoB,KAAK,oBAAoB,EAAE,CAAC;QACxG,MAAM,IAAI,iCAAiC,CAAC,OAAO,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC/C,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC;IAEzC,OAAO;QACL,KAAK,CAAC,IAAI;YACR,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC;QACpD,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,GAAG;YAClB,OAAO,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,GAAG;YAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACvC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;YAAC,CAAC;YACxD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC7B,CAAC;QAED,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,eAAe,EAAE,KAAK;YAC1C,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACxB,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACzC,wEAAwE;YACxE,2EAA2E;YAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;gBAAC,OAAO,KAAK,CAAC;YAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACjD,MAAM,IAAI,UAAU,CAAC,sDAAsD,CAAC,CAAC;YAC/E,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9E,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU;YACjC,OAAO,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QACrE,CAAC;QAED,KAAK,CAAC,eAAe,CAAC,GAAG;YACvB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YACxB,OAAO,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;iBAC7B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;iBACtC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAG;YACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YACvC,MAAM,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;YACtD,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;YAAC,CAAC;YAC3D,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;QAED,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK;YAC3C,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACpC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAAC,MAAM,IAAI,eAAe,EAAE,CAAC;YAAC,CAAC;YAC5D,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,IAAI;YAClB,yEAAyE;YACzE,wEAAwE;YACxE,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtD,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBAAC,MAAM,IAAI,iBAAiB,EAAE,CAAC;gBAAC,CAAC;gBAC3E,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACd,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;gBACtD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC;gBACjC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC7B,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK;YACpC,MAAM,MAAM,GAAe,EAAE,CAAC;YAC9B,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,WAAW,EAAE,EAAE,CAAC;oBAChB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK;YAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;YAC5C,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;gBACrE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBAAC,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;gBAAC,CAAC;YAC1E,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,KAAK,CAAC,aAAa,CAAC,GAAG,EAAE,KAAK;YAC5B,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;iBAC1B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC;iBAC/D,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC;iBACrF,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;iBAC5B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,CAAC,KAAK;YACT,6EAA6E;QAC/E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/types.d.ts

@@ -0,0 +1,100 @@
+/**
+ * Compatibility shapes for the scaffold row Store. Their names and string paths
+ * describe that storage port, not the target Value Semantics or identity model.
+ */
+/** Opaque, stable, hex-encoded content digest; equality is string equality. @public */
+export type Fingerprint = string & {
+    readonly __fp: unique symbol;
+};
+/** A legacy row-storage address, not the future structured semantic path. @public */
+export type Path = string;
+/**
+ * Compatibility identity shape stored in scaffold rows. It does not establish
+ * target subject identity, binding correspondence, or collection semantics.
+ * @public
+ */
+export type Identity = {
+    kind: 'type';
+    type: string;
+    key: string;
+} | {
+    kind: 'step';
+    name: string;
+    inputs: readonly Identity[];
+} | {
+    kind: 'member';
+    of: Identity;
+    path: Path;
+} | {
+    kind: 'collection';
+    step: string;
+    source: Identity;
+};
+/** Legacy row subject shape; future author-supplied subject identity is separate. @public */
+export type Subject = Extract<Identity, {
+    kind: 'step';
+}>;
+/** Complete storage tuple. Backends must preserve boundaries between all three parts. @public */
+export type ResultKey = {
+    step: string;
+    revision: number;
+    subjectHash: string;
+};
+/** Legacy persisted read rows; target observation encoding remains undecided. @public */
+export type RecordedRead = {
+    kind: 'field';
+    arg: number;
+    path: Path;
+    fingerprint: Fingerprint;
+} | {
+    kind: 'whole';
+    arg: number;
+    fingerprint: Fingerprint;
+} | {
+    kind: 'memo';
+    key: ResultKey;
+    generation: number;
+};
+/** Retained lifecycle states interpreted by repository and claim, not by storage. @public */
+export type GenerationState = 'claimed' | 'current' | 'superseded' | 'abandoned';
+/** The first observed difference in a persisted read or a nested verification. @public */
+export type Divergence = {
+    read: RecordedRead;
+    was: Fingerprint;
+    now: Fingerprint | 'missing';
+} | {
+    read: Extract<RecordedRead, {
+        kind: 'memo';
+    }>;
+    nested: Divergence;
+};
+/** Observable call outcomes; an unmemoized named execution has no storage key. @public */
+export type Outcome = {
+    kind: 'served';
+    key: ResultKey;
+    generation: number;
+} | {
+    kind: 'executed';
+    key: ResultKey;
+    generation: number;
+} | {
+    kind: 'checked';
+    key: ResultKey;
+    wouldExecute: boolean;
+    divergence?: Divergence;
+} | {
+    kind: 'refused';
+    key: ResultKey;
+    reason: unknown;
+} | {
+    kind: 'failed';
+    key: ResultKey;
+    error: unknown;
+} | {
+    kind: 'abandoned';
+    key: ResultKey;
+    reason: 'error' | 'lease-expired' | 'refused';
+} | {
+    kind: 'ran';
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,uFAAuF;AACvF,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,MAAM,CAAA;CAAE,CAAC;AAEpE,qFAAqF;AACrF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,CAAC;AAE3D,6FAA6F;AAC7F,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE1D,iGAAiG;AACjG,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,yFAAyF;AACzF,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,WAAW,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,6FAA6F;AAC7F,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,CAAC;AAEjF,0FAA0F;AAC1F,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,GACtE;IAAE,IAAI,EAAE,OAAO,CAAC,YAAY,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,MAAM,EAAE,UAAU,CAAA;CAAE,CAAC;AAE1E,0FAA0F;AAC1F,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,UAAU,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,CAAA;CAAE,GACpF;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC"}

package/dist/src/types.js

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

package/dist/src/types.js.map

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

package/dist/test/conformance/store/index.d.ts

@@ -0,0 +1,34 @@
+import type { Store } from '../../../src/store/index.js';
+/**
+ * A backend's test-only counter at its actual value-read/deserialization boundary.
+ * The suite resets it after insertion and verifies a positive control with getFields.
+ * @public
+ */
+export interface ValueReadProbe {
+    reset(): void;
+    count(): number;
+}
+/**
+ * Opens a fresh store for each test. The optional algorithm models persisted metadata
+ * at open time; factories must reject a mismatch with their runtime algorithm.
+ * Instrumentation is optional for third-party backends, but both shipped backends
+ * must provide it to qualify SA-3 without relying on wall-clock timing.
+ * @public
+ */
+export interface StoreConformanceOptions {
+    create(options?: {
+        fingerprintAlgorithm?: string;
+    }): Store | Promise<Store>;
+    fingerprintAlgorithm: string;
+    probeValueReads?(store: Store): ValueReadProbe;
+}
+/**
+ * Register reusable backend qualification tests for SA-1 through SA-7.
+ * Register this from a Jest test module; the suite imports no concrete backend.
+ * Mutation tests enforce rev 9's retained-value isolation at the storage seam.
+ * This suite does not assert atomicity across subject, generation, and field rows:
+ * the supplied Store contract does not provide that operation.
+ * @public
+ */
+export declare function storeConformance(name: string, options: StoreConformanceOptions): void;
+//# sourceMappingURL=index.d.ts.map

package/dist/test/conformance/store/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../test/conformance/store/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAA2B,KAAK,EAAc,MAAM,6BAA6B,CAAC;AAE9F;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,IAAI,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,MAAM,CAAC,OAAO,CAAC,EAAE;QAAE,oBAAoB,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,CAAC,CAAC,KAAK,EAAE,KAAK,GAAG,cAAc,CAAC;CAChD;AAyDD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,GAAG,IAAI,CAsUrF"}