@moku-labs/game 0.15.40 → 0.15.41

package/dist/{src-Cz-QeLTp.mjs → src-CWVwT9UM.mjs}

@@ -1,7 +1,7 @@
 import { t as __exportAll } from "./rolldown-runtime-BhDjJH2R.mjs";
 import { r as systemSource, t as memory } from "./memory-CWlqhS7l.mjs";
 import { a as finishDrafts, i as enableDraftPatches, n as deepFreeze$1, o as openDrafts, r as dropDrafts } from "./drafts-BawpSaVp.mjs";
-import { _ as pushEntry, c as collectFlows, d as findNode, f as framePath, g as compact, h as slotNames, i as servePaused, l as describeGraph, m as isRestCheckpoint, n as captureFrame, o as epochOf, p as graphHash, r as serveCaptures, s as pageNow$1, t as cancelCaptures } from "./capture-PTJXDpxK.mjs";
+import { _ as compact, c as collectFlows, d as findNode, f as framePath, g as slotNames, h as restlessCapOf, i as servePaused, l as describeGraph, m as isRestCheckpoint, n as captureFrame, o as epochOf, p as graphHash, r as serveCaptures, s as pageNow$1, t as cancelCaptures, v as pushEntry } from "./capture-BtS6_oWr.mjs";
 import { $ as component, A as localPoseOf, B as OverlayLevel, C as builtInStyles, D as textFor, E as readStyle, F as rootPoseOf, G as arcDefaults, H as Shape, I as Display, J as Exiting, K as componentsFor, L as HudPart, M as poseUnder, N as rootPointOf, O as applyPose, P as rootPoseInto, Q as Tree, R as NineSlice, U as Sprite, V as Parent, W as Transform, X as Now, Y as Layer, Z as Order, _ as uiFor, a as visualOf$1, b as Countdown, c as Covered, d as LocalWrite, f as Scroll, h as UiCounters, i as samePose, it as tag, j as parentOf$1, k as isLeaving, l as DebugTrigger, m as UI_OWNER, n as drawnRect, nt as system, o as visualRectOf, p as ScrollState, r as fitScaleOf, rt as systemsFor, s as Box, t as CONTENT$1, tt as resource, u as Escapable, x as Text, z as Overlay } from "./visual-ClVRMUAi.mjs";
 import { a as isDev } from "./dev-BNndV-hU.mjs";
 import { n as isComponentDefinition } from "./component-DGg5DqKK.mjs";
