@amalgm/live 0.2.81-main.41026618671 → 0.2.81-main.41264653147

package/dist/history/history.d.ts

@@ -0,0 +1,20 @@
+/**
+ * The History SDK: the rule bound to one cloud authority's store.
+ *
+ * Event-driven: the authority calls `accepted` once per accepted record,
+ * which schedules the one release that acceptance fixes, and arms one timer
+ * at `nextDueAt`. `cleanup` runs when that timer fires. Nothing polls.
+ */
+import type { Cleanup, HistoryPorts, HistoryVersion, JudgedVersion, Release } from './types.js';
+interface History {
+    /** The versions of one entity that can still be got back, oldest first. */
+    versions(entityId: string): Promise<JudgedVersion[]>;
+    /** The authority accepted `version`: schedule the release it fixes. */
+    accepted(version: HistoryVersion): Promise<Release | null>;
+    /** Release every version now due, then drop every artifact nothing holds. */
+    cleanup(): Promise<Cleanup>;
+}
+declare function createHistory({ store, now }: HistoryPorts): History;
+export { createHistory };
+export type { History };
+//# sourceMappingURL=history.d.ts.map

package/dist/history/history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../src/history/history.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAKhG,UAAU,OAAO;IACf,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IACrD,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IAC3D,6EAA6E;IAC7E,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;CAC7B;AAED,iBAAS,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,YAAY,GAAG,OAAO,CAqC5D;AAED,OAAO,EAAE,aAAa,EAAE,CAAC;AACzB,YAAY,EAAE,OAAO,EAAE,CAAC"}

package/dist/history/history.js

@@ -0,0 +1,51 @@
+/**
+ * The History SDK: the rule bound to one cloud authority's store.
+ *
+ * Event-driven: the authority calls `accepted` once per accepted record,
+ * which schedules the one release that acceptance fixes, and arms one timer
+ * at `nextDueAt`. `cleanup` runs when that timer fires. Nothing polls.
+ */
+import { judge, releaseFixedBy } from './rule.js';
+/** Releases or artifacts read in one store call. */
+const BATCH = 256;
+function createHistory({ store, now }) {
+    return {
+        async versions(entityId) {
+            return judge(await store.versions(entityId), now()).filter(version => version.state !== 'gone');
+        },
+        async accepted(version) {
+            const release = await releaseFixedBy(version, async (sequence) => {
+                const earlier = await store.version(version.entityId, sequence);
+                if (earlier === null)
+                    throw new Error(`version ${sequence} of ${version.entityId} was never accepted`);
+                return earlier;
+            });
+            if (release !== null)
+                await store.schedule(release);
+            return release;
+        },
+        async cleanup() {
+            const at = now();
+            let released = 0;
+            for (let due = await store.due(at, BATCH); due.length > 0; due = await store.due(at, BATCH)) {
+                for (const release of due)
+                    await store.release(release.entityId, release.through);
+                released += due.length;
+            }
+            let dropped = 0;
+            let bytes = 0;
+            for (let queued = await store.queued(BATCH); queued.length > 0; queued = await store.queued(BATCH)) {
+                for (const artifact of queued) {
+                    const result = await store.drop(artifact);
+                    if (result.dropped) {
+                        dropped += 1;
+                        bytes += result.bytes;
+                    }
+                }
+            }
+            return { released, dropped, bytes, nextDueAt: await store.nextDueAt() };
+        },
+    };
+}
+export { createHistory };
+//# sourceMappingURL=history.js.map

package/dist/history/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/history/history.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGlD,oDAAoD;AACpD,MAAM,KAAK,GAAG,GAAG,CAAC;AAWlB,SAAS,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,EAAgB;IACjD,OAAO;QACL,KAAK,CAAC,QAAQ,CAAC,QAAQ;YACrB,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;QAClG,CAAC;QAED,KAAK,CAAC,QAAQ,CAAC,OAAO;YACpB,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,EAAC,QAAQ,EAAC,EAAE;gBAC7D,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAChE,IAAI,OAAO,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,OAAO,OAAO,CAAC,QAAQ,qBAAqB,CAAC,CAAC;gBACvG,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,KAAK,IAAI;gBAAE,MAAM,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,OAAO;YACX,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;YACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,IAAI,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC5F,KAAK,MAAM,OAAO,IAAI,GAAG;oBAAE,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;gBAClF,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC;YACzB,CAAC;YACD,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,IAAI,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnG,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC1C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;wBACnB,OAAO,IAAI,CAAC,CAAC;wBACb,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;oBACxB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC;QAC1E,CAAC;KACF,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,aAAa,EAAE,CAAC"}

