@moltzap/client 2026.1002.0 → 2026.1005.0

package/dist/transport/collectives/answer-formats.js

@@ -0,0 +1,127 @@
+/**
+ * @file The string formats a form-mode string field may require of an answer.
+ *
+ * Every endpoint must judge one answer the same way, since an all_gather's
+ * members agree on its result, so each format is the JSON Schema 2020-12
+ * format exactly as the full-mode `ajv-formats` validator judges it: `date`
+ * and `date-time` per RFC 3339 with a time zone required and a leap second
+ * only at 23:59 UTC, `email` as an RFC 5322 dot-atom at a dotted host name,
+ * and `uri` as an RFC 3986 absolute URI. The URI grammar also admits a single
+ * slash before an authority, which that validator admits.
+ */
+const DAYS_IN_MONTH = [0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
+const DATE = /^(\d{4})-(\d{2})-(\d{2})$/;
+const TIME = /^(\d{2}):(\d{2}):(\d{2}(?:\.\d+)?)(z|([+-])(\d{2})(?::?(\d{2}))?)$/i;
+const DATE_TIME_SEPARATOR = /t|\s/i;
+const atom = "[a-z0-9!#$%&'*+/=?^_`{|}~-]+";
+const hostLabel = "[a-z0-9](?:[a-z0-9-]*[a-z0-9])?";
+const EMAIL = new RegExp(`^${atom}(?:\\.${atom})*@(?:${hostLabel}\\.)+${hostLabel}$`, "i");
+const hex = "[0-9a-f]";
+const pctEncoded = `%${hex}{2}`;
+const unreserved = "a-z0-9\\-._~";
+const subDelims = "!$&'()*+,;=";
+const decOctet = "(?:25[0-5]|2[0-4]\\d|[01]?\\d\\d?)";
+const ipv4 = `(?:${decOctet}\\.){3}${decOctet}`;
+const h16 = `${hex}{1,4}`;
+const ls32 = `(?:${h16}:${h16}|${ipv4})`;
+const ipv6 = [
+    `(?:${h16}:){6}${ls32}`,
+    `::(?:${h16}:){5}${ls32}`,
+    `(?:${h16})?::(?:${h16}:){4}${ls32}`,
+    `(?:(?:${h16}:){0,1}${h16})?::(?:${h16}:){3}${ls32}`,
+    `(?:(?:${h16}:){0,2}${h16})?::(?:${h16}:){2}${ls32}`,
+    `(?:(?:${h16}:){0,3}${h16})?::${h16}:${ls32}`,
+    `(?:(?:${h16}:){0,4}${h16})?::${ls32}`,
+    `(?:(?:${h16}:){0,5}${h16})?::${h16}`,
+    `(?:(?:${h16}:){0,6}${h16})?::`,
+].join("|");
+const ipFuture = `v${hex}+\\.[${unreserved}${subDelims}:]+`;
+const host = `(?:\\[(?:${ipv6}|${ipFuture})\\]|${ipv4}|(?:[${unreserved}${subDelims}]|${pctEncoded})*)`;
+const userinfo = `(?:[${unreserved}${subDelims}:]|${pctEncoded})*`;
+const pchar = `(?:[${unreserved}${subDelims}:@]|${pctEncoded})`;
+const segments = `(?:\\/${pchar}*)*`;
+const hierPart = [
+    `\\/?\\/(?:${userinfo}@)?${host}(?::\\d*)?${segments}`,
+    `\\/(?:${pchar}+${segments})?`,
+    `${pchar}+${segments}`,
+].join("|");
+const queryOrFragment = `(?:[${unreserved}${subDelims}:@/?]|${pctEncoded})*`;
+const URI = new RegExp(`^[a-z][a-z0-9+\\-.]*:(?:${hierPart})(?:\\?${queryOrFragment})?(?:#${queryOrFragment})?$`, "i");
+/**
+ * Whether a string satisfies a format.
+ * @param format The format a string field names.
+ * @param text The answer's string.
+ * @returns True when the string is in the format.
+ */
+export function matchesFormat(format, text) {
+    switch (format) {
+        case "email":
+            return EMAIL.test(text);
+        case "uri":
+            return URI.test(text);
+        case "date":
+            return isDate(text);
+        case "date-time":
+            return isDateTime(text);
+        default: {
+            const exhaustive = format;
+            return exhaustive;
+        }
+    }
+}
+/** An RFC 3339 date and time, split at `T` or whitespace. */
+function isDateTime(text) {
+    const parts = text.split(DATE_TIME_SEPARATOR);
+    if (parts.length !== 2) {
+        return false;
+    }
+    const [date = "", time = ""] = parts;
+    return isDate(date) && isTime(time);
+}
+function isDate(text) {
+    const match = DATE.exec(text);
+    return (match !== null &&
+        isCalendarDay(Number(match[1]), Number(match[2]), Number(match[3])));
+}
+function isCalendarDay(year, month, day) {
+    return month >= 1 && month <= 12 && day >= 1 && day <= daysIn(year, month);
+}
+function daysIn(year, month) {
+    return month === 2 && isLeapYear(year) ? 29 : (DAYS_IN_MONTH[month] ?? 0);
+}
+function isLeapYear(year) {
+    return year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0);
+}
+/** An RFC 3339 full-time, offset included. */
+function isTime(text) {
+    const match = TIME.exec(text);
+    if (match === null) {
+        return false;
+    }
+    const time = {
+        hour: Number(match[1]),
+        minute: Number(match[2]),
+        second: Number(match[3]),
+        offsetSign: match[5] === "-" ? -1 : 1,
+        offsetHour: Number(match[6] ?? 0),
+        offsetMinute: Number(match[7] ?? 0),
+    };
+    return (time.offsetHour <= 23 &&
+        time.offsetMinute <= 59 &&
+        (isOrdinaryTime(time) || isLeapSecond(time)));
+}
+function isOrdinaryTime({ hour, minute, second }) {
+    return hour <= 23 && minute <= 59 && second < 60;
+}
+/**
+ * A second numbered 60 is a leap second only when the reading, shifted to
+ * UTC, is 23:59; -1 is that instant reached by borrowing across midnight.
+ */
+function isLeapSecond(time) {
+    const utcMinute = time.minute - time.offsetMinute * time.offsetSign;
+    const utcHour = time.hour - time.offsetHour * time.offsetSign - (utcMinute < 0 ? 1 : 0);
+    const lastHour = utcHour === 23 || utcHour === -1;
+    const lastMinute = utcMinute === 59 || utcMinute === -1;
+    return lastHour && lastMinute && time.second < 61;
+}
+//# sourceMappingURL=answer-formats.js.map

