@maiaos/protocol 0.1.0-canary.1

package/dist/port-lease/request-effect-schema.js

@@ -0,0 +1,95 @@
+import * as Schema from "effect/Schema";
+import { aggregateRevisionEffectSchema, protocolIdentifierEffectSchema as id, recordedAtEffectSchema, } from "../envelope/effect-schema.js";
+export const PORT_LEASE_SCHEMA_VERSION = "maia.port-lease/v1";
+/** Ports below this need privileges and belong to system services. */
+export const MIN_PORT_LEASE_PORT = 1024;
+export const MAX_PORT_LEASE_PORT = 65_535;
+export const MAX_PORT_LEASE_COUNT = 8;
+export const MAX_PORT_LEASE_PAGE_SIZE = 100;
+export const portLeasePortEffectSchema = Schema.Int.check(Schema.isBetween({
+    maximum: MAX_PORT_LEASE_PORT,
+    minimum: MIN_PORT_LEASE_PORT,
+}));
+const portLeasePurposeEffectSchema = Schema.String.check(Schema.isPattern(/^[a-z0-9][a-z0-9._-]{0,63}$/u));
+export const portLeaseRevisionEffectSchema = aggregateRevisionEffectSchema.check(Schema.isPattern(/^[1-9]\d*$/u));
+const portLeaseStateEffectSchema = Schema.Literals([
+    "active",
+    "expired",
+    "released",
+]);
+/** Why an ended lease no longer holds its ports. */
+const portLeaseEndReasonEffectSchema = Schema.Literals([
+    "owner_missing",
+    "owner_released",
+    "session_ended",
+    "ttl_expired",
+]);
+export const portLeaseOwnerEffectSchema = Schema.Union([
+    Schema.Struct({ kind: Schema.Literal("session"), sessionId: id }),
+    Schema.Struct({ kind: Schema.Literal("principal"), principalId: id }),
+]);
+const uniquePorts = Schema.Array(portLeasePortEffectSchema).check(Schema.isBetweenLength(1, MAX_PORT_LEASE_COUNT), Schema.makeFilter((ports) => new Set(ports).size === ports.length, {
+    expected: "unique ports",
+}));
+const endMatchesState = (value) => {
+    if (value.state === "active")
+        return value.endReason === undefined;
+    if (value.state === "expired")
+        return value.endReason === "ttl_expired";
+    return value.endReason !== undefined && value.endReason !== "ttl_expired";
+};
+export const portLeaseEffectSchema = Schema.Struct({
+    endReason: Schema.optional(portLeaseEndReasonEffectSchema),
+    expiresAt: recordedAtEffectSchema,
+    grantedAt: recordedAtEffectSchema,
+    leaseId: id,
+    owner: portLeaseOwnerEffectSchema,
+    ports: uniquePorts,
+    purpose: portLeasePurposeEffectSchema,
+    revision: portLeaseRevisionEffectSchema,
+    schemaVersion: Schema.Literal(PORT_LEASE_SCHEMA_VERSION),
+    state: portLeaseStateEffectSchema,
+    updatedAt: recordedAtEffectSchema,
+}).check(Schema.makeFilter((value) => endMatchesState(value) &&
+    Date.parse(value.expiresAt) > Date.parse(value.grantedAt) &&
+    Date.parse(value.updatedAt) >= Date.parse(value.grantedAt), { expected: "a consistent port lease lifecycle" }));
+export const portLeaseAcquireParametersEffectSchema = Schema.Struct({
+    commandId: id,
+    count: Schema.optional(Schema.Int.check(Schema.isBetween({ maximum: MAX_PORT_LEASE_COUNT, minimum: 1 }))),
+    preferred: Schema.optional(portLeasePortEffectSchema),
+    purpose: portLeasePurposeEffectSchema,
+    sessionId: Schema.optional(id),
+});
+export const portLeaseRenewParametersEffectSchema = Schema.Struct({
+    commandId: id,
+    expectedRevision: portLeaseRevisionEffectSchema,
+    leaseId: id,
+});
+export const portLeaseReleaseParametersEffectSchema = Schema.Struct({
+    commandId: id,
+    leaseId: id,
+});
+export const portLeaseListParametersEffectSchema = Schema.Struct({
+    afterCursor: Schema.optional(id),
+    limit: Schema.Int.check(Schema.isBetween({ maximum: MAX_PORT_LEASE_PAGE_SIZE, minimum: 1 })),
+    sessionId: Schema.optional(id),
+});
+export const portLeaseRequestEffectSchema = Schema.Union([
+    Schema.Struct({
+        method: Schema.Literal("port.lease.acquire"),
+        parameters: portLeaseAcquireParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("port.lease.list"),
+        parameters: portLeaseListParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("port.lease.release"),
+        parameters: portLeaseReleaseParametersEffectSchema,
+    }),
+    Schema.Struct({
+        method: Schema.Literal("port.lease.renew"),
+        parameters: portLeaseRenewParametersEffectSchema,
+    }),
+]);
+//# sourceMappingURL=request-effect-schema.js.map

