@moltzap/client 2026.1001.2 → 2026.1004.0

package/dist/transport/collectives/request-sends.d.ts

@@ -0,0 +1,42 @@
+/**
+ * @file A gather's request posts while they are sent, and how each one is
+ * settled when the requester stops waiting.
+ */
+import { Effect, Either, Fiber } from "effect";
+import type { AgentAddress } from "../messaging/address.js";
+import type { SendError } from "../messaging/errors.js";
+import type { EngineSentPost } from "../messaging/index.js";
+/** A member whose request post was refused, and why. */
+export type RequestRefusal = Readonly<{
+    member: AgentAddress;
+    reason: SendError["reason"];
+}>;
+/** A request post in flight, resolving to the member's refusal, if any. */
+export type RequestSend = Fiber.RuntimeFiber<Either.Either<EngineSentPost, RequestRefusal>>;
+/**
+ * Whether a member's refusal is an address error rather than a delivery
+ * failure.
+ * @param refusal A member's lookup or post refusal.
+ * @returns True for a malformed or unknown member or invalid membership.
+ */
+export declare const isAddressRefusal: (refusal: RequestRefusal) => boolean;
+/**
+ * Look up every member and name each whose lookup fails, in member order.
+ * @param members The members to resolve.
+ * @param lookup The engine's address resolution for one member.
+ * @returns Each failing member with its reason; empty when all resolve.
+ */
+export declare const lookupRefusals: (members: readonly AgentAddress[], lookup: (member: AgentAddress) => Effect.Effect<void, SendError>) => Effect.Effect<RequestRefusal[]>;
+/**
+ * Where a gather's request posts stand when the send stops waiting: each
+ * certified post and each member refused. A send still pending keeps
+ * running and is in neither.
+ * @param members The members asked, in the order of their sends.
+ * @param sends Each member's request send.
+ * @returns The posts and refusals, in member order.
+ */
+export declare const requestsSoFar: (members: readonly AgentAddress[], sends: readonly RequestSend[]) => Effect.Effect<{
+    readonly posts: EngineSentPost[];
+    readonly refused: RequestRefusal[];
+}>;
+//# sourceMappingURL=request-sends.d.ts.map

package/dist/transport/collectives/request-sends.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-sends.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/request-sends.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,MAAM,EAEN,MAAM,EAEN,KAAK,EAEN,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;CAC7B,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAC1C,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,cAAc,CAAC,CAC9C,CAAC;AAeF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,YAAa,cAAc,KAAG,OACrB,CAAC;AAEvC;;;;;GAKG;AACH,eAAO,MAAM,cAAc,YAChB,SAAS,YAAY,EAAE,UACxB,CAAC,MAAM,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,KAC/D,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,CAc9B,CAAC;AAEJ;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,YACf,SAAS,YAAY,EAAE,SACzB,SAAS,WAAW,EAAE,KAC5B,MAAM,CAAC,MAAM,CAAC;IACf,QAAQ,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;CACpC,CAsBE,CAAC"}

package/dist/transport/collectives/request-sends.js

@@ -0,0 +1,46 @@
+/**
+ * @file A gather's request posts while they are sent, and how each one is
+ * settled when the requester stops waiting.
+ */
+import { Effect, Array as EffectArray, Either, Exit, Fiber, Option, } from "effect";
+/** How many Registry lookups run at once; a group has at most 32 members. */
+const MEMBER_LOOKUP_CONCURRENCY = 8;
+/**
+ * Failures that address resolution alone determines, so the send can refuse
+ * them before any post.
+ */
+const ADDRESS_FAILURES = new Set([
+    "invalid-address",
+    "unknown-agent",
+    "membership-invalid",
+]);
+/**
+ * Whether a member's refusal is an address error rather than a delivery
+ * failure.
+ * @param refusal A member's lookup or post refusal.
+ * @returns True for a malformed or unknown member or invalid membership.
+ */
+export const isAddressRefusal = (refusal) => ADDRESS_FAILURES.has(refusal.reason);
+/**
+ * Look up every member and name each whose lookup fails, in member order.
+ * @param members The members to resolve.
+ * @param lookup The engine's address resolution for one member.
+ * @returns Each failing member with its reason; empty when all resolve.
+ */
+export const lookupRefusals = (members, lookup) => Effect.forEach(members, (member) => lookup(member).pipe(Effect.flip, Effect.map((error) => ({ member, reason: error.reason })), Effect.option), { concurrency: MEMBER_LOOKUP_CONCURRENCY }).pipe(Effect.map((lookups) => lookups.flatMap((found) => Option.toArray(found))));
+/**
+ * Where a gather's request posts stand when the send stops waiting: each
+ * certified post and each member refused. A send still pending keeps
+ * running and is in neither.
+ * @param members The members asked, in the order of their sends.
+ * @param sends Each member's request send.
+ * @returns The posts and refusals, in member order.
+ */
+export const requestsSoFar = (members, sends) => Effect.forEach(EffectArray.zip(members, sends), ([member, send]) => Fiber.poll(send).pipe(Effect.map((poll) => ({
+    member,
+    result: Option.flatMap(poll, (exit) => Exit.isSuccess(exit) ? Option.some(exit.value) : Option.none()),
+}))), { concurrency: 1 }).pipe(Effect.map((states) => ({
+    posts: states.flatMap(({ result }) => Option.toArray(Option.flatMap(result, Either.getRight))),
+    refused: states.flatMap(({ result }) => Option.toArray(Option.flatMap(result, Either.getLeft))),
+})));
+//# sourceMappingURL=request-sends.js.map

