@telorun/kernel 0.81.0 → 0.82.1

package/dist/effect-scope.js

@@ -0,0 +1,253 @@
+import { RuntimeError } from "@telorun/sdk";
+/** One line for an inverse's refusal, quoted into a recovery aggregate. */
+function errorText(err) {
+    return err instanceof Error ? err.message : String(err);
+}
+function isAsyncGenerator(value) {
+    return (typeof value === "object" &&
+        value !== null &&
+        typeof value.next === "function" &&
+        Symbol.asyncIterator in value);
+}
+/**
+ * A lazy chain of steps against one scope.
+ *
+ * Immutable and value-like, so `chain.effect(...)` in a branch or a loop builds
+ * a new description rather than mutating a shared one. Deliberately NOT a
+ * thenable: an `async init()` would unwrap it and hand the kernel its last
+ * result instead of the chain.
+ */
+class Chain {
+    scope;
+    steps;
+    constructor(scope, steps) {
+        this.scope = scope;
+        this.steps = steps;
+    }
+    effect(reason, body) {
+        return new Chain(this.scope, [
+            ...this.steps,
+            { reason, body: body },
+        ]);
+    }
+    perform() {
+        return this.scope.execute(this.steps);
+    }
+    /** The steps, for the kernel executing a chain a controller returned. */
+    plan() {
+        return this.steps;
+    }
+}
+/** A chain produced by this kernel, as opposed to any other object a controller
+ *  might return from `init()`. */
+export function isEffectChain(value) {
+    return value instanceof Chain;
+}
+export class EffectScope {
+    label;
+    /** Innermost last. `create` is opened with the scope, so there is always a
+     *  frame to register onto. */
+    frames = [];
+    /** Set while this scope is unwinding. A generator body checks it at each step
+     *  boundary and stops rather than allocating into a scope that is going away —
+     *  the mid-boot SIGINT case. */
+    unwinding = false;
+    /** Terminal: set by {@link unwindAll}. A closed scope has no frames and takes
+     *  no new effects. */
+    closed = false;
+    constructor(label) {
+        this.label = label;
+        this.openFrame("create");
+    }
+    /** Refuse work against a scope that has already unwound. Raised BEFORE a
+     *  forward body runs, so a late effect cannot allocate and then find it has
+     *  nowhere to record the inverse. */
+    assertOpen(what) {
+        if (!this.closed)
+            return;
+        throw new RuntimeError("ERR_EFFECT_SCOPE_CLOSED", `${this.label}: '${what}' cannot run — this resource has been torn down. ` +
+            `An effect registered now would record an inverse nothing will ever run.`);
+    }
+    openFrame(label) {
+        this.frames.push({ label, entries: [] });
+    }
+    /** Start a chain. Nothing runs until it is executed. */
+    chain(reason, body) {
+        return new Chain(this, []).effect(reason, body);
+    }
+    /**
+     * Register an inverse for work performed elsewhere, without a forward body.
+     *
+     * The synchronous door onto the same accumulator, for a primitive that
+     * already returns its own inverse: `acquireHold` hands back a release
+     * closure, and its public signature is synchronous, so it cannot go through a
+     * chain.
+     */
+    register(reason, inverse) {
+        this.assertOpen(reason);
+        const entry = { reason, inverse, disposed: false };
+        this.current().entries.push(entry);
+        return () => this.disposeEntries([entry]);
+    }
+    /**
+     * Run a chain's steps in order against the frame open NOW, threading each
+     * step's result into the next.
+     *
+     * A step that throws leaves every inverse produced so far on the frame — this
+     * does not unwind, because whether a partial `init()` is recovered-and-retried
+     * or torn down is the caller's decision, not this function's.
+     */
+    async execute(steps) {
+        const registered = [];
+        const push = (reason, inverse) => {
+            const entry = { reason, inverse, disposed: false };
+            this.current().entries.push(entry);
+            registered.push(entry);
+        };
+        let value = undefined;
+        for (const step of steps) {
+            this.assertOpen(step.reason);
+            if (this.unwinding) {
+                throw new RuntimeError("ERR_EFFECT_SCOPE_CLOSING", `${this.label}: '${step.reason}' not started because the resource is being torn down`);
+            }
+            const produced = step.body(value);
+            if (isAsyncGenerator(produced)) {
+                const iterator = produced;
+                for (;;) {
+                    if (this.unwinding) {
+                        // Stop at the step boundary and let the generator run its own
+                        // `finally`. What already yielded stays on the frame and is
+                        // recovered by the unwind in progress.
+                        await iterator.return?.(undefined);
+                        throw new RuntimeError("ERR_EFFECT_SCOPE_CLOSING", `${this.label}: '${step.reason}' stopped because the resource is being torn down`);
+                    }
+                    const next = await iterator.next();
+                    if (next.done) {
+                        value = next.value;
+                        break;
+                    }
+                    push(step.reason, next.value);
+                }
+            }
+            else {
+                const outcome = (await produced);
+                // No inverse means the step allocated nothing that outlives a failure —
+                // a chain is the sequencing structure for lifecycle work as well as the
+                // record of what to undo, so a step with nothing to undo registers
+                // nothing rather than a no-op that would read as an oversight.
+                if (outcome.inverse)
+                    push(step.reason, outcome.inverse);
+                value = outcome.result;
+            }
+        }
+        return { result: value, dispose: () => this.disposeEntries(registered) };
+    }
+    /**
+     * Unwind the innermost frame and close it, returning what refused.
+     *
+     * Failures are returned rather than thrown: the caller decides what a refusal
+     * means. Pre-retry recovery withholds the resource (retrying from a state that
+     * could not be rolled back is worse than not retrying); teardown aggregates
+     * and keeps going, so one throwing resource cannot strand the log sinks pinned
+     * to outlive it.
+     */
+    async unwindFrame() {
+        const frame = this.frames.pop();
+        if (!frame)
+            return [];
+        return this.runInverses(frame.entries);
+    }
+    /**
+     * Unwind every open frame, innermost first, and CLOSE the scope.
+     *
+     * Terminal, because both callers are: teardown, and the discard of a resource
+     * whose `init()` failed (its replacement is built with a fresh context, so a
+     * fresh scope). A closed scope refuses new effects rather than accepting them
+     * onto a frame nothing will ever unwind — recording an inverse that will never
+     * run is the silent leak this whole mechanism exists to remove, and it is
+     * exactly the shape a detached task still settling after teardown produces.
+     */
+    async unwindAll() {
+        const failures = [];
+        while (this.frames.length > 0)
+            failures.push(...(await this.unwindFrame()));
+        this.closed = true;
+        return failures;
+    }
+    async runInverses(entries) {
+        const wasUnwinding = this.unwinding;
+        this.unwinding = true;
+        const failures = [];
+        for (const entry of [...entries].reverse()) {
+            if (entry.disposed)
+                continue;
+            entry.disposed = true;
+            try {
+                await entry.inverse();
+            }
+            catch (error) {
+                failures.push({ reason: entry.reason, error });
+            }
+        }
+        this.unwinding = wasUnwinding;
+        return failures;
+    }
+    async disposeEntries(entries) {
+        const failures = await this.runInverses(entries);
+        if (failures.length === 0)
+            return;
+        // An explicit dispose HAS a caller, unlike an unwind — so it throws rather
+        // than being collected into someone else's aggregate. Every refusal travels,
+        // matching the init and teardown paths: a dispose covers a chain, so
+        // reporting the first and dropping the rest would hide the others exactly
+        // where more than one thing failed to roll back.
+        throw new RuntimeError("ERR_EFFECT_RECOVERY_FAILED", `${this.label}: ${failures.length} inverse(s) refused: ` +
+            failures.map((f) => `'${f.reason}' (${errorText(f.error)})`).join(", "), failures.map((f) => ({
+            severity: "error",
+            message: `inverse '${f.reason}' refused: ${errorText(f.error)}`,
+        })));
+    }
+    current() {
+        this.assertOpen("effect");
+        const frame = this.frames[this.frames.length - 1];
+        if (!frame)
+            throw new RuntimeError("ERR_EFFECT_NO_FRAME", `${this.label}: no open effect frame`);
+        return frame;
+    }
+}
+/**
+ * Execute whatever a lifecycle method returned.
+ *
+ * A controller that allocates nothing returns nothing, so a non-chain return is
+ * not an error — but it is also not an inverse, which is why `init()` returning
+ * a chain it forgot to hand back fails loudly and immediately: nothing was
+ * allocated at all.
+ */
+export async function executeReturnedChain(returned, scope) {
+    if (!isEffectChain(returned))
+        return;
+    if (!scope) {
+        throw new RuntimeError("ERR_EFFECT_NO_SCOPE", "a controller returned an effect chain from a resource with no effect scope");
+    }
+    await scope.execute(returned.plan());
+}
+/**
+ * An instance's effect owner, recorded at the kernel's single
+ * instance-production site — the anchor that already carries handle minting and
+ * contract binding, so an instance is never observable without one.
+ *
+ * A WeakMap rather than a field on the resource-instances map: teardown holds
+ * the instance and nothing else, and every reader of that map would otherwise
+ * have to learn about effects. First bind wins, mirroring handle minting: a
+ * `base:` child IS the parent instance returned verbatim, and re-binding would
+ * give one object two accumulators.
+ */
+const owners = new WeakMap();
+export function bindEffectOwner(instance, owner) {
+    if (!owners.has(instance))
+        owners.set(instance, owner);
+}
+export function effectOwnerOf(instance) {
+    return owners.get(instance);
+}
+//# sourceMappingURL=effect-scope.js.map

