@frockbot/plugin-shell 0.3.2 → 0.3.4

package/src/backend-supersede.test.ts

@@ -0,0 +1,377 @@
+/**
+ * What a superseded Turn does to the durable state the Shell owns: how its
+ * unsettled effects are classified, what it leaves for the Turn that replaced
+ * it, and what a Stop arriving afterwards is allowed to touch.
+ */
+import { describe, expect, test } from "bun:test";
+import type { SessionEvent } from "@frockbot/kernel-contracts";
+import {
+  initializeBotSettingsV1,
+  type UserSettingsViewV1,
+} from "@frockbot/configuration-core";
+import {
+  createShellBotBackendContribution,
+  type ShellBotBackendHost,
+} from "./backend.js";
+import {
+  botTurnCommandFingerprintV1,
+  type StoredRun,
+} from "./backend-contracts.js";
+import { planInterruptedRunRecoveryV1 } from "./backend-recovery.js";
+import { projectClientRunV1 } from "./run-protocol.js";
+import { TaskStore } from "@frockbot/plugin-subagents/store";
+
+class MemoryStorage {
+  readonly values = new Map<string, unknown>();
+  alarmAt: number | undefined;
+
+  get<T>(key: string): Promise<T | undefined> {
+    return Promise.resolve(
+      structuredClone(this.values.get(key)) as T | undefined,
+    );
+  }
+
+  put(key: string | Record<string, unknown>, value?: unknown): Promise<void> {
+    if (typeof key === "string") this.values.set(key, structuredClone(value));
+    else {
+      for (const [entry, item] of Object.entries(key)) {
+        this.values.set(entry, structuredClone(item));
+      }
+    }
+    return Promise.resolve();
+  }
+
+  delete(key: string): Promise<boolean> {
+    return Promise.resolve(this.values.delete(key));
+  }
+
+  list<T>(options: { prefix?: string }): Promise<Map<string, T>> {
+    return Promise.resolve(
+      new Map(
+        [...this.values.entries()].filter(([key]) =>
+          key.startsWith(options.prefix ?? ""),
+        ) as Array<[string, T]>,
+      ),
+    );
+  }
+
+  transaction<T>(callback: (storage: MemoryStorage) => Promise<T>): Promise<T> {
+    return callback(this);
+  }
+
+  setAlarm(timestamp: number): Promise<void> {
+    this.alarmAt = timestamp;
+    return Promise.resolve();
+  }
+
+  deleteAlarm(): Promise<void> {
+    this.alarmAt = undefined;
+    return Promise.resolve();
+  }
+}
+
+const user: UserSettingsViewV1 = {
+  schemaVersion: 1,
+  revision: 0,
+  profile: { name: "User" },
+  packages: [],
+  connections: [],
+};
+
+function host(storage: MemoryStorage): ShellBotBackendHost {
+  return {
+    state: { storage } as unknown as DurableObjectState,
+    env: {
+      USER_CONFIGURATIONS: {
+        idFromName: () => "user-id",
+        get: () => ({ readConfiguration: () => Promise.resolve(user) }),
+      },
+    } as unknown as ShellBotBackendHost["env"],
+  };
+}
+
+const identity = { userId: "user-1", botId: "primary" };
+const turn = {
+  ...identity,
+  runId: "run-1",
+  sessionId: "user-1:primary",
+  acceptedAt: "2026-09-03T00:00:00.000Z",
+  text: "hello",
+};
+const timestamp = "2026-09-03T00:00:01.000Z";
+
+function events(...inputs: Record<string, unknown>[]): SessionEvent[] {
+  return inputs.map(
+    (event, seq) => ({ ...event, seq, timestamp }) as SessionEvent,
+  );
+}
+
+/** A Turn that had dispatched a model request and asked a tool to run. */
+function toolIntentEvents(): SessionEvent[] {
+  return events(
+    { type: "session/created", createdAt: timestamp },
+    { type: "turn/start", turn: 1 },
+    { type: "step/start", turn: 1, step: 1 },
+    {
+      type: "model/request",
+      turn: 1,
+      step: 1,
+      request: {
+        requestId: "request-1",
+        provider: "foundation",
+        model: "foundation-model",
+        system: "system",
+        messages: [{ role: "user", content: "hello" }],
+        tools: [],
+      },
+    },
+    {
+      type: "assistant/message",
+      turn: 1,
+      step: 1,
+      requestId: "request-1",
+      text: "on it",
+      toolCalls: [{ id: "provider-call", name: "effect", input: {} }],
+    },
+    {
+      type: "tool/call",
+      turn: 1,
+      step: 1,
+      occurrenceId: "tool:1:1:0",
+      name: "effect",
+      input: {},
+    },
+  );
+}
+
+function storedRun(overrides: Partial<StoredRun> = {}): StoredRun {
+  return {
+    runId: turn.runId,
+    commandFingerprint: botTurnCommandFingerprintV1(turn),
+    sessionId: turn.sessionId,
+    acceptedAt: turn.acceptedAt,
+    input: turn.text,
+    events: [],
+    effectAdmissions: [],
+    status: "running",
+    phase: "executing",
+    compositionGenerationId: "generation-1",
+    configurationSnapshot: initializeBotSettingsV1(identity.botId),
+    previousEventCount: 0,
+    ...overrides,
+  } as StoredRun;
+}
+
+async function fixture(run: StoredRun = storedRun()): Promise<{
+  storage: MemoryStorage;
+  contribution: ReturnType<typeof createShellBotBackendContribution>;
+}> {
+  const storage = new MemoryStorage();
+  const contribution = createShellBotBackendContribution(host(storage));
+  await contribution.materializeSettings(identity, { name: "Primary" });
+  storage.values.set(`run:${run.runId}`, structuredClone(run));
+  storage.values.set("active-run", run.runId);
+  return { storage, contribution };
+}
+
+describe("a superseded run settles its effects exactly as a stopped one does", () => {
+  test("a tool effect that was never admitted is interrupted, never re-run", () => {
+    const run = storedRun({
+      events: toolIntentEvents(),
+      supersededAt: timestamp,
+      supersededBy: "run-2",
+      effectAdmissions: [
+        { kind: "model", effectId: "request-1", outcome: "admitted" },
+        { kind: "tool", effectId: "tool:1:1:0", outcome: "fenced" },
+      ],
+    });
+
+    const plan = planInterruptedRunRecoveryV1(run, run.events);
+
+    expect(plan.kind).toBe("cancel");
+    if (plan.kind !== "cancel") throw new Error("expected cancellation");
+    expect(
+      plan.events.find((event) => event.type === "tool/result"),
+    ).toMatchObject({ status: "interrupted", isError: true });
+    expect(plan.events.at(-1)).toMatchObject({
+      type: "turn/end",
+      outcome: "interrupted",
+    });
+  });
+
+  test("a tool effect that was admitted reconciles rather than settling", () => {
+    const run = storedRun({
+      events: toolIntentEvents(),
+      supersededAt: timestamp,
+      supersededBy: "run-2",
+      effectAdmissions: [
+        { kind: "model", effectId: "request-1", outcome: "admitted" },
+        { kind: "tool", effectId: "tool:1:1:0", outcome: "admitted" },
+      ],
+    });
+
+    // Identical to Stop: an effect that may already have run is retrieved, not
+    // assumed away, and the Turn that replaced it waits for the answer.
+    expect(planInterruptedRunRecoveryV1(run, run.events)).toEqual({
+      kind: "reconcile",
+    });
+  });
+
+  test("a run carrying neither intent is refused a plan", () => {
+    expect(() =>
+      planInterruptedRunRecoveryV1(
+        storedRun({ events: toolIntentEvents() }),
+        toolIntentEvents(),
+      ),
+    ).toThrow(`run "${turn.runId}" has no durable stop or supersede intent`);
+  });
+});
+
+describe("Stop and supersede on the same Turn", () => {
+  test("Stop still records its intent on a superseded Turn", async () => {
+    const { storage, contribution } = await fixture(
+      storedRun({
+        events: toolIntentEvents(),
+        supersededAt: timestamp,
+        supersededBy: "run-2",
+      }),
+    );
+
+    const receipt = await contribution.stopRun(identity, {
+      schemaVersion: 1,
+      action: "stop",
+      commandId: "stop-1",
+      runId: turn.runId,
+    });
+
+    expect(receipt.run.stopRequestedAt).toBeString();
+    const stored = storage.values.get(`run:${turn.runId}`) as StoredRun;
+    expect(stored.stopRequestedAt).toBeString();
+    // Both intents stand. Stop is the outcome the settlement writes, because
+    // the User asked for this Turn to stop and a later message does not turn
+    // their cancellation into something else.
+    expect(stored.supersededAt).toBe(timestamp);
+  });
+
+  test("Stop leaves a Turn already admitted as the next one alone", async () => {
+    const { storage, contribution } = await fixture(
+      storedRun({ events: toolIntentEvents(), supersededAt: timestamp }),
+    );
+    const queued = storedRun({
+      runId: "run-2",
+      acceptedAt: "2026-09-03T00:00:02.000Z",
+      input: "second",
+      phase: "queued",
+      previousEventCount: 0,
+    });
+    storage.values.set("run:run-2", structuredClone(queued));
+    storage.values.set("pending-run", "run-2");
+
+    await contribution.stopRun(identity, {
+      schemaVersion: 1,
+      action: "stop",
+      commandId: "stop-1",
+      runId: turn.runId,
+    });
+
+    expect(storage.values.get("pending-run")).toBe("run-2");
+    expect((storage.values.get("run:run-2") as StoredRun).status).toBe(
+      "running",
+    );
+  });
+});
+
+describe("background work outlives the Turn that dispatched it", () => {
+  test("a subagent of a superseded Turn still settles, and is recorded", async () => {
+    const { storage, contribution } = await fixture(
+      storedRun({
+        events: [
+          ...toolIntentEvents(),
+          ...events({
+            type: "task/dispatched",
+            turn: 1,
+            step: 1,
+            occurrenceId: "tool:1:1:0",
+            taskId: "tk-1",
+            taskType: "executor",
+            description: "Read the release notes",
+            model: "foundation/foundation-model",
+            background: true,
+          }),
+        ],
+        supersededAt: timestamp,
+        supersededBy: "run-2",
+      }),
+    );
+    const tasks = new TaskStore(
+      storage as unknown as ConstructorParameters<typeof TaskStore>[0],
+    );
+    const admitted = await tasks.admit({
+      taskId: "tk-1",
+      type: "executor",
+      description: "Read the release notes",
+      promptDigest: "a".repeat(64),
+      model: {
+        binding: {
+          packageId: "provider-foundation",
+          capabilityId: "foundation",
+          connectionId: "cn-1",
+          provider: "foundation",
+          providerModelId: "foundation-model",
+        },
+        slug: "provider-foundation/foundation-model",
+      },
+      compositionGenerationId: "generation-1",
+      background: true,
+      attachments: [],
+      dispatch: {
+        runId: turn.runId,
+        turnId: turn.runId,
+        sessionId: turn.sessionId,
+      },
+      now: new Date(timestamp),
+    });
+    expect(admitted.status).toBe("admitted");
+
+    // The parent Turn was superseded; nothing asked the child to stop, and its
+    // settlement is written exactly as it would have been.
+    const settled = await contribution.settleTask(identity, "tk-1", {
+      status: "completed",
+      settledAt: "2026-09-03T00:00:09.000Z",
+      summary: "The notes mention two breaking changes.",
+    });
+
+    expect(settled.status).toBe("settled");
+    expect(await tasks.read("tk-1")).toMatchObject({
+      taskId: "tk-1",
+      status: "completed",
+    });
+  });
+});
+
+describe("the projection tells the three states apart", () => {
+  test("queued, running, and superseded each project distinctly", () => {
+    const queued = projectClientRunV1(
+      storedRun({ runId: "run-2", phase: "queued", input: "second" }),
+    );
+    expect(queued).toMatchObject({ status: "running", queued: true });
+
+    const running = projectClientRunV1(storedRun({ phase: "executing" }));
+    expect(running.status).toBe("running");
+    expect(running.queued).toBeUndefined();
+
+    const superseded = projectClientRunV1(
+      storedRun({
+        status: "superseded",
+        supersededAt: timestamp,
+        supersededBy: "run-2",
+        events: [],
+      }),
+    );
+    expect(superseded).toMatchObject({
+      status: "superseded",
+      outcome: { type: "superseded" },
+    });
+    expect(superseded.queued).toBeUndefined();
+  });
+});

