@moltzap/router 2026.902.0

package/dist/router/contract.js

@@ -0,0 +1,347 @@
+/** @file Closed Router wire values, requests, results, bounds, and client failures. */
+import { AuthenticationFailedError, InternalServerError, MalformedRequestError, MethodNotAllowedError, OverloadedError, PayloadTooLargeError, RouteNotFoundError, SignedMessage, UnavailableError, UnsupportedMediaTypeError, VersionMismatchError, } from "@moltzap/identity";
+import canonicalize from "canonicalize";
+import { Data, Effect, Either, Encoding, Option, Schema } from "effect";
+/** Exact Router send target. */
+export const routerSendPath = "/v1/messages:send";
+/** Exact Router poll target. */
+export const routerPollPath = "/v1/messages:poll";
+/** Exact Router health target. */
+export const routerHealthPath = "/healthz";
+/** Effect HTTP Router pattern for the exact send target. */
+export const routerSendRoutePattern = "/v1/messages::send";
+/** Effect HTTP Router pattern for the exact poll target. */
+export const routerPollRoutePattern = "/v1/messages::poll";
+/** Exact media type for Router-owned JSON representations. */
+export const routerJsonContentType = "application/json";
+const INSTANCE_BYTE_LENGTH = 16;
+const DIGEST_BYTE_LENGTH = 32;
+const MAXIMUM_CURSOR_LENGTH = 348;
+/** Exact protected header carried by every PollCursor. */
+export const pollCursorProtectedHeader = Object.freeze({
+    alg: "dir",
+    enc: "A256GCM",
+    typ: "application/vnd.moltzap.poll-cursor+jwe",
+});
+/** Canonical protected-header JSON carried by every PollCursor. */
+const pollCursorProtectedHeaderJson = '{"alg":"dir","enc":"A256GCM","typ":"application/vnd.moltzap.poll-cursor+jwe"}';
+/** Canonical encoded protected header carried by every PollCursor. */
+export const encodedPollCursorProtectedHeader = Encoding.encodeBase64Url(new TextEncoder().encode(pollCursorProtectedHeaderJson));
+const encodedPollCursorProtectedHeaderLength = Math.ceil((new TextEncoder().encode(pollCursorProtectedHeaderJson).byteLength * 8) / 6);
+/** Prefix separating PollCursor values from unrefined compact JWE text. */
+export const pollCursorPrefix = "plc_";
+/* eslint-disable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare --
+ * Named Effect Schemas share their domain names with the types they decode.
+ */
+/** Identifies one volatile Router process instance. */
+export const RouterInstanceId = canonicalValue("RouterInstanceId", "rti_", INSTANCE_BYTE_LENGTH);
+/** Equality receipt for one complete retained SignedMessage. */
+export const SignedMessageDigest = canonicalValue("SignedMessageDigest", "smd_", DIGEST_BYTE_LENGTH);
+/** Opaque, authenticated continuation for one caller and Router instance. */
+export const PollCursor = Schema.String.pipe(Schema.filter(hasCanonicalCursorShape, {
+    identifier: "PollCursor",
+    description: "Canonical opaque Router poll continuation",
+}), Schema.brand("PollCursor"), Schema.annotations({
+    identifier: "PollCursor",
+    description: "Canonical opaque Router poll continuation",
+}));
+const exact = {
+    exact: true,
+    onExcessProperty: "error",
+};
+const closedStruct = (fields) => Schema.Struct(fields).annotations({ parseOptions: exact });
+/** Exact private send shape that preserves instance-fence precedence. */
+export const RawRouterSendRequest = closedStruct({
+    expectedRouterInstanceId: RouterInstanceId,
+    mode: Schema.Literal("initial", "retry"),
+    signedMessage: Schema.Unknown,
+}).annotations({ identifier: "RawRouterSendRequest" });
+/** Exact Schema for one send request. */
+export const RouterSendRequest = closedStruct({
+    expectedRouterInstanceId: RouterInstanceId,
+    mode: Schema.Literal("initial", "retry"),
+    signedMessage: SignedMessage,
+}).annotations({ identifier: "RouterSendRequest" });
+const accepted = closedStruct({
+    kind: Schema.Literal("accepted"),
+    routerInstanceId: RouterInstanceId,
+    signedMessageDigest: SignedMessageDigest,
+});
+const routerRestarted = closedStruct({
+    kind: Schema.Literal("router_restarted"),
+    routerInstanceId: RouterInstanceId,
+});
+const messageInvalid = closedStruct({
+    kind: Schema.Literal("message_invalid"),
+});
+const idempotencyConflict = closedStruct({
+    kind: Schema.Literal("idempotency_conflict"),
+});
+const retryIdentityUnknown = closedStruct({
+    kind: Schema.Literal("retry_identity_unknown"),
+});
+/** Exact Schema for every closed send outcome. */
+export const RouterSendResult = Schema.Union(accepted, routerRestarted, messageInvalid, idempotencyConflict, retryIdentityUnknown).annotations({ identifier: "RouterSendResult" });
+/** Exact Schema for one endpoint-wide poll request. */
+export const RouterPollRequest = closedStruct({
+    pollCursor: Schema.optional(PollCursor),
+}).annotations({ identifier: "RouterPollRequest" });
+const batch = closedStruct({
+    kind: Schema.Literal("batch"),
+    routerInstanceId: RouterInstanceId,
+    signedMessages: Schema.Array(SignedMessage),
+    pollCursor: PollCursor,
+});
+const feedGap = closedStruct({
+    kind: Schema.Literal("feed_gap"),
+    routerInstanceId: RouterInstanceId,
+});
+const cursorInvalid = closedStruct({
+    kind: Schema.Literal("cursor_invalid"),
+});
+/** Exact Schema for every closed poll outcome. */
+export const RouterPollResult = Schema.Union(batch, feedGap, cursorInvalid).annotations({
+    identifier: "RouterPollResult",
+});
+/* eslint-enable @typescript-eslint/naming-convention, @typescript-eslint/no-redeclare -- restore the shared project rules */
+/** The Router connection could not be established or used. */
+export class RouterConnectionError extends Data.TaggedError("RouterConnectionError") {
+}
+/** The configured complete Router call deadline expired. */
+export class RouterRequestTimeoutError extends Data.TaggedError("RouterRequestTimeoutError") {
+}
+/** A Router response did not match the selected operation contract. */
+export class RouterInvalidResponseError extends Data.TaggedError("RouterInvalidResponseError") {
+}
+const routerHttpErrors = Object.freeze({
+    MalformedRequestError: {
+        status: 400,
+        body: '{"error":"malformed"}',
+        make: () => new MalformedRequestError(),
+    },
+    AuthenticationFailedError: {
+        status: 401,
+        body: '{"error":"authentication_failed"}',
+        make: () => new AuthenticationFailedError(),
+    },
+    RouteNotFoundError: {
+        status: 404,
+        body: '{"error":"not_found"}',
+        make: () => new RouteNotFoundError(),
+    },
+    MethodNotAllowedError: {
+        status: 405,
+        body: '{"error":"method_not_allowed"}',
+        make: () => new MethodNotAllowedError(),
+    },
+    VersionMismatchError: {
+        status: 412,
+        body: '{"error":"version_mismatch"}',
+        make: () => new VersionMismatchError(),
+    },
+    PayloadTooLargeError: {
+        status: 413,
+        body: '{"error":"payload_too_large"}',
+        make: () => new PayloadTooLargeError(),
+    },
+    UnsupportedMediaTypeError: {
+        status: 415,
+        body: '{"error":"unsupported_media_type"}',
+        make: () => new UnsupportedMediaTypeError(),
+    },
+    OverloadedError: {
+        status: 429,
+        body: '{"error":"overloaded"}',
+        make: () => new OverloadedError(),
+    },
+    UnavailableError: {
+        status: 503,
+        body: '{"error":"unavailable"}',
+        make: () => new UnavailableError(),
+    },
+    InternalServerError: {
+        status: 500,
+        body: '{"error":"internal"}',
+        make: () => new InternalServerError(),
+    },
+});
+const isRouterHttpErrorTag = (tag) => Object.hasOwn(routerHttpErrors, tag);
+/**
+ * Finds the exact status and body for one recognized Router failure tag.
+ *
+ * @param tag Candidate typed failure tag.
+ * @returns Its exact envelope or `undefined` when the tag is not recognized.
+ */
+export const routerHttpErrorEnvelope = (tag) => isRouterHttpErrorTag(tag) ? routerHttpErrors[tag] : undefined;
+/**
+ * Decodes one exact status and body pair into its typed Router failure.
+ *
+ * @param status Candidate HTTP status.
+ * @param body Candidate exact body text.
+ * @returns The matching typed failure, when the pair is declared.
+ */
+export const routerHttpErrorFromResponse = (status, body) => {
+    const representation = Object.values(routerHttpErrors).find((candidate) => candidate.status === status && candidate.body === body);
+    return representation === undefined
+        ? Option.none()
+        : Option.some(representation.make());
+};
+/** A Router enclosing representation cannot be measured safely. */
+export class RouterRepresentationLengthError extends Data.TaggedError("RouterRepresentationLengthError") {
+}
+const utf8Encoder = new TextEncoder();
+const signedMessagePlaceholder = "__signed_message__";
+const signedMessagePlaceholderByteLength = utf8Encoder.encode(JSON.stringify(signedMessagePlaceholder)).byteLength;
+const maximumAgentId = "agt_AAAAAAAAAAAAAAAAAAAAAA";
+const maximumRouterInstanceId = "rti_AAAAAAAAAAAAAAAAAAAAAA";
+const canonicalByteLength = (value) => {
+    const encoded = canonicalize(value);
+    if (encoded === undefined) {
+        return Effect.fail(new RouterRepresentationLengthError());
+    }
+    return Effect.succeed(utf8Encoder.encode(encoded).byteLength);
+};
+const supportedLength = (value) => Number.isSafeInteger(value) && value >= 0;
+const checkedAdd = (left, right) => {
+    const result = left + right;
+    if (!supportedLength(left) ||
+        !supportedLength(right) ||
+        !supportedLength(result)) {
+        return Effect.fail(new RouterRepresentationLengthError());
+    }
+    return Effect.succeed(result);
+};
+const maximumSendBody = {
+    callerAgentId: maximumAgentId,
+    request: {
+        expectedRouterInstanceId: maximumRouterInstanceId,
+        mode: "initial",
+        signedMessage: signedMessagePlaceholder,
+    },
+};
+const maximumPollBody = {
+    callerAgentId: maximumAgentId,
+    request: {
+        pollCursor: "A".repeat(MAXIMUM_CURSOR_LENGTH),
+    },
+};
+const maximumOneMessageBatch = {
+    kind: "batch",
+    pollCursor: "A".repeat(MAXIMUM_CURSOR_LENGTH),
+    routerInstanceId: maximumRouterInstanceId,
+    signedMessages: [signedMessagePlaceholder],
+};
+/**
+ * Calculates exact enclosing limits while treating SignedMessage as an
+ * identity-owned byte sequence.
+ *
+ * @param maximumSignedMessageByteLength Identity-owned complete message limit.
+ * @returns Exact maximum Router request and one-message result byte lengths.
+ */
+export const calculateRouterRepresentationLimits = (maximumSignedMessageByteLength) => Effect.gen(function* () {
+    const sendTemplateBytes = yield* canonicalByteLength(maximumSendBody);
+    const pollRequestBodyBytes = yield* canonicalByteLength(maximumPollBody);
+    const batchTemplateBytes = yield* canonicalByteLength(maximumOneMessageBatch);
+    const sendFixedBytes = sendTemplateBytes - signedMessagePlaceholderByteLength;
+    const batchFixedBytes = batchTemplateBytes - signedMessagePlaceholderByteLength;
+    return Object.freeze({
+        sendRequestBodyBytes: yield* checkedAdd(sendFixedBytes, maximumSignedMessageByteLength),
+        pollRequestBodyBytes,
+        oneMessageBatchBytes: yield* checkedAdd(batchFixedBytes, maximumSignedMessageByteLength),
+    });
+}).pipe(Effect.withSpan("calculateRouterRepresentationLimits"));
+/** Exact limits derived from the current closed Router representations. */
+export const routerRepresentationLimits = Effect.runSync(calculateRouterRepresentationLimits(SignedMessage.maximumEncodedByteLength));
+const base64UrlLength = (byteLength) => Math.ceil((byteLength * 8) / 6);
+/**
+ * Computes exact cursor length for a caller, instance, and order width.
+ *
+ * @param input Plaintext cursor members.
+ * @param input.agentId Caller bound into the encrypted continuation.
+ * @param input.routerInstanceId Process bound into the continuation.
+ * @param input.lastScannedOrder Private order bound into the continuation.
+ * @returns The complete prefixed Compact JWE length.
+ */
+export const pollCursorEncodedLength = (input) => {
+    const plaintext = canonicalize({
+        agentId: input.agentId,
+        routerInstanceId: input.routerInstanceId,
+        lastScannedOrder: input.lastScannedOrder.toString(10),
+    });
+    if (plaintext === undefined) {
+        return Number.POSITIVE_INFINITY;
+    }
+    const plaintextLength = utf8Encoder.encode(plaintext).byteLength;
+    return (pollCursorPrefix.length +
+        encodedPollCursorProtectedHeaderLength +
+        1 +
+        1 +
+        16 +
+        1 +
+        base64UrlLength(plaintextLength) +
+        1 +
+        22);
+};
+/** Maximum ASCII characters in a valid PollCursor. */
+export const maximumPollCursorLength = MAXIMUM_CURSOR_LENGTH;
+/** Encoded byte width of a RouterInstanceId payload. */
+export const routerInstanceIdByteLength = INSTANCE_BYTE_LENGTH;
+const cursorSegmentsPattern = new RegExp(`^(?=[\\s\\S]{0,${MAXIMUM_CURSOR_LENGTH}}$)${pollCursorPrefix}([^.]*?)\\.([^.]*?)\\.([^.]*?)\\.([^.]*?)\\.([^.]*?)$`);
+function hasCanonicalCursorShape(value) {
+    const segments = extractCursorSegments(value);
+    if (segments === undefined || segments.encryptedKey !== "") {
+        return false;
+    }
+    if (segments.encodedHeader !== encodedPollCursorProtectedHeader ||
+        !hasCanonicalBase64UrlLength(segments.iv, 12)) {
+        return false;
+    }
+    return (hasCanonicalBase64UrlLength(segments.tag, 16) &&
+        hasCanonicalCiphertext(segments.ciphertext));
+}
+function extractCursorSegments(value) {
+    const match = cursorSegmentsPattern.exec(value);
+    let result;
+    if (match !== null) {
+        result = {
+            encodedHeader: segmentAt(match, 1),
+            encryptedKey: segmentAt(match, 2),
+            iv: segmentAt(match, 3),
+            ciphertext: segmentAt(match, 4),
+            tag: segmentAt(match, 5),
+        };
+    }
+    return result;
+}
+function segmentAt(segments, index) {
+    return segments[index] ?? "";
+}
+function hasCanonicalBase64UrlLength(value, byteLength) {
+    return Either.match(Encoding.decodeBase64Url(value), {
+        onLeft: () => false,
+        onRight: (decoded) => decoded.byteLength === byteLength &&
+            Encoding.encodeBase64Url(decoded) === value,
+    });
+}
+function hasCanonicalCiphertext(ciphertext) {
+    return Either.match(Encoding.decodeBase64Url(ciphertext), {
+        onLeft: () => false,
+        onRight: (decoded) => decoded.byteLength > 0 &&
+            Encoding.encodeBase64Url(decoded) === ciphertext,
+    });
+}
+function canonicalValue(name, prefix, byteLength) {
+    return Schema.String.pipe(Schema.filter((value) => {
+        const text = value;
+        const expectedPrefix = prefix;
+        return (text.startsWith(expectedPrefix) &&
+            hasCanonicalBase64UrlLength(text.slice(expectedPrefix.length), byteLength));
+    }, {
+        identifier: name,
+        description: `${name} canonical representation`,
+    }), Schema.brand(name), Schema.annotations({
+        identifier: name,
+        description: `${name} canonical representation`,
+    }));
+}
+//# sourceMappingURL=contract.js.map