package/dist/effect-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-scope.js","sourceRoot":"","sources":["../src/effect-scope.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAsC5C,2EAA2E;AAC3E,SAAS,SAAS,CAAC,GAAY;IAC7B,OAAO,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAQ,KAAwB,CAAC,IAAI,KAAK,UAAU;QACpD,MAAM,CAAC,aAAa,IAAK,KAAgB,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,KAAK;IAEU;IACA;IAFnB,YACmB,KAAkB,EAClB,KAAsB;QADtB,UAAK,GAAL,KAAK,CAAa;QAClB,UAAK,GAAL,KAAK,CAAiB;IACtC,CAAC;IAEJ,MAAM,CAAQ,MAAc,EAAE,IAA0B;QACtD,OAAO,IAAI,KAAK,CAAQ,IAAI,CAAC,KAAK,EAAE;YAClC,GAAG,IAAI,CAAC,KAAK;YACb,EAAE,MAAM,EAAE,IAAI,EAAE,IAAoC,EAAE;SACvD,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAA6B,CAAC;IACpE,CAAC;IAED,yEAAyE;IACzE,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED;kCACkC;AAClC,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,KAAK,YAAY,KAAK,CAAC;AAChC,CAAC;AAED,MAAM,OAAO,WAAW;IAcO;IAb7B;kCAC8B;IACb,MAAM,GAAY,EAAE,CAAC;IAEtC;;oCAEgC;IACxB,SAAS,GAAG,KAAK,CAAC;IAE1B;0BACsB;IACd,MAAM,GAAG,KAAK,CAAC;IAEvB,YAA6B,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;QACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IAED;;yCAEqC;IAC7B,UAAU,CAAC,IAAY;QAC7B,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO;QACzB,MAAM,IAAI,YAAY,CACpB,yBAAyB,EACzB,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,mDAAmD;YACxE,yEAAyE,CAC5E,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,KAAiB;QACzB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,wDAAwD;IACxD,KAAK,CAAI,MAAc,EAAE,IAAyB;QAChD,OAAO,IAAI,KAAK,CAAQ,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,IAA4B,CAAC,CAAC;IACjF,CAAC;IAED;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAc,EAAE,OAAgB;QACvC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,KAAK,GAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACjE,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,OAAO,CAAC,KAAsB;QAClC,MAAM,UAAU,GAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,OAAgB,EAAQ,EAAE;YACtD,MAAM,KAAK,GAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACjE,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC,CAAC;QAEF,IAAI,KAAK,GAAY,SAAS,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,MAAM,IAAI,YAAY,CACpB,0BAA0B,EAC1B,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,uDAAuD,CACtF,CAAC;YACJ,CAAC;YACD,MAAM,QAAQ,GAAI,IAAI,CAAC,IAAoC,CAAC,KAAK,CAAC,CAAC;YACnE,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,QAAkD,CAAC;gBACpE,SAAS,CAAC;oBACR,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;wBACnB,8DAA8D;wBAC9D,4DAA4D;wBAC5D,uCAAuC;wBACvC,MAAM,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAkB,CAAC,CAAC;wBAC5C,MAAM,IAAI,YAAY,CACpB,0BAA0B,EAC1B,GAAG,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,MAAM,mDAAmD,CAClF,CAAC;oBACJ,CAAC;oBACD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;oBACnC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;wBACnB,MAAM;oBACR,CAAC;oBACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,CAAC,MAAM,QAAQ,CAA2B,CAAC;gBAC3D,wEAAwE;gBACxE,wEAAwE;gBACxE,mEAAmE;gBACnE,+DAA+D;gBAC/D,IAAI,OAAO,CAAC,OAAO;oBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;gBACxD,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;IAC3E,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,WAAW;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,SAAS;QACb,MAAM,QAAQ,GAAsB,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,OAAuB;QAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC;QACpC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,MAAM,QAAQ,GAAsB,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,QAAQ;gBAAE,SAAS;YAC7B,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;YACtB,IAAI,CAAC;gBACH,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;YACxB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC;QAC9B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,OAAuB;QAClD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAClC,2EAA2E;QAC3E,6EAA6E;QAC7E,qEAAqE;QACrE,0EAA0E;QAC1E,iDAAiD;QACjD,MAAM,IAAI,YAAY,CACpB,4BAA4B,EAC5B,GAAG,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,MAAM,uBAAuB;YACtD,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,MAAM,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACzE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnB,QAAQ,EAAE,OAAgB;YAC1B,OAAO,EAAE,YAAY,CAAC,CAAC,MAAM,cAAc,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;SAChE,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC;IAEO,OAAO;QACb,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,YAAY,CAAC,qBAAqB,EAAE,GAAG,IAAI,CAAC,KAAK,wBAAwB,CAAC,CAAC;QACjG,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAiB,EAAE,KAAmB;IAC/E,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC;QAAE,OAAO;IACrC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,YAAY,CACpB,qBAAqB,EACrB,4EAA4E,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AAgBD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,GAAG,IAAI,OAAO,EAAiC,CAAC;AAE5D,MAAM,UAAU,eAAe,CAAC,QAA0B,EAAE,KAAkB;IAC5E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAA0B;IACtD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC9B,CAAC"}

