@moltzap/client 2026.922.3 → 2026.930.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +23 -7
- package/dist/client-runtime.d.ts.map +1 -1
- package/dist/client-runtime.js +28 -11
- package/dist/client-runtime.js.map +1 -1
- package/dist/contract.d.ts +440 -57
- package/dist/contract.d.ts.map +1 -1
- package/dist/contract.js +256 -18
- package/dist/contract.js.map +1 -1
- package/dist/contract.types-check.d.ts +109 -13
- package/dist/contract.types-check.d.ts.map +1 -1
- package/dist/contract.types-check.js +11 -3
- package/dist/contract.types-check.js.map +1 -1
- package/dist/daemon/runtime/activation.d.ts +1 -1
- package/dist/daemon/runtime/activation.d.ts.map +1 -1
- package/dist/daemon/runtime/controller.d.ts +1 -1
- package/dist/daemon/runtime/controller.d.ts.map +1 -1
- package/dist/daemon/runtime/controller.js +44 -10
- package/dist/daemon/runtime/controller.js.map +1 -1
- package/dist/daemon/runtime/history-export.d.ts +11 -1
- package/dist/daemon/runtime/history-export.d.ts.map +1 -1
- package/dist/daemon/runtime/history-export.js +4 -0
- package/dist/daemon/runtime/history-export.js.map +1 -1
- package/dist/daemon/runtime/index.d.ts.map +1 -1
- package/dist/daemon/runtime/index.js +1 -2
- package/dist/daemon/runtime/index.js.map +1 -1
- package/dist/daemon/runtime/pending-delivery.d.ts +49 -0
- package/dist/daemon/runtime/pending-delivery.d.ts.map +1 -0
- package/dist/daemon/runtime/pending-delivery.js +115 -0
- package/dist/daemon/runtime/pending-delivery.js.map +1 -0
- package/dist/daemon/runtime/protocol.d.ts +20 -5
- package/dist/daemon/runtime/protocol.d.ts.map +1 -1
- package/dist/daemon/runtime/protocol.js +58 -24
- package/dist/daemon/runtime/protocol.js.map +1 -1
- package/dist/endpoint/addressing/index.d.ts +22 -1
- package/dist/endpoint/addressing/index.d.ts.map +1 -1
- package/dist/endpoint/addressing/index.js +50 -26
- package/dist/endpoint/addressing/index.js.map +1 -1
- package/dist/endpoint/collective/operation.d.ts +123 -0
- package/dist/endpoint/collective/operation.d.ts.map +1 -0
- package/dist/endpoint/collective/operation.js +784 -0
- package/dist/endpoint/collective/operation.js.map +1 -0
- package/dist/endpoint/collective/shared-answers.d.ts +78 -0
- package/dist/endpoint/collective/shared-answers.d.ts.map +1 -0
- package/dist/endpoint/collective/shared-answers.js +62 -0
- package/dist/endpoint/collective/shared-answers.js.map +1 -0
- package/dist/endpoint/collective/validation.d.ts +49 -0
- package/dist/endpoint/collective/validation.d.ts.map +1 -0
- package/dist/endpoint/collective/validation.js +99 -0
- package/dist/endpoint/collective/validation.js.map +1 -0
- package/dist/endpoint/collective/wire.d.ts +176 -0
- package/dist/endpoint/collective/wire.d.ts.map +1 -0
- package/dist/endpoint/collective/wire.js +181 -0
- package/dist/endpoint/collective/wire.js.map +1 -0
- package/dist/endpoint/engine-durability.d.ts +3 -17
- package/dist/endpoint/engine-durability.d.ts.map +1 -1
- package/dist/endpoint/engine-durability.js +3 -14
- package/dist/endpoint/engine-durability.js.map +1 -1
- package/dist/endpoint/engine-send.d.ts +14 -16
- package/dist/endpoint/engine-send.d.ts.map +1 -1
- package/dist/endpoint/engine-send.js +16 -20
- package/dist/endpoint/engine-send.js.map +1 -1
- package/dist/endpoint/engine-types.d.ts +32 -15
- package/dist/endpoint/engine-types.d.ts.map +1 -1
- package/dist/endpoint/engine-types.js +1 -5
- package/dist/endpoint/engine-types.js.map +1 -1
- package/dist/endpoint/engine.d.ts +1 -1
- package/dist/endpoint/engine.d.ts.map +1 -1
- package/dist/endpoint/engine.js +17 -14
- package/dist/endpoint/engine.js.map +1 -1
- package/dist/endpoint/protocol/index.d.ts.map +1 -1
- package/dist/endpoint/protocol/index.js +5 -8
- package/dist/endpoint/protocol/index.js.map +1 -1
- package/dist/endpoint/recovery/index.js +2 -2
- package/dist/endpoint/recovery/index.js.map +1 -1
- package/dist/endpoint/recovery/reanchor/empty.js +1 -1
- package/dist/endpoint/recovery/reanchor/empty.js.map +1 -1
- package/dist/endpoint/recovery/store.d.ts +1 -1
- package/dist/endpoint/recovery/store.d.ts.map +1 -1
- package/dist/endpoint/recovery/store.js +9 -5
- package/dist/endpoint/recovery/store.js.map +1 -1
- package/dist/endpoint/representation-schemas.d.ts +2 -0
- package/dist/endpoint/representation-schemas.d.ts.map +1 -1
- package/dist/endpoint/representation-schemas.js +2 -2
- package/dist/endpoint/representation-schemas.js.map +1 -1
- package/dist/endpoint/representation.d.ts +1 -1
- package/dist/endpoint/representation.d.ts.map +1 -1
- package/dist/endpoint/representation.js +1 -1
- package/dist/endpoint/representation.js.map +1 -1
- package/dist/harness-mcp-contract.d.ts +189 -57
- package/dist/harness-mcp-contract.d.ts.map +1 -1
- package/dist/harness-mcp-contract.js +61 -9
- package/dist/harness-mcp-contract.js.map +1 -1
- package/dist/harness-mcp-wire.d.ts +3 -3
- package/dist/harness-mcp-wire.d.ts.map +1 -1
- package/dist/harness-mcp-wire.js +38 -28
- package/dist/harness-mcp-wire.js.map +1 -1
- package/dist/index.d.ts +1 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -1
- package/dist/index.js.map +1 -1
- package/package.json +3 -3
package/dist/contract.js
CHANGED
|
@@ -2,6 +2,7 @@
|
|
|
2
2
|
import { AgentName } from "@moltzap/identity";
|
|
3
3
|
import canonicalize from "canonicalize";
|
|
4
4
|
import { Data, Either, Encoding, Schema, } from "effect";
|
|
5
|
+
// safer-arch-ignore shared-kernel-cohesion: This is the one public Client contract; adapters read its items, the collective layer its operations and answers, and the MCP wire its failures, so its consumers differ by design and splitting it would give one contract several homes.
|
|
5
6
|
/* eslint-disable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- Effect Schemas share their domain names with the nominal values they decode. */
|
|
6
7
|
const MAXIMUM_CONTENT_BYTES = 32_768;
|
|
7
8
|
const MAXIMUM_GROUP_MEMBERS = 32;
|
|
@@ -92,18 +93,18 @@ export const AgentAddress = addressInput.pipe(Schema.filter((value) => parseAgen
|
|
|
92
93
|
export const GroupAddress = addressInput.pipe(Schema.filter(isCanonicalGroupAddress), Schema.brand("GroupAddress"), Schema.annotations({ identifier: "GroupAddress" }));
|
|
93
94
|
/** Either accepted destination input, including noncanonical group order. */
|
|
94
95
|
export const MessageAddressInput = addressInput;
|
|
95
|
-
function
|
|
96
|
-
if (!value.startsWith(
|
|
96
|
+
function isCanonicalIdentifier(prefix, value) {
|
|
97
|
+
if (!value.startsWith(prefix)) {
|
|
97
98
|
return false;
|
|
98
99
|
}
|
|
99
|
-
return Either.match(Encoding.decodeBase64Url(value.slice(
|
|
100
|
+
return Either.match(Encoding.decodeBase64Url(value.slice(prefix.length)), {
|
|
100
101
|
onLeft: () => false,
|
|
101
102
|
onRight: (bytes) => bytes.byteLength === HASH_BYTE_LENGTH &&
|
|
102
|
-
|
|
103
|
+
`${prefix}${Encoding.encodeBase64Url(bytes)}` === value,
|
|
103
104
|
});
|
|
104
105
|
}
|
|
105
106
|
/** Opaque identity minted for one addressed-send invocation. */
|
|
106
|
-
export const PostId = Schema.String.pipe(Schema.filter(
|
|
107
|
+
export const PostId = Schema.String.pipe(Schema.filter((value) => isCanonicalIdentifier("pst_", value), {
|
|
107
108
|
identifier: "PostId",
|
|
108
109
|
description: "Canonical author-scoped post identity",
|
|
109
110
|
}), Schema.brand("PostId"), Schema.annotations({ identifier: "PostId" }));
|
|
@@ -125,11 +126,112 @@ function contentFits(content) {
|
|
|
125
126
|
const contentStructure = Schema.NonEmptyArray(ContentPart);
|
|
126
127
|
/** Nonempty semantic content whose canonical JSON is at most 32,768 bytes. */
|
|
127
128
|
export const Content = contentStructure.pipe(Schema.filter(contentFits), Schema.annotations({ identifier: "Content" }));
|
|
128
|
-
/**
|
|
129
|
-
|
|
129
|
+
/**
|
|
130
|
+
* Identity of one gather or all_gather, minted by the requesting endpoint.
|
|
131
|
+
* The request, each member's answer, an all_gather's close, the result and
|
|
132
|
+
* any failure carry it.
|
|
133
|
+
*/
|
|
134
|
+
export const CollectiveId = Schema.String.pipe(Schema.filter((value) => isCanonicalIdentifier("col_", value), {
|
|
135
|
+
description: "A collective operation id: col_ followed by 43 base64url characters",
|
|
136
|
+
}), Schema.brand("CollectiveId"));
|
|
137
|
+
/**
|
|
138
|
+
* One property of a form-mode schema as a caller states it. The JSON Schema
|
|
139
|
+
* override keeps the recursive JSON value out of host tool schemas, which
|
|
140
|
+
* cannot follow a `$ref` into definitions they do not carry.
|
|
141
|
+
*/
|
|
142
|
+
const formProperty = Schema.Record({
|
|
143
|
+
key: Schema.String,
|
|
144
|
+
value: JsonValue,
|
|
145
|
+
}).annotations({
|
|
146
|
+
jsonSchema: {
|
|
147
|
+
type: "object",
|
|
148
|
+
description: 'One MCP form-mode primitive schema: {"type":"string"} with optional enum, minLength, maxLength or format; {"type":"number"} or {"type":"integer"} with optional minimum and maximum; {"type":"boolean"}; or {"type":"array","items":{"enum":[...]}} for a multi-select. Each may carry title, description and default.',
|
|
149
|
+
},
|
|
150
|
+
});
|
|
151
|
+
/**
|
|
152
|
+
* The MCP form-mode `requestedSchema` of a collecting operation: a flat object
|
|
153
|
+
* of primitive properties. This schema fixes its outline; the sending endpoint
|
|
154
|
+
* checks each property against the MCP form-mode grammar before any post.
|
|
155
|
+
*/
|
|
156
|
+
export const RequestedSchema = exactStruct({
|
|
157
|
+
$schema: Schema.optionalWith(Schema.String, { exact: true }),
|
|
158
|
+
type: Schema.Literal("object"),
|
|
159
|
+
properties: Schema.Record({ key: Schema.String, value: formProperty }),
|
|
160
|
+
required: Schema.optionalWith(Schema.Array(Schema.String), { exact: true }),
|
|
161
|
+
}).annotations({
|
|
162
|
+
description: "The answer form: an MCP form-mode requestedSchema, a flat object of primitive properties. For a free-form answer use one string property.",
|
|
163
|
+
});
|
|
164
|
+
/**
|
|
165
|
+
* One answer to a collecting operation, field by field. Its value space is MCP
|
|
166
|
+
* `ElicitResult` content's; the request's schema decides which fields apply.
|
|
167
|
+
*/
|
|
168
|
+
export const AnswerContent = Schema.Record({
|
|
169
|
+
key: Schema.String,
|
|
170
|
+
value: Schema.Union(Schema.String, Schema.Number.pipe(Schema.finite()), Schema.Boolean, Schema.Array(Schema.String)),
|
|
171
|
+
}).annotations({
|
|
172
|
+
description: "The answer, one field per requestedSchema property",
|
|
173
|
+
});
|
|
174
|
+
/** The longest deadline a collecting operation may state: 30 days, in seconds. */
|
|
175
|
+
export const MAXIMUM_DEADLINE_SECONDS = 2_592_000;
|
|
176
|
+
/**
|
|
177
|
+
* Multicast: one post to the `to` address, complete when certified. `op`
|
|
178
|
+
* defaults to multicast, so an omitted `op` and an omitted `collective` mean
|
|
179
|
+
* the same operation.
|
|
180
|
+
*/
|
|
181
|
+
const multicastOperation = exactStruct({
|
|
182
|
+
op: Schema.optionalWith(Schema.Literal("multicast"), { exact: true }),
|
|
183
|
+
});
|
|
184
|
+
/**
|
|
185
|
+
* A collecting operation: the text is a question to every member of `to`.
|
|
186
|
+
* A gather sends one request post to each member, in that member's direct
|
|
187
|
+
* conversation with the requester, and only the requester receives the
|
|
188
|
+
* result. An all_gather sends one request post to the `group:` conversation
|
|
189
|
+
* `to` names; members answer there, no model sees a peer's answer before the
|
|
190
|
+
* requester's close, and every member receives the same result. The deadline
|
|
191
|
+
* is relative, in whole seconds; the sending endpoint converts it to an
|
|
192
|
+
* absolute time at send.
|
|
193
|
+
*/
|
|
194
|
+
const collectingOperation = exactStruct({
|
|
195
|
+
op: Schema.Literal("gather", "all_gather"),
|
|
196
|
+
deadline: Schema.Number.pipe(Schema.int(), Schema.between(1, MAXIMUM_DEADLINE_SECONDS)).annotations({
|
|
197
|
+
description: "Seconds from now until the operation closes, a whole number from 1 to 2592000 (30 days). Members who have not answered by then are reported as no-answer.",
|
|
198
|
+
}),
|
|
199
|
+
requestedSchema: RequestedSchema,
|
|
200
|
+
});
|
|
201
|
+
/**
|
|
202
|
+
* The collective operation one send performs, discriminated by `op`. Each
|
|
203
|
+
* operation is one member of this union; the schema carries no identifier so
|
|
204
|
+
* its JSON Schema embeds inline in a host tool's parameters.
|
|
205
|
+
*/
|
|
206
|
+
export const CollectiveOperation = Schema.Union(multicastOperation, collectingOperation).annotations({
|
|
207
|
+
description: 'The collective operation. Omit it, or its op, for multicast: one post to the to address. {"op":"gather","deadline":<seconds>,"requestedSchema":<form>} asks each member of to the message text as a question, privately, and returns one result with each member\'s answer, decline, or no-answer once all have replied or the deadline passes. {"op":"all_gather","deadline":<seconds>,"requestedSchema":<form>} asks one question to a group: to must be a group: address, no member sees another\'s answer before the close, and everyone, the asker included, receives the same result at the close.',
|
|
208
|
+
});
|
|
209
|
+
/**
|
|
210
|
+
* A member's reply to one collective request. Only `accept` carries content,
|
|
211
|
+
* valid against the request's schema; the member's endpoint addresses the
|
|
212
|
+
* reply to the conversation the request arrived in.
|
|
213
|
+
*/
|
|
214
|
+
export const CollectiveResponse = Schema.Union(exactStruct({
|
|
215
|
+
id: CollectiveId,
|
|
216
|
+
action: Schema.Literal("accept"),
|
|
217
|
+
content: AnswerContent,
|
|
218
|
+
}), exactStruct({
|
|
219
|
+
id: CollectiveId,
|
|
220
|
+
action: Schema.Literal("decline", "cancel"),
|
|
221
|
+
})).annotations({
|
|
222
|
+
description: 'Answer a collective request: {"id":<request id>,"action":"accept","content":{...}} with content valid against the request\'s schema, or {"id":<request id>,"action":"decline"} or "cancel" without content. The reply goes to the conversation the request arrived in, the requester for a gather and the group for an all_gather, whatever to says, and each request takes one answer.',
|
|
223
|
+
});
|
|
224
|
+
/**
|
|
225
|
+
* One send: an operation with its address, body text and collective
|
|
226
|
+
* operation, multicast when `collective` is omitted; or a response to a
|
|
227
|
+
* collective request, which names no address because the member's endpoint
|
|
228
|
+
* derives it from the request.
|
|
229
|
+
*/
|
|
230
|
+
export const SendInput = Schema.Union(exactStruct({
|
|
130
231
|
to: MessageAddressInput,
|
|
131
|
-
|
|
132
|
-
|
|
232
|
+
text: wellFormedString,
|
|
233
|
+
collective: Schema.optionalWith(CollectiveOperation, { exact: true }),
|
|
234
|
+
}), exactStruct({ collectiveResponse: CollectiveResponse })).annotations({ identifier: "SendInput" });
|
|
133
235
|
const directMessageStructure = exactStruct({
|
|
134
236
|
kind: Schema.Literal("direct"),
|
|
135
237
|
postId: PostId,
|
|
@@ -160,24 +262,99 @@ const groupMessage = groupMessageStructure.pipe(Schema.filter((message) => {
|
|
|
160
262
|
identifier: "GroupMessage",
|
|
161
263
|
description: "A group delivery whose canonical address, members, and sender agree",
|
|
162
264
|
}));
|
|
163
|
-
/**
|
|
265
|
+
/** One certified remote-authored post, direct or to a fixed group. */
|
|
164
266
|
export const InboundMessage = Schema.Union(directMessage, groupMessage).annotations({ identifier: "InboundMessage" });
|
|
267
|
+
/**
|
|
268
|
+
* A multicast delivered to this endpoint. The message content is the post's
|
|
269
|
+
* content without the collective layer's part.
|
|
270
|
+
*/
|
|
271
|
+
const multicastItem = exactStruct({
|
|
272
|
+
kind: Schema.Literal("multicast"),
|
|
273
|
+
message: InboundMessage,
|
|
274
|
+
});
|
|
275
|
+
/** Absolute epoch milliseconds; endpoints assume zero clock skew. */
|
|
276
|
+
const epochMillis = Schema.Number.pipe(Schema.int(), Schema.positive());
|
|
277
|
+
/**
|
|
278
|
+
* A question another agent asked this one. `postId` is the certified request
|
|
279
|
+
* post's and `to` the conversation it arrived in: the requester's `agent:`
|
|
280
|
+
* address for a gather, the group's `group:` address for an all_gather. The
|
|
281
|
+
* member answers once with a `collectiveResponse` naming `id`, and the answer
|
|
282
|
+
* goes to `to`.
|
|
283
|
+
*/
|
|
284
|
+
const collectiveRequestItem = exactStruct({
|
|
285
|
+
kind: Schema.Literal("collectiveRequest"),
|
|
286
|
+
id: CollectiveId,
|
|
287
|
+
postId: PostId,
|
|
288
|
+
from: AgentAddress,
|
|
289
|
+
to: MessageAddressInput,
|
|
290
|
+
question: wellFormedString,
|
|
291
|
+
requestedSchema: RequestedSchema,
|
|
292
|
+
deadlineAt: epochMillis,
|
|
293
|
+
});
|
|
294
|
+
/** One member's outcome in a completed gather or all_gather, discriminated by `kind`. */
|
|
295
|
+
const memberOutcome = Schema.Union(exactStruct({ kind: Schema.Literal("answered"), content: AnswerContent }), exactStruct({ kind: Schema.Literal("declined") }), exactStruct({ kind: Schema.Literal("cancelled") }), exactStruct({ kind: Schema.Literal("invalid"), reason: Schema.String }), exactStruct({ kind: Schema.Literal("no-answer") }));
|
|
296
|
+
/**
|
|
297
|
+
* The result of a gather this endpoint started, or of an all_gather this
|
|
298
|
+
* endpoint started or was asked: exactly one outcome per member, in member
|
|
299
|
+
* order. `to` is the address the operation named. An all_gather's result
|
|
300
|
+
* names its certified close post in `closePostId`; every member's result is
|
|
301
|
+
* built from exactly the answers that close lists, so each endpoint's result
|
|
302
|
+
* is the same.
|
|
303
|
+
*/
|
|
304
|
+
const collectiveResultItem = exactStruct({
|
|
305
|
+
kind: Schema.Literal("collectiveResult"),
|
|
306
|
+
id: CollectiveId,
|
|
307
|
+
to: MessageAddressInput,
|
|
308
|
+
question: wellFormedString,
|
|
309
|
+
outcomes: Schema.NonEmptyArray(exactStruct({ member: AgentAddress, outcome: memberOutcome })),
|
|
310
|
+
closePostId: Schema.optionalWith(PostId, { exact: true }),
|
|
311
|
+
});
|
|
312
|
+
/**
|
|
313
|
+
* A collective send that failed after the host's tool had returned, or an
|
|
314
|
+
* all_gather whose close could not be certified. `to` is the operation's
|
|
315
|
+
* address, or the request's conversation for a response; `error` is the text
|
|
316
|
+
* a waiting host would have received as the tool error.
|
|
317
|
+
*/
|
|
318
|
+
const operationFailedItem = exactStruct({
|
|
319
|
+
kind: Schema.Literal("operationFailed"),
|
|
320
|
+
id: CollectiveId,
|
|
321
|
+
to: MessageAddressInput,
|
|
322
|
+
error: Schema.String,
|
|
323
|
+
});
|
|
324
|
+
/**
|
|
325
|
+
* One inbound item, discriminated by `kind`. The endpoint consumes the
|
|
326
|
+
* collective layer's protocol posts, posts whose collective part is malformed
|
|
327
|
+
* or duplicated, and multicasts that carry nothing besides that part; every
|
|
328
|
+
* other certified post becomes one item, and the endpoint itself emits
|
|
329
|
+
* results and failures.
|
|
330
|
+
*/
|
|
331
|
+
export const InboundItem = Schema.Union(multicastItem, collectiveRequestItem, collectiveResultItem, operationFailedItem).annotations({
|
|
332
|
+
identifier: "InboundItem",
|
|
333
|
+
});
|
|
165
334
|
const sendFailure = Schema.Literal("invalid-address", "unknown-agent", "membership-invalid", "content-invalid", "not-registered", "version-mismatch", "certification-unavailable", "persistence-failed", "network-unavailable");
|
|
166
|
-
const historyExportSendOutcome = Schema.Union(exactStruct({ kind: Schema.Literal("certified"), postId: PostId }), exactStruct({ kind: Schema.Literal("failed"), reason: sendFailure }));
|
|
167
335
|
/**
|
|
168
|
-
*
|
|
169
|
-
*
|
|
170
|
-
*
|
|
171
|
-
|
|
336
|
+
* How one send ended in the history export: the posts certified by the time
|
|
337
|
+
* it returned, with the operation id of a gather or all_gather, or the
|
|
338
|
+
* error it returned.
|
|
339
|
+
*/
|
|
340
|
+
const historyExportSendOutcome = Schema.Union(exactStruct({
|
|
341
|
+
kind: Schema.Literal("sent"),
|
|
342
|
+
operationId: Schema.optionalWith(CollectiveId, { exact: true }),
|
|
343
|
+
postIds: Schema.Array(PostId),
|
|
344
|
+
}), exactStruct({ kind: Schema.Literal("failed"), error: Schema.String }));
|
|
345
|
+
/**
|
|
346
|
+
* One line of the daemon's optional history export: an item as the daemon
|
|
347
|
+
* published it, a completed `send` invocation with its input and outcome, or
|
|
348
|
+
* the one line that says the export stopped. Readers decode the file line by
|
|
349
|
+
* line with this schema rather than copying its shape.
|
|
172
350
|
*/
|
|
173
351
|
export const HistoryExportRecord = Schema.Union(exactStruct({
|
|
174
352
|
kind: Schema.Literal("inbound"),
|
|
175
|
-
|
|
353
|
+
item: InboundItem,
|
|
176
354
|
at: Schema.DateTimeUtc,
|
|
177
355
|
}), exactStruct({
|
|
178
356
|
kind: Schema.Literal("outbound"),
|
|
179
|
-
|
|
180
|
-
content: Content,
|
|
357
|
+
input: SendInput,
|
|
181
358
|
outcome: historyExportSendOutcome,
|
|
182
359
|
at: Schema.DateTimeUtc,
|
|
183
360
|
}), exactStruct({
|
|
@@ -191,6 +368,67 @@ export class SendError extends Data.TaggedError("SendError") {
|
|
|
191
368
|
return `send failed: ${this.reason}`;
|
|
192
369
|
}
|
|
193
370
|
}
|
|
371
|
+
/**
|
|
372
|
+
* Why a collective send was refused, discriminated by `kind`: a gather or
|
|
373
|
+
* all_gather whose schema is outside the form-mode grammar or whose request
|
|
374
|
+
* post some member could not receive, or a response the member's endpoint
|
|
375
|
+
* cannot send.
|
|
376
|
+
*/
|
|
377
|
+
const collectiveFailure = Schema.Union(exactStruct({
|
|
378
|
+
kind: Schema.Literal("members-unreachable"),
|
|
379
|
+
members: Schema.NonEmptyArray(exactStruct({ member: AgentAddress, reason: sendFailure })),
|
|
380
|
+
}), exactStruct({
|
|
381
|
+
kind: Schema.Literal("schema-invalid"),
|
|
382
|
+
detail: Schema.String,
|
|
383
|
+
}), exactStruct({
|
|
384
|
+
kind: Schema.Literal("answer-invalid"),
|
|
385
|
+
fields: Schema.NonEmptyArray(exactStruct({
|
|
386
|
+
field: Schema.String,
|
|
387
|
+
reason: Schema.Literal("missing", "unexpected", "invalid"),
|
|
388
|
+
detail: Schema.optionalWith(Schema.String, { exact: true }),
|
|
389
|
+
})),
|
|
390
|
+
}), exactStruct({ kind: Schema.Literal("request-unknown") }), exactStruct({ kind: Schema.Literal("request-answered") }), exactStruct({ kind: Schema.Literal("request-expired") }));
|
|
391
|
+
/**
|
|
392
|
+
* Decode a collective failure carried across the loopback MCP boundary.
|
|
393
|
+
* @param value Untrusted failure detail from a refused send's error data.
|
|
394
|
+
* @returns The validated failure.
|
|
395
|
+
*/
|
|
396
|
+
export const decodeCollectiveFailure = Schema.decodeUnknown(collectiveFailure);
|
|
397
|
+
function describeCollectiveFailure(failure) {
|
|
398
|
+
switch (failure.kind) {
|
|
399
|
+
case "members-unreachable":
|
|
400
|
+
return `unreachable members: ${failure.members
|
|
401
|
+
.map(({ member, reason }) => `${member} (${reason})`)
|
|
402
|
+
.join(", ")}`;
|
|
403
|
+
case "schema-invalid":
|
|
404
|
+
return `requestedSchema is not an MCP form-mode schema: ${failure.detail}`;
|
|
405
|
+
case "answer-invalid":
|
|
406
|
+
return `content does not match the request's schema: ${failure.fields
|
|
407
|
+
.map(({ field, reason, detail }) => detail === undefined
|
|
408
|
+
? `${field}: ${reason}`
|
|
409
|
+
: `${field}: ${reason} (${detail})`)
|
|
410
|
+
.join("; ")}`;
|
|
411
|
+
case "request-unknown":
|
|
412
|
+
return "no open collective request has this id";
|
|
413
|
+
case "request-answered":
|
|
414
|
+
return "this request was already answered";
|
|
415
|
+
case "request-expired":
|
|
416
|
+
return "this request's deadline has passed";
|
|
417
|
+
default: {
|
|
418
|
+
const exhaustive = failure;
|
|
419
|
+
return exhaustive;
|
|
420
|
+
}
|
|
421
|
+
}
|
|
422
|
+
}
|
|
423
|
+
/**
|
|
424
|
+
* A collective send was refused. The message names each unreachable member or
|
|
425
|
+
* failing field, so a host can hand it to its model as the tool error.
|
|
426
|
+
*/
|
|
427
|
+
export class CollectiveError extends Data.TaggedError("CollectiveError") {
|
|
428
|
+
get message() {
|
|
429
|
+
return `collective ${this.id} failed: ${describeCollectiveFailure(this.failure)}`;
|
|
430
|
+
}
|
|
431
|
+
}
|
|
194
432
|
/** The endpoint's sole inbound subscription failed. */
|
|
195
433
|
export class ListenError extends Data.TaggedError("ListenError") {
|
|
196
434
|
get message() {
|
package/dist/contract.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAE3E,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,YAAY,MAAM,cAAc,CAAC;AACxC,OAAO,EACL,IAAI,EAEJ,MAAM,EACN,QAAQ,EACR,MAAM,GAEP,MAAM,QAAQ,CAAC;AAEhB,0KAA0K;AAE1K,MAAM,qBAAqB,GAAG,MAAM,CAAC;AACrC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,MAAM,YAAY,GAAG;IACnB,KAAK,EAAE,IAAI;IACX,gBAAgB,EAAE,OAAgB;CACnC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAsC,MAAc,EAAE,EAAE,CAC1E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;AAEpE,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AAEzC,SAAS,oBAAoB,CAAC,KAAa;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QACD,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB;IAC1C,OAAO,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,OAAO,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvC,IACE,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,MAAM,GAAG,qBAAqB,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,IACE,QAAQ,KAAK,SAAS;YACtB,OAAO,KAAK,SAAS;YACrB,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EACpC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;AACpC,CAAC;AAED,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrC,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE,CACR,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS;IACtC,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS,EACxC;IACE,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,qDAAqD;CACnE,CACF,EACD,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CACpC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,EAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAC5B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CACnD,CAAC;AAIF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAC3C,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,EACtC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAC5B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CACnD,CAAC;AAIF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAIhD,SAAS,iBAAiB,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;QAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,UAAU,KAAK,gBAAgB;YACrC,OAAO,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK;KACrD,CAAC,CAAC;AACL,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACtC,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE;IAC/B,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,uCAAuC;CACrD,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EACtB,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAC7C,CAAC;AAIF,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE;IAClC,UAAU,EAAE,yBAAyB;CACtC,CAAC,CACH,CAAC;AAWF,6GAA6G;AAE7G,8DAA8D;AAC9D,MAAM,CAAC,MAAM,SAAS,GAA6B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACrE,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,gBAAgB,EAChB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EACvB,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAC3D,CACF,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;AAE3C,4CAA4C;AAC5C,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CACrC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EACrE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAChE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;AAI7C,SAAS,WAAW,CAClB,OAAiD;IAEjD,OAAO,MAAM,CAAC,KAAK,CACjB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EACvC;QACE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,SAAS,EAAE,EAAE,CACrB,SAAS,KAAK,SAAS;YACvB,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,IAAI,qBAAqB;KACpE,CACF,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;AAE3D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAC1B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAC9C,CAAC;AAIF,sDAAsD;AACtD,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAC;IACnC,EAAE,EAAE,mBAAmB;IACvB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;AAI5C,MAAM,sBAAsB,GAAG,WAAW,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,YAAY;IACrB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,MAAM,EAAE;IAC7D,UAAU,EAAE,eAAe;IAC3B,WAAW,EAAE,kDAAkD;CAChE,CAAC,CACH,CAAC;AAEF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAC/B,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,EAC1C,YAAY,CACb,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;AAE/C,MAAM,qBAAqB,GAAG,WAAW,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,YAAY;IACrB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,YAAY;IACrB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CACX,CAAC,OAAO,EAAE,EAAE;IACV,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxD,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,YAAY,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM;QAC9C,OAAO,CAAC,OAAO,CAAC,KAAK,CACnB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CACrE;QACD,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CACzC,CAAC;AACJ,CAAC,EACD;IACE,UAAU,EAAE,cAAc;IAC1B,WAAW,EACT,qEAAqE;CACxE,CACF,CACF,CAAC;AAOF,sDAAsD;AACtD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CACxC,aAAa,EACb,YAAY,CACb,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAIhD,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAChC,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,oBAAoB,EACpB,qBAAqB,CACtB,CAAC;AAGF,MAAM,wBAAwB,GAAG,MAAM,CAAC,KAAK,CAC3C,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAClE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CACrE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAC7C,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,OAAO,EAAE,cAAc;IACvB,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,EAAE,EAAE,mBAAmB;IACvB,OAAO,EAAE,OAAO;IAChB,OAAO,EAAE,wBAAwB;IACjC,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,CACH,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAIrD,qEAAqE;AACrE,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,WAAW,CAAC,WAAW,CAEzD;IACA,IAAa,OAAO;QAClB,OAAO,gBAAgB,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;CACF;AAQD,uDAAuD;AACvD,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAE7D;IACA,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,CAAC;CACF;AAQD,oEAAoE;AACpE,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAC5D,0BAA0B,CAG1B;IACA,IAAa,OAAO;QAClB,OAAO,mCAAmC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1D,CAAC;CACF;AAOD,gDAAgD;AAChD,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAE/D;IACA,IAAa,OAAO;QAClB,OAAO,mBAAmB,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,CAAC;CACF;AAcD,0JAA0J"}
|
|
1
|
+
{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAE3E,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,YAAY,MAAM,cAAc,CAAC;AACxC,OAAO,EACL,IAAI,EAEJ,MAAM,EACN,QAAQ,EACR,MAAM,GAEP,MAAM,QAAQ,CAAC;AAEhB,uRAAuR;AAEvR,0KAA0K;AAE1K,MAAM,qBAAqB,GAAG,MAAM,CAAC;AACrC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AAEtC,MAAM,YAAY,GAAG;IACnB,KAAK,EAAE,IAAI;IACX,gBAAgB,EAAE,OAAgB;CACnC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAsC,MAAc,EAAE,EAAE,CAC1E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;AAEpE,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AAEzC,SAAS,oBAAoB,CAAC,KAAa;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QACD,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB;IAC1C,OAAO,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,OAAO,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,MAAM,CAAC;AAClD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9C,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa;IAC5C,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvC,IACE,KAAK,KAAK,SAAS;QACnB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,MAAM,GAAG,qBAAqB,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,IACE,QAAQ,KAAK,SAAS;YACtB,OAAO,KAAK,SAAS;YACrB,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EACpC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5C,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;AACpC,CAAC;AAED,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACrC,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE,CACR,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS;IACtC,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS,EACxC;IACE,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,qDAAqD;CACnE,CACF,EACD,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CACpC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,EAChE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAC5B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CACnD,CAAC;AAIF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAC3C,MAAM,CAAC,MAAM,CAAC,uBAAuB,CAAC,EACtC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAC5B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CACnD,CAAC;AAIF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAIhD,SAAS,qBAAqB,CAAC,MAAc,EAAE,KAAa;IAC1D,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE;QACxE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,UAAU,KAAK,gBAAgB;YACrC,GAAG,MAAM,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK;KAC1D,CAAC,CAAC;AACL,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACtC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;IAC7D,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,uCAAuC;CACrD,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EACtB,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAC7C,CAAC;AAIF,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE;IAClC,UAAU,EAAE,yBAAyB;CACtC,CAAC,CACH,CAAC;AAWF,6GAA6G;AAE7G,8DAA8D;AAC9D,MAAM,CAAC,MAAM,SAAS,GAA6B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CACrE,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,gBAAgB,EAChB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EACvB,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAC3D,CACF,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;AAE3C,4CAA4C;AAC5C,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CACrC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,EACrE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAChE,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;AAI7C,SAAS,WAAW,CAClB,OAAiD;IAEjD,OAAO,MAAM,CAAC,KAAK,CACjB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EACvC;QACE,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,SAAS,EAAE,EAAE,CACrB,SAAS,KAAK,SAAS;YACvB,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,IAAI,qBAAqB;KACpE,CACF,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;AAE3D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAC1B,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAC9C,CAAC;AAIF;;;;GAIG;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;;;;GAIG;AACH,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,GAAG,EAAE,MAAM,CAAC,MAAM;IAClB,KAAK,EAAE,SAAS;CACjB,CAAC,CAAC,WAAW,CAAC;IACb,UAAU,EAAE;QACV,IAAI,EAAE,QAAQ;QACd,WAAW,EACT,wTAAwT;KAC3T;CACF,CAAC,CAAC;AAEH;;;;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,WAAW,CAAC;IACb,WAAW,EACT,2IAA2I;CAC9I,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;;;;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,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1B,MAAM,CAAC,GAAG,EAAE,EACZ,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAC5C,CAAC,WAAW,CAAC;QACZ,WAAW,EACT,2JAA2J;KAC9J,CAAC;IACF,eAAe,EAAE,eAAe;CACjC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAC7C,kBAAkB,EAClB,mBAAmB,CACpB,CAAC,WAAW,CAAC;IACZ,WAAW,EACT,0kBAA0kB;CAC7kB,CAAC,CAAC;AAIH;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAC5C,WAAW,CAAC;IACV,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAChC,OAAO,EAAE,aAAa;CACvB,CAAC,EACF,WAAW,CAAC;IACV,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC;CAC5C,CAAC,CACH,CAAC,WAAW,CAAC;IACZ,WAAW,EACT,yXAAyX;CAC5X,CAAC,CAAC;AAIH;;;;;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,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,CAAC,CACxD,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;AAgB3C,MAAM,sBAAsB,GAAG,WAAW,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,YAAY;IACrB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,MAAM,EAAE;IAC7D,UAAU,EAAE,eAAe;IAC3B,WAAW,EAAE,kDAAkD;CAChE,CAAC,CACH,CAAC;AAEF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAC/B,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,EAC1C,YAAY,CACb,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;AAE/C,MAAM,qBAAqB,GAAG,WAAW,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,YAAY;IACrB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,YAAY;IACrB,OAAO,EAAE,OAAO;CACjB,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CACX,CAAC,OAAO,EAAE,EAAE;IACV,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxD,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,YAAY,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM;QAC9C,OAAO,CAAC,OAAO,CAAC,KAAK,CACnB,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CACrE;QACD,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CACzC,CAAC;AACJ,CAAC,EACD;IACE,UAAU,EAAE,cAAc;IAC1B,WAAW,EACT,qEAAqE;CACxE,CACF,CACF,CAAC;AAOF,sEAAsE;AACtE,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CACxC,aAAa,EACb,YAAY,CACb,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAIhD;;;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;;;;;;GAMG;AACH,MAAM,qBAAqB,GAAG,WAAW,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACzC,EAAE,EAAE,YAAY;IAChB,MAAM,EAAE,MAAM;IACd,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,eAAe,EAAE,eAAe;IAChC,UAAU,EAAE,WAAW;CACxB,CAAC,CAAC;AAEH,yFAAyF;AACzF,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,WAAW,CAAC,EAAE,CAAC,EAClD,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,EACvE,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CACnD,CAAC;AAIF;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAG,WAAW,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACxC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,QAAQ,EAAE,gBAAgB;IAC1B,QAAQ,EAAE,MAAM,CAAC,aAAa,CAC5B,WAAW,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAC9D;IACD,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACvC,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,mBAAmB;IACvB,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CACrC,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,mBAAmB,CACpB,CAAC,WAAW,CAAC;IACZ,UAAU,EAAE,aAAa;CAC1B,CAAC,CAAC;AAIH,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAChC,iBAAiB,EACjB,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,oBAAoB,EACpB,qBAAqB,CACtB,CAAC;AAGF;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,MAAM,CAAC,KAAK,CAC3C,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/D,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;CAC9B,CAAC,EACF,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAC7C,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,IAAI,EAAE,WAAW;IACjB,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,KAAK,EAAE,SAAS;IAChB,OAAO,EAAE,wBAAwB;IACjC,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,EACF,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC,WAAW;CACvB,CAAC,CACH,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,CAAC;AAIrD,qEAAqE;AACrE,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,WAAW,CAAC,WAAW,CAEzD;IACA,IAAa,OAAO;QAClB,OAAO,gBAAgB,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CACpC,WAAW,CAAC;IACV,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,aAAa,CAC3B,WAAW,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAC3D;CACF,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,iBAAiB,CAAC,EAAE,CAAC,EACxD,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,SAAS,yBAAyB,CAAC,OAA0B;IAC3D,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,qBAAqB;YACxB,OAAO,wBAAwB,OAAO,CAAC,OAAO;iBAC3C,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,MAAM,GAAG,CAAC;iBACpD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,mDAAmD,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7E,KAAK,gBAAgB;YACnB,OAAO,gDAAgD,OAAO,CAAC,MAAM;iBAClE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CACjC,MAAM,KAAK,SAAS;gBAClB,CAAC,CAAC,GAAG,KAAK,KAAK,MAAM,EAAE;gBACvB,CAAC,CAAC,GAAG,KAAK,KAAK,MAAM,KAAK,MAAM,GAAG,CACtC;iBACA,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,KAAK,iBAAiB;YACpB,OAAO,wCAAwC,CAAC;QAClD,KAAK,kBAAkB;YACrB,OAAO,mCAAmC,CAAC;QAC7C,KAAK,iBAAiB;YACpB,OAAO,oCAAoC,CAAC;QAC9C,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,OAAO,CAAC;YAClC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAGrE;IACA,IAAa,OAAO;QAClB,OAAO,cAAc,IAAI,CAAC,EAAE,YAAY,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IACpF,CAAC;CACF;AAQD,uDAAuD;AACvD,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAE7D;IACA,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,MAAM,EAAE,CAAC;IACzC,CAAC;CACF;AAQD,oEAAoE;AACpE,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAC5D,0BAA0B,CAG1B;IACA,IAAa,OAAO;QAClB,OAAO,mCAAmC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1D,CAAC;CACF;AAOD,gDAAgD;AAChD,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAE/D;IACA,IAAa,OAAO;QAClB,OAAO,mBAAmB,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,CAAC;CACF;AA0BD,0JAA0J"}
|
|
@@ -1,15 +1,52 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* @file The public Client is one addressed structural endpoint
|
|
3
|
-
*
|
|
4
|
-
*
|
|
2
|
+
* @file The public Client is one addressed structural endpoint whose sends are
|
|
3
|
+
* operations or collective responses and whose inbound deliveries are tagged
|
|
4
|
+
* items. An operation carries an address, text and an optional collective
|
|
5
|
+
* operation, multicast by default or a gather or all_gather with its deadline
|
|
6
|
+
* and schema; a response names its request and no address. Each inbound
|
|
7
|
+
* delivery carries one item plus transport-only acknowledgment: a multicast
|
|
8
|
+
* with the certified direct or complete-group message, a collective request
|
|
9
|
+
* naming the conversation it arrived in, a collective result that names an
|
|
10
|
+
* all_gather's close post, or an operation failure. A send returns a
|
|
11
|
+
* collecting operation's id and fails with a closed send reason or a
|
|
12
|
+
* collective failure.
|
|
5
13
|
*/
|
|
6
14
|
import type { DateTime, Effect, Scope, Stream } from "effect";
|
|
7
|
-
import type { acquireHarnessEndpoint, AgentAddress, ConnectError, Content, ContentPart, DeliveryAcknowledgeError, DirectMessage, GroupAddress, GroupMessage, HarnessEndpoint, HistoryExportRecord, InboundDelivery, InboundMessage, ListenError, MessageAddressInput, PostId, SendError, SendInput } from "./index.js";
|
|
15
|
+
import type { acquireHarnessEndpoint, AgentAddress, CollectiveError, CollectiveOperation, CollectiveResponse, ConnectError, Content, ContentPart, DeliveryAcknowledgeError, DirectMessage, GroupAddress, GroupMessage, HarnessEndpoint, HistoryExportRecord, InboundDelivery, InboundItem, InboundMessage, JsonValue, ListenError, MessageAddressInput, PostId, SendError, SendInput, SendResult } from "./index.js";
|
|
8
16
|
type Equal<Left, Right> = [Left, Right] extends [Right, Left] ? true : false;
|
|
9
17
|
type Expect<Value extends true> = Value;
|
|
18
|
+
type CollectiveId = CollectiveError["id"];
|
|
19
|
+
type ExpectedRequestedSchema = Readonly<{
|
|
20
|
+
$schema?: string;
|
|
21
|
+
type: "object";
|
|
22
|
+
properties: Readonly<Record<string, Readonly<Record<string, JsonValue>>>>;
|
|
23
|
+
required?: readonly string[];
|
|
24
|
+
}>;
|
|
25
|
+
type ExpectedAnswerContent = Readonly<Record<string, string | number | boolean | readonly string[]>>;
|
|
26
|
+
type ExpectedCollectiveOperation = Readonly<{
|
|
27
|
+
op?: "multicast";
|
|
28
|
+
}> | Readonly<{
|
|
29
|
+
op: "gather" | "all_gather";
|
|
30
|
+
deadline: number;
|
|
31
|
+
requestedSchema: ExpectedRequestedSchema;
|
|
32
|
+
}>;
|
|
33
|
+
type ExpectedCollectiveResponse = Readonly<{
|
|
34
|
+
id: CollectiveId;
|
|
35
|
+
action: "accept";
|
|
36
|
+
content: ExpectedAnswerContent;
|
|
37
|
+
}> | Readonly<{
|
|
38
|
+
id: CollectiveId;
|
|
39
|
+
action: "decline" | "cancel";
|
|
40
|
+
}>;
|
|
10
41
|
type ExpectedSendInput = Readonly<{
|
|
11
42
|
to: MessageAddressInput;
|
|
12
|
-
|
|
43
|
+
text: string;
|
|
44
|
+
collective?: CollectiveOperation;
|
|
45
|
+
}> | Readonly<{
|
|
46
|
+
collectiveResponse: CollectiveResponse;
|
|
47
|
+
}>;
|
|
48
|
+
type ExpectedSendResult = Readonly<{
|
|
49
|
+
operationId?: CollectiveId;
|
|
13
50
|
}>;
|
|
14
51
|
type ExpectedDirectMessage = Readonly<{
|
|
15
52
|
kind: "direct";
|
|
@@ -31,15 +68,68 @@ type ExpectedGroupMessage = Readonly<{
|
|
|
31
68
|
];
|
|
32
69
|
content: Content;
|
|
33
70
|
}>;
|
|
34
|
-
type
|
|
71
|
+
type ExpectedMemberOutcome = Readonly<{
|
|
72
|
+
kind: "answered";
|
|
73
|
+
content: ExpectedAnswerContent;
|
|
74
|
+
}> | Readonly<{
|
|
75
|
+
kind: "declined";
|
|
76
|
+
}> | Readonly<{
|
|
77
|
+
kind: "cancelled";
|
|
78
|
+
}> | Readonly<{
|
|
79
|
+
kind: "invalid";
|
|
80
|
+
reason: string;
|
|
81
|
+
}> | Readonly<{
|
|
82
|
+
kind: "no-answer";
|
|
83
|
+
}>;
|
|
84
|
+
type ExpectedInboundItem = Readonly<{
|
|
85
|
+
kind: "multicast";
|
|
35
86
|
message: InboundMessage;
|
|
87
|
+
}> | Readonly<{
|
|
88
|
+
kind: "collectiveRequest";
|
|
89
|
+
id: CollectiveId;
|
|
90
|
+
postId: PostId;
|
|
91
|
+
from: AgentAddress;
|
|
92
|
+
to: MessageAddressInput;
|
|
93
|
+
question: string;
|
|
94
|
+
requestedSchema: ExpectedRequestedSchema;
|
|
95
|
+
deadlineAt: number;
|
|
96
|
+
}> | Readonly<{
|
|
97
|
+
kind: "collectiveResult";
|
|
98
|
+
id: CollectiveId;
|
|
99
|
+
to: MessageAddressInput;
|
|
100
|
+
question: string;
|
|
101
|
+
outcomes: readonly [
|
|
102
|
+
Readonly<{
|
|
103
|
+
member: AgentAddress;
|
|
104
|
+
outcome: ExpectedMemberOutcome;
|
|
105
|
+
}>,
|
|
106
|
+
...Array<Readonly<{
|
|
107
|
+
member: AgentAddress;
|
|
108
|
+
outcome: ExpectedMemberOutcome;
|
|
109
|
+
}>>
|
|
110
|
+
];
|
|
111
|
+
closePostId?: PostId;
|
|
112
|
+
}> | Readonly<{
|
|
113
|
+
kind: "operationFailed";
|
|
114
|
+
id: CollectiveId;
|
|
115
|
+
to: MessageAddressInput;
|
|
116
|
+
error: string;
|
|
117
|
+
}>;
|
|
118
|
+
type ExpectedDelivery = Readonly<{
|
|
119
|
+
item: InboundItem;
|
|
36
120
|
acknowledge: Effect.Effect<void, DeliveryAcknowledgeError>;
|
|
37
121
|
}>;
|
|
38
122
|
type ExpectedEndpoint = Readonly<{
|
|
39
|
-
send: (input: SendInput
|
|
123
|
+
send: (input: SendInput, options?: Readonly<{
|
|
124
|
+
failureDelivery?: "result" | "inbound";
|
|
125
|
+
}>) => Effect.Effect<SendResult, SendError | CollectiveError>;
|
|
40
126
|
messages: Stream.Stream<InboundDelivery, ListenError>;
|
|
41
127
|
}>;
|
|
128
|
+
type CollectiveOperationIsExact = Expect<Equal<CollectiveOperation, ExpectedCollectiveOperation>>;
|
|
129
|
+
type CollectiveResponseIsExact = Expect<Equal<CollectiveResponse, ExpectedCollectiveResponse>>;
|
|
42
130
|
type SendInputIsExact = Expect<Equal<SendInput, ExpectedSendInput>>;
|
|
131
|
+
type SendResultIsExact = Expect<Equal<SendResult, ExpectedSendResult>>;
|
|
132
|
+
type InboundItemIsExact = Expect<Equal<InboundItem, ExpectedInboundItem>>;
|
|
43
133
|
type DirectMessageIsExact = Expect<Equal<DirectMessage, ExpectedDirectMessage>>;
|
|
44
134
|
type GroupMessageIsExact = Expect<Equal<GroupMessage, ExpectedGroupMessage>>;
|
|
45
135
|
type InboundMessageIsExact = Expect<Equal<InboundMessage, DirectMessage | GroupMessage>>;
|
|
@@ -47,18 +137,18 @@ type DeliveryIsExact = Expect<Equal<InboundDelivery, ExpectedDelivery>>;
|
|
|
47
137
|
type EndpointIsExact = Expect<Equal<HarnessEndpoint, ExpectedEndpoint>>;
|
|
48
138
|
type ExpectedHistoryExportRecord = Readonly<{
|
|
49
139
|
kind: "inbound";
|
|
50
|
-
|
|
140
|
+
item: InboundItem;
|
|
51
141
|
at: DateTime.Utc;
|
|
52
142
|
}> | Readonly<{
|
|
53
143
|
kind: "outbound";
|
|
54
|
-
|
|
55
|
-
content: Content;
|
|
144
|
+
input: SendInput;
|
|
56
145
|
outcome: Readonly<{
|
|
57
|
-
kind: "
|
|
58
|
-
|
|
146
|
+
kind: "sent";
|
|
147
|
+
operationId?: CollectiveId;
|
|
148
|
+
postIds: readonly PostId[];
|
|
59
149
|
}> | Readonly<{
|
|
60
150
|
kind: "failed";
|
|
61
|
-
|
|
151
|
+
error: string;
|
|
62
152
|
}>;
|
|
63
153
|
at: DateTime.Utc;
|
|
64
154
|
}> | Readonly<{
|
|
@@ -71,6 +161,7 @@ type ContentIsNonempty = Expect<Content extends readonly [ContentPart, ...Conten
|
|
|
71
161
|
type AgentAddressIsInput = Expect<AgentAddress extends MessageAddressInput ? true : false>;
|
|
72
162
|
type GroupAddressIsInput = Expect<GroupAddress extends MessageAddressInput ? true : false>;
|
|
73
163
|
type SendReasonsAreExact = Expect<Equal<SendError["reason"], "invalid-address" | "unknown-agent" | "membership-invalid" | "content-invalid" | "not-registered" | "version-mismatch" | "certification-unavailable" | "persistence-failed" | "network-unavailable">>;
|
|
164
|
+
type CollectiveFailureKindsAreExact = Expect<Equal<CollectiveError["failure"]["kind"], "members-unreachable" | "schema-invalid" | "answer-invalid" | "request-unknown" | "request-answered" | "request-expired">>;
|
|
74
165
|
type ListenReasonsAreExact = Expect<Equal<ListenError["reason"], "already-listening" | "incompatible-daemon" | "transport-failed" | "decode-failed">>;
|
|
75
166
|
type AcknowledgeReasonsAreExact = Expect<Equal<DeliveryAcknowledgeError["reason"], "unknown-delivery" | "delivery-conflict" | "persistence-failed" | "transport-failed">>;
|
|
76
167
|
type ConnectReasonsAreExact = Expect<Equal<ConnectError["reason"], "transport-failed" | "decode-failed" | "incompatible-daemon">>;
|
|
@@ -78,7 +169,11 @@ type AcquisitionIsScoped = Expect<Equal<Parameters<typeof acquireHarnessEndpoint
|
|
|
78
169
|
type AcquisitionResultIsExact = Expect<Equal<ReturnType<typeof acquireHarnessEndpoint>, Effect.Effect<HarnessEndpoint, ConnectError, Scope.Scope>>>;
|
|
79
170
|
/** Compile-time witnesses for the accepted public Client boundary. */
|
|
80
171
|
export type HarnessEndpointCanaries = [
|
|
172
|
+
CollectiveOperationIsExact,
|
|
173
|
+
CollectiveResponseIsExact,
|
|
81
174
|
SendInputIsExact,
|
|
175
|
+
SendResultIsExact,
|
|
176
|
+
InboundItemIsExact,
|
|
82
177
|
DirectMessageIsExact,
|
|
83
178
|
GroupMessageIsExact,
|
|
84
179
|
InboundMessageIsExact,
|
|
@@ -88,6 +183,7 @@ export type HarnessEndpointCanaries = [
|
|
|
88
183
|
AgentAddressIsInput,
|
|
89
184
|
GroupAddressIsInput,
|
|
90
185
|
SendReasonsAreExact,
|
|
186
|
+
CollectiveFailureKindsAreExact,
|
|
91
187
|
HistoryExportRecordIsExact,
|
|
92
188
|
ListenReasonsAreExact,
|
|
93
189
|
AcknowledgeReasonsAreExact,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract.types-check.d.ts","sourceRoot":"","sources":["../src/contract.types-check.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"contract.types-check.d.ts","sourceRoot":"","sources":["../src/contract.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9D,OAAO,KAAK,EACV,sBAAsB,EACtB,YAAY,EACZ,eAAe,EACf,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,OAAO,EACP,WAAW,EACX,wBAAwB,EACxB,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,WAAW,EACX,cAAc,EACd,SAAS,EACT,WAAW,EACX,mBAAmB,EACnB,MAAM,EACN,SAAS,EACT,SAAS,EACT,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB,KAAK,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAC7E,KAAK,MAAM,CAAC,KAAK,SAAS,IAAI,IAAI,KAAK,CAAC;AAExC,KAAK,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;AAC1C,KAAK,uBAAuB,GAAG,QAAQ,CAAC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,CAAC,CAAC;AACH,KAAK,qBAAqB,GAAG,QAAQ,CACnC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,MAAM,EAAE,CAAC,CAC9D,CAAC;AACF,KAAK,2BAA2B,GAC5B,QAAQ,CAAC;IAAE,EAAE,CAAC,EAAE,WAAW,CAAA;CAAE,CAAC,GAC9B,QAAQ,CAAC;IACP,EAAE,EAAE,QAAQ,GAAG,YAAY,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,uBAAuB,CAAC;CAC1C,CAAC,CAAC;AACP,KAAK,0BAA0B,GAC3B,QAAQ,CAAC;IACP,EAAE,EAAE,YAAY,CAAC;IACjB,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,qBAAqB,CAAC;CAChC,CAAC,GACF,QAAQ,CAAC;IAAE,EAAE,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC,CAAC;AACjE,KAAK,iBAAiB,GAClB,QAAQ,CAAC;IACP,EAAE,EAAE,mBAAmB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,mBAAmB,CAAC;CAClC,CAAC,GACF,QAAQ,CAAC;IAAE,kBAAkB,EAAE,kBAAkB,CAAA;CAAE,CAAC,CAAC;AACzD,KAAK,kBAAkB,GAAG,QAAQ,CAAC;IAAE,WAAW,CAAC,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AACnE,KAAK,qBAAqB,GAAG,QAAQ,CAAC;IACpC,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AACH,KAAK,oBAAoB,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,EAAE,SAAS;QAChB,YAAY;QACZ,YAAY;QACZ,YAAY;QACZ,GAAG,YAAY,EAAE;KAClB,CAAC;IACF,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AACH,KAAK,qBAAqB,GACtB,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,qBAAqB,CAAA;CAAE,CAAC,GAC9D,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,GAC9B,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAC;AACpC,KAAK,mBAAmB,GACpB,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC,GACxD,QAAQ,CAAC;IACP,IAAI,EAAE,mBAAmB,CAAC;IAC1B,EAAE,EAAE,YAAY,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,EAAE,mBAAmB,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,uBAAuB,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,kBAAkB,CAAC;IACzB,EAAE,EAAE,YAAY,CAAC;IACjB,EAAE,EAAE,mBAAmB,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS;QACjB,QAAQ,CAAC;YAAE,MAAM,EAAE,YAAY,CAAC;YAAC,OAAO,EAAE,qBAAqB,CAAA;SAAE,CAAC;QAClE,GAAG,KAAK,CACN,QAAQ,CAAC;YAAE,MAAM,EAAE,YAAY,CAAC;YAAC,OAAO,EAAE,qBAAqB,CAAA;SAAE,CAAC,CACnE;KACF,CAAC;IACF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,iBAAiB,CAAC;IACxB,EAAE,EAAE,YAAY,CAAC;IACjB,EAAE,EAAE,mBAAmB,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AACP,KAAK,gBAAgB,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,WAAW,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;CAC5D,CAAC,CAAC;AACH,KAAK,gBAAgB,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,CACJ,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,QAAQ,CAAC;QAAE,eAAe,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,CAAC,KAC3D,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,GAAG,eAAe,CAAC,CAAC;IAC5D,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;CACvD,CAAC,CAAC;AAEH,KAAK,0BAA0B,GAAG,MAAM,CACtC,KAAK,CAAC,mBAAmB,EAAE,2BAA2B,CAAC,CACxD,CAAC;AACF,KAAK,yBAAyB,GAAG,MAAM,CACrC,KAAK,CAAC,kBAAkB,EAAE,0BAA0B,CAAC,CACtD,CAAC;AACF,KAAK,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACpE,KAAK,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACvE,KAAK,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC,CAAC;AAC1E,KAAK,oBAAoB,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAChF,KAAK,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAC7E,KAAK,qBAAqB,GAAG,MAAM,CACjC,KAAK,CAAC,cAAc,EAAE,aAAa,GAAG,YAAY,CAAC,CACpD,CAAC;AACF,KAAK,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACxE,KAAK,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACxE,KAAK,2BAA2B,GAC5B,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAA;CAAE,CAAC,GAClE,QAAQ,CAAC;IACP,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,SAAS,CAAC;IACjB,OAAO,EACH,QAAQ,CAAC;QACP,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,YAAY,CAAC;QAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC,GACF,QAAQ,CAAC;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChD,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC;CAClB,CAAC,GACF,QAAQ,CAAC;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAA;CAAE,CAAC,CAAC;AAC1E,KAAK,0BAA0B,GAAG,MAAM,CACtC,KAAK,CAAC,mBAAmB,EAAE,2BAA2B,CAAC,CACxD,CAAC;AACF,KAAK,iBAAiB,GAAG,MAAM,CAC7B,OAAO,SAAS,SAAS,CAAC,WAAW,EAAE,GAAG,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,KAAK,CACxE,CAAC;AACF,KAAK,mBAAmB,GAAG,MAAM,CAC/B,YAAY,SAAS,mBAAmB,GAAG,IAAI,GAAG,KAAK,CACxD,CAAC;AACF,KAAK,mBAAmB,GAAG,MAAM,CAC/B,YAAY,SAAS,mBAAmB,GAAG,IAAI,GAAG,KAAK,CACxD,CAAC;AACF,KAAK,mBAAmB,GAAG,MAAM,CAC/B,KAAK,CACH,SAAS,CAAC,QAAQ,CAAC,EACjB,iBAAiB,GACjB,eAAe,GACf,oBAAoB,GACpB,iBAAiB,GACjB,gBAAgB,GAChB,kBAAkB,GAClB,2BAA2B,GAC3B,oBAAoB,GACpB,qBAAqB,CACxB,CACF,CAAC;AACF,KAAK,8BAA8B,GAAG,MAAM,CAC1C,KAAK,CACH,eAAe,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EAChC,qBAAqB,GACrB,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,GACjB,kBAAkB,GAClB,iBAAiB,CACpB,CACF,CAAC;AACF,KAAK,qBAAqB,GAAG,MAAM,CACjC,KAAK,CACH,WAAW,CAAC,QAAQ,CAAC,EACnB,mBAAmB,GACnB,qBAAqB,GACrB,kBAAkB,GAClB,eAAe,CAClB,CACF,CAAC;AACF,KAAK,0BAA0B,GAAG,MAAM,CACtC,KAAK,CACH,wBAAwB,CAAC,QAAQ,CAAC,EAChC,kBAAkB,GAClB,mBAAmB,GACnB,oBAAoB,GACpB,kBAAkB,CACrB,CACF,CAAC;AACF,KAAK,sBAAsB,GAAG,MAAM,CAClC,KAAK,CACH,YAAY,CAAC,QAAQ,CAAC,EACtB,kBAAkB,GAAG,eAAe,GAAG,qBAAqB,CAC7D,CACF,CAAC;AACF,KAAK,mBAAmB,GAAG,MAAM,CAC/B,KAAK,CAAC,UAAU,CAAC,OAAO,sBAAsB,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAClE,CAAC;AACF,KAAK,wBAAwB,GAAG,MAAM,CACpC,KAAK,CACH,UAAU,CAAC,OAAO,sBAAsB,CAAC,EACzC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAC1D,CACF,CAAC;AAEF,sEAAsE;AACtE,MAAM,MAAM,uBAAuB,GAAG;IACpC,0BAA0B;IAC1B,yBAAyB;IACzB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,oBAAoB;IACpB,mBAAmB;IACnB,qBAAqB;IACrB,eAAe;IACf,eAAe;IACf,iBAAiB;IACjB,mBAAmB;IACnB,mBAAmB;IACnB,mBAAmB;IACnB,8BAA8B;IAC9B,0BAA0B;IAC1B,qBAAqB;IACrB,0BAA0B;IAC1B,sBAAsB;IACtB,mBAAmB;IACnB,wBAAwB;CACzB,CAAC"}
|
|
@@ -1,7 +1,15 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* @file The public Client is one addressed structural endpoint
|
|
3
|
-
*
|
|
4
|
-
*
|
|
2
|
+
* @file The public Client is one addressed structural endpoint whose sends are
|
|
3
|
+
* operations or collective responses and whose inbound deliveries are tagged
|
|
4
|
+
* items. An operation carries an address, text and an optional collective
|
|
5
|
+
* operation, multicast by default or a gather or all_gather with its deadline
|
|
6
|
+
* and schema; a response names its request and no address. Each inbound
|
|
7
|
+
* delivery carries one item plus transport-only acknowledgment: a multicast
|
|
8
|
+
* with the certified direct or complete-group message, a collective request
|
|
9
|
+
* naming the conversation it arrived in, a collective result that names an
|
|
10
|
+
* all_gather's close post, or an operation failure. A send returns a
|
|
11
|
+
* collecting operation's id and fails with a closed send reason or a
|
|
12
|
+
* collective failure.
|
|
5
13
|
*/
|
|
6
14
|
export {};
|
|
7
15
|
//# sourceMappingURL=contract.types-check.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract.types-check.js","sourceRoot":"","sources":["../src/contract.types-check.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"contract.types-check.js","sourceRoot":"","sources":["../src/contract.types-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG"}
|
|
@@ -3,7 +3,6 @@ import type { Registry } from "@moltzap/identity/registry";
|
|
|
3
3
|
import type { Router } from "@moltzap/router";
|
|
4
4
|
import { type VerifiedAgentCard } from "@moltzap/identity";
|
|
5
5
|
import { Deferred, Effect, type Scope } from "effect";
|
|
6
|
-
import type { HistoryExportPort } from "../../endpoint/engine-types.js";
|
|
7
6
|
import type { EndpointEngine, EndpointEngineInput, EngineInitializationError } from "../../endpoint/engine.js";
|
|
8
7
|
import type { RouterWorker, RouterWorkerInput, RouterWorkerProtocolError, RouterWorkerTransportError } from "../../endpoint/router-worker/index.js";
|
|
9
8
|
import type { EndpointStore } from "../../endpoint/store.js";
|
|
@@ -11,6 +10,7 @@ import type { HarnessMessageReadyEvent } from "../../harness-mcp-contract.js";
|
|
|
11
10
|
import type { HarnessMcpSubscriptionHandler } from "../../harness-mcp-subscription.js";
|
|
12
11
|
import type { makeHarnessMcpHttpHandler } from "../../harness-mcp-wire.js";
|
|
13
12
|
import type { DaemonBootstrap } from "../configuration.js";
|
|
13
|
+
import type { HistoryExportPort } from "./history-export.js";
|
|
14
14
|
import { type DaemonManagementOperations } from "../management.js";
|
|
15
15
|
import { type DaemonRegistrationState } from "../registration.js";
|
|
16
16
|
type SubscriptionHandler = HarnessMcpSubscriptionHandler<HarnessMessageReadyEvent>;
|