@alchemy.run/fly 0.0.0 → 2.0.0-beta.85

package/lib/leases.js

@@ -0,0 +1,279 @@
+import { BadGateway, GatewayTimeout, InternalServerError, ServiceUnavailable, TooManyRequests, } from "@distilled.cloud/fly-io/Errors";
+import * as machines from "@distilled.cloud/fly-io/machines";
+import * as Retry from "@distilled.cloud/fly-io/Retry";
+import * as Clock from "effect/Clock";
+import * as Data from "effect/Data";
+import * as Deferred from "effect/Deferred";
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Fiber from "effect/Fiber";
+import * as FetchHttpClient from "effect/http/FetchHttpClient";
+import * as HttpClient from "effect/http/HttpClient";
+import * as HttpClientRequest from "effect/http/HttpClientRequest";
+import * as Option from "effect/Option";
+import * as Schedule from "effect/Schedule";
+const TTL_SECONDS = 120;
+const EXPIRY_MARGIN_MS = 15_000;
+const retrySchedule = () => Schedule.exponential("500 millis").pipe(Schedule.modifyDelay(({ input, duration }) => Effect.succeed((TooManyRequests.is(input) ||
+    InternalServerError.is(input) ||
+    BadGateway.is(input) ||
+    ServiceUnavailable.is(input) ||
+    GatewayTimeout.is(input)) &&
+    input.retryAfter
+    ? Math.min(Duration.toMillis(input.retryAfter), 60_000)
+    : Math.min(Duration.toMillis(duration), 5_000))), Schedule.addDelay(() => Effect.sync(() => Duration.millis(Math.random() * 50))));
+export class MachineLeaseBusy extends Data.TaggedError("Fly.MachineLeaseBusy") {
+}
+export class MachineLeaseLost extends Data.TaggedError("Fly.MachineLeaseLost") {
+    get message() {
+        return `Machine lease authority lost for ${this.appName}/${this.machineId}: ${this.reason}`;
+    }
+}
+export class MachineMutationUncertain extends Data.TaggedError("Fly.MachineMutationUncertain") {
+}
+export const makeMachineLeases = Effect.fn(function* (appName) {
+    const scope = yield* Effect.scope;
+    const held = new Map();
+    const deleting = new Set();
+    const renewals = new Set();
+    const uncertain = new Set();
+    const lost = yield* Deferred.make();
+    let failure;
+    const lose = (machineId, reason) => Effect.gen(function* () {
+        failure ??= new MachineLeaseLost({ appName, machineId, reason });
+        yield* Deferred.fail(lost, failure);
+        return yield* failure;
+    });
+    const check = Effect.gen(function* () {
+        if (failure)
+            return yield* failure;
+        const now = yield* Clock.currentTimeMillis;
+        for (const [machineId, lease] of held) {
+            if (now >= lease.deadline)
+                return yield* lose(machineId, "lease authority expired");
+        }
+    });
+    const guard = (effect) => check.pipe(Effect.andThen(Effect.raceFirst(effect, Deferred.await(lost))));
+    const record = (machineId, response, requestedAt) => Effect.gen(function* () {
+        const lease = response.data;
+        const now = yield* Clock.currentTimeMillis;
+        const deadline = Math.min((lease?.expires_at ?? 0) * 1000, requestedAt + TTL_SECONDS * 1000) -
+            EXPIRY_MARGIN_MS;
+        const captured = lease?.nonce
+            ? { nonce: lease.nonce, deadline, renewAt: requestedAt + 25_000 }
+            : undefined;
+        if (captured)
+            held.set(machineId, captured);
+        if (!captured || !Number.isFinite(deadline) || deadline <= now) {
+            return yield* lose(machineId, "invalid or expired lease response");
+        }
+        return captured;
+    });
+    const acquire = (machineIds) => Effect.gen(function* () {
+        for (const machineId of [...new Set(machineIds)].sort()) {
+            yield* check;
+            if (held.has(machineId))
+                continue;
+            // Save a returned nonce atomically; uncertain interrupted requests expire at Fly.
+            yield* Effect.uninterruptibleMask((restore) => Effect.gen(function* () {
+                const requestedAt = yield* Clock.currentTimeMillis;
+                const response = yield* restore(machines
+                    .createMachineLease({
+                    app_name: appName,
+                    machine_id: machineId,
+                    ttl: TTL_SECONDS,
+                    description: "Alchemy Machine lifecycle",
+                })
+                    .pipe(Retry.none, Effect.retry({
+                    times: 8,
+                    schedule: retrySchedule(),
+                    while: (error) => error._tag === "Conflict" || error._tag === "TooManyRequests",
+                }), Effect.timeout("30 seconds"), Effect.catchTag("Conflict", () => Effect.fail(new MachineLeaseBusy({ appName, machineId }))), Effect.catchTag(["HttpClientError", "GatewayTimeout", "TimeoutError"], (error) => lose(machineId, `acquisition uncertain: ${error._tag}`))));
+                const lease = yield* record(machineId, response, requestedAt);
+                const renewal = yield* heartbeat(machineId, lease).pipe(Effect.interruptible, Effect.forkIn(scope));
+                renewals.add(renewal);
+            }));
+            yield* check;
+        }
+    });
+    const nonce = (machineId) => Effect.gen(function* () {
+        yield* check;
+        const lease = held.get(machineId);
+        if (!lease)
+            return yield* lose(machineId, "target is outside the acquired lease set");
+        return lease.nonce;
+    });
+    const mutate = (machineId, operation, options = {}) => guard(Effect.gen(function* () {
+        const value = yield* nonce(machineId);
+        return yield* operation(value).pipe(Retry.none);
+    }).pipe(Effect.retry({
+        times: 8,
+        schedule: retrySchedule(),
+        // Only explicit throttling is safe to replay for update/stop/delete.
+        while: (error) => error._tag === "TooManyRequests" ||
+            (options.idempotent === true &&
+                (error._tag === "InternalServerError" ||
+                    error._tag === "BadGateway" ||
+                    error._tag === "ServiceUnavailable" ||
+                    error._tag === "GatewayTimeout")),
+    }), Effect.timeout(options.timeoutMs ?? 120_000), Effect.catch((error) => Effect.gen(function* () {
+        if (error._tag === "Conflict" || error._tag === "Forbidden") {
+            return yield* lose(machineId, `leased mutation rejected: ${error._tag}`);
+        }
+        // Transport errors retain the request, including its private nonce header.
+        if (error._tag === "HttpClientError" ||
+            error._tag === "GatewayTimeout" ||
+            error._tag === "TimeoutError") {
+            return yield* new MachineMutationUncertain({
+                appName,
+                machineId,
+            });
+        }
+        return yield* Effect.fail(error);
+    }))));
+    const forget = (machineId) => Effect.sync(() => {
+        held.delete(machineId);
+    });
+    const confirmRemoved = (machineId) => guard(machines
+        .getMachine({
+        app_name: appName,
+        machine_id: machineId,
+    })
+        .pipe(Retry.none, Effect.map((machine) => machine.id === machineId && machine.state === "destroyed"), Effect.catchTag("NotFound", () => Effect.succeed(true)), Effect.catchTag([
+        "TooManyRequests",
+        "InternalServerError",
+        "BadGateway",
+        "ServiceUnavailable",
+        "GatewayTimeout",
+    ], () => Effect.succeed(false)), Effect.catchReason("HttpClientError", "TransportError", () => Effect.succeed(false)), Effect.repeat({
+        times: 8,
+        schedule: Schedule.spaced("2 seconds"),
+        until: (absent) => absent,
+    }), Effect.timeoutOrElse({ duration: "30 seconds", orElse: () => Effect.succeed(false) }), Effect.catch((error) => Effect.gen(function* () {
+        if (!held.has(machineId))
+            return true;
+        if (error._tag === "Forbidden") {
+            return yield* lose(machineId, "removal observation forbidden");
+        }
+        return yield* error;
+    })), 
+    // Another observer's confirmed removal wins over a late uncertain response.
+    Effect.map((absent) => absent || !held.has(machineId)), Effect.tap((absent) => (absent ? forget(machineId) : Effect.void))));
+    const remove = (machineId, operation) => Effect.gen(function* () {
+        const http = yield* HttpClient.HttpClient;
+        const fetchOptions = yield* Effect.serviceOption(FetchHttpClient.RequestInit);
+        yield* Effect.sync(() => {
+            deleting.add(machineId);
+        });
+        yield* mutate(machineId, (nonce) => operation(nonce).pipe(
+        // Bun can replay DELETE on a reused socket below the SDK retry policy.
+        Effect.provideService(HttpClient.HttpClient, HttpClient.mapRequest(http, HttpClientRequest.setHeader("connection", "close"))), Effect.provideService(FetchHttpClient.RequestInit, {
+            ...Option.getOrUndefined(fetchOptions),
+            keepalive: false,
+            redirect: "error",
+        }))).pipe(Effect.asVoid, Effect.catch((error) => Effect.gen(function* () {
+            if (error._tag === "NotFound")
+                return yield* forget(machineId);
+            if (error._tag === "Fly.MachineMutationUncertain" ||
+                error._tag === "InternalServerError" ||
+                error._tag === "BadGateway" ||
+                error._tag === "ServiceUnavailable") {
+                // Keep renewal aware of the removal until its exact target has been observed.
+                if (yield* confirmRemoved(machineId))
+                    return;
+            }
+            return yield* Effect.fail(error);
+        })));
+        yield* forget(machineId);
+    }).pipe(Effect.ensuring(Effect.sync(() => {
+        deleting.delete(machineId);
+    })));
+    const nonceIfHeld = (machineId) => check.pipe(Effect.map(() => held.get(machineId)?.nonce));
+    yield* Effect.addFinalizer(() => Effect.gen(function* () {
+        // A late refresh can recreate a lease after a successful release.
+        yield* Fiber.interruptAll(renewals);
+        yield* Effect.forEach([...held.entries()]
+            .filter(([machineId]) => !uncertain.has(machineId))
+            .sort(([a], [b]) => a.localeCompare(b)), ([machineId, lease]) => machines
+            .machinesReleaseLease({
+            app_name: appName,
+            machine_id: machineId,
+            lease_nonce: lease.nonce,
+        })
+            .pipe(Retry.none, Effect.timeout("5 seconds"), Effect.interruptible, Effect.catchTag("NotFound", () => Effect.void), Effect.catch((error) => Effect.logWarning("Fly lease release was not confirmed; expiry remains the safety bound", { appName, machineId, error: error._tag })), Effect.asVoid), { concurrency: 4 });
+        if (uncertain.size > 0)
+            yield* Effect.logWarning("Fly lease renewal was not confirmed; expiry remains the safety bound", { appName, machineIds: [...uncertain] });
+    }));
+    const refresh = (machineId, lease) => Effect.gen(function* () {
+        yield* check;
+        if (held.get(machineId) !== lease)
+            return;
+        const requestedAt = yield* Clock.currentTimeMillis;
+        const response = yield* machines
+            .createMachineLease({
+            app_name: appName,
+            machine_id: machineId,
+            ttl: TTL_SECONDS,
+            lease_nonce: lease.nonce,
+            description: "Alchemy Machine lifecycle",
+        })
+            .pipe(Retry.none);
+        if (held.get(machineId) !== lease)
+            return;
+        if (response.data?.nonce !== lease.nonce) {
+            return yield* lose(machineId, "refresh returned a different nonce");
+        }
+        return yield* record(machineId, response, requestedAt);
+    }).pipe(Effect.retry({
+        times: 8,
+        schedule: retrySchedule(),
+        while: (error) => error._tag === "TooManyRequests",
+    }), Effect.timeout("75 seconds"), Effect.catch((error) => Effect.gen(function* () {
+        if (held.get(machineId) !== lease)
+            return;
+        uncertain.add(machineId);
+        // A missing lease during removal is not proof that the Machine is gone.
+        if (error._tag === "NotFound" && deleting.has(machineId)) {
+            const absent = yield* confirmRemoved(machineId).pipe(Effect.catch((observation) => held.get(machineId) === lease
+                ? lose(machineId, `removal observation uncertain: ${observation._tag}`)
+                : Effect.succeed(true)));
+            if (absent || held.get(machineId) !== lease)
+                return;
+            return yield* lose(machineId, "lease disappeared before removal was confirmed");
+        }
+        return yield* lose(machineId, `refresh uncertain: ${error._tag}`);
+    })), (operation) => Effect.uninterruptible(Effect.gen(function* () {
+        const pending = yield* operation.pipe(Effect.interruptible, Effect.forkChild);
+        return yield* Fiber.join(pending);
+    })));
+    // Each target renews serially on its own cadence within the operation scope.
+    const heartbeat = (machineId, acquired) => Effect.gen(function* () {
+        let lease = acquired;
+        while (lease && held.get(machineId) === lease) {
+            const now = yield* Clock.currentTimeMillis;
+            yield* Effect.sleep(Math.max(0, lease.renewAt - now));
+            lease = yield* refresh(machineId, lease);
+        }
+    }).pipe(Effect.ignore);
+    yield* Effect.sleep("1 second").pipe(Effect.andThen(check), Effect.forever, Effect.ignore, Effect.forkScoped);
+    const checkTarget = (machineId) => nonce(machineId).pipe(Effect.asVoid);
+    return {
+        acquire,
+        check,
+        checkTarget,
+        guard,
+        mutate,
+        remove,
+        forget,
+        nonceIfHeld,
+    };
+});
+export const usingMachineLeases = (appName, existing, use) => Effect.gen(function* () {
+    if (existing)
+        return yield* existing.guard(Effect.suspend(() => use(existing)));
+    return yield* Effect.scoped(Effect.gen(function* () {
+        const leases = yield* makeMachineLeases(appName);
+        return yield* leases.guard(Effect.suspend(() => use(leases)));
+    }));
+});
+//# sourceMappingURL=leases.js.map

