@teaflask/assistant 0.0.0 → 0.6.0

package/dist/components/tool-views/file-edit-view.js

@@ -0,0 +1,148 @@
+import { unifiedDiffOf } from "../../reader/line-diff.js";
+import { LABEL_CLASS, PANE_CLASS, PANE_WRAPPER_CLASS, el, note, pane, settledOutcomeNotesOf, settledWithResult, statelessToolView, stringOf, } from "./view-dom.js";
+export const fileEditToolView = statelessToolView(_renderFileEdit);
+function _renderFileEdit({ call }) {
+    const root = el("div", "tf:flex tf:flex-col tf:gap-2");
+    root.dataset.tfFileEditView = "";
+    const path = stringOf(call.args.path);
+    if (path !== null && path !== "") {
+        root.append(el("p", "tf:font-mono tf:text-xs tf:text-tf-foreground", path));
+    }
+    root.append(...settledOutcomeNotesOf(call));
+    const settled = settledWithResult(call);
+    switch (stringOf(call.args.command)) {
+        case "str_replace":
+            root.append(_strReplaceReadingOf(call, settled));
+            break;
+        case "create":
+            root.append(_createReadingOf(call, settled));
+            break;
+        case "insert":
+            root.append(_insertReadingOf(call, settled));
+            break;
+        case "view": {
+            const read = _viewedContentsReadingOf(call, settled);
+            if (read !== null) {
+                root.append(read);
+            }
+            break;
+        }
+        default:
+            root.append(note("No rendered edit for this call."));
+    }
+    return root;
+}
+function _strReplaceReadingOf(call, settled) {
+    const oldStr = stringOf(call.args.old_str);
+    const rawNewStr = call.args.new_str;
+    const newStr = rawNewStr === undefined || rawNewStr === null ? "" : stringOf(rawNewStr);
+    if (oldStr === null || newStr === null) {
+        return note("No rendered edit for this call.");
+    }
+    const expandedOld = _expandedTabs(oldStr);
+    const expandedNew = _expandedTabs(newStr);
+    if (newStr === "" && oldStr !== "") {
+        return _diffPane(settled ? "Deletion" : "Proposed deletion", _prefixedLines(_withoutBoundaryNewlines(expandedOld), "-"));
+    }
+    const diff = unifiedDiffOf(expandedOld, expandedNew);
+    if (diff === "") {
+        return note("The replacement matches the original — no change to render.");
+    }
+    return _diffPane(settled ? "Edit" : "Proposed edit", diff, expandedOld.split("\n").length);
+}
+function _createReadingOf(call, settled) {
+    const fileText = stringOf(call.args.file_text);
+    if (fileText === null) {
+        return note("No rendered edit for this call.");
+    }
+    if (fileText === "") {
+        return note(settled ? "Created an empty file." : "Proposes an empty file.");
+    }
+    return _diffPane(settled ? "New file" : "Proposed new file", _prefixedLines(_withoutTrailingNewline(fileText), "+"));
+}
+function _insertReadingOf(call, settled) {
+    const newStr = stringOf(call.args.new_str);
+    if (newStr === null) {
+        return note("No rendered edit for this call.");
+    }
+    const line = call.args.insert_line;
+    const where = typeof line !== "number" || !Number.isInteger(line) || line < 0
+        ? ""
+        : line === 0
+            ? " at the top of the file"
+            : ` after line ${String(line)}`;
+    return _diffPane(settled ? `Inserted${where}` : `Proposed insertion${where}`, _prefixedLines(_expandedTabs(newStr), "+"));
+}
+function _viewedContentsReadingOf(call, settled) {
+    if (!settled) {
+        return null;
+    }
+    if (call.resultText === undefined || call.resultText === "") {
+        return note("Nothing to show for this read.");
+    }
+    return pane("Contents", _withoutViewPreamble(call.resultText));
+}
+function _expandedTabs(text) {
+    return text.replaceAll("\t", "        ");
+}
+function _withoutTrailingNewline(text) {
+    return text.endsWith("\n") ? text.slice(0, -1) : text;
+}
+function _withoutBoundaryNewlines(text) {
+    return _withoutTrailingNewline(text.startsWith("\n") ? text.slice(1) : text);
+}
+function _withoutViewPreamble(text) {
+    const newline = text.indexOf("\n");
+    if (newline === -1) {
+        return text;
+    }
+    const firstLine = text.slice(0, newline);
+    const isPreamble = (firstLine.startsWith("Here's the result of running") ||
+        firstLine.startsWith("Here's the files and directories")) &&
+        firstLine.endsWith(":");
+    return isPreamble ? text.slice(newline + 1) : text;
+}
+function _prefixedLines(text, prefix) {
+    return text
+        .split("\n")
+        .map((line) => `${prefix}${line}`)
+        .join("\n");
+}
+function _diffPane(label, diff, oldLineCount) {
+    const wrapper = el("div", PANE_WRAPPER_CLASS);
+    wrapper.append(el("p", LABEL_CLASS, label));
+    const pre = el("pre", PANE_CLASS);
+    const code = el("code", "tf:font-mono");
+    let rendered = 0;
+    const append = (className, text) => {
+        code.append(el("span", className, rendered === 0 ? text : `\n${text}`));
+        rendered += 1;
+    };
+    let afterLastHunk = null;
+    for (const line of diff.split("\n")) {
+        if (line.startsWith("@@")) {
+            const header = /^@@ -(\d+),(\d+)/.exec(line);
+            if (header !== null) {
+                afterLastHunk = Number(header[1]) + Number(header[2]);
+            }
+            if (rendered > 0 || !line.startsWith("@@ -1,")) {
+                append("tf:text-tf-muted-foreground", "⋯");
+            }
+            continue;
+        }
+        const className = line.startsWith("+")
+            ? "tf:text-tf-foreground"
+            : line.startsWith("-")
+                ? "tf:text-tf-destructive"
+                : "tf:text-tf-muted-foreground";
+        append(className, line);
+    }
+    if (oldLineCount !== undefined &&
+        afterLastHunk !== null &&
+        afterLastHunk <= oldLineCount) {
+        append("tf:text-tf-muted-foreground", "⋯");
+    }
+    pre.append(code);
+    wrapper.append(pre);
+    return wrapper;
+}