package/dist/transport/collectives/request-sends.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-sends.js","sourceRoot":"","sources":["../../../src/transport/collectives/request-sends.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,MAAM,EACN,KAAK,IAAI,WAAW,EACpB,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,GACP,MAAM,QAAQ,CAAC;AAgBhB,6EAA6E;AAC7E,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAEpC;;;GAGG;AACH,MAAM,gBAAgB,GAAqC,IAAI,GAAG,CAAC;IACjE,iBAAiB;IACjB,eAAe;IACf,oBAAoB;CACrB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAuB,EAAW,EAAE,CACnE,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAEvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAgC,EAChC,MAAgE,EAC/B,EAAE,CACnC,MAAM,CAAC,OAAO,CACZ,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CACjB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,GAAG,CACR,CAAC,KAAK,EAAkB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAC9D,EACD,MAAM,CAAC,MAAM,CACd,EACH,EAAE,WAAW,EAAE,yBAAyB,EAAE,CAC3C,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAC3E,CAAC;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAgC,EAChC,KAA6B,EAI5B,EAAE,CACH,MAAM,CAAC,OAAO,CACZ,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAC/B,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CACjB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACpB,MAAM;IACN,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACpC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAC/D;CACF,CAAC,CAAC,CACJ,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACnC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CACxD;IACD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACrC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CACvD;CACF,CAAC,CAAC,CACJ,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/shared-answers.d.ts

@@ -8,8 +8,9 @@
  * its result from exactly the answers it holds under the listed hashes. The
  * requester's result uses the same member ordering.
  */
-import type { AgentAddress, CollectiveMemberOutcome, InboundItem, PostId } from "../../contract.js";
-import type { RecordHash } from "../representation.js";
+import type { AgentAddress } from "../messaging/address.js";
+import type { PostId, RecordHash } from "../wire/index.js";
+import type { CollectiveMemberOutcome, InboundItem } from "./inbound.js";
 import type { CollectiveValue } from "./wire.js";
 /** The members a collecting operation asks, in member order. */
 export type Members = readonly [AgentAddress, ...AgentAddress[]];

package/dist/transport/collectives/shared-answers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared-answers.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/shared-answers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAEjD,gEAAgE;AAChE,MAAM,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC;AAEjE,yDAAyD;AACzD,MAAM,MAAM,aAAa,GAAG,OAAO,CACjC,eAAe,EACf;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAC9B,CAAC;AAEF,2DAA2D;AAC3D,MAAM,MAAM,oBAAoB,GAAG,OAAO,CACxC,WAAW,EACX;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,CACtC,CAAC;AAEF,kEAAkE;AAClE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;CAClC;AAED,iFAAiF;AACjF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IACrD,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,eAAe,GACtB,IAAI,CAIN;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,SAAS,UAAU,EAAE;;;;;;;EAkBhC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,WAAW,CAAC,YAAY,EAAE,uBAAuB,CAAC,GAC3D,oBAAoB,CAAC,UAAU,CAAC,CAOlC"}

package/dist/transport/collectives/shared-answers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared-answers.js","sourceRoot":"","sources":["../../../src/transport/collectives/shared-answers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AA8CH;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAqB,EACrB,MAAoB,EACpB,MAAuB;IAEvB,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAqB,EACrB,QAA+B;IAE/B,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,CAAC,UAAU;QACjB,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;KACtC,CAAC,CACH,CAAC;IACF,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO;QACL,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QACzC,QAAQ,EACN,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM;KACxE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,QAA4D;IAE5D,MAAM,OAAO,GAAG,CAAC,MAAoB,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM;QACN,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,WAAoB,EAAE;KAChE,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/validation.d.ts

