alchemy-effect 0.2.0 → 0.4.0

package/lib/output.js

@@ -0,0 +1,283 @@
+import { pipe } from "effect";
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import * as App from "./app.js";
+import { isPrimitive } from "./data.js";
+import { getRefMetadata, isRef, ref as stageRef } from "./ref.js";
+import * as State from "./state.js";
+// a special symbol only used at runtime to probe the Output proxy
+const ExprSymbol = Symbol.for("alchemy/Expr");
+export const isOutput = (value) => value &&
+    (typeof value === "object" || typeof value === "function") &&
+    ExprSymbol in value;
+export const of = (resource) => {
+    if (isRef(resource)) {
+        const metadata = getRefMetadata(resource);
+        return new RefExpr(metadata.stack, metadata.stage, metadata.resourceId);
+    }
+    return new ResourceExpr(resource);
+};
+export const ref = (resourceId, options) => of(stageRef({ resourceId, ...options }));
+export const isExpr = (value) => value &&
+    (typeof value === "object" || typeof value === "function") &&
+    ExprSymbol in value;
+const proxy = (self) => {
+    const proxy = new Proxy(Object.assign(() => { }, self), {
+        has: (_, prop) => (prop === ExprSymbol ? true : prop in self),
+        get: (_, prop) => prop === Symbol.toPrimitive
+            ? (hint) => (hint === "string" ? self.toString() : self)
+            : prop === ExprSymbol
+                ? self
+                : isResourceExpr(self) && self.stables && prop in self.stables
+                    ? self.stables[prop]
+                    : prop === "apply"
+                        ? self[prop]
+                        : prop in self
+                            ? typeof self[prop] === "function" &&
+                                !("kind" in self)
+                                ? new PropExpr(proxy, prop)
+                                : self[prop]
+                            : new PropExpr(proxy, prop),
+        apply: (_, thisArg, args) => {
+            if (isPropExpr(self)) {
+                if (self.identifier === "apply") {
+                    return new ApplyExpr(self.expr, args[0]);
+                }
+                else if (self.identifier === "effect") {
+                    return new EffectExpr(self.expr, args[0]);
+                }
+            }
+            return undefined;
+        },
+    });
+    return proxy;
+};
+export class BaseExpr {
+    // we use a kind tag instead of instanceof to protect ourselves from duplicate alchemy-effect module imports
+    constructor() { }
+    apply(fn) {
+        return new ApplyExpr(this, fn);
+    }
+    effect(fn) {
+        return new EffectExpr(this, fn);
+    }
+    pipe(...fns) {
+        // @ts-expect-error
+        return pipe(this, ...fns);
+    }
+    toString() {
+        return JSON.stringify(this, null, 2);
+    }
+}
+export const isResourceExpr = (node) => node?.kind === "ResourceExpr";
+export class ResourceExpr extends BaseExpr {
+    src;
+    stables;
+    kind = "ResourceExpr";
+    constructor(src, stables) {
+        super();
+        this.src = src;
+        this.stables = stables;
+        return proxy(this);
+    }
+}
+export const isPropExpr = (node) => node?.kind === "PropExpr";
+export class PropExpr extends BaseExpr {
+    expr;
+    identifier;
+    kind = "PropExpr";
+    constructor(expr, identifier) {
+        super();
+        this.expr = expr;
+        this.identifier = identifier;
+        return proxy(this);
+    }
+}
+export const literal = (value) => new LiteralExpr(value);
+export const isLiteralExpr = (node) => node?.kind === "LiteralExpr";
+export class LiteralExpr extends BaseExpr {
+    value;
+    kind = "LiteralExpr";
+    constructor(value) {
+        super();
+        this.value = value;
+        return proxy(this);
+    }
+}
+//Output.ApplyExpr<any, any, AnyResource, any>
+export const isApplyExpr = (node) => node?.kind === "ApplyExpr";
+export class ApplyExpr extends BaseExpr {
+    expr;
+    f;
+    kind = "ApplyExpr";
+    constructor(expr, f) {
+        super();
+        this.expr = expr;
+        this.f = f;
+        return proxy(this);
+    }
+}
+export const isEffectExpr = (node) => node?.kind === "EffectExpr";
+export class EffectExpr extends BaseExpr {
+    expr;
+    f;
+    kind = "EffectExpr";
+    constructor(expr, f) {
+        super();
+        this.expr = expr;
+        this.f = f;
+        return proxy(this);
+    }
+}
+export const isAllExpr = (node) => node?.kind === "AllExpr";
+export class AllExpr extends BaseExpr {
+    outs;
+    kind = "AllExpr";
+    constructor(outs) {
+        super();
+        this.outs = outs;
+        return proxy(this);
+    }
+}
+export const isRefExpr = (node) => node?.kind === "RefExpr";
+export class RefExpr extends BaseExpr {
+    stack;
+    stage;
+    resourceId;
+    kind = "RefExpr";
+    constructor(stack, stage, resourceId) {
+        super();
+        this.stack = stack;
+        this.stage = stage;
+        this.resourceId = resourceId;
+        return proxy(this);
+    }
+}
+export class MissingSourceError extends Data.TaggedError("MissingSourceError") {
+}
+export class InvalidReferenceError extends Data.TaggedError("InvalidReferenceError") {
+}
+export const evaluate = (expr, upstream) => Effect.gen(function* () {
+    if (isResourceExpr(expr)) {
+        const srcId = expr.src.id;
+        const src = upstream[srcId];
+        if (!src) {
+            // type-safety should prevent this but let the caller decide how to handle it
+            return yield* Effect.fail(new MissingSourceError({
+                message: `Source ${srcId} not found`,
+                srcId,
+            }));
+        }
+        return src;
+    }
+    else if (isLiteralExpr(expr)) {
+        return expr.value;
+    }
+    else if (isApplyExpr(expr)) {
+        return expr.f(yield* evaluate(expr.expr, upstream));
+    }
+    else if (isEffectExpr(expr)) {
+        // TODO(sam): the same effect shoudl be memoized so that it's not run multiple times
+        return yield* expr.f(yield* evaluate(expr.expr, upstream));
+    }
+    else if (isAllExpr(expr)) {
+        return yield* Effect.all(expr.outs.map((out) => evaluate(out, upstream)));
+    }
+    else if (isPropExpr(expr)) {
+        return (yield* evaluate(expr.expr, upstream))?.[expr.identifier];
+    }
+    else if (isRefExpr(expr)) {
+        const state = yield* State.State;
+        const app = yield* App.App;
+        const stack = expr.stack ?? app.name;
+        const stage = expr.stage ?? app.stage;
+        const resource = yield* state.get({
+            stack,
+            stage,
+            resourceId: expr.resourceId,
+        });
+        if (!resource) {
+            return yield* Effect.fail(new InvalidReferenceError({
+                message: `Reference to '${expr.resourceId}' in stack '${stack}' and stage '${stage}' not found. Have you deployed '${stage}' or '${stack}'?`,
+                stack,
+                stage,
+                resourceId: expr.resourceId,
+            }));
+        }
+        return resource.attr;
+    }
+    else if (Array.isArray(expr)) {
+        return yield* Effect.all(expr.map((item) => evaluate(item, upstream)));
+    }
+    else if (typeof expr === "object" && expr !== null) {
+        return Object.fromEntries(yield* Effect.all(Object.entries(expr).map(([key, value]) => evaluate(value, upstream).pipe(Effect.map((value) => [key, value])))));
+    }
+    return expr;
+});
+export const hasOutputs = (value) => Object.keys(upstreamAny(value)).length > 0;
+export const upstreamAny = (value) => {
+    if (isExpr(value)) {
+        return upstream(value);
+    }
+    else if (Array.isArray(value)) {
+        return Object.assign({}, ...value.map(resolveUpstream));
+    }
+    else if (value &&
+        (typeof value === "object" || typeof value === "function")) {
+        return Object.assign({}, ...Object.values(value).map((value) => resolveUpstream(value)));
+    }
+    return {};
+};
+export const upstream = (expr) => _upstream(expr);
+const _upstream = (expr) => {
+    if (isResourceExpr(expr)) {
+        return {
+            [expr.src.id]: expr.src,
+        };
+    }
+    else if (isPropExpr(expr)) {
+        return upstream(expr.expr);
+    }
+    else if (isAllExpr(expr)) {
+        return Object.assign({}, ...expr.outs.map((out) => upstream(out)));
+    }
+    else if (isEffectExpr(expr) || isApplyExpr(expr)) {
+        return upstream(expr.expr);
+    }
+    else if (Array.isArray(expr)) {
+        return expr.map(_upstream).reduce(toObject, {});
+    }
+    else if (typeof expr === "object" && expr !== null) {
+        return Object.values(expr)
+            .map((v) => _upstream(v))
+            .reduce(toObject, {});
+    }
+    return {};
+};
+const toObject = (acc, v) => ({
+    ...acc,
+    ...v,
+});
+export const resolveUpstream = (value) => {
+    if (isPrimitive(value)) {
+        return {};
+    }
+    else if (isOutput(value)) {
+        return upstream(value);
+    }
+    else if (Array.isArray(value)) {
+        return Object.fromEntries(value.map((v) => resolveUpstream(v)).flatMap(Object.entries));
+    }
+    else if (typeof value === "object" || typeof value === "function") {
+        return Object.fromEntries(Object.values(value)
+            .map(resolveUpstream)
+            .flatMap(Object.entries));
+    }
+    return {};
+};
+export const interpolate = (template, ...args) => all(...args.map((arg) => (isOutput(arg) ? arg : literal(arg)))).apply((args) => template
+    .map((str, i) => str + (args[i] == null ? "" : String(args[i])))
+    .join(""));
+export const all = (...outs) => new AllExpr(outs);
+export const filter = (...outs) => outs.filter(isOutput);
+//# sourceMappingURL=output.js.map

