@inflexa-ai/harness 0.48.0 → 0.48.2

package/dist/contracts/chat-events.d.ts

@@ -67,6 +67,38 @@ export type ToolCallOutcome = ToolOutcome | "incomplete";
  * when the detail could not be produced.
  */
 export type ToolCallDetail = string;
+/**
+ * One shown text of a tool call value. The harness removes the control characters and each listed secret form from
+ * the text, and it cuts a text over its cap. `cut` is true when the cap cut the text.
+ *
+ * - `text`: plain text.
+ * - `json`: the JSON text of a value. A host can parse it only when `cut` is false, because a cut text is not valid JSON.
+ * - `code`: source code in `language`.
+ */
+export type ToolCallLeaf = {
+    kind: "text";
+    text: string;
+    cut: boolean;
+} | {
+    kind: "json";
+    text: string;
+    cut: boolean;
+} | {
+    kind: "code";
+    language: string;
+    text: string;
+    cut: boolean;
+};
+/**
+ * The shown value of a tool call: its input, its result, or its error. A host selects a renderer from `kind`.
+ * `fields` holds an ordered list of at most 4 named leaves, and a leaf never holds a `fields` value.
+ */
+export type ToolCallValue = ToolCallLeaf | {
+    kind: "fields";
+    fields: Array<{
+        name: string;
+    } & ToolCallLeaf>;
+};
 /**
  * A sub-agent loop started a request to its model. Only a sub-agent gives this frame, thus a consumer that
  * keeps the root frames only (`isRootFrame`) never sees it. A host reads it as "the sub-agent thinks".
@@ -84,6 +116,8 @@ export type ToolStartedEvent = {
     name: string;
     /** See {@link ToolCallDetail}. Absent — never empty — when none was produced. */
     detail?: ToolCallDetail;
+    /** See {@link ToolCallValue}. The input of the call. */
+    input?: ToolCallValue;
     source: EventSource;
 };
 /** A tool call has resolved. */
@@ -109,6 +143,12 @@ export type ToolFinishedEvent = {
      * it dispatches anything. Thus the fallback is correct only for one call.
      */
     durationMs?: number;
+    /** See {@link ToolCallValue}. The input again, because a replay of a tool step does not give its `tool-started`. */
+    input?: ToolCallValue;
+    /** The value of a call with the outcome `ok`. */
+    result?: ToolCallValue;
+    /** The error text of a call with the outcome `error`. */
+    error?: ToolCallValue;
     source: EventSource;
 };
 /**

package/dist/contracts/chat-frame.js

@@ -50,6 +50,7 @@ export function toChatFrame(event, fallbackSource) {
                 toolUseId: event.toolUseId,
                 name: event.name,
                 detail: event.detail,
+                input: event.input,
                 source: toSource(event.source),
             };
         case "tool-finished":
@@ -60,6 +61,9 @@ export function toChatFrame(event, fallbackSource) {
                 outcome: event.outcome,
                 detail: event.detail,
                 durationMs: event.durationMs,
+                input: event.input,
+                result: event.result,
+                error: event.error,
                 source: toSource(event.source),
             };
         case "text-delta":
@@ -161,6 +165,7 @@ function applyPartFrame(parts, frame) {
                     toolCallId: frame.toolUseId,
                     toolName: frame.name,
                     detail: frame.detail,
+                    input: frame.input,
                 },
             ];
         case "tool-finished": {
@@ -174,6 +179,12 @@ function applyPartFrame(parts, frame) {
                 finished.detail = frame.detail;
             if (frame.durationMs !== undefined)
                 finished.durationMs = frame.durationMs;
+            if (frame.input !== undefined)
+                finished.input = frame.input;
+            if (frame.result !== undefined)
+                finished.result = frame.result;
+            if (frame.error !== undefined)
+                finished.error = frame.error;
             const started = parts.some((p) => p.type === "tool-call" && p.toolCallId === frame.toolUseId);
             if (!started) {
                 // The stored transcript keeps a call whose start never arrived, thus a live view keeps it too.

package/dist/contracts/index.d.ts

@@ -3,7 +3,7 @@ export type { OrganSystem } from "./organ-system.js";
 export { SEVERITIES, SeveritySchema } from "./severity.js";
 export type { Severity } from "./severity.js";
 export type { PlanStep, PresentationContent, PresentationPart, PlanPart, RunCardPart, PlanApprovalPart, FileReferenceEntry, FileReferencePart, AskPart, RunStartedPart, StepStatus, DagStepState, PlanGraphStep, DagStatePart, StepPhase, StepActivityPart, ActivityEntryPart, SubAgentActivityEntry, SubAgentActivityPart, FileTreeEntry, StepFileTreePart, StepOutputFile, StepOutputPart, StepSummaryPart, StepUsagePart, StepBlockedPart, FindingReference, SynthesizedFinding, BiologicalTheme, RunSynthesisPart, SynthesisPhase, SynthesisProgressPart, RunCompletedFinding, RunCompletedPart, RunFailedPart, ChildSessionStartedPart, ReportRenderedPart, CompactionPart, PauseCause, WorkKind, PausePart, ModelRetryPart, ChatPart, KnownChatPart, } from "./chat-parts.js";
-export type { EventSource, TextDeltaEvent, IterationEvent, ToolStartedEvent, ToolFinishedEvent, FinishEvent, ChatErrorEvent, MessageStartEvent, ChatEvent, ChatFrame, ChatPartFrame, } from "./chat-events.js";
+export type { EventSource, TextDeltaEvent, IterationEvent, ToolStartedEvent, ToolFinishedEvent, ToolCallLeaf, ToolCallValue, FinishEvent, ChatErrorEvent, MessageStartEvent, ChatEvent, ChatFrame, ChatPartFrame, } from "./chat-events.js";
 export type { TokenUsageRollup } from "./usage.js";
 export { DATA_PROFILE_RUN_LITERAL } from "./data-profile.js";
 export type { DataProfileAxis, DataProfileChecked, DataProfileCompanionCompleteness, DataProfileCoverage, DataProfileDimension, DataProfileFile, DataProfileGroup, DataProfileGroupSlot, DataProfileInputSignature, DataProfileKind, DataProfileLifecycleStatus, DataProfileMemberAnnotation, DataProfileObservation, DataProfileOrganism, DataProfilePartition, DataProfileProbeReport, DataProfileQualityAssessment, DataProfileQuarantine, DataProfileRecipeStep, DataProfileResult, DataProfileSubjectSource, } from "./data-profile.js";

package/dist/contracts/message.d.ts

@@ -6,7 +6,7 @@
  * discriminant is `type`, so `switch (part.type) { case "data-child-session-started": ... }`
  * narrows the union member without any `as` cast.
  */