package/dist/evaluation-context.d.ts

@@ -50,12 +50,27 @@ export declare class EvaluationContext implements IEvaluationContext {
         resource: ResourceManifest;
         instance: ResourceInstance;
     }>;
-    /** Resources that have been created but not yet initialized (between phases). */
+    /** Resources that have been created but not yet initialized (between phases).
+     *  `source` is the manifest as REGISTERED, kept so a discarded instance is
+     *  rebuilt from what the author wrote rather than from the create-time
+     *  expansion of it. */
     protected readonly createdInstances: Map<string, {
         resource: ResourceManifest;
         instance: ResourceInstance;
         ctx: any;
+        source: ResourceManifest;
     }>;
+    /**
+     * Resources whose failed `init()` could not be rolled back.
+     *
+     * Withheld rather than retried: re-running `init()` from a state an inverse
+     * refused to restore is worse than not retrying, so the loop skips them and
+     * they are reported with both the init error and the refusing inverse.
+     */
+    private readonly withheldResources;
+    /** Resources discarded after a failed `init()` and re-queued for creation.
+     *  Their re-creation is not progress — see the create sub-phase. */
+    private readonly recreatedResources;
     /** Resources queued for initialization on this context node. */
     private pendingResources;
     /**
@@ -178,6 +193,16 @@ export declare class EvaluationContext implements IEvaluationContext {
      * Attach a child context to this node. The child's parent is set to this
      * context and the child is registered under the given name.
      */