package/lib/leases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leases.js","sourceRoot":"","sources":["../src/leases.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,kBAAkB,EAClB,eAAe,GAChB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,kCAAkC,CAAC;AAC7D,OAAO,KAAK,KAAK,MAAM,+BAA+B,CAAC;AACvD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,eAAe,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAE5C,MAAM,WAAW,GAAG,GAAG,CAAC;AACxB,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEhC,MAAM,aAAa,GAAG,GAA+C,EAAE,CACrE,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,IAAI,CACrC,QAAQ,CAAC,WAAW,CAAuB,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CACjE,MAAM,CAAC,OAAO,CACZ,CAAC,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC;IACxB,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC;IAC7B,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;IACpB,kBAAkB,CAAC,EAAE,CAAC,KAAK,CAAC;IAC5B,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACzB,KAAK,CAAC,UAAU;IAChB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IACvD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CACjD,CACF,EACD,QAAQ,CAAC,QAAQ,CAAuB,GAAG,EAAE,CAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CACvD,CACF,CAAC;AAEJ,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAG3E;CAAG;AAEL,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAI3E;IACA,IAAI,OAAO;QACT,OAAO,oCAAoC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9F,CAAC;CACF;AAED,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAG3F;CAAG;AAQL,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAe;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAA2B,CAAC;IAC7D,IAAI,OAAqC,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,OAAO,KAAK,IAAI,gBAAgB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;IACxB,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,IAAI,OAAO;YAAE,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAC3C,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;YACtC,IAAI,GAAG,IAAI,KAAK,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC;QACtF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAU,MAA8B,EAAE,EAAE,CACxD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,QAA+B,EAAE,WAAmB,EAAE,EAAE,CACzF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAC3C,MAAM,QAAQ,GACZ,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,WAAW,GAAG,WAAW,GAAG,IAAI,CAAC;YAC3E,gBAAgB,CAAC;QACnB,MAAM,QAAQ,GAAG,KAAK,EAAE,KAAK;YAC3B,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,EAAE;YACjE,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,QAAQ;YAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;YAC/D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC,CAAC;IACL,MAAM,OAAO,GAAG,CAAC,UAA6B,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACxD,KAAK,CAAC,CAAC,KAAK,CAAC;YACb,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YAClC,kFAAkF;YAClF,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,OAAO,CAC7B,QAAQ;qBACL,kBAAkB,CAAC;oBAClB,QAAQ,EAAE,OAAO;oBACjB,UAAU,EAAE,SAAS;oBACrB,GAAG,EAAE,WAAW;oBAChB,WAAW,EAAE,2BAA2B;iBACzC,CAAC;qBACD,IAAI,CACH,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,KAAK,CAAC;oBACX,KAAK,EAAE,CAAC;oBACR,QAAQ,EAAE,aAAa,EAAoC;oBAC3D,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;iBAChF,CAAC,EACF,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAC5B,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,CAC/B,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAC1D,EACD,MAAM,CAAC,QAAQ,CAAC,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC/E,IAAI,CAAC,SAAS,EAAE,0BAA0B,KAAK,CAAC,IAAI,EAAE,CAAC,CACxD,CACF,CACJ,CAAC;gBACF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CACrD,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CACrB,CAAC;gBACF,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC,CAAC,CACH,CAAC;YACF,KAAK,CAAC,CAAC,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAE,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,KAAK,CAAC;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,0CAA0C,CAAC,CAAC;QACtF,OAAO,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC,CAAC,CAAC;IACL,MAAM,MAAM,GAAG,CACb,SAAiB,EACjB,SAAoD,EACpD,OAAO,GAAiD,EAAE,EAC1D,EAAE,CACF,KAAK,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CAAC;QACX,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,aAAa,EAAwB;QAC/C,qEAAqE;QACrE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChC,CAAC,OAAO,CAAC,UAAU,KAAK,IAAI;gBAC1B,CAAC,KAAK,CAAC,IAAI,KAAK,qBAAqB;oBACnC,KAAK,CAAC,IAAI,KAAK,YAAY;oBAC3B,KAAK,CAAC,IAAI,KAAK,oBAAoB;oBACnC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;KACxC,CAAC,EACF,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,EAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,6BAA6B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,2EAA2E;QAC3E,IACE,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChC,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAC/B,KAAK,CAAC,IAAI,KAAK,cAAc,EAC7B,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,IAAI,wBAAwB,CAAC;gBACzC,OAAO;gBACP,SAAS;aACV,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CACH,CACF,CACF,CAAC;IACJ,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,EAAE,CACnC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IACL,MAAM,cAAc,GAAG,CAAC,SAAiB,EAAE,EAAE,CAC3C,KAAK,CACH,QAAQ;SACL,UAAU,CAAC;QACV,QAAQ,EAAE,OAAO;QACjB,UAAU,EAAE,SAAS;KACtB,CAAC;SACD,IAAI,CACH,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW,CAAC,EAClF,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACvD,MAAM,CAAC,QAAQ,CACb;QACE,iBAAiB;QACjB,qBAAqB;QACrB,YAAY;QACZ,oBAAoB;QACpB,gBAAgB;KACjB,EACD,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAC5B,EACD,MAAM,CAAC,WAAW,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACpF,MAAM,CAAC,MAAM,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC;QACtC,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;KAC1B,CAAC,EACF,MAAM,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EACrF,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC,CACH;IACD,4EAA4E;IAC5E,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EACtD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACnE,CACJ,CAAC;IACJ,MAAM,MAAM,GAAG,CACb,SAAiB,EACjB,SAAoD,EACpD,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QAC1C,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAC9E,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACtB,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACjC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI;QACnB,uEAAuE;QACvE,MAAM,CAAC,cAAc,CACnB,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,iBAAiB,CAAC,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAChF,EACD,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,WAAW,EAAE;YACjD,GAAG,MAAM,CAAC,cAAc,CAAC,YAAY,CAAC;YACtC,SAAS,EAAE,KAAK;YAChB,QAAQ,EAAE,OAAO;SAClB,CAAC,CACH,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/D,IACE,KAAK,CAAC,IAAI,KAAK,8BAA8B;gBAC7C,KAAK,CAAC,IAAI,KAAK,qBAAqB;gBACpC,KAAK,CAAC,IAAI,KAAK,YAAY;gBAC3B,KAAK,CAAC,IAAI,KAAK,oBAAoB,EACnC,CAAC;gBACD,8EAA8E;gBAC9E,IAAI,KAAK,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC;oBAAE,OAAO;YAC/C,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC,CAAC,CACH,CACF,CAAC;QACF,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CACF,CAAC;IACJ,MAAM,WAAW,GAAG,CAAC,SAAiB,EAAE,EAAE,CACxC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAE3D,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC9B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,kEAAkE;QAClE,KAAK,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACpC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;aAChB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;aAClD,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EACzC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CACrB,QAAQ;aACL,oBAAoB,CAAC;YACpB,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,KAAK,CAAC,KAAK;SACzB,CAAC;aACD,IAAI,CACH,KAAK,CAAC,IAAI,EACV,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAC3B,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,UAAU,CACf,sEAAsE,EACtE,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAC1C,CACF,EACD,MAAM,CAAC,MAAM,CACd,EACL,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC;YACpB,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACtB,sEAAsE,EACtE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,CACxC,CAAC;IACN,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,SAAiB,EAAE,KAAgB,EAAE,EAAE,CACtD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,KAAK,CAAC;QACb,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK;YAAE,OAAO;QAC1C,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ;aAC7B,kBAAkB,CAAC;YAClB,QAAQ,EAAE,OAAO;YACjB,UAAU,EAAE,SAAS;YACrB,GAAG,EAAE,WAAW;YAChB,WAAW,EAAE,KAAK,CAAC,KAAK;YACxB,WAAW,EAAE,2BAA2B;SACzC,CAAC;aACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK;YAAE,OAAO;QAC1C,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,KAAK,CAAC;QACX,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,aAAa,EAAuD;QAC9E,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB;KACnD,CAAC,EACF,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK;YAAE,OAAO;QAC1C,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,wEAAwE;QACxE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAClD,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAC3B,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK;gBAC3B,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,kCAAkC,WAAW,CAAC,IAAI,EAAE,CAAC;gBACvE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CACzB,CACF,CAAC;YACF,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK;gBAAE,OAAO;YACpD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,gDAAgD,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,sBAAsB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC,CACH,EACD,CAAC,SAAS,EAAE,EAAE,CACZ,MAAM,CAAC,eAAe,CACpB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC9E,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CACH,CACJ,CAAC;IACJ,6EAA6E;IAC7E,MAAM,SAAS,GAAG,CAAC,SAAiB,EAAE,QAAmB,EAAE,EAAE,CAC3D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,KAAK,GAA0B,QAAQ,CAAC;QAC5C,OAAO,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;YAC3C,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC;YACtD,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EACrB,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,UAAU,CAClB,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,SAAiB,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChF,OAAO;QACL,OAAO;QACP,KAAK;QACL,WAAW;QACX,KAAK;QACL,MAAM;QACN,MAAM;QACN,MAAM;QACN,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAe,EACf,QAAmC,EACnC,GAAsD,EACtD,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/lib/ports.d.ts

