@openlfcp/client 0.2.0-beta.7 → 0.2.0-beta.8

package/dist/data-unit.js

@@ -23,10 +23,12 @@ export async function createDataUnit(options) {
     const plaintext = options.profile.encode(options.value);
     const seq = await options.sequences.reserveNext(atHead.resourceId, actor);
     options.guard?.claim(atHead.resourceId, actor, seq);
-    if ((seq === 1n) !== (options.previousUnitId === null))
-        throw new LfcpError("INVALID_STRUCTURE", seq === 1n
-            ? "the actor's first unit (sequence 1) must have a null previous unit (§26.2)"
-            : `sequence ${seq} needs the actor's unit at sequence ${seq - 1n} as its previous unit (§26.2)`);
+    // §26.2: sequence 1 names no previous unit. A later one names the writer's
+    // latest own unit still accepted, or none: after a first unit that went
+    // stale (a Key Epoch cut it off) or was abandoned, the unit at 2 has a null
+    // previous, and a receiver that accepted nothing of the actor links it.
+    if (seq === 1n && options.previousUnitId !== null)
+        throw new LfcpError("INVALID_STRUCTURE", "the actor's first unit (sequence 1) must have a null previous unit (§26.2)");
     const sealed = sealDataUnit({
         resourceId: atHead.resourceId,
         dataEpoch: epoch,

package/dist/storage.js

@@ -283,9 +283,13 @@ export async function createQueuedDataUnit(storage, options, also = []) {
 }
 async function createQueuedDataUnitNow(storage, options, also, resource, actor) {
     const { onCreated, previousUnitId, ...create } = options;
-    const previous = previousUnitId !== undefined
-        ? previousUnitId
-        : await latestAcceptedOwnUnit(storage, resource, actor);
+    const latest = await latestAcceptedOwnUnit(storage, resource, actor);
+    // §26.2: a null previous only when the writer holds no own unit as
+    // accepted (before its first, or after a first that went stale); while it
+    // holds one, a receiver that accepted it would hold this unit for good.
+    if (previousUnitId === null && latest !== null)
+        throw new LfcpError("INVALID_STRUCTURE", "the writer still holds an accepted own unit: its next unit names it as previous (§26.2)");
+    const previous = previousUnitId !== undefined ? previousUnitId : latest;
     const created = await createDataUnit({
         ...create,
         previousUnitId: previous,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openlfcp/client",
-  "version": "0.2.0-beta.7",
+  "version": "0.2.0-beta.8",
   "description": "LFCP client: session, Control Plane and Data Plane synchronization.",
   "keywords": [
     "openlfcp",
@@ -42,9 +42,9 @@
     "tag": "beta"
   },
   "dependencies": {
-    "@openlfcp/core": "^0.2.0-beta.7",
-    "@openlfcp/crypto": "^0.2.0-beta.7",
-    "@openlfcp/storage": "^0.2.0-beta.7",
-    "@openlfcp/wire": "^0.2.0-beta.7"
+    "@openlfcp/core": "^0.2.0-beta.8",
+    "@openlfcp/storage": "^0.2.0-beta.8",
+    "@openlfcp/crypto": "^0.2.0-beta.8",
+    "@openlfcp/wire": "^0.2.0-beta.8"
   }
 }