package/dist/transport/collectives/answer-formats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"answer-formats.js","sourceRoot":"","sources":["../../../src/transport/collectives/answer-formats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAC1E,MAAM,IAAI,GAAG,2BAA2B,CAAC;AACzC,MAAM,IAAI,GACR,qEAAqE,CAAC;AACxE,MAAM,mBAAmB,GAAG,OAAO,CAAC;AAEpC,MAAM,IAAI,GAAG,8BAA8B,CAAC;AAC5C,MAAM,SAAS,GAAG,iCAAiC,CAAC;AACpD,MAAM,KAAK,GAAG,IAAI,MAAM,CACtB,IAAI,IAAI,SAAS,IAAI,SAAS,SAAS,QAAQ,SAAS,GAAG,EAC3D,GAAG,CACJ,CAAC;AAEF,MAAM,GAAG,GAAG,UAAU,CAAC;AACvB,MAAM,UAAU,GAAG,IAAI,GAAG,KAAK,CAAC;AAChC,MAAM,UAAU,GAAG,cAAc,CAAC;AAClC,MAAM,SAAS,GAAG,aAAa,CAAC;AAChC,MAAM,QAAQ,GAAG,oCAAoC,CAAC;AACtD,MAAM,IAAI,GAAG,MAAM,QAAQ,UAAU,QAAQ,EAAE,CAAC;AAChD,MAAM,GAAG,GAAG,GAAG,GAAG,OAAO,CAAC;AAC1B,MAAM,IAAI,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC;AACzC,MAAM,IAAI,GAAG;IACX,MAAM,GAAG,QAAQ,IAAI,EAAE;IACvB,QAAQ,GAAG,QAAQ,IAAI,EAAE;IACzB,MAAM,GAAG,UAAU,GAAG,QAAQ,IAAI,EAAE;IACpC,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,IAAI,EAAE;IACpD,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,QAAQ,IAAI,EAAE;IACpD,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,IAAI,IAAI,EAAE;IAC7C,SAAS,GAAG,UAAU,GAAG,OAAO,IAAI,EAAE;IACtC,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,EAAE;IACrC,SAAS,GAAG,UAAU,GAAG,MAAM;CAChC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,QAAQ,UAAU,GAAG,SAAS,KAAK,CAAC;AAC5D,MAAM,IAAI,GAAG,YAAY,IAAI,IAAI,QAAQ,QAAQ,IAAI,QAAQ,UAAU,GAAG,SAAS,KAAK,UAAU,KAAK,CAAC;AACxG,MAAM,QAAQ,GAAG,OAAO,UAAU,GAAG,SAAS,MAAM,UAAU,IAAI,CAAC;AACnE,MAAM,KAAK,GAAG,OAAO,UAAU,GAAG,SAAS,OAAO,UAAU,GAAG,CAAC;AAChE,MAAM,QAAQ,GAAG,SAAS,KAAK,KAAK,CAAC;AACrC,MAAM,QAAQ,GAAG;IACf,aAAa,QAAQ,MAAM,IAAI,aAAa,QAAQ,EAAE;IACtD,SAAS,KAAK,IAAI,QAAQ,IAAI;IAC9B,GAAG,KAAK,IAAI,QAAQ,EAAE;CACvB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACZ,MAAM,eAAe,GAAG,OAAO,UAAU,GAAG,SAAS,SAAS,UAAU,IAAI,CAAC;AAC7E,MAAM,GAAG,GAAG,IAAI,MAAM,CACpB,2BAA2B,QAAQ,UAAU,eAAe,SAAS,eAAe,KAAK,EACzF,GAAG,CACJ,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,MAAoB,EAAE,IAAY;IAC9D,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,KAAK,KAAK;YACR,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1B,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,MAAM,CAAC;YACjC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC;IACrC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,CACL,KAAK,KAAK,IAAI;QACd,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IAC7D,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,KAAa;IACzC,OAAO,KAAK,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAYD,8CAA8C;AAC9C,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAc;QACtB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KACpC,CAAC;IACF,OAAO,CACL,IAAI,CAAC,UAAU,IAAI,EAAE;QACrB,IAAI,CAAC,YAAY,IAAI,EAAE;QACvB,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAa;IACzD,OAAO,IAAI,IAAI,EAAE,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM,GAAG,EAAE,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,IAAe;IACnC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC;IACpE,MAAM,OAAO,GACX,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,CAAC,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,SAAS,KAAK,EAAE,IAAI,SAAS,KAAK,CAAC,CAAC,CAAC;IACxD,OAAO,QAAQ,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;AACpD,CAAC"}

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

