@moltzap/protocol 2026.503.3 → 2026.504.0

package/dist/testing/conformance/suite.js

@@ -31,6 +31,9 @@ import * as boundary from "./boundary.js";
 import * as presence from "./presence.js";
 import { isAllowedCoverageGap, } from "./coverage-policy.js";
 import { conformanceArtifactDirFromEnv } from "./env.js";
+import { AppsCreate } from "../../schema/methods/apps.js";
+const JSON_INDENT_SPACES = 2;
+const TOXIPROXY_NOT_PROVISIONED = "Toxiproxy client not provisioned";
 /**
  * Register every property against `ctx`. Consumers that want a narrower
  * run build a `ConformanceRunContext` directly and call only the modules
@@ -39,21 +42,17 @@ import { conformanceArtifactDirFromEnv } from "./env.js";
  */
 export function registerAllProperties(ctx) {
     schemaConformance.registerRequestWellFormedness(ctx);
-    schemaConformance.registerEventWellFormedness(ctx);
+    schemaConformance.registerNotificationWellFormedness(ctx);
     schemaConformance.registerRoundTripIdentity(ctx);
     schemaConformance.registerMalformedFrameHandling(ctx);
     schemaConformance.registerRpcMapCoverage(ctx);
-    schemaConformance.registerS2cRequestRoundTripIdentity(ctx);
-    schemaConformance.registerS2cResponseValidation(ctx);
-    schemaConformance.registerS2cMalformedRequestHandling(ctx);
-    schemaConformance.registerDualDirectionIdCollision(ctx);
     rpcSemantics.registerModelEquivalence(ctx);
     rpcSemantics.registerAuthorityPositive(ctx);
     rpcSemantics.registerAuthorityNegative(ctx);
     rpcSemantics.registerRequestIdUniqueness(ctx);
     rpcSemantics.registerIdempotence(ctx);
-    rpcSemantics.registerSpuriousS2cFrameHandling(ctx);
-    rpcSemantics.registerCallerControlledS2cTimeout(ctx);
+    rpcSemantics.registerSpuriousAppCallbackFrameHandling(ctx);
+    rpcSemantics.registerCallerControlledAppCallbackTimeout(ctx);
     delivery.registerFanOutCardinality(ctx);
     delivery.registerStoreAndReplay(ctx);
     delivery.registerPayloadOpacity(ctx);
@@ -196,7 +195,7 @@ function allowedServerCoverageGaps(toxiproxyUrl) {
         {
             kind: "unavailable",
             id: "delivery/hook-gated-delivery",
-            reasonIncludes: "apps/create",
+            reasonIncludes: AppsCreate.name,
         },
         {
             kind: "deferred",
@@ -206,7 +205,7 @@ function allowedServerCoverageGaps(toxiproxyUrl) {
         {
             kind: "unavailable",
             id: "delivery/multi-app-fifo-short-circuit",
-            reasonIncludes: "apps/create",
+            reasonIncludes: AppsCreate.name,
         },
         {
             kind: "deferred",
@@ -216,19 +215,19 @@ function allowedServerCoverageGaps(toxiproxyUrl) {
         {
             kind: "unavailable",
             id: "boundary/app-disconnect-fail-policy",
-            reasonIncludes: "apps/create",
+            reasonIncludes: AppsCreate.name,
         },
         {
             kind: "deferred",
             id: "boundary/app-disconnect-fail-policy",
             reasonIncludes: "B.9",
         },
-        // Spurious s2c frame handling needs a wire-level injection seam
+        // Spurious appCallback frame handling needs a wire-level injection seam
         // TestClient does not expose; tombstoned to B.9 (#318) where the
         // server-side fault-injection path is reachable.
         {
             kind: "deferred",
-            id: "rpc-semantics/spurious-s2c-frame-handling",
+            id: "rpc-semantics/spurious-app-callback-frame-handling",
             reasonIncludes: "B.9",
         },
     ];
@@ -236,23 +235,23 @@ function allowedServerCoverageGaps(toxiproxyUrl) {
         gaps.push({
             kind: "unavailable",
             id: "adversity/latency-resilience",
-            reasonIncludes: "Toxiproxy client not provisioned",
+            reasonIncludes: TOXIPROXY_NOT_PROVISIONED,
         }, {
             kind: "unavailable",
             id: "adversity/slicer-framing",
-            reasonIncludes: "Toxiproxy client not provisioned",
+            reasonIncludes: TOXIPROXY_NOT_PROVISIONED,
         }, {
             kind: "unavailable",
             id: "adversity/reset-peer-recovery",
-            reasonIncludes: "Toxiproxy client not provisioned",
+            reasonIncludes: TOXIPROXY_NOT_PROVISIONED,
         }, {
             kind: "unavailable",
             id: "adversity/timeout-surface",
-            reasonIncludes: "Toxiproxy client not provisioned",
+            reasonIncludes: TOXIPROXY_NOT_PROVISIONED,
         }, {
             kind: "unavailable",
             id: "adversity/slow-close-cleanup",
-            reasonIncludes: "Toxiproxy client not provisioned",
+            reasonIncludes: TOXIPROXY_NOT_PROVISIONED,
         });
     }
     return gaps;
@@ -292,6 +291,6 @@ function writeArtifact(dir, property, seed, payload) {
         name: property.name,
         seed,
         ...payload,
-    }, null, 2));
+    }, null, JSON_INDENT_SPACES));
 }
 //# sourceMappingURL=suite.js.map

package/dist/testing/conformance/suite.js.map