package/dist/port-lease/request-effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-effect-schema.js","sourceRoot":"","sources":["../../src/port-lease/request-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EACL,6BAA6B,EAC7B,8BAA8B,IAAI,EAAE,EACpC,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,CAAC,MAAM,yBAAyB,GAAG,oBAAoB,CAAC;AAC9D,sEAAsE;AACtE,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC;AAC1C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAE5C,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CACvD,MAAM,CAAC,SAAS,CAAC;IACf,OAAO,EAAE,mBAAmB;IAC5B,OAAO,EAAE,mBAAmB;CAC7B,CAAC,CACH,CAAC;AACF,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CACtD,MAAM,CAAC,SAAS,CAAC,8BAA8B,CAAC,CACjD,CAAC;AACF,MAAM,CAAC,MAAM,6BAA6B,GACxC,6BAA6B,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;AACvE,MAAM,0BAA0B,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjD,QAAQ;IACR,SAAS;IACT,UAAU;CACX,CAAC,CAAC;AACH,oDAAoD;AACpD,MAAM,8BAA8B,GAAG,MAAM,CAAC,QAAQ,CAAC;IACrD,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,aAAa;CACd,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,KAAK,CAAC;IACrD,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;CACtE,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,KAAK,CAC/D,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,oBAAoB,CAAC,EAC/C,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE;IACjE,QAAQ,EAAE,cAAc;CACzB,CAAC,CACH,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAGxB,EAAW,EAAE;IACZ,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;IACnE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,SAAS,KAAK,aAAa,CAAC;IACxE,OAAO,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,aAAa,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IAC1D,SAAS,EAAE,sBAAsB;IACjC,SAAS,EAAE,sBAAsB;IACjC,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,0BAA0B;IACjC,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,4BAA4B;IACrC,QAAQ,EAAE,6BAA6B;IACvC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACxD,KAAK,EAAE,0BAA0B;IACjC,SAAS,EAAE,sBAAsB;CAClC,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,eAAe,CAAC,KAAK,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAC5D,EAAE,QAAQ,EAAE,mCAAmC,EAAE,CAClD,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,MAAM,CAAC,MAAM,CAAC;IAClE,SAAS,EAAE,EAAE;IACb,KAAK,EAAE,MAAM,CAAC,QAAQ,CACpB,MAAM,CAAC,GAAG,CAAC,KAAK,CACd,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAChE,CACF;IACD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACrD,OAAO,EAAE,4BAA4B;IACrC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;CAC/B,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,MAAM,CAAC,MAAM,CAAC;IAChE,SAAS,EAAE,EAAE;IACb,gBAAgB,EAAE,6BAA6B;IAC/C,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,MAAM,CAAC,MAAM,CAAC;IAClE,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/D,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CACrB,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,wBAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CACpE;IACD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,KAAK,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAC5C,UAAU,EAAE,sCAAsC;KACnD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACzC,UAAU,EAAE,mCAAmC;KAChD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAC5C,UAAU,EAAE,sCAAsC;KACnD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;QAC1C,UAAU,EAAE,oCAAoC;KACjD,CAAC;CACH,CAAC,CAAC"}

package/dist/port-lease/result-effect-schema.d.ts