package/lib/output.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output.js","sourceRoot":"","sources":["../src/output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAY,MAAM,UAAU,CAAC;AAE5E,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAGpC,kEAAkE;AAClE,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAU,EAAwB,EAAE,CAC3D,KAAK;IACL,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;IAC1D,UAAU,IAAI,KAAK,CAAC;AAEtB,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,QAAoB,EACW,EAAE;IACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO,IAAI,OAAO,CAChB,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,UAAU,CACb,CAAC;IACX,CAAC;IACD,OAAO,IAAI,YAAY,CAAC,QAAQ,CAAQ,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,UAAmB,EACnB,OAGC,EACD,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC;AA8C9C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAU,EAAsB,EAAE,CACvD,KAAK;IACL,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;IAC1D,UAAU,IAAI,KAAK,CAAC;AAWtB,MAAM,KAAK,GAAG,CAAC,IAAS,EAAO,EAAE;IAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,CACrB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAE,CAAC,EAAE,IAAI,CAAC,EAC7B;QACE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC;QAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CACf,IAAI,KAAK,MAAM,CAAC,WAAW;YACzB,CAAC,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,CAAC,CAAC,IAAI,KAAK,UAAU;gBACnB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO;oBAC5D,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAiC,CAAC;oBACjD,CAAC,CAAC,IAAI,KAAK,OAAO;wBAChB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;wBACZ,CAAC,CAAC,IAAI,IAAI,IAAI;4BACZ,CAAC,CAAC,OAAO,IAAI,CAAC,IAAyB,CAAC,KAAK,UAAU;gCACrD,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC;gCACjB,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,IAAa,CAAC;gCACpC,CAAC,CAAC,IAAI,CAAC,IAAyB,CAAC;4BACnC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,IAAa,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;YAC1B,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;oBAChC,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3C,CAAC;qBAAM,IAAI,IAAI,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;oBACxC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;KACF,CACF,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,OAAgB,QAAQ;IAM5B,4GAA4G;IAC5G,gBAAe,CAAC;IACT,KAAK,CAAI,EAAmB;QACjC,OAAO,IAAI,SAAS,CAAC,IAAyB,EAAE,EAAE,CAAQ,CAAC;IAC7D,CAAC;IACM,MAAM,CACX,EAA+C;QAE/C,OAAO,IAAI,UAAU,CAAC,IAAW,EAAE,EAAE,CAAQ,CAAC;IAChD,CAAC;IACM,IAAI,CAAC,GAAG,GAAU;QACvB,mBAAmB;QACnB,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5B,CAAC;IACD,QAAQ;QACN,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAK5B,IAAiC,EACM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC;AAE1E,MAAM,OAAO,YAIX,SAAQ,QAAyB;IAGf;IACP;IAHF,IAAI,GAAG,cAAc,CAAC;IAC/B,YACkB,GAAQ,EACf,OAA6B;QAEtC,KAAK,EAAE,CAAC;QAHQ,QAAG,GAAH,GAAG,CAAK;QACf,YAAO,GAAP,OAAO,CAAsB;QAGtC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAMxB,IAAS,EAC4B,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC;AAEpE,MAAM,OAAO,QAKX,SAAQ,QAAyB;IAGf;IACA;IAHT,IAAI,GAAG,UAAU,CAAC;IAC3B,YACkB,IAAuB,EACvB,UAAc;QAE9B,KAAK,EAAE,CAAC;QAHQ,SAAI,GAAJ,IAAI,CAAmB;QACvB,eAAU,GAAV,UAAU,CAAI;QAG9B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,KAAQ,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAU,IAAS,EAA0B,EAAE,CAC1E,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC;AAE/B,MAAM,OAAO,WAAe,SAAQ,QAAkB;IAExB;IADnB,IAAI,GAAG,aAAa,CAAC;IAC9B,YAA4B,KAAQ;QAClC,KAAK,EAAE,CAAC;QADkB,UAAK,GAAL,KAAK,CAAG;QAElC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,8CAA8C;AAC9C,MAAM,CAAC,MAAM,WAAW,GAAG,CAMzB,IAA2B,EACW,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC;AAEtE,MAAM,OAAO,SAKX,SAAQ,QAAqB;IAGX;IACA;IAHT,IAAI,GAAG,WAAW,CAAC;IAC5B,YACkB,IAAuB,EACvB,CAAkB;QAElC,KAAK,EAAE,CAAC;QAHQ,SAAI,GAAJ,IAAI,CAAmB;QACvB,MAAC,GAAD,CAAC,CAAiB;QAGlC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAO1B,IAAS,EACoC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;AAE9E,MAAM,OAAO,UAMX,SAAQ,QAAqB;IAGX;IACA;IAHT,IAAI,GAAG,YAAY,CAAC;IAC7B,YACkB,IAAuB,EACvB,CAA8C;QAE9D,KAAK,EAAE,CAAC;QAHQ,SAAI,GAAJ,IAAI,CAAmB;QACvB,MAAC,GAAD,CAAC,CAA6C;QAG9D,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAS,EACc,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;AAErD,MAAM,OAAO,OAA6B,SAAQ,QAAc;IAElC;IADnB,IAAI,GAAG,SAAS,CAAC;IAC1B,YAA4B,IAAU;QACpC,KAAK,EAAE,CAAC;QADkB,SAAI,GAAJ,IAAI,CAAM;QAEpC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAU,IAAS,EAAsB,EAAE,CAClE,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;AAE3B,MAAM,OAAO,OAAW,SAAQ,QAAyB;IAGrC;IACA;IACA;IAJT,IAAI,GAAG,SAAS,CAAC;IAC1B,YACkB,KAAyB,EACzB,KAAyB,EACzB,UAAkB;QAElC,KAAK,EAAE,CAAC;QAJQ,UAAK,GAAL,KAAK,CAAoB;QACzB,UAAK,GAAL,KAAK,CAAoB;QACzB,eAAU,GAAV,UAAU,CAAQ;QAGlC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF;AAED,MAAM,OAAO,kBAAmB,SAAQ,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAG3E;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CACzD,uBAAuB,CAMvB;CAAG;AAEL,MAAM,CAAC,MAAM,QAAQ,GASjB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAA8B,CAAC,CAAC;QACrD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,6EAA6E;YAC7E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,kBAAkB,CAAC;gBACrB,OAAO,EAAE,UAAU,KAAK,YAAY;gBACpC,KAAK;aACN,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;SAAM,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACtD,CAAC;SAAM,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,oFAAoF;QACpF,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnE,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC;QACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;YAChC,KAAK;YACL,KAAK;YACL,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,qBAAqB,CAAC;gBACxB,OAAO,EAAE,iBAAiB,IAAI,CAAC,UAAU,eAAe,KAAK,gBAAgB,KAAK,mCAAmC,KAAK,SAAS,KAAK,IAAI;gBAC5I,KAAK;gBACL,KAAK;gBACL,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,CAAC;IACvB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,WAAW,CACvB,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACf,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACxC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CACpE,CACF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAuB,CAAC;AAS3B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAU,EAAkC,EAAE,CACvE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAU,EAGV,EAAE;IACF,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;IAC1D,CAAC;SAAM,IACL,KAAK;QACL,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,EAC1D,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAClB,EAAE,EACF,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAC/D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAO,EAGP,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAErB,MAAM,SAAS,GAAG,CAAC,IAAS,EAAO,EAAE;IACnC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG;SACxB,CAAC;IACJ,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC;SAAM,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;aACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;aACxB,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAO,GAAM,EAAE,CAAI,EAAE,EAAE,CAAC,CAAC;IACxC,GAAG,GAAG;IACN,GAAG,CAAC;CACL,CAAC,CAAC;AAsBH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAU,KAAQ,EAAsB,EAAE;IACvE,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAS,CAAC;IACnB,CAAC;SAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,KAAK,CAAQ,CAAC;IAChC,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,WAAW,CACvB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CACtD,CAAC;IACX,CAAC;SAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,MAAM,CAAC,KAAY,CAAC;aACxB,GAAG,CAAC,eAAe,CAAC;aACpB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CACpB,CAAC;IACX,CAAC;IACD,OAAO,EAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAA8B,EAC9B,GAAG,IAAU,EAGL,EAAE,CACV,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CACnE,CAAC,IAAI,EAAE,EAAE,CACP,QAAQ;KACL,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC/D,IAAI,CAAC,EAAE,CAAC,CACP,CAAC;AAEX,MAAM,CAAC,MAAM,GAAG,GAAG,CAAiC,GAAG,IAAU,EAAE,EAAE,CACnE,IAAI,OAAO,CAAC,IAAW,CAAyB,CAAC;AAsBnD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAqB,GAAG,IAAU,EAAE,EAAE,CAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAA4B,CAAC"}

