@theoremjs/react 0.3.0 → 0.3.1

package/ui/markdown-plugins.d.ts

@@ -0,0 +1,9 @@
+import type { MarkdownPluginEntry } from '@astryxdesign/core/Markdown/plugins';
+import { type ReactNode } from 'react';
+/** The Markdown plugins the host asked for, or none: one array, so every `Markdown` below shares it. */
+export declare function useMarkdownPlugins(): readonly MarkdownPluginEntry[] | undefined;
+/** Labels untagged code fences in the Markdown beneath it, when `detectCodeLanguage` is on. */
+export declare function MarkdownPluginsProvider({ detectCodeLanguage, children, }: {
+    detectCodeLanguage?: boolean;
+    children: ReactNode;
+}): import("react").JSX.Element;

package/ui/markdown-plugins.js

@@ -0,0 +1,13 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+import { createContext, use } from 'react';
+import { codeLanguagePlugin } from "./code-language.js";
+const PLUGINS = [codeLanguagePlugin];
+const MarkdownPluginsContext = createContext(undefined);
+/** The Markdown plugins the host asked for, or none: one array, so every `Markdown` below shares it. */
+export function useMarkdownPlugins() {
+    return use(MarkdownPluginsContext);
+}
+/** Labels untagged code fences in the Markdown beneath it, when `detectCodeLanguage` is on. */
+export function MarkdownPluginsProvider({ detectCodeLanguage, children, }) {
+    return (_jsx(MarkdownPluginsContext, { value: detectCodeLanguage ? PLUGINS : undefined, children: children }));
+}

package/ui/mcp-icon.d.ts

@@ -0,0 +1,6 @@
+import type { SVGProps } from 'react';
+/**
+ * Model Context Protocol mark (from Simple Icons, CC0), filled in the current colour.
+ * Tabler has no MCP icon; this marks MCP tools beside Tabler's glyphs for the other kinds.
+ */
+export declare function IconMcp(props: SVGProps<SVGSVGElement>): import("react").JSX.Element;

package/ui/mcp-icon.js

@@ -0,0 +1,8 @@
+import { jsx as _jsx } from "react/jsx-runtime";
+/**
+ * Model Context Protocol mark (from Simple Icons, CC0), filled in the current colour.
+ * Tabler has no MCP icon; this marks MCP tools beside Tabler's glyphs for the other kinds.
+ */
+export function IconMcp(props) {
+    return (_jsx("svg", { viewBox: "0 0 24 24", fill: "currentColor", "aria-hidden": true, ...props, children: _jsx("path", { d: "M13.85 0a4.16 4.16 0 0 0-2.95 1.217L1.456 10.66a.835.835 0 0 0 0 1.18.835.835 0 0 0 1.18 0l9.442-9.442a2.49 2.49 0 0 1 3.541 0 2.49 2.49 0 0 1 0 3.541L8.59 12.97l-.1.1a.835.835 0 0 0 0 1.18.835.835 0 0 0 1.18 0l.1-.098 7.03-7.034a2.49 2.49 0 0 1 3.542 0l.049.05a2.49 2.49 0 0 1 0 3.54l-8.54 8.54a1.96 1.96 0 0 0 0 2.755l1.753 1.753a.835.835 0 0 0 1.18 0 .835.835 0 0 0 0-1.18l-1.753-1.753a.266.266 0 0 1 0-.394l8.54-8.54a4.185 4.185 0 0 0 0-5.9l-.05-.05a4.16 4.16 0 0 0-2.95-1.218c-.2 0-.401.02-.6.048a4.17 4.17 0 0 0-1.17-3.552A4.16 4.16 0 0 0 13.85 0m0 3.333a.84.84 0 0 0-.59.245L6.275 10.56a4.186 4.186 0 0 0 0 5.902 4.186 4.186 0 0 0 5.902 0L19.16 9.48a.835.835 0 0 0 0-1.18.835.835 0 0 0-1.18 0l-6.985 6.984a2.49 2.49 0 0 1-3.54 0 2.49 2.49 0 0 1 0-3.54l6.983-6.985a.835.835 0 0 0 0-1.18.84.84 0 0 0-.59-.245" }) }));
+}

