@thomasfosterau/pulpit 0.0.0 → 0.1.0

package/dist/version-chain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-chain.d.ts","sourceRoot":"","sources":["../src/version-chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAKH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC;;;;GAIG;AACH,eAAO,MAAM,aAAa,0DAAkD,CAAC;AAC7E;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAEtD;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,GAAG,IAAI,GAAG,MAAM,CAAC;AAEtD;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAEpE;;;;;GAKG;AAEH,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,CAAC;AAErE;;;;;;;GAOG;AAEH,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,GAAG,SAAS,CAAA;CAAE,CAAC;AAEvF;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAgB,SAAQ,iBAAiB;IACxD,yFAAyF;IACzF,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;;;OAIG;IAEH,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAW,SAAQ,eAAe;IACjD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;;;;;oBAWmB,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,iBAMhC;CAAG;;;;;;oBASe,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,eAAgB,SAAQ,oBAOnC;CAAG;;;;;oBASe,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,iBAAkB,SAAQ,sBAG6B;CAAG;;;;;oBAanD,OAAO,MAAM;;AAXjC;;;;;;;;GAQG;AACH,qBAAa,eAAgB,SAAQ,oBAMnC;CAAG;;;;IAqBH,sDAAsD;;IAEtD,wCAAwC;;;oBANtB,OAAO,MAAM;;AAfjC;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAa,SAAQ,iBAUhC;CAAG;;;;;;oBAWe,OAAO,MAAM;;AATjC;;;;;;GAMG;AACH,qBAAa,WAAY,SAAQ,gBAO/B;CAAG;AAIL;;;;;;;;;;GAUG;AACH,MAAM,WAAW,iBAAiB,CAAC,CAAC,EAAE,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IAClF,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,CAChB,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,KACV,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC9C;AAID;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC;;;;GAIG;AACH,eAAO,MAAM,UAAU,UAAW,UAAU,SAAS,UAAU;;CAG7D,CAAC;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,YAAa,YAAY,SAAS,WAAW,KAAG,YAWzE,CAAC;AAEL;;;;GAIG;AACH,eAAO,MAAM,SAAS,aAAc,IAAI,CAAC,eAAe,EAAE,SAAS,CAAC,KAAG,YAC/C,CAAC;AAIzB;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,CAAC;AAE5F;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,CAAC;AAgBvE;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,UAAU,SAAU,UAAU,MAAM,UAAU,KAAG,SAU3D,CAAC;AAEJ;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAA;CAAE,CAAC;AAE9D;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC;AAerE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,WAAW,SAAU,YAAY,MAAM,YAAY,KAAG,UAUhE,CAAC;AAEJ;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,iBAAiB;IAChC,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,yFAAyF;IACzF,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,8EAA8E;IAE9E,QAAQ,CAAC,OAAO,CAAC,EAAE,YAAY,GAAG,SAAS,CAAC;IAC5C,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACzC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IAEH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAY,SAAQ,YAAY;IAC/C,6BAA6B;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;;;OAIG;IAEH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC3C,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC;;;;OAIG;IAEH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CACzD;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,CAAC,EAAE,CAAC;IACnC,mGAAmG;IACnG,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,iBAAiB,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IAC3E;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,YAAY,GAAG,YAAY,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IACrF;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,CAChB,KAAK,EAAE,WAAW,KACf,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,YAAY,GAAG,YAAY,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IACrF;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAC9B,YAAY,CAAC,EAAE,YAAY,KACxB,MAAM,CAAC,MAAM,CAChB,UAAU,GAAG;QAAE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;KAAE,EACjD,CAAC,GAAG,YAAY,GAAG,YAAY,GAAG,eAAe,EACjD,CAAC,CACF,CAAC;IACF,6DAA6D;IAC7D,QAAQ,CAAC,UAAU,EAAE,CACnB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IAC5D;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,EAAE,CAChB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IAC9D;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,EAAE,CACvB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAC9B,YAAY,CAAC,EAAE,YAAY,KACxB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,eAAe,GAAG,YAAY,GAAG,eAAe,EAAE,CAAC,CAAC,CAAC;IACxF;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,CAChB,EAAE,EAAE,MAAM,EACV,KAAK,CAAC,EAAE,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC;CAC3E;AAID;;;;;;;;;GASG;AACH,eAAO,MAAM,WAAW,+GAQtB,CAAC;AACH;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,0FAA0F;IAE1F,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC3C,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC;IAC9B;;;;;;OAMG;IAEH,QAAQ,CAAC,YAAY,CAAC,EAClB,CAAC,CAAC,KAAK,EAAE,gBAAgB,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAC9D,SAAS,CAAC;IACd;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EACzB,CAAC,CAAC,KAAK,EAAE,gBAAgB,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAC/D,SAAS,CAAC;CAEf;AAYD;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,EAAE,CAAC,QAC/B,MAAM,SACL,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,UACvB,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KACtB,eAAe,CAAC,CAAC,EAAE,CAAC,CAoPtB,CAAC"}

