@moltzap/client 2026.1002.0 → 2026.1005.0

package/dist/transport/collectives/forms.js

@@ -0,0 +1,214 @@
+/** @file Collective operations, answers and the closed errors of a refused collective send. */
+import { Data, ParseResult, Schema } from "effect";
+import { sendFailureReasons, sendFailureText, } from "../messaging/errors.js";
+import { AgentAddress, exactStruct, isCanonicalIdentifier, JsonValue, MessageAddressInput, wellFormedString, } from "../wire/values.js";
+/* eslint-disable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Effect Schemas share their domain names with the nominal values they decode. */
+/**
+ * Identity of one gather or all_gather, minted by the requesting endpoint.
+ * The request, each member's answer post, an all_gather's close, the result
+ * and any failure carry it. An answer that matches no single open request is
+ * refused under an id minted for the refusal, so its failure is named too.
+ */
+export const CollectiveId = Schema.String.pipe(Schema.filter((value) => isCanonicalIdentifier("col_", value), {
+    description: "A collective operation id: col_ followed by 43 base64url characters",
+}), Schema.brand("CollectiveId"));
+/** One property of a form-mode schema as a caller states it. */
+const formProperty = Schema.Record({ key: Schema.String, value: JsonValue });
+/**
+ * The MCP form-mode `requestedSchema` of a collecting operation: a flat object
+ * of primitive properties. This schema fixes its outline; the sending endpoint
+ * checks each property against the MCP form-mode grammar before any post.
+ */
+export const RequestedSchema = exactStruct({
+    $schema: Schema.optionalWith(Schema.String, { exact: true }),
+    type: Schema.Literal("object"),
+    properties: Schema.Record({ key: Schema.String, value: formProperty }),
+    required: Schema.optionalWith(Schema.Array(Schema.String), { exact: true }),
+});
+/**
+ * One answer to a collecting operation, field by field. Its value space is MCP
+ * `ElicitResult` content's; the request's schema decides which fields apply.
+ */
+export const AnswerContent = Schema.Record({
+    key: Schema.String,
+    value: Schema.Union(Schema.String, Schema.Number.pipe(Schema.finite()), Schema.Boolean, Schema.Array(Schema.String)),
+}).annotations({
+    description: "The answer, one field per requestedSchema property",
+});
+/** The longest deadline a collecting operation may state: 30 days, in seconds. */
+export const MAXIMUM_DEADLINE_SECONDS = 2_592_000;
+/** A collecting operation's relative deadline: whole seconds, up to 30 days. */
+export const DeadlineSeconds = Schema.Number.pipe(Schema.int(), Schema.between(1, MAXIMUM_DEADLINE_SECONDS));
+/**
+ * Multicast: one post to the `to` address, complete when certified. `op`
+ * defaults to multicast, so an omitted `op` and an omitted `collective` mean
+ * the same operation.
+ */
+const multicastOperation = exactStruct({
+    op: Schema.optionalWith(Schema.Literal("multicast"), { exact: true }),
+});
+/**
+ * A collecting operation: the text is a question to every member of `to`.
+ * A gather sends one request post to each member, in that member's direct
+ * conversation with the requester, and only the requester receives the
+ * result. An all_gather sends one request post to the `group:` conversation
+ * `to` names; members answer there, no model sees a peer's answer before the
+ * requester's close, and every member receives the same result. The deadline
+ * is relative, in whole seconds; the sending endpoint converts it to an
+ * absolute time at send.
+ */
+const collectingOperation = exactStruct({
+    op: Schema.Literal("gather", "all_gather"),
+    deadline: DeadlineSeconds,
+    requestedSchema: RequestedSchema,
+});
+/** The collective operation one send performs, discriminated by `op`. */
+const CollectiveOperation = Schema.Union(multicastOperation, collectingOperation);
+/** An `accept` answer, the only one that carries content. */
+export const AcceptResponse = exactStruct({
+    action: Schema.Literal("accept"),
+    content: AnswerContent,
+});
+/** A `decline` answer. */
+export const DeclineResponse = exactStruct({
+    action: Schema.Literal("decline"),
+});
+/**
+ * A member's answer to the one request open in the conversation it is sent
+ * to: the requester's direct conversation for a gather, the group for an
+ * all_gather. It is MCP's `ElicitResult`; only `accept` carries content,
+ * valid against the request's schema.
+ */
+const CollectiveResponse = Schema.Union(AcceptResponse, DeclineResponse);
+/**
+ * One send to one address: text with its collective operation, multicast
+ * when `collective` is omitted, or an answer to the request open in that
+ * address's conversation. `parseMessageText` reads both from a message's
+ * text.
+ */
+export const SendInput = Schema.Union(exactStruct({
+    to: MessageAddressInput,
+    text: wellFormedString,
+    collective: Schema.optionalWith(CollectiveOperation, { exact: true }),
+}), exactStruct({
+    to: MessageAddressInput,
+    collectiveResponse: CollectiveResponse,
+})).annotations({ identifier: "SendInput" });
+/** Members a send could not reach, each with its send failure's reason. */
+const unreachableMembers = Schema.NonEmptyArray(exactStruct({
+    member: AgentAddress,
+    reason: Schema.Literal(...sendFailureReasons),
+}));
+/**
+ * Why a collective send was refused, discriminated by `kind`: a gather or
+ * all_gather whose schema is outside the form-mode grammar or whose request
+ * post some member could not receive, or a response the member's endpoint
+ * cannot send.
+ */
+const collectiveFailure = Schema.Union(exactStruct({
+    kind: Schema.Literal("members-unreachable"),
+    members: unreachableMembers,
+}), exactStruct({
+    kind: Schema.Literal("schema-invalid"),
+    detail: Schema.String,
+}), exactStruct({
+    kind: Schema.Literal("answer-invalid"),
+    fields: Schema.NonEmptyArray(exactStruct({
+        field: Schema.String,
+        reason: Schema.Literal("missing", "unexpected", "invalid"),
+        detail: Schema.optionalWith(Schema.String, { exact: true }),
+    })),
+}), exactStruct({ kind: Schema.Literal("request-none") }), exactStruct({ kind: Schema.Literal("request-ambiguous") }), exactStruct({ kind: Schema.Literal("request-answered") }), exactStruct({ kind: Schema.Literal("request-expired") }));
+/**
+ * Decode a collective failure carried across the loopback MCP boundary.
+ * @param value Untrusted failure detail from a refused send's error data.
+ * @returns The validated failure.
+ */
+export const decodeCollectiveFailure = Schema.decodeUnknown(collectiveFailure);
+/**
+ * The text of an all_gather whose close could not be certified: no member
+ * received a result, so the question ended without one.
+ * @param reason Why the close post failed.
+ * @returns The `operationFailed` text the asker's model reads.
+ */
+export function closeFailureText(reason) {
+    return `all_gather failed: the result could not be shared with the group: ${sendFailureText[reason]}`;
+}
+/**
+ * One line per issue of a decode failure, each led by its path, such as
+ * `requestedSchema.type: Expected "object", actual "obj"`, joined by `; `.
+ * A model repairs its input from this text alone.
+ * @param error The failed decode.
+ * @returns The issues as text.
+ */
+export const describeIssues = (error) => ParseResult.ArrayFormatter.formatErrorSync(error)
+    .map(({ path, message }) => path.length === 0 ? message : `${path.map(String).join(".")}: ${message}`)
+    .join("; ");
+/** What each answer-field problem means. */
+const answerFieldText = {
+    missing: "is missing",
+    unexpected: "is not in the form",
+    invalid: "is invalid",
+};
+/**
+ * Name each failing answer field, such as `field "slot" is invalid (enum)`.
+ * A refused reply and a member's `invalid` outcome read the same.
+ * @param fields The failing fields, in validation order.
+ * @returns One clause per field, joined by `; `.
+ */
+export function answerFieldsText(fields) {
+    return fields
+        .map(({ field, reason, detail }) => {
+        const problem = answerFieldText[reason];
+        return detail === undefined
+            ? `field "${field}" ${problem}`
+            : `field "${field}" ${problem} (${detail})`;
+    })
+        .join("; ");
+}
+function describeCollectiveFailure(failure) {
+    switch (failure.kind) {
+        case "members-unreachable":
+            return `send failed: ${failure.members
+                .map(({ member, reason }) => reason === "unknown-agent"
+                ? `${member} is not a known agent`
+                : `${member} could not be reached: ${sendFailureText[reason]}`)
+                .join("; ")}`;
+        case "schema-invalid":
+            return `send failed: the form is invalid (${failure.detail})`;
+        case "answer-invalid":
+            return `reply failed: ${answerFieldsText(failure.fields)}`;
+        case "request-none":
+            return "reply failed: no question is open in this conversation";
+        case "request-ambiguous":
+            return "reply failed: more than one question is open in this conversation, and answering one of several is not supported";
+        case "request-answered":
+            return "reply failed: the question was already answered";
+        case "request-expired":
+            return "reply failed: the question's deadline has passed";
+        default: {
+            const exhaustive = failure;
+            return exhaustive;
+        }
+    }
+}
+/**
+ * The service could not keep an item the layer emitted. The service has
+ * already reported its own failure, so the layer only stops the work that
+ * emitted the item.
+ */
+export class CollectiveEmitError extends Data.TaggedError("CollectiveEmitError") {
+}
+/**
+ * A gather, all_gather or answer was refused. The message is what a host
+ * hands its model as the tool error: the failed action and its cause, naming
+ * each unreachable member or failing field. The operation id stays in the
+ * error's data, not its message.
+ */
+export class CollectiveError extends Data.TaggedError("CollectiveError") {
+    get message() {
+        return describeCollectiveFailure(this.failure);
+    }
+}
+/* eslint-enable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Restore the package naming rules after the Schema/type pairs. */
+//# sourceMappingURL=forms.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"forms.js","sourceRoot":"","sources":["../../../src/transport/collectives/forms.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAE/F,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,EAEL,kBAAkB,EAClB,eAAe,GAChB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,qBAAqB,EACrB,SAAS,EACT,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAE3B,0KAA0K;AAE1K;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;IAC7D,WAAW,EACT,qEAAqE;CACxE,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAC7B,CAAC;AAIF,gEAAgE;AAChE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;IACzC,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IACtE,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CAC5E,CAAC,CAAC;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CACjB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EACnC,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAC5B;CACF,CAAC,CAAC,WAAW,CAAC;IACb,WAAW,EAAE,oDAAoD;CAClE,CAAC,CAAC;AAIH,kFAAkF;AAClF,MAAM,CAAC,MAAM,wBAAwB,GAAG,SAAS,CAAC;AAElD,gFAAgF;AAChF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC/C,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAC5C,CAAC;AAEF;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,WAAW,CAAC;IACrC,EAAE,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CACtE,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC;IAC1C,QAAQ,EAAE,eAAe;IACzB,eAAe,EAAE,eAAe;CACjC,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CACtC,kBAAkB,EAClB,mBAAmB,CACpB,CAAC;AAIF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa;CACvB,CAAC,CAAC;AAEH,0BAA0B;AAC1B,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;IACzC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;CAClC,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;AAIzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CACnC,WAAW,CAAC;IACV,EAAE,EAAE,mBAAmB;IACvB,IAAI,EAAE,gBAAgB;IACtB,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CACtE,CAAC,EACF,WAAW,CAAC;IACV,EAAE,EAAE,mBAAmB;IACvB,kBAAkB,EAAE,kBAAkB;CACvC,CAAC,CACH,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;AAW3C,2EAA2E;AAC3E,MAAM,kBAAkB,GAAG,MAAM,CAAC,aAAa,CAC7C,WAAW,CAAC;IACV,MAAM,EAAE,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,kBAAkB,CAAC;CAC9C,CAAC,CACH,CAAC;AAOF;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CACpC,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC3C,OAAO,EAAE,kBAAkB;CAC5B,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,aAAa,CAC1B,WAAW,CAAC;QACV,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC;QAC1D,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;KAC5D,CAAC,CACH;CACF,CAAC,EACF,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC,EACrD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAC1D,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,EACzD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC,CACzD,CAAC;AAIF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAmB;IAClD,OAAO,qEAAqE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;AACxG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAA6B,EAAU,EAAE,CACtE,WAAW,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC;KAC9C,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;KACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAEhB,4CAA4C;AAC5C,MAAM,eAAe,GAAG;IACtB,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,oBAAoB;IAChC,OAAO,EAAE,YAAY;CACb,CAAC;AAQX;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA2B;IAC1D,OAAO,MAAM;SACV,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;QACjC,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QACxC,OAAO,MAAM,KAAK,SAAS;YACzB,CAAC,CAAC,UAAU,KAAK,KAAK,OAAO,EAAE;YAC/B,CAAC,CAAC,UAAU,KAAK,KAAK,OAAO,KAAK,MAAM,GAAG,CAAC;IAChD,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA0B;IAC3D,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,qBAAqB;YACxB,OAAO,gBAAgB,OAAO,CAAC,OAAO;iBACnC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAC1B,MAAM,KAAK,eAAe;gBACxB,CAAC,CAAC,GAAG,MAAM,uBAAuB;gBAClC,CAAC,CAAC,GAAG,MAAM,0BAA0B,eAAe,CAAC,MAAM,CAAC,EAAE,CACjE;iBACA,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,qCAAqC,OAAO,CAAC,MAAM,GAAG,CAAC;QAChE,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7D,KAAK,cAAc;YACjB,OAAO,wDAAwD,CAAC;QAClE,KAAK,mBAAmB;YACtB,OAAO,kHAAkH,CAAC;QAC5H,KAAK,kBAAkB;YACrB,OAAO,iDAAiD,CAAC;QAC3D,KAAK,iBAAiB;YACpB,OAAO,kDAAkD,CAAC;QAC5D,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,OAAO,CAAC;YAClC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CACvD,qBAAqB,CACtB;CAAG;AAEJ;;;;;GAKG;AACH,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAGrE;IACA,IAAa,OAAO;QAClB,OAAO,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;CACF;AAED,0JAA0J"}

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