package/ui/row-keys.d.ts

@@ -0,0 +1,19 @@
+/** One item of a list with the React key it renders under. */
+export type KeyedRow<T> = {
+    item: T;
+    index: number;
+    key: string;
+};
+/**
+ * Keys a read-only list by what each item says, so a repeated item is told apart by how many
+ * times it has appeared before. `base` must return the same text for the same item.
+ */
+export declare function keyedByContent<T>(items: readonly T[], base: (item: T) => string): KeyedRow<T>[];
+/**
+ * Keys an editable list by identity: a row keeps its key while its text changes, and `drop`
+ * retires the key of a removed row so the rows after it keep theirs.
+ */
+export declare function useKeyedRows<T>(items: readonly T[]): {
+    rows: KeyedRow<T>[];
+    drop: (index: number) => void;
+};

package/ui/row-keys.js

@@ -0,0 +1,33 @@
+import { useRef } from 'react';
+/**
+ * Keys a read-only list by what each item says, so a repeated item is told apart by how many
+ * times it has appeared before. `base` must return the same text for the same item.
+ */
+export function keyedByContent(items, base) {
+    const seen = new Map();
+    return items.map((item, index) => {
+        const text = base(item);
+        const count = seen.get(text) ?? 0;
+        seen.set(text, count + 1);
+        return { item, index, key: `${text}#${String(count)}` };
+    });
+}
+/**
+ * Keys an editable list by identity: a row keeps its key while its text changes, and `drop`
+ * retires the key of a removed row so the rows after it keep theirs.
+ */
+export function useKeyedRows(items) {
+    const keys = useRef([]);
+    const minted = useRef(0);
+    while (keys.current.length < items.length) {
+        keys.current.push(String(minted.current));
+        minted.current += 1;
+    }
+    keys.current.length = items.length;
+    return {
+        rows: items.map((item, index) => ({ item, index, key: keys.current[index] ?? '' })),
+        drop: (index) => {
+            keys.current.splice(index, 1);
+        },
+    };
+}

package/ui/theme.d.ts

@@ -7,4 +7,4 @@ export type TheoremThemeProviderProps = {
     children: ReactNode;
 };
 /** Wraps children in the Theorem theme unless the host already provides an Astryx theme. */
-export declare function TheoremThemeProvider({ theme, mode, children }: TheoremThemeProviderProps): import("react").JSX.Element;
+export declare function TheoremThemeProvider({ theme, mode, children, }: TheoremThemeProviderProps): import("react").JSX.Element;

package/ui/theme.js

@@ -3,8 +3,8 @@ import { Theme, ThemeContext } from '@astryxdesign/core/theme';
 import { use } from 'react';
 import { theoremTheme } from './built/theorem.js';
 /** Wraps children in the Theorem theme unless the host already provides an Astryx theme. */