@@ -0,0 +1,308 @@
+import * as Schema from "effect/Schema";
+export declare const PORT_LEASE_AGGREGATE_TYPE = "port_lease";
+export declare const portLeaseAcquireResultEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly method: Schema.Literal<"port.lease.acquire">;
+}>;
+export declare const portLeaseRenewResultEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly expectedRevision: Schema.String;
+    readonly method: Schema.Literal<"port.lease.renew">;
+}>;
+export declare const portLeaseReleaseResultEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly method: Schema.Literal<"port.lease.release">;
+}>;
+export declare const portLeaseListResultEffectSchema: Schema.Struct<{
+    readonly items: Schema.$Array<Schema.Struct<{
+        readonly lease: Schema.Struct<{
+            readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+            readonly expiresAt: Schema.String;
+            readonly grantedAt: Schema.String;
+            readonly leaseId: Schema.String;
+            readonly owner: Schema.Union<readonly [Schema.Struct<{
+                readonly kind: Schema.Literal<"session">;
+                readonly sessionId: Schema.String;
+            }>, Schema.Struct<{
+                readonly kind: Schema.Literal<"principal">;
+                readonly principalId: Schema.String;
+            }>]>;
+            readonly ports: Schema.$Array<Schema.Int>;
+            readonly purpose: Schema.String;
+            readonly revision: Schema.String;
+            readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+            readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+            readonly updatedAt: Schema.String;
+        }>;
+        readonly probes: Schema.$Array<Schema.Struct<{
+            readonly inUse: Schema.Boolean;
+            readonly port: Schema.Int;
+        }>>;
+    }>>;
+    readonly method: Schema.Literal<"port.lease.list">;
+    readonly nextCursor: Schema.optional<Schema.String>;
+    readonly range: Schema.Struct<{
+        readonly end: Schema.Int;
+        readonly start: Schema.Int;
+    }>;
+}>;
+export declare const portLeaseResultEffectSchema: Schema.Union<readonly [Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly method: Schema.Literal<"port.lease.acquire">;
+}>, Schema.Struct<{
+    readonly items: Schema.$Array<Schema.Struct<{
+        readonly lease: Schema.Struct<{
+            readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+            readonly expiresAt: Schema.String;
+            readonly grantedAt: Schema.String;
+            readonly leaseId: Schema.String;
+            readonly owner: Schema.Union<readonly [Schema.Struct<{
+                readonly kind: Schema.Literal<"session">;
+                readonly sessionId: Schema.String;
+            }>, Schema.Struct<{
+                readonly kind: Schema.Literal<"principal">;
+                readonly principalId: Schema.String;
+            }>]>;
+            readonly ports: Schema.$Array<Schema.Int>;
+            readonly purpose: Schema.String;
+            readonly revision: Schema.String;
+            readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+            readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+            readonly updatedAt: Schema.String;
+        }>;
+        readonly probes: Schema.$Array<Schema.Struct<{
+            readonly inUse: Schema.Boolean;
+            readonly port: Schema.Int;
+        }>>;
+    }>>;
+    readonly method: Schema.Literal<"port.lease.list">;
+    readonly nextCursor: Schema.optional<Schema.String>;
+    readonly range: Schema.Struct<{
+        readonly end: Schema.Int;
+        readonly start: Schema.Int;
+    }>;
+}>, Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly method: Schema.Literal<"port.lease.release">;
+}>, Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly delivery: Schema.Literals<readonly ["duplicate", "new"]>;
+    readonly lease: Schema.Struct<{
+        readonly endReason: Schema.optional<Schema.Literals<readonly ["owner_missing", "owner_released", "session_ended", "ttl_expired"]>>;
+        readonly expiresAt: Schema.String;
+        readonly grantedAt: Schema.String;
+        readonly leaseId: Schema.String;
+        readonly owner: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"session">;
+            readonly sessionId: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"principal">;
+            readonly principalId: Schema.String;
+        }>]>;
+        readonly ports: Schema.$Array<Schema.Int>;
+        readonly purpose: Schema.String;
+        readonly revision: Schema.String;
+        readonly schemaVersion: Schema.Literal<"maia.port-lease/v1">;
+        readonly state: Schema.Literals<readonly ["active", "expired", "released"]>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly receipt: Schema.Struct<{
+        readonly actorId: Schema.String;
+        readonly aggregateRevision: Schema.String;
+        readonly commandId: Schema.String;
+        readonly createdAt: Schema.String;
+        readonly eventCursor: Schema.String;
+        readonly method: Schema.String;
+        readonly receiptId: Schema.String;
+        readonly schemaVersion: Schema.Literal<1>;
+        readonly state: Schema.Literal<"succeeded">;
+        readonly target: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly type: Schema.String;
+        }>;
+        readonly updatedAt: Schema.String;
+    }>;
+    readonly expectedRevision: Schema.String;
+    readonly method: Schema.Literal<"port.lease.renew">;
+}>]>;
+//# sourceMappingURL=result-effect-schema.d.ts.map

package/dist/port-lease/result-effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-effect-schema.d.ts","sourceRoot":"","sources":["../../src/port-lease/result-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,eAAO,MAAM,yBAAyB,eAAe,CAAC;AA+BtD,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ9C,CAAC;AACF,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ5C,CAAC;AACF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK9C,CAAC;AA2BF,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAe3C,CAAC;AAEF,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKtC,CAAC"}