@@ -0,0 +1,129 @@
+/** @file The items an endpoint delivers to its host: messages and collective requests, results and failures. */
+import { Schema } from "effect";
+/**
+ * One member's outcome in a completed gather or all_gather, discriminated by
+ * `kind`. `no-answer` covers every member that did not answer: one whose
+ * request post was refused or not certified in time, and one silent at the
+ * deadline.
+ */
+declare const memberOutcome: Schema.Union<[Schema.Struct<{
+    kind: Schema.Literal<["answered"]>;
+    content: Schema.Record$<typeof Schema.String, Schema.Union<[typeof Schema.String, Schema.filter<typeof Schema.Number>, typeof Schema.Boolean, Schema.Array$<typeof Schema.String>]>>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["declined"]>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["invalid"]>;
+    reason: typeof Schema.String;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["no-answer"]>;
+}>]>;
+/** One member's recorded outcome. */
+export type CollectiveMemberOutcome = typeof memberOutcome.Type;
+/**
+ * One inbound item, discriminated by `kind`. The endpoint consumes the
+ * collective layer's protocol posts, posts whose collective part is malformed
+ * or duplicated, and multicasts that carry nothing besides that part; every
+ * other certified post becomes one item, and the endpoint itself emits
+ * results and failures.
+ */
+export declare const InboundItem: Schema.Union<[Schema.Struct<{
+    kind: Schema.Literal<["multicast"]>;
+    message: Schema.Union<[Schema.filter<Schema.Struct<{
+        kind: Schema.Literal<["direct"]>;
+        postId: Schema.brand<Schema.filter<typeof Schema.String>, "PostId">;
+        address: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+        sender: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+        content: Schema.refine<readonly [{
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "data";
+            readonly value: import("../wire/values.js").JsonValue;
+        }, ...({
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "data";
+            readonly value: import("../wire/values.js").JsonValue;
+        })[]], Schema.NonEmptyArray<Schema.Union<[Schema.Struct<{
+            type: Schema.Literal<["text"]>;
+            text: Schema.filter<typeof Schema.String>;
+        }>, Schema.Struct<{
+            type: Schema.Literal<["data"]>;
+            value: Schema.Schema<import("../wire/values.js").JsonValue, import("../wire/values.js").JsonValue, never>;
+        }>]>>>;
+    }>>, Schema.filter<Schema.Struct<{
+        kind: Schema.Literal<["group"]>;
+        postId: Schema.brand<Schema.filter<typeof Schema.String>, "PostId">;
+        address: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "GroupAddress">;
+        sender: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+        members: Schema.filter<Schema.TupleType<readonly [Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">, Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">, Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">], [Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">]>>;
+        content: Schema.refine<readonly [{
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "data";
+            readonly value: import("../wire/values.js").JsonValue;
+        }, ...({
+            readonly type: "text";
+            readonly text: string;
+        } | {
+            readonly type: "data";
+            readonly value: import("../wire/values.js").JsonValue;
+        })[]], Schema.NonEmptyArray<Schema.Union<[Schema.Struct<{
+            type: Schema.Literal<["text"]>;
+            text: Schema.filter<typeof Schema.String>;
+        }>, Schema.Struct<{
+            type: Schema.Literal<["data"]>;
+            value: Schema.Schema<import("../wire/values.js").JsonValue, import("../wire/values.js").JsonValue, never>;
+        }>]>>>;
+    }>>]>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["collectiveRequest"]>;
+    op: Schema.Literal<["gather", "all_gather"]>;
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
+    postId: Schema.brand<Schema.filter<typeof Schema.String>, "PostId">;
+    from: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+    to: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+    question: Schema.filter<typeof Schema.String>;
+    requestedSchema: Schema.Struct<{
+        $schema: Schema.optionalWith<typeof Schema.String, {
+            exact: true;
+        }>;
+        type: Schema.Literal<["object"]>;
+        properties: Schema.Record$<typeof Schema.String, Schema.Record$<typeof Schema.String, Schema.Schema<import("../wire/values.js").JsonValue, import("../wire/values.js").JsonValue, never>>>;
+        required: Schema.optionalWith<Schema.Array$<typeof Schema.String>, {
+            exact: true;
+        }>;
+    }>;
+    deadlineAt: Schema.filter<Schema.filter<typeof Schema.Number>>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["collectiveResult"]>;
+    op: Schema.Literal<["gather", "all_gather"]>;
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
+    to: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+    question: Schema.filter<typeof Schema.String>;
+    outcomes: Schema.NonEmptyArray<Schema.Struct<{
+        member: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+        outcome: Schema.Union<[Schema.Struct<{
+            kind: Schema.Literal<["answered"]>;
+            content: Schema.Record$<typeof Schema.String, Schema.Union<[typeof Schema.String, Schema.filter<typeof Schema.Number>, typeof Schema.Boolean, Schema.Array$<typeof Schema.String>]>>;
+        }>, Schema.Struct<{
+            kind: Schema.Literal<["declined"]>;
+        }>, Schema.Struct<{
+            kind: Schema.Literal<["invalid"]>;
+            reason: typeof Schema.String;
+        }>, Schema.Struct<{
+            kind: Schema.Literal<["no-answer"]>;
+        }>]>;
+    }>>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["operationFailed"]>;
+    id: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
+    to: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+    error: typeof Schema.String;
+}>]>;
+/** A validated inbound item. */
+export type InboundItem = typeof InboundItem.Type;
+export {};
+//# sourceMappingURL=inbound.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"inbound.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/inbound.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAEhH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA8ChC;;;;;GAKG;AACH,QAAA,MAAM,aAAa;;;;;;;;;;IAKlB,CAAC;AACF,qCAAqC;AACrC,MAAM,MAAM,uBAAuB,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAiChE;;;;;;GAMG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAOtB,CAAC;AACH,gCAAgC;AAChC,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAC"}