package/lib/physical-name.d.ts

@@ -1,4 +1,17 @@
 import * as Effect from "effect/Effect";
 import { App } from "./app.ts";
-export declare const physicalName: (id: string) => Effect.Effect<string, never, App>;
+export declare const physicalName: (args_0: {
+    id: string;
+    /** Hex-encoded instance ID (16 random bytes) */
+    instanceId: string;
+    suffixLength?: number;
+}) => Effect.Effect<string, never, App>;
+/**
+ * Encode bytes into RFC4648 Base32 (no padding), lowercase.
+ *
+ * Performance notes:
+ * - O(n) single pass, no big-int
+ * - Avoids per-byte string concatenation by using a char array
+ */
+export declare function base32(bytes: Uint8Array): string;
 //# sourceMappingURL=physical-name.d.ts.map

package/lib/physical-name.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"physical-name.d.ts","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,eAAO,MAAM,YAAY,mDAGvB,CAAC"}
+{"version":3,"file":"physical-name.d.ts","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,eAAO,MAAM,YAAY;QAMnB,MAAM;IACV,gDAAgD;gBACpC,MAAM;mBACH,MAAM;uCAIrB,CAAC;AAUH;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CA4BhD"}

package/lib/physical-name.js

@@ -1,7 +1,46 @@
 import * as Effect from "effect/Effect";
 import { App } from "./app.js";