@@ -0,0 +1,51 @@
+import type { FlyMachineService } from "@distilled.cloud/fly-io/machines";
+import type { MachineService } from "./Machine.ts";
+/** One port, or an inclusive port range, published on Fly's proxy. */
+export interface PublishedPort {
+    protocol: string;
+    start: number;
+    end: number;
+    handlers: string[];
+    forceHttps: boolean;
+}
+declare const ServicePortConflict_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: "Fly.ServicePortConflict";
+} & Readonly<A>;
+export declare class ServicePortConflict extends ServicePortConflict_base<{
+    appName: string;
+    port: number;
+    protocol: string;
+    /** The two publishers of the port: Service logical ids or Machine ids. */
+    publishers: [string, string];
+}> {
+    get message(): string;
+}
+/** Published ports of observed or desired Fly Machine services. */
+export declare const portsOfFly: (services: readonly FlyMachineService[] | null | undefined) => PublishedPort[];
+/**
+ * Published ports of a Service's `services` prop, falling back to the
+ * defaults: HTTP 80 (redirecting to HTTPS) and HTTPS 443 when public,
+ * plain HTTP 80 when private.
+ */
+export declare const portsOfProps: (services: readonly MachineService[] | undefined, isPublic: boolean) => PublishedPort[];
+/**
+ * The port bound callers use: the first plain-HTTP port, since Fly issues
+ * no certificate for `.flycast`. When the Service publishes ports but none
+ * of them is plain HTTP, Alchemy publishes `bindingPort` for bindings.
+ */
+export declare const bindingPortOf: (ports: readonly PublishedPort[], bindingPort: number) => {
+    port: number;
+    added: boolean;
+} | undefined;
+/** `ports` plus the binding port Alchemy adds, when it adds one. */
+export declare const withBindingPort: (ports: readonly PublishedPort[], bindingPort: number) => PublishedPort[];
+/**
+ * The first port two publishers share, if any. A publisher that lists the
+ * same port twice also conflicts with itself.
+ */
+export declare const findPortConflict: (appName: string, publishers: ReadonlyArray<{
+    id: string;
+    ports: readonly PublishedPort[];
+}>) => ServicePortConflict | undefined;
+export {};
+//# sourceMappingURL=ports.d.ts.map