package/dist/router/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/router/contract.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAGL,yBAAyB,EACzB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,oBAAoB,EACpB,kBAAkB,EAClB,aAAa,EAEb,gBAAgB,EAChB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,YAAY,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAExE,gCAAgC;AAChC,MAAM,CAAC,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAClD,gCAAgC;AAChC,MAAM,CAAC,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAClD,kCAAkC;AAClC,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAE3C,4DAA4D;AAC5D,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAC3D,4DAA4D;AAC5D,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D,8DAA8D;AAC9D,MAAM,CAAC,MAAM,qBAAqB,GAAG,kBAAkB,CAAC;AAExD,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAChC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAC9B,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC,0DAA0D;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrD,GAAG,EAAE,KAAc;IACnB,GAAG,EAAE,SAAkB;IACvB,GAAG,EAAE,yCAAkD;CACxD,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,6BAA6B,GACjC,+EAA+E,CAAC;AAElF,sEAAsE;AACtE,MAAM,CAAC,MAAM,gCAAgC,GAAG,QAAQ,CAAC,eAAe,CACtE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,6BAA6B,CAAC,CACxD,CAAC;AACF,MAAM,sCAAsC,GAAG,IAAI,CAAC,IAAI,CACtD,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,6BAA6B,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAC7E,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEvC;;GAEG;AAEH,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,cAAc,CAC5C,kBAAkB,EAClB,MAAM,EACN,oBAAoB,CACrB,CAAC;AAIF,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAAG,cAAc,CAC/C,qBAAqB,EACrB,MAAM,EACN,kBAAkB,CACnB,CAAC;AAIF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE;IACrC,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,2CAA2C;CACzD,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAC1B,MAAM,CAAC,WAAW,CAAC;IACjB,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,2CAA2C;CACzD,CAAC,CACH,CAAC;AAwBF,MAAM,KAAK,GAAG;IACZ,KAAK,EAAE,IAAI;IACX,gBAAgB,EAAE,OAAgB;CACnC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAsC,MAAc,EAAE,EAAE,CAC3E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7D,yEAAyE;AACzE,MAAM,CAAC,MAAM,oBAAoB,GAAG,YAAY,CAAC;IAC/C,wBAAwB,EAAE,gBAAgB;IAC1C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,OAAO;CAC9B,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,sBAAsB,EAAE,CAAC,CAAC;AAEvD,yCAAyC;AACzC,MAAM,CAAC,MAAM,iBAAiB,GAG1B,YAAY,CAAC;IACf,wBAAwB,EAAE,gBAAgB;IAC1C,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC;IACxC,aAAa,EAAE,aAAa;CAC7B,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAEpD,MAAM,QAAQ,GAAG,YAAY,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,gBAAgB,EAAE,gBAAgB;IAClC,mBAAmB,EAAE,mBAAmB;CACzC,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,YAAY,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACxC,gBAAgB,EAAE,gBAAgB;CACnC,CAAC,CAAC;AACH,MAAM,cAAc,GAAG,YAAY,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;CACxC,CAAC,CAAC;AACH,MAAM,mBAAmB,GAAG,YAAY,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;CAC7C,CAAC,CAAC;AACH,MAAM,oBAAoB,GAAG,YAAY,CAAC;IACxC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;CAC/C,CAAC,CAAC;AA+BH,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAGzB,MAAM,CAAC,KAAK,CACd,QAAQ,EACR,eAAe,EACf,cAAc,EACd,mBAAmB,EACnB,oBAAoB,CACrB,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC;AAWlD,uDAAuD;AACvD,MAAM,CAAC,MAAM,iBAAiB,GAG1B,YAAY,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACxC,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAEpD,MAAM,KAAK,GAAG,YAAY,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,gBAAgB,EAAE,gBAAgB;IAClC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IAC3C,UAAU,EAAE,UAAU;CACvB,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,YAAY,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IAChC,gBAAgB,EAAE,gBAAgB;CACnC,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,YAAY,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACvC,CAAC,CAAC;AA6BH,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAGzB,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,WAAW,CAAC;IAC1D,UAAU,EAAE,kBAAkB;CAC/B,CAAC,CAAC;AAEH,6HAA6H;AAE7H,8DAA8D;AAC9D,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CACzD,uBAAuB,CACxB;CAAG;AAEJ,4DAA4D;AAC5D,MAAM,OAAO,yBAA0B,SAAQ,IAAI,CAAC,WAAW,CAC7D,2BAA2B,CAC5B;CAAG;AAEJ,uEAAuE;AACvE,MAAM,OAAO,0BAA2B,SAAQ,IAAI,CAAC,WAAW,CAC9D,4BAA4B,CAC7B;CAAG;AA6BJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,qBAAqB,EAAE;QACrB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,qBAAqB,EAAE;KACxC;IACD,yBAAyB,EAAE;QACzB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,mCAAmC;QACzC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,yBAAyB,EAAE;KAC5C;IACD,kBAAkB,EAAE;QAClB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,uBAAuB;QAC7B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,kBAAkB,EAAE;KACrC;IACD,qBAAqB,EAAE;QACrB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,gCAAgC;QACtC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,qBAAqB,EAAE;KACxC;IACD,oBAAoB,EAAE;QACpB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,8BAA8B;QACpC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,oBAAoB,EAAE;KACvC;IACD,oBAAoB,EAAE;QACpB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,+BAA+B;QACrC,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,oBAAoB,EAAE;KACvC;IACD,yBAAyB,EAAE;QACzB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,oCAAoC;QAC1C,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,yBAAyB,EAAE;KAC5C;IACD,eAAe,EAAE;QACf,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,wBAAwB;QAC9B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,eAAe,EAAE;KAClC;IACD,gBAAgB,EAAE;QAChB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,yBAAyB;QAC/B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,gBAAgB,EAAE;KACnC;IACD,mBAAmB,EAAE;QACnB,MAAM,EAAE,GAAG;QACX,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,mBAAmB,EAAE;KACtC;CAGF,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAC3B,GAAW,EAC2B,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;AAEhF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,GAAW,EAC6C,EAAE,CAC1D,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAAc,EACd,IAAY,EAC4B,EAAE;IAC1C,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CACzD,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,CACtE,CAAC;IACF,OAAO,cAAc,KAAK,SAAS;QACjC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;QACf,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,OAAO,+BAAgC,SAAQ,IAAI,CAAC,WAAW,CACnE,iCAAiC,CAClC;CAAG;AASJ,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;AACtC,MAAM,wBAAwB,GAAG,oBAAoB,CAAC;AACtD,MAAM,kCAAkC,GAAG,WAAW,CAAC,MAAM,CAC3D,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,CACzC,CAAC,UAAU,CAAC;AACb,MAAM,cAAc,GAAG,4BAA4B,CAAC;AACpD,MAAM,uBAAuB,GAAG,4BAA4B,CAAC;AAE7D,MAAM,mBAAmB,GAAG,CAC1B,KAAc,EAC0C,EAAE;IAC1D,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,+BAA+B,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAa,EAAW,EAAE,CACjD,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE5C,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,KAAa,EAC2C,EAAE;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;IAC5B,IACE,CAAC,eAAe,CAAC,IAAI,CAAC;QACtB,CAAC,eAAe,CAAC,KAAK,CAAC;QACvB,CAAC,eAAe,CAAC,MAAM,CAAC,EACxB,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,+BAA+B,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG;IACtB,aAAa,EAAE,cAAc;IAC7B,OAAO,EAAE;QACP,wBAAwB,EAAE,uBAAuB;QACjD,IAAI,EAAE,SAAS;QACf,aAAa,EAAE,wBAAwB;KACxC;CACF,CAAC;AACF,MAAM,eAAe,GAAG;IACtB,aAAa,EAAE,cAAc;IAC7B,OAAO,EAAE;QACP,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC;KAC9C;CACF,CAAC;AACF,MAAM,sBAAsB,GAAG;IAC7B,IAAI,EAAE,OAAO;IACb,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC;IAC7C,gBAAgB,EAAE,uBAAuB;IACzC,cAAc,EAAE,CAAC,wBAAwB,CAAC;CAC3C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,8BAAsC,EACsC,EAAE,CAC9E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,iBAAiB,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC;IACtE,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC;IACzE,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,mBAAmB,CACnD,sBAAsB,CACvB,CAAC;IACF,MAAM,cAAc,GAClB,iBAAiB,GAAG,kCAAkC,CAAC;IACzD,MAAM,eAAe,GACnB,kBAAkB,GAAG,kCAAkC,CAAC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB,EAAE,KAAK,CAAC,CAAC,UAAU,CACrC,cAAc,EACd,8BAA8B,CAC/B;QACD,oBAAoB;QACpB,oBAAoB,EAAE,KAAK,CAAC,CAAC,UAAU,CACrC,eAAe,EACf,8BAA8B,CAC/B;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC,CAAC,CAAC;AAElE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,OAAO,CACtD,mCAAmC,CAAC,aAAa,CAAC,wBAAwB,CAAC,CAC5E,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,UAAkB,EAAU,EAAE,CACrD,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAElC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,KAIvC,EAAU,EAAE;IACX,MAAM,SAAS,GAAG,YAAY,CAAC;QAC7B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;KACtD,CAAC,CAAC;IACH,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAClC,CAAC;IACD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,UAAU,CAAC;IACjE,OAAO,CACL,gBAAgB,CAAC,MAAM;QACvB,sCAAsC;QACtC,CAAC;QACD,CAAC;QACD,EAAE;QACF,CAAC;QACD,eAAe,CAAC,eAAe,CAAC;QAChC,CAAC;QACD,EAAE,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,uBAAuB,GAAG,qBAAqB,CAAC;AAE7D,wDAAwD;AACxD,MAAM,CAAC,MAAM,0BAA0B,GAAG,oBAAoB,CAAC;AAU/D,MAAM,qBAAqB,GAAG,IAAI,MAAM,CACtC,kBAAkB,qBAAqB,MAAM,gBAAgB,uDAAuD,CACrH,CAAC;AAEF,SAAS,uBAAuB,CAAC,KAAa;IAC5C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,YAAY,KAAK,EAAE,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,QAAQ,CAAC,aAAa,KAAK,gCAAgC;QAC3D,CAAC,2BAA2B,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,EAC7C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,2BAA2B,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;QAC7C,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa;IAC1C,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,MAAkC,CAAC;IACvC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,GAAG;YACP,aAAa,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAClC,YAAY,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YACjC,EAAE,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YACvB,UAAU,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC/B,GAAG,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,SAAS,CAAC,QAA2B,EAAE,KAAa;IAC3D,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAa,EACb,UAAkB;IAElB,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE;QACnD,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACnB,OAAO,CAAC,UAAU,KAAK,UAAU;YACjC,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,KAAK;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAkB;IAChD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE;QACxD,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;QACnB,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACnB,OAAO,CAAC,UAAU,GAAG,CAAC;YACtB,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,UAAU;KACnD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,IAAU,EACV,MAAc,EACd,UAAkB;IAElB,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,MAAM,CACX,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,IAAI,GAAG,KAAK,CAAC;QACnB,MAAM,cAAc,GAAG,MAAM,CAAC;QAC9B,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YAC/B,2BAA2B,CACzB,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,EACjC,UAAU,CACX,CACF,CAAC;IACJ,CAAC,EACD;QACE,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,GAAG,IAAI,2BAA2B;KAChD,CACF,EACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAClB,MAAM,CAAC,WAAW,CAAC;QACjB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,GAAG,IAAI,2BAA2B;KAChD,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/router/feed.d.ts