+    /**
+     * Detach a child from this node — the inverse of {@link spawnChild}.
+     *
+     * A child is normally torn down in place, so this exists for the one case
+     * that discards it instead: an import whose instance is dropped and rebuilt
+     * must not leave its child in `children`, or this context's teardown cascades
+     * into a context whose replacement is already live. Here rather than in the
+     * controller, because how children are tracked is this class's own fact.
+     */
+    detachChild(child: IEvaluationContext): void;
     spawnChild<T extends IEvaluationContext>(child: T): T;
     /** Spawn a fresh child context attached to this node — the isolated scope a
      *  templated definition registers its `resources:` into. Rooting it on the

package/dist/evaluation-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluation-context.d.ts","sourceRoot":"","sources":["../src/evaluation-context.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,WAAW,EAEX,KAAK,iBAAiB,IAAI,kBAAkB,EAC5C,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAGlB,KAAK,WAAW,EAChB,KAAK,MAAM,EACZ,MAAM,cAAc,CAAC;AAetB,OAAO,EAAE,WAAW,EAAE,CAAC;AAyFvB,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA6CzB;AAuED;iFACiF;AACjF,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAIrC;AAwCD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkBlF;AAgCD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC,GAAG,SAAS,GAC5E,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgBlC;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,IAAI,aAAa,GAAG,SAAS,CAEhE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAE3E;AAsED;;;;;;;;;;GAUG;AACH,qBAAa,iBAAkB,YAAW,kBAAkB;IAoGxD,QAAQ,CAAC,MAAM,EAAE,MAAM;IAnGzB,QAAQ,CAAC,EAAE,SAA0C;IACrD,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,SAAS,CAAC,eAAe,EAAE,eAAe,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAEzB,sCAAsC;IACtC,MAAM,EAAE,kBAAkB,GAAG,SAAS,CAAa;IACnD,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAM;IAE7C,oDAAoD;IACpD,KAAK,EAAE,cAAc,CAAa;IAElC,6EAA6E;IAC7E,QAAQ,CAAC,iBAAiB;kBAEZ,gBAAgB;kBAAY,gBAAgB;OACtD;IAEJ,iFAAiF;IACjF,SAAS,CAAC,QAAQ,CAAC,gBAAgB;kBAErB,gBAAgB;kBAAY,gBAAgB;aAAO,GAAG;OAChE;IAEJ,gEAAgE;IAChE,OAAO,CAAC,gBAAgB,CAA0B;IAElD;;;;;;;;;;OAUG;IACH,SAAS,CAAC,QAAQ,CAAC,iBAAiB,gCAAuC;IAE3E;;;mEAG+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA+B;IAEpE;;;OAGG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;;;;OAIG;IACH,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC;IAEjE;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,aAAa,CAAC;IAEtB;uFACmF;IACnF,IAAI,WAAW,IAAI,MAAM,CAExB;IAED,wEAAwE;IACxE,OAAO,CAAC,UAAU;IAIlB;;;yEAGqE;IACrE,OAAO,CAAC,WAAW;gBAQR,MAAM,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,cAAc,EAAE,eAAe,YAAmB,EAClD,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EACzB,IAAI,EAAE,SAAS;IAQjB,IAAI,cAAc,IAAI,eAAe,CAEpC;IAED;iFAC6E;IAC7E,SAAS,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAIlF;;4CAEwC;IACxC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IAE5F;;mCAE+B;YACjB,WAAW;IAMzB;;;;;;;;OAQG;IACG,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBrF;;;8EAG0E;IAC1E,OAAO,CAAC,cAAc;IAKtB;;;;;OAKG;IACG,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAoBlD,IAAI,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAErC;IAED,IAAI,YAAY,IAAI,GAAG,CAAC,MAAM,CAAC,CAE9B;IAED;;;;;OAKG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IASnC;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAQlC,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAYlD;;;;;;;;;;OAUG;IACH,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAWnF;oEACgE;IAChE,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIlF;;;OAGG;IACH,UAAU,CAAC,CAAC,SAAS,kBAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC;IAuBrD;;;;;;4DAMwD;IACxD,iBAAiB,IAAI,iBAAiB;IActC;;;;;OAKG;IACH,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIlF;;;;;;;;;;;;;;;;;;OAkBG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC;IAgJ1C,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAuBlD;;;;;;;;OAQG;IACH,iBAAiB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,WAAW;IA8G7D;;;;;OAKG;IAEG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IA6DxC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa;IAWrB,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB;IAU/D;;;;;OAKG;IACG,MAAM,CAAC,OAAO,EAClB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC;IA6Bf;;;;;OAKG;IACG,cAAc,CAAC,OAAO,EAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC;IAUf;;;;;;;;;;OAUG;IACH;;;;;;OAMG;IACH,SAAS,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAI/D,SAAS,CAAC,YAAY,CACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,YAAY,EAAE,MAAM,GAAG,SAAS,EAChC,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,UAAU,EAAE,QAAQ,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,EACpD,KAAK,EAAE,OAAO,GAAG,KAAK,EACtB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;YAkBZ,SAAS;IA+JvB;;;;;;OAMG;IACH;;;gFAG4E;IAC5E,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAI/C;;;0EAGsE;IACtE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,SAAS,CAAC;IAErD,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,qBAAqB;IAgBvB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAW3D;;;;;OAKG;IACG,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,IAAI,CAAC;IAUhB;;;;;OAKG;IACG,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC;YAsD3E,WAAW;IAgGzB;;;;;;;;OAQG;IACH,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAIhD;;;;;;;;;;OAUG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO;IAS/B;;;;;;;;OAQG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO;IAyB1E;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;;;OAIG;IACH,SAAS,CACP,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC7C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IA2C1B;mEAC+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAGxB;IAEN;;;;SAIK;IACH,WAAW,CACT,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,MAAM,EAAE,EACf,YAAY,GAAE,MAAM,EAAO,GAC1B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAmB3B;AA4ED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,GACV,MAAM,GAAG,IAAI,CAIf;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,GACV,MAAM,GAAG,IAAI,CAIf"}
+{"version":3,"file":"evaluation-context.d.ts","sourceRoot":"","sources":["../src/evaluation-context.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,WAAW,EAEX,KAAK,iBAAiB,IAAI,kBAAkB,EAC5C,KAAK,WAAW,EAChB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAGlB,KAAK,WAAW,EAChB,KAAK,MAAM,EACZ,MAAM,cAAc,CAAC;AAiBtB,OAAO,EAAE,WAAW,EAAE,CAAC;AAyFvB,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,GACxB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA6CzB;AAuED;iFACiF;AACjF,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,GAChB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAIrC;AAwCD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkBlF;AAgCD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC,GAAG,SAAS,GAC5E,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgBlC;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,IAAI,aAAa,GAAG,SAAS,CAEhE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAE3E;AAsED;;;;;;;;;;GAUG;AACH,qBAAa,iBAAkB,YAAW,kBAAkB;IAoHxD,QAAQ,CAAC,MAAM,EAAE,MAAM;IAnHzB,QAAQ,CAAC,EAAE,SAA0C;IACrD,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,SAAS,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,SAAS,CAAC,eAAe,EAAE,eAAe,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAEzB,sCAAsC;IACtC,MAAM,EAAE,kBAAkB,GAAG,SAAS,CAAa;IACnD,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAM;IAE7C,oDAAoD;IACpD,KAAK,EAAE,cAAc,CAAa;IAElC,6EAA6E;IAC7E,QAAQ,CAAC,iBAAiB;kBAEZ,gBAAgB;kBAAY,gBAAgB;OACtD;IAEJ;;;2BAGuB;IACvB,SAAS,CAAC,QAAQ,CAAC,gBAAgB;kBAErB,gBAAgB;kBAAY,gBAAgB;aAAO,GAAG;gBAAU,gBAAgB;OAC1F;IAEJ;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAqB;IAEvD;wEACoE;IACpE,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IAExD,gEAAgE;IAChE,OAAO,CAAC,gBAAgB,CAA0B;IAElD;;;;;;;;;;OAUG;IACH,SAAS,CAAC,QAAQ,CAAC,iBAAiB,gCAAuC;IAE3E;;;mEAG+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA+B;IAEpE;;;OAGG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;;;;OAIG;IACH,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,kBAAkB,GAAG,SAAS,CAAC;IAEjE;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;;;;;OAOG;IACH,KAAK,CAAC,EAAE,aAAa,CAAC;IAEtB;uFACmF;IACnF,IAAI,WAAW,IAAI,MAAM,CAExB;IAED,wEAAwE;IACxE,OAAO,CAAC,UAAU;IAIlB;;;yEAGqE;IACrE,OAAO,CAAC,WAAW;gBAQR,MAAM,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,cAAc,EAAE,eAAe,YAAmB,EAClD,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,EACzB,IAAI,EAAE,SAAS;IAQjB,IAAI,cAAc,IAAI,eAAe,CAEpC;IAED;iFAC6E;IAC7E,SAAS,CAAC,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAIlF;;4CAEwC;IACxC,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IAE5F;;mCAE+B;YACjB,WAAW;IAMzB;;;;;;;;OAQG;IACG,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBrF;;;8EAG0E;IAC1E,OAAO,CAAC,cAAc;IAKtB;;;;;OAKG;IACG,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAoBlD,IAAI,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAErC;IAED,IAAI,YAAY,IAAI,GAAG,CAAC,MAAM,CAAC,CAE9B;IAED;;;;;OAKG;IACH,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI;IASnC;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAQlC,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAYlD;;;;;;;;;;OAUG;IACH,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAWnF;oEACgE;IAChE,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIlF;;;OAGG;IACH;;;;;;;;OAQG;IACH,WAAW,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI;IAK5C,UAAU,CAAC,CAAC,SAAS,kBAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC;IAuBrD;;;;;;4DAMwD;IACxD,iBAAiB,IAAI,iBAAiB;IActC;;;;;OAKG;IACH,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIlF;;;;;;;;;;;;;;;;;;OAkBG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC;IAoN1C,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAuBlD;;;;;;;;OAQG;IACH,iBAAiB,CAAC,SAAS,EAAE,gBAAgB,EAAE,GAAG,WAAW;IA8G7D;;;;;OAKG;IAEG,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC;IAkFxC;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa;IAWrB,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB;IAU/D;;;;;OAKG;IACG,MAAM,CAAC,OAAO,EAClB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC;IA6Bf;;;;;OAKG;IACG,cAAc,CAAC,OAAO,EAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,OAAO,EACf,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,GAAG,CAAC;IAUf;;;;;;;;;;OAUG;IACH;;;;;;OAMG;IACH,SAAS,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IAI/D,SAAS,CAAC,YAAY,CACpB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,YAAY,EAAE,MAAM,GAAG,SAAS,EAChC,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,UAAU,EAAE,QAAQ,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,EACpD,KAAK,EAAE,OAAO,GAAG,KAAK,EACtB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;YAkBZ,SAAS;IA+JvB;;;;;;OAMG;IACH;;;gFAG4E;IAC5E,SAAS,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAI/C;;;0EAGsE;IACtE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,GAAG,SAAS,CAAC;IAErD,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,qBAAqB;IAgBvB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAW3D;;;;;OAKG;IACG,WAAW,CACf,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,gBAAgB,EAC1B,GAAG,CAAC,EAAE,aAAa,GAClB,OAAO,CAAC,IAAI,CAAC;IAUhB;;;;;OAKG;IACG,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC;YAsD3E,WAAW;IA6HzB;;;;;;;;OAQG;IACH,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;IAIhD;;;;;;;;;;OAUG;IACH,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO;IAS/B;;;;;;;;OAQG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO;IAyB1E;;;;;;OAMG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;;;OAIG;IACH,SAAS,CACP,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC7C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IA2C1B;mEAC+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAGxB;IAEN;;;;SAIK;IACH,WAAW,CACT,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,KAAK,EAAE,MAAM,EAAE,EACf,YAAY,GAAE,MAAM,EAAO,GAC1B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAmB3B;AA4ED;;;;;;;;;;GAUG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,GACV,MAAM,GAAG,IAAI,CAIf;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,OAAO,EACZ,GAAG,EAAE,MAAM,GACV,MAAM,GAAG,IAAI,CAIf"}

package/dist/evaluation-context.js

@@ -3,7 +3,8 @@ import { formatSpanCounter } from "./logging/span-id.js";
 import { deriveContext, getRefIdentity, isCompiledValue, isInvokeError, isCancellationError, isSuspension, resourceKey, UNCANCELLABLE_CONTEXT, } from "@telorun/sdk";
 import { RuntimeError } from "@telorun/sdk";
 import { evalPathCovers } from "@telorun/analyzer";
-import { classifyInitFailures, renderInitFailureText, summarizeInitFailures, } from "./init-failure-diagnostics.js";
+import { effectOwnerOf, executeReturnedChain } from "./effect-scope.js";
+import { classifyInitFailures, isDeferral, renderInitFailureText, summarizeInitFailures, } from "./init-failure-diagnostics.js";
 import { acceptReportedStatus, buildPublishedProps, diagnoseObservedStateAccess, } from "./observed-state.js";
 export { resourceKey };
 /** A pure resolved reference is a `{ kind, name, alias? }` object and nothing
@@ -398,8 +399,22 @@ export class EvaluationContext {
     state = "Pending";
     /** Resource instances owned by this context node, keyed by resourceKey(). */
     resourceInstances = new Map();