package/dist/components/tool-views/parts-classes.d.ts

@@ -0,0 +1,28 @@
+export declare const CARD_CLASS = "tf:overflow-hidden tf:rounded-lg tf:border tf:border-tf-border tf:bg-tf-card";
+export declare const CARD_TITLE_CLASS = "tf:mb-1 tf:text-tf-label tf:font-medium tf:text-tf-foreground";
+export declare const ROW_CLASS = "tf:flex tf:min-w-0 tf:items-center tf:gap-2.5 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:first:border-t-0";
+export declare const ROW_LINK_CLASS = "tf:no-underline tf:hover:bg-tf-accent";
+export declare const ROW_ICON_CLASS = "tf:flex tf:size-6 tf:shrink-0 tf:items-center tf:justify-center tf:rounded-[5px] tf:bg-tf-muted tf:text-tf-muted-foreground";
+export declare const ROW_TEXT_CLASS = "tf:flex tf:min-w-0 tf:flex-1 tf:flex-col tf:leading-[1.35]";
+export declare const ROW_TITLE_CLASS = "tf:truncate tf:text-tf-label tf:font-medium tf:text-tf-foreground";
+export declare const ROW_SECONDARY_CLASS = "tf:truncate tf:text-xs tf:text-tf-muted-foreground";
+export declare const ROW_TRAIL_CLASS = "tf:ms-auto tf:flex tf:shrink-0 tf:items-center tf:gap-2";
+export declare const BADGE_CLASS = "tf:inline-flex tf:shrink-0 tf:items-center tf:rounded-[3px] tf:border tf:border-tf-border tf:px-1.5 tf:py-px tf:text-[11px] tf:leading-4 tf:font-medium tf:text-tf-foreground";
+export declare const FACT_LIST_CLASS = "tf:m-0 tf:border-t tf:border-tf-border tf:first:border-t-0";
+export declare const FACT_ROW_CLASS = "tf:grid tf:grid-cols-[minmax(6rem,30%)_minmax(0,1fr)] tf:gap-x-3 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:first:border-t-0";
+export declare const FACT_LABEL_CLASS = "tf:min-w-0 tf:text-xs tf:text-tf-muted-foreground tf:wrap-anywhere";
+export declare const FACT_VALUE_CLASS = "tf:m-0 tf:min-w-0 tf:text-xs tf:text-tf-foreground tf:wrap-anywhere";
+export declare const CAPTION_ROW_CLASS = "tf:flex tf:items-center tf:justify-between tf:gap-3 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:text-xs tf:text-tf-muted-foreground tf:first:border-t-0";
+export declare const CARD_BLOCK_CLASS = "tf:border-t tf:border-tf-border tf:px-2.5 tf:py-2 tf:first:border-t-0";
+export declare const BODY_REGION_CLASS = "tf:max-h-72 tf:overflow-auto tf:border-t tf:border-tf-border tf:px-2.5 tf:py-2 tf:first:border-t-0";
+export declare const NOTE_CLASS = "tf:text-xs tf:text-tf-muted-foreground";
+export declare const BONES_CLASS = "tf:flex tf:flex-col tf:gap-2 tf:py-1";
+export declare const BONE_CLASS = "tf:h-2.5 tf:animate-tf-pulse tf:rounded tf:bg-tf-muted";
+export declare const PANE_WRAPPER_CLASS = "tf:flex tf:flex-col tf:gap-1";
+export declare const PANE_CLASS = "tf:m-0 tf:max-h-60 tf:overflow-auto tf:rounded-md tf:bg-tf-muted tf:p-2 tf:text-xs tf:whitespace-pre-wrap tf:text-tf-foreground";
+export declare const TERMINAL_CLASS = "tf:m-0 tf:max-h-72 tf:overflow-auto tf:rounded-lg tf:border tf:border-tf-border tf:bg-tf-muted tf:px-3 tf:py-2.5 tf:font-mono tf:text-xs tf:leading-5 tf:whitespace-pre-wrap tf:wrap-anywhere tf:text-tf-foreground";
+export declare const TERMINAL_PROMPT_CLASS = "tf:select-none tf:text-tf-muted-foreground";
+export declare const TERMINAL_OUTPUT_CLASS = "tf:mt-1 tf:block tf:text-tf-muted-foreground";
+export declare const TERMINAL_STDERR_CLASS = "tf:mt-1 tf:block tf:text-tf-muted-foreground tf:italic";
+export declare const SCROLL_REGION_CLASS = "tf:max-h-72 tf:overflow-auto tf:border-t tf:border-tf-border tf:first:border-t-0";
+export declare const LABEL_CLASS = "tf:text-xs tf:font-medium tf:text-tf-muted-foreground";

