@moltzap/client 2026.1004.0 → 2026.1005.0

package/dist/transport/collectives/inbound.js

@@ -1,8 +1,7 @@
 /** @file The items an endpoint delivers to its host: messages and collective requests, results and failures. */
 import { Schema } from "effect";
-import { AgentAddress, MessageAddressInput } from "../messaging/address.js";
 import { InboundMessage } from "../messaging/message.js";
-import { exactStruct, PostId, wellFormedString } from "../wire/values.js";
+import { AgentAddress, exactStruct, MessageAddressInput, PostId, wellFormedString, } from "../wire/values.js";
 import { AnswerContent, CollectiveId, RequestedSchema } from "./forms.js";
 /* eslint-disable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Effect Schemas share their domain names with the nominal values they decode. */
 /**
@@ -15,6 +14,8 @@ const multicastItem = exactStruct({
 });
 /** Absolute epoch milliseconds; endpoints assume zero clock skew. */
 const epochMillis = Schema.Number.pipe(Schema.int(), Schema.positive());
+/** Which collecting operation an item belongs to. */
+const collectingOp = Schema.Literal("gather", "all_gather");
 /**
  * A question another agent asked this one. `postId` is the certified request
  * post's and `to` the conversation it arrived in: the requester's `agent:`
@@ -23,6 +24,7 @@ const epochMillis = Schema.Number.pipe(Schema.int(), Schema.positive());
  */
 const collectiveRequestItem = exactStruct({
     kind: Schema.Literal("collectiveRequest"),
+    op: collectingOp,
     id: CollectiveId,
     postId: PostId,
     from: AgentAddress,
@@ -41,18 +43,17 @@ const memberOutcome = Schema.Union(exactStruct({ kind: Schema.Literal("answered"
 /**
  * The result of a gather this endpoint started, or of an all_gather this
  * endpoint started or was asked: exactly one outcome per member, in member
- * order. `to` is the address the operation named. An all_gather's result
- * names its certified close post in `closePostId`; every member's result is
- * built from exactly the answers that close lists, so each endpoint's result
- * is the same.
+ * order. `to` is the address the operation named. Every member's all_gather
+ * result is built from exactly the answers the requester's close lists, so
+ * each endpoint's result is the same.
  */
 const collectiveResultItem = exactStruct({
     kind: Schema.Literal("collectiveResult"),
+    op: collectingOp,
     id: CollectiveId,
     to: MessageAddressInput,
     question: wellFormedString,
     outcomes: Schema.NonEmptyArray(exactStruct({ member: AgentAddress, outcome: memberOutcome })),
-    closePostId: Schema.optionalWith(PostId, { exact: true }),
 });
 /**
  * A collective send that failed after the host's tool had returned, or an

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

@@ -1 +1 @@
-{"version":3,"file":"inbound.js","sourceRoot":"","sources":["../../../src/transport/collectives/inbound.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAEhH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE1E,0KAA0K;AAE1K;;;GAGG;AACH,MAAM,aAAa,GAAG,WAAW,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IACjC,OAAO,EAAE,cAAc;CACxB,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AAExE;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,WAAW,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACzC,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,eAAe,EAAE,eAAe;IAChC,UAAU,EAAE,WAAW;CACxB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAChC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EACzE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,EACjD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACvE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CACnD,CAAC;AAIF;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,WAAW,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACxC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,QAAQ,EAAE,MAAM,CAAC,aAAa,CAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAC9D;IACD,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACvC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CACrC,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,CACpB,CAAC,WAAW,CAAC;IACZ,UAAU,EAAE,aAAa;CAC1B,CAAC,CAAC;AAIH,0JAA0J"}
+{"version":3,"file":"inbound.js","sourceRoot":"","sources":["../../../src/transport/collectives/inbound.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAEhH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EACL,YAAY,EACZ,WAAW,EACX,mBAAmB,EACnB,MAAM,EACN,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE1E,0KAA0K;AAE1K;;;GAGG;AACH,MAAM,aAAa,GAAG,WAAW,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;IACjC,OAAO,EAAE,cAAc;CACxB,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;AAExE,qDAAqD;AACrD,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,WAAW,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACzC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,eAAe,EAAE,eAAe;IAChC,UAAU,EAAE,WAAW;CACxB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAChC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EACzE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,EACjD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACvE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CACnD,CAAC;AAIF;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAG,WAAW,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACxC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,QAAQ,EAAE,MAAM,CAAC,aAAa,CAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAC9D;CACF,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACvC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CACrC,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,CACpB,CAAC,WAAW,CAAC;IACZ,UAAU,EAAE,aAAa;CAC1B,CAAC,CAAC;AAIH,0JAA0J"}

package/dist/transport/collectives/index.d.ts

@@ -6,5 +6,5 @@ export { CollectiveEmitError } from "./forms.js";
 /** The items those operations emit. */
 export type { InboundItem } from "./inbound.js";
 /** The collective part carried in a post's content. */
-export { collectiveIdOf, readCollectiveValue } from "./wire.js";
+export { collectiveIdOf, readCollectiveValue } from "./part/index.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/index.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAEnE,8DAA8D;AAC9D,OAAO,EACL,KAAK,oBAAoB,EACzB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,6EAA6E;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,uCAAuC;AACvC,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,uDAAuD;AACvD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/index.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAEnE,8DAA8D;AAC9D,OAAO,EACL,KAAK,oBAAoB,EACzB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,6EAA6E;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,uCAAuC;AACvC,YAAY,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,uDAAuD;AACvD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/transport/collectives/index.js

@@ -4,5 +4,5 @@ export { makeCollectiveOperations, } from "./operation.js";
 /** The failure an emit port returns when the service cannot keep an item. */
 export { CollectiveEmitError } from "./forms.js";
 /** The collective part carried in a post's content. */
-export { collectiveIdOf, readCollectiveValue } from "./wire.js";
+export { collectiveIdOf, readCollectiveValue } from "./part/index.js";
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/transport/collectives/index.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAEnE,8DAA8D;AAC9D,OAAO,EAEL,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,6EAA6E;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGjD,uDAAuD;AACvD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/transport/collectives/index.ts"],"names":[],"mappings":"AAAA,mEAAmE;AAEnE,8DAA8D;AAC9D,OAAO,EAEL,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,6EAA6E;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAGjD,uDAAuD;AACvD,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/transport/collectives/message-text.d.ts

@@ -20,10 +20,13 @@
  * the operation and the error names the field to fix.
  */
 import { Either } from "effect";
-import type { MessageAddressInput } from "../messaging/address.js";
+import { type MessageAddressInput } from "../wire/values.js";
 import { SendInput } from "./forms.js";
+/** The operations that ask a question, in the order their keys are read. */
+declare const COLLECTING_OPERATIONS: readonly ["gather", "all_gather"];
+type CollectingOperation = (typeof COLLECTING_OPERATIONS)[number];
 /** Which operation a refused text stated. */
-type StatedOperation = "message" | "gather" | "all_gather" | "answer";
+type StatedOperation = "message" | CollectingOperation | "answer";
 declare const MessageTextError_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]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "MessageTextError";
 } & Readonly<A>;

package/dist/transport/collectives/message-text.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"message-text.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/message-text.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAQ,MAAM,EAA0C,MAAM,QAAQ,CAAC;AAC9E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAKL,SAAS,EACV,MAAM,YAAY,CAAC;AAIpB,6CAA6C;AAC7C,KAAK,eAAe,GAAG,SAAS,GAAG,QAAQ,GAAG,YAAY,GAAG,QAAQ,CAAC;;;;AAEtE;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,sBAAqC;IACzE,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAoCD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB,OACvB,mBAAmB,QACjB,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAKxC,CAAC"}
+{"version":3,"file":"message-text.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/message-text.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAQ,MAAM,EAA6B,MAAM,QAAQ,CAAC;AACjE,OAAO,EAAe,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAOL,SAAS,EACV,MAAM,YAAY,CAAC;AAIpB,4EAA4E;AAC5E,QAAA,MAAM,qBAAqB,YAAI,QAAQ,EAAE,YAAY,CAAU,CAAC;AAEhE,KAAK,mBAAmB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,6CAA6C;AAC7C,KAAK,eAAe,GAAG,SAAS,GAAG,mBAAmB,GAAG,QAAQ,CAAC;;;;AAElE;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,sBAAqC;IACzE,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAG7B;CACF;AA0BD;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB,OACvB,mBAAmB,QACjB,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,CAKxC,CAAC"}

package/dist/transport/collectives/message-text.js

@@ -19,9 +19,12 @@
  * fails validation is refused, never sent as text, because the model meant
  * the operation and the error names the field to fix.
  */
-import { Data, Either, Option, ParseResult, Predicate, Schema } from "effect";
+import { Data, Either, Option, Predicate, Schema } from "effect";
 import { exactStruct } from "../wire/values.js";
-import { AnswerContent, DeadlineSeconds, RequestedSchema, SendInput, } from "./forms.js";
+import { AcceptResponse, DeadlineSeconds, DeclineResponse, describeIssues, RequestedSchema, SendInput, } from "./forms.js";
+/* eslint-disable @typescript-eslint/naming-convention -- Effect Schemas are named for the text shapes they decode. */
+/** The operations that ask a question, in the order their keys are read. */
+const COLLECTING_OPERATIONS = ["gather", "all_gather"];
 /**
  * A message text states an operation it does not validly carry, or is plain
  * text that is not well-formed Unicode. The message names each failing field
@@ -29,26 +32,19 @@ import { AnswerContent, DeadlineSeconds, RequestedSchema, SendInput, } from "./f
  */
 export class MessageTextError extends Data.TaggedError("MessageTextError") {
     get message() {
-        return `${this.operation} not sent: ${this.detail}`;
+        const action = this.operation === "answer" ? "reply" : "send";
+        return `${action} failed: invalid ${this.operation}: ${this.detail}`;
     }
 }
-const GatherText = exactStruct({
-    gather: Schema.String,
-    deadline: DeadlineSeconds,
-    requestedSchema: RequestedSchema,
-});
-const AllGatherText = exactStruct({
-    all_gather: Schema.String,
+/**
+ * A gather or all_gather, its question under the operation's own key, read
+ * as `question` so both share one decode.
+ */
+const collectingText = (op) => exactStruct({
+    question: Schema.propertySignature(Schema.String).pipe(Schema.fromKey(op)),
     deadline: DeadlineSeconds,
     requestedSchema: RequestedSchema,
 });
-const AcceptText = exactStruct({
-    action: Schema.Literal("accept"),
-    content: AnswerContent,
-});
-const DeclineText = exactStruct({
-    action: Schema.Literal("decline"),
-});
 /** The `action` key alone, so an unknown action is named as that field. */
 const AnswerAction = Schema.Struct({
     action: Schema.Literal("accept", "decline"),
@@ -74,30 +70,21 @@ export const parseMessageText = (to, text) => Option.match(jsonObject(text), {
  * none of `gather`, `all_gather` and `action` and so is plain text.
  */
 function statedOperation(to, value) {
-    if (Object.hasOwn(value, "gather")) {
-        return decodeText("gather", GatherText, value).pipe(Either.flatMap((stated) => sendInput("gather", {
+    const op = COLLECTING_OPERATIONS.find((key) => Object.hasOwn(value, key));
+    if (op !== undefined) {
+        return decodeText(op, collectingText(op), value).pipe(Either.flatMap(({ question, ...collective }) => sendInput(op, {
             to,
-            text: stated.gather,
-            collective: { ...collecting(stated), op: "gather" },
-        })));
-    }
-    if (Object.hasOwn(value, "all_gather")) {
-        return decodeText("all_gather", AllGatherText, value).pipe(Either.flatMap((stated) => sendInput("all_gather", {
-            to,
-            text: stated.all_gather,
-            collective: { ...collecting(stated), op: "all_gather" },
+            text: question,
+            collective: { ...collective, op },
         })));
     }
     return Object.hasOwn(value, "action") ? answer(to, value) : undefined;
 }
-function collecting(stated) {
-    return { deadline: stated.deadline, requestedSchema: stated.requestedSchema };
-}
 /** An answer: `action` decides which shape the rest must have. */
 function answer(to, value) {
     return decodeText("answer", AnswerAction, value).pipe(Either.flatMap(({ action }) => action === "accept"
-        ? decodeText("answer", AcceptText, value)
-        : decodeText("answer", DeclineText, value)), Either.flatMap((collectiveResponse) => sendInput("answer", { to, collectiveResponse })));
+        ? decodeText("answer", AcceptResponse, value)
+        : decodeText("answer", DeclineResponse, value)), Either.flatMap((collectiveResponse) => sendInput("answer", { to, collectiveResponse })));
 }
 function sendInput(operation, value) {
     return decodeText(operation, SendInput, value);
@@ -105,14 +92,5 @@ function sendInput(operation, value) {
 function decodeText(operation, schema, value) {
     return Schema.decodeUnknownEither(schema, { errors: "all" })(value).pipe(Either.mapLeft((error) => new MessageTextError({ operation, detail: describeIssues(error) })));
 }
-/**
- * One line per issue, each led by its field path, such as
- * `requestedSchema.type: Expected "object", actual "obj"`.
- */
-function describeIssues(error) {
-    return ParseResult.ArrayFormatter.formatErrorSync(error)
-        .map(({ path, message }) => path.length === 0 ? message : `${path.map(String).join(".")}: ${message}`)
-        .join("; ");
-}
 /* eslint-enable @typescript-eslint/naming-convention -- Restore the package naming rules after the text Schemas. */
 //# sourceMappingURL=message-text.js.map

package/dist/transport/collectives/message-text.js.map

@@ -1 +1 @@
-{"version":3,"file":"message-text.js","sourceRoot":"","sources":["../../../src/transport/collectives/message-text.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,aAAa,EAEb,eAAe,EACf,eAAe,EACf,SAAS,GACV,MAAM,YAAY,CAAC;AAOpB;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAGvE;IACA,IAAa,OAAO;QAClB,OAAO,GAAG,IAAI,CAAC,SAAS,cAAc,IAAI,CAAC,MAAM,EAAE,CAAC;IACtD,CAAC;CACF;AAED,MAAM,UAAU,GAAG,WAAW,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,QAAQ,EAAE,eAAe;IACzB,eAAe,EAAE,eAAe;CACjC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,WAAW,CAAC;IAChC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,QAAQ,EAAE,eAAe;IACzB,eAAe,EAAE,eAAe;CACjC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,WAAW,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa;CACvB,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,WAAW,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;CAClC,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB,CAC/C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CACjC,CAAC;AAEF,qDAAqD;AACrD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CAClC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE/D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,EAAuB,EACvB,IAAY,EACgC,EAAE,CAC9C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE;IAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;CACnE,CAAC,CAAC;AAEL;;;GAGG;AACH,SAAS,eAAe,CACtB,EAAuB,EACvB,KAAwC;IAExC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,SAAS,CAAC,QAAQ,EAAE;YAClB,EAAE;YACF,IAAI,EAAE,MAAM,CAAC,MAAM;YACnB,UAAU,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE;SACpD,CAAC,CACH,CACF,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;QACvC,OAAO,UAAU,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,IAAI,CACxD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,SAAS,CAAC,YAAY,EAAE;YACtB,EAAE;YACF,IAAI,EAAE,MAAM,CAAC,UAAU;YACvB,UAAU,EAAE,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE;SACxD,CAAC,CACH,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CACjB,MAA0D;IAE1D,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC;AAChF,CAAC;AAED,kEAAkE;AAClE,SAAS,MAAM,CACb,EAAuB,EACvB,KAAwC;IAExC,OAAO,UAAU,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,OAAO,CACZ,CAAC,EAAE,MAAM,EAAE,EAAuD,EAAE,CAClE,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC;QACzC,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,CAC/C,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,EAAE,CACpC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAChD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,SAA0B,EAC1B,KAAc;IAEd,OAAO,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CACjB,SAA0B,EAC1B,MAA2B,EAC3B,KAAc;IAEd,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,OAAO,CACZ,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,gBAAgB,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CACrE,CACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,KAA6B;IACnD,OAAO,WAAW,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC;SACrD,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CACzB,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAC1E;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,oHAAoH"}
+{"version":3,"file":"message-text.js","sourceRoot":"","sources":["../../../src/transport/collectives/message-text.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACjE,OAAO,EAAE,WAAW,EAA4B,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EACL,cAAc,EAEd,eAAe,EACf,eAAe,EACf,cAAc,EACd,eAAe,EACf,SAAS,GACV,MAAM,YAAY,CAAC;AAEpB,sHAAsH;AAEtH,4EAA4E;AAC5E,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAU,CAAC;AAOhE;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAGvE;IACA,IAAa,OAAO;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QAC9D,OAAO,GAAG,MAAM,oBAAoB,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IACvE,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,EAAuB,EAAE,EAAE,CACjD,WAAW,CAAC;IACV,QAAQ,EAAE,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1E,QAAQ,EAAE,eAAe;IACzB,eAAe,EAAE,eAAe;CACjC,CAAC,CAAC;AAEL,2EAA2E;AAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC5C,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB,CAC/C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CACjC,CAAC;AAEF,qDAAqD;AACrD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CAClC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE/D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,EAAuB,EACvB,IAAY,EACgC,EAAE,CAC9C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE;IAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAChD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;CACnE,CAAC,CAAC;AAEL;;;GAGG;AACH,SAAS,eAAe,CACtB,EAAuB,EACvB,KAAwC;IAExC,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1E,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,UAAU,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAC7C,SAAS,CAAC,EAAE,EAAE;YACZ,EAAE;YACF,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE;SAClC,CAAC,CACH,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED,kEAAkE;AAClE,SAAS,MAAM,CACb,EAAuB,EACvB,KAAwC;IAExC,OAAO,UAAU,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,OAAO,CACZ,CAAC,EAAE,MAAM,EAAE,EAAuD,EAAE,CAClE,MAAM,KAAK,QAAQ;QACjB,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC;QAC7C,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,CAAC,CACnD,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,EAAE,CACpC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,kBAAkB,EAAE,CAAC,CAChD,CACF,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,SAA0B,EAC1B,KAAc;IAEd,OAAO,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CACjB,SAA0B,EAC1B,MAA2B,EAC3B,KAAc;IAEd,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,OAAO,CACZ,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,gBAAgB,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CACrE,CACF,CAAC;AACJ,CAAC;AAED,oHAAoH"}

package/dist/transport/collectives/operation.d.ts

@@ -19,13 +19,14 @@
  *   participant ME as Member endpoint
  *   participant MM as Member host
  *   RM->>RE: send gather to, question, deadline, schema
- *   RE->>RE: validate schema, mint id<br>deadline = now + duration
- *   RE->>ME: one request post per member
- *   alt no request post is accepted
- *     RE-->>RM: error naming each unreachable member
- *   else some request post accepted
+ *   RE->>RE: validate schema, resolve every member<br>refuse an address error before any post
+ *   RE->>RE: mint id<br>deadline = now + duration
+ *   RE->>ME: one request post in each member's direct conversation
+ *   alt every request post is refused
+ *     RE-->>RM: error naming each member and its reason
+ *   else otherwise, after at most 20 s
  *     RE-->>RM: operation id
- *     RE->>RE: record each refused or uncertified member as no-answer
+ *     RE->>RE: a refused member is no-answer<br>a pending one settles later, no-answer at the deadline
  *   end
  *   ME->>MM: collectiveRequest item
  *   MM->>ME: send collectiveResponse to the requester, action, content
@@ -48,9 +49,10 @@
  *   participant ME as Member endpoints
  *   participant MM as Member hosts
  *   RM->>RE: send all_gather to group, question, deadline, schema
- *   RE->>ME: one request post to the group
+ *   RE->>RE: validate schema, resolve every member<br>refuse an address error before any post
+ *   RE->>ME: one request post in the group conversation
  *   alt the group post is refused or not certified in time
- *     RE-->>RM: error naming each unreachable member
+ *     RE-->>RM: error naming every member with the post's reason
  *   else request post certified
  *     RE-->>RM: operation id
  *   end
@@ -61,18 +63,21 @@
  *   ME->>ME: peer response posts, consumed and recorded by record hash
  *   Note over RE: complete when every member has an outcome<br>or at the deadline
  *   RE->>ME: close post listing the counted answers' record hashes
- *   RE->>RM: collectiveResult item once the close is certified
- *   ME->>ME: build the result from exactly the listed answers
- *   ME->>MM: collectiveResult item, the same outcomes
+ *   alt the close is not certified
+ *     RE->>RM: operationFailed item, and members get no result
+ *   else close certified
+ *     RE->>RM: collectiveResult item
+ *     ME->>ME: build the result from exactly the listed answers
+ *     ME->>MM: collectiveResult item, the same outcomes
+ *   end
  * ```
  */
 import { Duration, Effect, Option, type Scope } from "effect";
 import type { EngineSendInput, EngineSentPost } from "../messaging/index.js";
 import type { InboundMessage } from "../messaging/message.js";
-import type { RecordHash } from "../wire/index.js";
 import type { InboundItem } from "./inbound.js";
-import { AgentAddress } from "../messaging/address.js";
 import { SendError } from "../messaging/errors.js";
+import { AgentAddress, type RecordHash } from "../wire/index.js";
 import { type CollectiveSendOutcome } from "./failures.js";
 import { type CollectiveEmitError, CollectiveError, type FailureDelivery, type SendInput } from "./forms.js";
 /** What the collective layer needs from the daemon around it. */
@@ -80,8 +85,8 @@ export interface CollectivePorts {
     /** The local agent: a group gather or all_gather asks every member but this one. */
     readonly self: AgentAddress;
     /**
-     * Resolve one member's Registry card without sending. A refused all_gather
-     * group post names only the members that fail this lookup.
+     * Resolve one member's Registry card without sending, so a collecting
+     * operation refuses an address error before any post.
      */
     readonly lookupMember: (member: AgentAddress) => Effect.Effect<void, SendError>;
     /** Certify one post and complete once it is stored locally. */

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

@@ -1 +1 @@
-{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/operation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,OAAO,EAEL,QAAQ,EACR,MAAM,EAGN,MAAM,EAGN,KAAK,KAAK,EACX,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAU,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,KAAK,EAA2B,WAAW,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EACL,YAAY,EAGb,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EACL,KAAK,qBAAqB,EAK3B,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,mBAAmB,EACxB,eAAe,EAKf,KAAK,eAAe,EAGpB,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AA0FpB,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,YAAY,KACjB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACpC,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,IAAI,EAAE,WAAW,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC9C;AAED,uEAAuE;AACvE,UAAU,aAAa;IACrB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,6DAA6D;AAC7D,MAAM,WAAW,oBAAoB;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,KAAK,EAAE,SAAS,EAChB,eAAe,EAAE,eAAe,KAC7B,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,GAAG,eAAe,CAAC,CAAC;IACvE;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,CACjB,IAAI,EAAE,aAAa,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,mBAAmB,CAAC,CAAC;CACrE;AA4DD;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,UAC5B,eAAe,KACrB,oBAiBF,CAAC"}
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/operation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;AAEH,OAAO,EAEL,QAAQ,EACR,MAAM,EAGN,MAAM,EAEN,KAAK,KAAK,EACX,MAAM,QAAQ,CAAC;AAChB,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAA2B,WAAW,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EACL,YAAY,EAGZ,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,qBAAqB,EAK3B,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,KAAK,mBAAmB,EACxB,eAAe,EAMf,KAAK,eAAe,EAEpB,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AA0FpB,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,YAAY,KACjB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACpC,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAC9C;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,IAAI,EAAE,WAAW,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC9C,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC9C;AAED,uEAAuE;AACvE,UAAU,aAAa;IACrB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,6DAA6D;AAC7D,MAAM,WAAW,oBAAoB;IACnC;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,KAAK,EAAE,SAAS,EAChB,eAAe,EAAE,eAAe,KAC7B,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,GAAG,eAAe,CAAC,CAAC;IACvE;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,CACjB,IAAI,EAAE,aAAa,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,mBAAmB,CAAC,CAAC;CACrE;AA2DD;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,UAC5B,eAAe,KACrB,oBAiBF,CAAC"}

package/dist/transport/collectives/operation.js

@@ -19,13 +19,14 @@
  *   participant ME as Member endpoint
  *   participant MM as Member host
  *   RM->>RE: send gather to, question, deadline, schema
- *   RE->>RE: validate schema, mint id<br>deadline = now + duration
- *   RE->>ME: one request post per member
- *   alt no request post is accepted
- *     RE-->>RM: error naming each unreachable member
- *   else some request post accepted
+ *   RE->>RE: validate schema, resolve every member<br>refuse an address error before any post
+ *   RE->>RE: mint id<br>deadline = now + duration
+ *   RE->>ME: one request post in each member's direct conversation
+ *   alt every request post is refused
+ *     RE-->>RM: error naming each member and its reason
+ *   else otherwise, after at most 20 s
  *     RE-->>RM: operation id
- *     RE->>RE: record each refused or uncertified member as no-answer
+ *     RE->>RE: a refused member is no-answer<br>a pending one settles later, no-answer at the deadline
  *   end
  *   ME->>MM: collectiveRequest item
  *   MM->>ME: send collectiveResponse to the requester, action, content
@@ -48,9 +49,10 @@
  *   participant ME as Member endpoints
  *   participant MM as Member hosts
  *   RM->>RE: send all_gather to group, question, deadline, schema
- *   RE->>ME: one request post to the group
+ *   RE->>RE: validate schema, resolve every member<br>refuse an address error before any post
+ *   RE->>ME: one request post in the group conversation
  *   alt the group post is refused or not certified in time
- *     RE-->>RM: error naming each unreachable member
+ *     RE-->>RM: error naming every member with the post's reason
  *   else request post certified
  *     RE-->>RM: operation id
  *   end
@@ -61,21 +63,26 @@
  *   ME->>ME: peer response posts, consumed and recorded by record hash
  *   Note over RE: complete when every member has an outcome<br>or at the deadline
  *   RE->>ME: close post listing the counted answers' record hashes
- *   RE->>RM: collectiveResult item once the close is certified
- *   ME->>ME: build the result from exactly the listed answers
- *   ME->>MM: collectiveResult item, the same outcomes
+ *   alt the close is not certified
+ *     RE->>RM: operationFailed item, and members get no result
+ *   else close certified
+ *     RE->>RM: collectiveResult item
+ *     ME->>ME: build the result from exactly the listed answers
+ *     ME->>MM: collectiveResult item, the same outcomes
+ *   end
  * ```
  */
-import { Clock, Duration, Effect, Array as EffectArray, Fiber, Option, ParseResult, Schema, } from "effect";
-import { AgentAddress, canonicalMessageAddress, } from "../messaging/address.js";
+import { Clock, Duration, Effect, Array as EffectArray, Fiber, Option, Schema, } from "effect";
+import { canonicalMessageAddress } from "../messaging/address.js";
 import { SendError } from "../messaging/errors.js";
+import { AgentAddress, } from "../wire/index.js";
 import { emitFailureAsSendError, refusedAs, reportFailure, } from "./failures.js";
-import { CollectiveError, MAXIMUM_DEADLINE_SECONDS, RequestedSchema, } from "./forms.js";
+import { closeFailureText, CollectiveError, describeIssues, MAXIMUM_DEADLINE_SECONDS, } from "./forms.js";
+import { collectiveIdOf, encodeCollectiveContent, FormModeSchema, mintCollectiveId, readCollectiveValue, withoutCollectivePart, } from "./part/index.js";
 import { matchOpenRequest, } from "./received-request.js";
 import { isAddressRefusal, lookupRefusals, requestsSoFar, } from "./request-sends.js";
 import { keepFirstAnswer, listedAnswers, memberOutcomes, } from "./shared-answers.js";
 import { outcomeOfResponse, validateAnswer } from "./validation.js";
-import { collectiveIdOf, encodeCollectiveContent, FormModeSchema, mintCollectiveId, readCollectiveValue, withoutCollectivePart, } from "./wire.js";
 /**
  * How long a collecting operation's send waits for its request posts before
  * returning. A gather's request still uncertified then is left running: its
@@ -108,7 +115,6 @@ const RECEIVED_DEADLINE_ALLOWANCE = Duration.hours(1);
 /** The furthest past `now` a received request's deadline may lie. */
 const RECEIVED_DEADLINE_HORIZON = Duration.toMillis(Duration.sum(Duration.seconds(MAXIMUM_DEADLINE_SECONDS), RECEIVED_DEADLINE_ALLOWANCE));
 const decodeAgentAddress = Schema.decodeUnknownOption(AgentAddress);
-const decodeRequestedSchema = Schema.decodeUnknownOption(RequestedSchema);
 const contentInvalid = () => new SendError({ reason: "content-invalid" });
 const collectiveFailure = (id, failure) => new CollectiveError({ id, failure });
 /**
@@ -186,11 +192,7 @@ function gatherAddress(to, self, op) {
 function formModeSchema(id, requestedSchema) {
     return Schema.decodeUnknown(FormModeSchema)(requestedSchema).pipe(Effect.mapError((error) => collectiveFailure(id, {
         kind: "schema-invalid",
-        detail: ParseResult.ArrayFormatter.formatErrorSync(error)
-            .map(({ path, message }) => path.length === 0
-            ? message
-            : `${path.map(String).join(".")}: ${message}`)
-            .join("; "),
+        detail: describeIssues(error),
     })));
 }
 /**
@@ -332,8 +334,11 @@ function updateGather(state, id, change) {
  * Send an all_gather's one request post to the group and wait for it, never
  * past the deadline. A refused post, or one still uncertified when the wait
  * ends, abandons the all_gather: the group's GENESIS needs every member. The
- * operation is dropped before its unreachable members are looked up, so a
- * deadline that passes during the lookups cannot close it.
+ * deadline timer is forked just before the wait starts, so it can complete
+ * the all_gather first; its result then stands and the send succeeds, so an
+ * operation ends in exactly one refusal or one result. A group post succeeds
+ * or fails as a whole, so the refusal names every member with its reason;
+ * members whose address resolution fails were refused before the post.
  */
 function sendGroupRequest(state, prepared) {
     return state.ports
@@ -341,24 +346,12 @@ function sendGroupRequest(state, prepared) {
         .pipe(Effect.timeoutFail({
         duration: requestWait(state, prepared),
         onTimeout: () => new SendError({ reason: "certification-unavailable" }),
-    }), Effect.map((post) => [post.postId]), Effect.catchAll((error) => forgetGather(state, prepared.id).pipe(Effect.zipRight(unreachableMembers(state, prepared.open.members, error.reason)), Effect.flatMap((members) => Effect.fail(collectiveFailure(prepared.id, {
-        kind: "members-unreachable",
-        members,
-    }))))));
-}
-/**
- * The members to name for a refused group post. A group post succeeds or
- * fails as a whole, so each member is looked up on its own: the members whose
- * lookup fails are named with their own reason, and when every lookup
- * succeeds each member is named with the group post's reason.
- */
-function unreachableMembers(state, members, groupReason) {
-    return lookupRefusals(members, state.ports.lookupMember).pipe(Effect.map(([first, ...rest]) => first === undefined
-        ? EffectArray.map(members, (member) => ({
-            member,
-            reason: groupReason,
-        }))
-        : [first, ...rest]));
+    }), Effect.map((post) => [post.postId]), Effect.catchAll((error) => Effect.suspend(() => state.gathers.has(prepared.id)
+        ? forgetGather(state, prepared.id).pipe(Effect.zipRight(Effect.fail(collectiveFailure(prepared.id, {
+            kind: "members-unreachable",
+            members: EffectArray.map(prepared.open.members, (member) => ({ member, reason: error.reason })),
+        }))))
+        : Effect.succeed([]))));
 }
 /** How long a send waits for request posts: the bound, never past the deadline. */
 function requestWait(state, prepared) {
@@ -388,6 +381,7 @@ function completeGather(state, id) {
         state.gathers.delete(id);
         const result = {
             kind: "collectiveResult",
+            op: open.op,
             id,
             to: open.to,
             question: open.question,
@@ -407,8 +401,7 @@ function completeGather(state, id) {
 }
 /**
  * Post an all_gather's close, listing the certified record of every answer
- * its result counts, and emit the result once the close is certified, naming
- * the close post. A close that cannot be certified ends the operation as an
+ * its result counts, and emit the result once the close is certified. A close that cannot be certified ends the operation as an
  * `operationFailed` item, since members then have no result to agree on.
  */
 function closeAllGather(state, open, result) {
@@ -422,9 +415,9 @@ function closeAllGather(state, open, result) {
             kind: "operationFailed",
             id: result.id,
             to: open.to,
-            error: `all_gather ${result.id} failed: its close was not certified (${error.reason})`,
+            error: closeFailureText(error.reason),
         }),
-        onSuccess: (post) => state.ports.emit({ ...result, closePostId: post.postId }),
+        onSuccess: () => state.ports.emit(result),
     }));
 }
 /**
@@ -465,10 +458,7 @@ function openRequest(state, to) {
  */
 function responseContent(request, response) {
     const validated = response.action === "accept"
-        ? validateAnswer(request.requestedSchema, response.content).pipe(Effect.mapError((error) => collectiveFailure(response.id, {
-            kind: "answer-invalid",
-            fields: error.failures,
-        })))
+        ? validateAnswer(request.requestedSchema, response.content).pipe(Effect.mapError((fields) => collectiveFailure(response.id, { kind: "answer-invalid", fields })))
         : Effect.void;
     return validated.pipe(Effect.zipRight(encodeCollectiveContent(response).pipe(Effect.mapError(contentInvalid))));
 }
@@ -627,16 +617,19 @@ function requestItem(state, message, value) {
             forgetExpiredRequests(state, now);
             state.requests.set(value.id, received.value);
         }
-        return decodeRequestedSchema(value.requestedSchema).pipe(Option.filter(() => now < value.deadlineAt), Option.map((requestedSchema) => ({
-            kind: "collectiveRequest",
-            id: value.id,
-            postId: message.postId,
-            from: message.sender,
-            to: received.value.to,
-            question: questionText(message.content),
-            requestedSchema,
-            deadlineAt: value.deadlineAt,
-        })));
+        return now < value.deadlineAt
+            ? Option.some({
+                kind: "collectiveRequest",
+                op: value.op,
+                id: value.id,
+                postId: message.postId,
+                from: message.sender,
+                to: received.value.to,
+                question: questionText(message.content),
+                requestedSchema: value.requestedSchema,
+                deadlineAt: value.deadlineAt,
+            })
+            : Option.none();
     }));
 }
 /** Forget every request past the time `retainedUntil` gives it. */
@@ -766,11 +759,11 @@ function applyClose(state, asked, close) {
     }
     return Effect.forEach(answers, (answer) => outcomeOfResponse(request.requestedSchema, answer.response).pipe(Effect.map((outcome) => [answer.member, outcome])), { concurrency: 1 }).pipe(Effect.flatMap((outcomes) => state.ports.emit({
         kind: "collectiveResult",
+        op: "all_gather",
         id,
         to: request.to,
         question: shared.question,
         outcomes: memberOutcomes(shared.members, new Map(outcomes)),
-        closePostId: close.postId,
     })));
 }
 //# sourceMappingURL=operation.js.map