package/dist/port-lease/result-effect-schema.js

@@ -0,0 +1,68 @@
+import * as Schema from "effect/Schema";
+import { commandReceiptEffectSchema } from "../command-receipt/effect-schema.js";
+import { protocolIdentifierEffectSchema as id } from "../envelope/effect-schema.js";
+import { MAX_PORT_LEASE_PAGE_SIZE, portLeaseEffectSchema, portLeasePortEffectSchema, portLeaseRevisionEffectSchema, } from "./request-effect-schema.js";
+export const PORT_LEASE_AGGREGATE_TYPE = "port_lease";
+const mutation = {
+    commandId: id,
+    delivery: Schema.Literals(["duplicate", "new"]),
+    lease: portLeaseEffectSchema,
+    receipt: commandReceiptEffectSchema,
+};
+const acquisition = Schema.Struct({
+    ...mutation,
+    method: Schema.Literal("port.lease.acquire"),
+});
+const renewal = Schema.Struct({
+    ...mutation,
+    expectedRevision: portLeaseRevisionEffectSchema,
+    method: Schema.Literal("port.lease.renew"),
+});
+const release = Schema.Struct({
+    ...mutation,
+    method: Schema.Literal("port.lease.release"),
+});
+const receiptMatches = (value) => value.receipt.commandId === value.commandId &&
+    value.receipt.method === value.method &&
+    value.receipt.target.type === PORT_LEASE_AGGREGATE_TYPE &&
+    value.receipt.target.id === value.lease.leaseId &&
+    value.receipt.aggregateRevision === value.lease.revision;
+export const portLeaseAcquireResultEffectSchema = acquisition.check(Schema.makeFilter((value) => receiptMatches(value) &&
+    value.lease.revision === "1" &&
+    value.lease.state === "active", { expected: "a new active lease bound to its receipt" }));
+export const portLeaseRenewResultEffectSchema = renewal.check(Schema.makeFilter((value) => receiptMatches(value) &&
+    value.lease.state === "active" &&
+    BigInt(value.lease.revision) === BigInt(value.expectedRevision) + 1n, { expected: "an active lease advanced by one revision" }));
+export const portLeaseReleaseResultEffectSchema = release.check(Schema.makeFilter((value) => receiptMatches(value) && value.lease.state !== "active", { expected: "an ended lease bound to its receipt" }));
+/** A bind probe's answer at read time; leases are advisory, so a port may be in use or idle. */
+const portLeaseProbeEffectSchema = Schema.Struct({
+    inUse: Schema.Boolean,
+    port: portLeasePortEffectSchema,
+});
+const portLeaseListItemEffectSchema = Schema.Struct({
+    lease: portLeaseEffectSchema,
+    probes: Schema.Array(portLeaseProbeEffectSchema),
+}).check(Schema.makeFilter((value) => value.lease.state === "active" &&
+    value.probes.map((probe) => probe.port).join(",") ===
+        value.lease.ports.join(","), { expected: "one probe per port of an active lease" }));
+const portLeaseRangeEffectSchema = Schema.Struct({
+    end: portLeasePortEffectSchema,
+    start: portLeasePortEffectSchema,
+}).check(Schema.makeFilter((value) => value.start <= value.end, {
+    expected: "an ascending port range",
+}));
+export const portLeaseListResultEffectSchema = Schema.Struct({
+    items: Schema.Array(portLeaseListItemEffectSchema).check(Schema.isMaxLength(MAX_PORT_LEASE_PAGE_SIZE)),
+    method: Schema.Literal("port.lease.list"),
+    nextCursor: Schema.optional(id),
+    range: portLeaseRangeEffectSchema,
+}).check(Schema.makeFilter((value) => new Set(value.items.map((item) => item.lease.leaseId)).size ===
+    value.items.length &&
+    (value.nextCursor === undefined || value.items.length > 0), { expected: "unique leases and a cursor only after items" }));
+export const portLeaseResultEffectSchema = Schema.Union([
+    portLeaseAcquireResultEffectSchema,
+    portLeaseListResultEffectSchema,
+    portLeaseReleaseResultEffectSchema,
+    portLeaseRenewResultEffectSchema,
+]);
+//# sourceMappingURL=result-effect-schema.js.map