-    /** Resources that have been created but not yet initialized (between phases). */
+    /** Resources that have been created but not yet initialized (between phases).
+     *  `source` is the manifest as REGISTERED, kept so a discarded instance is
+     *  rebuilt from what the author wrote rather than from the create-time
+     *  expansion of it. */
     createdInstances = new Map();
+    /**
+     * Resources whose failed `init()` could not be rolled back.
+     *
+     * Withheld rather than retried: re-running `init()` from a state an inverse
+     * refused to restore is worse than not retrying, so the loop skips them and
+     * they are reported with both the init error and the refusing inverse.
+     */
+    withheldResources = new Set();
+    /** Resources discarded after a failed `init()` and re-queued for creation.
+     *  Their re-creation is not progress — see the create sub-phase. */
+    recreatedResources = new Set();
     /** Resources queued for initialization on this context node. */
     pendingResources = [];
     /**
@@ -614,6 +629,20 @@ export class EvaluationContext {
      * Attach a child context to this node. The child's parent is set to this
      * context and the child is registered under the given name.
      */
+    /**
+     * Detach a child from this node — the inverse of {@link spawnChild}.
+     *
+     * A child is normally torn down in place, so this exists for the one case
+     * that discards it instead: an import whose instance is dropped and rebuilt
+     * must not leave its child in `children`, or this context's teardown cascades
+     * into a context whose replacement is already live. Here rather than in the
+     * controller, because how children are tracked is this class's own fact.
+     */
+    detachChild(child) {
+        const index = this.children.indexOf(child);
+        if (index >= 0)
+            this.children.splice(index, 1);
+    }
     spawnChild(child) {
         child.parent = this;
         this.children.push(child);
@@ -698,12 +727,20 @@ export class EvaluationContext {
                             resource: created.resource,
                             instance: created.instance,
                             ctx: created.ctx,
+                            source: resource,
                         });
                         const idx = this.pendingResources.findIndex((m) => m.metadata.name === name);
                         if (idx >= 0)
                             this.pendingResources.splice(idx, 1);
                         errors.delete(name);
