@with-logic/elwood 0.1.2 → 0.2.0

package/dist/core/control-queue/index.js

@@ -1,19 +1,25 @@
 /** Serialized adapter controls with readiness semantics (PRD §5.3/§5.9). */
 import { runContained } from "../contained.js";
 import { toError } from "../errors.js";
+import { outsideStopInput } from "../stop-input.js";
 import { ControlQueueState } from "./state.js";
-import { controlOperationTraits, nextDispatchIndex, overtakesReadiness, } from "./traits.js";
+import { notifySubmissionStart, submitControl } from "./submission.js";
+import { controlOperationTraits, overtakesReadiness, } from "./traits.js";
 export { controlOperationTraits } from "./traits.js";
 const callerOrigin = { kind: "caller" };
 export class ControlQueue extends ControlQueueState {
     submit;
     onTurnStarted;
     guidanceMayBypass;
-    constructor(submit, stoppedError, onTurnStarted, guidanceMayBypass = () => false) {
-        super(stoppedError);
+    onCallerInputSubmitted;
+    aroundOperation;
+    constructor(submit, stoppedError, onTurnStarted, guidanceMayBypass = () => false, onCallerInputSubmitted, aroundOperation, admit) {
+        super(stoppedError, admit);
         this.submit = submit;
+        this.aroundOperation = aroundOperation;
         this.onTurnStarted = onTurnStarted;
         this.guidanceMayBypass = guidanceMayBypass;
+        this.onCallerInputSubmitted = onCallerInputSubmitted;
     }
     send(input, kind, attach, options = {}) {
         const mayBypassReadiness = controlOperationTraits[kind].readiness === "running_after_ready" &&
@@ -22,27 +28,43 @@ export class ControlQueue extends ControlQueueState {
         return this.enqueue({
             input,
             kind,
+            settleAfterWrite: options.settleAfterWrite === true,
             mayBypassReadiness,
             origin: options.origin ?? callerOrigin,
+            ...(options.onSubmitted ? { onSubmitted: options.onSubmitted } : {}),
             ...(attach ? { attach } : {}),
+            ...(options.beforeEnter ? { beforeEnter: options.beforeEnter } : {}),
         }, options.cancel);
     }
     runExclusive(kind, run, cancel) {
         return this.enqueue({
             input: "",
             kind,
+            settleAfterWrite: false,
             mayBypassReadiness: false,
             origin: callerOrigin,
             run,
         }, cancel);
     }
+    /** Queue work outlives the caller; only caller-registered Promise reactions retain its Stop scope. */
     drain() {
+        outsideStopInput(() => this.dispatchNext());
+    }
+    dispatchNext() {
         if (this.inFlight || this.queue.length === 0)
             return;
-        const index = nextDispatchIndex(this.queue, this.ready, this.bypassable);
+        const index = this.nextDispatchIndex();
         if (index < 0)
             return;
-        const operation = this.queue.splice(index, 1)[0];
+        const operation = this.queue[index];
+        const state = this.admissions.prepare(operation);
+        if (state !== "ready") {
+            if (state === "waiting")
+                queueMicrotask(() => this.drain());
+            return;
+        }
+        this.takeQueued(index);
+        const around = this.admissions.takeWrapper(operation, this.aroundOperation);
         if (overtakesReadiness(operation))
             this.bypassable -= 1;
         this.inFlight = operation;
@@ -51,12 +73,15 @@ export class ControlQueue extends ControlQueueState {
         const epoch = this.readinessEpoch;
         let dispatched;
         try {
-            const signal = this.armAbort();
-            if (!operation.attach)
-                this.beginSubmission(operation, traits);
-            dispatched = operation.run
-                ? operation.run(signal)
-                : this.submitWithAttach(operation, traits, signal);
+            const workSignal = this.armAbort();
+            const work = () => {
+                if (!operation.attach)
+                    this.beginSubmission(operation, traits);
+                return operation.run
+                    ? operation.run(workSignal)
+                    : submitControl(operation, traits, workSignal, this.submit, () => this.beginSubmission(operation, traits), this.onCallerInputSubmitted, this.onTurnStarted);
+            };
+            dispatched = around ? around(work, this.prepareSignal(workSignal), operation.origin) : work();
         }
         catch (error) {
             this.rollback(operation, priorReady, epoch, toError(error));
@@ -67,31 +92,30 @@ export class ControlQueue extends ControlQueueState {
             this.rollback(operation, priorReady, epoch, cancellation ?? toError(error));
         });
     }
-    async submitWithAttach(operation, traits, signal) {
-        if (operation.attach) {
-            await operation.attach(signal);
-            if (signal.aborted)
-                throw this.abortError(signal);
-            this.beginSubmission(operation, traits);
-        }
-        await this.submit(operation.input, traits.submitMode, signal);
-    }
     beginSubmission(operation, traits) {
         if (traits.consumesReadiness)
-            this.ready = false;
-        if (traits.reportsCallerSubmission && operation.origin.kind === "caller") {
-            runContained(() => this.onTurnStarted(operation.origin));
-        }
+            this.setReady(false);
+        notifySubmissionStart(operation, traits, this.onTurnStarted);
     }
     commit(operation, traits) {
-        if (traits.reportsCallerSubmission && operation.origin.kind === "loop") {
-            runContained(() => this.onTurnStarted(operation.origin));
+        const error = this.cancellation.errorFor(operation);
+        if (error || !traits.reportsCallerSubmission || operation.origin.kind !== "loop") {
+            this.settle(operation, () => (error ? operation.reject(error) : operation.resolve()));
+            return;
         }
-        this.settle(operation, () => operation.resolve());
+        // Commit before observers can cancel. Let LoopDelivery report fired first,
+        // releasing capacity now but retaining ordering through the running notification.
+        this.cancellation.remove(operation);
+        this.budget.release(operation);
+        operation.resolve();
+        queueMicrotask(() => this.settle(operation, () => {
+            if (!this.closed)
+                runContained(() => this.onTurnStarted(operation.origin));
+        }));
     }
     rollback(operation, priorReady, epoch, error) {
         if (!this.closed && this.readinessEpoch === epoch)
-            this.ready = priorReady;
+            this.setReady(priorReady);
         this.settle(operation, () => operation.reject(error));
     }
 }

package/dist/core/control-queue/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/control-queue/index.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAIL,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAiBrB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AASrD,MAAM,YAAY,GAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAEjE,MAAM,OAAO,YAAa,SAAQ,iBAAiB;IAChC,MAAM,CAAmB;IACzB,aAAa,CAA4C;IACzD,iBAAiB,CAAgB;IAElD,YACE,MAAwB,EACxB,YAA+B,EAC/B,aAAwD,EACxD,oBAAmC,GAAG,EAAE,CAAC,KAAK;QAE9C,KAAK,CAAC,YAAY,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;QACnC,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;IAC7C,CAAC;IAED,IAAI,CACF,KAAa,EACb,IAA0B,EAC1B,MAA2B,EAC3B,UAA8B,EAAE;QAEhC,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,qBAAqB;YAChE,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,OAAO,CACjB;YACE,KAAK;YACL,IAAI;YACJ,kBAAkB;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,YAAY;YACtC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9B,EACD,OAAO,CAAC,MAAM,CACf,CAAC;IACJ,CAAC;IAED,YAAY,CACV,IAA0B,EAC1B,GAAuB,EACvB,MAAe;QAEf,OAAO,IAAI,CAAC,OAAO,CACjB;YACE,KAAK,EAAE,EAAE;YACT,IAAI;YACJ,kBAAkB,EAAE,KAAK;YACzB,MAAM,EAAE,YAAY;YACpB,GAAG;SACJ,EACD,MAAM,CACP,CAAC;IACJ,CAAC;IAES,KAAK;QACb,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACrD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QACzE,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO;QACtB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAoB,CAAC;QACpE,IAAI,kBAAkB,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,IAAI,UAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,MAAM;gBAAE,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC/D,UAAU,GAAG,SAAS,CAAC,GAAG;gBACxB,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,UAAU,CAAC,IAAI,CACb,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,EACpC,CAAC,KAAc,EAAE,EAAE;YACjB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC3D,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9E,CAAC,CACF,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,gBAAgB,CAC5B,SAA0B,EAC1B,MAA8B,EAC9B,MAAmB;QAEnB,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrB,MAAM,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,MAAM,CAAC,OAAO;gBAAE,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;IAEO,eAAe,CAAC,SAA0B,EAAE,MAA8B;QAChF,IAAI,MAAM,CAAC,iBAAiB;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACjD,IAAI,MAAM,CAAC,uBAAuB,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzE,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,SAA0B,EAAE,MAA8B;QACvE,IAAI,MAAM,CAAC,uBAAuB,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACvE,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;IACpD,CAAC;IAEO,QAAQ,CACd,SAA0B,EAC1B,UAAmB,EACnB,KAAa,EACb,KAAY;QAEZ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,KAAK,KAAK;YAAE,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QAC3E,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;CACF"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/control-queue/index.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACvE,OAAO,EAIL,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AAmBrB,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AASrD,MAAM,YAAY,GAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAEjE,MAAM,OAAO,YAAa,SAAQ,iBAAiB;IAChC,MAAM,CAAmB;IACzB,aAAa,CAA4C;IACzD,iBAAiB,CAAgB;IACjC,sBAAsB,CAA2B;IACjD,eAAe,CAA+B;IAE/D,YACE,MAAwB,EACxB,YAA+B,EAC/B,aAAwD,EACxD,oBAAmC,GAAG,EAAE,CAAC,KAAK,EAC9C,sBAAmC,EACnC,eAAkC,EAClC,KAAsB;QAEtB,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,eAAe,GAAG,eAAe,CAAC;QACvC,IAAI,CAAC,aAAa,GAAG,aAAa,CAAC;QACnC,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAC3C,IAAI,CAAC,sBAAsB,GAAG,sBAAsB,CAAC;IACvD,CAAC;IAED,IAAI,CACF,KAAa,EACb,IAA0B,EAC1B,MAA2B,EAC3B,UAA8B,EAAE;QAEhC,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,qBAAqB;YAChE,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC,OAAO,CACjB;YACE,KAAK;YACL,IAAI;YACJ,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI;YACnD,kBAAkB;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,YAAY;YACtC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,EACD,OAAO,CAAC,MAAM,CACf,CAAC;IACJ,CAAC;IAED,YAAY,CACV,IAA0B,EAC1B,GAAuB,EACvB,MAAe;QAEf,OAAO,IAAI,CAAC,OAAO,CACjB;YACE,KAAK,EAAE,EAAE;YACT,IAAI;YACJ,gBAAgB,EAAE,KAAK;YACvB,kBAAkB,EAAE,KAAK;YACzB,MAAM,EAAE,YAAY;YACpB,GAAG;SACJ,EACD,MAAM,CACP,CAAC;IACJ,CAAC;IAED,sGAAsG;IAC5F,KAAK;QACb,gBAAgB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IAC9C,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACrD,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvC,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO;QACtB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAoB,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,IAAI,KAAK,KAAK,SAAS;gBAAE,cAAc,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5E,IAAI,kBAAkB,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC;QAClC,IAAI,UAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,GAAG,EAAE;gBAChB,IAAI,CAAC,SAAS,CAAC,MAAM;oBAAE,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBAC/D,OAAO,SAAS,CAAC,GAAG;oBAClB,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC;oBAC3B,CAAC,CAAC,aAAa,CACX,SAAS,EACT,MAAM,EACN,UAAU,EACV,IAAI,CAAC,MAAM,EACX,GAAG,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,EAC7C,IAAI,CAAC,sBAAsB,EAC3B,IAAI,CAAC,aAAa,CACnB,CAAC;YACR,CAAC,CAAC;YACF,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,UAAU,CAAC,IAAI,CACb,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,EACpC,CAAC,KAAc,EAAE,EAAE;YACjB,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC3D,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9E,CAAC,CACF,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,SAA0B,EAAE,MAA8B;QAChF,IAAI,MAAM,CAAC,iBAAiB;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACnD,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAC/D,CAAC;IAEO,MAAM,CAAC,SAA0B,EAAE,MAA8B;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,uBAAuB,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjF,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACtF,OAAO;QACT,CAAC;QACD,2EAA2E;QAC3E,kFAAkF;QAClF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/B,SAAS,CAAC,OAAO,EAAE,CAAC;QACpB,cAAc,CAAC,GAAG,EAAE,CAClB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE;YAC1B,IAAI,CAAC,IAAI,CAAC,MAAM;gBAAE,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IAEO,QAAQ,CACd,SAA0B,EAC1B,UAAmB,EACnB,KAAa,EACb,KAAY;QAEZ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,KAAK,KAAK;YAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC7E,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACxD,CAAC;CACF"}

package/dist/core/control-queue/scan.d.ts

@@ -0,0 +1,10 @@
+/** Reuse a blocked queue prefix while dispatch eligibility stays unchanged (PRD §5.3/§5.9). */
+export declare class QueueScanCursor {
+    private blockedPrefixLength;
+    reset(): void;
+    /** Removing a crossing operation does not invalidate the prefix before it. */
+    removed(index: number): void;
+    /** Call reset when eligibility changes; appends can keep the scanned prefix. */
+    findIndex<T>(queue: readonly T[], eligible: (operation: T) => boolean): number;
+}
+//# sourceMappingURL=scan.d.ts.map

package/dist/core/control-queue/scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/scan.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,qBAAa,eAAe;IAC1B,OAAO,CAAC,mBAAmB,CAAK;IAEhC,KAAK,IAAI,IAAI;IAIb,8EAA8E;IAC9E,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAI5B,gFAAgF;IAChF,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM;CAU/E"}

package/dist/core/control-queue/scan.js

@@ -0,0 +1,24 @@
+/** Reuse a blocked queue prefix while dispatch eligibility stays unchanged (PRD §5.3/§5.9). */
+export class QueueScanCursor {
+    blockedPrefixLength = 0;
+    reset() {
+        this.blockedPrefixLength = 0;
+    }
+    /** Removing a crossing operation does not invalidate the prefix before it. */
+    removed(index) {
+        if (index < this.blockedPrefixLength)
+            this.reset();
+    }
+    /** Call reset when eligibility changes; appends can keep the scanned prefix. */
+    findIndex(queue, eligible) {
+        for (let index = this.blockedPrefixLength; index < queue.length; index += 1) {
+            if (eligible(queue[index])) {
+                this.blockedPrefixLength = index;
+                return index;
+            }
+        }
+        this.blockedPrefixLength = queue.length;
+        return -1;
+    }
+}
+//# sourceMappingURL=scan.js.map

package/dist/core/control-queue/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../../src/core/control-queue/scan.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,MAAM,OAAO,eAAe;IAClB,mBAAmB,GAAG,CAAC,CAAC;IAEhC,KAAK;QACH,IAAI,CAAC,mBAAmB,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,8EAA8E;IAC9E,OAAO,CAAC,KAAa;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC,mBAAmB;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACrD,CAAC;IAED,gFAAgF;IAChF,SAAS,CAAI,KAAmB,EAAE,QAAmC;QACnE,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,mBAAmB,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC5E,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAM,CAAC,EAAE,CAAC;gBAChC,IAAI,CAAC,mBAAmB,GAAG,KAAK,CAAC;gBACjC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,IAAI,CAAC,mBAAmB,GAAG,KAAK,CAAC,MAAM,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;CACF"}

package/dist/core/control-queue/state.d.ts

@@ -1,7 +1,10 @@
 /** Queue lifecycle and cancellation bookkeeping (PRD §5.3/§5.9). */
+import { ControlAdmissions } from "./admission.ts";
+import { AdmissionScan } from "./admission-scan.ts";
+import { InputQueueBudget } from "./budget.ts";
 import type { ControlQueueError } from "./traits.ts";
 import { ControlCancellation } from "./traits.ts";
-import type { Cancel, PendingOperation, QueuedOperation } from "./types.ts";
+import type { AdmitOperation, Cancel, PendingOperation, QueuedOperation } from "./types.ts";
 /** Shared mutable state for the serialized control queue. */
 export declare abstract class ControlQueueState {
     protected readonly queue: QueuedOperation[];
@@ -12,18 +15,31 @@ export declare abstract class ControlQueueState {
     protected bypassable: number;
     protected inFlight: QueuedOperation | undefined;
     protected submitAbort: AbortController | undefined;
+    protected readonly budget: InputQueueBudget;
+    private preparationAbort;
     protected readonly cancellation: ControlCancellation;
     protected readonly stoppedError: ControlQueueError;
-    protected constructor(stoppedError: ControlQueueError);
+    private readonly loopHolds;
+    protected readonly scan: AdmissionScan;
+    protected readonly admissions: ControlAdmissions;
+    protected constructor(stoppedError: ControlQueueError, admit?: AdmitOperation);
+    /** Keep due loops behind the ergonomic owner without blocking its own recovery. */
+    holdLoops(): () => void;
+    protected nextDispatchIndex(): number;
+    protected setReady(ready: boolean): void;
+    protected takeQueued(index: number): QueuedOperation;
     markReady(): void;
     suspendReadiness(): void;
     close(): void;
+    private closeQueue;
     protected enqueue(op: PendingOperation, cancel?: Cancel): Promise<void>;
     protected settle(operation: QueuedOperation, finish: () => void): void;
     protected armAbort(): AbortSignal;
-    protected abortError(signal: AbortSignal): Error;
+    /** Deadlines cancel pre-operation cleanup without revoking an active dialog owner. */
+    protected prepareSignal(closed: AbortSignal): AbortSignal;
     protected abstract drain(): void;
     private listenForCancel;
     private cancelOperation;
+    private cancelOwnedOperation;
 }
 //# sourceMappingURL=state.d.ts.map

package/dist/core/control-queue/state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/state.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAGpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAsB,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE5E,6DAA6D;AAC7D,8BAAsB,iBAAiB;IACrC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAM;IACjD,SAAS,CAAC,KAAK,UAAS;IACxB,SAAS,CAAC,SAAS,UAAS;IAC5B,SAAS,CAAC,MAAM,UAAS;IACzB,SAAS,CAAC,cAAc,SAAK;IAC7B,SAAS,CAAC,UAAU,SAAK;IACzB,SAAS,CAAC,QAAQ,EAAE,eAAe,GAAG,SAAS,CAAC;IAChD,SAAS,CAAC,WAAW,EAAE,eAAe,GAAG,SAAS,CAAC;IACnD,SAAS,CAAC,QAAQ,CAAC,YAAY,sBAA6B;IAC5D,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IAEnD,SAAS,aAAa,YAAY,EAAE,iBAAiB;IAIrD,SAAS,IAAI,IAAI;IAOjB,gBAAgB,IAAI,IAAI;IAKxB,KAAK,IAAI,IAAI;IAkBb,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAWvE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,IAAI;IAQtE,SAAS,CAAC,QAAQ,IAAI,WAAW;IAMjC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,KAAK;IAIhD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI;IAEhC,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,eAAe;CAYxB"}
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/state.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAGpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAsB,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE5F,6DAA6D;AAC7D,8BAAsB,iBAAiB;IACrC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAM;IACjD,SAAS,CAAC,KAAK,UAAS;IACxB,SAAS,CAAC,SAAS,UAAS;IAC5B,SAAS,CAAC,MAAM,UAAS;IACzB,SAAS,CAAC,cAAc,SAAK;IAC7B,SAAS,CAAC,UAAU,SAAK;IACzB,SAAS,CAAC,QAAQ,EAAE,eAAe,GAAG,SAAS,CAAC;IAChD,SAAS,CAAC,WAAW,EAAE,eAAe,GAAG,SAAS,CAAC;IACnD,SAAS,CAAC,QAAQ,CAAC,MAAM,mBAA0B;IACnD,OAAO,CAAC,gBAAgB,CAA8B;IACtD,SAAS,CAAC,QAAQ,CAAC,YAAY,sBAA6B;IAC5D,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,iBAAiB,CAAC;IACnD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C,SAAS,CAAC,QAAQ,CAAC,IAAI,gBAAuB;IAC9C,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IAEjD,SAAS,aAAa,YAAY,EAAE,iBAAiB,EAAE,KAAK,CAAC,EAAE,cAAc;IAY7E,mFAAmF;IACnF,SAAS,IAAI,MAAM,IAAI;IAYvB,SAAS,CAAC,iBAAiB,IAAI,MAAM;IAUrC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI;IAKxC,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe;IAKpD,SAAS,IAAI,IAAI;IAQjB,gBAAgB,IAAI,IAAI;IAKxB,KAAK,IAAI,IAAI;IAIb,OAAO,CAAC,UAAU;IA2BlB,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAcvE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,IAAI,GAAG,IAAI;IAStE,SAAS,CAAC,QAAQ,IAAI,WAAW;IAMjC,sFAAsF;IACtF,SAAS,CAAC,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW;IAKzD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,IAAI;IAEhC,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,oBAAoB;CAkB7B"}

package/dist/core/control-queue/state.js

@@ -1,5 +1,8 @@
 /** Queue lifecycle and cancellation bookkeeping (PRD §5.3/§5.9). */
-import { toError } from "../errors.js";
+import { outsideStopInput } from "../stop-input.js";
+import { ControlAdmissions } from "./admission.js";
+import { AdmissionScan } from "./admission-scan.js";
+import { InputQueueBudget } from "./budget.js";
 import { ControlCancellation, overtakesReadiness } from "./traits.js";
 /** Shared mutable state for the serialized control queue. */
 export class ControlQueueState {
@@ -11,35 +14,90 @@ export class ControlQueueState {
     bypassable = 0;
     inFlight;
     submitAbort;
+    budget = new InputQueueBudget();
+    preparationAbort;
     cancellation = new ControlCancellation();
     stoppedError;
-    constructor(stoppedError) {
+    loopHolds = new Set();
+    scan = new AdmissionScan();
+    admissions;
+    constructor(stoppedError, admit) {
         this.stoppedError = stoppedError;
+        this.admissions = new ControlAdmissions(admit, () => {
+            this.scan.reset();
+            this.drain();
+        }, (operation, error) => this.cancelOperation(operation, error));
+    }
+    /** Keep due loops behind the ergonomic owner without blocking its own recovery. */
+    holdLoops() {
+        const hold = {};
+        if (this.ready && this.loopHolds.size === 0)
+            this.scan.reset();
+        this.loopHolds.add(hold);
+        return () => {
+            if (this.loopHolds.delete(hold)) {
+                if (this.ready && this.loopHolds.size === 0)
+                    this.scan.reset();
+                this.drain();
+            }
+        };
+    }
+    nextDispatchIndex() {
+        if (this.admissions.size > 0)
+            return this.scan.select(this.queue, this.admissions, this.ready, this.loopHolds.size > 0);
+        if (this.ready)
+            return this.loopHolds.size > 0
+                ? this.scan.findIndex(this.queue, (operation) => operation.origin.kind !== "loop")
+                : 0;
+        return this.bypassable > 0 ? this.scan.findIndex(this.queue, overtakesReadiness) : -1;
+    }
+    setReady(ready) {
+        if (this.ready !== ready)
+            this.scan.reset();
+        this.ready = ready;
+    }
+    takeQueued(index) {
+        this.scan.removed(index);
+        return this.queue.splice(index, 1)[0];
     }
     markReady() {
         if (this.closed)
             return;
-        this.everReady = this.ready = true;
+        this.everReady = true;
+        this.setReady(true);
         this.readinessEpoch += 1;
         this.drain();
     }
     suspendReadiness() {
-        this.ready = false;
+        this.setReady(false);
         this.readinessEpoch += 1;
     }
     close() {
+        outsideStopInput(() => this.closeQueue());
+    }
+    closeQueue() {
         this.closed = true;
+        this.loopHolds.clear();
         const error = this.stoppedError();
-        this.submitAbort?.abort(error);
         const settling = this.inFlight;
-        this.inFlight = undefined;
-        this.bypassable = 0;
+        this.cancellation.clear();
         if (settling) {
             this.cancellation.remove(settling);
-            settling.reject(error);
+            // Retain inFlight until physical settlement. Close owns the stopped error
+            // whether that write later resolves or rejects, overriding prior cancellation.
+            if (settling.settleAfterWrite)
+                this.cancellation.mark(settling, error);
+            else {
+                this.inFlight = undefined;
+                this.budget.release(settling);
+                settling.reject(error);
+            }
         }
-        this.cancellation.clear();
+        this.submitAbort?.abort(error);
+        this.bypassable = 0;
         for (const operation of this.queue.splice(0)) {
+            this.budget.release(operation);
+            this.admissions.cancel(operation, error);
             this.cancellation.remove(operation);
             operation.reject(error);
         }
@@ -47,8 +105,9 @@ export class ControlQueueState {
     enqueue(op, cancel) {
         if (this.closed)
             return Promise.reject(this.stoppedError());
-        return new Promise((resolve, reject) => {
+        return new Promise((resolve, reject) => outsideStopInput(() => {
             const operation = { ...op, resolve, reject };
+            this.budget.reserve(operation);
             this.queue.push(operation);
             if (overtakesReadiness(operation))
                 this.bypassable += 1;
@@ -56,12 +115,13 @@ export class ControlQueueState {
                 this.listenForCancel(operation, cancel);
             if (!cancel?.signal.aborted)
                 this.drain();
-        });
+        }));
     }
     settle(operation, finish) {
         if (this.inFlight !== operation)
             return;
         this.inFlight = undefined;
+        this.budget.release(operation);
         this.cancellation.remove(operation);
         finish();
         this.drain();
@@ -71,22 +131,34 @@ export class ControlQueueState {
         this.submitAbort = new AbortController();
         return this.submitAbort.signal;
     }
-    abortError(signal) {
-        return toError(signal.reason);
+    /** Deadlines cancel pre-operation cleanup without revoking an active dialog owner. */
+    prepareSignal(closed) {
+        this.preparationAbort = new AbortController();
+        return AbortSignal.any([closed, this.preparationAbort.signal]);
     }
     listenForCancel(operation, cancel) {
         this.cancellation.listen(operation, cancel, (error) => this.cancelOperation(operation, error));
     }
     cancelOperation(operation, error) {
+        outsideStopInput(() => this.cancelOwnedOperation(operation, error));
+    }
+    cancelOwnedOperation(operation, error) {
         const index = this.queue.indexOf(operation);
         if (index >= 0) {
-            this.queue.splice(index, 1);
+            this.takeQueued(index);
+            this.budget.release(operation);
+            this.admissions.cancel(operation, error);
             if (overtakesReadiness(operation))
                 this.bypassable -= 1;
             this.cancellation.remove(operation);
             operation.reject(error);
+            // Admission may fail synchronously while selecting: never recurse through a backlog.
+            queueMicrotask(() => this.drain());
         }
-        else if (this.inFlight === operation && !operation.run) {
+        else if (operation.run)
+            this.preparationAbort?.abort(error);
+        else {
+            // Settled operations have no listener; an operation absent from the queue is active.
             this.cancellation.mark(operation, error);
             this.submitAbort?.abort(error);
         }

package/dist/core/control-queue/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/core/control-queue/state.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAGtE,6DAA6D;AAC7D,MAAM,OAAgB,iBAAiB;IAClB,KAAK,GAAsB,EAAE,CAAC;IACvC,KAAK,GAAG,KAAK,CAAC;IACd,SAAS,GAAG,KAAK,CAAC;IAClB,MAAM,GAAG,KAAK,CAAC;IACf,cAAc,GAAG,CAAC,CAAC;IACnB,UAAU,GAAG,CAAC,CAAC;IACf,QAAQ,CAA8B;IACtC,WAAW,CAA8B;IAChC,YAAY,GAAG,IAAI,mBAAmB,EAAE,CAAC;IACzC,YAAY,CAAoB;IAEnD,YAAsB,YAA+B;QACnD,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;IAED,SAAS;QACP,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACnC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAED,gBAAgB;QACd,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK;QACH,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACpC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAES,OAAO,CAAC,EAAoB,EAAE,MAAe;QACrD,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;QAC5D,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YACrC,MAAM,SAAS,GAAoB,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YAC9D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,IAAI,kBAAkB,CAAC,SAAS,CAAC;gBAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;YACxD,IAAI,MAAM;gBAAE,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC;IAES,MAAM,CAAC,SAA0B,EAAE,MAAkB;QAC7D,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO;QACxC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,EAAE,CAAC;QACT,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAES,QAAQ;QAChB,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;IACjC,CAAC;IAES,UAAU,CAAC,MAAmB;QACtC,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAIO,eAAe,CAAC,SAA0B,EAAE,MAAc;QAChE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACjG,CAAC;IAEO,eAAe,CAAC,SAA0B,EAAE,KAAY;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC5B,IAAI,kBAAkB,CAAC,SAAS,CAAC;gBAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;YACxD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACpC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;YACzD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../src/core/control-queue/state.ts"],"names":[],"mappings":"AAAA,oEAAoE;AAEpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAGtE,6DAA6D;AAC7D,MAAM,OAAgB,iBAAiB;IAClB,KAAK,GAAsB,EAAE,CAAC;IACvC,KAAK,GAAG,KAAK,CAAC;IACd,SAAS,GAAG,KAAK,CAAC;IAClB,MAAM,GAAG,KAAK,CAAC;IACf,cAAc,GAAG,CAAC,CAAC;IACnB,UAAU,GAAG,CAAC,CAAC;IACf,QAAQ,CAA8B;IACtC,WAAW,CAA8B;IAChC,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;IAC3C,gBAAgB,CAA8B;IACnC,YAAY,GAAG,IAAI,mBAAmB,EAAE,CAAC;IACzC,YAAY,CAAoB;IAClC,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,IAAI,GAAG,IAAI,aAAa,EAAE,CAAC;IAC3B,UAAU,CAAoB;IAEjD,YAAsB,YAA+B,EAAE,KAAsB;QAC3E,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,UAAU,GAAG,IAAI,iBAAiB,CACrC,KAAK,EACL,GAAG,EAAE;YACH,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAClB,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC,EACD,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAC7D,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,SAAS;QACP,MAAM,IAAI,GAAG,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,GAAG,EAAE;YACV,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/D,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,CAAC;QACH,CAAC,CAAC;IACJ,CAAC;IAES,iBAAiB;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;YAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5F,IAAI,IAAI,CAAC,KAAK;YACZ,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;gBAC5B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;gBAClF,CAAC,CAAC,CAAC,CAAC;QACR,OAAO,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAES,QAAQ,CAAC,KAAc;QAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAES,UAAU,CAAC,KAAa;QAChC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAoB,CAAC;IAC3D,CAAC;IAED,SAAS;QACP,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAED,gBAAgB;QACd,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK;QACH,gBAAgB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,UAAU;QAChB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACnC,0EAA0E;YAC1E,+EAA+E;YAC/E,IAAI,QAAQ,CAAC,gBAAgB;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;iBAClE,CAAC;gBACJ,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC9B,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACpC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAES,OAAO,CAAC,EAAoB,EAAE,MAAe;QACrD,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;QAC5D,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CACrC,gBAAgB,CAAC,GAAG,EAAE;YACpB,MAAM,SAAS,GAAoB,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YAC9D,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,IAAI,kBAAkB,CAAC,SAAS,CAAC;gBAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;YACxD,IAAI,MAAM;gBAAE,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC5C,CAAC,CAAC,CACH,CAAC;IACJ,CAAC;IAES,MAAM,CAAC,SAA0B,EAAE,MAAkB;QAC7D,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO;QACxC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,EAAE,CAAC;QACT,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAES,QAAQ;QAChB,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;IACjC,CAAC;IAED,sFAAsF;IAC5E,aAAa,CAAC,MAAmB;QACzC,IAAI,CAAC,gBAAgB,GAAG,IAAI,eAAe,EAAE,CAAC;QAC9C,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IAIO,eAAe,CAAC,SAA0B,EAAE,MAAc;QAChE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACjG,CAAC;IAEO,eAAe,CAAC,SAA0B,EAAE,KAAY;QAC9D,gBAAgB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,oBAAoB,CAAC,SAA0B,EAAE,KAAY;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC/B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,kBAAkB,CAAC,SAAS,CAAC;gBAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;YACxD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACpC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACxB,qFAAqF;YACrF,cAAc,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,SAAS,CAAC,GAAG;YAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;aACzD,CAAC;YACJ,qFAAqF;YACrF,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;CACF"}

package/dist/core/control-queue/submission.d.ts

@@ -0,0 +1,8 @@
+import type { ControlOperationTraits, ControlSubmitMode } from "./traits.ts";
+import type { ControlSubmissionOrigin, ControlSubmitter, QueuedOperation } from "./types.ts";
+export declare function submissionMode(operation: QueuedOperation, traits: ControlOperationTraits): ControlSubmitMode;
+export declare function submissionCallback(operation: QueuedOperation, traits: ControlOperationTraits, physicalSubmitted: (() => void) | undefined, turnStarted: (origin: ControlSubmissionOrigin) => void): (() => void) | undefined;
+export declare function notifySubmissionStart(operation: QueuedOperation, traits: ControlOperationTraits, turnStarted: (origin: ControlSubmissionOrigin) => void): void;
+/** Attachment completion and physical writes remain outside the caller's Stop scope. */
+export declare function submitControl(operation: QueuedOperation, traits: ControlOperationTraits, signal: AbortSignal, submit: ControlSubmitter, beginSubmission: () => void, onCallerInputSubmitted: (() => void) | undefined, onTurnStarted: (origin: ControlSubmissionOrigin) => void): Promise<void>;
+//# sourceMappingURL=submission.d.ts.map

package/dist/core/control-queue/submission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/submission.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,KAAK,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7F,wBAAgB,cAAc,CAC5B,SAAS,EAAE,eAAe,EAC1B,MAAM,EAAE,sBAAsB,GAC7B,iBAAiB,CAInB;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,eAAe,EAC1B,MAAM,EAAE,sBAAsB,EAC9B,iBAAiB,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,EAC3C,WAAW,EAAE,CAAC,MAAM,EAAE,uBAAuB,KAAK,IAAI,GACrD,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAU1B;AAED,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,eAAe,EAC1B,MAAM,EAAE,sBAAsB,EAC9B,WAAW,EAAE,CAAC,MAAM,EAAE,uBAAuB,KAAK,IAAI,GACrD,IAAI,CAON;AAED,wFAAwF;AACxF,wBAAsB,aAAa,CACjC,SAAS,EAAE,eAAe,EAC1B,MAAM,EAAE,sBAAsB,EAC9B,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,gBAAgB,EACxB,eAAe,EAAE,MAAM,IAAI,EAC3B,sBAAsB,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,EAChD,aAAa,EAAE,CAAC,MAAM,EAAE,uBAAuB,KAAK,IAAI,GACvD,OAAO,CAAC,IAAI,CAAC,CAcf"}

package/dist/core/control-queue/submission.js

@@ -0,0 +1,41 @@
+/** Preserve physical evidence separately from initial and replay ergonomic turn notification (PRD §5.3, C-ATTN-02). */
+import { runContained } from "../contained.js";
+import { toError } from "../errors.js";
+export function submissionMode(operation, traits) {
+    return operation.origin.kind === "caller" && operation.origin.awaitInputConsumption
+        ? "awaited_input"
+        : traits.submitMode;
+}
+export function submissionCallback(operation, traits, physicalSubmitted, turnStarted) {
+    const origin = operation.origin;
+    if (!traits.reportsCallerSubmission || origin.kind !== "caller")
+        return undefined;
+    if (!(physicalSubmitted || origin.awaitInputConsumption || operation.onSubmitted))
+        return undefined;
+    return () => {
+        if (physicalSubmitted)
+            runContained(physicalSubmitted);
+        if (operation.onSubmitted)
+            runContained(operation.onSubmitted);
+        if (origin.awaitInputConsumption)
+            runContained(() => turnStarted(origin));
+    };
+}
+export function notifySubmissionStart(operation, traits, turnStarted) {
+    if (traits.reportsCallerSubmission &&
+        operation.origin.kind === "caller" &&
+        !operation.origin.awaitInputConsumption)
+        runContained(() => turnStarted(operation.origin));
+}
+/** Attachment completion and physical writes remain outside the caller's Stop scope. */
+export async function submitControl(operation, traits, signal, submit, beginSubmission, onCallerInputSubmitted, onTurnStarted) {
+    if (operation.attach) {
+        await operation.attach(signal);
+        if (signal.aborted)
+            throw toError(signal.reason);
+        beginSubmission();
+    }
+    const onSubmitted = submissionCallback(operation, traits, onCallerInputSubmitted, onTurnStarted);
+    await submit(operation.input, submissionMode(operation, traits), signal, onSubmitted, operation.beforeEnter);
+}
+//# sourceMappingURL=submission.js.map

package/dist/core/control-queue/submission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../../../src/core/control-queue/submission.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAIvC,MAAM,UAAU,cAAc,CAC5B,SAA0B,EAC1B,MAA8B;IAE9B,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,qBAAqB;QACjF,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,SAA0B,EAC1B,MAA8B,EAC9B,iBAA2C,EAC3C,WAAsD;IAEtD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,uBAAuB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,CAAC,CAAC,iBAAiB,IAAI,MAAM,CAAC,qBAAqB,IAAI,SAAS,CAAC,WAAW,CAAC;QAC/E,OAAO,SAAS,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,IAAI,iBAAiB;YAAE,YAAY,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAI,SAAS,CAAC,WAAW;YAAE,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,qBAAqB;YAAE,YAAY,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,SAA0B,EAC1B,MAA8B,EAC9B,WAAsD;IAEtD,IACE,MAAM,CAAC,uBAAuB;QAC9B,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,SAAS,CAAC,MAAM,CAAC,qBAAqB;QAEvC,YAAY,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,SAA0B,EAC1B,MAA8B,EAC9B,MAAmB,EACnB,MAAwB,EACxB,eAA2B,EAC3B,sBAAgD,EAChD,aAAwD;IAExD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,MAAM,CAAC,OAAO;YAAE,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjD,eAAe,EAAE,CAAC;IACpB,CAAC;IACD,MAAM,WAAW,GAAG,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,sBAAsB,EAAE,aAAa,CAAC,CAAC;IACjG,MAAM,MAAM,CACV,SAAS,CAAC,KAAK,EACf,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,EACjC,MAAM,EACN,WAAW,EACX,SAAS,CAAC,WAAW,CACtB,CAAC;AACJ,CAAC"}

package/dist/core/control-queue/traits.d.ts

@@ -5,8 +5,11 @@
  */
 import type { Cancel, QueuedOperation } from "./types.ts";
 export type ControlQueueError = () => Error;
-/** How an operation's text is written to the terminal (not a domain name). */
-export type ControlSubmitMode = "pasted_input" | "command";
+/**
+ * Ordinary pasted input and commands settle after physical Enter. Awaited ergonomic
+ * input retains the queue and composer until fresh positive native empty-input evidence.
+ */
+export type ControlSubmitMode = "pasted_input" | "awaited_input" | "command";
 export type ControlOperationKind = "message" | "guidance" | "prompt" | "compact" | "list_models" | "set_model" | "login";
 /**
  * When an operation may leave the readiness queue's holding lane.
@@ -16,19 +19,13 @@ export type ControlOperationKind = "message" | "guidance" | "prompt" | "compact"
  *   at least once — during a live turn the caller is intervening in (guidance).
  */
 export type ReadinessPolicy = "ready" | "always" | "running_after_ready";
-/** The bypass-eligibility shape `overtakesReadiness`/`nextDispatchIndex` read. */
+/** The bypass-eligibility shape `overtakesReadiness` reads. */
 export type OvertakeCandidate = {
     readonly kind: ControlOperationKind;
     readonly mayBypassReadiness: boolean;
 };
 /** Whether a queued operation may dispatch even though the session is not ready. */
 export declare function overtakesReadiness(op: OvertakeCandidate): boolean;
-/**
- * Index of the next operation to dispatch, or -1. Head dispatches when ready;
- * otherwise the first overtaker goes. `bypassable === 0` skips the scan when no
- * queued op can dispatch while not ready (keeps a message backlog amortized O(1)).
- */
-export declare function nextDispatchIndex(queue: readonly OvertakeCandidate[], ready: boolean, bypassable: number): number;
 export type ControlOperationTraits = {
     readonly reportsCallerSubmission: boolean;
     readonly consumesReadiness: boolean;

package/dist/core/control-queue/traits.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"traits.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/traits.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,MAAM,iBAAiB,GAAG,MAAM,KAAK,CAAC;AAC5C,8EAA8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,SAAS,CAAC;AAC3D,MAAM,MAAM,oBAAoB,GAC5B,SAAS,GACT,UAAU,GACV,QAAQ,GACR,SAAS,GACT,aAAa,GACb,WAAW,GACX,OAAO,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,QAAQ,GAAG,qBAAqB,CAAC;AAmBzE,kFAAkF;AAClF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,iBAAiB,GAAG,OAAO,CAEjE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,iBAAiB,EAAE,EACnC,KAAK,EAAE,OAAO,EACd,UAAU,EAAE,MAAM,GACjB,MAAM,CAKR;AAED,MAAM,MAAM,sBAAsB,GAAG;IAKnC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;CACxC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAC3C,MAAM,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CA8CrD,CAAC;AAEF,6EAA6E;AAC7E,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA0C;IAChE,OAAO,CAAC,SAAS,CAA2D;IAE5E,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI;IAOtF,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAIpD,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS;IAIvD,MAAM,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI;IAMxC,KAAK,IAAI,IAAI;CAGd"}
+{"version":3,"file":"traits.d.ts","sourceRoot":"","sources":["../../../src/core/control-queue/traits.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,MAAM,iBAAiB,GAAG,MAAM,KAAK,CAAC;AAC5C;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,eAAe,GAAG,SAAS,CAAC;AAC7E,MAAM,MAAM,oBAAoB,GAC5B,SAAS,GACT,UAAU,GACV,QAAQ,GACR,SAAS,GACT,aAAa,GACb,WAAW,GACX,OAAO,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,QAAQ,GAAG,qBAAqB,CAAC;AAmBzE,+DAA+D;AAC/D,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;CACtC,CAAC;AAEF,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,iBAAiB,GAAG,OAAO,CAEjE;AAED,MAAM,MAAM,sBAAsB,GAAG;IAKnC,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;CACxC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAC3C,MAAM,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CA8CrD,CAAC;AAEF,6EAA6E;AAC7E,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA0C;IAChE,OAAO,CAAC,SAAS,CAA2D;IAE5E,MAAM,CAAC,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI;IAOtF,IAAI,CAAC,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAIpD,QAAQ,CAAC,SAAS,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS;IAIvD,MAAM,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI;IAMxC,KAAK,IAAI,IAAI;CAGd"}

package/dist/core/control-queue/traits.js

@@ -3,6 +3,7 @@
  * submit and their readiness/turn semantics. Split from the queue logic per the
  * repo convention of separating static tables from behavior (PRD §5.3).
  */
+import { outsideStopInput } from "../stop-input.js";
 /**
  * Whether an operation with this readiness policy may dispatch while the session
  * is not ready. Exhaustive over ReadinessPolicy with no runtime default (100%
@@ -23,20 +24,6 @@ function dispatchesWhileNotReady(policy, mayBypass) {
 export function overtakesReadiness(op) {
     return dispatchesWhileNotReady(controlOperationTraits[op.kind].readiness, op.mayBypassReadiness);
 }
-/**
- * Index of the next operation to dispatch, or -1. Head dispatches when ready;
- * otherwise the first overtaker goes. `bypassable === 0` skips the scan when no
- * queued op can dispatch while not ready (keeps a message backlog amortized O(1)).
- */
-export function nextDispatchIndex(queue, ready, bypassable) {
-    if (ready)
-        return 0;
-    if (overtakesReadiness(queue[0]))
-        return 0;
-    if (bypassable === 0)
-        return -1;
-    return queue.findIndex(overtakesReadiness);
-}
 /**
  * Slash-command operations do not start a user turn, so no completion hook
  * will re-arm readiness afterwards; consuming readiness would deadlock later
@@ -93,7 +80,7 @@ export class ControlCancellation {
     hooks = new Map();
     cancelled;
     listen(operation, cancel, drop) {
-        const listener = () => drop(cancel.error());
+        const listener = () => outsideStopInput(() => drop(cancel.error()));
         cancel.signal.addEventListener("abort", listener, { once: true });
         this.hooks.set(operation, () => cancel.signal.removeEventListener("abort", listener));
         if (cancel.signal.aborted)