@@ -0,0 +1,34 @@
+/** @file How a collective send reports failure: a refused send, routed to its result or inbound, and an emitted item the service cannot keep. */
+import { Effect } from "effect";
+import type { EngineSentPost } from "../messaging/index.js";
+import type { MessageAddressInput } from "../wire/values.js";
+import type { InboundItem } from "./inbound.js";
+import { SendError } from "../messaging/errors.js";
+import { CollectiveEmitError, type CollectiveError, type CollectiveId, type FailureDelivery, type SendResult } from "./forms.js";
+/** Fail a send whose emitted item could not be kept as persistence-failed. */
+export declare function emitFailureAsSendError<A, E, R>(effect: Effect.Effect<A, E | CollectiveEmitError, R>): Effect.Effect<A, Exclude<E, CollectiveEmitError> | SendError, R>;
+/** One completed send: the posts certified by its return, and a collective id. */
+export interface CollectiveSendOutcome extends SendResult {
+    readonly postIds: ReadonlyArray<EngineSentPost["postId"]>;
+}
+/**
+ * A refused collective send, with the address its failure item routes to.
+ * The address is the operation's own, or the requester's for a response.
+ */
+export interface RefusedSend<E> {
+    readonly id: CollectiveId;
+    readonly to: MessageAddressInput;
+    readonly error: E;
+}
+/**
+ * Deliver a refused collective send's error where the host wants it. With
+ * `inbound` the send completes, naming the operation, and the error arrives
+ * as an `operationFailed` item carrying the same text.
+ */
+export declare function reportFailure(emit: (item: InboundItem) => Effect.Effect<void, CollectiveEmitError>, failureDelivery: FailureDelivery, send: Effect.Effect<CollectiveSendOutcome, RefusedSend<SendError | CollectiveError>>): Effect.Effect<CollectiveSendOutcome, SendError | CollectiveError>;
+/**
+ * Tag a send's error with the operation id and the address its failure item
+ * routes to.
+ */
+export declare function refusedAs<E>(id: CollectiveId, to: MessageAddressInput): (error: E) => RefusedSend<E>;
+//# sourceMappingURL=failures.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"failures.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/failures.ts"],"names":[],"mappings":"AAAA,iJAAiJ;AAEjJ,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EACL,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,mBAAmB,EAAE,CAAC,CAAC,GACnD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,mBAAmB,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAOlE;AAED,kFAAkF;AAClF,MAAM,WAAW,qBAAsB,SAAQ,UAAU;IACvD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;CAC3D;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC;IAC5B,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,CAAC,IAAI,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,EACrE,eAAe,EAAE,eAAe,EAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CACjB,qBAAqB,EACrB,WAAW,CAAC,SAAS,GAAG,eAAe,CAAC,CACzC,GACA,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,GAAG,eAAe,CAAC,CAuBnE;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,mBAAmB,WACrD,CAAC,KAAG,WAAW,CAAC,CAAC,CAAC,CAClC"}