package/dist/port-lease/result-effect-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-effect-schema.js","sourceRoot":"","sources":["../../src/port-lease/result-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,8BAA8B,IAAI,EAAE,EAAE,MAAM,8BAA8B,CAAC;AAEpF,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,yBAAyB,EACzB,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,CAAC,MAAM,yBAAyB,GAAG,YAAY,CAAC;AAEtD,MAAM,QAAQ,GAAG;IACf,SAAS,EAAE,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,0BAA0B;CACpC,CAAC;AACF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,GAAG,QAAQ;IACX,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;CAC7C,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,GAAG,QAAQ;IACX,gBAAgB,EAAE,6BAA6B;IAC/C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;CAC3C,CAAC,CAAC;AACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,GAAG,QAAQ;IACX,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,KAA0E,EACjE,EAAE,CACX,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;IAC3C,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IACrC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,yBAAyB;IACvD,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO;IAC/C,KAAK,CAAC,OAAO,CAAC,iBAAiB,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;AAE3D,MAAM,CAAC,MAAM,kCAAkC,GAAG,WAAW,CAAC,KAAK,CACjE,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,cAAc,CAAC,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,GAAG;IAC5B,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAChC,EAAE,QAAQ,EAAE,yCAAyC,EAAE,CACxD,CACF,CAAC;AACF,MAAM,CAAC,MAAM,gCAAgC,GAAG,OAAO,CAAC,KAAK,CAC3D,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,cAAc,CAAC,KAAK,CAAC;IACrB,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;IAC9B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,EACtE,EAAE,QAAQ,EAAE,0CAA0C,EAAE,CACzD,CACF,CAAC;AACF,MAAM,CAAC,MAAM,kCAAkC,GAAG,OAAO,CAAC,KAAK,CAC7D,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,EAClE,EAAE,QAAQ,EAAE,qCAAqC,EAAE,CACpD,CACF,CAAC;AAEF,gGAAgG;AAChG,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,MAAM,CAAC,OAAO;IACrB,IAAI,EAAE,yBAAyB;CAChC,CAAC,CAAC;AACH,MAAM,6BAA6B,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,qBAAqB;IAC5B,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACjD,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;IAC9B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC/C,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAC/B,EAAE,QAAQ,EAAE,uCAAuC,EAAE,CACtD,CACF,CAAC;AACF,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,GAAG,EAAE,yBAAyB;IAC9B,KAAK,EAAE,yBAAyB;CACjC,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,EAAE;IACrD,QAAQ,EAAE,yBAAyB;CACpC,CAAC,CACH,CAAC;AACF,MAAM,CAAC,MAAM,+BAA+B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3D,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,KAAK,CACtD,MAAM,CAAC,WAAW,CAAC,wBAAwB,CAAC,CAC7C;IACD,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC/B,KAAK,EAAE,0BAA0B;CAClC,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;IACzD,KAAK,CAAC,KAAK,CAAC,MAAM;IACpB,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAC5D,EAAE,QAAQ,EAAE,6CAA6C,EAAE,CAC5D,CACF,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,MAAM,CAAC,KAAK,CAAC;IACtD,kCAAkC;IAClC,+BAA+B;IAC/B,kCAAkC;IAClC,gCAAgC;CACjC,CAAC,CAAC"}

package/dist/presentation/catalog.d.ts

@@ -0,0 +1,3 @@
+export declare const PRESENTATION_CATALOG_VERSION = "maia.presentation.portfolio/v3";
+export declare const PRESENTATION_CATALOG_DIGEST = "sha256:59860e3f18670e2692319fcc23b8c65cb38177aef85d8cfcdfd532d64d327824";
+//# sourceMappingURL=catalog.d.ts.map

package/dist/presentation/catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/presentation/catalog.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAG7E,eAAO,MAAM,2BAA2B,4EACmC,CAAC"}

package/dist/presentation/catalog.js

@@ -0,0 +1,5 @@
+export const PRESENTATION_CATALOG_VERSION = "maia.presentation.portfolio/v3";
+// SHA-256 of the ordered catalog response fields excluding catalogDigest.
+// Bump the version when the component contract changes.
+export const PRESENTATION_CATALOG_DIGEST = "sha256:59860e3f18670e2692319fcc23b8c65cb38177aef85d8cfcdfd532d64d327824";
+//# sourceMappingURL=catalog.js.map

package/dist/presentation/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/presentation/catalog.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,4BAA4B,GAAG,gCAAgC,CAAC;AAC7E,0EAA0E;AAC1E,wDAAwD;AACxD,MAAM,CAAC,MAAM,2BAA2B,GACtC,yEAAyE,CAAC"}