@@ -0,0 +1,89 @@
+/** @file Volatile globally ordered Router feed with bounded retention and retry identity. */
+import type { AgentId, MessageId, SignedMessage } from "@moltzap/identity";
+import { Effect } from "effect";
+import type { RouterInstanceId, RouterSendResult, SignedMessageDigest } from "./contract.js";
+/** Greatest private feed order representable by this Router process. */
+export declare const maximumPrivateOrder: bigint;
+/** Stable view used for one poll scan. */
+export interface FeedSnapshot {
+    readonly entries: readonly FeedEntry[];
+    readonly tailOrder: bigint;
+    readonly greatestEvictedOrder: bigint;
+}
+/** Sole capability owning volatile order, retention, and retry identity. */
+export interface RouterFeed {
+    readonly accept: (input: FeedCandidate) => Effect.Effect<FeedAcceptResult>;
+    readonly snapshot: Effect.Effect<FeedSnapshot>;
+    readonly freshAppendReady: Effect.Effect<boolean>;
+}
+interface RouterFeedInput {
+    readonly routerInstanceId: RouterInstanceId;
+    readonly retainedMessageCapacity: number;
+    readonly retainedMessageByteCapacity: number;
+}
+declare const FeedOrderOutOfRangeError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "FeedOrderOutOfRangeError";
+} & Readonly<A>;
+/** An initial private order is outside the closed unsigned range. */
+export declare class FeedOrderOutOfRangeError extends FeedOrderOutOfRangeError_base {
+}
+/**
+ * Creates the sole owner of Router private order, retention, and retry state.
+ *
+ * @param input Process identity and finite retention bounds.
+ * @param input.routerInstanceId Current volatile process identity.
+ * @param input.retainedMessageCapacity Maximum retained message count.
+ * @param input.retainedMessageByteCapacity Maximum retained message bytes.
+ * @returns A scoped state capability for send and poll.
+ */
+export declare const makeRouterFeed: (input: RouterFeedInput) => Effect.Effect<RouterFeed>;
+/**
+ * Creates a feed over an already-consumed private-order prefix.
+ *
+ * The prefix is treated as evicted history and must fit the unsigned
+ * private-order range.
+ *
+ * @param input Process identity, finite retention bounds, and consumed order.
+ * @returns A scoped state capability for send and poll.
+ */
+export declare const makeRouterFeedAtOrder: (input: RouterFeedInput & Readonly<{
+    initialTailOrder: bigint;
+}>) => Effect.Effect<RouterFeed, FeedOrderOutOfRangeError>;
+/**
+ * Restricts one stable feed snapshot to entries after a private order.
+ *
+ * @param snapshot Stable feed state for one scan.
+ * @param order Exclusive lower private-order bound.
+ * @returns Entries with a greater private order.
+ */
+export declare const entriesAfter: (snapshot: FeedSnapshot, order: bigint) => readonly FeedEntry[];
+interface FeedEntry {
+    readonly order: bigint;
+    readonly signedMessage: SignedMessage;
+    readonly encodedMessageJcs: string;
+    readonly encodedByteLength: number;
+    readonly recipients: ReadonlySet<AgentId>;
+    readonly senderAgentId: AgentId;
+    readonly messageId: MessageId;
+    readonly signedMessageDigest: SignedMessageDigest;
+}
+/** Result of one atomic feed acceptance attempt. */
+type FeedAcceptResult = Readonly<{
+    kind: "result";
+    result: RouterSendResult;
+    acceptedRecipients?: ReadonlySet<AgentId>;
+}> | Readonly<{
+    kind: "overloaded";
+}>;
+interface FeedCandidate {
+    readonly mode: "initial" | "retry";
+    readonly signedMessage: SignedMessage;
+    readonly encodedMessageJcs: string;
+    readonly encodedByteLength: number;
+    readonly recipients: ReadonlySet<AgentId>;
+    readonly senderAgentId: AgentId;
+    readonly messageId: MessageId;
+    readonly signedMessageDigest: SignedMessageDigest;
+}
+export {};
+//# sourceMappingURL=feed.d.ts.map