@@ -1,17 +1,17 @@
 /**
  * @file Answer validation against a collective request's form-mode schema.
  *
- * Validation runs field by field with the MCP SDK's JSON Schema validator so
- * a failure names each failing field rather than one combined message. The
- * form-mode grammar is flat, so a field's property schema is the whole rule
- * for that field.
+ * Validation runs field by field so a failure names each failing field rather
+ * than one combined message. The form-mode grammar is flat, so a field's
+ * property schema is the whole rule for that field.
  */
 import { Effect } from "effect";
-import type { AnswerContent, CollectiveFailure, CollectiveMemberOutcome } from "../../contract.js";
+import type { AnswerContent, CollectiveFailure } from "./forms.js";
+import type { CollectiveMemberOutcome } from "./inbound.js";
 import type { CollectiveResponse, FormModeSchema } from "./wire.js";
 /**
- * Why one answer field failed its request's schema; `detail` is the SDK
- * validator's message for an `invalid` field.
+ * Why one answer field failed its request's schema; `detail` names each
+ * keyword an `invalid` field fails.
  */
 export type CollectiveFieldFailure = Extract<CollectiveFailure, {
     readonly kind: "answer-invalid";
@@ -29,9 +29,7 @@ export declare class CollectiveAnswerInvalidError extends CollectiveAnswerInvali
     get message(): string;
 }
 /**
- * Check an answer against the schema its request carried. Each call compiles
- * with its own validator: the SDK's shared default caches every compiled
- * schema for the life of the process, and request schemas are unbounded.
+ * Check an answer against the schema its request carried.
  * @param requestedSchema The request's form-mode schema.
  * @param content The member's answer.
  * @returns The answer unchanged, or an error naming every failing field.

package/dist/transport/collectives/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/validation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAGpE;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,CAC1C,iBAAiB,EACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CACpC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;;;;AAEpB,kEAAkE;AAClE,qBAAa,4BAA6B,SAAQ,kCAEhD;IACA,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAC1B,sBAAsB;QACtB,GAAG,sBAAsB,EAAE;KAC5B,CAAC;CACH,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAQ7B;CACF;AAgCD;;;;;GAKG;AACH,eAAO,MAAM,cAAc,oBACR,cAAc,WACtB,aAAa,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,4BAA4B,CAc3D,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,oBACX,cAAc,YACrB,kBAAkB,KAC3B,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAsBvC,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/validation.js

@@ -1,14 +1,12 @@
 /**
  * @file Answer validation against a collective request's form-mode schema.
  *
- * Validation runs field by field with the MCP SDK's JSON Schema validator so
- * a failure names each failing field rather than one combined message. The
- * form-mode grammar is flat, so a field's property schema is the whole rule
- * for that field.
+ * Validation runs field by field so a failure names each failing field rather
+ * than one combined message. The form-mode grammar is flat, so a field's
+ * property schema is the whole rule for that field.
  */
-import { fromJsonSchema, } from "@modelcontextprotocol/client";
-import { AjvJsonSchemaValidator } from "@modelcontextprotocol/client/validators/ajv";
 import { Data, Effect } from "effect";