-import type { ToolCallDetail, ToolCallOutcome } from "./chat-events.js";
+import type { ToolCallDetail, ToolCallOutcome, ToolCallValue } from "./chat-events.js";
 import type { ChatPart } from "./chat-parts.js";
 import type { TokenUsageRollup } from "./usage.js";
 /** A plain assistant/user text run. */
@@ -40,6 +40,12 @@ export type ToolCallPart = {
     detail?: ToolCallDetail;
     /** The time in milliseconds around the dispatch of the call, from `tool-finished`. Absent when no measurement was taken. */
     durationMs?: number;
+    /** See {@link ToolCallValue}. Absent when the tool declares no input view, and in a row stored without one. */
+    input?: ToolCallValue;
+    /** The shown result of a call with the outcome `ok`. Absent when the tool declares no result view, for each other outcome, and in a row stored without one. */
+    result?: ToolCallValue;
+    /** The shown error of a call with the outcome `error`. Absent when the tool declares no error view, for each other outcome, and in a row stored without one. */
+    error?: ToolCallValue;
 };
 /** The discriminated union of every part the chat path can carry. */
 export type MessagePart = TextPart | ToolCallPart | ChatPart;

package/dist/contracts/schemas/chat-events.d.ts

@@ -37,11 +37,99 @@ export declare const ToolCallOutcomeSchema: z.ZodEnum<{
     incomplete: "incomplete";
     ok: "ok";
 }>;