-                        progress = true;
+                        // A FIRST creation is progress; RE-creating a resource whose init
+                        // failed is not. Counting it would keep the loop alive on a
+                        // permanently failing resource for every remaining pass, re-running
+                        // `create()` each time — ten module loads for a broken import, ten
+                        // pools for an unreachable database. Its retry still happens; what
+                        // it no longer does is claim the environment moved.
+                        if (!this.recreatedResources.has(name))
+                            progress = true;
                         const createdRes = created.resource;
                         const refs = collectResourceRefs(createdRes);
                         this.resourceDependencies.set(name, localDependencyNames(refs));
@@ -738,8 +775,8 @@ export class EvaluationContext {
                 }
             }
             // Init sub-phase
-            for (const [name, { resource, instance, ctx }] of [...this.createdInstances]) {
-                if (this.resourceInstances.has(name))
+            for (const [name, { resource, instance, ctx, source }] of [...this.createdInstances]) {
+                if (this.resourceInstances.has(name) || this.withheldResources.has(name))
                     continue;
                 try {
                     if (this.preInitHook) {
@@ -747,8 +784,67 @@ export class EvaluationContext {
                             ? this.resolveImportedInstance(alias, n)
                             : this.resourceInstances.get(n)?.instance, (n) => this.hasManifest(n) && !this.resourceInstances.has(n), this);
                     }
-                    if (instance.init)
-                        await instance.init(ctx);
+                    const scope = effectOwnerOf(instance)?.effects;
+                    scope?.openFrame("init");
+                    try {
+                        // What `init()` RETURNS is what undoes it. A controller that
+                        // allocates nothing returns nothing; there is no `teardown()`, so an
+                        // allocation outside the chain is one nothing will reclaim.
+                        if (instance.init)
+                            await executeReturnedChain(await instance.init(ctx), scope);
+                    }
+                    catch (error) {
+                        // Recover before the next pass: the loop retries a failed init, and
+                        // an init that registered a listener before it failed to connect
+                        // would otherwise register that listener again on every pass.
+                        //
+                        // HOW MUCH unwinds depends on whether the instance survives. A
+                        // deferral keeps it, so only the init frame goes — unwinding the
+                        // create frame there would destroy what construction built (a
+                        // connection's pool) and then re-init the same instance against it.
+                        // A real failure discards the instance, so everything `create()`
+                        // allocated on its behalf goes with it or nothing reclaims it.
+                        const deferred = isDeferral(error);
+                        const refused = (await (deferred ? scope?.unwindFrame() : scope?.unwindAll())) ?? [];
+                        if (refused.length > 0) {
+                            // Retrying from a state that could not be rolled back is worse
+                            // than not retrying, so the resource is withheld with a cause
+                            // naming both the init error and the inverse that refused. The
+                            // entry stays in `createdInstances` so it is still reported as a
+                            // failure; the loop skips it from here on.
+                            this.withheldResources.add(name);
+                            throw new RuntimeError("ERR_EFFECT_RECOVERY_FAILED", `${resource.kind} '${name}' failed to initialize and could not be rolled back: ` +
+                                `${refused.map((f) => `'${f.reason}' (${errorText(f.error)})`).join(", ")}`, [
+                                { severity: "error", message: errorText(error), resource: name },
+                                ...refused.map((f) => ({
+                                    severity: "error",
+                                    message: `inverse '${f.reason}' refused: ${errorText(f.error)}`,
+                                    resource: name,
+                                })),
+                            ]);
+                        }
+                        // A DEFERRAL is not a failure: it is the loop's own "your turn has
+                        // not come" signal, raised when a ref names a resource that has not
+                        // initialized yet. The instance stays — re-creating it would re-run
+                        // `create()`, which for an import re-registers its alias and reloads
+                        // its module, and for a template re-registers its children. Its init
+                        // frame alone was unwound above, so the next pass re-inits a
+                        // constructed resource rather than a dismantled one.
+                        if (deferred)
+                            throw error;
+                        // The inverses restored what init() touched OUTSIDE the instance;
+                        // the instance's own half-built fields are beyond their reach, so
+                        // the object goes too and the next pass builds a fresh one. That is
+                        // what makes "retry from a clean state" literal rather than a
+                        // convention each controller has to honour.
+                        this.createdInstances.delete(name);
+                        this.recreatedResources.add(name);
+                        // Re-queued as REGISTERED, not as created: the create-time manifest
+                        // has already been through compile-field expansion, and expanding
+                        // it a second time would evaluate an author's expression twice.
+                        this.pendingResources.push(source);
+                        throw error;
+                    }
                     // Publish BEFORE registering: publication can fail (a kind returning
                     // the reserved `status` key without declaring it, a report that does
                     // not match `status:`), and a resource that failed must not be left
@@ -956,9 +1052,26 @@ export class EvaluationContext {
             reportedStatus.delete(instance);
             startedInstances.delete(instance);
             completedInstances.delete(instance);
+            // Tearing a resource down IS unwinding its effects — every frame, newest
+            // first, LIFO within each. There is no `teardown()` to call: what undoes a
+            // resource is what its `init()` and `run()` returned.
+            const owner = effectOwnerOf(instance);
+            const refused = (await owner?.effects.unwindAll()) ?? [];
+            if (refused.length > 0) {
+                // Aggregate and continue: one refusing inverse must not strand the log
+                // sinks pinned last to outlive everything that might log on the way
+                // down.
+                failures.push({
+                    resource: label,
+                    error: new RuntimeError("ERR_EFFECT_RECOVERY_FAILED", `${refused.length} inverse(s) refused: ` +
+                        refused.map((f) => `'${f.reason}' (${errorText(f.error)})`).join(", ")),
+                });
+            }
+            // A drain waits for in-flight background work under a bound and then
+            // abandons it — not an inverse, so it is not on a frame; it runs here,
+            // once the resource's own effects are undone.
             try {
-                if (instance.teardown)
-                    await instance.teardown();
+                await owner?.drainDetached();
             }
             catch (err) {
                 // Aggregate rather than abort. A single throwing resource used to
@@ -1357,12 +1470,26 @@ export class EvaluationContext {
         // the whole point — `ctx.setStatus()` is an error until the resource counts
         // as started, so this has to happen first.
         await this.markStarted(name, instance);
+        // A frame of its own: what `run()` allocates (a listening socket, a kernel
+        // hold) is undone when the run's frame unwinds, without disturbing what
+        // `init()` built underneath it.
+        const effects = effectOwnerOf(instance)?.effects;
+        effects?.openFrame("run");
         try {
             // Runnable: run inside the ALS scope so nested invokes inherit the token and
             // trace id (skip the redundant `run` when the token is already ambient).
             // Service: call directly with the explicit context and NO ambient scope, so
             // its long-lived async work does not capture this scope.
-            const call = () => instance.run(invokeCtx);
+            // What `run()` returns is what undoes it — the socket it opened, the hold
+            // it took. The chain executes INSIDE the same ambient scope as the call
+            // that produced it: its bodies are the work `run()` would otherwise have
+            // done inline, so running them outside would silently strip the
+            // cancellation token and trace parent from exactly the code that moved
+            // into a chain.
+            const call = async () => {
+                const returned = await instance.run(invokeCtx);
+                await executeReturnedChain(returned, effects);
+            };
             await (isService || invokeCtx === ambient ? call() : cancellationStore.run(invokeCtx, call));
             // A one-shot Runnable that discovered something during run() publishes it
             // without an explicit call; a Service never reaches this until teardown.
@@ -1371,15 +1498,28 @@ export class EvaluationContext {
             await this.emit(`${name}.Run`, span("end", "ok", {}));
         }
         catch (err) {
+            // A run that did not complete leaves nothing of its own behind: its frame
+            // unwinds here, so a `listen()` that threw releases the hold it took a
+            // line earlier instead of holding the process open for a server that
+            // never came up.
+            const refused = (await effects?.unwindFrame()) ?? [];
+            const recovery = refused.length > 0
+                ? {
+                    recoveryFailures: refused.map((f) => ({
+                        reason: f.reason,
+                        message: errorText(f.error),
+                    })),
+                }
+                : {};
             if (isCancellationError(err)) {
                 const reason = err instanceof Error ? err.message : String(err);
-                await this.emit(`${name}.RunCancelled`, span("end", "cancelled", { reason }));
+                await this.emit(`${name}.RunCancelled`, span("end", "cancelled", { reason, ...recovery }));
                 throw err;
             }
             const detail = err instanceof Error
                 ? { name: err.name, message: err.message }
                 : { name: "UnknownError", message: String(err) };
-            await this.emit(`${name}.RunFailed`, span("end", "failed", detail));
+            await this.emit(`${name}.RunFailed`, span("end", "failed", { ...detail, ...recovery }));
             throw err;
         }
     }
@@ -1714,6 +1854,10 @@ function locateFailedAccess(source, ctx, msg) {
     }
     return null;
 }
+/** One line for an inverse's refusal, quoted into a recovery aggregate. */
+function errorText(err) {
+    return err instanceof Error ? err.message : String(err);
+}
 function describeMissingAccess(value, key) {
     if (value === null)
         return `cannot read '${key}' — value is null`;