@theoremjs/react 0.3.0 → 0.3.1

package/ui/labels.d.ts

@@ -3,13 +3,13 @@
  * the same mechanism that words Astryx's own components (`@astryx.*`), so one
  * override table replaces any line on screen, per locale. Messages are ICU
  * (`{handle}`, `{n, plural, …}`); `params` names the values each one is given.
- * Failures are worded by the profile lexicon, not here.
+ * Failures are worded by the profile labels, not here.
  *
  * @module
  */
 import type { ComposerDrawerSummary } from '../client/composer-drawer.ts';
 import type { LiveState } from '../client/live/live-state.ts';
-import type { WorkStatus } from '../client/transcript-groups.ts';
+import type { TurnUsage, WorkStatus } from '../client/transcript-groups.ts';
 export declare const THEOREM_UI_CATALOG: {
     readonly '@theorem.agent.handle': {
         readonly defaultMessage: "@{handle}";
@@ -57,14 +57,6 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "More send options";
         readonly description: "Menu button beside send.";
     };
-    readonly '@theorem.composer.model': {
-        readonly defaultMessage: "Model";
-        readonly description: "Model selector (screen readers).";
-    };
-    readonly '@theorem.composer.effort': {
-        readonly defaultMessage: "Effort";
-        readonly description: "Effort selector (screen readers).";
-    };
     readonly '@theorem.composer.menu.queue': {
         readonly defaultMessage: "Queue";
         readonly description: "Send menu item.";
@@ -193,6 +185,10 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "now";
         readonly description: "Message time during its first minute.";
     };
+    readonly '@theorem.transcript.failed': {
+        readonly defaultMessage: "failed";
+        readonly description: "Message status: the turn failed. The reason shows on hover.";
+    };
     readonly '@theorem.transcript.generated_image': {
         readonly defaultMessage: "Generated image";
         readonly description: "Alt text for a generated image.";
@@ -229,13 +225,18 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "Error";
         readonly description: "A failed tool call's failure, in its detail.";
     };
+    readonly '@theorem.transcript.tokens': {
+        readonly defaultMessage: "{count, plural, one {# token} other {# tokens}}";
+        readonly description: "Tokens a reply used, under it, or an agent tool's called agent used, on its call row.";
+        readonly params: readonly ["count"];
+    };
     readonly '@theorem.data.view': {
         readonly defaultMessage: "View as";
         readonly description: "Switch between tool data drawn by its shape and its JSON.";
     };
     readonly '@theorem.data.shaped': {
         readonly defaultMessage: "Data";
-        readonly description: "Tool data drawn as fields, sections and tables.";
+        readonly description: "Tool data drawn as fields, sections, and tables.";
     };
     readonly '@theorem.data.json': {
         readonly defaultMessage: "JSON";
@@ -320,62 +321,33 @@ export declare const THEOREM_UI_CATALOG: {
         readonly description: "Minutes and seconds.";
         readonly params: readonly ["minutes", "seconds"];
     };
-    readonly '@theorem.gate.approval.badge': {
-        readonly defaultMessage: "Approval required";
-        readonly description: "Tool approval card badge.";
-    };
     readonly '@theorem.gate.approval.title': {
-        readonly defaultMessage: "Tool:";
-        readonly description: "Before the tool name on the approval card.";
+        readonly defaultMessage: "{agent} wants to {request}";
+        readonly description: "Approval card heading. {agent} is the agent's handle; {request} is what the call would do, e.g. 'check the weather'.";
+        readonly params: readonly ["agent", "request"];
+    };
+    readonly '@theorem.gate.approval.title_no_agent': {
+        readonly defaultMessage: "The agent wants to {request}";
+        readonly description: "Approval card heading when the host names no agent.";
+        readonly params: readonly ["request"];
+    };
+    readonly '@theorem.gate.approval.use_tool': {
+        readonly defaultMessage: "use {tool}";
+        readonly description: "The {request} in the heading when the tool sets no labels.request. {tool} is the tool's name in words.";
+        readonly params: readonly ["tool"];
     };
     readonly '@theorem.gate.approval.input': {
-        readonly defaultMessage: "Input arguments";
+        readonly defaultMessage: "Details";
         readonly description: "Expands the arguments the tool would run with.";
     };
     readonly '@theorem.gate.approval.deny': {
-        readonly defaultMessage: "Deny";
+        readonly defaultMessage: "Reject";
         readonly description: "Approval card button.";
     };
     readonly '@theorem.gate.approval.approve': {
         readonly defaultMessage: "Approve";
         readonly description: "Approval card button.";
     };
-    readonly '@theorem.gate.approval.denied': {
-        readonly defaultMessage: "Denied";
-        readonly description: "After denying.";
-    };
-    readonly '@theorem.gate.approval.approved_session': {
-        readonly defaultMessage: "Approved for this session";
-        readonly description: "After approving a tool whose consent lasts the session.";
-    };
-    readonly '@theorem.gate.approval.approved_once': {
-        readonly defaultMessage: "Approved once";
-        readonly description: "After approving a single run.";
-    };
-    readonly '@theorem.gate.tag.confirmation': {
-        readonly defaultMessage: "confirmation";
-        readonly description: "Gate kind tag.";
-    };
-    readonly '@theorem.gate.tag.permission': {
-        readonly defaultMessage: "permission";
-        readonly description: "Gate kind tag.";
-    };
-    readonly '@theorem.gate.tag.auth': {
-        readonly defaultMessage: "auth";
-        readonly description: "Gate kind tag.";
-    };
-    readonly '@theorem.gate.tag.auto': {
-        readonly defaultMessage: "auto";
-        readonly description: "Tool permission tag.";
-    };
-    readonly '@theorem.gate.tag.session_consent': {
-        readonly defaultMessage: "session_consent";
-        readonly description: "Tool permission tag.";
-    };
-    readonly '@theorem.gate.tag.always_confirm': {
-        readonly defaultMessage: "always_confirm";
-        readonly description: "Tool permission tag.";
-    };
     readonly '@theorem.gate.tag.bearer': {
         readonly defaultMessage: "bearer";
         readonly description: "Credential type tag.";
@@ -388,13 +360,10 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "oauth2";
         readonly description: "Credential type tag.";
     };
-    readonly '@theorem.gate.auth.badge': {
-        readonly defaultMessage: "Sign-in required";
-        readonly description: "Credential card badge.";
-    };
     readonly '@theorem.gate.auth.title': {
-        readonly defaultMessage: "Authentication:";
-        readonly description: "Before the tool name on the credential card.";
+        readonly defaultMessage: "Sign in to use {tool}";
+        readonly description: "Credential card heading. {tool} is the tool's name in words.";
+        readonly params: readonly ["tool"];
     };
     readonly '@theorem.gate.auth.resource': {
         readonly defaultMessage: "Resource: {resource}";
@@ -429,7 +398,7 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.gate.auth.secret_note': {
         readonly defaultMessage: " ";
-        readonly description: "Under the secret field: how the host handles the credential. Blank by default, since only the host knows; the playground says it is used for one call.";
+        readonly description: "Under the secret field: how the host handles the credential. Blank by default, since only the host knows; the studio says it is used for one call.";
     };
     readonly '@theorem.gate.auth.submit': {
         readonly defaultMessage: "Submit & continue";
@@ -503,6 +472,10 @@ export declare const THEOREM_UI_CATALOG: {
         readonly description: "The state is larger than the profile's limit.";
         readonly params: readonly ["limit"];
     };
+    readonly '@theorem.decision.answers': {
+        readonly defaultMessage: "Answers";
+        readonly description: "The decision response column.";
+    };
     readonly '@theorem.decision.decide': {
         readonly defaultMessage: "Decide";
         readonly description: "Asks the questions about the state.";
@@ -542,11 +515,291 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "Noul";
         readonly description: "A question answered with one number.";
     };
+    readonly '@theorem.decision.type.box': {
+        readonly defaultMessage: "Box";
+        readonly description: "A question answered with one box in an image.";
+    };
+    readonly '@theorem.decision.box_edges': {
+        readonly defaultMessage: "Left {left}, top {top}, right {right}, bottom {bottom}";
+        readonly description: "Where a box sits in its image, each edge as a share of the image from its top-left corner.";
+        readonly params: readonly ["left", "top", "right", "bottom"];
+    };
+    readonly '@theorem.decision.add_image': {
+        readonly defaultMessage: "Add an image";
+        readonly description: "The drop area under the state: each image dropped or chosen becomes a state field.";
+    };
+    readonly '@theorem.decision.add_image_hint': {
+        readonly defaultMessage: "Drop a PNG or JPEG, or choose one. It becomes a field the questions can name.";
+        readonly description: "What the drop area under the state says it does.";
+    };
+    readonly '@theorem.decision.replace_image': {
+        readonly defaultMessage: "Replace";
+        readonly description: "An image field's file input, which swaps in another PNG or JPEG.";
+    };
+    readonly '@theorem.decision.image_bad': {
+        readonly defaultMessage: "{file} is not a PNG or JPEG.";
+        readonly description: "A file attached as an image that is neither.";
+        readonly params: readonly ["file"];
+    };
+    readonly '@theorem.decision.edit_question': {
+        readonly defaultMessage: "Edit {question}";
+        readonly description: "The button on an answer that opens its question where it is set up. The page shows it only when it can.";
+        readonly params: readonly ["question"];
+    };
+    readonly '@theorem.decision.box_in': {
+        readonly defaultMessage: "The box, cut from the image";
+        readonly description: "The alt text of the part of the image a box answer covers.";
+    };
+    readonly '@theorem.decision.open_box': {
+        readonly defaultMessage: "See the box in the whole image";
+        readonly description: "The cut-out box on an answer, which opens the whole image with the box outlined.";
+    };
+    readonly '@theorem.decision.box_marked': {
+        readonly defaultMessage: "The whole image, the box outlined and the rest shaded";
+        readonly description: "The alt text of the whole image a box answer opens.";
+    };
     readonly '@theorem.decision.tokens': {
         readonly defaultMessage: "{count, plural, one {# token} other {# tokens}}";
         readonly description: "Input tokens the decision used, in the line under the answers.";
         readonly params: readonly ["count"];
     };
+    readonly '@theorem.embedding.documents': {
+        readonly defaultMessage: "Documents";
+        readonly description: "What a search looks through: the texts and files to embed (card title).";
+    };
+    readonly '@theorem.embedding.document': {
+        readonly defaultMessage: "Document {number}";
+        readonly description: "One document, by its place in the list.";
+        readonly params: readonly ["number"];
+    };
+    readonly '@theorem.embedding.text': {
+        readonly defaultMessage: "Text";
+        readonly description: "Text to split into documents (field label).";
+    };
+    readonly '@theorem.embedding.text_placeholder': {
+        readonly defaultMessage: "Paste text to search through";
+        readonly description: "The empty text field on the documents card.";
+    };
+    readonly '@theorem.embedding.split': {
+        readonly defaultMessage: "Split by";
+        readonly description: "Where the text is cut into documents (field label).";
+    };
+    readonly '@theorem.embedding.split_whole': {
+        readonly defaultMessage: "Nothing: one document";
+        readonly description: "The text is one document.";
+    };
+    readonly '@theorem.embedding.split_lines': {
+        readonly defaultMessage: "Lines";
+        readonly description: "Each line of the text is a document.";
+    };
+    readonly '@theorem.embedding.split_paragraphs': {
+        readonly defaultMessage: "Paragraphs";
+        readonly description: "Each run of text between blank lines is a document.";
+    };
+    readonly '@theorem.embedding.split_commas': {
+        readonly defaultMessage: "Commas";
+        readonly description: "Each piece of the text between commas is a document.";
+    };
+    readonly '@theorem.embedding.split_custom': {
+        readonly defaultMessage: "A separator you type";
+        readonly description: "The text is cut wherever a separator of the user’s own appears.";
+    };
+    readonly '@theorem.embedding.separator': {
+        readonly defaultMessage: "Separator";
+        readonly description: "The text the documents are cut at (field label).";
+    };
+    readonly '@theorem.embedding.files': {
+        readonly defaultMessage: "Files";
+        readonly description: "Adds files as documents (field label).";
+    };
+    readonly '@theorem.embedding.drop_files': {
+        readonly defaultMessage: "Drop files here, or click to upload";
+        readonly description: "The file field's prompt.";
+    };
+    readonly '@theorem.embedding.unreadable': {
+        readonly defaultMessage: "{name} couldn't be read.";
+        readonly description: "A chosen file the browser could not read.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.remove': {
+        readonly defaultMessage: "Remove {name}";
+        readonly description: "Takes a document off the list.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.from_file': {
+        readonly defaultMessage: "From {name}";
+        readonly description: "A document that is a piece of a text file, under its text.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.from_json': {
+        readonly defaultMessage: "From the JSON";
+        readonly description: "The documents of a pasted list, as a group.";
+    };
+    readonly '@theorem.embedding.group': {
+        readonly defaultMessage: "{source} · {count, plural, one {# document} other {# documents}}";
+        readonly description: "A group of documents from one source, above its first few.";
+        readonly params: readonly ["source", "count"];
+    };
+    readonly '@theorem.embedding.held_file': {
+        readonly defaultMessage: "Held by the provider";
+        readonly description: "A file the provider already holds, referred to by address, beside its type.";
+    };
+    readonly '@theorem.embedding.more': {
+        readonly defaultMessage: "{count, plural, one {# more document} other {# more documents}}";
+        readonly description: "Documents past the ones the list shows.";
+        readonly params: readonly ["count"];
+    };
+    readonly '@theorem.embedding.invalid_json': {
+        readonly defaultMessage: "Not a list of documents: each is text, or an object with parts.";
+        readonly description: "The documents' JSON doesn't read as the inputs an embedding takes.";
+    };
+    readonly '@theorem.embedding.no_documents': {
+        readonly defaultMessage: "Add text or files to search through.";
+        readonly description: "There are no documents yet.";
+    };
+    readonly '@theorem.embedding.empty': {
+        readonly defaultMessage: "{name} is empty.";
+        readonly description: "A document or the query has no text and no file.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.text_off': {
+        readonly defaultMessage: "{name} has text, and this profile embeds files only.";
+        readonly description: "A document or the query has text the profile does not take.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.too_many': {
+        readonly defaultMessage: "One request takes at most {max} documents.";
+        readonly description: "A request holds more inputs than the profile's model takes in one call.";
+        readonly params: readonly ["max"];
+    };
+    readonly '@theorem.embedding.ready': {
+        readonly defaultMessage: "{count, plural, one {# document} other {# documents}} in {requests, plural, one {# request} other {# requests}}";
+        readonly description: "The documents are ready: how many, and how many requests the profile’s limits make them.";
+        readonly params: readonly ["count", "requests"];
+    };
+    readonly '@theorem.embedding.index': {
+        readonly defaultMessage: "Index";
+        readonly description: "Embeds the documents so they can be searched.";
+    };
+    readonly '@theorem.embedding.indexing': {
+        readonly defaultMessage: "Indexing…";
+        readonly description: "The index button while the documents are embedded.";
+    };
+    readonly '@theorem.embedding.indexing_progress': {
+        readonly defaultMessage: "Indexing {done}/{total}…";
+        readonly description: "The pane while the documents are embedded: the request in flight, of all of them.";
+        readonly params: readonly ["done", "total"];
+    };
+    readonly '@theorem.embedding.stop': {
+        readonly defaultMessage: "Stop";
+        readonly description: "Cancels the running index or search.";
+    };
+    readonly '@theorem.embedding.query': {
+        readonly defaultMessage: "Query";
+        readonly description: "What to search the documents for (card title).";
+    };
+    readonly '@theorem.embedding.query_placeholder': {
+        readonly defaultMessage: "What to search for";
+        readonly description: "The empty query field.";
+    };
+    readonly '@theorem.embedding.query_file': {
+        readonly defaultMessage: "Search with a file";
+        readonly description: "Adds a file to the query, such as an image to find documents like it.";
+    };
+    readonly '@theorem.embedding.query_invalid_json': {
+        readonly defaultMessage: "Not a query: text, or an object with parts.";
+        readonly description: "The query's JSON doesn't read as one embedding input.";
+    };
+    readonly '@theorem.embedding.stale': {
+        readonly defaultMessage: "The documents changed. Index them again.";
+        readonly description: "The documents differ from the ones last embedded.";
+    };
+    readonly '@theorem.embedding.remodelled': {
+        readonly defaultMessage: "The model changed. Index the documents again.";
+        readonly description: "The last query came from another model than the one the documents were embedded with.";
+    };
+    readonly '@theorem.embedding.search': {
+        readonly defaultMessage: "Search";
+        readonly description: "Embeds the query and ranks the documents by it.";
+    };
+    readonly '@theorem.embedding.searching': {
+        readonly defaultMessage: "Searching…";
+        readonly description: "The search button while the query is embedded.";
+    };
+    readonly '@theorem.embedding.results': {
+        readonly defaultMessage: "Results";
+        readonly description: "The index and the matches (heading).";
+    };
+    readonly '@theorem.embedding.indexed': {
+        readonly defaultMessage: "{count, plural, one {# document} other {# documents}}";
+        readonly description: "How many documents the index holds, its card’s figure.";
+        readonly params: readonly ["count"];
+    };
+    readonly '@theorem.embedding.view': {
+        readonly defaultMessage: "View";
+        readonly description: "Switches the index card between the space and the list of vectors.";
+    };
+    readonly '@theorem.embedding.space': {
+        readonly defaultMessage: "Space";
+        readonly description: "The index drawn in three dimensions, alike documents together.";
+    };
+    readonly '@theorem.embedding.list': {
+        readonly defaultMessage: "List";
+        readonly description: "The index as a list of documents and their vectors.";
+    };
+    readonly '@theorem.embedding.space_label': {
+        readonly defaultMessage: "{count, plural, one {# document} other {# documents}} drawn in three dimensions by where their vectors differ most: each document is joined to the one most like it when that pair is far more alike than the typical pair in this index, heavier the more alike, documents the lines connect share a colour, and three circles mark the planes of the axes.";
+        readonly description: "What the space shows, for screen readers.";
+        readonly params: readonly ["count"];
+    };
+    readonly '@theorem.embedding.space_query': {
+        readonly defaultMessage: "The query lands among its matches, with a line to each match far more alike than its typical document.";
+        readonly description: "What the space shows after a search, for screen readers.";
+    };
+    readonly '@theorem.embedding.space_off': {
+        readonly defaultMessage: "This browser can’t draw the space, so the vectors are listed.";
+        readonly description: "WebGL2 is unavailable, so the index card shows the list.";
+    };
+    readonly '@theorem.embedding.copy_vector': {
+        readonly defaultMessage: "Copy vector";
+        readonly description: "Copies one document's vector as JSON.";
+    };
+    readonly '@theorem.embedding.copy_vectors': {
+        readonly defaultMessage: "Copy all";
+        readonly description: "Copies every vector in the index as JSON, in document order.";
+    };
+    readonly '@theorem.embedding.copied': {
+        readonly defaultMessage: "Copied";
+        readonly description: "Right after copying a vector.";
+    };
+    readonly '@theorem.embedding.width': {
+        readonly defaultMessage: "{dimensions, plural, one {# dimension} other {# dimensions}}";
+        readonly description: "How wide a vector is, after its first values in the list.";
+        readonly params: readonly ["dimensions"];
+    };
+    readonly '@theorem.embedding.matches': {
+        readonly defaultMessage: "Matches";
+        readonly description: "The documents most like the query, best first (card title).";
+    };
+    readonly '@theorem.embedding.matches_shown': {
+        readonly defaultMessage: "Top {shown} of {count}";
+        readonly description: "The matches card lists the best documents only.";
+        readonly params: readonly ["shown", "count"];
+    };
+    readonly '@theorem.embedding.best': {
+        readonly defaultMessage: "Best: {name}";
+        readonly description: "The document most like the query, under the matches figure.";
+        readonly params: readonly ["name"];
+    };
+    readonly '@theorem.embedding.no_matches': {
+        readonly defaultMessage: "No document has a vector as wide as the query’s.";
+        readonly description: "The query and the documents were embedded by models of different widths.";
+    };
+    readonly '@theorem.embedding.tokens': {
+        readonly defaultMessage: "{count, plural, one {# token} other {# tokens}}";
+        readonly description: "Input tokens a call used, in the line under the results.";
+        readonly params: readonly ["count"];
+    };
     readonly '@theorem.host.tool': {
         readonly defaultMessage: "Tool";
         readonly description: "Picks which of the host’s tools to call (field label).";
@@ -604,38 +857,43 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "MCP";
         readonly description: "A tool served by an MCP server.";
     };
-    readonly '@theorem.host.access.read-only': {
-        readonly defaultMessage: "Read-only";
+    readonly '@theorem.tool.access.read-only': {
+        readonly defaultMessage: "Read only";
         readonly description: "A tool that only reads.";
     };
-    readonly '@theorem.host.access.read-write': {
-        readonly defaultMessage: "Read-write";
+    readonly '@theorem.tool.access.read-write': {
+        readonly defaultMessage: "Read and write";
         readonly description: "A tool that can change things.";
     };
-    readonly '@theorem.host.access.destructive': {
+    readonly '@theorem.tool.access.destructive': {
         readonly defaultMessage: "Destructive";
         readonly description: "A tool that can delete or overwrite.";
     };
     readonly '@theorem.host.status.running': {
-        readonly defaultMessage: "Running";
+        readonly defaultMessage: "running";
         readonly description: "A tool call in progress.";
     };
     readonly '@theorem.host.status.gate': {
-        readonly defaultMessage: "Waiting";
+        readonly defaultMessage: "waiting";
         readonly description: "A tool call paused on approval or sign-in.";
     };
     readonly '@theorem.host.status.complete': {
-        readonly defaultMessage: "Done";
+        readonly defaultMessage: "done";
         readonly description: "A tool call that returned.";
     };
     readonly '@theorem.host.status.error': {
-        readonly defaultMessage: "Failed";
+        readonly defaultMessage: "failed";
         readonly description: "A tool call that failed.";
     };
     readonly '@theorem.host.status.cancel': {
-        readonly defaultMessage: "Stopped";
+        readonly defaultMessage: "stopped";
         readonly description: "A tool call that was cancelled.";
     };
+    readonly '@theorem.host.finished': {
+        readonly defaultMessage: "{activity} in {duration}";
+        readonly description: "A finished tool call: what it did, and how long it took.";
+        readonly params: readonly ["activity", "duration"];
+    };
     readonly '@theorem.panel.trace.name': {
         readonly defaultMessage: "Trace";
         readonly description: "Trace side panel (screen readers).";
@@ -652,6 +910,11 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "Resize trace";
         readonly description: "Trace panel drag handle.";
     };
+    readonly '@theorem.panel.resize': {
+        readonly defaultMessage: "Resize {name}";
+        readonly description: "Drag handle for a named console panel.";
+        readonly params: readonly ["name"];
+    };
     readonly '@theorem.panel.trace.empty.title': {
         readonly defaultMessage: "No trace yet";
         readonly description: "Empty trace panel.";
@@ -682,7 +945,7 @@ export declare const THEOREM_UI_CATALOG: {
         readonly description: "Search field matching any text a span holds.";
     };
     readonly '@theorem.panel.trace.search.text.description': {
-        readonly defaultMessage: "Names, values and stored text.";
+        readonly defaultMessage: "Names, values, and stored text.";
         readonly description: "What the any-text search field matches.";
     };
     readonly '@theorem.panel.trace.no_match': {
@@ -695,7 +958,7 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.panel.trace.show_text': {
         readonly defaultMessage: "Show text";
-        readonly description: "Reveals stored text, JSON or messages.";
+        readonly description: "Reveals stored text, JSON, or messages.";
     };
     readonly '@theorem.panel.trace.hide_text': {
         readonly defaultMessage: "Hide text";
@@ -837,9 +1100,17 @@ export declare const THEOREM_UI_CATALOG: {
         readonly description: "A guardrail check: the tool the checked text came from.";
         readonly params: readonly ["tool"];
     };
+    readonly '@theorem.panel.trace.guardrails.tainted': {
+        readonly defaultMessage: "Tainted";
+        readonly description: "A guardrail check: a tool that writes or deletes was called after the turn read remote content.";
+    };
+    readonly '@theorem.panel.trace.guardrails.steered': {
+        readonly defaultMessage: "Steered";
+        readonly description: "A guardrail check: a tool that writes or deletes was called after the turn read remote content that looked like instructions.";
+    };
     readonly '@theorem.panel.trace.guardrails.detail': {
         readonly defaultMessage: "{checks, plural, one {# check} other {# checks}} · {flagged, plural, =0 {all passed} other {# acted}}";
-        readonly description: "Under the guardrail time: how many checks ran, and how many redacted, flagged or blocked.";
+        readonly description: "Under the guardrail time: how many checks ran, and how many redacted, flagged, or blocked.";
         readonly params: readonly ["checks", "flagged"];
     };
     readonly '@theorem.panel.trace.tokens.detail': {
@@ -849,7 +1120,7 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.panel.trace.time': {
         readonly defaultMessage: "Where the time went";
-        readonly description: "Bar splitting a turn into model, tool and other time.";
+        readonly description: "Bar splitting a turn into model, tool, and other time.";
     };
     readonly '@theorem.panel.trace.time.model': {
         readonly defaultMessage: "Model";
@@ -861,7 +1132,7 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.panel.trace.time.guardrails': {
         readonly defaultMessage: "Guardrails";
-        readonly description: "Time guardrail checks took: on the input, the stream and the answer.";
+        readonly description: "Time guardrail checks took: on the input, the stream, and the answer.";
     };
     readonly '@theorem.panel.trace.time.hooks': {
         readonly defaultMessage: "Hooks";
@@ -903,11 +1174,11 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.panel.trace.charts.turnTime': {
         readonly defaultMessage: "Time per turn";
-        readonly description: "Chart of each turn: its model, tool and other time stacked.";
+        readonly description: "Chart of each turn: its model, tool, and other time stacked.";
     };
     readonly '@theorem.panel.trace.charts.callTime': {
         readonly defaultMessage: "Time per call";
-        readonly description: "Chart of each tool call of a host's trace: its tool, check and hook time stacked.";
+        readonly description: "Chart of each tool call of a host's trace: its tool, check, and hook time stacked.";
     };
     readonly '@theorem.panel.trace.charts.turnTokens': {
         readonly defaultMessage: "Tokens per turn";
@@ -980,7 +1251,7 @@ export declare const THEOREM_UI_CATALOG: {
     };
     readonly '@theorem.panel.trace.details': {
         readonly defaultMessage: "All details";
-        readonly description: "A span's every attribute, event and link.";
+        readonly description: "A span's every attribute, event, and link.";
     };
     readonly '@theorem.panel.trace.close': {
         readonly defaultMessage: "Close";
@@ -1058,14 +1329,14 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "End call";
         readonly description: "Hangs up.";
     };
-    readonly '@theorem.live.controls': {
-        readonly defaultMessage: "Call controls";
-        readonly description: "The control toolbar (screen readers).";
-    };
     readonly '@theorem.live.new_session': {
         readonly defaultMessage: "New session";
         readonly description: "Captions divider between calls.";
     };
+    readonly '@theorem.live.controls': {
+        readonly defaultMessage: "Call controls";
+        readonly description: "The control toolbar (screen readers).";
+    };
     readonly '@theorem.live.camera_preview': {
         readonly defaultMessage: "Camera preview";
         readonly description: "Self-view (screen readers).";
@@ -1079,6 +1350,10 @@ export declare const THEOREM_UI_CATALOG: {
         readonly defaultMessage: "connecting";
         readonly description: "Call status.";
     };
+    readonly '@theorem.live.state.reconnecting': {
+        readonly defaultMessage: "reconnecting";
+        readonly description: "Call status: the call dropped and is being taken up again.";
+    };
     readonly '@theorem.live.state.requesting_mic': {
         readonly defaultMessage: "requesting mic";
         readonly description: "Call status.";
@@ -1108,7 +1383,7 @@ export declare const THEOREM_UI_CATALOG: {
         readonly description: "Call status.";
     };
 };
-/** The default UI's catalog: each line's default message, description and values. */
+/** The default UI's catalog: each line's default message, description, and values. */
 export type TheoremUiCatalog = typeof THEOREM_UI_CATALOG;
 /** Every line the default UI writes. */
 export type TheoremLabelKey = keyof TheoremUiCatalog;
@@ -1133,8 +1408,22 @@ export type TheoremLabels = {
 };
 /** A single kind is just its word ("queued"); a mix spells out each count ("2 queued · 1 attached"). */
 export declare function composerDrawerLabel(t: LabelText, summary: ComposerDrawerSummary): string;
+/** What a reply or a called agent used: its tokens, then its cost when the provider gave one. */
+export declare function usageLine(t: LabelText, locale: string, tokens: TurnUsage): string;
 /** Wall-clock duration, matching Seance's builder-trace formatter: "<0.1ms", "0.4ms", "850ms", "3.2s", "12s", "1m 5s". */
 export declare function workDuration(t: LabelText, durationMs: number): string;
+/** A console result's quiet line: model, time, tokens, and cost, leaving out what it lacks. */
+export declare function resultMeta(t: LabelText, usd: Intl.NumberFormat, result: {
+    model: string;
+    usage?: {
+        inputTokens?: number;
+        costUsd?: number;
+    };
+    elapsedMs?: number | null;
+    tokens: (count: number) => string;
+}): string;
+/** Whole-second ticker while a turn runs: "0s", "12s", "1m 5s". */
+export declare function liveDuration(t: LabelText, durationMs: number): string;
 /** "Working for 12s" while streaming (when the start is known), "Worked for 3.2s" after. */
 export declare function workStatusLabel(t: LabelText, status: WorkStatus | null): string;
 /** A live call's status line; `calling_tool` names the tool. */