@inflexa-ai/harness 0.48.1 → 0.48.3

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>;
@@ -72,6 +259,7 @@ export declare const FinishEventSchema: z.ZodObject<{
         callPath: z.ZodArray<z.ZodString>;
         invocationId: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
+    finishReason: z.ZodString;
     usage: z.ZodOptional<z.ZodObject<{
         inputTokens: z.ZodOptional<z.ZodNumber>;
         outputTokens: z.ZodOptional<z.ZodNumber>;
@@ -137,6 +325,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 +374,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>;
@@ -165,6 +485,7 @@ export declare const ChatEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         callPath: z.ZodArray<z.ZodString>;
         invocationId: z.ZodOptional<z.ZodString>;
     }, z.core.$strip>;
+    finishReason: z.ZodString;
     usage: z.ZodOptional<z.ZodObject<{
         inputTokens: z.ZodOptional<z.ZodNumber>;
         outputTokens: z.ZodOptional<z.ZodNumber>;

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,11 +62,15 @@ 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({
     type: z.literal("finish"),
     source: EventSourceSchema,
+    finishReason: z.string(),
     usage: TokenUsageRollupSchema.optional(),
     turnUsage: TokenUsageRollupSchema.optional(),
 });

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

@@ -625,6 +625,25 @@ export declare const PausePartSchema: z.ZodObject<{
     attempt: z.ZodOptional<z.ZodNumber>;
     retryAt: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
+/** Mirrors `ModelRefusalPart` without its `type`: the stored payload of the part. */
+export declare const ModelRefusalPayloadSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"fallback">;
+    model: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"stopped">;
+}, z.core.$strip>], "outcome">;
+export declare const ModelRefusalPartSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"fallback">;
+    model: z.ZodString;
+    type: z.ZodLiteral<"data-model-refusal">;
+}, z.core.$strip>, z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"stopped">;
+    type: z.ZodLiteral<"data-model-refusal">;
+}, z.core.$strip>], "outcome">;
 export declare const ModelRetryPartSchema: z.ZodObject<{
     type: z.ZodLiteral<"data-model-retry">;
     id: z.ZodString;
@@ -1090,4 +1109,13 @@ export declare const ChatPartSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     maxRetries: z.ZodNumber;
     retryAt: z.ZodString;
     status: z.ZodOptional<z.ZodNumber>;
-}, z.core.$strip>], "type">;
+}, z.core.$strip>, z.ZodDiscriminatedUnion<[z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"fallback">;
+    model: z.ZodString;
+    type: z.ZodLiteral<"data-model-refusal">;
+}, z.core.$strip>, z.ZodObject<{
+    id: z.ZodString;
+    outcome: z.ZodLiteral<"stopped">;
+    type: z.ZodLiteral<"data-model-refusal">;
+}, z.core.$strip>], "outcome">], "type">;

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

@@ -375,6 +375,15 @@ export const PausePartSchema = z.object({
     attempt: z.number().int().nonnegative().optional(),
     retryAt: z.string().optional(),
 });
+// ── Model refusal ───────────────────────────────────────────────────
+const ModelRefusalFallbackShape = { id: z.string(), outcome: z.literal("fallback"), model: z.string() };
+const ModelRefusalStoppedShape = { id: z.string(), outcome: z.literal("stopped") };
+/** Mirrors `ModelRefusalPart` without its `type`: the stored payload of the part. */
+export const ModelRefusalPayloadSchema = z.discriminatedUnion("outcome", [z.object(ModelRefusalFallbackShape), z.object(ModelRefusalStoppedShape)]);
+export const ModelRefusalPartSchema = z.discriminatedUnion("outcome", [
+    z.object({ type: z.literal("data-model-refusal"), ...ModelRefusalFallbackShape }),
+    z.object({ type: z.literal("data-model-refusal"), ...ModelRefusalStoppedShape }),
+]);
 // ── Model retry ─────────────────────────────────────────────────────
 export const ModelRetryPartSchema = z.object({
     type: z.literal("data-model-retry"),
@@ -428,4 +437,5 @@ export const ChatPartSchema = z.discriminatedUnion("type", [
     CompactionPartSchema,
     PausePartSchema,
     ModelRetryPartSchema,
+    ModelRefusalPartSchema,
 ]);

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,14 +101,14 @@ 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";
 export type { TextPart, ToolCallPart, MessagePart, ChatMessage } from "./contracts/message.js";
 export type { TurnTerminal, ApplyFrameResult, ChatPartCheck } from "./contracts/chat-frame.js";
 export type { TokenUsageRollup } from "./contracts/usage.js";
-export type { ChatPart, PresentationPart, PresentationContent, PlanPart, RunCardPart, PlanApprovalPart, FileReferencePart, FileReferenceEntry, RunStartedPart, DagStatePart, DagStepState, PlanGraphStep, StepStatus, StepActivityPart, ActivityEntryPart, SubAgentActivityEntry, SubAgentActivityPart, StepPhase, StepFileTreePart, FileTreeEntry, StepOutputPart, StepOutputFile, StepSummaryPart, StepUsagePart, StepBlockedPart, RunSynthesisPart, FindingReference, SynthesizedFinding, BiologicalTheme, SynthesisProgressPart, SynthesisPhase, RunCompletedPart, RunCompletedFinding, RunFailedPart, CompactionPart, PauseCause, WorkKind, PausePart, ModelRetryPart, AskPart, ChildSessionStartedPart, ReportRenderedPart, } from "./contracts/chat-parts.js";
+export type { ChatPart, PresentationPart, PresentationContent, PlanPart, RunCardPart, PlanApprovalPart, FileReferencePart, FileReferenceEntry, RunStartedPart, DagStatePart, DagStepState, PlanGraphStep, StepStatus, StepActivityPart, ActivityEntryPart, SubAgentActivityEntry, SubAgentActivityPart, StepPhase, StepFileTreePart, FileTreeEntry, StepOutputPart, StepOutputFile, StepSummaryPart, StepUsagePart, StepBlockedPart, RunSynthesisPart, FindingReference, SynthesizedFinding, BiologicalTheme, SynthesisProgressPart, SynthesisPhase, RunCompletedPart, RunCompletedFinding, RunFailedPart, CompactionPart, PauseCause, WorkKind, PausePart, ModelRetryPart, ModelRefusal, ModelRefusalPart, AskPart, ChildSessionStartedPart, ReportRenderedPart, } from "./contracts/chat-parts.js";
 export { PART_REGISTRY, isTransient, isReconciling, isSidebarPart } from "./contracts/part-registry.js";
 export type { ChatPartType, PartDescriptor, PartEmitter, PartConsumer } from "./contracts/part-registry.js";
 export { parseStructureUrl, alphafoldEntryUrl, alphafoldPredictionUrl } from "./contracts/structure-source.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

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;