@@ -1 +1 @@
-{"version":3,"file":"suite.js","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,iBAAiB,GAIlB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,iBAAiB,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AAyCzD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA0B;IAC9D,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IACnD,iBAAiB,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACjD,iBAAiB,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IACtD,iBAAiB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC9C,iBAAiB,CAAC,mCAAmC,CAAC,GAAG,CAAC,CAAC;IAC3D,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,mCAAmC,CAAC,GAAG,CAAC,CAAC;IAC3D,iBAAiB,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAExD,YAAY,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC3C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC9C,YAAY,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACtC,YAAY,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IACnD,YAAY,CAAC,kCAAkC,CAAC,GAAG,CAAC,CAAC;IAErD,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAEvC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB;IACzD,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACrC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACtC,SAAS,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAExC,QAAQ,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAC3C,QAAQ,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;IAE9C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IACvC,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAA0B,EAC1B,WAAmB,EACnB,sBAAyD,EAAE;IAE3D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAuC,EAAE,CAAC;QACxD,MAAM,WAAW,GAAuC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAoC,EAAE,CAAC;QAEnD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrE,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,6BAA6B;oBAChC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,UAAU,EACV,EAAE,EACF,OAAO,CAAC,QAAQ,CACjB,EACD,CAAC;wBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;wBACtD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,gCAAgC;oBACnC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,aAAa,EACb,EAAE,EACF,OAAO,CAAC,MAAM,CACf,EACD,CAAC;wBACD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;wBACvD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,qCAAqC,CAAC;gBAC3C,KAAK,uCAAuC;oBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,WAAW,GAAU,OAAO,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,EAAE;wBACR,OAAO,EAAE;4BACP,IAAI,EAAE,QAAQ;4BACd,OAAO,EAAE,0BAA0B,MAAM,CAAC,WAAW,CAAC,EAAE;yBACzD;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B;IAE7B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC;IAC/C,MAAM,WAAW,GACf,IAAI,CAAC,WAAW;QAChB,6BAA6B,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC;IACvD,MAAM,UAAU,GACd,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE3E,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACnC,KAAK,EAAE,UAAU;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,eAAe,EAAE,KAAK,EAAE,+BAA+B;YACvD,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW;SACZ,CAAC,CAAC;QACH,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,gBAAgB,CAC5B,GAAG,EACH,WAAW,EACX,yBAAyB,CAAC,YAAY,CAAC,CACxC,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA2B;IAE3B,MAAM,IAAI,GAAyB;QACjC;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,wBAAwB;YAC5B,cAAc,EAAE,YAAY;SAC7B;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,gCAAgC;SACjD;QACD,yDAAyD;QACzD,wDAAwD;QACxD,oEAAoE;QACpE,8DAA8D;QAC9D,qEAAqE;QACrE,kEAAkE;QAClE,+DAA+D;QAC/D,iEAAiE;QACjE,+DAA+D;QAC/D,6CAA6C;QAC7C;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,aAAa;SAC9B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,aAAa;SAC9B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,aAAa;SAC9B;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,KAAK;SACtB;QACD,gEAAgE;QAChE,iEAAiE;QACjE,iDAAiD;QACjD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,2CAA2C;YAC/C,cAAc,EAAE,KAAK;SACtB;KACF,CAAC;IACF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CACP;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,0BAA0B;YAC9B,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,2BAA2B;YAC/B,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,kCAAkC;SACnD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,IAAsC;IAEtC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,OAAwB;IAC/C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,qCAAqC;YACxC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,KAAK,uCAAuC,CAAC;QAC7C,KAAK,gCAAgC;YACnC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACvD,KAAK,6BAA6B;YAChC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,GAAW,EACX,QAA4B,EAC5B,IAAY,EACZ,OAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CACpB,GAAG,EACH,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,YAAY,CAClD,CAAC;IACF,aAAa,CACX,IAAI,EACJ,IAAI,CAAC,SAAS,CACZ;QACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI;QACJ,GAAG,OAAO;KACX,EACD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"suite.js","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,iBAAiB,GAIlB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,iBAAiB,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,yBAAyB,GAAG,kCAAkC,CAAC;AAyCrE;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA0B;IAC9D,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,kCAAkC,CAAC,GAAG,CAAC,CAAC;IAC1D,iBAAiB,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACjD,iBAAiB,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IACtD,iBAAiB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAE9C,YAAY,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC3C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC9C,YAAY,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACtC,YAAY,CAAC,wCAAwC,CAAC,GAAG,CAAC,CAAC;IAC3D,YAAY,CAAC,0CAA0C,CAAC,GAAG,CAAC,CAAC;IAE7D,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAEvC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB;IACzD,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACrC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACtC,SAAS,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAExC,QAAQ,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAC3C,QAAQ,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;IAE9C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IACvC,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAA0B,EAC1B,WAAmB,EACnB,sBAAyD,EAAE;IAE3D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAuC,EAAE,CAAC;QACxD,MAAM,WAAW,GAAuC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAoC,EAAE,CAAC;QAEnD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrE,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,6BAA6B;oBAChC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,UAAU,EACV,EAAE,EACF,OAAO,CAAC,QAAQ,CACjB,EACD,CAAC;wBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;wBACtD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,gCAAgC;oBACnC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,aAAa,EACb,EAAE,EACF,OAAO,CAAC,MAAM,CACf,EACD,CAAC;wBACD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;wBACvD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,qCAAqC,CAAC;gBAC3C,KAAK,uCAAuC;oBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,WAAW,GAAU,OAAO,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,EAAE;wBACR,OAAO,EAAE;4BACP,IAAI,EAAE,QAAQ;4BACd,OAAO,EAAE,0BAA0B,MAAM,CAAC,WAAW,CAAC,EAAE;yBACzD;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B;IAE7B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC;IAC/C,MAAM,WAAW,GACf,IAAI,CAAC,WAAW;QAChB,6BAA6B,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC;IACvD,MAAM,UAAU,GACd,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE3E,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACnC,KAAK,EAAE,UAAU;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,eAAe,EAAE,KAAK,EAAE,+BAA+B;YACvD,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW;SACZ,CAAC,CAAC;QACH,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,gBAAgB,CAC5B,GAAG,EACH,WAAW,EACX,yBAAyB,CAAC,YAAY,CAAC,CACxC,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA2B;IAE3B,MAAM,IAAI,GAAyB;QACjC;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,wBAAwB;YAC5B,cAAc,EAAE,YAAY;SAC7B;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,gCAAgC;SACjD;QACD,yDAAyD;QACzD,wDAAwD;QACxD,oEAAoE;QACpE,8DAA8D;QAC9D,qEAAqE;QACrE,kEAAkE;QAClE,+DAA+D;QAC/D,iEAAiE;QACjE,+DAA+D;QAC/D,6CAA6C;QAC7C;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,KAAK;SACtB;QACD,wEAAwE;QACxE,iEAAiE;QACjE,iDAAiD;QACjD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,oDAAoD;YACxD,cAAc,EAAE,KAAK;SACtB;KACF,CAAC;IACF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CACP;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,0BAA0B;YAC9B,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,2BAA2B;YAC/B,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,yBAAyB;SAC1C,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,IAAsC;IAEtC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,OAAwB;IAC/C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,qCAAqC;YACxC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,KAAK,uCAAuC,CAAC;QAC7C,KAAK,gCAAgC;YACnC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACvD,KAAK,6BAA6B;YAChC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,GAAW,EACX,QAA4B,EAC5B,IAAY,EACZ,OAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CACpB,GAAG,EACH,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,YAAY,CAClD,CAAC;IACF,aAAa,CACX,IAAI,EACJ,IAAI,CAAC,SAAS,CACZ;QACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI;QACJ,GAAG,OAAO;KACX,EACD,IAAI,EACJ,kBAAkB,CACnB,CACF,CAAC;AACJ,CAAC"}

package/dist/testing/index.d.ts

@@ -19,7 +19,7 @@ export * as toxics from "./toxics/index.js";
 export { type ConformanceArtifact, type ConformanceRunContext, type ConformanceRunOptions, type ConformanceSuiteOptions, type PropertyCategory, type PropertyFailure, type PropertyRun, type RealServerHandle, type RegisteredProperty, type SuiteResult, PropertyAssertionFailure, PropertyDeferred, PropertyInvariantViolation, PropertyUnavailable, acquireRunContext, assertProperty, collectProperties, registerAllProperties, registerProperty, runAllProperties, runConformance, runConformanceSuite, } from "./conformance/index.js";
 export * as conformance from "./conformance/index.js";
 export * as clientConformance from "./conformance/client/index.js";
-export type { ClientConformanceRunContext, ClientConformanceRunOptions, ObservedEvent, RealClientCloseEvent, RealClientEventFilter, RealClientEventSubscriber, RealClientFactoryArgs, RealClientHandle, RealClientRpcCaller, RealClientSubscription, } from "./conformance/client/runner.js";
+export type { ClientConformanceRunContext, ClientConformanceRunOptions, ObservedNotification, RealClientCloseEvent, RealClientNotificationFilter, RealClientNotificationSubscriber, RealClientFactoryArgs, RealClientHandle, RealClientRpcCaller, RealClientSubscription, } from "./conformance/client/runner.js";
 export { RealClientLifecycleError, RealClientRpcError, } from "./conformance/client/runner.js";
 export type { ClientConformanceSuiteOptions, JointConformanceSuiteOptions, } from "./conformance/client/suite.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/testing/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,WAAW,EACX,WAAW,EACX,YAAY,GACb,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,KAAK,YAAY,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,KAAK,SAAS,EACd,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAK5C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAMtD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAKnE,YAAY,EACV,2BAA2B,EAC3B,2BAA2B,EAC3B,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACrB,yBAAyB,EACzB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,+BAA+B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,WAAW,EACX,WAAW,EACX,YAAY,GACb,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,KAAK,YAAY,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,KAAK,SAAS,EACd,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAK5C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAMtD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAKnE,YAAY,EACV,2BAA2B,EAC3B,2BAA2B,EAC3B,oBAAoB,EACpB,oBAAoB,EACpB,4BAA4B,EAC5B,gCAAgC,EAChC,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,+BAA+B,CAAC"}