package/src/backend.ts

@@ -119,7 +119,7 @@ import {
   eventsForFailedRun,
   latestModelRequestJournalState,
   planBotRunRecovery,
-  planStoppedRunRecovery,
+  planInterruptedRunRecoveryV1,
 } from "./backend-recovery.js";
 import {
   bootstrapCompositionGeneration,
@@ -379,7 +379,10 @@ import {
   projectPackageIframeCompositionV1,
 } from "./composition-views.js";
 import { executeBotTurn, executeDirectToolTurn } from "./backend-runner.js";
-import { shellTerminalRecordsV1 } from "./terminal-records.js";
+import {
+  shellTerminalRecordsV1,
+  supersededTurnRecordsV1,
+} from "./terminal-records.js";
 import {
   CLIENT_RUN_LIST_MAX_BYTES,
   CLIENT_RUN_PAGE_LIMIT,
@@ -472,7 +475,10 @@ interface StoredStopReceipt {
 
 function isTerminalStoredRunStatus(status: StoredRunStatus): boolean {
   return (
-    status === "completed" || status === "failed" || status === "cancelled"
+    status === "completed" ||
+    status === "failed" ||
+    status === "cancelled" ||
+    status === "superseded"
   );
 }
 
@@ -678,7 +684,8 @@ export class ShellBotBackendContribution {
         subagentRole?: string;
         mounted: ShellMountedComposition;
         signal: AbortSignal;
-        cancel(): void;
+        /** `detail` is recorded on the Turn's `turn/end`, never interpreted. */
+        cancel(detail?: string): void;
       }
     | undefined;
   /**
@@ -762,6 +769,9 @@ export class ShellBotBackendContribution {
         notification: (snapshot, result) =>
           this.createNotification(snapshot, result),
         terminalRecords: (input) => this.terminalPackageRecords(input),
+        supersededRecords: (input) => this.supersededPackageRecords(input),
+        interruptTurn: (runId, reason) =>
+          this.interruptActiveTurn(runId, reason),
         scheduledDeadlines: (transaction) =>
           this.scheduledDeadlines(transaction),
         scheduledWorkInFlight: () =>
@@ -1639,9 +1649,9 @@ export class ShellBotBackendContribution {
         : {}),
       mounted: activation.mounted,
       signal: controller.signal,
-      cancel: () => {
+      cancel: (detail?: string) => {
         controller.abort("user");
-        activation.mounted.runtime.agent.agent.cancel("user");
+        activation.mounted.runtime.agent.agent.cancel("user", detail);
       },
     };
     this.activeTurn = active;
@@ -1750,6 +1760,7 @@ export class ShellBotBackendContribution {
   private cancelActiveTurn(cancellation: {
     sessionId: string;
     runId: string;
+    detail?: string;
   }): boolean {
     const active = this.activeTurn;
     if (
@@ -1759,10 +1770,24 @@ export class ShellBotBackendContribution {
     ) {
       return false;
     }
-    active.cancel();
+    active.cancel(cancellation.detail);
     return true;
   }
 
+  /**
+   * The kernel's advisory interrupt, bound to this object's resident Agent.
+   *
+   * It runs only after the durable intent that justifies it is written, and it
+   * changes nothing durable itself: a Turn whose Agent is no longer resident
+   * is stopped by the effect fence on its next external effect instead, which
+   * is the same outcome by a slower road.
+   */
+  private interruptActiveTurn(runId: string, reason: string): void {
+    const active = this.activeTurn;
+    if (!active || active.runId !== runId) return;
+    active.cancel(reason);
+  }
+
   /** The visible half of failing closed, through the Bot's notifications. */
   private async recordCompositionFailureNotification(
     settings: BotSettingsViewV1,
@@ -5296,6 +5321,27 @@ export class ShellBotBackendContribution {
     });
   }
 
+  /**
+   * What a superseded Turn leaves for the Turn that replaced it.
+   *
+   * One durable input, drained once by the next conversational Turn. The
+   * session log already carries what the Turn sent and what its tools
+   * returned; this is the part that is not in the log — that it was cut off,
+   * that nothing in flight completed, and that a subagent it dispatched is
+   * still working. "A firing's outcome is delivered to the Bot's next
+   * conversational Turn as durable input" and a superseded Turn's is too.
+   */
+  private supersededPackageRecords(input: {
+    run: StoredRun;
+    read<T>(key: string): Promise<T | undefined>;
+  }): Promise<Record<string, unknown>> {
+    return supersededTurnRecordsV1({
+      run: input.run,
+      now: new Date().toISOString(),
+      read: input.read,
+    });
+  }
+
   async alarm(): Promise<void> {
     // One alarm: the kernel defers while work is in flight, settles Package
     // scheduled work, and recovers the active run. A run left
@@ -5953,7 +5999,12 @@ export class ShellBotBackendContribution {
           `effect admission "${effect.effectId}" does not match durable intent`,
         );
       }
-      const outcome = run.stopRequestedAt ? "fenced" : "admitted";
+      // Supersede fences exactly as Stop does. It is what makes an interrupt
+      // durable rather than advisory: a Turn whose Agent never got the signal
+      // — because the object was evicted and resumed — still starts no new
+      // provider call or tool effect once the intent is recorded.
+      const outcome =
+        run.stopRequestedAt || run.supersededAt ? "fenced" : "admitted";
       const next = requireStoredRunV1({
         ...run,
         effectAdmissions: [

package/src/client/FrockBotApp.vue

@@ -267,19 +267,56 @@ const macDesktop =
   typeof navigator !== "undefined" &&
   /Electron/u.test(navigator.userAgent) &&
   /Mac/u.test(navigator.platform);
-const botName = computed(
-  () => state.value.botSettings?.profile.name ?? "Barebones",
-);
-const isRunning = computed(() => Boolean(state.value.activeRunId));
+// The Bot's own name, or nothing: an account with no Bot, and a Bot whose
+// settings have not arrived yet, must never be given a made-up name.
+const botName = computed(() => state.value.botSettings?.profile.name ?? "");
+const hasBot = computed(() => Boolean(state.value.activeBotId));
+/**
+ * The greeting, the composer placeholder and the not-ready line all read off
+ * the same two facts: whether a Bot is open, and what the model resolver said.
+ * `state.modelLabel` already carries the resolver's own repairable failure
+ * sentence when the binding failed, so the surface repeats it rather than
+ * inventing "Model unavailable" of its own.
+ */
+const threadHeading = computed(() => {
+  if (!hasBot.value) return "No Bots yet.";
+  if (!botName.value) return state.value.modelReady ? "Ready." : "Not ready.";
+  return state.value.modelReady
+    ? `${botName.value} is ready.`
+    : `${botName.value} isn't ready.`;
+});
+const threadHint = computed(() => {
+  if (!hasBot.value) return "Add your first sheep to start a conversation.";
+  if (state.value.modelReady) {
+    return "Start with a conversation. Cordis plugins can add the rest.";
+  }
+  return state.value.modelLabel;
+});
+/** A Turn is executing. The composer stays open; only Stop depends on this. */
+const isRunning = computed(() => Boolean(state.value.runningRunId));
 const isConnecting = computed(() => state.value.connection !== "ready");
+/**
+ * Sending while the Bot is working is the point: the message supersedes the
+ * running Turn. So the only things that close the composer are the ones that
+ * would make any message impossible.
+ */
+const composerPlaceholder = computed(() => {
+  if (isConnecting.value) return "Connecting…";
+  if (!state.value.modelReady) return state.value.modelLabel;
+  return botName.value ? `Message ${botName.value}` : "Message";
+});
 const canSend = computed(
   () =>
     state.value.connection === "ready" &&
     state.value.modelReady &&
     Boolean(state.value.activeBotId) &&
-    !isRunning.value &&
     draft.value.trim().length > 0,
 );
+/**
+ * Stop takes the button only while there is nothing to send. The moment the
+ * User has typed something, sending it is what they mean by interrupting.
+ */
+const showStop = computed(() => isRunning.value && !canSend.value);
 
 /*
  * Tool activity is internal to the Turn. A Turn that produced only tool calls
@@ -295,8 +332,15 @@ function attachmentsOf(message: WebChatMessage): WebToolAttachment[] {
 }
 
 function iframeEntriesFor(tool: WebToolActivity) {
-  const slot = `frockbot.tool-result:${tool.name}`;
+  const separator = tool.name.indexOf("/");
+  const namespace = separator < 0 ? undefined : tool.name.slice(0, separator);
+  const toolName = separator < 0 ? tool.name : tool.name.slice(separator + 1);
+  const slot = `frockbot.tool-result:${toolName}`;
   return (state.value.packageUi?.contributions ?? [])
+    .filter(
+      (contribution) =>
+        namespace === undefined || contribution.packageId === namespace,
+    )
     .flatMap((contribution) =>
       contribution.pages.flatMap((page) =>
         page.mounts
@@ -761,7 +805,7 @@ function handleComposerKeydown(event: KeyboardEvent): void {
           <span class="bot-identity"
             ><k-slot name="frockbot.bot-identity"
           /></span>
-          <div class="workspace-title">
+          <div v-if="hasBot" class="workspace-title">
             <strong>{{ botName }}</strong>
             <small>{{ state.modelLabel }}</small>
           </div>
@@ -776,20 +820,8 @@ function handleComposerKeydown(event: KeyboardEvent): void {
         >
           <div v-if="messages.length === 0" class="empty-thread">
             <div class="empty-mark"><UiIcon name="sparkle" size="lg" /></div>
-            <h1>
-              {{
-                state.modelReady
-                  ? `${botName} is ready.`
-                  : `${botName} isn't ready.`
-              }}
-            </h1>
-            <p>
-              {{
-                state.modelReady
-                  ? "Start with a conversation. Cordis plugins can add the rest."
-                  : "Check this Bot's model Connection."
-              }}
-            </p>
+            <h1>{{ threadHeading }}</h1>
+            <p>{{ threadHint }}</p>
           </div>
           <article
             v-for="message in messages"
@@ -797,7 +829,10 @@ function handleComposerKeydown(event: KeyboardEvent): void {
             :id="turnAnchors.get(message.id)"
             :key="message.id"
             class="message"
-            :class="`message-${message.role}`"
+            :class="[
+              `message-${message.role}`,
+              { 'message-pending': message.pending },
+            ]"
           >
             <p v-if="message.role === 'system'" class="message-system-line">
               {{ message.text }}
@@ -955,7 +990,12 @@ function handleComposerKeydown(event: KeyboardEvent): void {
           </div>
         </Transition>
 
+        <!--
+          No Bot, no composer. A disabled input under a made-up Bot name reads
+          as a broken Bot; the first-run pane above points at making one.
+        -->
         <form
+          v-if="hasBot"
           class="composer"
           :class="{ 'composer-busy': isRunning }"
           @submit.prevent="sendMessage"
@@ -1018,14 +1058,8 @@ function handleComposerKeydown(event: KeyboardEvent): void {
               ref="composerInput"
               v-model="draft"
               aria-label="Message"
-              :placeholder="
-                isConnecting
-                  ? 'Connecting…'
-                  : !state.modelReady
-                    ? 'Model unavailable'
-                    : `Message ${botName}`
-              "
-              :disabled="isConnecting || !state.modelReady || isRunning"
+              :placeholder="composerPlaceholder"
+              :disabled="isConnecting || !state.modelReady"
               rows="1"
               role="combobox"
               :aria-expanded="skillPopoverOpen"
@@ -1038,7 +1072,7 @@ function handleComposerKeydown(event: KeyboardEvent): void {
             />
           </div>
           <UiIconButton
-            v-if="isRunning"
+            v-if="showStop"
             class="stop-button"
             icon="stop"
             label="Stop generating"