package/dist/router/feed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feed.d.ts","sourceRoot":"","sources":["../../src/router/feed.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAQ,MAAM,EAAO,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,eAAe,CAAC;AAEvB,wEAAwE;AACxE,eAAO,MAAM,mBAAmB,QAAoB,CAAC;AAErD,0CAA0C;AAC1C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED,4EAA4E;AAC5E,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAC3E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;CACnD;AAED,UAAU,eAAe;IACvB,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;CAC9C;;;;AAED,qEAAqE;AACrE,qBAAa,wBAAyB,SAAQ,6BAE7C;CAAG;AAEJ;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,UAClB,eAAe,KACrB,MAAM,CAAC,MAAM,CAAC,UAAU,CAAwB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,UACzB,eAAe,GAAG,QAAQ,CAAC;IAAE,gBAAgB,EAAE,MAAM,CAAA;CAAE,CAAC,KAC9D,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,wBAAwB,CAQpD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,aACb,YAAY,SACf,MAAM,KACZ,SAAS,SAAS,EACoC,CAAC;AAE1D,UAAU,SAAS;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACnD;AAUD,oDAAoD;AACpD,KAAK,gBAAgB,GACjB,QAAQ,CAAC;IACP,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,gBAAgB,CAAC;IACzB,kBAAkB,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;CAC3C,CAAC,GACF,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AAErC,UAAU,aAAa;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACnD"}