package/lib/ports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ports.d.ts","sourceRoot":"","sources":["../src/ports.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAE1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,sEAAsE;AACtE,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;CACrB;;;;AAED,qBAAa,mBAAoB,SAAQ,yBAA4C;IACnF,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,CAAC;IACA,IAAI,OAAO,WAEV;CACF;AAwBD,mEAAmE;AACnE,eAAO,MAAM,UAAU,aACX,SAAS,iBAAiB,EAAE,GAAG,IAAI,GAAG,SAAS,KACxD,aAAa,EAYb,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,YAAY,aACb,SAAS,cAAc,EAAE,GAAG,SAAS,YACrC,OAAO,KAChB,aAAa,EA8BP,CAAC;AASV;;;;GAIG;AACH,eAAO,MAAM,aAAa,UACjB,SAAS,aAAa,EAAE,eAClB,MAAM,KAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG,SAMrC,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,eAAe,UACnB,SAAS,aAAa,EAAE,eAClB,MAAM,KAClB,aAAa,EAef,CAAC;AAKF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,YAClB,MAAM,cACH,aAAa,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,CAAC,KACzE,mBAAmB,GAAG,SAkBxB,CAAC"}

package/lib/ports.js

@@ -0,0 +1,123 @@
+import * as Data from "effect/Data";
+export class ServicePortConflict extends Data.TaggedError("Fly.ServicePortConflict") {
+    get message() {
+        return `Port ${this.port}/${this.protocol} in Fly App ${this.appName} is published by both ${this.publishers[0]} and ${this.publishers[1]}. Fly's proxy routes an App's traffic by port only, so give each Service in the App its own ports (\`services\`, or \`bindingPort\` for the plain-HTTP port Alchemy adds for bound callers).`;
+    }
+}
+const normalize = (entry) => {
+    const start = entry.port ?? entry.startPort;
+    const end = entry.port ?? entry.endPort ?? entry.startPort;
+    if (start === undefined || end === undefined)
+        return [];
+    return [
+        {
+            protocol: entry.protocol ?? "tcp",
+            start,
+            end,
+            handlers: entry.handlers ?? [],
+            forceHttps: entry.forceHttps === true,
+        },
+    ];
+};
+/** Published ports of observed or desired Fly Machine services. */
+export const portsOfFly = (services) => (services ?? []).flatMap((service) => (service.ports ?? []).flatMap((port) => normalize({
+    protocol: service.protocol,
+    port: port.port,
+    startPort: port.start_port,
+    endPort: port.end_port,
+    handlers: port.handlers,
+    forceHttps: port.force_https,
+})));
+/**
+ * Published ports of a Service's `services` prop, falling back to the
+ * defaults: HTTP 80 (redirecting to HTTPS) and HTTPS 443 when public,
+ * plain HTTP 80 when private.
+ */
+export const portsOfProps = (services, isPublic) => services !== undefined
+    ? services.flatMap((service) => (service.ports ?? []).flatMap((port) => normalize({ protocol: service.protocol, ...port })))
+    : isPublic
+        ? [
+            {
+                protocol: "tcp",
+                start: 80,
+                end: 80,
+                handlers: ["http"],
+                forceHttps: true,
+            },
+            {
+                protocol: "tcp",
+                start: 443,
+                end: 443,
+                handlers: ["tls", "http"],
+                forceHttps: false,
+            },
+        ]
+        : [
+            {
+                protocol: "tcp",
+                start: 80,
+                end: 80,
+                handlers: ["http"],
+                forceHttps: false,
+            },
+        ];
+const isPlainHttp = (port) => port.start === port.end &&
+    port.protocol === "tcp" &&
+    port.handlers.includes("http") &&
+    !port.handlers.includes("tls") &&
+    !port.forceHttps;
+/**
+ * The port bound callers use: the first plain-HTTP port, since Fly issues
+ * no certificate for `.flycast`. When the Service publishes ports but none
+ * of them is plain HTTP, Alchemy publishes `bindingPort` for bindings.
+ */
+export const bindingPortOf = (ports, bindingPort) => {
+    if (ports.length === 0)
+        return undefined;
+    const others = ports.filter((port) => !(isPlainHttp(port) && port.start === bindingPort));
+    const plain = others.find(isPlainHttp);
+    if (plain !== undefined)
+        return { port: plain.start, added: false };
+    return { port: bindingPort, added: true };
+};
+/** `ports` plus the binding port Alchemy adds, when it adds one. */
+export const withBindingPort = (ports, bindingPort) => {
+    const binding = bindingPortOf(ports, bindingPort);
+    return binding?.added === true &&
+        !ports.some((port) => isPlainHttp(port) && port.start === bindingPort)
+        ? [
+            ...ports,
+            {
+                protocol: "tcp",
+                start: bindingPort,
+                end: bindingPort,
+                handlers: ["http"],
+                forceHttps: false,
+            },
+        ]
+        : [...ports];
+};
+const overlaps = (left, right) => left.protocol === right.protocol && left.start <= right.end && right.start <= left.end;
+/**
+ * The first port two publishers share, if any. A publisher that lists the
+ * same port twice also conflicts with itself.
+ */
+export const findPortConflict = (appName, publishers) => {
+    const flat = publishers.flatMap((publisher) => publisher.ports.map((port) => ({ id: publisher.id, port })));
+    for (let i = 0; i < flat.length; i++) {
+        for (let j = i + 1; j < flat.length; j++) {
+            const left = flat[i];
+            const right = flat[j];
+            if (!overlaps(left.port, right.port))
+                continue;
+            return new ServicePortConflict({
+                appName,
+                port: Math.max(left.port.start, right.port.start),
+                protocol: left.port.protocol,
+                publishers: [left.id, right.id],
+            });
+        }
+    }
+    return undefined;
+};
+//# sourceMappingURL=ports.js.map