package/dist/transport/collectives/inbound.js

@@ -0,0 +1,81 @@
+/** @file The items an endpoint delivers to its host: messages and collective requests, results and failures. */
+import { Schema } from "effect";
+import { InboundMessage } from "../messaging/message.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. */
+/**
+ * A multicast delivered to this endpoint. The message content is the post's
+ * content without the collective layer's part.
+ */
+const multicastItem = exactStruct({
+    kind: Schema.Literal("multicast"),
+    message: InboundMessage,
+});
+/** 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:`
+ * address for a gather, the group's `group:` address for an all_gather. The
+ * member answers once with a `collectiveResponse` sent to `to`.
+ */
+const collectiveRequestItem = exactStruct({
+    kind: Schema.Literal("collectiveRequest"),
+    op: collectingOp,
+    id: CollectiveId,
+    postId: PostId,
+    from: AgentAddress,
+    to: MessageAddressInput,
+    question: wellFormedString,
+    requestedSchema: RequestedSchema,
+    deadlineAt: epochMillis,
+});
+/**
+ * One member's outcome in a completed gather or all_gather, discriminated by
+ * `kind`. `no-answer` covers every member that did not answer: one whose
+ * request post was refused or not certified in time, and one silent at the
+ * deadline.
+ */
+const memberOutcome = Schema.Union(exactStruct({ kind: Schema.Literal("answered"), content: AnswerContent }), exactStruct({ kind: Schema.Literal("declined") }), exactStruct({ kind: Schema.Literal("invalid"), reason: Schema.String }), exactStruct({ kind: Schema.Literal("no-answer") }));
+/**
+ * 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. 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 })),
+});
+/**
+ * A collective send that failed after the host's tool had returned, or an
+ * all_gather whose close could not be certified. `to` is the operation's
+ * address, or the request's conversation for a response; `error` is the text
+ * a waiting host would have received as the tool error.
+ */
+const operationFailedItem = exactStruct({
+    kind: Schema.Literal("operationFailed"),
+    id: CollectiveId,
+    to: MessageAddressInput,
+    error: Schema.String,
+});
+/**
+ * One inbound item, discriminated by `kind`. The endpoint consumes the
+ * collective layer's protocol posts, posts whose collective part is malformed
+ * or duplicated, and multicasts that carry nothing besides that part; every
+ * other certified post becomes one item, and the endpoint itself emits
+ * results and failures.
+ */
+export const InboundItem = Schema.Union(multicastItem, collectiveRequestItem, collectiveResultItem, operationFailedItem).annotations({
+    identifier: "InboundItem",
+});
+/* eslint-enable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Restore the package naming rules after the Schema/type pairs. */
+//# sourceMappingURL=inbound.js.map

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

