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

package/dist/outbound.js

@@ -36,6 +36,8 @@ const PER_OBJECT = new Set([
 const CODE_NAMES = new Map(Object.entries(ERROR_CODE).map(([name, code]) => [code, name]));
 /** Room left in a message for the envelope and body around the objects. */
 const OVERHEAD = 1024;
+/** How many expired flights are remembered for a late answer. */
+const EXPIRED_KEPT = 1024;
 const AT_ONCE = { nextAttempt: () => null };
 /** Data Units by actor, then actor sequence; unparsable bytes last (they are blocked when sent). */
 function unitOrder(a, b) {
@@ -65,6 +67,16 @@ export class OutboundQueue {
     #maxMessageBytes = DEFAULT_MAX_MESSAGE_BYTES;
     /** message ID hex → what it carried */
     #flights = new Map();
+    /**
+     * Flights that expired unanswered (#expire), by message ID, the most
+     * recent {@link EXPIRED_KEPT}: a late answer to one is still an answer to
+     * our message, correlated for §4.1's acceptance evidence. Without them, an
+     * ACK handled after the timeout sweep (a busy event loop: the sweep's
+     * timer runs before the waiting message) dequeued the items as
+     * uncorrelated, their batch was "evidence-unavailable" for good, and no
+     * later ACK could change it (the Shared Tasks soak of 0.4.0-beta.17).
+     */
+    #expired = new Map();
     /** item ID hex → message ID hex */
     #inFlight = new Map();
     /**
@@ -99,6 +111,9 @@ export class OutboundQueue {
             if (flight.deadline > at)
                 continue;
             this.#flights.delete(key);
+            this.#expired.set(key, flight);
+            if (this.#expired.size > EXPIRED_KEPT)
+                this.#expired.delete(this.#expired.keys().next().value);
             for (const id of flight.itemIds)
                 if (this.#inFlight.get(toHex(id)) === key) {
                     this.#inFlight.delete(toHex(id));
@@ -261,8 +276,12 @@ export class OutboundQueue {
             return undefined;
         const key = toHex(messageId);
         const flight = this.#flights.get(key);
-        if (flight === undefined)
-            return undefined;
+        if (flight === undefined) {
+            // A late answer to a message whose flight expired: ours, correlated.
+            const late = this.#expired.get(key);
+            this.#expired.delete(key);
+            return late;
+        }
         this.#flights.delete(key);
         for (const id of flight.itemIds) {
             if (this.#inFlight.get(toHex(id)) === key)

package/package.json

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