package/dist/router/feed.js

@@ -0,0 +1,157 @@
+import { Data, Effect, Ref } from "effect";
+/** Greatest private feed order representable by this Router process. */
+export const maximumPrivateOrder = (1n << 128n) - 1n;
+/** An initial private order is outside the closed unsigned range. */
+export class FeedOrderOutOfRangeError extends Data.TaggedError("FeedOrderOutOfRangeError") {
+}
+/**
+ * Creates the sole owner of Router private order, retention, and retry state.
+ *
+ * @param input Process identity and finite retention bounds.
+ * @param input.routerInstanceId Current volatile process identity.
+ * @param input.retainedMessageCapacity Maximum retained message count.
+ * @param input.retainedMessageByteCapacity Maximum retained message bytes.
+ * @returns A scoped state capability for send and poll.
+ */
+export const makeRouterFeed = (input) => makeFeed(input, 0n);
+/**
+ * Creates a feed over an already-consumed private-order prefix.
+ *
+ * The prefix is treated as evicted history and must fit the unsigned
+ * private-order range.
+ *
+ * @param input Process identity, finite retention bounds, and consumed order.
+ * @returns A scoped state capability for send and poll.
+ */
+export const makeRouterFeedAtOrder = (input) => {
+    if (input.initialTailOrder < 0n ||
+        input.initialTailOrder > maximumPrivateOrder) {
+        return Effect.fail(new FeedOrderOutOfRangeError());
+    }
+    return makeFeed(input, input.initialTailOrder);
+};
+/**
+ * Restricts one stable feed snapshot to entries after a private order.
+ *
+ * @param snapshot Stable feed state for one scan.
+ * @param order Exclusive lower private-order bound.
+ * @returns Entries with a greater private order.
+ */
+export const entriesAfter = (snapshot, order) => snapshot.entries.filter((entry) => entry.order > order);
+const retryKey = (senderAgentId, messageId) => `${senderAgentId}\u0000${messageId}`;
+const makeInitialState = (tailOrder) => ({
+    entries: [],
+    retryIndex: new Map(),
+    retainedBytes: 0,
+    tailOrder,
+    greatestEvictedOrder: tailOrder,
+});
+const acceptedResult = (routerInstanceId, entry) => ({
+    kind: "accepted",
+    routerInstanceId,
+    signedMessageDigest: entry.signedMessageDigest,
+});
+const retryResult = (routerInstanceId, candidate, retryIndex, key) => {
+    const retained = retryIndex.get(key);
+    let result;
+    if (retained === undefined) {
+        result = { kind: "retry_identity_unknown" };
+    }
+    else if (retained.encodedMessageJcs !== candidate.encodedMessageJcs) {
+        result = { kind: "idempotency_conflict" };
+    }
+    else {
+        result = acceptedResult(routerInstanceId, retained);
+    }
+    return { kind: "result", result };
+};
+const evictUntilWithinBounds = (input) => {
+    let retainedBytes = input.initialBytes;
+    let greatestEvictedOrder;
+    while (input.entries.length > input.countCapacity ||
+        retainedBytes > input.byteCapacity) {
+        const evicted = input.entries.shift();
+        if (evicted === undefined) {
+            break;
+        }
+        retainedBytes -= evicted.encodedByteLength;
+        greatestEvictedOrder = evicted.order;
+        const key = retryKey(evicted.senderAgentId, evicted.messageId);
+        if (input.retryIndex.get(key) === evicted) {
+            input.retryIndex.delete(key);
+        }
+    }
+    return greatestEvictedOrder === undefined
+        ? { retainedBytes }
+        : { retainedBytes, greatestEvictedOrder };
+};
+const appendCandidate = (current, candidate, key, input) => {
+    const entry = {
+        ...candidate,
+        order: current.tailOrder + 1n,
+    };
+    const entries = [...current.entries, entry];
+    const retryIndex = new Map(current.retryIndex);
+    retryIndex.set(key, entry);
+    const eviction = evictUntilWithinBounds({
+        entries,
+        retryIndex,
+        initialBytes: current.retainedBytes + candidate.encodedByteLength,
+        countCapacity: input.retainedMessageCapacity,
+        byteCapacity: input.retainedMessageByteCapacity,
+    });
+    const next = {
+        entries,
+        retryIndex,
+        retainedBytes: eviction.retainedBytes,
+        tailOrder: entry.order,
+        greatestEvictedOrder: eviction.greatestEvictedOrder ?? current.greatestEvictedOrder,
+    };
+    return [
+        {
+            kind: "result",
+            result: acceptedResult(input.routerInstanceId, entry),
+            acceptedRecipients: entry.recipients,
+        },
+        next,
+    ];
+};
+const modifyFeed = (current, candidate, input) => {
+    const key = retryKey(candidate.senderAgentId, candidate.messageId);
+    const retained = current.retryIndex.get(key);
+    if (candidate.mode === "retry") {
+        return [
+            retryResult(input.routerInstanceId, candidate, current.retryIndex, key),
+            current,
+        ];
+    }
+    if (retained !== undefined) {
+        return [
+            {
+                kind: "result",
+                result: { kind: "idempotency_conflict" },
+            },
+            current,
+        ];
+    }
+    if (current.tailOrder === maximumPrivateOrder) {
+        return [{ kind: "overloaded" }, current];
+    }
+    return appendCandidate(current, candidate, key, input);
+};
+function makeFeed(input, initialTailOrder) {
+    return Effect.gen(function* () {
+        const state = yield* Ref.make(makeInitialState(initialTailOrder));
+        const service = {
+            accept: (candidate) => Ref.modify(state, (current) => modifyFeed(current, candidate, input)),
+            snapshot: Ref.get(state).pipe(Effect.map((current) => ({
+                entries: current.entries,
+                tailOrder: current.tailOrder,
+                greatestEvictedOrder: current.greatestEvictedOrder,
+            }))),
+            freshAppendReady: Ref.get(state).pipe(Effect.map((current) => current.tailOrder < maximumPrivateOrder)),
+        };
+        return Object.freeze(service);
+    }).pipe(Effect.withSpan("makeRouterFeed"));
+}
+//# sourceMappingURL=feed.js.map