-export const physicalName = Effect.fn(function* (id) {
+export const physicalName = Effect.fn(function* ({ id, instanceId, 
+// 16 base32 characters = 80 bits of entropy = 4 × 10⁻⁷
+suffixLength = 16, }) {
     const app = yield* App;
-    return `${app.name}-${id}-${app.stage}`;
+    return `${app.name}-${id}-${app.stage}-${base32(Buffer.from(instanceId, "hex")).slice(0, suffixLength)}`;
 });
+// Base32 is ideal for physical names because it's denser than hex (5 bits per char vs 4)
+// and compatible with DNS/S3 (as opposed to base64 which contains uppercase letters and symbols).
+// base32.ts
+// Concise, fast RFC 4648 Base32 encoder (no padding), lowercase output.
+// Charset: a-z2-7 (DNS/S3 friendly)
+const ALPH = "abcdefghijklmnopqrstuvwxyz234567";
+/**
+ * Encode bytes into RFC4648 Base32 (no padding), lowercase.
+ *
+ * Performance notes:
+ * - O(n) single pass, no big-int
+ * - Avoids per-byte string concatenation by using a char array
+ */
+export function base32(bytes) {
+    const n = bytes.length;
+    if (n === 0)
+        return "";
+    // Base32 length without padding: ceil(n*8/5)
+    const outLen = ((n * 8 + 4) / 5) | 0;
+    const out = Array.from({ length: outLen });
+    let buffer = 0;
+    let bits = 0;
+    let o = 0;
+    for (let i = 0; i < n; i++) {
+        buffer = (buffer << 8) | bytes[i];
+        bits += 8;
+        while (bits >= 5) {
+            out[o++] = ALPH[(buffer >>> (bits - 5)) & 31];
+            bits -= 5;
+        }
+    }
+    if (bits > 0) {
+        out[o++] = ALPH[(buffer << (5 - bits)) & 31];
+    }
+    // outLen computed as exact ceiling; o should match, but slice defensively.
+    return o === outLen ? out.join("") : out.slice(0, o).join("");
+}
 //# sourceMappingURL=physical-name.js.map

package/lib/physical-name.js.map

@@ -1 +1 @@
-{"version":3,"file":"physical-name.js","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAU;IACzD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACvB,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;AAC1C,CAAC,CAAC,CAAC"}
+{"version":3,"file":"physical-name.js","sourceRoot":"","sources":["../src/physical-name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAE/B,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAC/C,EAAE,EACF,UAAU;AACV,uDAAuD;AACvD,YAAY,GAAG,EAAE,GAMlB;IACC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACvB,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC;AAC3G,CAAC,CAAC,CAAC;AAEH,yFAAyF;AACzF,kGAAkG;AAElG,YAAY;AACZ,wEAAwE;AACxE,oCAAoC;AACpC,MAAM,IAAI,GAAG,kCAAkC,CAAC;AAEhD;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,KAAiB;IACtC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvB,6CAA6C;IAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAEnD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC;QAEV,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC;YACjB,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAC9C,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACb,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED,2EAA2E;IAC3E,OAAO,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAChE,CAAC"}

package/lib/plan.d.ts

@@ -1,11 +1,12 @@
 import * as Effect from "effect/Effect";
 import type { AnyBinding } from "./binding.ts";
-import type { Phase } from "./phase.ts";
+import * as Output from "./output.ts";
 import type { Instance } from "./policy.ts";
+import type { Provider } from "./provider.ts";
 import { type ProviderService } from "./provider.ts";
-import type { Resource } from "./resource.ts";
+import type { AnyResource, Resource } from "./resource.ts";
 import { type IService, type Service } from "./service.ts";
-import { State } from "./state.ts";
+import { type CreatedResourceState, type CreatingResourceState, type ReplacedResourceState, type ReplacingResourceState, type UpdatedResourceState, type UpdatingReourceState, State, type ResourceState } from "./state.ts";
 export type PlanError = never;
 export declare const isBindNode: (node: any) => node is BindNode;
 /**
@@ -38,72 +39,97 @@ export declare const isCRUD: (node: any) => node is CRUD;
 /**
  * A node in the plan that represents a resource CRUD operation.
  */
-export type CRUD<R extends Resource = Resource> = Create<R> | Update<R> | Delete<R> | Replace<R> | NoopUpdate<R>;
-export type Apply<R extends Resource = Resource> = Create<R> | Update<R> | Replace<R> | NoopUpdate<R>;
-export type Create<R extends Resource> = {
-    action: "create";
+export type CRUD<R extends Resource = AnyResource> = Create<R> | Update<R> | Delete<R> | Replace<R> | NoopUpdate<R>;
+export type Apply<R extends Resource = AnyResource> = Create<R> | Update<R> | Replace<R> | NoopUpdate<R>;
+export interface BaseNode<R extends Resource = AnyResource> {
     resource: R;
-    news: any;
-    provider: ProviderService;
-    attributes: R["attr"];
+    provider: ProviderService<R>;
     bindings: BindNode[];
-};
-export type Update<R extends Resource> = {
+    downstream: string[];
+}
+export interface Create<R extends Resource = AnyResource> extends BaseNode<R> {
+    action: "create";
+    props: any;
+    state: CreatingResourceState | undefined;
+}
+export interface Update<R extends Resource = AnyResource> extends BaseNode<R> {
     action: "update";
-    resource: R;
-    olds: any;
-    news: any;
-    output: any;
-    provider: ProviderService;
-    attributes: R["attr"];
-    bindings: BindNode[];
-};
-export type Delete<R extends Resource> = {
+    props: any;
+    state: CreatedResourceState | UpdatedResourceState | UpdatingReourceState | ReplacedResourceState;
+}
+export interface Delete<R extends Resource = AnyResource> extends BaseNode<R> {
     action: "delete";
-    resource: R;
-    olds: any;
-    output: any;
-    provider: ProviderService;
-    bindings: BindNode[];
-    attributes: R["attr"];
-    downstream: string[];
-};
-export type NoopUpdate<R extends Resource> = {
+    state: ResourceState;
+}
+export interface NoopUpdate<R extends Resource = AnyResource> extends BaseNode<R> {
     action: "noop";
-    resource: R;
-    attributes: R["attr"];
-    bindings: BindNode[];
-};
-export type Replace<R extends Resource> = {
+    state: CreatedResourceState | UpdatedResourceState;
+}
+export interface Replace<R extends Resource = AnyResource> extends BaseNode<R> {
     action: "replace";
-    resource: R;
-    olds: any;
-    news: any;
-    output: any;
-    provider: ProviderService;
-    bindings: BindNode[];
-    attributes: R["attr"];
-    deleteFirst?: boolean;
+    props: any;
+    deleteFirst: boolean;
+    state: CreatingResourceState | CreatedResourceState | UpdatingReourceState | UpdatedResourceState | ReplacingResourceState | ReplacedResourceState;
+}
+export type ResourceGraph<Resources extends Service | Resource> = ToGraph<TraverseResources<Resources>>;
+export type TraverseResources<Resources extends Service | Resource> = Resources | BoundResources<Resources> | TransitiveResources<Resources>;
+type ToGraph<Resources extends Service | Resource> = {
+    [ID in Resources["id"]]: Apply<Extract<Resources, {
+        id: ID;
+    }>>;
 };
-export type Plan = {
-    phase: Phase;
+export type BoundResources<Resources extends Service | Resource> = NeverUnknown<Extract<Resources, IService>["props"]["bindings"]["capabilities"][number]["resource"]>;
+export type TransitiveResources<Resources extends Service | Resource, Found extends Service | Resource = never> = Extract<Found | {
+    [prop in keyof Resources["props"]]: IsAny<Resources["props"][prop]> extends true ? Found : Resources["props"][prop] extends {
+        kind: "alchemy/Policy";
+    } ? Found : Resources["props"][prop] extends Output.Output<any, infer Src, any> ? Src extends Found ? Found : TransitiveResources<Src, Src | Found> : {
+        [p in keyof Resources["props"][prop]]: IsAny<Resources["props"][prop][p]> extends true ? Found : Resources["props"][prop][p] extends Output.Output<any, infer Src, any> ? Src extends Found ? Found : TransitiveResources<Src, Src | Found> : Found;
+    }[keyof Resources["props"][prop]];
+}[keyof Resources["props"]], Service | Resource>;
+export type Providers<Resources extends Service | Resource> = ResourceProviders<Resources> | BindingTags<Resources>;
+export type ResourceProviders<Res extends Service | Resource> = Res extends any ? Provider<Extract<Res["base"], Service | Resource>> : never;
+export type BindingTags<Resources extends Service | Resource> = NeverUnknown<Extract<Resources, Service>["props"]["bindings"]["tags"][number]>;
+type NeverUnknown<T> = unknown extends T ? never : T;
+type IsAny<T> = 0 extends 1 & T ? true : false;
+export type DerivePlan<Resources extends Service | Resource> = {
     resources: {
-        [id in string]: CRUD;
+        [ID in keyof ResourceGraph<Resources>]: ResourceGraph<Resources>[ID];
+    };
+    deletions: {
+        [ID in string]: Delete<AnyResource>;
+    };
+};
+export type IPlan = {
+    resources: {
+        [id in string]: Apply<any>;
     };
     deletions: {
         [id in string]?: Delete<Resource>;
     };
 };
-export declare const plan: <const Phase extends "update" | "destroy", const Resources extends (Service | Resource)[]>({ phase, resources, }: {
-    phase: Phase;
-    resources: Resources;
-}) => Effect.Effect<{
-    phase: Phase;
-    resources: { [ID in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"] | { [ID_1 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<{ [ID_2 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_2, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]["id"] | Resources[number]["id"]]: ({ [ID_2 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Apply<Extract<Instance<{ [ID_3 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_3, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_2]>, Resource<string, string, unknown, unknown>>>; } & { [ID_3 in { [ID_1 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<{ [ID_3 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_3, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]["id"]]: Apply<Extract<{ [ID_1 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<{ [ID_4 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_4, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID_1]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]], {
-        id: ID_3;
-    }>>; } & { [ID_4 in Resources[number]["id"]]: Apply<Extract<Resources[number], {
-        id: ID_4;
-    }>>; })[ID]; };
-    deletions: { [id in Exclude<string, Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"] | { [ID in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<{ [ID_1 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_1, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID]["props"]["bindings"]["capabilities"][number]["resource"], Resource<string, string, unknown, unknown>>; }[Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]["id"] | Resources[number]["id"]>]?: Delete<Resource>; };
-}, never, { [ID in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: { [ID_1 in Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]]: Extract<Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>, Service<Extract<ID_1, string>, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>; }[ID]["props"]["bindings"]["tags"][number]; }[Extract<Resources[number], IService<string, import("./runtime.ts").Runtime<string, unknown, unknown>, import("./runtime.ts").RuntimeHandler, import("./runtime.ts").RuntimeProps<import("./runtime.ts").Runtime<string, unknown, unknown>, any>, unknown>>["id"]] | State>;
+export type Plan<Resources extends Service | Resource> = Effect.Effect<DerivePlan<Resources>, CannotReplacePartiallyReplacedResource | DeleteResourceHasDownstreamDependencies, Providers<Resources> | State>;
+export declare const plan: <const Resources extends (Service | Resource)[]>(..._resources: Resources) => Plan<Instance<Resources[number]>>;
+declare const CannotReplacePartiallyReplacedResource_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "CannotReplacePartiallyReplacedResource";
+} & Readonly<A>;
+export declare class CannotReplacePartiallyReplacedResource extends CannotReplacePartiallyReplacedResource_base<{
+    message: string;
+    logicalId: string;
+}> {
+    constructor(logicalId: string);
+}
+declare const DeleteResourceHasDownstreamDependencies_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "DeleteResourceHasDownstreamDependencies";
+} & Readonly<A>;
+export declare class DeleteResourceHasDownstreamDependencies extends DeleteResourceHasDownstreamDependencies_base<{
+    message: string;
+    resourceId: string;
+    dependencies: string[];
+}> {
+}
+/**
+ * Print a plan in a human-readable format that shows the graph topology.
+ */
+export declare const printPlan: (plan: IPlan) => string;
+export {};
 //# sourceMappingURL=plan.d.ts.map

package/lib/plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EACV,UAAU,EAGX,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAa,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EAAE,KAAK,EAAuC,MAAM,YAAY,CAAC;AAExE,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAE9B,eAAO,MAAM,UAAU,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,QAQ9C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAClD,MAAM,CAAC,CAAC,CAAC,GACT,QAAQ,CAAC,CAAC,CAAC,GACX,MAAM,CAAC,CAAC,CAAC,GACT,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEhB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,IAS1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC1C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAElB,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,IAC3C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAYlB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,QAAQ,IAAI;IACvC,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,CAAC,CAAC;IACZ,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,QAAQ,EAAE,QAAQ,EAAE,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI;IACxC,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,CAAC,CAAC;IACZ,IAAI,EAAE,GAAG,CAAC;IACV,IAAI,EAAE,GAAG,CAAC;IACV,MAAM,EAAE,GAAG,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,IAAI;KACrB,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC;CACH,CAAC;AAEF,eAAO,MAAM,IAAI,GACf,KAAK,CAAC,KAAK,SAAS,QAAQ,GAAG,SAAS,EACxC,KAAK,CAAC,SAAS,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,EAAE,EAC9C,uBAGC;IACD,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,SAAS,CAAC;CACtB,KAiPO,MAAM,CAAC,MAAM,CACjB;IACE,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,GACR,EAAE,grDAAuB;YAjOK,IAAE;;YAIF,IAAE;kBA8NlC,CAAC;IACF,SAAS,EAAE,GACR,EAAE,IAAI,OAAO,CAAC,MAAM,wQA9OxB,EAAE,i6CA8O4C,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,GAChE,CAAC;CACH,EACD,KAAK,EACL,GArPC,EAAE,0zCAqPY,KAAK,CAEvB,CAAC"}
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,EACV,UAAU,EAGX,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,KAAK,eAAe,EAAqB,MAAM,eAAe,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AACzE,OAAO,EAAa,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,EACL,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,EAEL,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAGpB,MAAM,MAAM,SAAS,GAAG,KAAK,CAAC;AAE9B,eAAO,MAAM,UAAU,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,QAQ9C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAClD,MAAM,CAAC,CAAC,CAAC,GACT,QAAQ,CAAC,CAAC,CAAC,GACX,MAAM,CAAC,CAAC,CAAC,GACT,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEhB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACtD,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,MAAM,GAAI,MAAM,GAAG,KAAG,IAAI,IAAI,IAS1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,IAC7C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAElB,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,IAC9C,MAAM,CAAC,CAAC,CAAC,GACT,MAAM,CAAC,CAAC,CAAC,GACT,OAAO,CAAC,CAAC,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,CAAC;AAElB,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW;IACxD,QAAQ,EAAE,CAAC,CAAC;IACZ,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7B,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACrB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,GAAG,CAAC;IACX,KAAK,EAAE,qBAAqB,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,GAAG,CAAC;IACX,KAAK,EACD,oBAAoB,GACpB,oBAAoB,GACpB,oBAAoB,GAGpB,qBAAqB,CAAC;CAC3B;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,EAAE,QAAQ,CAAC;IAEjB,KAAK,EAAE,aAAa,CAAC;CACtB;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAC1D,SAAQ,QAAQ,CAAC,CAAC,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,oBAAoB,GAAG,oBAAoB,CAAC;CACpD;AAED,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,QAAQ,GAAG,WAAW,CAAE,SAAQ,QAAQ,CAAC,CAAC,CAAC;IAC5E,MAAM,EAAE,SAAS,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC;IACX,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EACD,qBAAqB,GACrB,oBAAoB,GACpB,oBAAoB,GACpB,oBAAoB,GACpB,sBAAsB,GACtB,qBAAqB,CAAC;CAC3B;AAED,MAAM,MAAM,aAAa,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,OAAO,CACvE,iBAAiB,CAAC,SAAS,CAAC,CAC7B,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAC9D,SAAS,GACT,cAAc,CAAC,SAAS,CAAC,GACzB,mBAAmB,CAAC,SAAS,CAAC,CAAC;AAEnC,KAAK,OAAO,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI;KAClD,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE;QAAE,EAAE,EAAE,EAAE,CAAA;KAAE,CAAC,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,YAAY,CAC7E,OAAO,CACL,SAAS,EACT,QAAQ,CACT,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAC3D,CAAC;AAIF,MAAM,MAAM,mBAAmB,CAC7B,SAAS,SAAS,OAAO,GAAG,QAAQ,EACpC,KAAK,SAAS,OAAO,GAAG,QAAQ,GAAG,KAAK,IACtC,OAAO,CACP,KAAK,GACL;KACG,IAAI,IAAI,MAAM,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,CACvC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CACzB,SAAS,IAAI,GACV,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;QAAE,IAAI,EAAE,gBAAgB,CAAA;KAAE,GACzD,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,EAAE,GAAG,CAAC,GACjE,GAAG,SAAS,KAAK,GACf,KAAK,GACL,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GACvC;SACG,CAAC,IAAI,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAC1C,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAC5B,SAAS,IAAI,GACV,KAAK,GACL,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAC7C,GAAG,EACH,MAAM,GAAG,EACT,GAAG,CACJ,GACD,GAAG,SAAS,KAAK,GACf,KAAK,GACL,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,GACvC,KAAK;KACZ,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;CAC1C,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC,EAC7B,OAAO,GAAG,QAAQ,CACnB,CAAC;AAEF,MAAM,MAAM,SAAS,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IACtD,iBAAiB,CAAC,SAAS,CAAC,GAC5B,WAAW,CAAC,SAAS,CAAC,CAAC;AAE3B,MAAM,MAAM,iBAAiB,CAAC,GAAG,SAAS,OAAO,GAAG,QAAQ,IAAI,GAAG,SAAS,GAAG,GAC3E,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC,CAAC,GAClD,KAAK,CAAC;AAEV,MAAM,MAAM,WAAW,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,YAAY,CAC1E,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CACjE,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAErD,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/C,MAAM,MAAM,UAAU,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI;IAC7D,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,aAAa,CAAC,SAAS,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC;KACpC,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC;KAC3B,CAAC;IACF,SAAS,EAAE;SACR,EAAE,IAAI,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,IAAI,CAAC,SAAS,SAAS,OAAO,GAAG,QAAQ,IAAI,MAAM,CAAC,MAAM,CACpE,UAAU,CAAC,SAAS,CAAC,EACnB,sCAAsC,GACtC,uCAAuC,EACzC,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,CAC7B,CAAC;AAEF,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,SAAS,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC,EAAE,EACjE,GAAG,YAAY,SAAS,KACvB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CA+gBxB,CAAC;;;;AAEZ,qBAAa,sCAAuC,SAAQ,4CAE1D;IACA,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;gBACY,SAAS,EAAE,MAAM;CAS9B;;;;AAED,qBAAa,uCAAwC,SAAQ,6CAE3D;IACA,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB,CAAC;CAAG;AAyJL;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,KAAK,KAAG,MAkGvC,CAAC"}