carthagent 1.0.7 → 1.1.0-beta.1

package/plugins/carthagent/src/ui/voyages-navigation.tsx

@@ -0,0 +1,131 @@
+/** @jsxImportSource @opentui/solid */
+import { Show, createEffect, createSignal, onCleanup, onMount } from "solid-js";
+import { CliRenderEvents, type ScrollBoxRenderable, type SelectRenderable } from "@opentui/core";
+import { useRenderer } from "@opentui/solid";
+import { usePlugin } from "@opencode/plugin/tui";
+import { clickSelect } from "./select-mouse.js";
+import { dailyQuestsClient, voyagesClient } from "./client.js";
+import { nativeNavigation, type NavigationInput } from "./native-navigation.js";
+import { createVoyagesNavigationState } from "./voyages-navigation-state.mjs";
+import { voyagesEventAction } from "./voyages-state.mjs";
+
+type Summary = {
+  busy: boolean; error: string;
+  profile?: { name: string; shipName: string; coins: number; level: number; totalXp: number };
+  daily?: { day: string; endsAt: string; items: { id: string; title: string; status: string }[] };
+};
+
+export function VoyagesNavigation(props: NavigationInput) {
+  const context = usePlugin();
+  const renderer = useRenderer();
+  const location = () => (props.sessionID ? context.data.session.get(props.sessionID)?.location : undefined) ?? context.location ?? context.data.location.default();
+  const [view, setView] = createSignal<Summary>({ busy: false, error: "" });
+  const [selection, setSelection] = createSignal("daily");
+  const profile = voyagesClient(context, location), daily = dailyQuestsClient(context, location);
+  const controller = createVoyagesNavigationState({ profile: profile.snapshot, daily: daily.snapshot, changed: setView });
+  let actions: SelectRenderable | undefined;
+  let scroll: ScrollBoxRenderable | undefined;
+  let scrollTop = 0;
+  let restoreTop: number | undefined;
+  const [viewportHeight, setViewportHeight] = createSignal(3);
+  const [railWidth, setRailWidth] = createSignal(0);
+  createEffect(() => {
+    if (!props.active) { scrollTop = scroll?.scrollTop ?? scrollTop; return; }
+    if (!view().busy) { restoreTop = scrollTop; renderer.requestRender(); }
+  });
+  createEffect(() => { void controller.activate(props.active); });
+  let binding = JSON.stringify(location());
+  const resetSelection = () => { actions?.setSelectedIndex(0); setSelection("daily"); };
+  createEffect(() => {
+    const next = JSON.stringify(location());
+    if (binding === next) return;
+    binding = next;
+    resetSelection();
+    void controller.contextChanged();
+  });
+  onMount(() => {
+    // FRAME follows layout. Earlier restoration clamps to the loading extent.
+    const frame = () => {
+      if (!scroll || scroll.isDestroyed || !props.active) return;
+      setViewportHeight(Math.max(1, scroll.viewport.height));
+      if (actions && !actions.isDestroyed) setRailWidth(actions.width);
+      if (restoreTop === undefined || view().busy) return;
+      scroll.scrollTop = restoreTop;
+      restoreTop = undefined;
+    };
+    renderer.on(CliRenderEvents.FRAME, frame);
+    onCleanup(() => renderer.off(CliRenderEvents.FRAME, frame));
+    const stop = context.data.listen(({ details }) => {
+      const changedLocation = binding !== JSON.stringify(location());
+      binding = JSON.stringify(location());
+      const action = changedLocation ? String(details.type) === "server.disconnected" ? "clear" : "refresh" : voyagesEventAction(details, location());
+      if (action === "ignore") return;
+      resetSelection();
+      if (action === "clear") controller.disconnect();
+      else void controller.contextChanged();
+    });
+    onCleanup(stop);
+  });
+  onCleanup(() => controller.dispose());
+  const open = (name: "voyages" | "daily-quests", extra: Record<string, string> = {}) => {
+    props.blur();
+    if (nativeNavigation(context)?.current() !== "voyages") return;
+    context.ui.router.navigate({ type: "plugin", name, data: { ...(props.sessionID ? { sessionID: props.sessionID } : {}), ...extra } });
+  };
+  // Select draws raw text; fit names and descriptions to the rail.
+  const fit = (text: string) => {
+    const room = railWidth() - 3;
+    return room > 0 && text.length > room ? `${text.slice(0, Math.max(0, room - 1))}…` : text;
+  };
+  const options = () => entries().map((item) => ({ ...item, name: fit(item.name), description: fit(item.description) }));
+  const entries = () => [
+    { name: props.compact ? "Q" : "Daily coding quests", description: "Assignments & assessments", value: "daily" },
+    ...(view().daily?.items.map((quest, index) => ({ name: props.compact ? String(index + 1) : quest.title, description: quest.status, value: `quest:${quest.id}` })) ?? []),
+    { name: props.compact ? "P" : "Profile & wallet", description: "Authoritative profile", value: "profile" },
+    { name: props.compact ? "E" : "Equipment & shop", description: "Preview before any purchase", value: "equipment" },
+    { name: props.compact ? "R" : "Refresh summaries", description: "Read-only; no evidence upload", value: "refresh" },
+    { name: props.compact ? "S" : "Sign in / reconnect", description: "Native Ship device sign-in", value: "signin" },
+    { name: props.compact ? "B" : "Return to coding", description: "Keep the selected session", value: "back" },
+  ];
+  const select = (value?: string) => {
+    if (!props.active || context.keymap.mode.current() !== "navigation" || !props.focused || !value) return;
+    if (value === "refresh") { void controller.refresh(); return; }
+    if (value === "signin") { controller.invalidate(); props.blur(); context.keymap.dispatch("provider.connect"); return; }
+    if (value === "back") {
+      props.blur();
+      nativeNavigation(context)?.select("projects");
+      context.ui.router.navigate(props.sessionID ? { type: "session", sessionID: props.sessionID } : { type: "home" });
+      return;
+    }
+    if (value === "profile" || value === "equipment") { open("voyages", { section: value }); return; }
+    open("daily-quests", value.startsWith("quest:") ? { questID: value.slice(6) } : {});
+  };
+  const focused = () => props.active && props.focused && context.keymap.mode.current() === "navigation";
+  return <box flexDirection="column" flexGrow={1} minHeight={0} onMouseDown={() => { if (props.active && context.keymap.mode.current() === "base") props.focus(); }}>
+    <scrollbox ref={scroll} flexGrow={1} minHeight={0} contentOptions={{ flexDirection: "column" }}>
+      <Show when={!props.compact}>
+        <Show when={view().profile}>{(p) => <box flexDirection="column" flexShrink={0} paddingX={1}>
+          <text fg={context.theme.text.base}>{p().name}</text>
+          <text fg={context.theme.text.muted}>{p().shipName}</text>
+          <text fg={context.theme.text.action.primary.base}>Lv {p().level} · {p().coins} coins</text>
+          <text fg={context.theme.text.muted}>XP {p().totalXp}</text>
+        </box>}</Show>
+        <Show when={view().busy}><text flexShrink={0} fg={context.theme.text.muted}> Loading summaries…</text></Show>
+        <Show when={view().error}><text flexShrink={0} fg={context.theme.text.feedback.warning.base}> {view().error}. Sign in or refresh.</text></Show>
+        <Show when={view().daily}><text flexShrink={0} fg={context.theme.text.muted}> UTC {view().daily?.day}</text></Show>
+      </Show>
+      <select ref={actions} onMouseUp={(event) => { if (focused()) clickSelect(actions, event); }} minHeight={1} height={Math.min(18, viewportHeight(), options().length * (props.compact ? 1 : 2))} flexShrink={0} showScrollIndicator showDescription={!props.compact} options={options()} selectedIndex={Math.max(0, options().findIndex((item) => item.value === selection()))} focused={focused()} onChange={(_index, item) => {
+        if (!focused() || view().busy || !item) return;
+        setSelection(item.value);
+        if (actions) scroll?.scrollChildIntoView(actions.id);
+      }} onSelect={(_index, item) => select(item?.value)} />
+      <Show when={!props.compact}>
+        <text flexShrink={0} fg={context.theme.text.faint}> Badges & friends: no native views yet.</text>
+        <text flexShrink={0} fg={context.theme.text.faint}> Quests: no rewards. No automatic uploads.</text>
+      </Show>
+    </scrollbox>
+    <Show when={!props.compact}>
+      <text flexShrink={0} fg={context.theme.text.faint}>{focused() ? " ↑/↓ Enter · Esc coding" : " Focus pane to navigate"}</text>
+    </Show>
+  </box>;
+}