package/lib/ports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ports.js","sourceRoot":"","sources":["../src/ports.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AAYpC,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CAAC,yBAAyB,CAMjF;IACA,IAAI,OAAO;QACT,OAAO,QAAQ,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,eAAe,IAAI,CAAC,OAAO,yBAAyB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,8LAA8L,CAAC;IAC1U,CAAC;CACF;AAED,MAAM,SAAS,GAAG,CAAC,KAOlB,EAAmB,EAAE;IACpB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,SAAS,CAAC;IAC3D,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACxD,OAAO;QACL;YACE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,KAAK;YACjC,KAAK;YACL,GAAG;YACH,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;YAC9B,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI;SACtC;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,QAAyD,EACxC,EAAE,CACnB,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACnC,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACrC,SAAS,CAAC;IACR,QAAQ,EAAE,OAAO,CAAC,QAAQ;IAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,SAAS,EAAE,IAAI,CAAC,UAAU;IAC1B,OAAO,EAAE,IAAI,CAAC,QAAQ;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,UAAU,EAAE,IAAI,CAAC,WAAW;CAC7B,CAAC,CACH,CACF,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,QAA+C,EAC/C,QAAiB,EACA,EAAE,CACnB,QAAQ,KAAK,SAAS;IACpB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3B,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAC5F;IACH,CAAC,CAAC,QAAQ;QACR,CAAC,CAAC;YACE;gBACE,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,EAAE;gBACT,GAAG,EAAE,EAAE;gBACP,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,UAAU,EAAE,IAAI;aACjB;YACD;gBACE,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,GAAG;gBACV,GAAG,EAAE,GAAG;gBACR,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;gBACzB,UAAU,EAAE,KAAK;aAClB;SACF;QACH,CAAC,CAAC;YACE;gBACE,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,EAAE;gBACT,GAAG,EAAE,EAAE;gBACP,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,UAAU,EAAE,KAAK;aAClB;SACF,CAAC;AAEV,MAAM,WAAW,GAAG,CAAC,IAAmB,EAAE,EAAE,CAC1C,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,GAAG;IACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;IACvB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC9B,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC9B,CAAC,IAAI,CAAC,UAAU,CAAC;AAEnB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAA+B,EAC/B,WAAmB,EAC2B,EAAE;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACpE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAA+B,EAC/B,WAAmB,EACF,EAAE;IACnB,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAClD,OAAO,OAAO,EAAE,KAAK,KAAK,IAAI;QAC5B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC;QACtE,CAAC,CAAC;YACE,GAAG,KAAK;YACR;gBACE,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,WAAW;gBAClB,GAAG,EAAE,WAAW;gBAChB,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,UAAU,EAAE,KAAK;aAClB;SACF;QACH,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAmB,EAAE,KAAoB,EAAE,EAAE,CAC7D,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC;AAEzF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,OAAe,EACf,UAA0E,EACzC,EAAE;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5C,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAC5D,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC/C,OAAO,IAAI,mBAAmB,CAAC;gBAC7B,OAAO;gBACP,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;gBACjD,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ;gBAC5B,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;aAChC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}