@@ -3673,7 +3673,7 @@ function nextNodes(flow, name) {
 */
 function targetProblem(flow, name, outcome, target) {
 	if (typeof target !== "string" && target.kind === "exit") {
-		if (target.outcome in flow.outcomes) return void 0;
+		if (Object.hasOwn(flow.outcomes, target.outcome)) return void 0;
 		return `[game] Flow "${flow.id}": exit("${target.outcome}") of node "${name}" names no outcome of the flow.\n  Declare outcomes.${target.outcome} on flow "${flow.id}".`;
 	}
 	const next = typeof target === "string" ? target : target.target;
@@ -3743,7 +3743,7 @@ function nodeProblems(flow) {
 		if (entry.kind === "slot" && !entry.name) problems.push(`[game] Flow "${flow.id}": the slot node "${name}" has no slot name.\n  Give it a name: slot("${name}").`);
 		if (entry.kind !== "node") continue;
 		for (const type of entry.inbox) {
-			if (type in entry.outcomes) continue;
+			if (Object.hasOwn(entry.outcomes, type)) continue;
 			problems.push(`[game] Flow "${flow.id}": inbox type "${type}" of node "${name}" is not an outcome.\n  Add outcomes.${type} to node "${name}".`);
 		}
 		if (entry.rest && !entry.run && Object.keys(entry.outcomes).length === 0) problems.push(`[game] Flow "${flow.id}": rest node "${name}" has neither outcomes nor a run body.\n  Declare outcomes or add a run body.`);
@@ -3889,6 +3889,138 @@ function featureProblems(flows, features) {
 	return problems;
 }
 /**
+* Names the outcomes of a table besides `done`: what a slot declares, or what a contributed flow
+* may leave its slot on.
+*
+* @param outcomes - The outcome table of a slot or a flow.
+* @returns The outcome names other than `done`, in declaration order.
+* @example
+* ```ts
+* declaredOutcomes({ done: type(), shop: type() }); // ["shop"]
+* ```
+*/
+function declaredOutcomes(outcomes) {
+	return Object.keys(outcomes).filter((name) => name !== "done");
+}
+/**
+* Tells whether two lists hold the same names, in any order.
+*
+* @param first - One list of names.
+* @param second - The other list.
+* @returns True when every name of one is in the other and the lengths match.
+* @example
+* ```ts
+* sameNames(["shop", "board"], ["board", "shop"]); // true
+* ```
+*/
+function sameNames$1(first, second) {
+	return first.length === second.length && first.every((name) => second.includes(name));
+}
+/**
+* Collects every slot node of the graph by slot name: the flow that holds it and what it
+* declares, in the order the graph declares them.
+*
+* @param flows - Every collected flow by id.
+* @returns Slot name to its slot nodes, at least one each.
+*/
+function slotDeclarations(flows) {
+	const declarations = /* @__PURE__ */ new Map();
+	for (const flow of flows.values()) for (const entry of Object.values(flow.nodes)) {
+		if (entry.kind !== "slot") continue;
+		const declaration = {
+			flow: flow.id,
+			declared: declaredOutcomes(entry.outcomes)
+		};
+		const list = declarations.get(entry.name);
+		if (list === void 0) declarations.set(entry.name, [declaration]);
+		else list.push(declaration);
+	}
+	return declarations;
+}
+/**
+* Reports the contributions of a slot that declares outcomes and that may leave it on an outcome
+* the slot does not declare: the loop would have no edge for it.
+*
+* @param slotName - Name of the slot.
+* @param declared - The outcomes the slot declares besides `done`.
+* @param contributions - The contributions of the slot.
+* @returns One sentence per contribution and outcome.
+*/
+function undeclaredExits(slotName, declared, contributions) {
+	const problems = [];
+	for (const { feature, flow } of contributions) for (const outcome of declaredOutcomes(flow.outcomes)) {
+		if (declared.includes(outcome)) continue;
+		problems.push(`[game] Slot "${slotName}": flow "${flow.id}" of feature "${feature}" exits "${outcome}", which the slot does not declare.\n  Declare slot("${slotName}", { ${outcome}: type() }) or exit "done".`);
+	}
+	return problems;
+}
+/**
+* Reports the named outcomes of slots: one slot name declared with different outcomes in two
+* places, and a contribution of a slot that declares outcomes which may leave it on another one.
+* A slot that declares none takes any contribution: what it ignores is a warning.
+*
+* @param flows - Every collected flow by id.
+* @param features - Features API, read for the contributions of every slot.
+* @returns One sentence per problem.
+*/
+function slotOutcomeProblems(flows, features) {
+	const problems = [];
+	for (const [slotName, [first, ...others]] of slotDeclarations(flows)) {
+		for (const other of others) {
+			if (sameNames$1(first.declared, other.declared)) continue;
+			problems.push(`[game] Slot "${slotName}" declares different outcomes in flow "${first.flow}" and flow "${other.flow}".\n  Declare the slot once and use it in both flows.`);
+		}
+		if (first.declared.length === 0) continue;
+		problems.push(...undeclaredExits(slotName, first.declared, features.contributions(slotName)));
+	}
+	return problems;
+}
+/**
+* Warns about the named exits of contributions that a slot declaring no outcomes ignores: the
+* slot hands over to its next contribution as after `done`.
+*
+* @param slotName - Name of the slot.
+* @param contributions - The contributions of the slot.
+* @returns One warning per contribution and outcome.
+*/
+function ignoredExits(slotName, contributions) {
+	return contributions.flatMap(({ flow }) => declaredOutcomes(flow.outcomes).map((outcome) => `[game] Slot "${slotName}": flow "${flow.id}" exits "${outcome}", which the slot ignores.\n  Declare slot("${slotName}", { ${outcome}: type() }) to route it, or exit "done".`));
+}
+/**
+* Warns about contributions without `when` in a slot that declares outcomes: a named exit leaves
+* the slot, so a later one runs only when the one before it exits `done`.
+*
+* @param slotName - Name of the slot.
+* @param contributions - The contributions of the slot, in order.
+* @returns One warning per contribution without `when` after the first one.
+*/
+function unguardedContributions(slotName, contributions) {
+	const warnings = [];
+	let earlier;
+	for (const contribution of contributions) {
+		if (contribution.when !== void 0) continue;
+		if (earlier !== void 0) warnings.push(`[game] Slot "${slotName}": the flows "${earlier.flow.id}" and "${contribution.flow.id}" have no when.\n  A named exit leaves the slot, so "${contribution.flow.id}" runs only when "${earlier.flow.id}" exits done; give them when.`);
+		earlier = contribution;
+	}
+	return warnings;
+}
+/**
+* Warns about the named outcomes of slots: a named exit a slot that declares none ignores, and
+* contributions without `when` in a slot that declares some.
+*
+* @param flows - Every collected flow by id.
+* @param features - Features API, read for the contributions of every slot.
+* @returns One warning per finding.
+*/
+function slotOutcomeWarnings(flows, features) {
+	const warnings = [];
+	for (const [slotName, [first]] of slotDeclarations(flows)) {
+		const contributions = features.contributions(slotName);
+		warnings.push(...first.declared.length === 0 ? ignoredExits(slotName, contributions) : unguardedContributions(slotName, contributions));
+	}
+	return warnings;
+}
+/**
 * Reads the scene id of one entry of a feature's `scenes` list. The list holds whatever
 * `defineScene` returns; validation reads the `id` and ignores everything else.
 *
@@ -4035,12 +4167,14 @@ function sizeWarnings(flow) {
 * Validates the whole graph at `run()` and returns every problem as one `[game] …` sentence:
 * unreachable node, outcome without an edge, missing target, barrier edge that does not reach a
 * rest node of the same flow, cycle with no rest node, slot without a name, equal contribution
-* `order`, one flow contributed twice to a slot, `inbox` type that is not an outcome, rest node
-* with neither `run` nor outcomes, a `recover` on a node that is not a rest node, a scene id no
-* feature registers, an `over` node that names a scene, `safeNode` that is not a checkpoint,
-* colliding ids. A `recover` on a node that is not the safe node is a warning: it never runs
-* there. Types are bypassed by JSON data and casts, so this runs even though the edge table is
-* checked at compile time.
+* `order`, one flow contributed twice to a slot, one slot name declared with different outcomes,
+* a contribution of a slot that declares outcomes which exits another one, `inbox` type that is
+* not an outcome, rest node with neither `run` nor outcomes, a `recover` on a node that is not a
+* rest node, a scene id no feature registers, an `over` node that names a scene, `safeNode` that
+* is not a checkpoint, colliding ids. A `recover` on a node that is not the safe node is a
+* warning: it never runs there. So are a named exit a slot that declares no outcomes ignores, and
+* two contributions without `when` in a slot that declares some. Types are bypassed by JSON data
+* and casts, so this runs even though the edge table is checked at compile time.
 *
 * @param flows - Every collected flow by id, the main flow first.
 * @param features - Features API: slot contributions and feature names.
@@ -4054,8 +4188,8 @@ function validateGraph(flows, features, config) {
 		problems.push(...edgeProblems(flow), ...nodeProblems(flow), ...recoverProblems(flow), ...reachProblems(flow), ...cycleProblems(flow));
 		warnings.push(...sizeWarnings(flow));
 	}
-	warnings.push(...slotNameWarnings(flows, features), ...recoverWarnings(flows, features, config));
-	problems.push(...flowIdProblems(flows), ...featureProblems(flows, features), ...sceneProblems(flows, features), ...safeNodeProblems(config, features));
+	warnings.push(...slotNameWarnings(flows, features), ...slotOutcomeWarnings(flows, features), ...recoverWarnings(flows, features, config));
+	problems.push(...flowIdProblems(flows), ...featureProblems(flows, features), ...slotOutcomeProblems(flows, features), ...sceneProblems(flows, features), ...safeNodeProblems(config, features));
 	return {
 		problems,
 		warnings
@@ -4545,7 +4679,9 @@ function pickContribution(ctx, features, slotName, from) {
 }
 /**
 * Follows one result to the next position: a node of the same flow, a mapped node, or the exit of
-* a sub-flow, which hands the outcome to the parent.
+* a sub-flow, which hands the outcome to the parent. The exit of a slot contribution returns to
+* the slot: on `done` or an outcome the slot does not declare to continue it, on a declared
+* outcome to leave it.
 *
 * @param ctx - Domain context of the flow plugin.
 * @param frames - The position being planned; mutated.
@@ -4560,19 +4696,78 @@ function planFrom(ctx, frames, location, outcome, payload, depth) {
 	const target = location.flow.edges[location.name]?.[outcome];
 	if (target === void 0) return { problem: `[game] Flow "${location.flow.id}": outcome "${outcome}" of node "${location.name}" has no edge.\n  Add edges.${location.name}.${outcome}.` };
 	if (typeof target === "string") return enterTarget(ctx, frames, location.flow, target, payload);
-	if (target.kind === "map") {
-		const mapped = target.map(payload);
-		const input = mapped === void 0 ? null : mapped;
-		if (!isJson$1(input)) return { problem: `[game] The mapper of edge "${location.name}.${outcome}" returned a value that is not JSON.\n  Return plain JSON from to("${target.target}", ...).` };
-		return enterTarget(ctx, frames, location.flow, target.target, input);
-	}
+	if (target.kind === "map") return enterMapped(ctx, frames, location, outcome, target, payload);
 	frames.pop();
 	const parent = locateFrames(ctx, frames);
 	if (parent === void 0) return { problem: `[game] The main flow "${location.flow.id}" left with outcome "${target.outcome}".\n  Give the top-level flow an edge instead of exit("${target.outcome}").` };
-	if (parent.entry.kind === "slot") return continueSlot(frames, location.flow.id);
+	if (parent.entry.kind === "slot") return leavesSlot(parent.entry, target.outcome) ? leaveSlot(frames, target.outcome, payload) : continueSlot(frames, location.flow.id);
 	return planFrom(ctx, frames, parent, target.outcome, payload, depth + 1);
 }
 /**
+* Follows a `to()` edge: maps the payload and enters the target with it. The mapper is game code:
+* a throw, or a result that is not JSON, is a problem, and the node fails like any other.
+*
+* @param ctx - Domain context of the flow plugin.
+* @param frames - The position being planned; mutated.
+* @param location - Where the result was produced.
+* @param outcome - Outcome name of the result.
+* @param target - The mapped target of the edge.
+* @param payload - Payload of the result, handed to the mapper.
+* @returns The plan, or the problem that stops it.
+*/
+function enterMapped(ctx, frames, location, outcome, target, payload) {
+	let mapped;
+	try {
+		mapped = target.map(payload);
+	} catch (error) {
+		const message = error instanceof Error ? error.message : String(error);
+		return { problem: `[game] The mapper of edge "${location.name}.${outcome}" threw: ${message}.\n  Return plain JSON from to("${target.target}", ...).` };
+	}
+	const input = mapped === void 0 ? null : mapped;
+	if (!isJson$1(input)) return { problem: `[game] The mapper of edge "${location.name}.${outcome}" returned a value that is not JSON.\n  Return plain JSON from to("${target.target}", ...).` };
+	return enterTarget(ctx, frames, location.flow, target.target, input);
+}
+/**
+* Tells whether a contribution that exits `outcome` leaves its slot at once: the slot declares the
+* outcome, and it is not `done`, which hands over to the next contribution. Own keys only:
+* `"constructor" in outcomes` is true for every object.
+*
+* @param slot - The slot the contribution runs in.
+* @param outcome - The outcome the contribution exited with.
+* @returns True when the slot takes its own edge of that outcome next.
+* @example
+* ```ts
+* leavesSlot(slot("episodeStep", { shop: type() }), "shop"); // true
+* leavesSlot(slot("episodeStep", { shop: type() }), "done"); // false: the next contribution runs
+* ```
+*/
+function leavesSlot(slot, outcome) {
+	return outcome !== "done" && Object.hasOwn(slot.outcomes, outcome);
+}
+/**
+* Plans the early leave of a slot: a contribution exited an outcome the slot declares. The plan
+* stands on the slot node like `continueSlot`, without `after`, and carries the outcome and its
+* payload: the loop takes the slot's own edge with them after the commit, so the later
+* contributions do not run and the next entry of the slot starts at its first one.
+*
+* @param frames - The position, already popped back to the slot node.
+* @param outcome - The declared outcome the contribution left on.
+* @param payload - Its payload, handed on to the slot's edge.
+* @returns The plan that stands on the slot node.
+*/
+function leaveSlot(frames, outcome, payload) {
+	return {
+		stack: frames,
+		next: framePath(frames),
+		rest: false,
+		checkpoint: false,
+		leave: {
+			outcome,
+			payload
+		}
+	};
+}
+/**
 * Plans the return to a slot after one of its contributions ended. The next contribution is NOT
 * picked here: `when` reads the committed state, and a plan is made before the commit of the edge.
 * So the plan stands on the slot node and names the contribution that ended; the loop picks the
@@ -4609,7 +4804,7 @@ function asError$4(value) {
 /**
 * Commits the transaction of one node, releases its hints, journals the edge and emits
 * `flow:edge`. This is the only commit of the engine: the edge of a node, and the recovery edge
-* of the safe node, both go through it.
+* of the safe node, both go through it. It counts the edge among those since the last rest node.
 *
 * @param ctx - Domain context of the flow plugin.
 * @param modules - Injected sibling APIs.
@@ -4619,6 +4814,7 @@ function asError$4(value) {
 */
 function commitEdge(ctx, modules, step, next) {
 	const commit = step.transaction.commit();
+	ctx.state.runner.restless += 1;
 	ctx.deps.time.wake();
 	modules.fx.release();
 	const entry = pushEntry(ctx.state.runner, {
@@ -4682,6 +4878,8 @@ function handleFailure(ctx, modules, transaction, error, path, safe) {
 	});
 	state.stack = [...target];
 	state.slotAfter = void 0;
+	state.slotLeave = void 0;
+	state.restless = 0;
 	if (!retry) {
 		safe.inside = true;
 		safe.recover = true;
@@ -4707,9 +4905,11 @@ function handleAbort(modules, transaction, reason) {
 }
 /**
 * Moves the position to a planned place and, when that place is a rest node, makes it the rest
-* point of the loop: the frame rollback and `bookmark` return to, a zeroed failure count, a
-* compacted journal at a checkpoint, `flow:rest` and the walk's rest listeners. The caller marks the
-* rest point in the store first. Used by the edge, and by the loop when it enters a slot.
+* point of the loop: the frame rollback and `bookmark` return to, a zeroed failure count, a zeroed
+* count of edges without a rest, a compacted journal at a checkpoint, `flow:rest` and the walk's
+* rest listeners. The caller marks the rest point in the store first. Used by the edge, and by the
+* loop when it enters a slot. A slot it stands on keeps the contribution that ended, or the
+* declared outcome one left on, for the next turn.
 *
 * @param ctx - Domain context of the flow plugin.
 * @param plan - Where the loop stands now.
@@ -4718,9 +4918,11 @@ function arrive(ctx, plan) {
 	const state = ctx.state.runner;
 	state.stack = plan.stack;
 	state.slotAfter = plan.after;
+	state.slotLeave = plan.leave;
 	if (!plan.rest) return;
 	state.restFrame = [...plan.stack];
 	state.failures = 0;
+	state.restless = 0;
 	if (plan.checkpoint) compact(state);
 	ctx.emit("flow:rest", {
 		path: plan.next,
@@ -4730,7 +4932,9 @@ function arrive(ctx, plan) {
 }
 /**
 * Takes the edge of one result: plan, commit, mark the barrier or the rest point, move the
-* position and announce a rest node.
+* position and announce a rest node. A plan with a problem fails the node, and so does an edge
+* beyond the cap of edges without a rest node: a loop of transit nodes that never rests would
+* freeze the game.
 *
 * @param ctx - Domain context of the flow plugin.
 * @param modules - Injected sibling APIs.
@@ -4742,6 +4946,10 @@ async function finishNode(ctx, modules, step, safe) {
 	const state = ctx.state.runner;
 	const plan = planFrom(ctx, [...state.stack], step.location, step.result.outcome, step.result.payload, 0);
 	if ("problem" in plan) return handleFailure(ctx, modules, step.transaction, new Error(plan.problem), step.path, safe);
+	if (state.restless >= state.restlessCap) {
+		const restless = `[game] ${state.restlessCap} edges without a rest node, at "${step.path}".\n  Put a rest node in the loop.`;
+		return handleFailure(ctx, modules, step.transaction, new Error(restless), step.path, safe);
+	}
 	const entry = commitEdge(ctx, modules, step, plan.next);
 	if (step.barrier) await ctx.deps.model.store.markBarrier(`${step.path}#${entry.index}@${step.now}`);
 	else if (plan.rest) ctx.deps.model.store.markRest();
@@ -4891,27 +5099,47 @@ function to(target, map) {
 	};
 }
 /**
-* Defines an extension point: a node whose body is "run the contributions of this slot in order".
-* Its single outcome is `done`.
+* Builds the slot. The body works on the widened shapes the runner reads: the signature above has
+* already kept `done` out of the declared outcomes for a typed caller, and the check here refuses
+* it past a cast.
 *
 * @param name - Slot name features contribute to.
+* @param outcomes - The named outcomes besides `done`.
 * @returns The slot node as plain data.
-* @example
-* ```ts
-* // The main flow leaves room after a finished order. Features contribute sub-flows to it.
-* nodes: { boot, home, board: boardFlow, afterOrder: slot("afterOrder") }
-* // slot("afterOrder"): { kind: "slot", name: "afterOrder", input: …, outcomes: { done: … } }
-* ```
+* @throws {TypeError} When `outcomes` declares `done`.
 */
-function slot(name) {
+function slot(name, outcomes) {
+	if (outcomes !== void 0 && Object.hasOwn(outcomes, "done")) throw new TypeError(`[game] Slot "${name}" declares the outcome "done".\n  done is every slot's own outcome; remove it from slot("${name}", ...).`);
 	return {
 		kind: "slot",
 		name,
 		input: type(),
-		outcomes: { done: type() }
+		outcomes: {
+			done: type(),
+			...outcomes
+		}
 	};
 }
 /**
+* Builds the entry. The body works on the widened shapes the runner reads: the signature above
+* has already checked the flow against the slot.
+*
+* @param host - The slot node the flow runs in.
+* @param spec - The flow, its `order` and an optional `when`.
+* @returns The entry under the slot's name.
+*/
+function contribution(host, spec) {
+	const { flow, order, when } = spec;
+	return { [host.name]: when === void 0 ? {
+		flow,
+		order
+	} : {
+		flow,
+		order,
+		when
+	} };
+}
+/**
 * Builds the `out` of a node context: one method per declared outcome. A method called without
 * data produces a `null` payload. Called by the loop when it enters a node, never by a game.
 *
@@ -5676,7 +5904,8 @@ function enterSubFlow(ctx, modules, location, sub, safe) {
 }
 /**
 * Enters a slot: the first contribution whose `when` passes, or the slot's `done` edge when the
-* slot has no contribution to run.
+* slot has no contribution to run. When a contribution just left on an outcome the slot declares,
+* the slot takes its own edge of that outcome instead, with the contribution's payload.
 *
 * @param ctx - Domain context of the flow plugin.
 * @param modules - Injected sibling APIs.
@@ -5687,6 +5916,14 @@ function enterSubFlow(ctx, modules, location, sub, safe) {
 */
 function enterSlot(ctx, modules, location, slot, safe) {
 	const state = ctx.state.runner;
+	const leave = state.slotLeave;
+	if (leave !== void 0) {
+		state.slotLeave = void 0;
+		return applyResult(ctx, modules, location, leave, safe, {
+			barrier: false,
+			now: ctx.deps.clock.now()
+		});
+	}
 	const finished = state.slotAfter;
 	const contributions = modules.features.contributions(slot.name);
 	const from = finished === void 0 ? 0 : contributions.findIndex((item) => item.flow.id === finished) + 1;
@@ -5742,8 +5979,10 @@ function enterBookmark(ctx, modules, bookmark, safe) {
 	ctx.deps.model.store.markRest();
 	state.stack = framesOf(location.trail, bookmark.input);
 	state.slotAfter = void 0;
+	state.slotLeave = void 0;
 	state.restFrame = [...state.stack];
 	state.failures = 0;
+	state.restless = 0;
 	ctx.emit("flow:rest", {
 		path: bookmark.path,
 		checkpoint: isRestCheckpoint(location.entry)
@@ -5777,7 +6016,8 @@ async function advance$1(ctx, modules, safe) {
 * Runs the graph until aborted: enter node, `onEnter` stages, begin a transaction, await the
 * body, commit on the edge, release hints, journal, emit `flow:edge`, follow the edge. An error
 * discards, rolls back, is logged and retries, then enters `safeNode`, whose `recover` runs first
-* as one committed edge; a failure inside `safeNode` rejects.
+* as one committed edge; a failure inside `safeNode` rejects. More edges without a rest node than
+* the graph's cap is such an error too.
 * Abort reasons: `"stop"` ends the loop, `"inbox"` turns the event into the outcome, `"restore"`
 * enters the bookmark's frame.
 *
@@ -5791,6 +6031,7 @@ async function runLoop(ctx, modules) {
 	const state = ctx.state.runner;
 	state.flows = collectGraph(ctx, modules.features);
 	checkGraph(ctx, modules.features);
+	state.restlessCap = restlessCapOf(main, modules.features.contributions);
 	modules.features.seal();
 	await ctx.deps.model.store.load();
 	state.stack = [{
@@ -5800,7 +6041,9 @@ async function runLoop(ctx, modules) {
 	}];
 	state.restFrame = [...state.stack];
 	state.slotAfter = void 0;
+	state.slotLeave = void 0;
 	state.failures = 0;
+	state.restless = 0;
 	const safe = {
 		inside: false,
 		recover: false
@@ -6680,6 +6923,9 @@ function createInboxState() {
 //#endregion
 //#region src/plugins/flow/runner/state.ts
 /**
+* @file flow/runner — state factory.
+*/
+/**
 * Creates the empty flow registry. It lives in its own function because the plugin's lint rule
 * L5 refuses a collection built inside an exported declaration.
 *
@@ -6709,6 +6955,9 @@ function createRunnerState() {
 		stack: [],
 		restFrame: void 0,
 		slotAfter: void 0,
+		slotLeave: void 0,
+		restless: 0,
+		restlessCap: 64,
 		journal: [],
 		journalIndex: 0,
 		running: void 0,
@@ -66188,4 +66437,4 @@ const screen = [
 	uiPlugin
 ];
 //#endregion
-export { sfx as $, flowPlugin as $t, types_exports$10 as A, Glow as At, defineMotion as B, Animation as Bt, types_exports$3 as C, messageDuration as Ct, types_exports$7 as D, Blur as Dt, types_exports$6 as E, Alpha as Et, types_exports$15 as F, audioPlugin as Ft, external as G, MONITOR_SECTIONS as Gt, platformPlugin as H, rendererPlugin as Ht, types_exports$16 as I, scenesPlugin as It, mark as J, PERF_LOG_VERSION as Jt, frames as K, PERF_CAUSES as Kt, types_exports$17 as L, assetsPlugin as Lt, types_exports$12 as M, Outline as Mt, types_exports$13 as N, defineFilter as Nt, types_exports$8 as O, ColorMatrix as Ot, types_exports$14 as P, debugPlugin as Pt, set as Q, worldPlugin as Qt, uiPlugin as R, animPlugin as Rt, types_exports$2 as S, messageArgument as St, types_exports$5 as T, Emitter as Tt, HAPTIC_KINDS as U, PASS_KINDS as Ut, textPlugin as V, Frames as Vt, defineAnimation as W, frameAt as Wt, play$1 as X, SHADER_WHATS as Xt, parallel as Y, PROBLEM_RULES as Yt, sequence as Z, DEMAND_REASONS as Zt, defineBundles as _, Tappable as _t, cubicBezier as a, modelPlugin as an, use as at, types_exports as b, Traced as bt, hint as c, timePlugin as cn, Draggable as ct, defineScene as d, Hovered as dt, refuseStart as en, spawn as et, tr as f, Pointer as ft, music as g, Swipeable as gt, defineEmitter as h, Pressed as ht, screen as i, type as in, tween as it, types_exports$11 as j, Noise as jt, types_exports$9 as k, Displacement as kt, schedule as l, clockPlugin as ln, DropTarget as lt, flattenFeatures as m, Pressable as mt, createPlugin as n, slot as nn, stagger as nt, defineEffect as o, SaveUnreadableError as on, wait as ot, defineFeature as p, PointerOver as pt, haptic as q, PERF_GAP_BUCKETS as qt, defineGame as r, to as rn, stopSfx as rt, guide as s, lifecyclePlugin as sn, inputPlugin as st, createApp as t, exit as tn, spawned as tt, projection as u, Held as ut, load as v, Touchable as vt, types_exports$4 as w, effectsPlugin as wt, types_exports$1 as x, i18nPlugin as xt, ready as y, Traceable as yt, resolve as z, AnimPlayer as zt };
+export { sfx as $, flowPlugin as $t, types_exports$10 as A, Glow as At, defineMotion as B, Animation as Bt, types_exports$3 as C, messageDuration as Ct, types_exports$7 as D, Blur as Dt, types_exports$6 as E, Alpha as Et, types_exports$15 as F, audioPlugin as Ft, external as G, MONITOR_SECTIONS as Gt, platformPlugin as H, rendererPlugin as Ht, types_exports$16 as I, scenesPlugin as It, mark as J, PERF_LOG_VERSION as Jt, frames as K, PERF_CAUSES as Kt, types_exports$17 as L, assetsPlugin as Lt, types_exports$12 as M, Outline as Mt, types_exports$13 as N, defineFilter as Nt, types_exports$8 as O, ColorMatrix as Ot, types_exports$14 as P, debugPlugin as Pt, set as Q, worldPlugin as Qt, uiPlugin as R, animPlugin as Rt, types_exports$2 as S, messageArgument as St, types_exports$5 as T, Emitter as Tt, HAPTIC_KINDS as U, PASS_KINDS as Ut, textPlugin as V, Frames as Vt, defineAnimation as W, frameAt as Wt, play$1 as X, SHADER_WHATS as Xt, parallel as Y, PROBLEM_RULES as Yt, sequence as Z, DEMAND_REASONS as Zt, defineBundles as _, Tappable as _t, cubicBezier as a, type as an, use as at, types_exports as b, Traced as bt, hint as c, lifecyclePlugin as cn, Draggable as ct, defineScene as d, Hovered as dt, refuseStart as en, spawn as et, tr as f, Pointer as ft, music as g, Swipeable as gt, defineEmitter as h, Pressed as ht, screen as i, to as in, tween as it, types_exports$11 as j, Noise as jt, types_exports$9 as k, Displacement as kt, schedule as l, timePlugin as ln, DropTarget as lt, flattenFeatures as m, Pressable as mt, createPlugin as n, exit as nn, stagger as nt, defineEffect as o, modelPlugin as on, wait as ot, defineFeature as p, PointerOver as pt, haptic as q, PERF_GAP_BUCKETS as qt, defineGame as r, slot as rn, stopSfx as rt, guide as s, SaveUnreadableError as sn, inputPlugin as st, createApp as t, contribution as tn, spawned as tt, projection as u, clockPlugin as un, Held as ut, load as v, Touchable as vt, types_exports$4 as w, effectsPlugin as wt, types_exports$1 as x, i18nPlugin as xt, ready as y, Traceable as yt, resolve as z, AnimPlayer as zt };

package/dist/testing.d.mts

@@ -1,7 +1,7 @@
-import { $n as FeaturePlugin, Dr as Json, dr as Descriptor, gr as NodeFx, hr as Hint, sr as NodeTable, tr as AnyFlow, xr as FakeClock, yr as ClockSource } from "./types-DY_DRbGY.mjs";
-import { t as createApp } from "./index-BQGifHXV.mjs";
-import { b as saveOf, v as WithGameState, y as memory } from "./types-B4DmdMle.mjs";
-import { a as createHeadless, i as ReproResult, n as HeadlessGame, o as runRepro, r as Repro, s as stepFrames, t as HeadlessApp } from "./headless-CEwDAhgH.mjs";
+import { Or as Json, Sr as FakeClock, _r as NodeFx, br as ClockSource, cr as NodeTable, er as FeaturePlugin, fr as Descriptor, gr as Hint, nr as AnyFlow } from "./types-DrkR03nL.mjs";
+import { t as createApp } from "./index-D12s9KZ2.mjs";
+import { b as saveOf, v as WithGameState, y as memory } from "./types-DQ9VHXun.mjs";
+import { a as createHeadless, i as ReproResult, n as HeadlessGame, o as runRepro, r as Repro, s as stepFrames, t as HeadlessApp } from "./headless-1e3gEF1Y.mjs";
 import { AnyPluginInstance } from "@moku-labs/core";
 
 //#region src/plugins/clock/fake.d.ts

package/dist/testing.mjs

@@ -1,7 +1,7 @@
-import { en as refuseStart, in as type, m as flattenFeatures, t as createApp, tn as exit } from "./src-Cz-QeLTp.mjs";
+import { an as type, en as refuseStart, m as flattenFeatures, nn as exit, t as createApp } from "./src-CWVwT9UM.mjs";
 import { n as saveOf, t as memory } from "./memory-CWlqhS7l.mjs";
 import { n as fakeClock } from "./fake-hnJcJeYf.mjs";
-import { i as stepFrames, r as runRepro, t as createHeadless } from "./headless-Bxxl_mQX.mjs";
+import { i as stepFrames, r as runRepro, t as createHeadless } from "./headless-CCiUwvlp.mjs";
 //#region src/testing/fake-fx.ts
 /** The node path a refused `fx.start` names when the test gives none. */
 const defaultPath = "test";

package/dist/{types-CP22WjU9.d.mts → types-B-o8Ul1v.d.mts}

@@ -1,5 +1,5 @@
-import { $ as PixiModule, A as SyncApi, An as NumericFields, Dr as Json, En as Ease, Er as Events$3, Fn as TrackSegment, Ln as Api$2, Nn as ReducedMotion, O as FilterSlot, Pn as TrackOptions, Q as PixiFilter, Ur as Events$5, Y as Api$4, b as Events$4, dr as Descriptor, et as PixiSprite, fn as ComponentType, ft as FilterCache, k as FilterSlotInputs, kn as MotionHandle, ln as AnyComponentValue, mn as Entity, ni as Events$2, nn as Api$3, qr as Api$1, ri as Require, s as Events$1, sn as AnyComponent, t as Api$5, tt as PixiTexture, un as ComponentHandle, ur as TypeTag, ut as Point, wr as Api$6 } from "./types-DY_DRbGY.mjs";
-import { N as InputApi, R as I18nApi, X as StylesState, c as UiNode, i as Finding, l as LayoutState, n as ElementChange, o as JsxState, r as ElementMotion, w as TextApi } from "./types-Dnh8LZxo.mjs";
+import { $ as PixiModule, A as SyncApi, An as NumericFields, Dr as Events$3, En as Ease, Fn as TrackSegment, Jr as Api$1, Ln as Api$2, Nn as ReducedMotion, O as FilterSlot, Or as Json, Pn as TrackOptions, Q as PixiFilter, Tr as Api$6, Wr as Events$5, Y as Api$4, b as Events$4, dr as TypeTag, et as PixiSprite, fn as ComponentType, fr as Descriptor, ft as FilterCache, ii as Require, k as FilterSlotInputs, kn as MotionHandle, ln as AnyComponentValue, mn as Entity, nn as Api$3, ri as Events$2, s as Events$1, sn as AnyComponent, t as Api$5, tt as PixiTexture, un as ComponentHandle, ut as Point } from "./types-DrkR03nL.mjs";
+import { N as InputApi, R as I18nApi, X as StylesState, c as UiNode, i as Finding, l as LayoutState, n as ElementChange, o as JsxState, r as ElementMotion, w as TextApi } from "./types-CFEtGENK.mjs";
 import { Log } from "@moku-labs/common/browser";
 import { PluginCtx } from "@moku-labs/core";
 

package/dist/{types-Dnh8LZxo.d.mts → types-CFEtGENK.d.mts}

@@ -1,4 +1,4 @@
-import { An as NumericFields, Cn as TagType, Dn as Motion, Dr as Json, En as Ease, In as ViewHandle, K as TransformValue, Ln as Api$1, Nn as ReducedMotion, On as MotionCause, Y as Api$3, _r as Answer, cn as AnyComponentType, dr as Descriptor, dt as ViewportSize, fn as ComponentType, hr as Hint, jn as ProjectionMotion, kn as MotionHandle, ln as AnyComponentValue, mn as Entity, nn as Api$2, qr as Api, ri as Require, s as Events$1, sn as AnyComponent, t as Api$4, vr as Api$5, wn as ChangeHook } from "./types-DY_DRbGY.mjs";
+import { An as NumericFields, Cn as TagType, Dn as Motion, En as Ease, In as ViewHandle, Jr as Api, K as TransformValue, Ln as Api$1, Nn as ReducedMotion, On as MotionCause, Or as Json, Y as Api$3, cn as AnyComponentType, dt as ViewportSize, fn as ComponentType, fr as Descriptor, gr as Hint, ii as Require, jn as ProjectionMotion, kn as MotionHandle, ln as AnyComponentValue, mn as Entity, nn as Api$2, s as Events$1, sn as AnyComponent, t as Api$4, vr as Answer, wn as ChangeHook, yr as Api$5 } from "./types-DrkR03nL.mjs";
 import { Log } from "@moku-labs/common/browser";
 import { PluginCtx } from "@moku-labs/core";
 import { Node, Yoga } from "yoga-layout/load";

package/dist/{types-B4DmdMle.d.mts → types-DQ9VHXun.d.mts}

@@ -1,7 +1,7 @@
-import { $ as PixiModule, $n as FeaturePlugin, Dr as Json, Lr as SnapshotOf, Mr as PlayerStateProvider, Nr as ProviderCall, Pr as SaveDoc, Tr as Config, X as Config$2, a as Config$3, d as Manifest, lt as Orientation, n as AssetsIo, tr as AnyFlow, ur as TypeTag, xr as FakeClock, yr as ClockSource, zn as Config$1 } from "./types-DY_DRbGY.mjs";
-import { o as AudioContextLike, s as Config$4 } from "./types-CP22WjU9.mjs";
-import { R as I18nApi, U as StringTable, W as TextKey } from "./types-Dnh8LZxo.mjs";
-import { St as effectsPlugin, Tt as audioPlugin, ht as PlatformProvider, i as screen, pt as platformPlugin, t as createApp } from "./index-BQGifHXV.mjs";
+import { $ as PixiModule, Er as Config, Fr as SaveDoc, Nr as PlayerStateProvider, Or as Json, Pr as ProviderCall, Rr as SnapshotOf, Sr as FakeClock, X as Config$2, a as Config$3, br as ClockSource, d as Manifest, dr as TypeTag, er as FeaturePlugin, lt as Orientation, n as AssetsIo, nr as AnyFlow, zn as Config$1 } from "./types-DrkR03nL.mjs";
+import { o as AudioContextLike, s as Config$4 } from "./types-B-o8Ul1v.mjs";
+import { R as I18nApi, U as StringTable, W as TextKey } from "./types-CFEtGENK.mjs";
+import { St as effectsPlugin, Tt as audioPlugin, ht as PlatformProvider, i as screen, pt as platformPlugin, t as createApp } from "./index-D12s9KZ2.mjs";
 import { AnyPluginInstance } from "@moku-labs/core";
 
 //#region src/plugins/model/store/providers/memory.d.ts