package/dist/transport/collectives/failures.js

@@ -0,0 +1,40 @@
+/** @file How a collective send reports failure: a refused send, routed to its result or inbound, and an emitted item the service cannot keep. */
+import { Effect } from "effect";
+import { SendError } from "../messaging/errors.js";
+import { CollectiveEmitError, } from "./forms.js";
+/** Fail a send whose emitted item could not be kept as persistence-failed. */
+export function emitFailureAsSendError(effect) {
+    return Effect.catchIf(effect, (error) => error instanceof CollectiveEmitError, () => Effect.fail(new SendError({ reason: "persistence-failed" })));
+}
+/**
+ * Deliver a refused collective send's error where the host wants it. With
+ * `inbound` the send completes, naming the operation, and the error arrives
+ * as an `operationFailed` item carrying the same text.
+ */
+export function reportFailure(emit, failureDelivery, send) {
+    return send.pipe(Effect.catchAll((refused) => {
+        switch (failureDelivery) {
+            case "result":
+                return Effect.fail(refused.error);
+            case "inbound":
+                return emit({
+                    kind: "operationFailed",
+                    id: refused.id,
+                    to: refused.to,
+                    error: refused.error.message,
+                }).pipe(emitFailureAsSendError, Effect.as({ operationId: refused.id, postIds: [] }));
+            default: {
+                const exhaustive = failureDelivery;
+                return exhaustive;
+            }
+        }
+    }));
+}
+/**
+ * Tag a send's error with the operation id and the address its failure item
+ * routes to.
+ */
+export function refusedAs(id, to) {
+    return (error) => ({ id, to, error });
+}
+//# sourceMappingURL=failures.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"failures.js","sourceRoot":"","sources":["../../../src/transport/collectives/failures.ts"],"names":[],"mappings":"AAAA,iJAAiJ;AAEjJ,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIhC,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EACL,mBAAmB,GAKpB,MAAM,YAAY,CAAC;AAEpB,8EAA8E;AAC9E,MAAM,UAAU,sBAAsB,CACpC,MAAoD;IAEpD,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,EACN,CAAC,KAAK,EAAgC,EAAE,CACtC,KAAK,YAAY,mBAAmB,EACtC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC,CACnE,CAAC;AACJ,CAAC;AAiBD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAqE,EACrE,eAAgC,EAChC,IAGC;IAED,OAAO,IAAI,CAAC,IAAI,CACd,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE;QAC1B,QAAQ,eAAe,EAAE,CAAC;YACxB,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACpC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC;oBACV,IAAI,EAAE,iBAAiB;oBACvB,EAAE,EAAE,OAAO,CAAC,EAAE;oBACd,EAAE,EAAE,OAAO,CAAC,EAAE;oBACd,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO;iBAC7B,CAAC,CAAC,IAAI,CACL,sBAAsB,EACtB,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CACpD,CAAC;YACJ,SAAS,CAAC;gBACR,MAAM,UAAU,GAAU,eAAe,CAAC;gBAC1C,OAAO,UAAU,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAI,EAAgB,EAAE,EAAuB;IACpE,OAAO,CAAC,KAAQ,EAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3D,CAAC"}

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