package/dist/version-chain.js

@@ -0,0 +1,489 @@
+/**
+ * **The node / version chain discipline** — create, append, tombstone,
+ * restore, history and field-level compare over an append-only chain,
+ * generic in the leaf.
+ *
+ * Every node carries an append-only chain of `(version, action, timestamp,
+ * actor)` rows (`READ-009` / `PUB-003`): each edit appends a row rather than
+ * rewriting in place, and "repointing the current version" is nothing but
+ * that append — the current version is the chain's maximum, resolved by the
+ * current-version view. The behavioural spec is gardeneria's
+ * `packages/database/src/nodes.ts` (`createNodeE` / `updateNodeE` /
+ * `deleteNodeE`), the leaf-chain half of `apps/api/src/operations/subtype.ts`
+ * (`defineVersionOpsE`, the merge / carry-forward writers) and
+ * `version-history.ts`; a `#NNN` here names a gardeneria issue.
+ *
+ * ## The invariants
+ *
+ * - **Append-only** (`VERSION-CHAIN-001/002`). Every write lands at
+ *   `N_max + 1`; no existing version row is ever updated, deleted or
+ *   reordered. A restore is a new version whose content came from history.
+ *   The one exception is erasure (`./purge`), which deletes a node's whole
+ *   chain, never part of one.
+ * - **Create is never an upsert.** A caller-supplied id that already belongs
+ *   to a node fails {@link NodeAlreadyExists} (F-OP-02) rather than minting a
+ *   version onto it.
+ * - **Update carries forward.** A patch is tri-state per column: a value
+ *   sets, `null` clears, an absent (or `undefined`) key carries the previous
+ *   version's value forward. Never `input.x ?? null`.
+ * - **Delete is a tombstone that carries the state forward**, so a `delete`
+ *   version is itself a complete snapshot — which is what makes restoring
+ *   *from* a tombstone possible. It is idempotent: on an already tombstoned
+ *   node it returns the existing tombstone and writes nothing.
+ * - **A plain update never resurrects** (`VERSION-CHAIN-006`). Over a
+ *   tombstone it fails {@link NodeNotFound}; only the explicit `restore` and
+ *   `restoreVersion` write over one.
+ * - **No partial restore.** `restoreVersion` reads the whole snapshot first
+ *   and fails {@link VersionNotFound} when any level of the chain has no row
+ *   at that version — before anything is written.
+ * - **Every chain read is bounded** (`PERF-DB-001`): `history` takes a
+ *   `limit`, capped at {@link MAX_HISTORY_LIMIT}.
+ * - **An expected version is a precondition on the append.** A write to an
+ *   existing node (`update`, `restore`, `delete`, `restoreVersion`) may
+ *   carry the head version its caller last read ({@link Precondition}); a
+ *   head that has moved fails {@link StaleVersion} and nothing is written.
+ *   It is checked against the very head the append extends, and the append
+ *   lands at that head + 1, so a writer that slips in between the read and
+ *   the append takes the `(id, version)` key first and this one fails
+ *   {@link VersionConflict}: the store's primary key is what makes the check
+ *   atomic. Without one, a write extends whatever the head is (last writer
+ *   wins on a column two patches both set).
+ *
+ * ## The seam
+ *
+ * The chain is read and written through a {@link VersionChainStore} the
+ * application supplies — in production, a Drizzle store over
+ * effect-drizzle-ext's `./versioned-chain` tables and views, which is not yet
+ * published (see the package README → Seams for the expected table shape).
+ * The operations here own the discipline; the store owns persistence
+ * and nothing else. Authorisation is not this module's concern either: the
+ * subtype factory (`./subtype`) gates before it calls in.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/version-chain
+ * @since 0.1.0
+ */
+import * as Array from "effect/Array";
+import * as Clock from "effect/Clock";
+import * as DateTime from "effect/DateTime";
+import * as Effect from "effect/Effect";
+import * as Equal from "effect/Equal";
+import * as Option from "effect/Option";
+import * as Record from "effect/Record";
+import * as Schema from "effect/Schema";
+// ── Vocabulary ────────────────────────────────────────────────────────
+/**
+ * What one version row recorded: the create, an edit (restores included), or a tombstone.
+ *
+ * @since 0.1.0
+ */
+export const VersionAction = Schema.Literals(["create", "update", "delete"]);
+// ── Errors ────────────────────────────────────────────────────────────
+/**
+ * No such node, or (for a plain update) a tombstoned one: the wire's 404.
+ *
+ * @since 0.1.0
+ */
+export class NodeNotFound extends Schema.TaggedError()("NodeNotFound", {
+    type: Schema.String,
+    id: Schema.String,
+}) {
+}
+/**
+ * No reconstructable version at `(id, version)`: an unknown version, or a partial chain.
+ *
+ * @since 0.1.0
+ */
+export class VersionNotFound extends Schema.TaggedError()("VersionNotFound", {
+    type: Schema.String,
+    id: Schema.String,
+    version: Schema.BigInt,
+}) {
+}
+/**
+ * A create whose caller-supplied id already belongs to a node — never an upsert: the wire's 409.
+ *
+ * @since 0.1.0
+ */
+export class NodeAlreadyExists extends Schema.TaggedError()("NodeAlreadyExists", { type: Schema.String, id: Schema.String }) {
+}
+/**
+ * The store refused an append because `(id, version)` is already taken — a
+ * concurrent writer got there first. Raised by the store (the `(id, version)`
+ * primary key is what enforces append-only under concurrency); never retried
+ * here, because a retry would silently base the write on a version the
+ * caller never read.
+ *
+ * @since 0.1.0
+ */
+export class VersionConflict extends Schema.TaggedError()("VersionConflict", {
+    id: Schema.String,
+    version: Schema.BigInt,
+}) {
+}
+/**
+ * An expected-version precondition that no longer holds: the head moved past
+ * the version the caller last read, so the write would have overwritten an
+ * edit the caller never saw. Nothing was written. Carries the head the write
+ * would have extended (`current`), so the caller can re-read and re-apply;
+ * the wire's 412 (a failed `If-Match`) or 409.
+ *
+ * A writer that passes the check but loses the race to the append fails
+ * {@link VersionConflict} instead: the same stale read, caught one step later
+ * by the store's key.
+ *
+ * @since 0.1.0
+ */
+export class StaleVersion extends Schema.TaggedError()("StaleVersion", {
+    type: Schema.String,
+    id: Schema.String,
+    /** The version the caller expected the head to be. */
+    expected: Schema.BigInt,
+    /** The head version the write found. */
+    current: Schema.BigInt,
+}) {
+}
+/**
+ * The chain's head version has no reconstructable state — the store broke its
+ * own contract (a head it reports must be readable). A defect, never a typed
+ * failure: there is nothing a caller could do about it.
+ *
+ * @since 0.1.0
+ */
+export class BrokenChain extends Schema.TaggedError()("BrokenChain", {
+    type: Schema.String,
+    id: Schema.String,
+    version: Schema.BigInt,
+}) {
+}
+// ── The operations ────────────────────────────────────────────────────
+/**
+ * The hard cap on a history read (`PERF-DB-001`): a chain is tiny in practice; this bounds a pathological one.
+ *
+ * @since 0.1.0
+ */
+export const MAX_HISTORY_LIMIT = 1000;
+/**
+ * Apply a tri-state patch to a state: a value sets, `null` clears, `undefined` carries forward.
+ *
+ * @since 0.1.0
+ */
+export const applyPatch = (state, patch) => ({
+    ...state,
+    ...Record.filter(patch, (value) => value !== undefined),
+});
+/**
+ * Apply a {@link LocalePatch} to a locale level: a patch updates its locale
+ * (from nothing for a locale `locales` lacks) with {@link applyPatch}, `null`
+ * drops the locale, `undefined` carries it forward. Pure and total.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import { applyLocalePatch } from "@thomasfosterau/pulpit/version-chain";
+ *
+ * const before = { en: { title: "Hello" }, fr: { title: "Bonjour" } };
+ * deepStrictEqual(applyLocalePatch(before, { en: { title: "Hi" }, fr: null, de: { title: "Hallo" } }), {
+ *   en: { title: "Hi" },
+ *   de: { title: "Hallo" },
+ * });
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const applyLocalePatch = (locales, patch) => Record.reduce(patch, locales, (acc, change, locale) => {
+    if (change === undefined)
+        return acc;
+    if (change === null)
+        return Record.remove(acc, locale);
+    return {
+        ...acc,
+        [locale]: applyPatch(Option.getOrElse(Record.get(acc, locale), () => ({})), change),
+    };
+});
+/**
+ * The locale level a snapshot carries, `{}` for none.
+ *
+ * @since 0.1.0
+ */
+export const localesOf = (snapshot) => snapshot.locales ?? {};
+/** One column's change, or none when both sides hold structurally equal values. */
+const changeOf = (before, after) => {
+    if (Option.isNone(before)) {
+        return Option.map(after, (value) => ({ _tag: "added", after: value }));
+    }
+    if (Option.isNone(after))
+        return Option.some({ _tag: "removed", before: before.value });
+    return Equal.equals(before.value, after.value)
+        ? Option.none()
+        : Option.some({ _tag: "changed", before: before.value, after: after.value });
+};
+/**
+ * The field-level change set from state `from` to state `to`: every column
+ * that is added, removed or changed, with its before and after values;
+ * unchanged columns are omitted. Pure and total, with no error channel.
+ *
+ * Presence is read per key, so the tri-state distinction survives: a column
+ * holding `null` is present (a clear), and only a column with no key is
+ * absent. Values compare structurally with `Equal.equals`: JSON objects and
+ * arrays by content (key order ignored), a `Date` by its instant, a `bigint`
+ * by value, and a `Date` never equals the string of its instant. A
+ * content-addressed document is held as its `DocumentHash`, so it compares by
+ * hash: changed or unchanged, never a textual diff, which is the UI's job.
+ *
+ * The diff is directed: swapping the arguments swaps `added` and `removed`
+ * and each change's `before` and `after`. A state's values are compared as
+ * immutable (Effect caches structural hashes), as a {@link ChainState} is.
+ *
+ * @since 0.1.0
+ */
+export const diffStates = (from, to) => Record.fromEntries(Array.flatMap(Array.dedupe([...Record.keys(from), ...Record.keys(to)]), (column) => Array.fromOption(Option.map(changeOf(Record.get(from, column), Record.get(to, column)), (change) => [column, change]))));
+/** One locale's change, or none when both sides carry it with equal columns (or neither does). */
+const localeChangeOf = (before, after) => {
+    if (Option.isNone(before)) {
+        return Option.map(after, (state) => ({ _tag: "added", after: state }));
+    }
+    if (Option.isNone(after))
+        return Option.some({ _tag: "removed", before: before.value });
+    const changes = diffStates(before.value, after.value);
+    return Record.isEmptyRecord(changes) ? Option.none() : Option.some({ _tag: "changed", changes });
+};
+/**
+ * The per-locale change set from locale level `from` to locale level `to`
+ * (pulpit#56): every locale added, removed, or whose columns changed by
+ * {@link diffStates}; an unchanged locale is omitted. Pure and total.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import { diffLocales } from "@thomasfosterau/pulpit/version-chain";
+ *
+ * deepStrictEqual(
+ *   diffLocales({ en: { title: "Hello" }, fr: { title: "Bonjour" } }, { en: { title: "Hi" }, de: { title: "Hallo" } }),
+ *   {
+ *     en: { _tag: "changed", changes: { title: { _tag: "changed", before: "Hello", after: "Hi" } } },
+ *     fr: { _tag: "removed", before: { title: "Bonjour" } },
+ *     de: { _tag: "added", after: { title: "Hallo" } },
+ *   },
+ * );
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const diffLocales = (from, to) => Record.fromEntries(Array.flatMap(Array.dedupe([...Record.keys(from), ...Record.keys(to)]), (locale) => Array.fromOption(Option.map(localeChangeOf(Record.get(from, locale), Record.get(to, locale)), (change) => [locale, change]))));
+// ── The before-append hook ────────────────────────────────────────────
+/**
+ * The write that is about to append: the chain's `action` vocabulary, with
+ * the two explicit restore surfaces named apart (`VERSION-CHAIN-006`), so a
+ * hook can tell a resurrection from an edit. `restore` and `restoreVersion`
+ * still append an `update` row. `publish` and `unpublish` are `./subtype`'s
+ * publication operations, which record a publication fact and append no
+ * version; the chain itself never emits them.
+ *
+ * @since 0.1.0
+ */
+export const WriteAction = Schema.Literals([
+    "create",
+    "update",
+    "delete",
+    "restore",
+    "restoreVersion",
+    "publish",
+    "unpublish",
+]);
+const isVersionConflict = Schema.is(VersionConflict);
+/** The write clock: the current instant, as the `Date` a version row stores. */
+const now = Effect.map(Clock.currentTimeMillis, (millis) => DateTime.toDate(DateTime.makeUnsafe(millis)));
+/**
+ * Bind the chain operations for one leaf `type` to a store. Every produced
+ * operation is traced as `${type}.<operation>`. `hooks.beforeAppend`, when
+ * given, runs before every append (see {@link ChainHooks}); its failure is
+ * each write's `E`.
+ *
+ * @since 0.1.0
+ */
+export const defineVersionChain = (type, store, hooks = {}) => {
+    const { beforeAppend, beforeAppendLocales } = hooks;
+    /**
+     * The state a write stores: the hook's patch (or the caller's, without a
+     * hook) over `base`, the prior state or nothing.
+     */
+    const nextState = (event, base) => Effect.gen(function* () {
+        const patch = beforeAppend === undefined ? event.patch : yield* beforeAppend(event);
+        const localePatch = beforeAppendLocales === undefined
+            ? (event.locales ?? {})
+            : yield* beforeAppendLocales(event);
+        const state = applyPatch(base.state, patch);
+        const locales = applyLocalePatch(localesOf(base), localePatch);
+        return Record.isEmptyRecord(locales) ? { state } : { state, locales };
+    });
+    /**
+     * Append at `previous + 1`, after checking the precondition against that
+     * same `previous`. The check and the append's version come from one read,
+     * so a writer that lands in between takes `previous + 1` first and this
+     * append fails the store's `(id, version)` key ({@link VersionConflict}):
+     * success means the head was still `expectedVersion` when the row went in.
+     */
+    const appendNext = (id, previous, action, content, actorId, precondition, proposedBy = Option.none()) => Effect.gen(function* () {
+        const expected = precondition.expectedVersion;
+        if (expected !== undefined && expected !== previous.version) {
+            return yield* new StaleVersion({ type, id, expected, current: previous.version });
+        }
+        const version = previous.version + 1n;
+        const timestamp = yield* now;
+        yield* store.append({
+            id,
+            type,
+            version,
+            action,
+            timestamp,
+            ...content,
+            actorId,
+            proposedBy,
+        });
+        return { id, version };
+    });
+    /** The current state: the head's snapshot. A head without a snapshot is a broken chain — a defect, not a miss. */
+    const current = (id) => Effect.gen(function* () {
+        const head = yield* store.head(id);
+        if (Option.isNone(head))
+            return Option.none();
+        const snapshot = yield* store.snapshot(id, head.value.version);
+        if (Option.isNone(snapshot)) {
+            return yield* Effect.die(new BrokenChain({ type, id, version: head.value.version }));
+        }
+        return Option.some(snapshot.value);
+    });
+    /**
+     * The head's full state for a hook to see, read only when there is a hook
+     * (`restoreVersion` otherwise needs the head entry alone).
+     */
+    const hookPrior = (id) => beforeAppend === undefined && beforeAppendLocales === undefined
+        ? Effect.succeed(Option.none())
+        : current(id);
+    const create = Effect.fn(`${type}.create`)(function* (input) {
+        const id = Option.isSome(input.id) ? input.id.value : yield* store.mintId;
+        if (Option.isSome(input.id) && Option.isSome(yield* store.head(id))) {
+            return yield* new NodeAlreadyExists({ type, id });
+        }
+        const content = yield* nextState({
+            action: "create",
+            id,
+            prior: Option.none(),
+            patch: input.state,
+            locales: input.locales ?? {},
+            actorId: input.actorId,
+        }, { state: {} });
+        const timestamp = yield* now;
+        yield* store
+            .append({
+            id,
+            type,
+            version: 0n,
+            action: "create",
+            timestamp,
+            ...content,
+            actorId: input.actorId,
+            proposedBy: Option.none(),
+        })
+            .pipe(
+        // A racing create that took the id between the check above and this
+        // append surfaces as the store's version-0 collision.
+        Effect.mapError((error) => isVersionConflict(error) && error.version === 0n
+            ? new NodeAlreadyExists({ type, id })
+            : error));
+        return { id, version: 0n };
+    });
+    const merge = (input, allowDeleted) => Effect.gen(function* () {
+        const head = yield* current(input.id);
+        if (Option.isNone(head) || (head.value.action === "delete" && !allowDeleted)) {
+            return yield* new NodeNotFound({ type, id: input.id });
+        }
+        const content = yield* nextState({
+            action: allowDeleted ? "restore" : "update",
+            id: input.id,
+            prior: head,
+            patch: input.patch,
+            locales: input.locales ?? {},
+            actorId: input.actorId,
+        }, head.value);
+        return yield* appendNext(input.id, head.value, "update", content, input.actorId, input, input.proposedBy);
+    });
+    const update = Effect.fn(`${type}.update`)(function* (input) {
+        return yield* merge(input, false);
+    });
+    const restore = Effect.fn(`${type}.restore`)(function* (input) {
+        return yield* merge(input, true);
+    });
+    const softDelete = Effect.fn(`${type}.delete`)(function* (id, actorId, precondition = {}) {
+        const head = yield* current(id);
+        if (Option.isNone(head))
+            return yield* new NodeNotFound({ type, id });
+        if (head.value.action === "delete") {
+            return { id, version: head.value.version, alreadyDeleted: true };
+        }
+        const content = yield* nextState({ action: "delete", id, prior: head, patch: {}, actorId }, head.value);
+        const written = yield* appendNext(id, head.value, "delete", content, actorId, precondition);
+        return { ...written, alreadyDeleted: false };
+    });
+    const getVersion = Effect.fn(`${type}.getVersion`)(function* (id, version) {
+        const snapshot = yield* store.snapshot(id, version);
+        if (Option.isNone(snapshot))
+            return yield* new VersionNotFound({ type, id, version });
+        return snapshot.value;
+    });
+    const compare = Effect.fn(`${type}.compare`)(function* (id, from, to) {
+        const before = yield* getVersion(id, from);
+        const after = yield* getVersion(id, to);
+        return {
+            from: before,
+            to: after,
+            changes: diffStates(before.state, after.state),
+            locales: diffLocales(localesOf(before), localesOf(after)),
+        };
+    });
+    const restoreVersion = Effect.fn(`${type}.restoreVersion`)(function* (id, version, actorId, precondition = {}) {
+        // Read the whole historical state FIRST, so an unreconstructable version
+        // fails before the chain is touched at all.
+        const snapshot = yield* store.snapshot(id, version);
+        if (Option.isNone(snapshot))
+            return yield* new VersionNotFound({ type, id, version });
+        const prior = yield* hookPrior(id);
+        const head = Option.isSome(prior) ? prior : yield* store.head(id);
+        if (Option.isNone(head))
+            return yield* new VersionNotFound({ type, id, version });
+        // Every locale is restored together with the shared columns: the
+        // locale patch is the whole historical level, over nothing.
+        const content = yield* nextState({
+            action: "restoreVersion",
+            id,
+            prior,
+            patch: snapshot.value.state,
+            locales: localesOf(snapshot.value),
+            actorId,
+        }, { state: {} });
+        // `update`, not a fourth action: a restore is an ordinary edit whose
+        // content came from history, and `action` stays the currency / tombstone
+        // axis every fail-closed view reads (#864 A8).
+        return yield* appendNext(id, head.value, "update", content, actorId, precondition);
+    });
+    const history = Effect.fn(`${type}.history`)(function* (id, limit = MAX_HISTORY_LIMIT) {
+        const bounded = Math.max(1, Math.min(Math.trunc(limit), MAX_HISTORY_LIMIT));
+        const entries = yield* store.entries(id, bounded);
+        return yield* Array.match(entries, {
+            onEmpty: () => Effect.fail(new NodeNotFound({ type, id })),
+            onNonEmpty: (nonEmpty) => Effect.succeed(nonEmpty),
+        });
+    });
+    return {
+        create,
+        update,
+        restore,
+        delete: softDelete,
+        getVersion,
+        compare,
+        restoreVersion,
+        history,
+    };
+};
+//# sourceMappingURL=version-chain.js.map