package/dist/router/feed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"feed.js","sourceRoot":"","sources":["../../src/router/feed.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAC;AAO3C,wEAAwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;AAsBrD,qEAAqE;AACrE,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAC5D,0BAA0B,CAC3B;CAAG;AAEJ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACK,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAEpD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAA+D,EACV,EAAE;IACvD,IACE,KAAK,CAAC,gBAAgB,GAAG,EAAE;QAC3B,KAAK,CAAC,gBAAgB,GAAG,mBAAmB,EAC5C,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,wBAAwB,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,QAAsB,EACtB,KAAa,EACS,EAAE,CACxB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AAyC1D,MAAM,QAAQ,GAAG,CAAC,aAAsB,EAAE,SAAoB,EAAU,EAAE,CACxE,GAAG,aAAa,SAAS,SAAS,EAAE,CAAC;AAEvC,MAAM,gBAAgB,GAAG,CAAC,SAAiB,EAAa,EAAE,CAAC,CAAC;IAC1D,OAAO,EAAE,EAAE;IACX,UAAU,EAAE,IAAI,GAAG,EAAE;IACrB,aAAa,EAAE,CAAC;IAChB,SAAS;IACT,oBAAoB,EAAE,SAAS;CAChC,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,gBAAkC,EAClC,KAAgB,EAC0C,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,UAAU;IAChB,gBAAgB;IAChB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;CAC/C,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,CAClB,gBAAkC,EAClC,SAAwB,EACxB,UAA0C,EAC1C,GAAW,EACO,EAAE;IACpB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,MAAwB,CAAC;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,EAAE,IAAI,EAAE,wBAAwB,EAAE,CAAC;IAC9C,CAAC;SAAM,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,CAAC,iBAAiB,EAAE,CAAC;QACtE,MAAM,GAAG,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,cAAc,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,KAM/B,EAGE,EAAE;IACH,IAAI,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC;IACvC,IAAI,oBAAwC,CAAC;IAC7C,OACE,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,aAAa;QAC1C,aAAa,GAAG,KAAK,CAAC,YAAY,EAClC,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM;QACR,CAAC;QACD,aAAa,IAAI,OAAO,CAAC,iBAAiB,CAAC;QAC3C,oBAAoB,GAAG,OAAO,CAAC,KAAK,CAAC;QACrC,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/D,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC;YAC1C,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,KAAK,SAAS;QACvC,CAAC,CAAC,EAAE,aAAa,EAAE;QACnB,CAAC,CAAC,EAAE,aAAa,EAAE,oBAAoB,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,OAAkB,EAClB,SAAwB,EACxB,GAAW,EACX,KAIC,EACuC,EAAE;IAC1C,MAAM,KAAK,GAAc;QACvB,GAAG,SAAS;QACZ,KAAK,EAAE,OAAO,CAAC,SAAS,GAAG,EAAE;KAC9B,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/C,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,sBAAsB,CAAC;QACtC,OAAO;QACP,UAAU;QACV,YAAY,EAAE,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,iBAAiB;QACjE,aAAa,EAAE,KAAK,CAAC,uBAAuB;QAC5C,YAAY,EAAE,KAAK,CAAC,2BAA2B;KAChD,CAAC,CAAC;IACH,MAAM,IAAI,GAAc;QACtB,OAAO;QACP,UAAU;QACV,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,SAAS,EAAE,KAAK,CAAC,KAAK;QACtB,oBAAoB,EAClB,QAAQ,CAAC,oBAAoB,IAAI,OAAO,CAAC,oBAAoB;KAChE,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC;YACrD,kBAAkB,EAAE,KAAK,CAAC,UAAU;SACrC;QACD,IAAI;KACL,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,OAAkB,EAClB,SAAwB,EACxB,KAIC,EACuC,EAAE;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,aAAa,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,WAAW,CAAC,KAAK,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;YACvE,OAAO;SACR,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL;gBACE,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE;aACzC;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,KAAK,mBAAmB,EAAE,CAAC;QAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,SAAS,QAAQ,CACf,KAAsB,EACtB,gBAAwB;IAExB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAC3B,gBAAgB,CAAC,gBAAgB,CAAC,CACnC,CAAC;QACF,MAAM,OAAO,GAAe;YAC1B,MAAM,EAAE,CAAC,SAAwB,EAAE,EAAE,CACnC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACvE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACvB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;aACnD,CAAC,CAAC,CACJ;YACD,gBAAgB,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CACnC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,GAAG,mBAAmB,CAAC,CACjE;SACF,CAAC;QACF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAC7C,CAAC"}