@@ -0,0 +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,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

@@ -0,0 +1,10 @@
+/** @file The collective operations the daemon service composes. */
+/** The daemon's stateful gather and all_gather operations. */
+export { type CollectiveOperations, makeCollectiveOperations, } from "./operation.js";
+/** The failure an emit port returns when the service cannot keep an item. */
+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 "./part/index.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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,iBAAiB,CAAC"}

package/dist/transport/collectives/index.js

@@ -0,0 +1,8 @@
+/** @file The collective operations the daemon service composes. */
+/** The daemon's stateful gather and all_gather operations. */
+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 "./part/index.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +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,iBAAiB,CAAC"}

package/dist/{message-text.d.ts → transport/collectives/message-text.d.ts}

@@ -1,8 +1,8 @@
 /**
  * @file Reads the operation a message's text states.
  *
- * A model reaches every operation through its host's ordinary message tool,
- * as message text, and every adapter reads that text with
+ * In native hosts, a model reaches every operation through the ordinary
+ * message tool, as message text. The OpenClaw and NanoClaw adapters use
  * {@link parseMessageText}, so both hosts accept the same text:
  *
  * ```
@@ -20,9 +20,13 @@
  * the operation and the error names the field to fix.
  */
 import { Either } from "effect";
-import { type MessageAddressInput, SendInput } from "./contract.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

@@ -0,0 +1 @@
+{"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/{message-text.js → transport/collectives/message-text.js}

@@ -1,8 +1,8 @@
 /**
  * @file Reads the operation a message's text states.
  *
- * A model reaches every operation through its host's ordinary message tool,
- * as message text, and every adapter reads that text with
+ * In native hosts, a model reaches every operation through the ordinary
+ * message tool, as message text. The OpenClaw and NanoClaw adapters use
  * {@link parseMessageText}, so both hosts accept the same text:
  *
  * ```
@@ -19,8 +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 { AnswerContent, DeadlineSeconds, RequestedSchema, SendInput, } from "./contract.js";
+import { Data, Either, Option, Predicate, Schema } from "effect";
+import { exactStruct } from "../wire/values.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
@@ -28,29 +32,19 @@ import { AnswerContent, DeadlineSeconds, RequestedSchema, SendInput, } from "./c
  */
 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 exactStruct = (fields) => Schema.Struct(fields).annotations({
-    parseOptions: { exact: true, onExcessProperty: "error" },
-});
-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"),
@@ -76,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);
@@ -107,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

@@ -0,0 +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,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"}