-export function TheoremThemeProvider({ theme, mode = 'system', children }) {
-    // Ask the React tree, not `useThemeName()`: outside a Theme that falls back to
+export function TheoremThemeProvider({ theme, mode = 'system', children, }) {
+    // why: Ask the React tree, not `useThemeName()`: outside a Theme that falls back to
     // the <html> attribute our own Theme sets, which would unmount it in a loop.
     const hostTheme = use(ThemeContext);
     if (hostTheme != null && !theme)

package/ui/theorem-theme.js

@@ -14,7 +14,7 @@ export const theoremTheme = defineTheme({
     extends: neutralTheme,
     icons: tablerIcons,
     components: {
-        // Media keeps a margin from the viewport edges, over a lighter scrim than
+        // why: Media keeps a margin from the viewport edges, over a lighter scrim than
         // Astryx's shared --color-overlay (dialogs keep theirs).
         lightbox: {
             base: {
@@ -22,7 +22,7 @@ export const theoremTheme = defineTheme({
                 '::backdrop': { backgroundColor: 'light-dark(#00000059, #00000099)' },
             },
         },
-        // Collapsible shows and hides without motion; ease its height with the
+        // why: Collapsible shows and hides without motion; ease its height with the
         // same --duration-medium / --ease-standard as ChatToolCalls and the
         // composer drawer. Closed = the trigger before it reads aria-expanded="false".
         'collapsible-content': {
@@ -31,19 +31,27 @@ export const theoremTheme = defineTheme({
                 overflow: 'clip',
                 interpolateSize: 'allow-keywords',
                 transition: 'height var(--duration-medium) var(--ease-standard), padding-top var(--duration-medium) var(--ease-standard), content-visibility var(--duration-medium) allow-discrete',
-                ':where([aria-expanded="false"] + *)': { height: '0', paddingTop: '0', contentVisibility: 'hidden' },
+                ':where([aria-expanded="false"] + *)': {
+                    height: '0',
+                    paddingTop: '0',
+                    contentVisibility: 'hidden',
+                },
             },
         },
-        // A source's favicon sits bare beside its title, without the ring
+        // why: A source's favicon sits bare beside its title, without the ring
         // Astryx draws around a citation icon. Nested keys must open with a
         // pseudo-class, so `:where(*)` (the citation itself) leads the child rules.
         citation: {
             base: {
-                ':where(*) > [aria-hidden="true"]': { backgroundColor: 'transparent', borderWidth: '0', borderRadius: '0' },
+                ':where(*) > [aria-hidden="true"]': {
+                    backgroundColor: 'transparent',
+                    borderWidth: '0',
+                    borderRadius: '0',
+                },
                 ':where(*) > [aria-hidden="true"] > img': { width: '100%', height: '100%' },
             },
         },
-        // A call row's name is code type and its target or error note is body type;
+        // why: A call row's name is code type and its target or error note is body type;
         // centered, their different metrics sit their text on different lines.
         // Share a baseline instead (the status icon and chevron stay centered).
         'chat-tool-calls': {
@@ -53,15 +61,29 @@ export const theoremTheme = defineTheme({
                 },
             },
         },
-        // Side panels (SidePanel's LayoutPanels) slide open and closed by easing
-        // their width, pushing the content over.
+        // why: A card that waits on the user sits in the transcript as a turn of its
+        // own, so it takes the surface of the user's message bubble.
+        card: {
+            'variant:bubble': {
+                backgroundColor: 'var(--color-neutral)',
+                borderRadius: 'var(--radius-chat)',
+                paddingBlock: 'var(--spacing-3)',
+                paddingInline: 'var(--spacing-4)',
+            },
+        },
+        // why: A code block sits among cards and panels, so it takes a card's corner
+        // (--radius-container) rather than the smaller element radius Astryx gives it.
+        'code-block': {
+            'container:card': { borderRadius: 'var(--radius-container)' },
+        },
         'layout-panel': {
             base: {
                 ':where([role="complementary"])': {
                     transition: 'width var(--duration-medium) var(--ease-standard)',
                 },
-                // While its ResizeHandle (the sibling before it) drags, follow the pointer.
-                ':where([data-resizing] + [role="complementary"])': {
+                // why: While its ResizeHandle drags, follow the pointer. An end panel's
+                // handle is the sibling before it; a start panel's handle is the sibling after it.
+                ':where([data-resizing] + [role="complementary"], [role="complementary"]:has(+ [data-resizing]))': {
                     transition: 'none',
                 },
             },

package/ui/trace-palette.d.ts

@@ -1,24 +1,10 @@
 /**
- * The trace panel's colours, taken from Theorem's landscape stills rather than
- * the stock hues: deep royal navy, antique brass, fjord teal, heather, warm
- * stone, and moss and oxblood kept for how a step ended. Each is a
- * light-dark pair, deep in light mode and softened, not brightened, in dark.
+ * The trace panel's colour for a failed step: oxblood, a light-dark pair that is deep in light
+ * mode and softened, not brightened, in dark.
  *
  * @module
  */
 export declare const TRACE_HUE: {
-    /** Royal navy: the model. */
-    readonly navy: "light-dark(#152350, #2b4596)";
-    /** Antique brass: tools. */
-    readonly brass: "light-dark(#6f5520, #b39150)";
-    /** Deep fjord teal: the host. */
-    readonly fjord: "light-dark(#24595c, #5f9a9c)";
-    /** Moss green: what succeeded. */
-    readonly moss: "light-dark(#3d5f2c, #7c9f5a)";
-    /** Heather: Theorem itself (guardrails, gates, the turn). */
-    readonly heather: "light-dark(#54447e, #9585bf)";
-    /** Warm stone: the person, and time nothing else accounts for. */
-    readonly stone: "light-dark(#6d6861, #a39d93)";
     /** Oxblood: whatever failed. */
     readonly oxblood: "light-dark(#8e2a28, #cd5f55)";
 };

package/ui/trace-palette.js

@@ -1,24 +1,10 @@
 /**
- * The trace panel's colours, taken from Theorem's landscape stills rather than
- * the stock hues: deep royal navy, antique brass, fjord teal, heather, warm
- * stone, and moss and oxblood kept for how a step ended. Each is a
- * light-dark pair, deep in light mode and softened, not brightened, in dark.
+ * The trace panel's colour for a failed step: oxblood, a light-dark pair that is deep in light
+ * mode and softened, not brightened, in dark.
  *
  * @module
  */
 export const TRACE_HUE = {
-    /** Royal navy: the model. */
-    navy: 'light-dark(#152350, #2b4596)',
-    /** Antique brass: tools. */
-    brass: 'light-dark(#6f5520, #b39150)',
-    /** Deep fjord teal: the host. */
-    fjord: 'light-dark(#24595c, #5f9a9c)',
-    /** Moss green: what succeeded. */
-    moss: 'light-dark(#3d5f2c, #7c9f5a)',
-    /** Heather: Theorem itself (guardrails, gates, the turn). */
-    heather: 'light-dark(#54447e, #9585bf)',
-    /** Warm stone: the person, and time nothing else accounts for. */
-    stone: 'light-dark(#6d6861, #a39d93)',
     /** Oxblood: whatever failed. */
     oxblood: 'light-dark(#8e2a28, #cd5f55)',
 };

package/ui/trace-patterns.d.ts

@@ -1,4 +1,4 @@
-import type { ReactNode } from 'react';
+import type { ComponentProps, CSSProperties, ReactNode } from 'react';
 import type { TraceActor } from '../client/trace-story.ts';
 /**
  * The trace charts' fills, one per series in order: the first is clear (a
@@ -23,10 +23,18 @@ export declare function TracePatterns(): import("react").JSX.Element;
 export declare function TraceSwatch({ fill }: {
     fill: TraceFill;
 }): import("react").JSX.Element;
-/** A chart as a card: its name, one figure that answers it, then the chart and its key. */
-export declare function ChartCard({ title, value, note, children }: {
+/** Every console card, request, response and result alike: one ground and one radius. A flush page points the ground at the muted one. */
+export declare const CONSOLE_CARD: CSSProperties;
+/** A chart's content: its name, one figure that answers it, then the chart and its key. */
+export declare function ChartBody({ title, value, note, aside, detail, children, }: {
     title: string;
     value: ReactNode;
     note?: ReactNode;
+    /** A line under the title that says more, cut to two lines with the rest on hover. */
+    detail?: string;
+    /** A control beside the title, such as a switch between views. */
+    aside?: ReactNode;
     children?: ReactNode;
 }): import("react").JSX.Element;
+/** A chart as a card. */
+export declare function ChartCard(props: ComponentProps<typeof ChartBody>): import("react").JSX.Element;

package/ui/trace-patterns.js

@@ -1,5 +1,7 @@
 import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
 import { Card } from '@astryxdesign/core/Card';
+import { HStack } from '@astryxdesign/core/HStack';
+import { StackItem } from '@astryxdesign/core/Stack';
 import { Text } from '@astryxdesign/core/Text';
 import { VStack } from '@astryxdesign/core/VStack';
 const SOLID = {
@@ -38,7 +40,18 @@ export function TracePatterns() {
 export function TraceSwatch({ fill }) {
     return (_jsx("svg", { "aria-hidden": true, width: 10, height: 10, style: { display: 'block', flexShrink: 0 }, children: _jsx("rect", { width: 10, height: 10, rx: 2, fill: traceFill(fill) }) }));
 }
-/** A chart as a card: its name, one figure that answers it, then the chart and its key. */
-export function ChartCard({ title, value, note, children }) {
-    return (_jsx(Card, { variant: "muted", padding: 4, style: { background: 'var(--color-background-surface)' }, children: _jsxs(VStack, { gap: 3, children: [_jsx(Text, { type: "supporting", color: "secondary", children: title }), _jsxs("div", { style: { display: 'flex', alignItems: 'baseline', flexWrap: 'wrap', columnGap: 8 }, children: [_jsx(Text, { size: "2xl", weight: "medium", hasTabularNumbers: true, children: value }), note ? (_jsx(Text, { type: "supporting", hasTabularNumbers: true, children: _jsx("span", { style: { color: TRACE_ACCENT }, children: note }) })) : null] }), children] }) }));
+/** Every console card, request, response and result alike: one ground and one radius. A flush page points the ground at the muted one. */
+export const CONSOLE_CARD = {
+    background: 'var(--theorem-console-card, var(--color-background-surface))',
+    borderRadius: 'var(--radius-page)',
+};
+/** A chart's content: its name, one figure that answers it, then the chart and its key. */
+export function ChartBody({ title, value, note, aside, detail, children, }) {
+    const titled = (_jsx(Text, { type: "supporting", color: "secondary", children: title }));
+    const heading = detail ? (_jsxs(VStack, { gap: 1, children: [titled, _jsx(Text, { type: "supporting", maxLines: 2, children: detail })] })) : (titled);
+    return (_jsxs(VStack, { gap: 3, children: [aside ? (_jsxs(HStack, { gap: 3, vAlign: "center", children: [_jsx(StackItem, { size: "fill", children: heading }), aside] })) : (heading), _jsxs("div", { style: { display: 'flex', alignItems: 'baseline', flexWrap: 'wrap', columnGap: 8 }, children: [_jsx(Text, { size: "2xl", weight: "medium", hasTabularNumbers: true, children: value }), note ? (_jsx(Text, { type: "supporting", hasTabularNumbers: true, children: _jsx("span", { style: { color: TRACE_ACCENT }, children: note }) })) : null] }), children] }));
+}
+/** A chart as a card. */
+export function ChartCard(props) {
+    return (_jsx(Card, { variant: "muted", padding: 4, style: CONSOLE_CARD, children: _jsx(ChartBody, { ...props }) }));
 }

package/ui/transcript-copy-text.js

@@ -33,6 +33,7 @@ export function transcriptBlockCopyText(t, block) {
             return JSON.stringify(block.evidence, null, 2);
         case 'error':
             return block.message;
+        case 'guardrail':
         case 'turn-done':
             return '';
     }

package/ui/wall-columns.d.ts

@@ -0,0 +1,8 @@
+/** How many columns at least `minWidth` wide fit across `width`, `gap` apart. Never fewer than one. */
+export declare function columnCount(width: number, minWidth: number, gap: number): number;
+/**
+ * Each card, in order, into the column that is shortest so far, by the
+ * cards' heights and the gap under each. A card not measured yet counts as
+ * no height, so unmeasured cards are dealt out in turn.
+ */
+export declare function wallColumns(heights: readonly (number | undefined)[], count: number, gap: number): number[][];

package/ui/wall-columns.js

@@ -0,0 +1,19 @@
+/** How many columns at least `minWidth` wide fit across `width`, `gap` apart. Never fewer than one. */
+export function columnCount(width, minWidth, gap) {
+    return Math.max(1, Math.floor((width + gap) / (minWidth + gap)));
+}
+/**
+ * Each card, in order, into the column that is shortest so far, by the
+ * cards' heights and the gap under each. A card not measured yet counts as
+ * no height, so unmeasured cards are dealt out in turn.
+ */
+export function wallColumns(heights, count, gap) {
+    const columns = Array.from({ length: count }, () => []);
+    const tall = Array.from({ length: count }, () => 0);
+    heights.forEach((height, card) => {
+        const at = tall.indexOf(Math.min(...tall));
+        columns[at]?.push(card);
+        tall[at] = (tall[at] ?? 0) + (height ?? 0) + gap;
+    });
+    return columns;
+}

package/client/walk-away.d.ts

@@ -1,34 +0,0 @@
-/**
- * A message sent while its reply waits on gates walks away from them in the
- * same request: `abandon` names the waiting calls, and the history carries the
- * paused reply with those calls open. The host settles each one cancelled and
- * streams those events ahead of the message's reply; once the last one
- * settles, the paused reply commits whole, and the message's reply begins.
- *
- * @module
- */
-import { type TurnHistoryMessage } from '@theoremjs/agents';
-import { type ComposerProfileInterface, type InterfaceTurnSession, type TranscriptBlock } from '@theoremjs/agents/interface';
-import type { TurnEventSink } from './transport.ts';
-import { type WalkAway } from './turn-client.ts';
-/** The paused reply, committed with its settled calls, and its blocks as the transcript keeps them. */
-export type WalkedAway = {
-    session: InterfaceTurnSession;
-    blocks: TranscriptBlock[];
-};
-export type WalkingAway = {
-    /** For `buildTurnRequest`: the paused session and the calls it waits on. */
-    request: WalkAway;
-    /** The paused reply as the model reads it, its waiting calls open. */
-    history: TurnHistoryMessage[];
-    /**
-     * The sink for the request's stream: each waiting call's events settle the
-     * paused reply, and `onSettled` fires once the last one has; every event
-     * after that is the message's reply, and goes on to `onEvent`.
-     */
-    sink(onEvent: TurnEventSink, onSettled: (walked: WalkedAway) => void): TurnEventSink;
-    /** Whether every waiting call has settled. */
-    settled(): boolean;
-};
-/** Walk away from every call `paused` waits on; `workedMs` is the paused reply's work so far. */
-export declare function walkAwayFrom(iface: ComposerProfileInterface, paused: InterfaceTurnSession, workedMs: number): WalkingAway;

package/client/walk-away.js

@@ -1,48 +0,0 @@
-/**
- * A message sent while its reply waits on gates walks away from them in the
- * same request: `abandon` names the waiting calls, and the history carries the
- * paused reply with those calls open. The host settles each one cancelled and
- * streams those events ahead of the message's reply; once the last one
- * settles, the paused reply commits whole, and the message's reply begins.
- *
- * @module
- */
-import { TheoremError } from '@theoremjs/agents';
-import { appendPausedTurnToHistory, gatedToolsFromEvents, settlesToolCall, } from '@theoremjs/agents/interface';
-import { commitCompletedTurn, stampWorked } from "./run-commit.js";
-import { foldAssistantTurn } from "./turn-client.js";
-/** Walk away from every call `paused` waits on; `workedMs` is the paused reply's work so far. */
-export function walkAwayFrom(iface, paused, workedMs) {
-    const calls = gatedToolsFromEvents(paused.assistantEvents);
-    const waiting = new Set(calls.map((call) => call.callId));
-    const events = [...paused.assistantEvents];
-    const settle = (event) => {
-        events.push(event);
-        if (event.type === 'tool' && settlesToolCall(event, event.tool.callId))
-            waiting.delete(event.tool.callId);
-        if (waiting.size)
-            return undefined;
-        return {
-            session: commitCompletedTurn(paused, events),
-            blocks: stampWorked(foldAssistantTurn(iface, events), { workedMs, endedAt: Date.now() }),
-        };
-    };
-    return {
-        request: { paused, calls },
-        history: appendPausedTurnToHistory(paused.history, paused.assistantEvents),
-        sink: (onEvent, onSettled) => (event) => {
-            if (!waiting.size || event.type === 'unsupported' || event.type === 'malformed') {
-                onEvent(event);
-                return;
-            }
-            if (event.type !== 'tool' || !waiting.has(event.tool.callId)) {
-                // lexicon-exempt: internal diagnostic; the user reads the error kind's wording
-                throw new TheoremError('bad_response', 'the reply began before the calls it walked away from settled');
-            }
-            const walked = settle(event);
-            if (walked)
-                onSettled(walked);
-        },
-        settled: () => waiting.size === 0,
-    };
-}

package/server/walk-away.d.ts

@@ -1,22 +0,0 @@
-/**
- * A message that walks away from the calls its reply paused on, the same on
- * every host (`createTheoremHandler`, the playground). The message's history
- * leaves exactly those calls open; each settles cancelled, its events stream
- * ahead of the reply, and the model reads each answer before the message.
- *
- * @module
- */
-import { type TurnEvent, type TurnInput } from '@theoremjs/agents';
-/** Refuses a walk-away its history does not match, before any gate is answered. */
-export declare function checkWalkAway(input: TurnInput, abandon: readonly string[]): void;
-/** One walked-away call: its id, and the run that settles it (`invokeTool` with the abandoned resume). */
-export type WalkedAwayCall = {
-    callId: string;
-    events: AsyncIterable<TurnEvent>;
-};
-/**
- * Streams each call's tool events as it settles; each run's `done` stays with
- * that run. Returns `input` with every call answered in its history, or
- * undefined when a run failed: its `error` event went out and ends the reply.
- */
-export declare function walkAway(input: TurnInput, calls: readonly WalkedAwayCall[]): AsyncGenerator<TurnEvent, TurnInput | undefined>;

package/server/walk-away.js

@@ -1,41 +0,0 @@
-/**
- * A message that walks away from the calls its reply paused on, the same on
- * every host (`createTheoremHandler`, the playground). The message's history
- * leaves exactly those calls open; each settles cancelled, its events stream
- * ahead of the reply, and the model reads each answer before the message.
- *
- * @module
- */
-import { TheoremError } from '@theoremjs/agents';
-import { answerOpenToolCalls, assertOpenToolCalls, settlesToolCall, } from '@theoremjs/agents/interface';
-/** Refuses a walk-away its history does not match, before any gate is answered. */
-export function checkWalkAway(input, abandon) {
-    assertOpenToolCalls(input.history ?? [], abandon);
-}
-/**
- * Streams each call's tool events as it settles; each run's `done` stays with
- * that run. Returns `input` with every call answered in its history, or
- * undefined when a run failed: its `error` event went out and ends the reply.
- */
-export async function* walkAway(input, calls) {
-    const answers = new Map();
-    for (const call of calls) {
-        for await (const event of call.events) {
-            if (event.type === 'error') {
-                yield event;
-                return undefined;
-            }
-            if (event.type !== 'tool')
-                continue;
-            yield event;
-            const readBack = settlesToolCall(event, call.callId) ? event.tool.readBack : undefined;
-            if (readBack !== undefined)
-                answers.set(call.callId, readBack);
-        }
-        if (!answers.has(call.callId)) {
-            // lexicon-exempt: internal diagnostic; the user reads error.internal
-            throw new TheoremError('internal', `walked-away call ${call.callId} ended without settling`);
-        }
-    }
-    return { ...input, history: answerOpenToolCalls(input.history ?? [], answers) };
-}