package/dist/components/tool-views/parts-classes.js

@@ -0,0 +1,28 @@
+export const CARD_CLASS = "tf:overflow-hidden tf:rounded-lg tf:border tf:border-tf-border tf:bg-tf-card";
+export const CARD_TITLE_CLASS = "tf:mb-1 tf:text-tf-label tf:font-medium tf:text-tf-foreground";
+export const ROW_CLASS = "tf:flex tf:min-w-0 tf:items-center tf:gap-2.5 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:first:border-t-0";
+export const ROW_LINK_CLASS = "tf:no-underline tf:hover:bg-tf-accent";
+export const ROW_ICON_CLASS = "tf:flex tf:size-6 tf:shrink-0 tf:items-center tf:justify-center tf:rounded-[5px] tf:bg-tf-muted tf:text-tf-muted-foreground";
+export const ROW_TEXT_CLASS = "tf:flex tf:min-w-0 tf:flex-1 tf:flex-col tf:leading-[1.35]";
+export const ROW_TITLE_CLASS = "tf:truncate tf:text-tf-label tf:font-medium tf:text-tf-foreground";
+export const ROW_SECONDARY_CLASS = "tf:truncate tf:text-xs tf:text-tf-muted-foreground";
+export const ROW_TRAIL_CLASS = "tf:ms-auto tf:flex tf:shrink-0 tf:items-center tf:gap-2";
+export const BADGE_CLASS = "tf:inline-flex tf:shrink-0 tf:items-center tf:rounded-[3px] tf:border tf:border-tf-border tf:px-1.5 tf:py-px tf:text-[11px] tf:leading-4 tf:font-medium tf:text-tf-foreground";
+export const FACT_LIST_CLASS = "tf:m-0 tf:border-t tf:border-tf-border tf:first:border-t-0";
+export const FACT_ROW_CLASS = "tf:grid tf:grid-cols-[minmax(6rem,30%)_minmax(0,1fr)] tf:gap-x-3 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:first:border-t-0";
+export const FACT_LABEL_CLASS = "tf:min-w-0 tf:text-xs tf:text-tf-muted-foreground tf:wrap-anywhere";
+export const FACT_VALUE_CLASS = "tf:m-0 tf:min-w-0 tf:text-xs tf:text-tf-foreground tf:wrap-anywhere";
+export const CAPTION_ROW_CLASS = "tf:flex tf:items-center tf:justify-between tf:gap-3 tf:border-t tf:border-tf-border tf:px-2.5 tf:py-1.5 tf:text-xs tf:text-tf-muted-foreground tf:first:border-t-0";
+export const CARD_BLOCK_CLASS = "tf:border-t tf:border-tf-border tf:px-2.5 tf:py-2 tf:first:border-t-0";
+export const BODY_REGION_CLASS = `tf:max-h-72 tf:overflow-auto ${CARD_BLOCK_CLASS}`;
+export const NOTE_CLASS = "tf:text-xs tf:text-tf-muted-foreground";
+export const BONES_CLASS = "tf:flex tf:flex-col tf:gap-2 tf:py-1";
+export const BONE_CLASS = "tf:h-2.5 tf:animate-tf-pulse tf:rounded tf:bg-tf-muted";
+export const PANE_WRAPPER_CLASS = "tf:flex tf:flex-col tf:gap-1";
+export const PANE_CLASS = "tf:m-0 tf:max-h-60 tf:overflow-auto tf:rounded-md tf:bg-tf-muted tf:p-2 tf:text-xs tf:whitespace-pre-wrap tf:text-tf-foreground";
+export const TERMINAL_CLASS = "tf:m-0 tf:max-h-72 tf:overflow-auto tf:rounded-lg tf:border tf:border-tf-border tf:bg-tf-muted tf:px-3 tf:py-2.5 tf:font-mono tf:text-xs tf:leading-5 tf:whitespace-pre-wrap tf:wrap-anywhere tf:text-tf-foreground";
+export const TERMINAL_PROMPT_CLASS = "tf:select-none tf:text-tf-muted-foreground";
+export const TERMINAL_OUTPUT_CLASS = "tf:mt-1 tf:block tf:text-tf-muted-foreground";
+export const TERMINAL_STDERR_CLASS = "tf:mt-1 tf:block tf:text-tf-muted-foreground tf:italic";
+export const SCROLL_REGION_CLASS = "tf:max-h-72 tf:overflow-auto tf:border-t tf:border-tf-border tf:first:border-t-0";
+export const LABEL_CLASS = "tf:text-xs tf:font-medium tf:text-tf-muted-foreground";