package/dist/version-chain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version-chain.js","sourceRoot":"","sources":["../src/version-chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AA0H7E,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAGjD,CAAC,cAAc,EAAE;IAClB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;CAClB,CAAC;CAAG;AAEL;;;;GAIG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAGpD,CAAC,iBAAiB,EAAE;IACrB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC,WAAW,EAGtD,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAAG;AAEvE;;;;;;;;GAQG;AACH,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAGpD,CAAC,iBAAiB,EAAE;IACrB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC,WAAW,EAGjD,CAAC,cAAc,EAAE;IAClB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,wCAAwC;IACxC,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,EAGhD,CAAC,aAAa,EAAE;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AA4CL,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAEtC;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAE,KAAiB,EAAE,EAAE,CAAC,CAAC;IACnE,GAAG,KAAK;IACR,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;CAC9E,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAqB,EAAE,KAAkB,EAAgB,EAAE,CAC1F,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;IACpD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IACrC,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvD,OAAO;QACL,GAAG,GAAG;QACN,CAAC,MAAM,CAAC,EAAE,UAAU,CAClB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EACrD,MAAM,CACP;KACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAA0C,EAAgB,EAAE,CACpF,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;AA4BzB,mFAAmF;AACnF,MAAM,QAAQ,GAAG,CACf,MAAkC,EAClC,KAAiC,EACD,EAAE;IAClC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,EAAmB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC5C,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;QACf,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AACjF,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAgB,EAAE,EAAc,EAAa,EAAE,CACxE,MAAM,CAAC,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CACjF,KAAK,CAAC,UAAU,CACd,MAAM,CAAC,GAAG,CACR,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAC1D,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAU,CACtC,CACF,CACF,CACF,CAAC;AAwBJ,kGAAkG;AAClG,MAAM,cAAc,GAAG,CACrB,MAAiC,EACjC,KAAgC,EACH,EAAE;IAC/B,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,EAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;AACnG,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAE,EAAgB,EAAc,EAAE,CAC9E,MAAM,CAAC,WAAW,CAChB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CACjF,KAAK,CAAC,UAAU,CACd,MAAM,CAAC,GAAG,CACR,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,EAChE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAU,CACtC,CACF,CACF,CACF,CAAC;AA+LJ,yEAAyE;AAEzE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;IACzC,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,gBAAgB;IAChB,SAAS;IACT,WAAW;CACZ,CAAC,CAAC;AA2EH,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;AAKrD,gFAAgF;AAChF,MAAM,GAAG,GAAwB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,MAAM,EAAE,EAAE,CAC9E,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC7C,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAY,EACZ,KAA8B,EAC9B,KAAK,GAAqB,EAAE,EACL,EAAE;IACzB,MAAM,EAAE,YAAY,EAAE,mBAAmB,EAAE,GAAG,KAAK,CAAC;IAEpD;;;OAGG;IACH,MAAM,SAAS,GAAG,CAChB,KAAuB,EACvB,IAAgD,EAClB,EAAE,CAChC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpF,MAAM,WAAW,GACf,mBAAmB,KAAK,SAAS;YAC/B,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;YACvB,CAAC,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;IAEL;;;;;;OAMG;IACH,MAAM,UAAU,GAAG,CACjB,EAAU,EACV,QAA2B,EAC3B,MAAqB,EACrB,OAAgB,EAChB,OAA8B,EAC9B,YAA0B,EAC1B,UAAU,GAA0B,MAAM,CAAC,IAAI,EAAE,EACiB,EAAE,CACpE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,YAAY,CAAC,eAAe,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,GAAG,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;QAC7B,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;YAClB,EAAE;YACF,IAAI;YACJ,OAAO;YACP,MAAM;YACN,SAAS;YACT,GAAG,OAAO;YACV,OAAO;YACP,UAAU;SACX,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;IACzB,CAAC,CAAC,CAAC;IAEL,kHAAkH;IAClH,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAC7B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEL;;;OAGG;IACH,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,EAAE,CAC/B,YAAY,KAAK,SAAS,IAAI,mBAAmB,KAAK,SAAS;QAC7D,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAmB,CAAC;QAChD,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAElB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAkB;QACtE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QAC1E,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC,CAAC,IAAI,iBAAiB,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAC9B;YACE,MAAM,EAAE,QAAQ;YAChB,EAAE;YACF,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,EACD,EAAE,KAAK,EAAE,EAAE,EAAE,CACd,CAAC;QACF,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;QAC7B,KAAK,CAAC,CAAC,KAAK;aACT,MAAM,CAAC;YACN,EAAE;YACF,IAAI;YACJ,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,QAAQ;YAChB,SAAS;YACT,GAAG,OAAO;YACV,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE;SAC1B,CAAC;aACD,IAAI;QACH,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,iBAAiB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE;YAC9C,CAAC,CAAC,IAAI,iBAAiB,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;YACrC,CAAC,CAAC,KAAK,CACV,CACF,CAAC;QACJ,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,YAAqB,EAAE,EAAE,CAC1D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7E,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAC9B;YACE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ;YAC3C,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK,EAAE,IAAI;YACX,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;YAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,EACD,IAAI,CAAC,KAAK,CACX,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,UAAU,CACtB,KAAK,CAAC,EAAE,EACR,IAAI,CAAC,KAAK,EACV,QAAQ,EACR,OAAO,EACP,KAAK,CAAC,OAAO,EACb,KAAK,EACL,KAAK,CAAC,UAAU,CACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAkB;QACtE,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAkB;QACxE,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,QAAQ,CAAC,EACtD,EAAU,EACV,OAA8B,EAC9B,YAAY,GAAiB,EAAE;QAE/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;QACnE,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAC9B,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EACzD,IAAI,CAAC,KAAK,CACX,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAC5F,OAAO,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU,EAAE,OAAe;QACvF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QACtF,OAAO,QAAQ,CAAC,KAAK,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAU,EAAE,IAAY,EAAE,EAAU;QAC1F,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YAC9C,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;SAC1D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAClE,EAAU,EACV,OAAe,EACf,OAA8B,EAC9B,YAAY,GAAiB,EAAE;QAE/B,yEAAyE;QACzE,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAClF,iEAAiE;QACjE,4DAA4D;QAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAC9B;YACE,MAAM,EAAE,gBAAgB;YACxB,EAAE;YACF,KAAK;YACL,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK;YAC3B,OAAO,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YAClC,OAAO;SACR,EACD,EAAE,KAAK,EAAE,EAAE,EAAE,CACd,CAAC;QACF,qEAAqE;QACrE,yEAAyE;QACzE,+CAA+C;QAC/C,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,QAAQ,CAAC,EACpD,EAAU,EACV,KAAK,GAAW,iBAAiB;QAEjC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE;YACjC,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1D,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAmC,QAAQ,CAAC;SACrF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM,EAAE,UAAU;QAClB,UAAU;QACV,OAAO;QACP,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC,CAAC"}