package/dist/router/http.d.ts

@@ -0,0 +1,30 @@
+/** @file Authenticated Router HTTP routes and exact envelope projection. */
+import { HttpRouter, HttpServerResponse } from "@effect/platform";
+import { AuthenticatedHttp } from "@moltzap/identity";
+import { Effect } from "effect";
+import type { RouterFeed } from "./feed.js";
+import { type RouterRpcClient } from "./rpc.js";
+interface RouterHttpInput {
+    readonly client: RouterRpcClient;
+    readonly feed: RouterFeed;
+    readonly requestSemaphore: Effect.Semaphore;
+}
+/**
+ * Builds the complete Router HTTP application over private capabilities.
+ *
+ * @param input Correlated operations, readiness, and admission capability.
+ * @param input.client Private correlated operations.
+ * @param input.feed Feed readiness state.
+ * @param input.requestSemaphore Immediate active-request admission.
+ * @returns The complete named-route HTTP application.
+ */
+export declare const makeRouterHttpApp: (input: RouterHttpInput) => HttpRouter.HttpRouter<never, AuthenticatedHttp>;
+/**
+ * Reports local readiness without exposing feed state.
+ *
+ * @param feed Current process feed.
+ * @returns An empty 204 or 503 response.
+ */
+export declare const routerHealthResponse: (feed: RouterFeed) => Effect.Effect<HttpServerResponse.HttpServerResponse>;
+export {};
+//# sourceMappingURL=http.d.ts.map

package/dist/router/http.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../../src/router/http.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,OAAO,EACL,UAAU,EAEV,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,iBAAiB,EAQlB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAS,MAAM,EAAkB,MAAM,QAAQ,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAgB5C,OAAO,EAAE,KAAK,eAAe,EAA6B,MAAM,UAAU,CAAC;AAE3E,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC;CAC7C;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,UAAW,eAAe,oDAMrD,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,SACzB,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,kBAAkB,CAKnD,CAAC"}