@moltzap/protocol 2026.501.5 → 2026.501.6

package/dist/testing/conformance/dispatcher-concurrency.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=dispatcher-concurrency.d.ts.map

package/dist/testing/conformance/dispatcher-concurrency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatcher-concurrency.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/dispatcher-concurrency.ts"],"names":[],"mappings":""}

package/dist/testing/conformance/dispatcher-concurrency.js

@@ -0,0 +1,79 @@
+/**
+ * Conformance — s2c dispatcher concurrency invariants.
+ *
+ * Spec: moltzap#356 §8 (test plan, file 4).
+ *
+ * Cross-implementation contract: any client that drains s2c request
+ * frames MUST run hooks for distinct `(sessionId, conversationId,
+ * hookKind)` tuples on independent fibers. A `before_dispatch` hook
+ * suspended on a `Deferred.await` MUST NOT delay a sibling
+ * `before_message_delivery` hook for the same conversation.
+ *
+ * The reproducer that exercised this (arena#246, arena#248):
+ *
+ *   1. Server sends `apps/onBeforeDispatch` for (S, C). Client handler
+ *      suspends on `Deferred.await(release)` (lease-acquisition gate).
+ *   2. Server sends `apps/onBeforeMessageDelivery` for the SAME (S, C)
+ *      whose response would resolve `release`.
+ *   3. Single-fiber dispatchers (the pre-#356 `Stream.runForEach`)
+ *      queue (2) behind (1) — the release that would unblock (1) is
+ *      itself blocked on (1). Self-deadlock.
+ *   4. A correct dispatcher resolves: (2) runs to completion; the
+ *      `Deferred` fires; (1) resumes and replies.
+ *
+ * ─── Implementation status (impl-staff #356) ────────────────────────
+ *
+ * The properties P1-P4 below are the cross-implementation contract.
+ * They are NOT registered with the conformance property registry in
+ * this PR because cross-impl execution requires the conformance
+ * `TestServer` to emit s2c request frames — a surface addition the
+ * architect plan §6 ("No public-package-barrel change. No public
+ * surface change to pre-existing modules.") explicitly excluded
+ * from the spec's scope.
+ *
+ * Until that infrastructure lands, the same properties are exercised
+ * at lower layers against the reference client implementation
+ * (`@moltzap/client`):
+ *
+ *   - **P1 (disjoint-key concurrency)** —
+ *     `packages/client/src/internal/__tests__/s2c-partitioned-dispatcher.test.ts`
+ *     `"two offers with different keys execute concurrently"`.
+ *
+ *   - **P2 (arena#248 reproducer)** —
+ *     `packages/client/src/internal/__tests__/s2c-partitioned-dispatcher.test.ts`
+ *     `"before_dispatch suspended on Deferred.await does NOT block
+ *     before_message_delivery for the same (sessionId, conversationId)"`
+ *     and the real-WS integration test in
+ *     `s2c-partitioned-dispatcher-real-ws.test.ts`.
+ *
+ *   - **P3 (same-key FIFO)** —
+ *     `s2c-partitioned-dispatcher.test.ts` `"two offers with the same
+ *     key land on the same worker (FIFO preserved)"` and the per-tuple
+ *     ordering assertion in `s2c-partition-worker.test.ts`.
+ *
+ *   - **P4 (per-partition backpressure independence)** —
+ *     `s2c-partitioned-dispatcher.test.ts` `"partitionQueueFull on
+ *     partition A does not block partition B"`.
+ *
+ * The vitest stubs below remain as documentation for the future
+ * cross-implementation wiring; they are NOT executed (vitest's
+ * include glob is `*.test.ts`, this file is `*.ts`).
+ *
+ * Routing the deferred work: a follow-up issue should expand
+ * `TestServer` with `emitServerRequest` and register these as
+ * `dispatcher-concurrency` category properties via the conformance
+ * registry, parallel to `boundary` / `delivery`.
+ */
+import { describe, it } from "vitest";
+describe("conformance: s2c dispatcher concurrency", () => {
+    it.todo("P1: two s2c requests with disjoint (sessionId, conversationId, hookKind) " +
+        "keys complete concurrently when the first's handler suspends on a Deferred");
+    it.todo("P2 (arena#248 reproducer): suspended apps/onBeforeDispatch does NOT block " +
+        "apps/onBeforeMessageDelivery for the same (sessionId, conversationId); the " +
+        "release path resolves and the suspended fiber resumes");
+    it.todo("P3: two s2c requests with identical key are serialized — second handler " +
+        "starts only after first handler's Effect completes (FIFO within tuple)");
+    it.todo("P4: per-partition backpressure — flooding one (sessionId, conversationId, " +
+        "hookKind) does NOT delay handler dispatch for any other tuple");
+});
+//# sourceMappingURL=dispatcher-concurrency.js.map

package/dist/testing/conformance/dispatcher-concurrency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatcher-concurrency.js","sourceRoot":"","sources":["../../../src/testing/conformance/dispatcher-concurrency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEtC,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,IAAI,CACL,2EAA2E;QACzE,4EAA4E,CAC/E,CAAC;IACF,EAAE,CAAC,IAAI,CACL,4EAA4E;QAC1E,6EAA6E;QAC7E,uDAAuD,CAC1D,CAAC;IACF,EAAE,CAAC,IAAI,CACL,0EAA0E;QACxE,wEAAwE,CAC3E,CAAC;IACF,EAAE,CAAC,IAAI,CACL,4EAA4E;QAC1E,+DAA+D,CAClE,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const PROTOCOL_VERSION = "2026.501.5";
+export declare const PROTOCOL_VERSION = "2026.501.6";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.js

@@ -1,3 +1,3 @@
 // Auto-bumped by publish workflow
-export const PROTOCOL_VERSION = "2026.501.5";
+export const PROTOCOL_VERSION = "2026.501.6";
 //# sourceMappingURL=version.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moltzap/protocol",
-  "version": "2026.501.5",
+  "version": "2026.501.6",
   "description": "Protocol types and validators for MoltZap messaging",
   "license": "Apache-2.0",
   "repository": {