package/dist/components/tool-views/parts.d.ts

@@ -0,0 +1,41 @@
+import type { ReactNode } from "react";
+export declare function ToolViewTitle({ children }: {
+    children: ReactNode;
+}): import("react").JSX.Element;
+export declare function ToolViewCard({ title, children, ...rest }: {
+    title?: string;
+    children: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewRow({ icon, title, secondary, trailing, href, ...rest }: {
+    icon?: ReactNode;
+    title: ReactNode;
+    secondary?: ReactNode;
+    trailing?: ReactNode;
+    href?: string;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewFacts({ facts, ...rest }: {
+    facts: readonly {
+        label: string;
+        value: ReactNode;
+    }[];
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewCaption({ children, trailing, ...rest }: {
+    children: ReactNode;
+    trailing?: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewBody({ label, children, ...rest }: {
+    label: string;
+    children: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewScroll({ children, ...rest }: {
+    children: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewBadge({ children, ...rest }: {
+    children: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewNote({ children, ...rest }: {
+    children: ReactNode;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;
+export declare function ToolViewBones({ lines, ...rest }: {
+    lines?: number;
+} & Record<`data-${string}`, string | number | undefined>): import("react").JSX.Element;

package/dist/components/tool-views/parts.js

@@ -0,0 +1,34 @@
+"use client";
+import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+import { BADGE_CLASS, BODY_REGION_CLASS, BONES_CLASS, BONE_CLASS, CAPTION_ROW_CLASS, CARD_CLASS, CARD_TITLE_CLASS, FACT_LABEL_CLASS, FACT_LIST_CLASS, FACT_ROW_CLASS, FACT_VALUE_CLASS, NOTE_CLASS, ROW_CLASS, ROW_ICON_CLASS, ROW_LINK_CLASS, ROW_SECONDARY_CLASS, ROW_TEXT_CLASS, ROW_TITLE_CLASS, ROW_TRAIL_CLASS, SCROLL_REGION_CLASS, } from "./parts-classes.js";
+export function ToolViewTitle({ children }) {
+    return _jsx("p", { className: CARD_TITLE_CLASS, children: children });
+}
+export function ToolViewCard({ title, children, ...rest }) {
+    return (_jsxs("div", { ...rest, children: [title !== undefined && _jsx(ToolViewTitle, { children: title }), _jsx("div", { className: CARD_CLASS, "data-tf-tool-view-card": "", children: children })] }));
+}
+export function ToolViewRow({ icon, title, secondary, trailing, href, ...rest }) {
+    const content = (_jsxs(_Fragment, { children: [icon !== undefined && _jsx("span", { className: ROW_ICON_CLASS, children: icon }), _jsxs("span", { className: ROW_TEXT_CLASS, children: [_jsx("span", { className: ROW_TITLE_CLASS, children: title }), secondary !== undefined && secondary !== null && (_jsx("span", { className: ROW_SECONDARY_CLASS, children: secondary }))] }), trailing !== undefined && trailing !== null && (_jsx("span", { className: ROW_TRAIL_CLASS, children: trailing }))] }));
+    return href === undefined ? (_jsx("div", { className: ROW_CLASS, ...rest, children: content })) : (_jsx("a", { href: href, className: `${ROW_CLASS} ${ROW_LINK_CLASS}`, ...rest, children: content }));
+}
+export function ToolViewFacts({ facts, ...rest }) {
+    return (_jsx("dl", { className: FACT_LIST_CLASS, ...rest, children: facts.map((fact, index) => (_jsxs("div", { className: FACT_ROW_CLASS, children: [_jsx("dt", { className: FACT_LABEL_CLASS, children: fact.label }), _jsx("dd", { className: FACT_VALUE_CLASS, children: fact.value })] }, index))) }));
+}
+export function ToolViewCaption({ children, trailing, ...rest }) {
+    return (_jsxs("div", { className: CAPTION_ROW_CLASS, ...rest, children: [_jsx("span", { className: "tf:min-w-0", children: children }), trailing !== undefined && trailing !== null && (_jsx("span", { className: "tf:shrink-0", children: trailing }))] }));
+}
+export function ToolViewBody({ label, children, ...rest }) {
+    return (_jsx("section", { "aria-label": label, className: BODY_REGION_CLASS, ...rest, children: children }));
+}
+export function ToolViewScroll({ children, ...rest }) {
+    return (_jsx("div", { className: SCROLL_REGION_CLASS, "data-tf-scroll-region": "", ...rest, children: children }));
+}
+export function ToolViewBadge({ children, ...rest }) {
+    return (_jsx("span", { className: BADGE_CLASS, ...rest, children: children }));
+}
+export function ToolViewNote({ children, ...rest }) {
+    return (_jsx("p", { className: NOTE_CLASS, ...rest, children: children }));
+}
+export function ToolViewBones({ lines = 3, ...rest }) {
+    return (_jsx("div", { className: BONES_CLASS, "aria-hidden": true, ...rest, children: Array.from({ length: lines }, (_, index) => (_jsx("span", { className: `${BONE_CLASS} ${index === 0 ? "tf:w-1/2" : "tf:w-full"}` }, index))) }));
+}

package/dist/components/tool-views/questions-view.d.ts

@@ -0,0 +1 @@
+export declare const questionsToolView: import("../../headless.js").ToolViewAdapter<Record<string, unknown>, unknown>;

package/dist/components/tool-views/questions-view.js

@@ -0,0 +1,41 @@
+import { settledQuestionsReceiptOf } from "../../core/question-receipt.js";
+import { card, el, note, settledOutcomeNotesOf, settledWithResult, statelessToolView, } from "./view-dom.js";
+export const questionsToolView = statelessToolView(renderQuestions);
+function renderQuestions({ call }) {
+    const root = el("div", "tf:min-w-0");
+    root.dataset.tfQuestionsView = "";
+    root.append(...settledOutcomeNotesOf(call));
+    const receipt = settledWithResult(call) && call.truncated !== true
+        ? settledQuestionsReceiptOf(call.toolName, JSON.stringify(call.args), call.resultText)
+        : null;
+    if (receipt === null) {
+        if (settledWithResult(call)) {
+            root.append(note("No answers are available in this record."));
+        }
+        return root;
+    }
+    root.dataset.tfElicitationReceipt = "";
+    root.dataset.tfQuestionsReceipt = "";
+    const answers = new Map(receipt.answers.map((answer) => [answer.id, answer.text]));
+    const list = el("dl", "tf:m-0");
+    receipt.questions.forEach((question) => {
+        list.append(questionSection(question, answers.get(question.id) ?? "Answered."));
+    });
+    root.append(card([list]));
+    return root;
+}
+function questionSection(question, answer) {
+    const section = el("div", "tf:min-w-0 tf:border-t tf:border-tf-border tf:p-4 tf:first:border-t-0");
+    const title = el("dt", "");
+    title.append(el("span", "tf:wrap-anywhere tf:text-tf-label tf:font-medium tf:text-tf-foreground", question.heading));
+    const prompt = el("dd", "tf:m-0 tf:mt-1.5 tf:wrap-anywhere tf:whitespace-pre-wrap tf:text-tf-label tf:leading-relaxed tf:text-tf-muted-foreground", question.prompt);
+    prompt.dataset.tfElicitationReceiptQuestion = "";
+    section.append(title, prompt);
+    if (answer !== undefined) {
+        const value = el("dd", "tf:m-0 tf:mt-3 tf:rounded-md tf:bg-tf-muted tf:px-3 tf:py-2.5 tf:wrap-anywhere tf:whitespace-pre-wrap tf:text-tf-label tf:leading-relaxed tf:text-tf-foreground");
+        value.dataset.tfElicitationReceiptAnswer = "";
+        value.append(el("span", "tf:sr-only", "Answered: "), document.createTextNode(answer));
+        section.append(value);
+    }
+    return section;
+}

package/dist/components/tool-views/view-dom.d.ts

@@ -0,0 +1,51 @@
+import type { ToolViewAdapter, ToolViewCall, ToolViewProps } from "../../core/tool-view.js";
+import { LABEL_CLASS, PANE_CLASS, PANE_WRAPPER_CLASS } from "./parts-classes.js";
+export { LABEL_CLASS, PANE_CLASS, PANE_WRAPPER_CLASS };
+export declare function el<K extends keyof HTMLElementTagNameMap>(tag: K, className: string, text?: string): HTMLElementTagNameMap[K];
+export declare function pane(label: string, text: string): HTMLElement;
+export declare function terminal(options: {
+    command: string | null;
+    output?: string;
+    stderr?: string;
+}): HTMLElement;
+export declare function scrollRegion(children: readonly HTMLElement[]): HTMLElement;
+export declare function card(children: readonly HTMLElement[], title?: string): HTMLElement;
+export declare function listRow(options: {
+    title: string;
+    secondary?: string;
+    trailing?: HTMLElement | string;
+    icon?: Element;
+    below?: HTMLElement;
+}): HTMLElement;
+export declare function factRows(facts: readonly (readonly [label: string, value: string | HTMLElement])[]): HTMLElement;
+export declare function captionRow(text: string, trailing?: HTMLElement | string): HTMLElement;
+export declare function badge(text: string): HTMLElement;
+export declare function boneRows(count: number): HTMLElement;
+export declare function note(text: string): HTMLElement;
+export declare function recordOf(value: unknown): Record<string, unknown> | null;
+export declare function stringOf(value: unknown): string | null;
+export declare function statelessToolView(render: (props: ToolViewProps) => HTMLElement): ToolViewAdapter;
+export declare function settledWithResult(call: ToolViewCall): boolean;
+export declare function settledOutcomeNotesOf(call: ToolViewCall): HTMLElement[];
+export declare function settledOutcomeNoteOf(call: ToolViewCall): string | null;
+export interface ActionEnvelope {
+    status: number | null;
+    body: unknown;
+    truncated: boolean;
+}
+export declare function actionEnvelopeOf(resultText: string | undefined): ActionEnvelope | null;
+export interface ActionFailure {
+    message: string;
+    detail: {
+        status: number;
+        code: string;
+        fields: {
+            path: string;
+            message: string;
+        }[];
+        fieldsOmitted?: number;
+    } | null;
+}
+export declare function actionFailureOf(errorText: string | undefined): ActionFailure | null;
+export declare function humanFailureSentenceOf(errorText: string): string;
+export declare function fileGlyph(): SVGElement;