package/dist/working-copy.d.ts

@@ -0,0 +1,116 @@
+/**
+ * **The working copy** — an editor's autosave buffer, kept outside the
+ * version chain and overwritten freely, which an explicit save appends as
+ * one ordinary `update` version.
+ *
+ * ## The model (owner decisions on pulpit#46)
+ *
+ * - **Nothing in a working copy is a version**: saving it writes only the
+ *   {@link WorkingCopyStore}, so `VERSION-CHAIN-001` is untouched and a
+ *   hundred autosaves leave no trace in history.
+ * - **One copy per (node, editor)**, so two editors never overwrite each
+ *   other's unsaved work.
+ * - **`commit` appends the copy** through the leaf's own `update`, expecting
+ *   the head the copy was first based on: an edit landing in between fails
+ *   `StaleVersion` (and keeps the copy), so a commit never silently
+ *   overwrites work its editor didn't see. A committed copy is cleared.
+ * - **Every operation is gated like a write** (the leaf's `authorize`):
+ *   reading a copy shows unpublished state, so it is gated like the head.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/working-copy
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import type { Forbidden, SubtypeOps, Unauthorized, WriteRejected } from "./subtype.ts";
+import { NodeNotFound, type ChainPatch, type ChainWrite, type StaleVersion, type VersionChainStore, type VersionConflict } from "./version-chain.ts";
+/**
+ * One editor's working copy of one node: the tri-state patch over the head
+ * it was based on, and when it was last saved.
+ *
+ * @since 0.1.0
+ */
+export interface WorkingCopy {
+    readonly patch: ChainPatch;
+    /** The head the copy was first based on; `commit` expects it. */
+    readonly baseVersion: bigint;
+    readonly savedAt: Date;
+}
+/**
+ * Whose copy of which node.
+ *
+ * @since 0.1.0
+ */
+export interface WorkingCopyKey {
+    readonly id: string;
+    readonly userId: string;
+}
+/**
+ * The overwritable buffer an application supplies (a table keyed by
+ * `(node_id, user_id)`, or a KV namespace). Applies no policy and fails
+ * only with its `E` (README → Seams).
+ *
+ * @since 0.1.0
+ */
+export interface WorkingCopyStore<E, R> {
+    /** Write the copy, replacing any earlier one under the key. */
+    readonly put: (key: WorkingCopyKey, copy: WorkingCopy) => Effect.Effect<void, E, R>;
+    readonly get: (key: WorkingCopyKey) => Effect.Effect<Option.Option<WorkingCopy>, E, R>;
+    /** Remove the copy; idempotent. */
+    readonly discard: (key: WorkingCopyKey) => Effect.Effect<void, E, R>;
+}
+declare const WorkingCopyNotFound_base: Schema.Class<WorkingCopyNotFound, Schema.TaggedStruct<"WorkingCopyNotFound", {
+    readonly type: Schema.String;
+    readonly id: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * No working copy to commit: the wire's 404.
+ *
+ * @since 0.1.0
+ */
+export declare class WorkingCopyNotFound extends WorkingCopyNotFound_base {
+}
+type Gate = Unauthorized | Forbidden | NodeNotFound;
+/**
+ * The operations {@link defineWorkingCopy} produces, each acting on the
+ * calling editor's own copy.
+ *
+ * @since 0.1.0
+ */
+export interface WorkingCopyOps<E, R> {
+    /**
+     * Save `patch` over the editor's copy (a value sets, `null` clears, an
+     * absent key keeps the copy's), based on the head when there was no
+     * copy. Fails at the leaf's write gate, and `NodeNotFound` for a missing
+     * or tombstoned node.
+     */
+    readonly save: (id: string, patch: ChainPatch) => Effect.Effect<WorkingCopy, Gate | E, R>;
+    /** The editor's copy, or none. Gated like a write. */
+    readonly get: (id: string) => Effect.Effect<Option.Option<WorkingCopy>, Gate | E, R>;
+    /** Throw the editor's copy away. Gated like a write. */
+    readonly discard: (id: string) => Effect.Effect<void, Gate | E, R>;
+    /**
+     * Append the copy as one `update` version, expecting its base head, and
+     * clear it. Fails `WorkingCopyNotFound` without a copy, and as the
+     * leaf's `update` does (`StaleVersion` when the head moved since the
+     * copy's base, keeping the copy; `WriteRejected` from its hooks).
+     */
+    readonly commit: (id: string) => Effect.Effect<ChainWrite, Gate | WorkingCopyNotFound | StaleVersion | VersionConflict | WriteRejected | E, R>;
+}
+/**
+ * Bind a leaf's working copies: `leaf` gates and commits, `chain` reads
+ * the head a new copy is based on, `store` keeps the copies.
+ *
+ * @since 0.1.0
+ */
+export declare const defineWorkingCopy: <Resource, E, R>(definition: {
+    readonly leaf: SubtypeOps<Resource, E, R>;
+    readonly chain: VersionChainStore<E, R>;
+    readonly store: WorkingCopyStore<E, R>;
+}) => WorkingCopyOps<E, R>;
+export {};
+//# sourceMappingURL=working-copy.d.ts.map

package/dist/working-copy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"working-copy.d.ts","sourceRoot":"","sources":["../src/working-copy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACvF,OAAO,EACL,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACrB,MAAM,oBAAoB,CAAC;AAE5B;;;;;GAKG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC;IACpC,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,mCAAmC;IACnC,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CACtE;;;;;oBASmB,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,wBAG6B;CAAG;AAEzE,KAAK,IAAI,GAAG,YAAY,GAAG,SAAS,GAAG,YAAY,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,sDAAsD;IACtD,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAChB,UAAU,EACV,IAAI,GAAG,mBAAmB,GAAG,YAAY,GAAG,eAAe,GAAG,aAAa,GAAG,CAAC,EAC/E,CAAC,CACF,CAAC;CACH;AAMD;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,EAAE,CAAC,EAAE,CAAC,cAAc;IAC5D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACxC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAsDtB,CAAC"}