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

package/dist/connection.d.ts

@@ -1,3 +1,4 @@
+import { LfcpError } from "@openlfcp/core";
 import { type AnyMessage, type ClientConnectionState, type ClientHandshakeConfig, type ReadySession } from "@openlfcp/wire";
 /**
  * One LFCP connection over a WebSocket (LFCP-WIRE-01 §30, §31, §34-§38,
@@ -36,6 +37,14 @@ export interface WebSocketLike {
 export type WebSocketFactory = (url: string, protocols: readonly string[]) => WebSocketLike;
 /** The platform WebSocket (globalThis.WebSocket); throws if the runtime has none. */
 export declare function platformWebSocket(): WebSocketFactory;
+/**
+ * A send on a connection that is not READY: it closed while the caller was
+ * working (an ordinary network loss, not a fault of the caller's). Nothing
+ * was sent. Still an LfcpError UNSUPPORTED_VALUE, as before.
+ */
+export declare class ConnectionNotReady extends LfcpError {
+    constructor();
+}
 /** §30: the only LFCP subprotocol. */
 export declare const LFCP_SUBPROTOCOL = "lfcp-1";
 export interface ConnectionEvents {

package/dist/connection.js

@@ -7,6 +7,17 @@ export function platformWebSocket() {
         throw new LfcpError("UNSUPPORTED_VALUE", "this runtime has no global WebSocket; inject a factory");
     return (url, protocols) => new ctor(url, [...protocols]);
 }
+/**
+ * A send on a connection that is not READY: it closed while the caller was
+ * working (an ordinary network loss, not a fault of the caller's). Nothing
+ * was sent. Still an LfcpError UNSUPPORTED_VALUE, as before.
+ */
+export class ConnectionNotReady extends LfcpError {
+    constructor() {
+        super("UNSUPPORTED_VALUE", "the connection is not READY");
+        this.name = "ConnectionNotReady";
+    }
+}
 /** §30: the only LFCP subprotocol. */
 export const LFCP_SUBPROTOCOL = "lfcp-1";
 const BYTES = (data) => {
@@ -147,7 +158,7 @@ export class LfcpConnection {
     /** Sends already encoded message bytes (e.g. an OutboundMessage) on a READY session. */
     sendEncoded(bytes) {
         if (this.#state !== "READY" || this.#socket === null)
-            throw new LfcpError("UNSUPPORTED_VALUE", "the connection is not READY");
+            throw new ConnectionNotReady();
         if (bytes.length > this.#limit())
             throw new LfcpError("MESSAGE_TOO_LARGE", `${bytes.length} bytes exceed the session limit ${this.#limit()}`);
         this.#socket.send(bytes);

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/index.d.ts

@@ -4,7 +4,7 @@ export { type ApplyOutcome, type DataProfileHandler, DataUnitApplier, type DataU
 export { ACCEPTANCE_DURABILITY, type BatchStatus, type BatchStatusName, batchStatus, batchStatuses, } from "./batch-status.js";
 export { type CheckpointSource, ProfileCheckpointer } from "./checkpoint.js";
 export { type ClaimJournal, pendingInvitationClaims } from "./claim-journal.js";
-export { type ConnectionEvents, type ConnectionOptions, LFCP_SUBPROTOCOL, LfcpConnection, platformWebSocket, type WebSocketFactory, type WebSocketLike, } from "./connection.js";
+export { type ConnectionEvents, ConnectionNotReady, type ConnectionOptions, LFCP_SUBPROTOCOL, LfcpConnection, platformWebSocket, type WebSocketFactory, type WebSocketLike, } from "./connection.js";
 export { type CreateDataUnitOptions, type CreatedDataUnit, createDataUnit } from "./data-unit.js";
 export { EngineGuard, type EngineItem, isEngineTrap, type Suspicion, snapshotItem, unitItem, } from "./engine-guard.js";
 export { type AcceptedInvitation, type AcceptInvitationOptions, type AcceptInvitationProgress, type AcceptInvitationStage, abandonInvitationClaim, acceptInvitation, type CreatedInvitation, type CreateInvitationOptions, createInvitation, DEFAULT_INVITATION_ABILITIES, InvitationLink, type ResumeInvitationClaimOptions, resumeInvitationClaim, } from "./invite.js";

package/dist/index.js

@@ -4,7 +4,7 @@ export { DataUnitApplier, } from "./apply.js";
 export { ACCEPTANCE_DURABILITY, batchStatus, batchStatuses, } from "./batch-status.js";
 export { ProfileCheckpointer } from "./checkpoint.js";
 export { pendingInvitationClaims } from "./claim-journal.js";
-export { LFCP_SUBPROTOCOL, LfcpConnection, platformWebSocket, } from "./connection.js";
+export { ConnectionNotReady, LFCP_SUBPROTOCOL, LfcpConnection, platformWebSocket, } from "./connection.js";
 export { createDataUnit } from "./data-unit.js";
 export { EngineGuard, isEngineTrap, snapshotItem, unitItem, } from "./engine-guard.js";
 export { abandonInvitationClaim, acceptInvitation, createInvitation, DEFAULT_INVITATION_ABILITIES, InvitationLink, resumeInvitationClaim, } from "./invite.js";

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/dist/sync-client.js

@@ -6,7 +6,7 @@ import { encode } from "@openlfcp/wire/cbor";
 import { afterAccepted, afterMismatch, RECOVERY_TRANSIENT_ATTEMPTS, RECOVERY_TRANSIENT_CODES, startRecovery, } from "./access-recovery.js";
 import { ACCEPTANCE_DURABILITY, batchStatus, batchStatuses, recordEvidence, } from "./batch-status.js";
 import { readClaimJournal } from "./claim-journal.js";
-import { LfcpConnection } from "./connection.js";
+import { ConnectionNotReady, LfcpConnection } from "./connection.js";
 import { EngineGuard, isEngineTrap, snapshotItem } from "./engine-guard.js";
 import { resourceSyncState, snapshotFrontier } from "./outbound.js";
 import { controlRecordWrites, createQueuedSnapshot, keyPackageWrites } from "./queue.js";
@@ -349,6 +349,11 @@ export class SyncClient {
         this.#queue = this.#queue
             .then(() => (this.#trapped ? undefined : fn()))
             .catch((e) => {
+            // The connection closed while a handler worked: nothing was sent, and
+            // its closing (queued here) starts over at the next READY. An
+            // ordinary outcome, not an INTERNAL error.
+            if (e instanceof ConnectionNotReady)
+                return;
             if (!isEngineTrap(e)) {
                 this.#emit({
                     type: "error",
@@ -534,10 +539,19 @@ export class SyncClient {
     // -------------------------------------------------------------------------
     // plumbing
     #request(request, message) {
+        try {
+            this.#connection.send(message);
+        }
+        catch (e) {
+            // Never waiting for an answer to what was not sent (the connection's
+            // closing already failed the requests it saw).
+            if (e instanceof ConnectionNotReady && request.kind === "host")
+                request.reject(new Error("the connection closed before RESOURCE_HOSTED: not READY"));
+            throw e;
+        }
         const key = toHex(message.messageId);
         this.#requests.set(key, request);
         this.#sentAt.set(key, this.#o.now());
-        this.#connection.send(message);
     }
     /**
      * Requests unanswered for requestTimeoutMs on a live connection (§70: a

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@openlfcp/client",
-  "version": "0.2.0-beta.6",
+  "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.6",
-    "@openlfcp/crypto": "^0.2.0-beta.6",
-    "@openlfcp/storage": "^0.2.0-beta.6",
-    "@openlfcp/wire": "^0.2.0-beta.6"
+    "@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"
   }
 }