package/plugins/carthagent/src/ui/voyages-state.mjs

@@ -0,0 +1,165 @@
+class LocalVoyagesError extends Error {
+  constructor(code) { super(code); this.code = code; }
+}
+
+/** UI transaction lifetime. Credentials and durable purchase keys remain server-only. */
+export function createVoyagesState({ api, changed = (_state) => {}, now = Date.now, timeoutSignal = () => AbortSignal.timeout(15_000) }) {
+  let generation = 0;
+  let disposed = false;
+  let controller = new AbortController();
+  const state = { snapshot: undefined, busy: false, error: "", notice: "" };
+  const emit = () => { if (!disposed) changed({ ...state }); };
+  const invalidate = () => {
+    generation++;
+    controller.abort();
+    controller = new AbortController();
+    state.snapshot = undefined;
+    state.busy = false;
+    state.error = "";
+    state.notice = "";
+    emit();
+  };
+  async function run(action) {
+    if (disposed || state.busy) return;
+    const current = generation;
+    const signal = controller.signal;
+    const live = () => !disposed && current === generation && !signal.aborted;
+    state.busy = true;
+    state.error = "";
+    state.notice = "";
+    emit();
+    try { await action({ signal, live }); }
+    catch (error) {
+      if (!disposed && current === generation) {
+        state.snapshot = undefined;
+        const code = voyagesErrorCode(error);
+        state.error = code === 'insufficient_coins'
+          ? 'insufficient_coins. Not enough coins for this item. No purchase was made; wallet refreshed.'
+          : `${code}. Refresh required; no success assumed. Sign in again if access expired or was revoked.`;
+        emit();
+        // Reconcile all failed writes, never replay them. Even if this succeeds,
+        // retain the failure message rather than claiming a successful mutation.
+        try {
+          const snapshot = await api.snapshot(AbortSignal.any([controller.signal, timeoutSignal()]));
+          if (!disposed && current === generation) state.snapshot = snapshot;
+        } catch { /* fail closed */ }
+      }
+    } finally {
+      if (!disposed && current === generation) { state.busy = false; emit(); }
+    }
+  }
+  async function load({ signal, live }) {
+    const snapshot = await api.snapshot(networkSignal(signal));
+    if (live()) { state.snapshot = snapshot; emit(); }
+  }
+  const networkSignal = (signal) => AbortSignal.any([signal, timeoutSignal()]);
+  return {
+    invalidate,
+    dispose() { invalidate(); disposed = true; controller.abort(); },
+    refresh() { return run(async (tx) => { state.snapshot = undefined; emit(); await load(tx); }); },
+    claimReward(sessionID, confirm) {
+      return run(async (tx) => {
+        if (!state.snapshot || !sessionID) return;
+        const preview = await api.previewReward({ sessionID }, networkSignal(tx.signal));
+        if (!tx.live() || await confirm(preview) !== true || !tx.live()) return;
+        const result = await api.claimReward({ sessionID, runId: preview.runId, snapshot: preview.snapshot }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        await load(tx);
+        if (tx.live()) state.notice = result.replayed ? 'This delivery was already rewarded. No duplicate grant.' : `Delivery rewarded: +${result.reward.coins} coins · +${result.reward.xp} XP · +${result.reward.km} km.`;
+      });
+    },
+    customize(draft, confirm) {
+      return run(async (tx) => {
+        const profile = state.snapshot?.profile;
+        if (!profile) return;
+        const patch = await draft(profile, tx.live);
+        if (!patch || !tx.live()) return;
+        if (await confirm(profile, patch) !== true || !tx.live()) return;
+        await api.customize({ version: profile.version, ...patch }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        await load(tx);
+        if (tx.live()) state.notice = "Customization saved and refreshed.";
+      });
+    },
+    equip(item, confirm) {
+      return run(async (tx) => {
+        const snapshot = state.snapshot;
+        if (!snapshot || !snapshot.items.some((entry) => entry.item === item.item)) return;
+        if (!canEquip(snapshot, item)) throw new Error("equip unavailable");
+        if (await confirm(snapshot.profile, item) !== true || !tx.live()) return;
+        await api.equip({ version: snapshot.profile.version, slot: item.slot, item: item.itemKey }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        await load(tx);
+        if (tx.live()) state.notice = "Equipment saved and refreshed.";
+      });
+    },
+    purchase(item, confirm) {
+      return run(async (tx) => {
+        const snapshot = state.snapshot;
+        if (!snapshot || snapshot.pending || !snapshot.items.some((entry) => entry.item === item.item) || item.price === null || !item.requiresPurchase || !item.available || !item.eligible || snapshot.profile.owned.includes(item.item)) return;
+        const { quote } = await api.quote({ slot: item.slot, item: item.itemKey }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        const validate = () => {
+          if (quote.item !== item.item || !Number.isSafeInteger(quote.price) || quote.price < 0 || !Number.isFinite(Date.parse(quote.expiresAt))) throw new LocalVoyagesError('invalid_quote');
+          if (Date.parse(quote.expiresAt) <= now()) throw new LocalVoyagesError('quote_expired');
+          if (quote.price > snapshot.profile.coins) throw new LocalVoyagesError('insufficient_coins');
+        };
+        validate();
+        if (await confirm(quote, snapshot.profile) !== true || !tx.live()) return;
+        validate();
+        await api.purchase({ quoteId: quote.id }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        await load(tx);
+        if (tx.live()) state.notice = "Purchase receipt received; authoritative inventory refreshed.";
+      });
+    },
+    retry(confirm) {
+      return run(async (tx) => {
+        const pending = state.snapshot?.pending ? { ...state.snapshot.pending } : undefined;
+        if (!pending || await confirm(pending) !== true || !tx.live()) return;
+        await api.retryPurchase({ quoteId: pending.quoteId }, networkSignal(tx.signal));
+        if (!tx.live()) return;
+        await load(tx);
+        if (tx.live()) state.notice = "Purchase replay receipt received; inventory refreshed.";
+      });
+    },
+  };
+}
+
+/** Native promise RPC throws { type, message, data }, not a nested error map. */
+export function voyagesErrorCode(error) {
+  if (error instanceof LocalVoyagesError) return error.code;
+  const code = error?.type === 'voyagesError' ? error.data?.code : undefined;
+  return typeof code === 'string' && /^[a-z_]{1,64}$/.test(code) ? code : 'voyages_request_failed';
+}
+
+/** Credential/integration events without a location are global. Generic update
+ * events have no integration ID in the native union, so cannot be narrowed more.
+ * Credential switched does carry an integration ID: ignore other providers. */
+export function voyagesEventAction(event, location) {
+  if (event.location && (event.location.directory !== location.directory || event.location.workspaceID !== location.workspaceID)) return 'ignore';
+  if (event.type === 'server.disconnected') return 'clear';
+  if (event.type === 'credential.switched' && event.data?.integrationID !== 'experiential-labs') return 'ignore';
+  return ['server.connected', 'provider.updated', 'integration.updated', 'credential.updated', 'credential.switched'].includes(event.type) ? 'refresh' : 'ignore';
+}
+
+/** Synchronously remove the old identity before fetching, including any dialog
+ * owned by this page. The caller's dialog adapter must not close native sign-in. */
+export function handleVoyagesEvent(controller, event, location, closeDialog = () => {}) {
+  const action = voyagesEventAction(event, location);
+  if (action === 'ignore') return;
+  controller.invalidate();
+  closeDialog();
+  if (action === 'refresh') return controller.refresh();
+}
+
+export function canEquip(snapshot, item) {
+  return item.available === true && item.eligible === true &&
+    (snapshot.profile.owned.includes(item.item) || (item.requiresPurchase === false && item.price !== null));
+}
+
+export function voyagesCatalogLabel(snapshot, item) {
+  const category = snapshot.profile.owned.includes(item.item) ? 'Owned' : item.price === null ? 'Retired' : item.requiresPurchase ? 'Shop' : 'Free';
+  const price = item.price === null ? 'price unavailable / retired' : `${item.price} coins`;
+  return `${category} · ${item.name} · ${price}`;
+}

package/plugins/carthagent/src/ui/voyages.tsx

@@ -0,0 +1,131 @@
+/** @jsxImportSource @opentui/solid */
+import { Show, createSignal, onCleanup, onMount } from "solid-js";
+import type { ScrollBoxRenderable, SelectRenderable } from "@opentui/core";
+import { clickSelect } from "./select-mouse.js";
+import { usePlugin } from "@opencode/plugin/tui";
+import { voyagesClient, type VoyagesSnapshot, type VoyagesProfile, type VoyagesItem, type VoyagesQuote } from "./client.js";
+import { canEquip, createVoyagesState, handleVoyagesEvent, voyagesCatalogLabel } from "./voyages-state.mjs";
+
+type ViewState = { snapshot?: VoyagesSnapshot; busy: boolean; error: string; notice: string };
+
+/** All mutations go through the lifetime-guarded controller, including dialogs. */
+export function VoyagesPage(props: { sessionID?: string; section?: "profile" | "equipment" }) {
+  let list: SelectRenderable | undefined;
+  const context = usePlugin();
+  const location = () => (props.sessionID ? context.data.session.get(props.sessionID)?.location : undefined) ?? context.location ?? context.data.location.default();
+  const [view, setView] = createSignal<ViewState>({ busy: false, error: "", notice: "" });
+  const controller = createVoyagesState({ api: voyagesClient(context, location), changed: (next: ViewState) => setView(next) });
+  const back = () => context.ui.router.navigate(props.sessionID ? { type: "session", sessionID: props.sessionID } : { type: "home" });
+  let summary: ScrollBoxRenderable | undefined;
+  context.keymap.layer(() => ({
+    commands: [
+      { bind: "ctrl+u", title: "Scroll Voyages profile up", run: () => { summary?.scrollBy(-1); } },
+      { bind: "ctrl+d", title: "Scroll Voyages profile down", run: () => { summary?.scrollBy(1); } },
+    ],
+  }));
+  let activeDialog: symbol | undefined;
+  const ownDialog = async <T,>(show: () => Promise<T>): Promise<T> => {
+    const token = Symbol();
+    activeDialog = token;
+    try { return await show(); }
+    finally { if (activeDialog === token) activeDialog = undefined; }
+  };
+  const closeOwnDialog = () => {
+    if (!activeDialog) return;
+    activeDialog = undefined;
+    context.ui.dialog.clear();
+  };
+  const confirm = (title: string, message: string, label = "Confirm") => ownDialog(() => context.ui.dialog.confirm({ title, message, label: { confirm: label, cancel: "Cancel" } }));
+  const customize = () => controller.customize(async (profile: VoyagesProfile, live: () => boolean) => {
+    const name = await ownDialog(() => context.ui.dialog.prompt({ title: "Preview captain name (1–20 characters)", placeholder: profile.name }));
+    if (name == null || !live()) return;
+    const shipName = await ownDialog(() => context.ui.dialog.prompt({ title: "Preview ship name (1–28 characters)", placeholder: profile.shipName }));
+    if (shipName == null || !live()) return;
+    // Empty input retains the current value. No inferred appearance choices.
+    const patch = { name: name.trim() || profile.name, shipName: shipName.trim() || profile.shipName };
+    if (patch.name.length > 20 || patch.shipName.length > 28) throw new Error("invalid name");
+    return patch;
+  }, (profile: VoyagesProfile, patch: { name: string; shipName: string }) => confirm("Save customization preview?", `Captain: ${profile.name} → ${patch.name}\nShip: ${profile.shipName} → ${patch.shipName}\nAppearance unchanged. Version ${profile.version}.\nOnly Save writes to your live profile.`, "Save"));
+  const equip = (item: VoyagesItem) => controller.equip(item, (profile: VoyagesProfile) => confirm("Save equipment?", `${item.slot}: ${String(profile.config[item.slot] ?? "not reported")} → ${item.itemKey}\n${item.name} (${item.item})\nThis replaces the equipped slot. A catalog “none” choice unequips; no fabricated empty key is sent.`, "Equip"));
+  const purchase = (item: VoyagesItem) => controller.purchase(item, (quote: VoyagesQuote, profile: VoyagesProfile) => confirm("Confirm live purchase?", `${item.name} (${quote.item})\nExact price: ${quote.price} coins\nCurrent wallet: ${profile.coins} coins\nAvailable: ${item.available}; eligible: ${item.eligible}${item.reason ? ` · ${item.reason}` : ""}\nQuote expires: ${quote.expiresAt}\nConfirm only before expiry. Cancel never purchases.`, "Purchase"));
+  const retry = () => controller.retry((pending: NonNullable<VoyagesSnapshot["pending"]>) => confirm("Resolve pending purchase?", `Outcome unknown: ${pending.item}\n${pending.price} coins · quote ${pending.quoteId}\nReplay the server's SAME saved quote/key pair only. This does not create a new purchase key. Cancel keeps it pending.`, "Retry same purchase"));
+  const chooseItem = async (item: VoyagesItem) => {
+    if (view().busy) return;
+    if (view().snapshot && canEquip(view().snapshot, item)) await equip(item);
+    else await purchase(item);
+  };
+  type Action = { name: string; description: string; value: string };
+  const options = (): Action[] => {
+    const snapshot = view().snapshot;
+    const basic = [
+      { name: "Refresh authoritative state", description: "Reload live profile and catalog", value: "refresh" },
+      { name: "Daily coding quests", description: "Server assignments · selected evidence · explicit external JEV consent", value: "daily" },
+      { name: "Sign in / reconnect", description: "Native provider connection · choose Carthagent Ship device sign-in", value: "signin" },
+      { name: "Back", description: props.sessionID ? "Return to selected session" : "Return home", value: "back" },
+      ...(props.section ? [{ name: props.section === "profile" ? "Equipment & shop" : "Profile & wallet", description: "Open the other Voyages detail view", value: "section" }] : []),
+    ];
+    if (!snapshot) return basic;
+    return [...basic,
+      ...(props.sessionID ? [{ name: "Claim verified delivery reward", description: "Preview this session’s eligible handoff, then claim once", value: "reward" }] : []),
+      ...(props.section !== "equipment" ? [{ name: "Customize captain and ship", description: "Preview names, then explicitly Save", value: "customize" }] : []),
+      ...(snapshot.pending ? [{ name: "Resolve pending purchase", description: "Explicit same-pair replay; no automatic new charge", value: "retry" }] : []),
+      ...(props.section !== "profile" ? snapshot.items.map((item) => ({ name: voyagesCatalogLabel(snapshot, item), description: `${item.slot} · ${item.itemKey} · ${!item.available ? "unavailable" : !item.eligible ? "ineligible" : canEquip(snapshot, item) ? "confirm equip" : item.price === null ? "purchase unavailable" : "request quote"}${item.reason ? ` · ${item.reason}` : ""}`, value: `item:${item.item}` })) : []),
+    ];
+  };
+  const select = (value?: string) => {
+    if (!value || view().busy || context.keymap.mode.current() !== "base") return;
+    if (value === "back") { back(); return; }
+    if (value === "signin") {
+      controller.invalidate();
+      context.keymap.dispatch("provider.connect");
+      return;
+    }
+    if (value === "refresh") { void controller.refresh(); return; }
+    if (value === "reward" && props.sessionID) { void controller.claimReward(props.sessionID, (preview: { coins: number; xp: number; km: number; dailyLimit: number; runId: string; snapshot: string }) => confirm("Claim delivery reward?", `+${preview.coins} coins · +${preview.xp} XP · +${preview.km} km\nUp to ${preview.dailyLimit} deliveries per UTC day.\nRun: ${preview.runId}\nSnapshot: ${preview.snapshot}\nSends delivery/check/review digests, not code or output. Based on local harness verification; the server does not rerun your repository. Replaying this delivery never earns twice.`, "Claim")); return; }
+    if (value === "section") { context.ui.router.navigate({ type: "plugin", name: "voyages", data: { ...(props.sessionID ? { sessionID: props.sessionID } : {}), section: props.section === "profile" ? "equipment" : "profile" } }); return; }
+    if (value === "daily") { context.ui.router.navigate({ type: "plugin", name: "daily-quests", data: { ...(props.sessionID ? { sessionID: props.sessionID } : {}) } }); return; }
+    if (value === "customize") { void customize(); return; }
+    if (value === "retry") { void retry(); return; }
+    const item = view().snapshot?.items.find((entry) => `item:${entry.item}` === value);
+    if (item) void chooseItem(item);
+  };
+  onMount(() => {
+    let binding = JSON.stringify(location());
+    const stop = context.data.listen(({ details }) => {
+      const type = String(details.type);
+      const changedLocation = binding !== JSON.stringify(location());
+      if (changedLocation) {
+        binding = JSON.stringify(location());
+        controller.invalidate();
+        closeOwnDialog();
+        if (type !== "server.disconnected") void controller.refresh();
+      } else void handleVoyagesEvent(controller, details, location(), closeOwnDialog);
+    });
+    void controller.refresh();
+    onCleanup(() => { stop(); controller.dispose(); closeOwnDialog(); });
+  });
+  return <box flexDirection="column" flexGrow={1} padding={1}>
+    <text flexShrink={0} fg={context.theme.text.action.primary.base}>CARTHAGENT · VOYAGES</text>
+    <Show when={props.section}><text flexShrink={0} fg={context.theme.text.muted}>{props.section === "profile" ? "Profile & wallet" : "Equipment & shop"}</text></Show>
+    {/* Split the remaining height: wrapped profile rows scroll instead of shrinking over one another. */}
+    <scrollbox ref={summary} flexBasis={0} flexGrow={1} minHeight={1} contentOptions={{ flexDirection: "column" }}>
+      <Show when={view().busy}><text flexShrink={0} fg={context.theme.text.feedback.warning.base}>Loading / awaiting confirmation… other actions are locked.</text></Show>
+      <Show when={view().error}><text flexShrink={0} fg={context.theme.text.feedback.error.base}>{view().error}</text></Show>
+      <Show when={view().notice}><text flexShrink={0} fg={context.theme.text.feedback.success.base}>{view().notice}</text></Show>
+      <Show when={view().snapshot} fallback={<text flexShrink={0} fg={context.theme.text.muted}>Protected profile hidden until a successful refresh. Use Sign in for expired, revoked or legacy credentials.</text>}>{(snapshot) => <box flexDirection="column" flexShrink={0}>
+        <text flexShrink={0} fg={context.theme.text.base}>{snapshot().profile.name} · ship {snapshot().profile.shipName} · version {snapshot().profile.version}</text>
+        <text flexShrink={0} fg={context.theme.text.action.primary.base}>Wallet: {snapshot().profile.coins} coins · Level {snapshot().profile.level} · XP {snapshot().profile.totalXp} ({snapshot().profile.xpIntoLevel}/{snapshot().profile.xpForLevel})</text>
+        <text flexShrink={0} fg={context.theme.text.muted}>Distance {snapshot().profile.km} km · weekly {snapshot().profile.weeklyKm} km</text>
+        <text flexShrink={0} fg={context.theme.text.muted}>Skin {snapshot().profile.config.skin} · hair {snapshot().profile.config.hair} · pattern {snapshot().profile.config.pattern} · {snapshot().profile.owned.length} owned items</text>
+        <text flexShrink={0} fg={context.theme.text.muted}>Equipped: hairStyle {snapshot().profile.config.hairStyle} · hat {snapshot().profile.config.hat} · shirt {snapshot().profile.config.shirt}</text>
+        <text flexShrink={0} fg={context.theme.text.muted}>Bottoms {snapshot().profile.config.bottoms} · shoes {snapshot().profile.config.shoes} · pet {snapshot().profile.config.pet}</text>
+        <text flexShrink={0} fg={context.theme.text.muted}>Hull {snapshot().profile.config.hull} · sail {snapshot().profile.config.sail} · setting {snapshot().profile.config.setting}</text>
+        <Show when={snapshot().pending}><text flexShrink={0} fg={context.theme.text.feedback.warning.base}>Purchase pending / outcome unknown. Resolve the saved purchase explicitly; new purchases are blocked.</text></Show>
+      </box>}</Show>
+      <text flexShrink={0} fg={context.theme.text.muted}>Verified delivery rewards: open Voyages from a completed Ship session to preview and claim. Daily assessment alone grants no rewards.</text>
+      <text flexShrink={0} fg={context.theme.text.faint}>Choose Back to return. Cancel in dialogs never saves or purchases.</text>
+    </scrollbox>
+    <text flexShrink={0} fg={context.theme.text.faint}>↑/↓ Enter · PgUp/Dn choices · Ctrl+U/D profile</text>
+    <select flexBasis={0} flexGrow={1} flexShrink={0} minHeight={3} ref={(node) => { list = node; }} onMouseUp={(event) => clickSelect(list, event)} showScrollIndicator keyBindings={[{ name: "pageup", action: "move-up-fast" }, { name: "pagedown", action: "move-down-fast" }]} options={options()} focused={context.keymap.mode.current() === "base"} onSelect={(_index, option) => select(option?.value)} />
+  </box>;
+}

package/plugins/carthagent/src/ui/workspace-live.ts

@@ -0,0 +1,61 @@
+/** Generation gate for async workspace refreshes and reconnect rehydration. */
+export function createLatestRequestGate() {
+  let generation = 0;
+  let active: AbortController | undefined;
+  return {
+    begin() {
+      active?.abort();
+      active = new AbortController();
+      const request = ++generation;
+      return { signal: active.signal, isCurrent: () => request === generation && !active?.signal.aborted };
+    },
+    invalidate() { generation++; active?.abort(); active = undefined; },
+  };
+}
+
+type WorkspaceUpdatedEvents = {
+  on(name: "updated", handler: (event: { location?: { directory: string }; data?: { revision?: string } }) => void, options?: { signal?: AbortSignal }): () => void;
+};
+
+/** The RPC event is location-scoped by the subscribed RPC client, not its payload. */
+export function onWorkspaceUpdated(events: WorkspaceUpdatedEvents, directory: () => string, invalidate: () => void, options?: { signal?: AbortSignal }) {
+  return events.on("updated", (event) => {
+    if (event.location?.directory === directory()) invalidate();
+  }, options);
+}
+
+export function deliveryReadiness(delivery: {
+  completion?: string;
+  gate?: string;
+  freshness?: string;
+  truncation?: Record<string, { returned: number; total: number }>;
+} | undefined) {
+  if (!delivery) return { complete: false, coverage: "unknown", status: "not loaded" };
+  const truncation = delivery.truncation;
+  const capped = truncation ? Object.entries(truncation).filter(([, value]) => value.returned !== value.total) : [];
+  const complete = delivery.completion === "ready";
+  const totals = capped.map(([name, value]) => `${name} ${value.returned}/${value.total}`);
+  return {
+    complete,
+    coverage: truncation ? (totals.length ? "partial" : "complete") : "unknown",
+    status: `completion ${delivery.completion ?? "unknown"} · gate ${delivery.gate ?? "unknown"} · freshness ${delivery.freshness ?? "unknown"}${totals.length ? ` · partial coverage: ${totals.join(", ")}` : ""}`,
+  };
+}
+
+export function renderDeliveryReadiness(delivery: Parameters<typeof deliveryReadiness>[0]) {
+  const readiness = deliveryReadiness(delivery);
+  const sections = delivery?.truncation
+    ? Object.entries(delivery.truncation).map(([name, value]) => `${name}: ${value.returned} of ${value.total} returned`)
+    : ["Coverage metadata unavailable: completeness cannot be confirmed"];
+  const receipts = (delivery && "evidence" in delivery && Array.isArray(delivery.evidence) ? delivery.evidence : [])
+    .map((item) => `Receipt ${item.id}: ${item.status}`);
+  const gate = delivery?.gate === "open" || delivery?.gate === "locked" ? delivery.gate : "unknown";
+  return {
+    label: `Readiness: ${delivery?.completion === "ready" ? "ready" : delivery?.completion === "incomplete" ? "incomplete" : "unknown"} · ${readiness.status}`,
+    gate,
+    coverageLabel: readiness.coverage === "unknown" ? "Coverage: unknown" : `Coverage: ${readiness.coverage}`,
+    coverage: readiness.coverage,
+    sections,
+    receipts,
+  };
+}