+import { answerIssues } from "./answer-check.js";
 /** An answer does not satisfy its request's `requestedSchema`. */
 export class CollectiveAnswerInvalidError extends Data.TaggedError("CollectiveAnswerInvalidError") {
     get message() {
@@ -24,7 +22,7 @@ export class CollectiveAnswerInvalidError extends Data.TaggedError("CollectiveAn
  * answer field named `constructor` must not find `Object.prototype.constructor`.
  */
 const ownValue = (record, key) => (Object.hasOwn(record, key) ? record[key] : undefined);
-function fieldFailure(validator, requestedSchema, content, field) {
+function fieldFailure(requestedSchema, content, field) {
     const definition = ownValue(requestedSchema.properties, field);
     if (definition === undefined) {
         return { field, reason: "unexpected" };
@@ -35,19 +33,13 @@ function fieldFailure(validator, requestedSchema, content, field) {
             ? { field, reason: "missing" }
             : undefined;
     }
-    const result = fromJsonSchema(definition, validator)["~standard"].validate(value);
-    if (result instanceof Promise) {
-        return { field, reason: "invalid", detail: "asynchronous validator" };
-    }
-    const detail = result.issues?.map((issue) => issue.message).join(", ");
-    return detail === undefined
+    const issues = answerIssues(definition, value);
+    return issues.length === 0
         ? undefined
-        : { field, reason: "invalid", detail };
+        : { field, reason: "invalid", detail: issues.join(", ") };
 }
 /**
- * Check an answer against the schema its request carried. Each call compiles
- * with its own validator: the SDK's shared default caches every compiled
- * schema for the life of the process, and request schemas are unbounded.
+ * Check an answer against the schema its request carried.
  * @param requestedSchema The request's form-mode schema.
  * @param content The member's answer.
  * @returns The answer unchanged, or an error naming every failing field.
@@ -57,9 +49,8 @@ export const validateAnswer = (requestedSchema, content) => {
         ...Object.keys(requestedSchema.properties),
         ...Object.keys(content),
     ]);
-    const validator = new AjvJsonSchemaValidator();
     const [first, ...rest] = [...fields].flatMap((field) => {
-        const failure = fieldFailure(validator, requestedSchema, content, field);
+        const failure = fieldFailure(requestedSchema, content, field);
         return failure === undefined ? [] : [failure];
     });
     return first === undefined
@@ -88,8 +79,6 @@ export const outcomeOfResponse = (requestedSchema, response) => {
             }));
         case "decline":
             return Effect.succeed({ kind: "declined" });
-        case "cancel":
-            return Effect.succeed({ kind: "cancelled" });
         default: {
             const exhaustive = response;
             return exhaustive;

package/dist/transport/collectives/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/transport/collectives/validation.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAItC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAWjD,kEAAkE;AAClE,MAAM,OAAO,4BAA6B,SAAQ,IAAI,CAAC,WAAW,CAChE,8BAA8B,CAM9B;IACA,IAAa,OAAO;QAClB,OAAO,IAAI,CAAC,QAAQ;aACjB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACf,OAAO,CAAC,MAAM,KAAK,SAAS;YAC1B,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM,EAAE;YACvC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,CAC9D;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,QAAQ,GAAG,CACf,MAAuC,EACvC,GAAW,EACQ,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE/E,SAAS,YAAY,CACnB,eAA+B,EAC/B,OAAsB,EACtB,KAAa;IAEb,MAAM,UAAU,GAAG,QAAQ,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;YACvD,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE;YAC9B,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,eAA+B,EAC/B,OAAsB,EACsC,EAAE;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;QACrB,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC;QAC1C,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;KACxB,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACrD,MAAM,OAAO,GAAG,YAAY,CAAC,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9D,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,4BAA4B,CAAC,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CACjE,CAAC;AACR,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,eAA+B,EAC/B,QAA4B,EACY,EAAE;IAC1C,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,eAAe,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,KAAK,CAAC;gBACX,SAAS,EAAE,CAAC,KAAK,EAA2B,EAAE,CAAC,CAAC;oBAC9C,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,KAAK,CAAC,OAAO;iBACtB,CAAC;gBACF,SAAS,EAAE,CAAC,OAAO,EAA2B,EAAE,CAAC,CAAC;oBAChD,IAAI,EAAE,UAAU;oBAChB,OAAO;iBACR,CAAC;aACH,CAAC,CACH,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9C,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,QAAQ,CAAC;YACnC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/wire.d.ts

@@ -7,10 +7,10 @@
  * carries a `kind` discriminant so an endpoint classifies a part without trying
  * each shape in turn.
  */
-import { type PrimitiveSchemaDefinition as McpPrimitiveSchemaDefinition } from "@modelcontextprotocol/client";
-import { Effect, Option, ParseResult, Schema } from "effect";
-import { type AgentAddress, CollectiveId } from "../../contract.js";
-import { Content } from "../representation.js";
+import { Effect, Option, Schema } from "effect";
+import type { AgentAddress } from "../messaging/address.js";
+import { Content } from "../wire/index.js";
+import { CollectiveId } from "./forms.js";
 type PostContent = typeof Content.Type;
 /** The `data` part key under which the collective layer carries its value. */
 export declare const COLLECTIVE_DATA_KEY = "xyz.moltzap/collective";
@@ -22,7 +22,7 @@ export declare const COLLECTIVE_DATA_KEY = "xyz.moltzap/collective";
 export declare const FormModeSchema: Schema.filter<Schema.Struct<{
     $schema: Schema.optional<typeof Schema.String>;
     type: Schema.Literal<["object"]>;
-    properties: Schema.Record$<typeof Schema.String, Schema.transformOrFail<typeof Schema.Unknown, Schema.declare<McpPrimitiveSchemaDefinition, McpPrimitiveSchemaDefinition, readonly [], never>, never>>;
+    properties: Schema.Record$<typeof Schema.String, Schema.transformOrFail<typeof Schema.Unknown, Schema.declare<import("./form-grammar.js").FormField, import("./form-grammar.js").FormField, readonly [], never>, never>>;
     required: Schema.optional<Schema.Array$<typeof Schema.String>>;
 }>>;
 /** A validated form-mode schema for one collective question. */
@@ -37,6 +37,11 @@ export type FormModeSchema = typeof FormModeSchema.Type;
  * @returns The id the pair names.
  */
 export declare const collectiveIdOf: (requester: AgentAddress, nonce: string) => CollectiveId;
+/** A fresh nonce and the id it binds to the requester. */
+export declare const mintCollectiveId: (requester: AgentAddress) => Effect.Effect<{
+    id: string & import("effect/Brand").Brand<"CollectiveId">;
+    nonce: string;
+}, never, never>;
 /** A member's reply to one request; only `accept` carries content. */
 declare const CollectiveResponse: Schema.Union<[Schema.Struct<{
     kind: Schema.Literal<["response"]>;
@@ -46,7 +51,7 @@ declare const CollectiveResponse: Schema.Union<[Schema.Struct<{
 }>, Schema.Struct<{
     kind: Schema.Literal<["response"]>;
     id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
-    action: Schema.Literal<["decline", "cancel"]>;
+    action: Schema.Literal<["decline"]>;
 }>]>;
 /** A validated collective response. */
 export type CollectiveResponse = typeof CollectiveResponse.Type;
@@ -63,7 +68,7 @@ declare const CollectiveValue: Schema.Union<[Schema.Struct<{
     requestedSchema: Schema.filter<Schema.Struct<{
         $schema: Schema.optional<typeof Schema.String>;
         type: Schema.Literal<["object"]>;
-        properties: Schema.Record$<typeof Schema.String, Schema.transformOrFail<typeof Schema.Unknown, Schema.declare<McpPrimitiveSchemaDefinition, McpPrimitiveSchemaDefinition, readonly [], never>, never>>;
+        properties: Schema.Record$<typeof Schema.String, Schema.transformOrFail<typeof Schema.Unknown, Schema.declare<import("./form-grammar.js").FormField, import("./form-grammar.js").FormField, readonly [], never>, never>>;
         required: Schema.optional<Schema.Array$<typeof Schema.String>>;
     }>>;
 }>, Schema.Union<[Schema.Struct<{
@@ -74,7 +79,7 @@ declare const CollectiveValue: Schema.Union<[Schema.Struct<{
 }>, Schema.Struct<{
     kind: Schema.Literal<["response"]>;
     id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
-    action: Schema.Literal<["decline", "cancel"]>;
+    action: Schema.Literal<["decline"]>;
 }>]>, Schema.Struct<{
     kind: Schema.Literal<["close"]>;
     id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
@@ -118,7 +123,7 @@ export declare const decodeCollectiveValue: (u: unknown, overrideOptions?: impor
 } | {
     readonly kind: "response";
     readonly id: string & import("effect/Brand").Brand<"CollectiveId">;
-    readonly action: "cancel" | "decline";
+    readonly action: "decline";
 } | {
     readonly kind: "operation";
     readonly op: "multicast";
@@ -132,7 +137,7 @@ export declare const decodeCollectiveValue: (u: unknown, overrideOptions?: impor
         readonly $schema?: string | undefined;
         readonly type: "object";
         readonly properties: {
-            readonly [x: string]: McpPrimitiveSchemaDefinition;
+            readonly [x: string]: import("./form-grammar.js").FormField;
         };
         readonly required?: readonly string[] | undefined;
     };
@@ -140,7 +145,7 @@ export declare const decodeCollectiveValue: (u: unknown, overrideOptions?: impor
     readonly kind: "close";
     readonly id: string & import("effect/Brand").Brand<"CollectiveId">;
     readonly included: readonly (string & import("effect/Brand").Brand<"RecordHash">)[];
-}, ParseResult.ParseError, never>;
+}, import("effect/ParseResult").ParseError, never>;
 /**
  * Decode one untrusted collective response.
  * @param value A member's response as it arrives.
@@ -156,8 +161,8 @@ export declare const decodeCollectiveResponse: (u: unknown, overrideOptions?: im
 } | {
     readonly kind: "response";
     readonly id: string & import("effect/Brand").Brand<"CollectiveId">;
-    readonly action: "cancel" | "decline";
-}, ParseResult.ParseError, never>;
+    readonly action: "decline";
+}, import("effect/ParseResult").ParseError, never>;
 /**
  * Find and decode the collective value in one post's content.
  * @param content Certified post content.

package/dist/transport/collectives/wire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAQ,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,OAAO,EAA2B,MAAM,kBAAkB,CAAC;AAEpE,OAAO,EAAiB,YAAY,EAAE,MAAM,YAAY,CAAC;AAIzD,KAAK,WAAW,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAEvC,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,2BAA2B,CAAC;AAE5D;;;;GAIG;AACH,eAAO,MAAM,cAAc;;;;;GA0B1B,CAAC;AACF,gEAAgE;AAChE,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AASxD;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,cACd,YAAY,SAChB,MAAM,KACZ,YAKA,CAAC;AAEJ,0DAA0D;AAC1D,eAAO,MAAM,gBAAgB,cAAe,YAAY;;;gBAIpD,CAAC;AAuBL,sEAAsE;AACtE,QAAA,MAAM,kBAAkB;;;;;;;;;IAYvB,CAAC;AACF,uCAAuC;AACvC,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAShE,yEAAyE;AACzE,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKpB,CAAC;AACF,oCAAoC;AACpC,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;;;;AAE1D,+EAA+E;AAC/E,qBAAa,0BAA2B,SAAQ,gCAE9C;IACA,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAAC;CAC5C,CAAC;CAAG;;;;AAEL,kGAAkG;AAClG,qBAAa,sBAAuB,SAAQ,2BAE3C;CAAG;AAoBJ;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,YACvB,WAAW,KACnB,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,CACgC,CAAC;AAErE;;;;GAIG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kDAAwC,CAAC;AAE3E;;;;GAIG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;kDACK,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,YACrB,WAAW,KACnB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAC9B,0BAA0B,CAiB3B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,UAC3B,eAAe,SACf,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,sBAAsB,CAWjD,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/wire.js

@@ -7,43 +7,13 @@
  * carries a `kind` discriminant so an endpoint classifies a part without trying
  * each shape in turn.
  */
-import { specTypeSchemas, } from "@modelcontextprotocol/client";
-import { AjvJsonSchemaValidator } from "@modelcontextprotocol/client/validators/ajv";
-import { Data, Effect, Option, ParseResult, Schema } from "effect";
-import { createHash } from "node:crypto";
-import { AnswerContent, CollectiveId, } from "../../contract.js";
-import { Content, exactStruct, RecordHash } from "../representation.js";
+import { Data, Effect, Option, Schema } from "effect";
+import { createHash, randomBytes } from "node:crypto";
+import { Content, exactStruct, RecordHash } from "../wire/index.js";
+import { FormFieldSchema } from "./form-grammar.js";
+import { AnswerContent, CollectiveId } from "./forms.js";
 /** The `data` part key under which the collective layer carries its value. */
 export const COLLECTIVE_DATA_KEY = "xyz.moltzap/collective";
-const mcpPrimitiveSchemaDefinition = specTypeSchemas.PrimitiveSchemaDefinition["~standard"];
-const McpPrimitiveSchema = Schema.declare((value) => mcpPrimitiveSchemaDefinition.validate(value).issues === undefined, { identifier: "PrimitiveSchemaDefinition" });
-/**
- * One property of an MCP form-mode `requestedSchema`, as the MCP SDK's
- * `PrimitiveSchemaDefinition` accepts it. Decoding keeps the SDK's parsed
- * value, so keywords outside the form-mode grammar never travel or reach
- * answer validation. The SDK grammar admits some schemas its own validator
- * cannot compile, such as an empty `enum`; decoding compiles each property
- * so answer validation never meets one.
- */
-const PrimitiveSchemaDefinition = Schema.transformOrFail(Schema.Unknown, McpPrimitiveSchema, {
-    strict: true,
-    decode: (value) => {
-        const result = mcpPrimitiveSchemaDefinition.validate(value);
-        const invalid = (message) => new ParseResult.Type(McpPrimitiveSchema.ast, value, message);
-        if (result.issues !== undefined) {
-            return ParseResult.fail(invalid("not an MCP form-mode primitive schema"));
-        }
-        const definition = result.value;
-        return ParseResult.try({
-            try: () => {
-                new AjvJsonSchemaValidator().getValidator(definition);
-                return definition;
-            },
-            catch: () => invalid("not a compilable form-mode primitive schema"),
-        });
-    },
-    encode: (definition) => ParseResult.succeed(definition),
-});
 /**
  * The MCP form-mode `requestedSchema`: a flat object of primitive properties.
  * Every `required` name must be a declared property, since an answer can carry
@@ -54,10 +24,16 @@ export const FormModeSchema = exactStruct({
     type: Schema.Literal("object"),
     properties: Schema.Record({
         key: Schema.String,
-        value: PrimitiveSchemaDefinition,
+        value: FormFieldSchema,
     }),
     required: Schema.optional(Schema.Array(Schema.String)),
-}).pipe(Schema.filter((schema) => (schema.required ?? []).every((name) => Object.hasOwn(schema.properties, name)), {
+}).pipe(Schema.filter((schema) => {
+    const undeclared = (schema.required ?? []).filter((name) => !Object.hasOwn(schema.properties, name));
+    return (undeclared.length === 0 || {
+        path: ["required"],
+        message: `names ${undeclared.map((name) => JSON.stringify(name)).join(", ")}, which properties does not declare`,
+    });
+}, {
     identifier: "RequestedSchema",
     description: "Form-mode schema whose required names are properties",
 }));
@@ -76,6 +52,11 @@ const decodeCollectiveId = Schema.decodeUnknownSync(CollectiveId);
 export const collectiveIdOf = (requester, nonce) => decodeCollectiveId(`col_${createHash("sha256")
     .update(`xyz.moltzap/collective-id\0${requester}\0${nonce}`)
     .digest("base64url")}`);
+/** A fresh nonce and the id it binds to the requester. */
+export const mintCollectiveId = (requester) => Effect.sync(() => {
+    const nonce = randomBytes(32).toString("base64url");
+    return { id: collectiveIdOf(requester, nonce), nonce };
+});
 /** A plain post: multicast carries neither a deadline nor a schema. */
 const MulticastOperation = exactStruct({
     kind: Schema.Literal("operation"),
@@ -104,7 +85,7 @@ const CollectiveResponse = Schema.Union(exactStruct({
 }), exactStruct({
     kind: Schema.Literal("response"),
     id: CollectiveId,
-    action: Schema.Literal("decline", "cancel"),
+    action: Schema.Literal("decline"),
 }));
 /** The requester's all_gather close: the included answers by certified record hash. */
 const CollectiveClose = exactStruct({

package/dist/transport/collectives/wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../../../src/transport/collectives/wire.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEtD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAMzD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,wBAAwB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;QACxB,GAAG,EAAE,MAAM,CAAC,MAAM;QAClB,KAAK,EAAE,eAAe;KACvB,CAAC;IACF,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACvD,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,MAAM,CACX,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/C,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAClD,CAAC;IACF,OAAO,CACL,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI;QACzB,IAAI,EAAE,CAAC,UAAU,CAAC;QAClB,OAAO,EAAE,SAAS,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC;KACjH,CACF,CAAC;AACJ,CAAC,EACD;IACE,UAAU,EAAE,iBAAiB;IAC7B,WAAW,EAAE,sDAAsD;CACpE,CACF,CACF,CAAC;AAIF,kFAAkF;AAClF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACxC,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CACtC,CAAC;AAEF,MAAM,kBAAkB,GAAG,MAAM,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;AAElE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,SAAuB,EACvB,KAAa,EACC,EAAE,CAChB,kBAAkB,CAChB,OAAO,UAAU,CAAC,QAAQ,CAAC;KACxB,MAAM,CAAC,8BAA8B,SAAS,KAAK,KAAK,EAAE,CAAC;KAC3D,MAAM,CAAC,WAAW,CAAC,EAAE,CACzB,CAAC;AAEJ,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAuB,EAAE,EAAE,CAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACpD,OAAO,EAAE,EAAE,EAAE,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC;AAEL,uEAAuE;AACvE,MAAM,kBAAkB,GAAG,WAAW,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;CAChC,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC;IAC1C,EAAE,EAAE,YAAY;IAChB,KAAK,EAAE,eAAe;IACtB,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC9C,eAAe,EAAE,cAAc;CAChC,CAAC,CAAC;AAEH,sEAAsE;AACtE,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CACrC,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa;CACvB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;CAClC,CAAC,CACH,CAAC;AAIF,uFAAuF;AACvF,MAAM,eAAe,GAAG,WAAW,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,EAAE,EAAE,YAAY;IAChB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CACnC,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAClC,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,CAChB,CAAC;AAIF,+EAA+E;AAC/E,MAAM,OAAO,0BAA2B,SAAQ,IAAI,CAAC,WAAW,CAC9D,4BAA4B,CAG5B;CAAG;AAEL,kGAAkG;AAClG,MAAM,OAAO,sBAAuB,SAAQ,IAAI,CAAC,WAAW,CAC1D,wBAAwB,CACzB;CAAG;AAEJ;;;GAGG;AACH,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC,OAAO;CACtC,CAAC,CAAC,WAAW,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAElD,SAAS,mBAAmB,CAC1B,IAAyB;IAEzB,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM;QACzB,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CACtD;QACH,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAoB,EACgB,EAAE,CACtC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAErE;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;AAE3E;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GACnC,MAAM,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAAoB,EAIpB,EAAE;IACF,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;IACF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EACvB,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,CACjC,MAAM,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CACrE,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAsB,EACtB,IAAa,EACuC,EAAE,CACtD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAC5B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,EAAE;CAC5D,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,CACjC,MAAM,CAAC,IAAI,CAAC,IAAI,sBAAsB,EAAE,CAAC,CAC1C,CACF,CAAC;AAEJ,0JAA0J"}

package/dist/{endpoint/addressing/index.d.ts → transport/messaging/address.d.ts}

@@ -1,8 +1,32 @@
 /** @file Private address resolution from runtime names to immutable cards. */
 import type { Registry } from "@moltzap/identity/registry";
 import { AgentName, type VerifiedAgentCard } from "@moltzap/identity";
-import { type Context, Effect } from "effect";
-import { AgentAddress, GroupAddress, type MessageAddressInput, SendError } from "../../contract.js";
+import { type Context, Effect, Schema } from "effect";
+import { SendError } from "./errors.js";
+/**
+ * The registry name an `agent:` address names.
+ * @param value A candidate address.
+ * @returns The name, or undefined when the value is not an agent address.
+ */
+export declare function parseAgentAddress(value: string): string | undefined;
+/**
+ * The names a `group:` address lists, in the order given.
+ * @param value A candidate address.
+ * @returns The names, or undefined when the value is not a group address.
+ */
+export declare function parseGroupAddress(value: string): readonly string[] | undefined;
+/** An explicit direct destination using one canonical Registry name. */
+export declare const AgentAddress: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+/** A validated direct destination. */
+export type AgentAddress = typeof AgentAddress.Type;
+/** A complete fixed-member group address in unsigned ASCII name order. */
+export declare const GroupAddress: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "GroupAddress">;
+/** A validated canonical complete group destination. */
+export type GroupAddress = typeof GroupAddress.Type;
+/** Either accepted destination input, including noncanonical group order. */
+export declare const MessageAddressInput: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+/** A validated explicit destination input. */
+export type MessageAddressInput = typeof MessageAddressInput.Type;
 /** Minimal Registry capability required by address resolution. */
 export type AddressRegistryPort = Pick<Context.Tag.Service<typeof Registry>, "lookup">;
 /** Resolved deterministic membership for a direct destination. */
@@ -48,13 +72,22 @@ export type CanonicalMessageAddress = {
 /**
  * Put one destination in canonical form, the rule every send shares. An
  * `agent:` address names one other agent. A `group:` address names each agent
- * once; the local agent is added when absent, and the complete group has 3 to
- * 32 members in unsigned ASCII name order.
+ * once and the local agent is added when absent. Naming one other agent makes
+ * it that agent's direct address, since the two-member set is the direct
+ * conversation; otherwise the complete group has 3 to `maximumMembers` members
+ * in unsigned ASCII name order.
  * @param to The validated destination input.
  * @param localAgentName The local agent's Registry name.
  * @returns The canonical address with its names, local agent included for a
  *   group, or `invalid-address` or `membership-invalid`.
  */
 export declare function canonicalMessageAddress(to: MessageAddressInput, localAgentName: string): Effect.Effect<CanonicalMessageAddress, SendError>;
+/**
+ * Unsigned ASCII order, the order a canonical group address lists its names in.
+ * @param left One name.
+ * @param right The other name.
+ * @returns Negative, zero, or positive as `left` sorts before, with, or after `right`.
+ */
+export declare function compareAscii(left: string, right: string): number;
 export {};
-//# sourceMappingURL=index.d.ts.map
+//# sourceMappingURL=address.d.ts.map

package/dist/transport/messaging/address.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"address.d.ts","sourceRoot":"","sources":["../../../src/transport/messaging/address.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEtD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AASxC;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMnE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GACZ,SAAS,MAAM,EAAE,GAAG,SAAS,CAQ/B;AAeD,wEAAwE;AACxE,eAAO,MAAM,YAAY,uHAIxB,CAAC;AACF,sCAAsC;AACtC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAEpD,0EAA0E;AAC1E,eAAO,MAAM,YAAY,uHAIxB,CAAC;AACF,wDAAwD;AACxD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAEpD,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,0EAAe,CAAC;AAChD,8CAA8C;AAC9C,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAC;AAIlE,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG,IAAI,CACpC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,EACpC,QAAQ,CACT,CAAC;AAEF,kEAAkE;AAClE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;CACvE;AAED,uEAAuE;AACvE,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC7B,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,iBAAiB,EAAE;KACvB,CAAC;CACH;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,GAC9B,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,UAAU,0BAA0B;IAClC,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;CAClC;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,SAAS,CAAC,CASlD;AAED,mEAAmE;AACnE,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;CAChC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,SAAS,EAAE,CAAC;CAC5C,CAAC;AAEN;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,mBAAmB,EACvB,cAAc,EAAE,MAAM,GACrB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,SAAS,CAAC,CAInD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAShE"}