@moltzap/client 2026.1002.0 → 2026.1005.0

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

@@ -7,119 +7,21 @@
  * carries a `kind` discriminant so an endpoint classifies a part without trying
  * each shape in turn.
  */
-import { specTypeSchemas, } from "@modelcontextprotocol/client";
-import { AjvJsonSchemaValidator } from "@modelcontextprotocol/client/validators/ajv";
-import { Data, Effect, Option, ParseResult, Predicate, Schema } from "effect";
-import { createHash } from "node:crypto";
-import { AnswerContent, CollectiveId, } from "../../contract.js";
-import { Content, exactStruct, RecordHash } from "../representation.js";
+import { Data, Effect, Option, Schema } from "effect";
+import { createHash, randomBytes } from "node:crypto";
+import { Content, exactStruct, RecordHash, } from "../../wire/index.js";
+import { AcceptResponse, CollectiveId, DeclineResponse, RequestedSchema, } from "../forms.js";
+import { FormFieldSchema } from "./grammar.js";
 /** The `data` part key under which the collective layer carries its value. */
 export const COLLECTIVE_DATA_KEY = "xyz.moltzap/collective";
-const mcpPrimitiveSchemaDefinition = specTypeSchemas.PrimitiveSchemaDefinition["~standard"];
-const McpPrimitiveSchema = Schema.declare((value) => mcpPrimitiveSchemaDefinition.validate(value).issues === undefined, { identifier: "PrimitiveSchemaDefinition" });
-const declares = (property, ...types) => Predicate.hasProperty(property, "type") &&
-    types.some((type) => type === property.type);
-/** Form-mode shapes, each listed before any shape it refines. */
-const formModeShapes = [
-    {
-        expected: 'a titled single-select is {"type":"string","oneOf":[{"const":"a","title":"A"}]}',
-        check: specTypeSchemas.TitledSingleSelectEnumSchema["~standard"],
-        intends: (property) => declares(property, "string") && Predicate.hasProperty(property, "oneOf"),
-    },
-    {
-        expected: 'a single-select is {"type":"string","enum":["a","b"]}',
-        check: specTypeSchemas.UntitledSingleSelectEnumSchema["~standard"],
-        intends: (property) => declares(property, "string") && Predicate.hasProperty(property, "enum"),
-    },
-    {
-        expected: 'a string is {"type":"string"} with optional minLength, maxLength or format',
-        check: specTypeSchemas.StringSchema["~standard"],
-        intends: (property) => declares(property, "string"),
-    },
-    {
-        expected: 'a number is {"type":"number"} or {"type":"integer"} with optional minimum and maximum',
-        check: specTypeSchemas.NumberSchema["~standard"],
-        intends: (property) => declares(property, "number", "integer"),
-    },
-    {
-        expected: 'a boolean is {"type":"boolean"}',
-        check: specTypeSchemas.BooleanSchema["~standard"],
-        intends: (property) => declares(property, "boolean"),
-    },
-    {
-        expected: 'a titled multi-select is {"type":"array","items":{"anyOf":[{"const":"a","title":"A"}]}}',
-        check: specTypeSchemas.TitledMultiSelectEnumSchema["~standard"],
-        intends: (property) => declares(property, "array") &&
-            Predicate.hasProperty(property, "items") &&
-            Predicate.hasProperty(property.items, "anyOf"),
-    },
-    {
-        expected: 'a multi-select is {"type":"array","items":{"type":"string","enum":["a","b"]}}',
-        check: specTypeSchemas.UntitledMultiSelectEnumSchema["~standard"],
-        intends: (property) => declares(property, "array"),
-    },
-];
-/**
- * Say why a property is outside the form-mode grammar: each keyword its
- * intended shape rejects, by path within the property, then that shape.
- * @param property A property the SDK's grammar rejected.
- * @returns For example `items.type: Invalid input: expected "string"; a
- *   multi-select is {"type":"array","items":{"type":"string","enum":["a","b"]}}`.
- */
-function formModeViolation(property) {
-    const shape = formModeShapes.find(({ intends }) => intends(property));
-    if (shape === undefined) {
-        return '"type" must be "string", "number", "integer", "boolean" or "array"';
-    }
-    return [
-        ...(shape.check.validate(property).issues ?? []).map(({ path, message }) => issueAt(path ?? [], message)),
-        shape.expected,
-    ].join("; ");
-}
-function issueAt(path, message) {
-    const keys = path.map((segment) => String(Predicate.isObject(segment) ? segment.key : segment));
-    return keys.length === 0 ? message : `${keys.join(".")}: ${message}`;
-}
-/**
- * One property of an MCP form-mode `requestedSchema`, as the MCP SDK's
- * `PrimitiveSchemaDefinition` accepts it. Decoding keeps the SDK's parsed
- * value, so keywords outside the form-mode grammar never travel or reach
- * answer validation. The SDK grammar admits some schemas its own validator
- * cannot compile, such as an empty `enum`; decoding compiles each property
- * so answer validation never meets one.
- */
-const PrimitiveSchemaDefinition = Schema.transformOrFail(Schema.Unknown, McpPrimitiveSchema, {
-    strict: true,
-    decode: (value) => {
-        const result = mcpPrimitiveSchemaDefinition.validate(value);
-        const invalid = (message) => new ParseResult.Type(McpPrimitiveSchema.ast, value, message);
-        if (result.issues !== undefined) {
-            return ParseResult.fail(invalid(formModeViolation(value)));
-        }
-        const definition = result.value;
-        return ParseResult.try({
-            try: () => {
-                new AjvJsonSchemaValidator().getValidator(definition);
-                return definition;
-            },
-            catch: (cause) => invalid(`not a compilable form-mode primitive schema: ${cause instanceof Error ? cause.message : String(cause)}`),
-        });
-    },
-    encode: (definition) => ParseResult.succeed(definition),
-});
 /**
  * The MCP form-mode `requestedSchema`: a flat object of primitive properties.
  * Every `required` name must be a declared property, since an answer can carry
  * no other field.
  */
 export const FormModeSchema = exactStruct({
-    $schema: Schema.optional(Schema.String),
-    type: Schema.Literal("object"),
-    properties: Schema.Record({
-        key: Schema.String,
-        value: PrimitiveSchemaDefinition,
-    }),
-    required: Schema.optional(Schema.Array(Schema.String)),
+    ...RequestedSchema.fields,
+    properties: Schema.Record({ key: Schema.String, value: FormFieldSchema }),
 }).pipe(Schema.filter((schema) => {
     const undeclared = (schema.required ?? []).filter((name) => !Object.hasOwn(schema.properties, name));
     return (undeclared.length === 0 || {
@@ -145,6 +47,15 @@ const decodeCollectiveId = Schema.decodeUnknownSync(CollectiveId);
 export const collectiveIdOf = (requester, nonce) => decodeCollectiveId(`col_${createHash("sha256")
     .update(`xyz.moltzap/collective-id\0${requester}\0${nonce}`)
     .digest("base64url")}`);
+/**
+ * A fresh nonce and the id it binds to the requester.
+ * @param requester The address the id names as the operation's requester.
+ * @returns The nonce and the collective id derived from it.
+ */
+export const mintCollectiveId = (requester) => Effect.sync(() => {
+    const nonce = randomBytes(32).toString("base64url");
+    return { id: collectiveIdOf(requester, nonce), nonce };
+});
 /** A plain post: multicast carries neither a deadline nor a schema. */
 const MulticastOperation = exactStruct({
     kind: Schema.Literal("operation"),
@@ -164,17 +75,10 @@ const CollectingOperation = exactStruct({
     deadlineAt: Schema.Int.pipe(Schema.positive()),
     requestedSchema: FormModeSchema,
 });
+/** The request a member's reply answers. */
+const responseHead = { kind: Schema.Literal("response"), id: CollectiveId };
 /** A member's reply to one request; only `accept` carries content. */
-const CollectiveResponse = Schema.Union(exactStruct({
-    kind: Schema.Literal("response"),
-    id: CollectiveId,
-    action: Schema.Literal("accept"),
-    content: AnswerContent,
-}), exactStruct({
-    kind: Schema.Literal("response"),
-    id: CollectiveId,
-    action: Schema.Literal("decline"),
-}));
+const CollectiveResponse = Schema.Union(exactStruct({ ...responseHead, ...AcceptResponse.fields }), exactStruct({ ...responseHead, ...DeclineResponse.fields }));
 /** The requester's all_gather close: the included answers by certified record hash. */
 const CollectiveClose = exactStruct({
     kind: Schema.Literal("close"),
@@ -214,12 +118,6 @@ export const withoutCollectivePart = (content) => content.filter((part) => Optio
  * @returns The validated value.
  */
 export const decodeCollectiveValue = Schema.decodeUnknown(CollectiveValue);
-/**
- * Decode one untrusted collective response.
- * @param value A member's response as it arrives.
- * @returns The validated response.
- */
-export const decodeCollectiveResponse = Schema.decodeUnknown(CollectiveResponse);
 /**
  * Find and decode the collective value in one post's content.
  * @param content Certified post content.
@@ -247,4 +145,4 @@ export const encodeCollectiveContent = (value, text) => Schema.encode(Collective
     { type: "data", value: { [COLLECTIVE_DATA_KEY]: encoded } },
 ])), Effect.catchTag("ParseError", () => Effect.fail(new CollectiveContentError())));
 /* eslint-enable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Restore the package naming rules after the Schema/type pairs. */
-//# sourceMappingURL=wire.js.map
+//# sourceMappingURL=index.js.map

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

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

package/dist/{endpoint/collective → transport/collectives}/received-request.d.ts

@@ -8,7 +8,8 @@
  * supported, so that answer is refused rather than guessed.
  */
 import { Either } from "effect";
-import type { CollectiveFailure, CollectiveId, MessageAddressInput } from "../../contract.js";
+import type { MessageAddressInput } from "../wire/values.js";
+import type { CollectiveFailure, CollectiveId } from "./forms.js";
 /**
  * What matching reads of a received request: `to` is the conversation it
  * arrived in. `sending` holds the one answer in flight, so a member answers

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

@@ -0,0 +1 @@
+{"version":3,"file":"received-request.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/received-request.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAElE;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;CAC5D;AAED,sDAAsD;AACtD,MAAM,WAAW,WAAW,CAAC,OAAO,SAAS,aAAa;IACxD,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,6CAA6C;AAC7C,KAAK,eAAe,GAAG,OAAO,CAC5B,iBAAiB,CAAC,MAAM,CAAC,EACzB,WAAW,MAAM,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,EAAE,CAC3D,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,SAAS,aAAa,YAClD,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,gBAC9B,mBAAmB,OAC5B,MAAM,KACV,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,eAAe,CAoBrD,CAAC"}

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

@@ -0,0 +1 @@
+{"version":3,"file":"received-request.js","sourceRoot":"","sources":["../../../src/transport/collectives/received-request.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AA2BhC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,QAA4C,EAC5C,YAAiC,EACjC,GAAW,EAC2C,EAAE;IACxD,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,YAAY,CAAC;SACpD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,EAAE;QACF,OAAO;QACP,WAAW,EAAE,kBAAkB,CAAC,OAAO,EAAE,GAAG,CAAC;KAC9C,CAAC,CAAC,CAAC;IACN,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC;IAC1E,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,KAAK,kBAAkB,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;AAC9E,CAAC,CAAC;AAEF,SAAS,kBAAkB,CACzB,OAAsB,EACtB,GAAW;IAEX,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,KAAK,SAAS,CAAC;QACf,KAAK,UAAU;YACb,OAAO,kBAAkB,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,iBAAiB,CAAC;QAC3B,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,OAAO,CAAC,KAAK,CAAC;YACxC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,40 @@
+/** @file The text a host's model reads for a delivered message, question or result, the same on every host. */
+import type { Content, MessageAddressInput } from "../wire/values.js";
+import type { InboundItem } from "./inbound.js";
+type CollectiveRequestItem = Extract<InboundItem, {
+    readonly kind: "collectiveRequest";
+}>;
+type CollectiveResultItem = Extract<InboundItem, {
+    readonly kind: "collectiveResult";
+}>;
+/**
+ * A message's content as the text a model reads: each text part as written,
+ * each data part as JSON, one part per line.
+ * @param content The delivered message's content.
+ * @returns The text a host puts in the model's turn.
+ */
+export declare function renderContent(content: Content): string;
+/**
+ * The agents a group address names, as `agent:` addresses, in its order; a
+ * direct address names none. Hosts list them on a group turn.
+ * @param address A canonical address an item carries.
+ * @returns The group's member addresses, or an empty list.
+ */
+export declare function groupMembers(address: MessageAddressInput): readonly string[];
+/**
+ * A question another agent asked: who asked and until when, the question,
+ * its form, and the exact text that answers it. Only the last line differs
+ * by host, since each host's model sends the answer through its own tool.
+ * @param item The delivered question.
+ * @param howToAnswer The host's sentence naming the tool that sends the answer to `item.to`.
+ * @returns The text of the model's turn.
+ */
+export declare function renderCollectiveRequest(item: CollectiveRequestItem, howToAnswer: string): string;
+/**
+ * A gather's or all_gather's result: the question and one line per member.
+ * @param item The delivered result.
+ * @returns The text of the model's turn.
+ */
+export declare function renderCollectiveResult(item: CollectiveResultItem): string;
+export {};
+//# sourceMappingURL=render.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/render.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAE/G,OAAO,KAAK,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,KAAK,qBAAqB,GAAG,OAAO,CAClC,WAAW,EACX;IAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;CAAE,CACvC,CAAC;AACF,KAAK,oBAAoB,GAAG,OAAO,CACjC,WAAW,EACX;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,CACtC,CAAC;AAGF;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAMtD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,SAAS,MAAM,EAAE,CAO5E;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,qBAAqB,EAC3B,WAAW,EAAE,MAAM,GAClB,MAAM,CAYR;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,oBAAoB,GAAG,MAAM,CAOzE"}

package/dist/transport/collectives/render.js

@@ -0,0 +1,74 @@
+/** @file The text a host's model reads for a delivered message, question or result, the same on every host. */
+/**
+ * A message's content as the text a model reads: each text part as written,
+ * each data part as JSON, one part per line.
+ * @param content The delivered message's content.
+ * @returns The text a host puts in the model's turn.
+ */
+export function renderContent(content) {
+    return content
+        .map((part) => part.type === "text" ? part.text : (JSON.stringify(part.value) ?? "null"))
+        .join("\n");
+}
+/**
+ * The agents a group address names, as `agent:` addresses, in its order; a
+ * direct address names none. Hosts list them on a group turn.
+ * @param address A canonical address an item carries.
+ * @returns The group's member addresses, or an empty list.
+ */
+export function groupMembers(address) {
+    return address.startsWith("group:")
+        ? address
+            .slice("group:".length)
+            .split(",")
+            .map((name) => `agent:${name}`)
+        : [];
+}
+/**
+ * A question another agent asked: who asked and until when, the question,
+ * its form, and the exact text that answers it. Only the last line differs
+ * by host, since each host's model sends the answer through its own tool.
+ * @param item The delivered question.
+ * @param howToAnswer The host's sentence naming the tool that sends the answer to `item.to`.
+ * @returns The text of the model's turn.
+ */
+export function renderCollectiveRequest(item, howToAnswer) {
+    const asked = item.op === "all_gather"
+        ? `all_gather from ${item.from} to ${item.to}`
+        : `gather from ${item.from}`;
+    return [
+        `${asked}, open until ${new Date(item.deadlineAt).toISOString()}.`,
+        `Question: ${item.question}`,
+        `Form: ${JSON.stringify(item.requestedSchema)}`,
+        'Answer with: {"action":"accept","content":{...}} where content matches the form, or {"action":"decline"}',
+        howToAnswer,
+    ].join("\n");
+}
+/**
+ * A gather's or all_gather's result: the question and one line per member.
+ * @param item The delivered result.
+ * @returns The text of the model's turn.
+ */
+export function renderCollectiveResult(item) {
+    return [
+        `${item.op} result for the question sent to ${item.to}: ${item.question}`,
+        ...item.outcomes.map(({ member, outcome }) => `- ${member}: ${renderOutcome(outcome)}`),
+    ].join("\n");
+}
+function renderOutcome(outcome) {
+    switch (outcome.kind) {
+        case "answered":
+            return `answered ${JSON.stringify(outcome.content)}`;
+        case "declined":
+            return "declined";
+        case "invalid":
+            return `answered outside the form (${outcome.reason})`;
+        case "no-answer":
+            return "no answer";
+        default: {
+            const exhaustive = outcome;
+            return exhaustive;
+        }
+    }
+}
+//# sourceMappingURL=render.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../src/transport/collectives/render.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAe/G;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACZ,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAC1E;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,OAA4B;IACvD,OAAO,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,CAAC,CAAC,OAAO;aACJ,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;aACtB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;QACnC,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAA2B,EAC3B,WAAmB;IAEnB,MAAM,KAAK,GACT,IAAI,CAAC,EAAE,KAAK,YAAY;QACtB,CAAC,CAAC,mBAAmB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,EAAE;QAC9C,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC;IACjC,OAAO;QACL,GAAG,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,GAAG;QAClE,aAAa,IAAI,CAAC,QAAQ,EAAE;QAC5B,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE;QAC/C,0GAA0G;QAC1G,WAAW;KACZ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA0B;IAC/D,OAAO;QACL,GAAG,IAAI,CAAC,EAAE,oCAAoC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,EAAE;QACzE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAClB,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,MAAM,KAAK,aAAa,CAAC,OAAO,CAAC,EAAE,CAClE;KACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,OAAsB;IAC3C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,8BAA8B,OAAO,CAAC,MAAM,GAAG,CAAC;QACzD,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,OAAO,CAAC;YAClC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/{endpoint/collective → transport/collectives}/request-sends.d.ts

@@ -3,8 +3,9 @@
  * settled when the requester stops waiting.
  */
 import { Effect, Either, Fiber } from "effect";
-import type { AgentAddress, SendError } from "../../contract.js";
-import type { EngineSentPost } from "../engine-types.js";
+import type { SendError } from "../messaging/errors.js";
+import type { EngineSentPost } from "../messaging/index.js";
+import type { AgentAddress } from "../wire/values.js";
 /** A member whose request post was refused, and why. */
 export type RequestRefusal = Readonly<{
     member: AgentAddress;

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,31 @@
+/**
+ * @file Answer validation against a collective request's form-mode schema.
+ *
+ * Validation runs field by field so a failure names each failing field rather
+ * than one combined message. The form-mode grammar is flat, so a field's
+ * property schema is the whole rule for that field.
+ *
+ * Each keyword has its JSON Schema 2020-12 meaning, and every failing keyword
+ * is reported: a keyword that constrains one JSON type applies only to a
+ * value of that type, while `type`, `enum` and `oneOf` apply to any value.
+ */
+import { Effect } from "effect";
+import type { CollectiveMemberOutcome } from "./inbound.js";
+import type { FormModeSchema } from "./part/index.js";
+import { type AnswerContent, type AnswerFieldFailures, type CollectiveResponse } from "./forms.js";
+/**
+ * Check an answer against the schema its request carried.
+ * @param requestedSchema The request's form-mode schema.
+ * @param content The member's answer.
+ * @returns The answer unchanged, or every failing field.
+ */
+export declare const validateAnswer: (requestedSchema: FormModeSchema, content: AnswerContent) => Effect.Effect<AnswerContent, AnswerFieldFailures>;
+/**
+ * Record a received response as the member's outcome. An `accept` whose content
+ * fails the request's schema is recorded as invalid rather than rejected.
+ * @param requestedSchema The schema the request carried.
+ * @param response The member's decoded response.
+ * @returns The member's outcome.
+ */
+export declare const outcomeOfResponse: (requestedSchema: FormModeSchema, response: CollectiveResponse) => Effect.Effect<CollectiveMemberOutcome>;
+//# sourceMappingURL=validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/transport/collectives/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAAa,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,KAAK,EAAa,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjE,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,mBAAmB,EAExB,KAAK,kBAAkB,EACxB,MAAM,YAAY,CAAC;AAuHpB;;;;;GAKG;AACH,eAAO,MAAM,cAAc,oBACR,cAAc,WACtB,aAAa,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,mBAAmB,CAYlD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,oBACX,cAAc,YACrB,kBAAkB,KAC3B,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAsBvC,CAAC"}