package/dist/history/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Version history: the newest ten versions of every entity stay, so does
+ * every version replaced in the last thirty days, and each version neither
+ * keeps waits thirty days in version Trash before its bytes go. One rule for
+ * every type, one cleanup run, one timer.
+ */
+export { createHistory } from './history.js';
+export type { History } from './history.js';
+export { KEEP_NEWEST, KEEP_REPLACED_MS, VERSION_TRASH_MS, judge, releaseFixedBy } from './rule.js';
+export { versionOf } from './version.js';
+export type { ArtifactRef, Cleanup, Dropped, HistoryPorts, HistoryStore, HistoryVersion, JudgedVersion, Release, VersionState, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/history/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,YAAY,EACV,WAAW,EACX,OAAO,EACP,OAAO,EACP,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,aAAa,EACb,OAAO,EACP,YAAY,GACb,MAAM,YAAY,CAAC"}

package/dist/history/index.js

@@ -0,0 +1,10 @@
+/**
+ * Version history: the newest ten versions of every entity stay, so does
+ * every version replaced in the last thirty days, and each version neither
+ * keeps waits thirty days in version Trash before its bytes go. One rule for
+ * every type, one cleanup run, one timer.
+ */
+export { createHistory } from './history.js';
+export { KEEP_NEWEST, KEEP_REPLACED_MS, VERSION_TRASH_MS, judge, releaseFixedBy } from './rule.js';
+export { versionOf } from './version.js';
+//# sourceMappingURL=index.js.map

package/dist/history/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/history/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC"}

package/dist/history/rule.d.ts

@@ -0,0 +1,37 @@
+/**
+ * The version history rule, the same for every entity type:
+ *
+ * 1. the newest ten versions are kept, however old;
+ * 2. a version replaced in the last thirty days is kept;
+ * 3. a version neither rule keeps waits thirty days in version Trash, then
+ *    goes.
+ *
+ * The current version is always kept. A permanent deletion keeps no history:
+ * every version before it goes when it is accepted.
+ *
+ * Time is the authority's acceptance time, never a device clock. Because a
+ * version's end depends only on the versions after it, accepting version `k`
+ * fixes exactly one end: that of version `k - 10`, the one it pushes out of
+ * the newest ten. Versions go oldest first.
+ */
+import type { HistoryVersion, JudgedVersion, Release } from './types.js';
+/** Rule 1: this many newest versions stay, however old. */
+export declare const KEEP_NEWEST = 10;
+/** Rule 2: a replaced version stays this long after it was replaced. */
+export declare const KEEP_REPLACED_MS: number;
+/** Rule 3: a version no rule keeps waits this long in version Trash. */
+export declare const VERSION_TRASH_MS: number;
+/**
+ * The one release accepting `version` fixes, or null when it fixes none yet.
+ * `versionAt` reads an earlier version of the same entity; only the one that
+ * replaced the version leaving the newest ten is read.
+ */
+export declare function releaseFixedBy(version: HistoryVersion, versionAt: (sequence: number) => Promise<HistoryVersion>): Promise<Release | null>;
+/**
+ * Every version of one entity as the rule stands at `now`: current, kept,
+ * trashed, or gone. `versions` runs in sequence order from any version to the
+ * newest; a version's end depends only on the versions after it, so released
+ * ones before need not be read.
+ */
+export declare function judge(versions: readonly HistoryVersion[], now: number): JudgedVersion[];
+//# sourceMappingURL=rule.d.ts.map

package/dist/history/rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.d.ts","sourceRoot":"","sources":["../../src/history/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAIzE,2DAA2D;AAC3D,eAAO,MAAM,WAAW,KAAK,CAAC;AAE9B,wEAAwE;AACxE,eAAO,MAAM,gBAAgB,QAAc,CAAC;AAE5C,wEAAwE;AACxE,eAAO,MAAM,gBAAgB,QAAc,CAAC;AAW5C;;;;GAIG;AACH,wBAAsB,cAAc,CAClC,OAAO,EAAE,cAAc,EACvB,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,GACvD,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CASzB;AAED;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,EAAE,CAmBvF"}

package/dist/history/rule.js

@@ -0,0 +1,75 @@
+/**
+ * The version history rule, the same for every entity type:
+ *
+ * 1. the newest ten versions are kept, however old;
+ * 2. a version replaced in the last thirty days is kept;
+ * 3. a version neither rule keeps waits thirty days in version Trash, then
+ *    goes.
+ *
+ * The current version is always kept. A permanent deletion keeps no history:
+ * every version before it goes when it is accepted.
+ *
+ * Time is the authority's acceptance time, never a device clock. Because a
+ * version's end depends only on the versions after it, accepting version `k`
+ * fixes exactly one end: that of version `k - 10`, the one it pushes out of
+ * the newest ten. Versions go oldest first.
+ */
+const DAY_MS = 24 * 60 * 60 * 1000;
+/** Rule 1: this many newest versions stay, however old. */
+export const KEEP_NEWEST = 10;
+/** Rule 2: a replaced version stays this long after it was replaced. */
+export const KEEP_REPLACED_MS = 30 * DAY_MS;
+/** Rule 3: a version no rule keeps waits this long in version Trash. */
+export const VERSION_TRASH_MS = 30 * DAY_MS;
+/**
+ * When a version leaves both keeping rules: thirty days after `next`
+ * replaced it, or when `tenth` pushed it out of the newest ten, whichever is
+ * later. It then waits in version Trash.
+ */
+function keptUntil(next, tenth) {
+    return Math.max(next.acceptedAt + KEEP_REPLACED_MS, tenth.acceptedAt);
+}
+/**
+ * The one release accepting `version` fixes, or null when it fixes none yet.
+ * `versionAt` reads an earlier version of the same entity; only the one that
+ * replaced the version leaving the newest ten is read.
+ */
+export async function releaseFixedBy(version, versionAt) {
+    const { entityId, sequence, acceptedAt } = version;
+    if (version.deleted) {
+        return sequence > 1 ? { entityId, through: sequence - 1, dueAt: acceptedAt } : null;
+    }
+    const leaving = sequence - KEEP_NEWEST;
+    if (leaving < 1)
+        return null;
+    const end = keptUntil(await versionAt(leaving + 1), version);
+    return { entityId, through: leaving, dueAt: end + VERSION_TRASH_MS };
+}
+/**
+ * Every version of one entity as the rule stands at `now`: current, kept,
+ * trashed, or gone. `versions` runs in sequence order from any version to the
+ * newest; a version's end depends only on the versions after it, so released
+ * ones before need not be read.
+ */
+export function judge(versions, now) {
+    const count = versions.length;
+    const last = versions[count - 1];
+    const deletedAt = last?.deleted === true ? last.acceptedAt : null;
+    return versions.map((version, index) => {
+        if (index === count - 1)
+            return { ...version, state: 'current', trashedAt: null, goneAt: null };
+        if (deletedAt !== null) {
+            return { ...version, state: 'gone', trashedAt: deletedAt, goneAt: deletedAt };
+        }
+        const next = versions[index + 1];
+        const tenth = versions[index + KEEP_NEWEST];
+        if (tenth === undefined) {
+            return { ...version, state: 'kept', trashedAt: null, goneAt: null };
+        }
+        const trashedAt = keptUntil(next, tenth);
+        const goneAt = trashedAt + VERSION_TRASH_MS;
+        const state = now < trashedAt ? 'kept' : now < goneAt ? 'trashed' : 'gone';
+        return { ...version, state, trashedAt, goneAt };
+    });
+}
+//# sourceMappingURL=rule.js.map

package/dist/history/rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.js","sourceRoot":"","sources":["../../src/history/rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAEnC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC;AAE9B,wEAAwE;AACxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE5C,wEAAwE;AACxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE5C;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAoB,EAAE,KAAqB;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,GAAG,gBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAuB,EACvB,SAAwD;IAExD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACnD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,GAAG,WAAW,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,GAAG,gBAAgB,EAAE,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,QAAmC,EAAE,GAAW;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,KAAK,KAAK,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAChG,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACtE,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAAC;QAC5C,MAAM,KAAK,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3E,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/history/types.d.ts

@@ -0,0 +1,107 @@
+/**
+ * Version history: how long the cloud keeps each entity's earlier versions.
+ * A version is one accepted record on the entity's channel; its bytes are the
+ * one artifact that record names. History never writes records and never
+ * changes Watch, Detect, Record, Send, Receive, Apply or Verify. It reads
+ * what the authority accepted and lets go of bytes the rule no longer keeps.
+ */
+import type { EntityType } from '../entities/types.js';
+/** One accepted record, as history sees it. */
+interface HistoryVersion {
+    readonly entityId: string;
+    /** The authority whose storage holds this version's bytes. */
+    readonly authorityId: string;
+    /** The record's dense sequence on its entity's channel, from 1. */
+    readonly sequence: number;
+    /** Authority acceptance time, never a device clock. */
+    readonly acceptedAt: number;
+    /** The artifact holding this version's bytes: a content hash, or null for
+     * a folder, workspace, reference, or permanent deletion. */
+    readonly content: string | null;
+    /** The entity's type at this version; a `repo.git` artifact is a link in
+     * its repository's chain. */
+    readonly type: EntityType;
+    /** A permanent deletion. Nothing follows it on its channel. */
+    readonly deleted: boolean;
+}
+/** One stored artifact: its content hash within its authority's storage. */
+interface ArtifactRef {
+    readonly authorityId: string;
+    readonly contentHash: string;
+}
+type VersionState = 'current' | 'kept' | 'trashed' | 'gone';
+/** A version and where the rule stands on it. `trashedAt` and `goneAt` are
+ * null until a later version fixes them. */
+interface JudgedVersion extends HistoryVersion {
+    readonly state: VersionState;
+    readonly trashedAt: number | null;
+    readonly goneAt: number | null;
+}
+/** Versions 1 through `through` of one entity go at `dueAt`. */
+interface Release {
+    readonly entityId: string;
+    readonly through: number;
+    readonly dueAt: number;
+}
+/** What one holding check did with one artifact: kept it, or deleted it
+ * and freed `bytes` of storage no remaining artifact uses. */
+type Dropped = {
+    readonly dropped: false;
+} | {
+    readonly dropped: true;
+    readonly bytes: number;
+};
+/**
+ * The cloud authority's side of history. Records and artifacts are the ones
+ * the authority already keeps; history adds a release schedule, a released
+ * mark on versions, and a queue of artifacts to check.
+ */
+interface HistoryStore {
+    /** The versions of one entity not yet released, in sequence order. */
+    versions(entityId: string): Promise<HistoryVersion[]>;
+    /** One version, or null when the authority has not accepted it. */
+    version(entityId: string, sequence: number): Promise<HistoryVersion | null>;
+    /** Keep this release until it is due. Saving the same release again changes nothing. */
+    schedule(release: Release): Promise<void>;
+    /** Scheduled releases due by `now`, earliest first, at most `limit`. */
+    due(now: number, limit: number): Promise<Release[]>;
+    /** The earliest scheduled due time, or null when nothing is scheduled. */
+    nextDueAt(): Promise<number | null>;
+    /**
+     * In one transaction: mark versions 1 through `through` released, remove
+     * the releases this one covers, and queue every artifact a newly released
+     * version names. When the entity's newest version is a permanent deletion,
+     * also queue every Git artifact any of its versions named, which its chain
+     * held until then.
+     */
+    release(entityId: string, through: number): Promise<void>;
+    /** Queued artifacts, at most `limit`. */
+    queued(limit: number): Promise<ArtifactRef[]>;
+    /**
+     * In one transaction, atomic against acceptance and against sealing the
+     * same bytes again: unqueue `artifact`, and delete it when nothing holds
+     * it. It is held while
+     *
+     * - a version not yet released, of any entity, names it; or
+     * - it is a Git artifact of an entity not permanently deleted, since each
+     *   later Git artifact is built on the one before it.
+     *
+     * Deleting it frees each of its blocks no remaining artifact uses. Nothing
+     * deleted can be sealed again until its bytes are gone from storage.
+     */
+    drop(artifact: ArtifactRef): Promise<Dropped>;
+}
+interface HistoryPorts {
+    readonly store: HistoryStore;
+    /** The authority's clock. */
+    now(): number;
+}
+/** What one cleanup run let go of, and when the next one is due. */
+interface Cleanup {
+    readonly released: number;
+    readonly dropped: number;
+    readonly bytes: number;
+    readonly nextDueAt: number | null;
+}
+export type { ArtifactRef, Cleanup, Dropped, HistoryPorts, HistoryStore, HistoryVersion, JudgedVersion, Release, VersionState, };
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/history/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,+CAA+C;AAC/C,UAAU,cAAc;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;gEAC4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC;iCAC6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,4EAA4E;AAC5E,UAAU,WAAW;IACnB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,KAAK,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAE5D;4CAC4C;AAC5C,UAAU,aAAc,SAAQ,cAAc;IAC5C,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,gEAAgE;AAChE,UAAU,OAAO;IACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;8DAC8D;AAC9D,KAAK,OAAO,GACR;IAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;GAIG;AACH,UAAU,YAAY;IACpB,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IACtD,mEAAmE;IACnE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IAC5E,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1C,wEAAwE;IACxE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACpD,0EAA0E;IAC1E,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACpC;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1D,yCAAyC;IACzC,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C;;;;;;;;;;;OAWG;IACH,IAAI,CAAC,QAAQ,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC/C;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,6BAA6B;IAC7B,GAAG,IAAI,MAAM,CAAC;CACf;AAED,oEAAoE;AACpE,UAAU,OAAO;IACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,YAAY,EACV,WAAW,EACX,OAAO,EACP,OAAO,EACP,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,aAAa,EACb,OAAO,EACP,YAAY,GACb,CAAC"}

package/dist/history/types.js

@@ -0,0 +1,9 @@
+/**
+ * Version history: how long the cloud keeps each entity's earlier versions.
+ * A version is one accepted record on the entity's channel; its bytes are the
+ * one artifact that record names. History never writes records and never
+ * changes Watch, Detect, Record, Send, Receive, Apply or Verify. It reads
+ * what the authority accepted and lets go of bytes the rule no longer keeps.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/history/types.js.map

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

package/dist/history/version.d.ts

@@ -0,0 +1,5 @@
+/** One accepted record as a version: its place, its time, and its bytes. */
+import type { AcceptedEntityRecord } from '../records/contracts.js';
+import type { HistoryVersion } from './types.js';
+export declare function versionOf(record: AcceptedEntityRecord): HistoryVersion;
+//# sourceMappingURL=version.d.ts.map

package/dist/history/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/history/version.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAEpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,wBAAgB,SAAS,CAAC,MAAM,EAAE,oBAAoB,GAAG,cAAc,CAWtE"}

package/dist/history/version.js

@@ -0,0 +1,15 @@
+/** One accepted record as a version: its place, its time, and its bytes. */
+import { artifactForRecord } from '../transfer/artifacts.js';
+export function versionOf(record) {
+    const result = record.change.result;
+    return {
+        entityId: record.entityId,
+        authorityId: record.authorityId,
+        sequence: record.globalSequence,
+        acceptedAt: record.acceptedAt,
+        content: artifactForRecord(result)?.contentHash ?? null,
+        type: result.type,
+        deleted: result.status === 'deleted',
+    };
+}
+//# sourceMappingURL=version.js.map

package/dist/history/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/history/version.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAG5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,MAAM,UAAU,SAAS,CAAC,MAA4B;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ,EAAE,MAAM,CAAC,cAAc;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,WAAW,IAAI,IAAI;QACvD,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS;KACrC,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -24,5 +24,6 @@ export * from './transfer/index.js';
 export * from './merge/index.js';
 export * from './workspace/index.js';
 export * from './sharing/index.js';
+export * from './history/index.js';
 export * from './git/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}

package/dist/index.js

@@ -24,5 +24,6 @@ export * from './transfer/index.js';
 export * from './merge/index.js';
 export * from './workspace/index.js';
 export * from './sharing/index.js';
+export * from './history/index.js';
 export * from './git/index.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC"}

package/dist-cjs/history/history.js

@@ -0,0 +1,53 @@
+"use strict";
+/**
+ * The History SDK: the rule bound to one cloud authority's store.
+ *
+ * Event-driven: the authority calls `accepted` once per accepted record,
+ * which schedules the one release that acceptance fixes, and arms one timer
+ * at `nextDueAt`. `cleanup` runs when that timer fires. Nothing polls.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createHistory = createHistory;
+const rule_js_1 = require("./rule.js");
+/** Releases or artifacts read in one store call. */
+const BATCH = 256;
+function createHistory({ store, now }) {
+    return {
+        async versions(entityId) {
+            return (0, rule_js_1.judge)(await store.versions(entityId), now()).filter(version => version.state !== 'gone');
+        },
+        async accepted(version) {
+            const release = await (0, rule_js_1.releaseFixedBy)(version, async (sequence) => {
+                const earlier = await store.version(version.entityId, sequence);
+                if (earlier === null)
+                    throw new Error(`version ${sequence} of ${version.entityId} was never accepted`);
+                return earlier;
+            });
+            if (release !== null)
+                await store.schedule(release);
+            return release;
+        },
+        async cleanup() {
+            const at = now();
+            let released = 0;
+            for (let due = await store.due(at, BATCH); due.length > 0; due = await store.due(at, BATCH)) {
+                for (const release of due)
+                    await store.release(release.entityId, release.through);
+                released += due.length;
+            }
+            let dropped = 0;
+            let bytes = 0;
+            for (let queued = await store.queued(BATCH); queued.length > 0; queued = await store.queued(BATCH)) {
+                for (const artifact of queued) {
+                    const result = await store.drop(artifact);
+                    if (result.dropped) {
+                        dropped += 1;
+                        bytes += result.bytes;
+                    }
+                }
+            }
+            return { released, dropped, bytes, nextDueAt: await store.nextDueAt() };
+        },
+    };
+}
+//# sourceMappingURL=history.js.map

package/dist-cjs/history/history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"history.js","sourceRoot":"","sources":["../../src/history/history.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAwDM,sCAAa;AAtDtB,uCAAkD;AAGlD,oDAAoD;AACpD,MAAM,KAAK,GAAG,GAAG,CAAC;AAWlB,SAAS,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,EAAgB;IACjD,OAAO;QACL,KAAK,CAAC,QAAQ,CAAC,QAAQ;YACrB,OAAO,IAAA,eAAK,EAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;QAClG,CAAC;QAED,KAAK,CAAC,QAAQ,CAAC,OAAO;YACpB,MAAM,OAAO,GAAG,MAAM,IAAA,wBAAc,EAAC,OAAO,EAAE,KAAK,EAAC,QAAQ,EAAC,EAAE;gBAC7D,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAChE,IAAI,OAAO,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,OAAO,OAAO,CAAC,QAAQ,qBAAqB,CAAC,CAAC;gBACvG,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,KAAK,IAAI;gBAAE,MAAM,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,OAAO;YACX,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;YACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,KAAK,IAAI,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;gBAC5F,KAAK,MAAM,OAAO,IAAI,GAAG;oBAAE,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;gBAClF,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC;YACzB,CAAC;YACD,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,KAAK,GAAG,CAAC,CAAC;YACd,KAAK,IAAI,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnG,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC1C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;wBACnB,OAAO,IAAI,CAAC,CAAC;wBACb,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;oBACxB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC;QAC1E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist-cjs/history/index.js

@@ -0,0 +1,20 @@
+"use strict";
+/**
+ * Version history: the newest ten versions of every entity stay, so does
+ * every version replaced in the last thirty days, and each version neither
+ * keeps waits thirty days in version Trash before its bytes go. One rule for
+ * every type, one cleanup run, one timer.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.versionOf = exports.releaseFixedBy = exports.judge = exports.VERSION_TRASH_MS = exports.KEEP_REPLACED_MS = exports.KEEP_NEWEST = exports.createHistory = void 0;
+var history_js_1 = require("./history.js");
+Object.defineProperty(exports, "createHistory", { enumerable: true, get: function () { return history_js_1.createHistory; } });
+var rule_js_1 = require("./rule.js");
+Object.defineProperty(exports, "KEEP_NEWEST", { enumerable: true, get: function () { return rule_js_1.KEEP_NEWEST; } });
+Object.defineProperty(exports, "KEEP_REPLACED_MS", { enumerable: true, get: function () { return rule_js_1.KEEP_REPLACED_MS; } });
+Object.defineProperty(exports, "VERSION_TRASH_MS", { enumerable: true, get: function () { return rule_js_1.VERSION_TRASH_MS; } });
+Object.defineProperty(exports, "judge", { enumerable: true, get: function () { return rule_js_1.judge; } });
+Object.defineProperty(exports, "releaseFixedBy", { enumerable: true, get: function () { return rule_js_1.releaseFixedBy; } });
+var version_js_1 = require("./version.js");
+Object.defineProperty(exports, "versionOf", { enumerable: true, get: function () { return version_js_1.versionOf; } });
+//# sourceMappingURL=index.js.map

package/dist-cjs/history/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/history/index.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAEH,2CAA6C;AAApC,2GAAA,aAAa,OAAA;AAEtB,qCAAmG;AAA1F,sGAAA,WAAW,OAAA;AAAE,2GAAA,gBAAgB,OAAA;AAAE,2GAAA,gBAAgB,OAAA;AAAE,gGAAA,KAAK,OAAA;AAAE,yGAAA,cAAc,OAAA;AAC/E,2CAAyC;AAAhC,uGAAA,SAAS,OAAA"}

package/dist-cjs/history/rule.js

@@ -0,0 +1,80 @@
+"use strict";
+/**
+ * The version history rule, the same for every entity type:
+ *
+ * 1. the newest ten versions are kept, however old;
+ * 2. a version replaced in the last thirty days is kept;
+ * 3. a version neither rule keeps waits thirty days in version Trash, then
+ *    goes.
+ *
+ * The current version is always kept. A permanent deletion keeps no history:
+ * every version before it goes when it is accepted.
+ *
+ * Time is the authority's acceptance time, never a device clock. Because a
+ * version's end depends only on the versions after it, accepting version `k`
+ * fixes exactly one end: that of version `k - 10`, the one it pushes out of
+ * the newest ten. Versions go oldest first.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.VERSION_TRASH_MS = exports.KEEP_REPLACED_MS = exports.KEEP_NEWEST = void 0;
+exports.releaseFixedBy = releaseFixedBy;
+exports.judge = judge;
+const DAY_MS = 24 * 60 * 60 * 1000;
+/** Rule 1: this many newest versions stay, however old. */
+exports.KEEP_NEWEST = 10;
+/** Rule 2: a replaced version stays this long after it was replaced. */
+exports.KEEP_REPLACED_MS = 30 * DAY_MS;
+/** Rule 3: a version no rule keeps waits this long in version Trash. */
+exports.VERSION_TRASH_MS = 30 * DAY_MS;
+/**
+ * When a version leaves both keeping rules: thirty days after `next`
+ * replaced it, or when `tenth` pushed it out of the newest ten, whichever is
+ * later. It then waits in version Trash.
+ */
+function keptUntil(next, tenth) {
+    return Math.max(next.acceptedAt + exports.KEEP_REPLACED_MS, tenth.acceptedAt);
+}
+/**
+ * The one release accepting `version` fixes, or null when it fixes none yet.
+ * `versionAt` reads an earlier version of the same entity; only the one that
+ * replaced the version leaving the newest ten is read.
+ */
+async function releaseFixedBy(version, versionAt) {
+    const { entityId, sequence, acceptedAt } = version;
+    if (version.deleted) {
+        return sequence > 1 ? { entityId, through: sequence - 1, dueAt: acceptedAt } : null;
+    }
+    const leaving = sequence - exports.KEEP_NEWEST;
+    if (leaving < 1)
+        return null;
+    const end = keptUntil(await versionAt(leaving + 1), version);
+    return { entityId, through: leaving, dueAt: end + exports.VERSION_TRASH_MS };
+}
+/**
+ * Every version of one entity as the rule stands at `now`: current, kept,
+ * trashed, or gone. `versions` runs in sequence order from any version to the
+ * newest; a version's end depends only on the versions after it, so released
+ * ones before need not be read.
+ */
+function judge(versions, now) {
+    const count = versions.length;
+    const last = versions[count - 1];
+    const deletedAt = last?.deleted === true ? last.acceptedAt : null;
+    return versions.map((version, index) => {
+        if (index === count - 1)
+            return { ...version, state: 'current', trashedAt: null, goneAt: null };
+        if (deletedAt !== null) {
+            return { ...version, state: 'gone', trashedAt: deletedAt, goneAt: deletedAt };
+        }
+        const next = versions[index + 1];
+        const tenth = versions[index + exports.KEEP_NEWEST];
+        if (tenth === undefined) {
+            return { ...version, state: 'kept', trashedAt: null, goneAt: null };
+        }
+        const trashedAt = keptUntil(next, tenth);
+        const goneAt = trashedAt + exports.VERSION_TRASH_MS;
+        const state = now < trashedAt ? 'kept' : now < goneAt ? 'trashed' : 'gone';
+        return { ...version, state, trashedAt, goneAt };
+    });
+}
+//# sourceMappingURL=rule.js.map

package/dist-cjs/history/rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule.js","sourceRoot":"","sources":["../../src/history/rule.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;AA6BH,wCAYC;AAQD,sBAmBC;AAhED,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAEnC,2DAA2D;AAC9C,QAAA,WAAW,GAAG,EAAE,CAAC;AAE9B,wEAAwE;AAC3D,QAAA,gBAAgB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE5C,wEAAwE;AAC3D,QAAA,gBAAgB,GAAG,EAAE,GAAG,MAAM,CAAC;AAE5C;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAoB,EAAE,KAAqB;IAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,GAAG,wBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,cAAc,CAClC,OAAuB,EACvB,SAAwD;IAExD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IACnD,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,GAAG,mBAAW,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,GAAG,wBAAgB,EAAE,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,QAAmC,EAAE,GAAW;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACrC,IAAI,KAAK,KAAK,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAChG,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,GAAG,mBAAW,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACtE,CAAC;QACD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,SAAS,GAAG,wBAAgB,CAAC;QAC5C,MAAM,KAAK,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3E,OAAO,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist-cjs/history/types.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * Version history: how long the cloud keeps each entity's earlier versions.
+ * A version is one accepted record on the entity's channel; its bytes are the
+ * one artifact that record names. History never writes records and never
+ * changes Watch, Detect, Record, Send, Receive, Apply or Verify. It reads
+ * what the authority accepted and lets go of bytes the rule no longer keeps.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist-cjs/history/types.js.map

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

package/dist-cjs/history/version.js

@@ -0,0 +1,18 @@
+"use strict";
+/** One accepted record as a version: its place, its time, and its bytes. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.versionOf = versionOf;
+const artifacts_js_1 = require("../transfer/artifacts.js");
+function versionOf(record) {
+    const result = record.change.result;
+    return {
+        entityId: record.entityId,
+        authorityId: record.authorityId,
+        sequence: record.globalSequence,
+        acceptedAt: record.acceptedAt,
+        content: (0, artifacts_js_1.artifactForRecord)(result)?.contentHash ?? null,
+        type: result.type,
+        deleted: result.status === 'deleted',
+    };
+}
+//# sourceMappingURL=version.js.map

package/dist-cjs/history/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/history/version.ts"],"names":[],"mappings":";AAAA,4EAA4E;;AAM5E,8BAWC;AAdD,2DAA6D;AAG7D,SAAgB,SAAS,CAAC,MAA4B;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,QAAQ,EAAE,MAAM,CAAC,cAAc;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,OAAO,EAAE,IAAA,gCAAiB,EAAC,MAAM,CAAC,EAAE,WAAW,IAAI,IAAI;QACvD,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,SAAS;KACrC,CAAC;AACJ,CAAC"}

package/dist-cjs/index.js

@@ -40,5 +40,6 @@ __exportStar(require("./transfer/index.js"), exports);
 __exportStar(require("./merge/index.js"), exports);
 __exportStar(require("./workspace/index.js"), exports);
 __exportStar(require("./sharing/index.js"), exports);
+__exportStar(require("./history/index.js"), exports);
 __exportStar(require("./git/index.js"), exports);
 //# sourceMappingURL=index.js.map

package/dist-cjs/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;AAEH,6CAA2B;AAC3B,uDAAqC;AACrC,sDAAoC;AACpC,sDAAoC;AACpC,sDAAoC;AACpC,uDAAqC;AACrC,qDAAmC;AACnC,mDAAiC;AACjC,0DAAwC;AACxC,mDAAiC;AACjC,sDAAoC;AACpC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,iDAA+B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;AAEH,6CAA2B;AAC3B,uDAAqC;AACrC,sDAAoC;AACpC,sDAAoC;AACpC,sDAAoC;AACpC,uDAAqC;AACrC,qDAAmC;AACnC,mDAAiC;AACjC,0DAAwC;AACxC,mDAAiC;AACjC,sDAAoC;AACpC,mDAAiC;AACjC,uDAAqC;AACrC,qDAAmC;AACnC,qDAAmC;AACnC,iDAA+B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@amalgm/live",
-  "version": "0.2.81-main.41026618671",
+  "version": "0.2.81-main.41264653147",
   "description": "Portable realtime SDK for Amalgm — wire contracts, mutation discipline, and delivery state machines behind host-injected adapters.",
   "type": "module",
   "main": "./dist-cjs/index.js",
@@ -32,6 +32,12 @@
       "require": "./dist-cjs/machines/index.js",
       "default": "./dist/machines/index.js"
     },
+    "./history": {
+      "types": "./dist/history/index.d.ts",
+      "import": "./dist/history/index.js",
+      "require": "./dist-cjs/history/index.js",
+      "default": "./dist/history/index.js"
+    },
     "./sharing": {
       "types": "./dist/sharing/index.d.ts",
       "import": "./dist/sharing/index.js",
@@ -129,13 +135,13 @@
     ]
   },
   "dependencies": {
-    "@amalgm/core": "0.5.1-main.39177162099"
+    "@amalgm/core": "0.5.1-main.41264319540"
   },
-  "gitHead": "240d07d978a7ebad74f7623a18ac9ad39aa662a3",
+  "gitHead": "b75cb97bd7dcce3e0c4a15f7f43102c4d12abe3d",
   "amalgmSource": {
     "repository": "amalgm-inc/amalgm-live",
     "branch": "main",
-    "commit": "240d07d978a7ebad74f7623a18ac9ad39aa662a3",
-    "occurrence": "41026618671"
+    "commit": "b75cb97bd7dcce3e0c4a15f7f43102c4d12abe3d",
+    "occurrence": "41264653147"
   }
 }