package/dist/testing/models/dispatch.d.ts

@@ -10,8 +10,8 @@
  * `method`) so the TS compiler flags an unhandled method name if
  * `rpcMethods` grows without the model being updated.
  */
-import type { RpcMap, RpcMethodName } from "../../rpc-registry.js";
-import type { EventFrame } from "../../schema/frames.js";
+import type { RpcMethodName, RpcResult } from "../../rpc-registry.js";
+import type { NotificationFrame } from "../../schema/frames.js";
 import type { ArbitraryRpcCall } from "../arbitraries/rpc.js";
 import { type ReferenceState } from "./state.js";
 /**
@@ -22,13 +22,13 @@ import { type ReferenceState } from "./state.js";
  */
 export type RpcModelResult<M extends RpcMethodName = RpcMethodName> = {
     readonly _tag: "ok";
-    readonly result: RpcMap[M]["result"];
-    readonly events: ReadonlyArray<EventFrame>;
+    readonly result: RpcResult<M>;
+    readonly events: ReadonlyArray<NotificationFrame>;
 } | {
     readonly _tag: "error";
     readonly code: number;
     readonly message: string;
-    readonly events: ReadonlyArray<EventFrame>;
+    readonly events: ReadonlyArray<NotificationFrame>;
 };
 export declare function isIdempotent(method: RpcMethodName): boolean;
 /**

package/dist/testing/models/dispatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dispatch.d.ts","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAU,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,IAC9D;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;CAC5C,CAAC;AAyBN,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAE3D;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,MAAM,GACd,OAAO,GAAG,sBAAsB,GAAG,gBAAgB,CAcrD;AAiBD;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,aAAa,EAC/C,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CAAE,CA4IxE"}
+{"version":3,"file":"dispatch.d.ts","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAU,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AA4CzD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,IAC9D;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACnD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACnD,CAAC;AAuBN,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAE3D;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,MAAM,GACd,OAAO,GAAG,sBAAsB,GAAG,gBAAgB,CAcrD;AAiBD;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,aAAa,EAC/C,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CAAE,CA4HxE"}

package/dist/testing/models/dispatch.js

@@ -1,5 +1,12 @@
 import { ErrorCodes } from "../../schema/errors.js";
 import { mkTick } from "./state.js";
+import { AgentsList, AgentsLookup, AgentsLookupByName, Connect, InviteAgent, Register, SelectAgent, } from "../../schema/methods/auth.js";
+import { AppsAttachConversation, AppsAuthorizeDispatch, AppsCloseSession, AppsCreate, AppsGetSession, AppsListSessions, } from "../../schema/methods/apps.js";
+import { ContactsAccept, ContactsAdd, ContactsList, } from "../../schema/methods/contacts.js";
+import { ConversationsAddParticipant, ConversationsArchive, ConversationsCreate, ConversationsGet, ConversationsLeave, ConversationsList, ConversationsMute, ConversationsRemoveParticipant, ConversationsUnarchive, ConversationsUnmute, ConversationsUpdate, } from "../../schema/methods/conversations.js";
+import { InvitesCreateAgent } from "../../schema/methods/invites.js";
+import { MessagesList, MessagesSend } from "../../schema/methods/messages.js";
+import { PresenceSubscribe, PresenceUpdate, } from "../../schema/methods/presence.js";
 // `ErrorCodes` is re-used from `../../schema/errors.ts` so the model and
 // the server share one source of truth for code values.
 /**
@@ -8,18 +15,16 @@ import { mkTick } from "./state.js";
  * against the real server.
  */
 const IDEMPOTENT_METHODS = new Set([
-    "agents/lookup",
-    "agents/lookupByName",
-    "agents/list",
-    "conversations/list",
-    "conversations/get",
-    "messages/list",
-    "contacts/list",
-    "presence/subscribe",
-    "apps/listSessions",
-    "apps/getSession",
-    "permissions/list",
-    "surface/get",
+    AgentsLookup.name,
+    AgentsLookupByName.name,
+    AgentsList.name,
+    ConversationsList.name,
+    ConversationsGet.name,
+    MessagesList.name,
+    ContactsList.name,
+    PresenceSubscribe.name,
+    AppsListSessions.name,
+    AppsGetSession.name,
 ]);
 export function isIdempotent(method) {
     return IDEMPOTENT_METHODS.has(method);
@@ -36,7 +41,7 @@ export function isIdempotent(method) {
  */
 export function authorizationOutcome(state, call, agentId) {
     // `connect` + `register` establish identity; pre-identity they are always allowed.
-    if (call.method === "auth/connect" || call.method === "auth/register")
+    if (call.method === Connect.name || call.method === Register.name)
         return "allow";
     if (!state.agents.has(agentId))
         return "deny-unauthenticated";
@@ -106,17 +111,17 @@ export function applyCall(state, call) {
     const m = call.method;
     switch (m) {
         // Auth — model isn't sure what auth shape the caller has.
-        case "auth/connect":
-        case "auth/register":
-        case "auth/invite-agent":
-        case "auth/selectAgent":
+        case Connect.name:
+        case Register.name:
+        case InviteAgent.name:
+        case SelectAgent.name:
             return { next: baseNext, outcome: uncertainError() };
         // Agents list-shaped — honest "ok" for a fresh authenticated agent.
-        case "agents/list":
+        case AgentsList.name:
             return { next: baseNext, outcome: allowNoEvents() };
         // Agents lookup-shaped — need a target; uncertain.
-        case "agents/lookup":
-        case "agents/lookupByName":
+        case AgentsLookup.name:
+        case AgentsLookupByName.name:
             return { next: baseNext, outcome: uncertainError() };
         // Conversations list — NOT oracle-confident across arbitrary
         // params. Round-8 finding (architect-197 §2.2 literal-probe
@@ -127,58 +132,44 @@ export function applyCall(state, call) {
         // to `uncertainError`; K=1 today (agents/list only). Widening
         // K requires either per-method param filters at the arbitrary
         // layer OR a server-side cursor-parse fix; tracked under #186.
-        case "conversations/list":
+        case ConversationsList.name:
             return { next: baseNext, outcome: uncertainError() };
         // Conversations with required fields or state — uncertain.
-        case "conversations/create":
-        case "conversations/get":
-        case "conversations/update":
-        case "conversations/mute":
-        case "conversations/unmute":
-        case "conversations/addParticipant":
-        case "conversations/removeParticipant":
-        case "conversations/leave":
-        case "conversations/archive":
-        case "conversations/unarchive":
+        case ConversationsCreate.name:
+        case ConversationsGet.name:
+        case ConversationsUpdate.name:
+        case ConversationsMute.name:
+        case ConversationsUnmute.name:
+        case ConversationsAddParticipant.name:
+        case ConversationsRemoveParticipant.name:
+        case ConversationsLeave.name:
+        case ConversationsArchive.name:
+        case ConversationsUnarchive.name:
             return { next: baseNext, outcome: uncertainError() };
         // Messages — both require a valid conversationId. Uncertain.
-        case "messages/send":
-        case "messages/list":
+        case MessagesSend.name:
+        case MessagesList.name:
             return { next: baseNext, outcome: uncertainError() };
         // Contacts list — requires user context for a fresh agent, so
         // server returns an error. Uncertain.
-        case "contacts/list":
-        case "contacts/add":
-        case "contacts/accept":
+        case ContactsList.name:
+        case ContactsAdd.name:
+        case ContactsAccept.name:
             return { next: baseNext, outcome: uncertainError() };
         // Invites — requires state. Uncertain.
-        case "invites/createAgent":
+        case InvitesCreateAgent.name:
             return { next: baseNext, outcome: uncertainError() };
         // Presence — state-dependent. Uncertain.
-        case "presence/update":
-        case "presence/subscribe":
-            return { next: baseNext, outcome: uncertainError() };
-        // Push — requires endpoint registration. Uncertain.
-        case "push/register":
-        case "push/unregister":
+        case PresenceUpdate.name:
+        case PresenceSubscribe.name:
             return { next: baseNext, outcome: uncertainError() };
         // Apps — require app/user context the fresh agent doesn't have.
-        case "apps/create":
-        case "apps/attestSkill":
-        case "permissions/grant":
-        case "permissions/list":
-        case "permissions/revoke":
-        case "apps/closeSession":
-        case "apps/getSession":
-        case "apps/listSessions":
-        case "apps/authorizeDispatch":
-        case "apps/attachConversation":
-            return { next: baseNext, outcome: uncertainError() };
-        // Surfaces — require surface/app context. Uncertain.
-        case "surface/update":
-        case "surface/get":
-        case "surface/action":
-        case "surface/clear":
+        case AppsCreate.name:
+        case AppsCloseSession.name:
+        case AppsGetSession.name:
+        case AppsListSessions.name:
+        case AppsAuthorizeDispatch.name:
+        case AppsAttachConversation.name:
             return { next: baseNext, outcome: uncertainError() };
         default: {
             // Exhaustiveness check — any new RpcMethodName breaks the build here

package/dist/testing/models/dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"dispatch.js","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAuB,MAAM,YAAY,CAAC;AAqBzD,yEAAyE;AACzE,wDAAwD;AAExD;;;;GAIG;AACH,MAAM,kBAAkB,GAA+B,IAAI,GAAG,CAAC;IAC7D,eAAe;IACf,qBAAqB;IACrB,aAAa;IACb,oBAAoB;IACpB,mBAAmB;IACnB,eAAe;IACf,eAAe;IACf,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,kBAAkB;IAClB,aAAa;CACqB,CAAC,CAAC;AAEtC,MAAM,UAAU,YAAY,CAAC,MAAqB;IAChD,OAAO,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAqB,EACrB,IAAsB,EACtB,OAAe;IAEf,mFAAmF;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe;QACnE,OAAO,OAAO,CAAC;IACjB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAE9D,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC9D,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc;IAEd,OAAO,CACL,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,gBAAgB,IAAI,KAAK;QACzB,OAAQ,KAAqC,CAAC,cAAc,KAAK,QAAQ,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAe;IAC5C,OAAO,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,KAAqB,EACrB,IAAyB;IAEzB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAmB,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE9D,sFAAsF;IACtF,yEAAyE;IACzE,2EAA2E;IAC3E,oEAAoE;IACpE,cAAc;IAEd,+DAA+D;IAC/D,2CAA2C;IAC3C,EAAE;IACF,+DAA+D;IAC/D,kEAAkE;IAClE,4DAA4D;IAC5D,iEAAiE;IACjE,kEAAkE;IAClE,EAAE;IACF,mEAAmE;IACnE,mEAAmE;IACnE,qEAAqE;IACrE,kEAAkE;IAClE,6CAA6C;IAC7C,MAAM,aAAa,GAAG,GAAsB,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,EAAyB;QACjC,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,GAAsB,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,KAAK;QACZ,OAAO,EAAE,oDAAoD;QAC7D,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IAEH,MAAM,CAAC,GAAkB,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,CAAC,EAAE,CAAC;QACV,0DAA0D;QAC1D,KAAK,cAAc,CAAC;QACpB,KAAK,eAAe,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,kBAAkB;YACrB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,oEAAoE;QACpE,KAAK,aAAa;YAChB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,CAAC;QAEtD,mDAAmD;QACnD,KAAK,eAAe,CAAC;QACrB,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,6DAA6D;QAC7D,4DAA4D;QAC5D,kEAAkE;QAClE,4DAA4D;QAC5D,4DAA4D;QAC5D,gEAAgE;QAChE,8DAA8D;QAC9D,8DAA8D;QAC9D,+DAA+D;QAC/D,KAAK,oBAAoB;YACvB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,2DAA2D;QAC3D,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mBAAmB,CAAC;QACzB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,8BAA8B,CAAC;QACpC,KAAK,iCAAiC,CAAC;QACvC,KAAK,qBAAqB,CAAC;QAC3B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,yBAAyB;YAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,6DAA6D;QAC7D,KAAK,eAAe,CAAC;QACrB,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,8DAA8D;QAC9D,sCAAsC;QACtC,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,uCAAuC;QACvC,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,yCAAyC;QACzC,KAAK,iBAAiB,CAAC;QACvB,KAAK,oBAAoB;YACvB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,oDAAoD;QACpD,KAAK,eAAe,CAAC;QACrB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,gEAAgE;QAChE,KAAK,aAAa,CAAC;QACnB,KAAK,kBAAkB,CAAC;QACxB,KAAK,mBAAmB,CAAC;QACzB,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,mBAAmB,CAAC;QACzB,KAAK,iBAAiB,CAAC;QACvB,KAAK,mBAAmB,CAAC;QACzB,KAAK,wBAAwB,CAAC;QAC9B,KAAK,yBAAyB;YAC5B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,qDAAqD;QACrD,KAAK,gBAAgB,CAAC;QACtB,KAAK,aAAa,CAAC;QACnB,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,OAAO,CAAC,CAAC,CAAC;YACR,qEAAqE;YACrE,2BAA2B;YAC3B,MAAM,WAAW,GAAU,CAAC,CAAC;YAC7B,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE;oBACP,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,UAAU,CAAC,aAAa;oBAC9B,OAAO,EAAE,2BAA2B,MAAM,CAAC,WAAW,CAAC,EAAE;oBACzD,MAAM,EAAE,EAAE;iBACX;aACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"dispatch.js","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAuB,MAAM,YAAY,CAAC;AAEzD,OAAO,EACL,UAAU,EACV,YAAY,EACZ,kBAAkB,EAClB,OAAO,EACP,WAAW,EACX,QAAQ,EACR,WAAW,GACZ,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,UAAU,EACV,cAAc,EACd,gBAAgB,GACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,cAAc,EACd,WAAW,EACX,YAAY,GACb,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,8BAA8B,EAC9B,sBAAsB,EACtB,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,EACL,iBAAiB,EACjB,cAAc,GACf,MAAM,kCAAkC,CAAC;AAqB1C,yEAAyE;AACzE,wDAAwD;AAExD;;;;GAIG;AACH,MAAM,kBAAkB,GAA+B,IAAI,GAAG,CAAC;IAC7D,YAAY,CAAC,IAAI;IACjB,kBAAkB,CAAC,IAAI;IACvB,UAAU,CAAC,IAAI;IACf,iBAAiB,CAAC,IAAI;IACtB,gBAAgB,CAAC,IAAI;IACrB,YAAY,CAAC,IAAI;IACjB,YAAY,CAAC,IAAI;IACjB,iBAAiB,CAAC,IAAI;IACtB,gBAAgB,CAAC,IAAI;IACrB,cAAc,CAAC,IAAI;CACe,CAAC,CAAC;AAEtC,MAAM,UAAU,YAAY,CAAC,MAAqB;IAChD,OAAO,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAqB,EACrB,IAAsB,EACtB,OAAe;IAEf,mFAAmF;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI;QAC/D,OAAO,OAAO,CAAC;IACjB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAE9D,MAAM,cAAc,GAAG,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC9D,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc;IAEd,OAAO,CACL,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,gBAAgB,IAAI,KAAK;QACzB,OAAQ,KAAqC,CAAC,cAAc,KAAK,QAAQ,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAe;IAC5C,OAAO,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,KAAqB,EACrB,IAAyB;IAEzB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAmB,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAE9D,sFAAsF;IACtF,yEAAyE;IACzE,2EAA2E;IAC3E,oEAAoE;IACpE,cAAc;IAEd,+DAA+D;IAC/D,2CAA2C;IAC3C,EAAE;IACF,+DAA+D;IAC/D,kEAAkE;IAClE,4DAA4D;IAC5D,iEAAiE;IACjE,kEAAkE;IAClE,EAAE;IACF,mEAAmE;IACnE,mEAAmE;IACnE,qEAAqE;IACrE,kEAAkE;IAClE,6CAA6C;IAC7C,MAAM,aAAa,GAAG,GAAsB,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,EAAkB;QAC1B,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,GAAsB,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,CAAC,KAAK;QACZ,OAAO,EAAE,oDAAoD;QAC7D,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IAEH,MAAM,CAAC,GAAkB,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,CAAC,EAAE,CAAC;QACV,0DAA0D;QAC1D,KAAK,OAAO,CAAC,IAAI,CAAC;QAClB,KAAK,QAAQ,CAAC,IAAI,CAAC;QACnB,KAAK,WAAW,CAAC,IAAI,CAAC;QACtB,KAAK,WAAW,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,oEAAoE;QACpE,KAAK,UAAU,CAAC,IAAI;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,CAAC;QAEtD,mDAAmD;QACnD,KAAK,YAAY,CAAC,IAAI,CAAC;QACvB,KAAK,kBAAkB,CAAC,IAAI;YAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,6DAA6D;QAC7D,4DAA4D;QAC5D,kEAAkE;QAClE,4DAA4D;QAC5D,4DAA4D;QAC5D,gEAAgE;QAChE,8DAA8D;QAC9D,8DAA8D;QAC9D,+DAA+D;QAC/D,KAAK,iBAAiB,CAAC,IAAI;YACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,2DAA2D;QAC3D,KAAK,mBAAmB,CAAC,IAAI,CAAC;QAC9B,KAAK,gBAAgB,CAAC,IAAI,CAAC;QAC3B,KAAK,mBAAmB,CAAC,IAAI,CAAC;QAC9B,KAAK,iBAAiB,CAAC,IAAI,CAAC;QAC5B,KAAK,mBAAmB,CAAC,IAAI,CAAC;QAC9B,KAAK,2BAA2B,CAAC,IAAI,CAAC;QACtC,KAAK,8BAA8B,CAAC,IAAI,CAAC;QACzC,KAAK,kBAAkB,CAAC,IAAI,CAAC;QAC7B,KAAK,oBAAoB,CAAC,IAAI,CAAC;QAC/B,KAAK,sBAAsB,CAAC,IAAI;YAC9B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,6DAA6D;QAC7D,KAAK,YAAY,CAAC,IAAI,CAAC;QACvB,KAAK,YAAY,CAAC,IAAI;YACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,8DAA8D;QAC9D,sCAAsC;QACtC,KAAK,YAAY,CAAC,IAAI,CAAC;QACvB,KAAK,WAAW,CAAC,IAAI,CAAC;QACtB,KAAK,cAAc,CAAC,IAAI;YACtB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,uCAAuC;QACvC,KAAK,kBAAkB,CAAC,IAAI;YAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,yCAAyC;QACzC,KAAK,cAAc,CAAC,IAAI,CAAC;QACzB,KAAK,iBAAiB,CAAC,IAAI;YACzB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,gEAAgE;QAChE,KAAK,UAAU,CAAC,IAAI,CAAC;QACrB,KAAK,gBAAgB,CAAC,IAAI,CAAC;QAC3B,KAAK,cAAc,CAAC,IAAI,CAAC;QACzB,KAAK,gBAAgB,CAAC,IAAI,CAAC;QAC3B,KAAK,qBAAqB,CAAC,IAAI,CAAC;QAChC,KAAK,sBAAsB,CAAC,IAAI;YAC9B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC;QAEvD,OAAO,CAAC,CAAC,CAAC;YACR,qEAAqE;YACrE,2BAA2B;YAC3B,MAAM,WAAW,GAAG,CAAU,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE;oBACP,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,UAAU,CAAC,aAAa;oBAC9B,OAAO,EAAE,2BAA2B,MAAM,CAAC,WAAW,CAAC,EAAE;oBACzD,MAAM,EAAE,EAAE;iBACX;aACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/testing/models/state.d.ts

@@ -9,12 +9,12 @@
  * Shape: a pure data record keyed by agent id + conversation id. No fibers,
  * no network, no clocks — all actions are total functions.
  */
+import { Brand } from "effect";
 import type { Agent, Conversation, Message } from "../../types.js";
-import type { EventFrame } from "../../schema/frames.js";
+import type { NotificationFrame } from "../../schema/frames.js";
 /** Monotonic logical clock — the model does not read wall time. */
-export type LogicalTick = number & {
-    readonly __brand: "LogicalTick";
-};
+export type LogicalTick = number & Brand.Brand<"LogicalTick">;
+export declare const LogicalTick: Brand.Brand.Constructor<LogicalTick>;
 /** Construct a `LogicalTick` from a raw number. Only call in this module. */
 export declare function mkTick(n: number): LogicalTick;
 /** Every kind of entity the model tracks. */
@@ -27,7 +27,7 @@ export interface ReferenceState {
     /** Messages per conversation, append-only, ordered. */
     readonly messages: ReadonlyMap<string, ReadonlyArray<Message>>;
     /** Per-agent outbox of events the model predicts the server will emit. */
-    readonly pendingEvents: ReadonlyMap<string, ReadonlyArray<EventFrame>>;
+    readonly pendingEvents: ReadonlyMap<string, ReadonlyArray<NotificationFrame>>;
     /** Authorization table — (agentId, conversationId) → role. */
     readonly authz: ReadonlyMap<string, ReadonlyMap<string, "owner" | "participant" | "denied">>;
     /** Request-ids the model has observed, for uniqueness assertions (B4). */

package/dist/testing/models/state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/testing/models/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,mEAAmE;AACnE,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,CAAC;AAEvE,6EAA6E;AAC7E,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAE7C;AAED,6CAA6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,gDAAgD;IAChD,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1D,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC;IACvE,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,WAAW,CACzB,MAAM,EACN,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,aAAa,GAAG,QAAQ,CAAC,CACxD,CAAC;IACF,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED,eAAO,MAAM,qBAAqB,EAAE,cAQnC,CAAC"}
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/testing/models/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,mEAAmE;AACnE,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AAC9D,eAAO,MAAM,WAAW,sCAA+B,CAAC;AAExD,6EAA6E;AAC7E,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAE7C;AAED,6CAA6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,gDAAgD;IAChD,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1D,uDAAuD;IACvD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC9E,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,WAAW,CACzB,MAAM,EACN,WAAW,CAAC,MAAM,EAAE,OAAO,GAAG,aAAa,GAAG,QAAQ,CAAC,CACxD,CAAC;IACF,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC9C;AAED,eAAO,MAAM,qBAAqB,EAAE,cAQnC,CAAC"}

package/dist/testing/models/state.js

@@ -1,6 +1,19 @@
+/**
+ * Reference-model state types.
+ *
+ * Per Invariant I5 and AC4, the reference model is the contract: its
+ * reducer-derived next-state and its predicted event trace are compared
+ * against the real server's observable behavior (Tier B). Divergence
+ * shrinks to the offending `ArbitraryRpcCall`.
+ *
+ * Shape: a pure data record keyed by agent id + conversation id. No fibers,
+ * no network, no clocks — all actions are total functions.
+ */
+import { Brand } from "effect";
+export const LogicalTick = Brand.nominal();
 /** Construct a `LogicalTick` from a raw number. Only call in this module. */
 export function mkTick(n) {
-    return n;
+    return LogicalTick(n);
 }
 export const initialReferenceState = {
     tick: mkTick(0),

package/dist/testing/models/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/testing/models/state.ts"],"names":[],"mappings":"AAiBA,6EAA6E;AAC7E,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAO,CAAgB,CAAC;AAC1B,CAAC;AAsBD,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACf,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,cAAc,EAAE,IAAI,GAAG,EAAE;CAC1B,CAAC"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/testing/models/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAM/B,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,EAAe,CAAC;AAExD,6EAA6E;AAC7E,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC;AAsBD,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACf,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,cAAc,EAAE,IAAI,GAAG,EAAE;CAC1B,CAAC"}

package/dist/testing/test-client.d.ts

@@ -9,9 +9,14 @@
  *
  * Satisfies AC2. Consumed by Tier A / B / C / D / E properties.
  */
-import { Context, Effect, Scope, Stream } from "effect";
-import type { RpcMap, RpcMethodName, S2cRpcMap, S2cRpcMethodName } from "../rpc-registry.js";
-import type { EventFrame } from "../schema/frames.js";
+import { Cause, Context, Effect, Scope, Stream } from "effect";
+import type { AnyAppCallbackRpcDefinition, AnyRpcDefinition } from "../rpc-registry.js";
+import { type ParamsOf, type ResultOf } from "../rpc.js";
+import { type DecodedNotification } from "../rpc-groups.js";
+import { type JsonRpcStringId } from "../schema/json-rpc.js";
+import type { AnyNotificationDefinition } from "../schema/notifications.js";
+import type { Static } from "@sinclair/typebox";
+import { AgentId } from "../schema/primitives.js";
 import { type CapturedFrame, type CaptureBuffer } from "./captures.js";
 import { type MalformedFrameKind } from "./codec.js";
 import { FrameSchemaError, RpcResponseError, RpcTimeoutError, TransportClosedError, TransportIoError } from "./errors.js";
@@ -23,7 +28,7 @@ import { FrameSchemaError, RpcResponseError, RpcTimeoutError, TransportClosedErr
 export interface TestClientConfig {
     readonly serverUrl: string;
     readonly agentKey: string;
-    readonly agentId: string;
+    readonly agentId: Static<typeof AgentId>;
     readonly defaultTimeoutMs: number;
     /** Soft cap on captured frames before the ring buffer drops oldest. */
     readonly captureCapacity: number;
@@ -41,23 +46,24 @@ export interface TestClientConfig {
  * them inside `Effect.forEach` / `fc.asyncProperty`.
  */
 export interface TestClient {
-    readonly sendRpc: <M extends RpcMethodName>(method: M, params: RpcMap[M]["params"], opts?: {
+    readonly sendRpc: <D extends AnyRpcDefinition>(definition: D, params: ParamsOf<D>, opts?: {
         readonly timeoutMs?: number;
-    }) => Effect.Effect<RpcMap[M]["result"], RpcResponseError | RpcTimeoutError | TransportClosedError | TransportIoError | FrameSchemaError>;
-    readonly sendMalformed: (opts: {
-        readonly baseMethod: RpcMethodName;
+    }) => Effect.Effect<ResultOf<D>, RpcResponseError | RpcTimeoutError | TransportClosedError | TransportIoError | FrameSchemaError>;
+    readonly sendMalformed: <D extends AnyRpcDefinition>(opts: {
+        readonly baseDefinition: D;
+        readonly baseParams: ParamsOf<D>;
         readonly kind: MalformedFrameKind;
         readonly seed: number;
     }) => Effect.Effect<RpcResponseError | null, TransportClosedError | TransportIoError | FrameSchemaError>;
-    readonly events: Stream.Stream<EventFrame, TransportClosedError>;
+    readonly notifications: Stream.Stream<DecodedNotification<AnyNotificationDefinition>, TransportClosedError>;
     readonly captures: CaptureBuffer;
     readonly snapshot: Effect.Effect<ReadonlyArray<CapturedFrame>>;
-    readonly waitForEvent: (eventName: string, timeoutMs?: number) => Effect.Effect<EventFrame, Error>;
-    readonly drainEvents: Effect.Effect<ReadonlyArray<EventFrame>>;
+    readonly waitForNotification: <D extends AnyNotificationDefinition>(definition: D, timeoutMs?: number) => Effect.Effect<DecodedNotification<D>, NotificationWaitError>;
+    readonly drainNotifications: Effect.Effect<ReadonlyArray<DecodedNotification<AnyNotificationDefinition>>>;
     /**
-     * Register a handler for a server-initiated (`direction: "s2c"`) RPC.
+     * Register a handler for an app-callback RPC.
      * When `handleInbound` sees a request frame whose method matches, the
-     * handler runs and its outcome is encoded as the s2c response:
+     * handler runs and its outcome is encoded as the JSON-RPC response:
      *   - `Effect.succeed(value)` → `{ result: value }`
      *   - `Effect.fail(err: RpcResponseError)` → `{ error: { code, message, data? } }`
      *   - defects collapse to a generic `-32603 InternalError` reply so the
@@ -67,15 +73,12 @@ export interface TestClient {
      * `HashMap.set`. The TestClient does NOT raise on duplicates the way the
      * production client does; tests routinely swap behaviour mid-scenario.
      *
-     * Type narrowing: once `s2cRpcMethods` (`packages/protocol/src/rpc-registry.ts`)
-     * registers verbs in B.2, `M` constrains to the registered method names
-     * and `params`/`result` bind to `S2cRpcMap[M]`. While the registry is
-     * empty, the constraint falls through to `string` / `unknown` so callers
-     * can still drive the surface — see {@link ServerRpcMethod}.
+     * `M` constrains to the registered app-callback method names and
+     * `params`/`result` bind to the matching descriptor.
      */
-    readonly handleServerRpc: <M extends ServerRpcMethod>(method: M, handler: (params: ServerRpcParams<M>, ctx: ServerRpcContext) => Effect.Effect<ServerRpcResult<M>, RpcResponseError>) => Effect.Effect<void>;
+    readonly handleServerRpc: <D extends ServerRpcDefinition>(definition: D, handler: (params: ServerRpcParams<D>, ctx: ServerRpcContext) => Effect.Effect<ServerRpcResult<D>, RpcResponseError>) => Effect.Effect<void>;
     /**
-     * Park until the server sends an s2c request for `method`. The handler
+     * Park until the server sends an app-callback request for `method`. The handler
      * registered via {@link handleServerRpc} (if any) still runs and replies;
      * `awaitServerRequest` is an OBSERVATION primitive — it lets a test
      * assert the request payload before the response goes back without
@@ -89,34 +92,41 @@ export interface TestClient {
      * Effect with `Effect.timeout` at the call site (architect plan §3.6
      * "Effect.timeout at call site, not schema cap").
      */
-    readonly awaitServerRequest: <M extends ServerRpcMethod>(method: M, predicate?: (params: ServerRpcParams<M>) => boolean, timeoutMs?: number) => Effect.Effect<ServerRpcParams<M>, Error>;
+    readonly awaitServerRequest: <D extends ServerRpcDefinition>(definition: D, predicate?: (params: ServerRpcParams<D>) => boolean, timeoutMs?: number) => Effect.Effect<ServerRpcParams<D>, ServerRequestWaitError>;
+}
+declare const NotificationWaitError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "TestingNotificationWaitError";
+} & Readonly<A>;
+export declare class NotificationWaitError extends NotificationWaitError_base<{
+    readonly definition: AnyNotificationDefinition;
+    readonly message: string;
+    readonly reason: "closed" | "timeout";
+}> {
+}
+declare const ServerRequestWaitError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => Cause.YieldableError & {
+    readonly _tag: "TestingServerRequestWaitError";
+} & Readonly<A>;
+export declare class ServerRequestWaitError extends ServerRequestWaitError_base<{
+    readonly message: string;
+    readonly definition: ServerRpcDefinition;
+    readonly reason: "timeout";
+}> {
 }
 /**
- * Method-name constraint for server-initiated RPC test surface. Narrows to
- * the registered s2c methods (`S2cRpcMethodName`) once B.2 populates
- * `s2cRpcMethods` in `rpc-registry.ts`. While the registry is empty, the
- * constraint falls through to `string` so the test surface remains usable
- * during Phase 1.0 — `[never] extends [never]` is true, but `never` as a
- * generic constraint blocks every caller. The fallback collapses
- * automatically the moment a verb registers.
+ * Descriptor constraint for app-callback RPC test surface.
  */
-export type ServerRpcMethod = [S2cRpcMethodName] extends [never] ? string : S2cRpcMethodName;
+export type ServerRpcDefinition = AnyAppCallbackRpcDefinition;
 /**
- * Inbound params type for an s2c method. Resolves to the registered
- * params schema via `S2cRpcMap[M]["params"]` once verbs land; falls
- * through to `unknown` for the bootstrap window — same condition as
- * {@link ServerRpcMethod}.
+ * Inbound params type for an app-callback method.
  */
-export type ServerRpcParams<M extends ServerRpcMethod> = M extends S2cRpcMethodName ? S2cRpcMap[M]["params"] : unknown;
+export type ServerRpcParams<D extends ServerRpcDefinition> = ParamsOf<D>;
 /**
- * Outbound result type for an s2c method handler. See {@link ServerRpcParams}
- * for the bootstrap fallback rationale.
+ * Outbound result type for an app-callback method handler.
  */
-export type ServerRpcResult<M extends ServerRpcMethod> = M extends S2cRpcMethodName ? S2cRpcMap[M]["result"] : unknown;
+export type ServerRpcResult<D extends ServerRpcDefinition> = ResultOf<D>;
 export interface ServerRpcContext {
-    readonly requestId: string;
-    readonly method: string;
-    readonly traceparent?: string;
+    readonly requestId: JsonRpcStringId;
+    readonly definition: ServerRpcDefinition;
 }
 export interface CloseableTestClient extends TestClient {
     readonly close: Effect.Effect<void, never>;
@@ -130,4 +140,5 @@ export declare const TestClient: Context.Tag<TestClient, TestClient>;
  */
 export declare function makeTestClient(config: TestClientConfig): Effect.Effect<TestClient, TransportIoError | TransportClosedError | RpcResponseError, Scope.Scope>;
 export declare function makeCloseableTestClient(config: TestClientConfig): Effect.Effect<CloseableTestClient, TransportIoError | TransportClosedError | RpcResponseError>;
+export {};
 //# sourceMappingURL=test-client.d.ts.map