@@ -0,0 +1,260 @@
+/** @file Collective operations, answers and the closed errors of a refused collective send. */
+import { ParseResult, Schema } from "effect";
+import { type SendFailure } from "../messaging/errors.js";
+import { JsonValue } from "../wire/values.js";
+/**
+ * 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 declare const CollectiveId: Schema.brand<Schema.filter<typeof Schema.String>, "CollectiveId">;
+/** A validated collective operation id. */
+export type CollectiveId = typeof CollectiveId.Type;
+/**
+ * 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 declare const 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<JsonValue, JsonValue, never>>>;
+    required: Schema.optionalWith<Schema.Array$<typeof Schema.String>, {
+        exact: true;
+    }>;
+}>;
+/** A form-mode schema as stated by its requester. */
+export type RequestedSchema = typeof RequestedSchema.Type;
+/**
+ * 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 declare const AnswerContent: Schema.Record$<typeof Schema.String, Schema.Union<[typeof Schema.String, Schema.filter<typeof Schema.Number>, typeof Schema.Boolean, Schema.Array$<typeof Schema.String>]>>;
+/** A structurally valid answer. */
+export type AnswerContent = typeof AnswerContent.Type;
+/** The longest deadline a collecting operation may state: 30 days, in seconds. */
+export declare const MAXIMUM_DEADLINE_SECONDS = 2592000;
+/** A collecting operation's relative deadline: whole seconds, up to 30 days. */
+export declare const DeadlineSeconds: Schema.filter<Schema.filter<typeof Schema.Number>>;
+/** The collective operation one send performs, discriminated by `op`. */
+declare const CollectiveOperation: Schema.Union<[Schema.Struct<{
+    op: Schema.optionalWith<Schema.Literal<["multicast"]>, {
+        exact: true;
+    }>;
+}>, Schema.Struct<{
+    op: Schema.Literal<["gather", "all_gather"]>;
+    deadline: Schema.filter<Schema.filter<typeof Schema.Number>>;
+    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<JsonValue, JsonValue, never>>>;
+        required: Schema.optionalWith<Schema.Array$<typeof Schema.String>, {
+            exact: true;
+        }>;
+    }>;
+}>]>;
+/** A validated collective operation. */
+export type CollectiveOperation = typeof CollectiveOperation.Type;
+/** An `accept` answer, the only one that carries content. */
+export declare const AcceptResponse: Schema.Struct<{
+    action: Schema.Literal<["accept"]>;
+    content: Schema.Record$<typeof Schema.String, Schema.Union<[typeof Schema.String, Schema.filter<typeof Schema.Number>, typeof Schema.Boolean, Schema.Array$<typeof Schema.String>]>>;
+}>;
+/** A `decline` answer. */
+export declare const DeclineResponse: Schema.Struct<{
+    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.
+ */
+declare const CollectiveResponse: Schema.Union<[Schema.Struct<{
+    action: Schema.Literal<["accept"]>;
+    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<{
+    action: Schema.Literal<["decline"]>;
+}>]>;
+/** A validated collective response. */
+export type CollectiveResponse = typeof CollectiveResponse.Type;
+/**
+ * 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 declare const SendInput: Schema.Union<[Schema.Struct<{
+    to: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+    text: Schema.filter<typeof Schema.String>;
+    collective: Schema.optionalWith<Schema.Union<[Schema.Struct<{
+        op: Schema.optionalWith<Schema.Literal<["multicast"]>, {
+            exact: true;
+        }>;
+    }>, Schema.Struct<{
+        op: Schema.Literal<["gather", "all_gather"]>;
+        deadline: Schema.filter<Schema.filter<typeof Schema.Number>>;
+        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<JsonValue, JsonValue, never>>>;
+            required: Schema.optionalWith<Schema.Array$<typeof Schema.String>, {
+                exact: true;
+            }>;
+        }>;
+    }>]>, {
+        exact: true;
+    }>;
+}>, Schema.Struct<{
+    to: Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">;
+    collectiveResponse: Schema.Union<[Schema.Struct<{
+        action: Schema.Literal<["accept"]>;
+        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<{
+        action: Schema.Literal<["decline"]>;
+    }>]>;
+}>]>;
+/** Validated input for one send. */
+export type SendInput = typeof SendInput.Type;
+/**
+ * Where a refused collecting operation or response reports its error:
+ * returned to the caller, or emitted as an `operationFailed` item while the
+ * send completes.
+ */
+export type FailureDelivery = "result" | "inbound";
+/** What a completed send returns: a collecting operation names its id. */
+export interface SendResult {
+    readonly operationId?: CollectiveId;
+}
+/**
+ * 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.
+ */
+declare const collectiveFailure: Schema.Union<[Schema.Struct<{
+    kind: Schema.Literal<["members-unreachable"]>;
+    members: Schema.NonEmptyArray<Schema.Struct<{
+        member: Schema.brand<Schema.filter<Schema.brand<Schema.filter<typeof Schema.String>, "MessageAddressInput">>, "AgentAddress">;
+        reason: Schema.Literal<["invalid-address", "unknown-agent", "membership-invalid", "content-invalid", "not-registered", "version-mismatch", "certification-unavailable", "persistence-failed", "network-unavailable", "idempotency-conflict", "outcome-unknown"]>;
+    }>>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["schema-invalid"]>;
+    detail: typeof Schema.String;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["answer-invalid"]>;
+    fields: Schema.NonEmptyArray<Schema.Struct<{
+        field: typeof Schema.String;
+        reason: Schema.Literal<["missing", "unexpected", "invalid"]>;
+        detail: Schema.optionalWith<typeof Schema.String, {
+            exact: true;
+        }>;
+    }>>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["request-none"]>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["request-ambiguous"]>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["request-answered"]>;
+}>, Schema.Struct<{
+    kind: Schema.Literal<["request-expired"]>;
+}>]>;
+/** A validated collective failure. */
+export type CollectiveFailure = typeof collectiveFailure.Type;
+/**
+ * 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 declare const decodeCollectiveFailure: (u: unknown, overrideOptions?: import("effect/SchemaAST").ParseOptions) => import("effect/Effect").Effect<{
+    readonly kind: "members-unreachable";
+    readonly members: readonly [{
+        readonly member: string & import("effect/Brand").Brand<"MessageAddressInput"> & import("effect/Brand").Brand<"AgentAddress">;
+        readonly reason: "certification-unavailable" | "content-invalid" | "idempotency-conflict" | "invalid-address" | "membership-invalid" | "network-unavailable" | "not-registered" | "outcome-unknown" | "persistence-failed" | "unknown-agent" | "version-mismatch";
+    }, ...{
+        readonly member: string & import("effect/Brand").Brand<"MessageAddressInput"> & import("effect/Brand").Brand<"AgentAddress">;
+        readonly reason: "certification-unavailable" | "content-invalid" | "idempotency-conflict" | "invalid-address" | "membership-invalid" | "network-unavailable" | "not-registered" | "outcome-unknown" | "persistence-failed" | "unknown-agent" | "version-mismatch";
+    }[]];
+} | {
+    readonly kind: "schema-invalid";
+    readonly detail: string;
+} | {
+    readonly kind: "answer-invalid";
+    readonly fields: readonly [{
+        readonly field: string;
+        readonly reason: "invalid" | "missing" | "unexpected";
+        readonly detail?: string | undefined;
+    }, ...{
+        readonly field: string;
+        readonly reason: "invalid" | "missing" | "unexpected";
+        readonly detail?: string | undefined;
+    }[]];
+} | {
+    readonly kind: "request-none";
+} | {
+    readonly kind: "request-ambiguous";
+} | {
+    readonly kind: "request-answered";
+} | {
+    readonly kind: "request-expired";
+}, ParseResult.ParseError, never>;
+/**
+ * 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 declare function closeFailureText(reason: SendFailure): string;
+/**
+ * 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 declare const describeIssues: (error: ParseResult.ParseError) => string;
+/** Every field of an answer that fails its request's schema. */
+export type AnswerFieldFailures = Extract<CollectiveFailure, {
+    readonly kind: "answer-invalid";
+}>["fields"];
+/**
+ * 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 declare function answerFieldsText(fields: AnswerFieldFailures): string;
+declare const CollectiveEmitError_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: "CollectiveEmitError";
+} & Readonly<A>;
+/**
+ * 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 declare class CollectiveEmitError extends CollectiveEmitError_base {
+}
+declare const CollectiveError_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: "CollectiveError";
+} & Readonly<A>;
+/**
+ * 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 declare class CollectiveError extends CollectiveError_base<{
+    readonly id: CollectiveId;
+    readonly failure: CollectiveFailure;
+}> {
+    get message(): string;
+}
+export {};
+//# sourceMappingURL=forms.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"forms.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/forms.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAE/F,OAAO,EAAQ,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACnD,OAAO,EACL,KAAK,WAAW,EAGjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAIL,SAAS,EAGV,MAAM,mBAAmB,CAAC;AAI3B;;;;;GAKG;AACH,eAAO,MAAM,YAAY,mEAMxB,CAAC;AACF,2CAA2C;AAC3C,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAKpD;;;;GAIG;AACH,eAAO,MAAM,eAAe;;;;;;;;;EAK1B,CAAC;AACH,qDAAqD;AACrD,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAE1D;;;GAGG;AACH,eAAO,MAAM,aAAa,6KAUxB,CAAC;AACH,mCAAmC;AACnC,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC;AAEtD,kFAAkF;AAClF,eAAO,MAAM,wBAAwB,UAAY,CAAC;AAElD,gFAAgF;AAChF,eAAO,MAAM,eAAe,oDAG3B,CAAC;AA2BF,yEAAyE;AACzE,QAAA,MAAM,mBAAmB;;;;;;;;;;;;;;;;;IAGxB,CAAC;AACF,wCAAwC;AACxC,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAC;AAElE,6DAA6D;AAC7D,eAAO,MAAM,cAAc;;;EAGzB,CAAC;AAEH,0BAA0B;AAC1B,eAAO,MAAM,eAAe;;EAE1B,CAAC;AAEH;;;;;GAKG;AACH,QAAA,MAAM,kBAAkB;;;;;IAAgD,CAAC;AACzE,uCAAuC;AACvC,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAEhE;;;;;GAKG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAUoB,CAAC;AAC3C,oCAAoC;AACpC,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,CAAC;AAUnD,0EAA0E;AAC1E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;CACrC;AAED;;;;;GAKG;AACH,QAAA,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;IAuBtB,CAAC;AACF,sCAAsC;AACtC,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAA0C,CAAC;AAE/E;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAE5D;AAED;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,UAAW,WAAW,CAAC,UAAU,KAAG,MAKhD,CAAC;AAShB,gEAAgE;AAChE,MAAM,MAAM,mBAAmB,GAAG,OAAO,CACvC,iBAAiB,EACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CACpC,CAAC,QAAQ,CAAC,CAAC;AAEZ;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,CASpE;;;;AA+BD;;;;GAIG;AACH,qBAAa,mBAAoB,SAAQ,wBAExC;CAAG;;;;AAEJ;;;;;GAKG;AACH,qBAAa,eAAgB,SAAQ,qBAAoC;IACvE,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF"}