+/** The most named leaves that a `fields` value holds. */
+export declare const TOOL_CALL_FIELDS_MAX = 4;
+/** A field name has 1 to 40 characters of letters, digits, `_`, and `-`. */
+export declare const ToolCallFieldNameSchema: z.ZodString;
+/** A language has 1 to 20 characters of lowercase letters, digits, `+`, `#`, `.`, and `-`. */
+export declare const ToolCallLanguageSchema: z.ZodString;
+/** Mirrors `ToolCallLeaf`. */
+export declare const ToolCallLeafSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"text">;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"json">;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"code">;
+    language: z.ZodString;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>], "kind">;
+/** Mirrors `ToolCallValue`. A `fields` value holds 1 to 4 leaves and no `fields` value. */
+export declare const ToolCallValueSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"text">;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"json">;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"code">;
+    language: z.ZodString;
+    text: z.ZodString;
+    cut: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"fields">;
+    fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+        name: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+        name: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+        name: z.ZodString;
+    }, z.core.$strip>], "kind">>;
+}, z.core.$strip>], "kind">;
 export declare const ToolStartedEventSchema: z.ZodObject<{
     type: z.ZodLiteral<"tool-started">;
     toolUseId: z.ZodString;
     name: z.ZodString;
     detail: z.ZodOptional<z.ZodString>;
+    input: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
     source: z.ZodObject<{
         agentId: z.ZodString;
         callPath: z.ZodArray<z.ZodString>;
@@ -59,6 +147,105 @@ export declare const ToolFinishedEventSchema: z.ZodObject<{
     }>;
     detail: z.ZodOptional<z.ZodString>;
     durationMs: z.ZodOptional<z.ZodNumber>;
+    input: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
+    result: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
+    error: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
     source: z.ZodObject<{
         agentId: z.ZodString;
         callPath: z.ZodArray<z.ZodString>;
@@ -137,6 +324,39 @@ export declare const ChatEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     toolUseId: z.ZodString;
     name: z.ZodString;
     detail: z.ZodOptional<z.ZodString>;
+    input: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
     source: z.ZodObject<{
         agentId: z.ZodString;
         callPath: z.ZodArray<z.ZodString>;
@@ -153,6 +373,105 @@ export declare const ChatEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     }>;
     detail: z.ZodOptional<z.ZodString>;
     durationMs: z.ZodOptional<z.ZodNumber>;
+    input: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
+    result: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
+    error: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"text">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"json">;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"code">;
+        language: z.ZodString;
+        text: z.ZodString;
+        cut: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"fields">;
+        fields: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"text">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"json">;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"code">;
+            language: z.ZodString;
+            text: z.ZodString;
+            cut: z.ZodBoolean;
+            name: z.ZodString;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>], "kind">>;
     source: z.ZodObject<{
         agentId: z.ZodString;
         callPath: z.ZodArray<z.ZodString>;

package/dist/contracts/schemas/chat-events.js

@@ -21,11 +21,37 @@ export const IterationEventSchema = z.object({
 export const ToolOutcomeSchema = z.enum(["ok", "error", "denied"]);
 /** Mirrors `ToolCallOutcome` — the live three plus the record-only `incomplete`. */
 export const ToolCallOutcomeSchema = z.enum(["ok", "error", "denied", "incomplete"]);
+/** The most named leaves that a `fields` value holds. */
+export const TOOL_CALL_FIELDS_MAX = 4;
+/** A field name has 1 to 40 characters of letters, digits, `_`, and `-`. */
+// oxlint-disable-next-line eslint-js/no-restricted-syntax -- a bounded character class has no zod builtin.
+export const ToolCallFieldNameSchema = z.string().regex(/^[A-Za-z0-9_-]{1,40}$/);
+/** A language has 1 to 20 characters of lowercase letters, digits, `+`, `#`, `.`, and `-`. */
+// oxlint-disable-next-line eslint-js/no-restricted-syntax -- a bounded character class has no zod builtin.
+export const ToolCallLanguageSchema = z.string().regex(/^[a-z0-9+#.-]{1,20}$/);
+const TextLeafShape = { kind: z.literal("text"), text: z.string(), cut: z.boolean() };
+const JsonLeafShape = { kind: z.literal("json"), text: z.string(), cut: z.boolean() };
+const CodeLeafShape = { kind: z.literal("code"), language: ToolCallLanguageSchema, text: z.string(), cut: z.boolean() };
+/** Mirrors `ToolCallLeaf`. */
+export const ToolCallLeafSchema = z.discriminatedUnion("kind", [z.object(TextLeafShape), z.object(JsonLeafShape), z.object(CodeLeafShape)]);
+const ToolCallFieldSchema = z.discriminatedUnion("kind", [
+    z.object({ name: ToolCallFieldNameSchema, ...TextLeafShape }),
+    z.object({ name: ToolCallFieldNameSchema, ...JsonLeafShape }),
+    z.object({ name: ToolCallFieldNameSchema, ...CodeLeafShape }),
+]);
+/** Mirrors `ToolCallValue`. A `fields` value holds 1 to 4 leaves and no `fields` value. */
+export const ToolCallValueSchema = z.discriminatedUnion("kind", [
+    z.object(TextLeafShape),
+    z.object(JsonLeafShape),
+    z.object(CodeLeafShape),
+    z.object({ kind: z.literal("fields"), fields: z.array(ToolCallFieldSchema).min(1).max(TOOL_CALL_FIELDS_MAX) }),
+]);
 export const ToolStartedEventSchema = z.object({
     type: z.literal("tool-started"),
     toolUseId: z.string(),
     name: z.string(),
     detail: z.string().optional(),
+    input: ToolCallValueSchema.optional(),
     source: EventSourceSchema,
 });
 export const ToolFinishedEventSchema = z.object({
@@ -36,6 +62,9 @@ export const ToolFinishedEventSchema = z.object({
     detail: z.string().optional(),
     /** Optional and absent when unmeasured — never a zero in place of a figure. */
     durationMs: z.number().optional(),
+    input: ToolCallValueSchema.optional(),
+    result: ToolCallValueSchema.optional(),
+    error: ToolCallValueSchema.optional(),
     source: EventSourceSchema,
 });
 export const FinishEventSchema = z.object({

package/dist/execution/run-synthesis.js

@@ -237,6 +237,7 @@ function buildSubmitTool(ctx) {
             "path and call again, or switch to report_blocker if the synthesis " +
             "cannot be made valid. The last accepted submission is the synthesis.",
         inputSchema: z.object({ synthesis: SynthesisDraftSchema }),
+        view: "none",
         describeCall: "none",
         execute: (input) => {
             const issues = semanticCheck(input.synthesis, ctx);

package/dist/index.d.ts

@@ -55,6 +55,8 @@ export { defineTool, isToolError } from "./tools/define-tool.js";
 export { createHttpKnowledgeClient, createKnowledgeRecommendTool, createKnowledgeCheckTool, createKnowledgeTools, knowledgeToolDefinitionHash, } from "./tools/knowledge/index.js";
 export type { KnowledgeClient, KnowledgeSituation, HttpKnowledgeClientConfig } from "./tools/knowledge/index.js";
 export type { Tool, ToolDefinition, ToolContext, ToolError } from "./tools/define-tool.js";
+export { viewText, viewJson, viewCode, viewFields } from "./tools/tool-view.js";
+export type { ToolCallView, ViewText, ViewJson, ViewCode, ViewFields, ViewLeaf, ViewValue } from "./tools/tool-view.js";
 export { normalizeDetail, DETAIL_MAX_LENGTH } from "./loop/tool-detail.js";
 export { createCitationResolver } from "./citations/resolve.js";
 export type { CitationResolverConfig, CitationResolverDependencies, CitationResolverSourceConfig } from "./citations/resolve.js";
@@ -99,7 +101,7 @@ export type { ConversationDisplayRecorder, ConversationDisplayRecorderOptions }
 export { envelopeDisplayMessages, parseStoredDisplayEnvelope } from "./memory/conversation-display-storage.js";
 export type { ConversationDisplayMetadata, ConversationUIData, ConversationUIMessage, StoredDisplayEnvelope } from "./memory/conversation-display-storage.js";
 export { storedMessagesToChat } from "./memory/conversation-display-replay.js";
-export type { ChatEvent, ChatFrame, ChatPartFrame, TextDeltaEvent, IterationEvent, ToolStartedEvent, ToolFinishedEvent, ToolOutcome, ToolCallOutcome, ToolCallDetail, FinishEvent, ChatErrorEvent, MessageStartEvent, } from "./contracts/chat-events.js";
+export type { ChatEvent, ChatFrame, ChatPartFrame, TextDeltaEvent, IterationEvent, ToolStartedEvent, ToolFinishedEvent, ToolOutcome, ToolCallOutcome, ToolCallDetail, ToolCallLeaf, ToolCallValue, FinishEvent, ChatErrorEvent, MessageStartEvent, } from "./contracts/chat-events.js";
 export { toChatFrame, applyChatFrame, checkChatPart, isKnownPartFrame } from "./contracts/chat-frame.js";
 export { createSubAgentActivityTracker, SUBAGENT_ACTIVITY_MAX_ENTRIES } from "./contracts/subagent-activity.js";
 export type { SubAgentActivityTracker } from "./contracts/subagent-activity.js";
@@ -190,8 +192,8 @@ export { planGraphOf } from "./workflows/plan/graph.js";
 export { planPartOf } from "./memory/card-builders.js";
 export { validatePlan } from "./schemas/validate-plan.js";
 export type { ValidationResult } from "./schemas/validate-plan.js";
-export { upsertPlan, loadPlan, loadPlanRecord } from "./state/plans.js";
-export type { UpsertPlanInput, PlanRecord } from "./state/plans.js";
+export { upsertPlan, loadPlan, loadPlanRecord, queryPlanPage } from "./state/plans.js";
+export type { UpsertPlanInput, PlanRecord, PlanPage, PlanPageEntry } from "./state/plans.js";
 export { insertRun, reserveRunById, queryActiveRun, queryActiveRunsByAnalysis, updateRunStatus, markRunCanceledIfActive, queryRun, queryRunsByAnalysis, countRunsByAnalysis, queryRunIdsByPlan, RunDedupCollisionError, RunIdentityCollisionError, } from "./state/runs.js";
 export type { InsertRunInput, RunReservation } from "./state/runs.js";
 export { queryStepsByRun, countStepsByRuns } from "./state/step-executions.js";

package/dist/index.js

@@ -73,6 +73,7 @@ export { defineTool, isToolError } from "./tools/define-tool.js";
 // (or none), and it can hand `knowledge_recommend` to the conversation agent
 // through `hostTools`.
 export { createHttpKnowledgeClient, createKnowledgeRecommendTool, createKnowledgeCheckTool, createKnowledgeTools, knowledgeToolDefinitionHash, } from "./tools/knowledge/index.js";
+export { viewText, viewJson, viewCode, viewFields } from "./tools/tool-view.js";
 // Tool-call-detail authoring aids for an embedder that contributes a host tool.
 // A `describeCall` hook that pre-empts truncation — a count in place of a
 // mid-value cut that would name a file that does not exist — must gate on the
@@ -293,7 +294,7 @@ export { validatePlan } from "./schemas/validate-plan.js";
 // Plan + run + step ledgers around a trigger. `upsertPlan` takes a
 // caller-derived id and inserts-if-absent (the deterministic-id intake path);
 // the run-state calls mirror the chat trigger's reserve → dedup → status flow.
-export { upsertPlan, loadPlan, loadPlanRecord } from "./state/plans.js";
+export { upsertPlan, loadPlan, loadPlanRecord, queryPlanPage } from "./state/plans.js";
 export { insertRun, reserveRunById, queryActiveRun, queryActiveRunsByAnalysis, updateRunStatus, markRunCanceledIfActive, queryRun, queryRunsByAnalysis, countRunsByAnalysis, queryRunIdsByPlan, RunDedupCollisionError, RunIdentityCollisionError, } from "./state/runs.js";
 // The step ledger reads of a run, and the step counts of each run of a list in one statement.
 export { queryStepsByRun, countStepsByRuns } from "./state/step-executions.js";

package/dist/input-sanitization.d.ts

@@ -3,8 +3,14 @@
  * What runs is exactly what is declared here.
  *
  * `normalizeUnicode` and `redactSecrets` are applied once to the incoming user
- * message by the chat route (change 6), and never to assistant messages or tool
- * results. `stripNulCharacters` is the exception — it applies to tool results.
+ * message by the chat route, and never to assistant messages or to the result
+ * that a tool gives the model. `stripNulCharacters` is the exception — it
+ * applies to tool results.
+ *
+ * `redactSecretForms`, `redactSecretFields`, and `redactSecretAssignments` are
+ * the value-only rules: only the shown values of a tool call (`loop/tool-value.ts`)
+ * get them. They are name-based rules that would mark prose and sequences in a
+ * user message. The model reads the unchanged result.
  */
 /**
  * NFC-normalize and strip control characters.
@@ -30,3 +36,25 @@ export declare function stripNulCharacters(text: string): string;
  * 40-residue protein sequence passes through unchanged.
  */
 export declare function redactSecrets(text: string): string;
+/**
+ * A copy of a JSON value in which the value of each object field with a secret name is the redaction marker. The
+ * walk goes to each depth, thus the `GITHUB_TOKEN` field of an `env` object is found. An array applies the rule of
+ * {@link redactArgvValues} to its strings. The rule belongs to the values of a tool call only. `redactSecrets` stays
+ * free of any name-based rule, because a user message holds prose and sequences that such a rule would mark.
+ */
+export declare function redactSecretFields(value: unknown): unknown;
+/**
+ * Replace the value of each `NAME=value` assignment and of each quoted `"name": value` field whose name ends with a
+ * secret word. A caller runs it on a plain text or on one string of a JSON value, never on serialized JSON, because a
+ * JSON escape hides the quotes that the rules read. It runs on the text of a tool call value only. See
+ * {@link redactSecretFields}.
+ */
+export declare function redactSecretAssignments(text: string): string;
+/**
+ * Replace the secret that each of these forms holds: a private-key block, the password of a URL, the password of a
+ * `-u user:password` option, the value of a `Cookie` header, the value of a `--name value` flag, the value of a
+ * `name: value` pair, and each form of {@link redactSecretAssignments}. A name must end with a secret word.
+ * It covers these forms only: a text can hold a secret in a different form. It runs on the text of a tool call value
+ * only, on a plain text or on one string of a JSON value.
+ */
+export declare function redactSecretForms(text: string): string;