@effect-uai/core 0.18.0 → 0.19.0-dev-20261109183959

package/dist/tool/Approval.test.mjs

@@ -1,371 +0,0 @@
-import { toolCallOutput, userText } from "../domain/Items.mjs";
-import { isFailure, isOk, toToolCallOutput } from "./ToolResult.mjs";
-import { fromEffectSchema, make } from "./Tool.mjs";
-import { ToolEvent, isApprovalRequested, isOutput, isProgress } from "./ToolEvent.mjs";
-import { make as make$1, run } from "./Toolkit.mjs";
-import { fromMap, fromQueue } from "./Approval.mjs";
-import { cancelAllPending, findUnansweredCalls, isReconciled } from "./HistoryCheck.mjs";
-import { b as it, m as describe } from "../dist-DzeSyeYF.mjs";
-import { n as globalExpect } from "../index.C4tKZ0yW-LuFnBtmu.mjs";
-import { Effect, Queue, Schema, Stream } from "effect";
-//#region src/tool/Approval.test.ts
-/**
-* Tests for approval planners + history-reconciliation primitives. Exercises
-* the full HITL + streaming-tool stack end-to-end by composing approval plans
-* with `run`, with the four wire-shaped scenarios:
-*
-*   1. Approval        : gated calls approved → tools execute, structured Values
-*   2. Denial          : gated calls denied   → Failure(denied) results
-*   3. Cancellation    : missing verdicts     → Failure(cancelled) results
-*   4. Mixed + history : reconciliation via cancelAllPending
-*
-* Plus: hallucinated tool name (graceful Failure), unknown_tool kind.
-*/
-const webSearch = make({
-	name: "web_search",
-	description: "search",
-	inputSchema: fromEffectSchema(Schema.Struct({ query: Schema.String })),
-	run: ({ query }, emit) => Effect.gen(function* () {
-		const hits = [
-			{
-				url: "a",
-				title: `${query} 1`
-			},
-			{
-				url: "b",
-				title: `${query} 2`
-			},
-			{
-				url: "c",
-				title: `${query} 3`
-			}
-		];
-		yield* Stream.runForEach(Stream.fromIterable(hits), emit);
-		return { count: hits.length };
-	})
-});
-const bulkEmail = make({
-	name: "bulk_email",
-	description: "send",
-	inputSchema: fromEffectSchema(Schema.Struct({
-		recipients: Schema.Array(Schema.String),
-		subject: Schema.String
-	})),
-	run: ({ recipients }, emit) => Effect.gen(function* () {
-		yield* Effect.forEach(recipients, (_, i) => emit({
-			type: "progress",
-			sent: i + 1,
-			total: recipients.length
-		}));
-		return {
-			status: "sent",
-			delivered: recipients.length
-		};
-	})
-});
-const deleteDatabase = make({
-	name: "delete_database",
-	description: "drop",
-	inputSchema: fromEffectSchema(Schema.Struct({ name: Schema.String })),
-	run: ({ name }) => Effect.succeed({
-		status: "dropped",
-		name
-	})
-});
-const allTools = make$1(webSearch, bulkEmail, deleteDatabase);
-const SENSITIVE = /* @__PURE__ */ new Set(["bulk_email", "delete_database"]);
-const isSensitive = (call) => SENSITIVE.has(call.name);
-const fc = (call_id, name, args) => ({
-	type: "function_call",
-	call_id,
-	name,
-	arguments: JSON.stringify(args)
-});
-const calls = [
-	fc("c1", "web_search", { query: "effect" }),
-	fc("c2", "bulk_email", {
-		recipients: ["a@x", "b@x"],
-		subject: "Hi"
-	}),
-	fc("c3", "delete_database", { name: "prod" })
-];
-const resultsFrom = (collected) => collected.filter(isOutput).map((e) => e.result);
-const byCallId = (results) => new Map(results.map((r) => [r.call_id, r]));
-const rejectedStream = (rejected) => Stream.fromIterable(rejected.map((result) => ToolEvent.Output({ result })));
-const eventsFromApprovalMap = (approvals) => {
-	const plan = fromMap(isSensitive, approvals)(calls);
-	return Stream.merge(run(allTools, plan.approved), rejectedStream(plan.rejected));
-};
-const eventsFromDecision = (decision) => decision._tag === "Approved" ? run(allTools, [decision.call]) : Stream.succeed(ToolEvent.Output({ result: decision.result }));
-describe("fromMap + run", () => {
-	it("approval: all gated approved → tools execute, structured Values", async () => {
-		const approvals = /* @__PURE__ */ new Map([["c2", { decision: "approve" }], ["c3", { decision: "approve" }]]);
-		const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)));
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c1")).toMatchObject({
-			_tag: "Ok",
-			value: { count: 3 }
-		});
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Ok",
-			value: {
-				status: "sent",
-				delivered: 2
-			}
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Ok",
-			value: {
-				status: "dropped",
-				name: "prod"
-			}
-		});
-		globalExpect(collected.filter(isApprovalRequested)).toHaveLength(0);
-	});
-	it("denial: gated denied → Failure(denied), no execution", async () => {
-		const approvals = /* @__PURE__ */ new Map([["c2", {
-			decision: "deny",
-			reason: "spam concern"
-		}], ["c3", {
-			decision: "deny",
-			reason: "prod is sacred"
-		}]]);
-		const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)));
-		globalExpect(collected.filter(isProgress).filter((e) => e.tool === "bulk_email")).toHaveLength(0);
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Failure",
-			kind: "denied",
-			reason: "spam concern"
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Failure",
-			kind: "denied",
-			reason: "prod is sacred"
-		});
-	});
-	it("cancellation: missing verdicts → Failure(cancelled)", async () => {
-		const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(/* @__PURE__ */ new Map())));
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c1")).toMatchObject({
-			_tag: "Ok",
-			value: { count: 3 }
-		});
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Failure",
-			kind: "cancelled"
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Failure",
-			kind: "cancelled"
-		});
-	});
-	it("mixed: approve + deny + omit → all three kinds", async () => {
-		const approvals = /* @__PURE__ */ new Map([["c2", { decision: "approve" }]]);
-		const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)));
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c1")).toMatchObject({
-			_tag: "Ok",
-			value: { count: 3 }
-		});
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Ok",
-			value: { status: "sent" }
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Failure",
-			kind: "cancelled"
-		});
-	});
-});
-describe("run: graceful degradation", () => {
-	it("unknown tool name → Failure(unknown_tool); other calls still execute", async () => {
-		const callsWithBogus = [
-			fc("c1", "web_search", { query: "x" }),
-			fc("c2", "does_not_exist", {}),
-			fc("c3", "delete_database", { name: "prod" })
-		];
-		const collected = await Effect.runPromise(Stream.runCollect((() => {
-			const plan = fromMap(isSensitive, /* @__PURE__ */ new Map([["c3", { decision: "approve" }]]))(callsWithBogus);
-			return Stream.merge(run(allTools, plan.approved), rejectedStream(plan.rejected));
-		})()));
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c1")).toMatchObject({ _tag: "Ok" });
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Failure",
-			kind: "unknown_tool"
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Ok",
-			value: { status: "dropped" }
-		});
-	});
-});
-describe("fromQueue + run", () => {
-	it("queue-driven: approve + deny resolve correctly with ApprovalRequested events", async () => {
-		const collected = await Effect.runPromise(Effect.gen(function* () {
-			const verdicts = yield* Queue.unbounded();
-			yield* Queue.offer(verdicts, {
-				call_id: "c2",
-				decision: "approve"
-			});
-			yield* Queue.offer(verdicts, {
-				call_id: "c3",
-				decision: "deny",
-				reason: "too risky"
-			});
-			const events = Stream.unwrap(Effect.gen(function* () {
-				const { approved, decisions, approvalRequests } = yield* fromQueue(isSensitive, verdicts)(calls);
-				return Stream.merge(approvalRequests, Stream.merge(run(allTools, approved), decisions.pipe(Stream.flatMap(eventsFromDecision))));
-			}));
-			return yield* Stream.runCollect(events);
-		}));
-		globalExpect(collected.filter(isApprovalRequested)).toHaveLength(2);
-		const by = byCallId(resultsFrom(collected));
-		globalExpect(by.get("c2")).toMatchObject({
-			_tag: "Ok",
-			value: { status: "sent" }
-		});
-		globalExpect(by.get("c3")).toMatchObject({
-			_tag: "Failure",
-			kind: "denied",
-			reason: "too risky"
-		});
-	});
-	it("router retires per round, so sequential rounds over one queue both resolve", async () => {
-		const decisions = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
-			const verdicts = yield* Queue.unbounded();
-			const round = (id) => [fc(id, "delete_database", { name: "prod" })];
-			const r1 = yield* fromQueue(isSensitive, verdicts)(round("c1"));
-			yield* Queue.offer(verdicts, {
-				call_id: "c1",
-				decision: "approve"
-			});
-			const d1 = Array.from(yield* Stream.runCollect(r1.decisions));
-			const r2 = yield* fromQueue(isSensitive, verdicts)(round("c2"));
-			yield* Queue.offer(verdicts, {
-				call_id: "c2",
-				decision: "deny",
-				reason: "no"
-			});
-			return {
-				d1,
-				d2: Array.from(yield* Stream.runCollect(r2.decisions))
-			};
-		})));
-		globalExpect(decisions.d1[0]).toMatchObject({ _tag: "Approved" });
-		globalExpect(decisions.d2[0]).toMatchObject({
-			_tag: "Rejected",
-			result: { kind: "denied" }
-		});
-	});
-	it("timeout resolves an unanswered gated call as cancelled", async () => {
-		const decisions = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
-			const verdicts = yield* Queue.unbounded();
-			const { decisions } = yield* fromQueue(isSensitive, verdicts, { timeout: "10 millis" })([fc("c1", "delete_database", { name: "prod" })]);
-			return Array.from(yield* Stream.runCollect(decisions));
-		})));
-		globalExpect(decisions[0]).toMatchObject({
-			_tag: "Rejected",
-			result: {
-				_tag: "Failure",
-				kind: "cancelled"
-			}
-		});
-	});
-});
-describe("findUnansweredCalls / cancelAllPending / isReconciled", () => {
-	const orphan = fc("c99", "delete_database", { name: "prod" });
-	const answered = fc("c98", "web_search", { query: "x" });
-	const answeredOutput = toolCallOutput("c98", JSON.stringify({ count: 0 }));
-	it("findUnansweredCalls returns only orphans", () => {
-		const history = [
-			userText("hi"),
-			answered,
-			orphan,
-			answeredOutput
-		];
-		const unanswered = findUnansweredCalls(history);
-		globalExpect(unanswered).toHaveLength(1);
-		globalExpect(unanswered[0].call_id).toBe("c99");
-	});
-	it("isReconciled is false when orphans exist, true otherwise", () => {
-		const stale = [userText("hi"), orphan];
-		globalExpect(isReconciled(stale)).toBe(false);
-		const reconciled = [...stale, ...cancelAllPending(stale).map(toToolCallOutput)];
-		globalExpect(isReconciled(reconciled)).toBe(true);
-	});
-	it("cancelAllPending synthesizes one Failure(cancelled) per orphan", () => {
-		const history = [
-			userText("hi"),
-			answered,
-			orphan,
-			answeredOutput
-		];
-		const closures = cancelAllPending(history, "user moved on");
-		globalExpect(closures).toHaveLength(1);
-		const c = closures[0];
-		globalExpect(isFailure(c)).toBe(true);
-		globalExpect(c).toMatchObject({
-			_tag: "Failure",
-			call_id: "c99",
-			kind: "cancelled",
-			reason: "user moved on"
-		});
-	});
-	it("follow-up: map closures to ToolCallOutput before appending new user message", () => {
-		const stale = [userText("first request"), orphan];
-		const closures = cancelAllPending(stale, "user redirected");
-		const reconciled = [
-			...stale,
-			...closures.map(toToolCallOutput),
-			userText("never mind")
-		];
-		globalExpect(findUnansweredCalls(reconciled)).toHaveLength(0);
-	});
-});
-describe("toToolCallOutput", () => {
-	it("round-trips a Value result", () => {
-		const out = toToolCallOutput({
-			_tag: "Ok",
-			call_id: "c1",
-			tool: "web_search",
-			value: { count: 3 }
-		});
-		globalExpect(out.call_id).toBe("c1");
-		globalExpect(JSON.parse(out.output)).toEqual({ count: 3 });
-	});
-	it("renders a Failure with reason as a nested error object", () => {
-		const out = toToolCallOutput({
-			_tag: "Failure",
-			call_id: "c2",
-			tool: "bulk_email",
-			kind: "denied",
-			reason: "spam concern"
-		});
-		globalExpect(JSON.parse(out.output)).toEqual({ error: {
-			kind: "denied",
-			message: "spam concern"
-		} });
-	});
-	it("renders a Failure without reason (omits message)", () => {
-		const out = toToolCallOutput({
-			_tag: "Failure",
-			call_id: "c3",
-			tool: "delete_database",
-			kind: "cancelled"
-		});
-		globalExpect(JSON.parse(out.output)).toEqual({ error: { kind: "cancelled" } });
-	});
-});
-describe("run", () => {
-	it("runs all calls passed to it", async () => {
-		const collected = await Effect.runPromise(Stream.runCollect(run(allTools, calls)));
-		globalExpect(collected.filter(isOutput)).toHaveLength(3);
-		globalExpect(collected.filter(isOutput).every((e) => isOk(e.result))).toBe(true);
-	});
-});
-//#endregion
-export {};
-
-//# sourceMappingURL=Approval.test.mjs.map

package/dist/tool/Approval.test.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"Approval.test.mjs","names":["makeTool","makeToolkit","Items.toolCallOutput","Items.userText"],"sources":["../../src/tool/Approval.test.ts"],"sourcesContent":["/**\n * Tests for approval planners + history-reconciliation primitives. Exercises\n * the full HITL + streaming-tool stack end-to-end by composing approval plans\n * with `run`, with the four wire-shaped scenarios:\n *\n *   1. Approval        : gated calls approved → tools execute, structured Values\n *   2. Denial          : gated calls denied   → Failure(denied) results\n *   3. Cancellation    : missing verdicts     → Failure(cancelled) results\n *   4. Mixed + history : reconciliation via cancelAllPending\n *\n * Plus: hallucinated tool name (graceful Failure), unknown_tool kind.\n */\nimport { Effect, Queue, Schema, Stream } from \"effect\"\nimport { describe, expect, it } from \"vitest\"\nimport * as Items from \"../domain/Items.js\"\nimport { findUnansweredCalls, cancelAllPending, isReconciled } from \"./HistoryCheck.js\"\nimport { type ToolResult, isFailure, isOk, toToolCallOutput } from \"./ToolResult.js\"\nimport {\n  type ApprovalMapEntry,\n  type ApprovalDecision,\n  type Verdict,\n  fromMap,\n  fromQueue,\n} from \"./Approval.js\"\nimport { fromEffectSchema, make as makeTool } from \"./Tool.js\"\nimport { make as makeToolkit, run } from \"./Toolkit.js\"\nimport { ToolEvent, isApprovalRequested, isProgress, isOutput } from \"./ToolEvent.js\"\n\n// ---------------------------------------------------------------------------\n// Three demo tools covering the matrix:\n//   - web_search      : streaming, no approval\n//   - bulk_email      : streaming, requires approval\n//   - delete_database : non-streaming, requires approval\n// ---------------------------------------------------------------------------\n\nconst webSearch = makeTool({\n  name: \"web_search\",\n  description: \"search\",\n  inputSchema: fromEffectSchema(Schema.Struct({ query: Schema.String })),\n  run: ({ query }, emit) =>\n    Effect.gen(function* () {\n      const hits = [\n        { url: \"a\", title: `${query} 1` },\n        { url: \"b\", title: `${query} 2` },\n        { url: \"c\", title: `${query} 3` },\n      ]\n      yield* Stream.runForEach(Stream.fromIterable(hits), emit)\n      return { count: hits.length }\n    }),\n})\n\nconst bulkEmail = makeTool({\n  name: \"bulk_email\",\n  description: \"send\",\n  inputSchema: fromEffectSchema(\n    Schema.Struct({ recipients: Schema.Array(Schema.String), subject: Schema.String }),\n  ),\n  run: ({ recipients }, emit) =>\n    Effect.gen(function* () {\n      yield* Effect.forEach(recipients, (_, i) =>\n        emit({ type: \"progress\" as const, sent: i + 1, total: recipients.length }),\n      )\n      return { status: \"sent\" as const, delivered: recipients.length }\n    }),\n})\n\nconst deleteDatabase = makeTool({\n  name: \"delete_database\",\n  description: \"drop\",\n  inputSchema: fromEffectSchema(Schema.Struct({ name: Schema.String })),\n  run: ({ name }) => Effect.succeed({ status: \"dropped\", name }),\n})\n\nconst allTools = makeToolkit(webSearch, bulkEmail, deleteDatabase)\nconst SENSITIVE = new Set([\"bulk_email\", \"delete_database\"])\nconst isSensitive = (call: Items.ToolCall) => SENSITIVE.has(call.name)\n\nconst fc = (call_id: string, name: string, args: unknown): Items.ToolCall => ({\n  type: \"function_call\",\n  call_id,\n  name,\n  arguments: JSON.stringify(args),\n})\n\nconst calls = [\n  fc(\"c1\", \"web_search\", { query: \"effect\" }),\n  fc(\"c2\", \"bulk_email\", { recipients: [\"a@x\", \"b@x\"], subject: \"Hi\" }),\n  fc(\"c3\", \"delete_database\", { name: \"prod\" }),\n]\n\nconst resultsFrom = (collected: ReadonlyArray<ToolEvent>): ReadonlyArray<ToolResult> =>\n  collected.filter(isOutput).map((e) => e.result)\n\nconst byCallId = (results: ReadonlyArray<ToolResult>) => new Map(results.map((r) => [r.call_id, r]))\n\nconst rejectedStream = (rejected: ReadonlyArray<ToolResult>) =>\n  Stream.fromIterable(rejected.map((result) => ToolEvent.Output({ result })))\n\nconst eventsFromApprovalMap = (approvals: ReadonlyMap<string, ApprovalMapEntry>) => {\n  const plan = fromMap(isSensitive, approvals)(calls)\n  return Stream.merge(run(allTools, plan.approved), rejectedStream(plan.rejected))\n}\n\nconst eventsFromDecision = (decision: ApprovalDecision): Stream.Stream<ToolEvent> =>\n  decision._tag === \"Approved\"\n    ? run(allTools, [decision.call])\n    : Stream.succeed(ToolEvent.Output({ result: decision.result }))\n\n// ---------------------------------------------------------------------------\n// fromMap: HTTP-style scenarios\n// ---------------------------------------------------------------------------\n\ndescribe(\"fromMap + run\", () => {\n  it(\"approval: all gated approved → tools execute, structured Values\", async () => {\n    const approvals = new Map<string, ApprovalMapEntry>([\n      [\"c2\", { decision: \"approve\" }],\n      [\"c3\", { decision: \"approve\" }],\n    ])\n    const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)))\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c1\")).toMatchObject({ _tag: \"Ok\", value: { count: 3 } })\n    expect(by.get(\"c2\")).toMatchObject({\n      _tag: \"Ok\",\n      value: { status: \"sent\", delivered: 2 },\n    })\n    expect(by.get(\"c3\")).toMatchObject({\n      _tag: \"Ok\",\n      value: { status: \"dropped\", name: \"prod\" },\n    })\n\n    // No ApprovalRequested events from the pure HTTP flow.\n    expect(collected.filter(isApprovalRequested)).toHaveLength(0)\n  })\n\n  it(\"denial: gated denied → Failure(denied), no execution\", async () => {\n    const approvals = new Map<string, ApprovalMapEntry>([\n      [\"c2\", { decision: \"deny\", reason: \"spam concern\" }],\n      [\"c3\", { decision: \"deny\", reason: \"prod is sacred\" }],\n    ])\n    const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)))\n\n    // bulk_email never ran.\n    expect(collected.filter(isProgress).filter((e) => e.tool === \"bulk_email\")).toHaveLength(0)\n\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c2\")).toMatchObject({\n      _tag: \"Failure\",\n      kind: \"denied\",\n      reason: \"spam concern\",\n    })\n    expect(by.get(\"c3\")).toMatchObject({\n      _tag: \"Failure\",\n      kind: \"denied\",\n      reason: \"prod is sacred\",\n    })\n  })\n\n  it(\"cancellation: missing verdicts → Failure(cancelled)\", async () => {\n    const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(new Map())))\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c1\")).toMatchObject({ _tag: \"Ok\", value: { count: 3 } })\n    expect(by.get(\"c2\")).toMatchObject({ _tag: \"Failure\", kind: \"cancelled\" })\n    expect(by.get(\"c3\")).toMatchObject({ _tag: \"Failure\", kind: \"cancelled\" })\n  })\n\n  it(\"mixed: approve + deny + omit → all three kinds\", async () => {\n    const approvals = new Map<string, ApprovalMapEntry>([\n      [\"c2\", { decision: \"approve\" }],\n      // c3 omitted → cancelled\n    ])\n    const collected = await Effect.runPromise(Stream.runCollect(eventsFromApprovalMap(approvals)))\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c1\")).toMatchObject({ _tag: \"Ok\", value: { count: 3 } })\n    expect(by.get(\"c2\")).toMatchObject({ _tag: \"Ok\", value: { status: \"sent\" } })\n    expect(by.get(\"c3\")).toMatchObject({ _tag: \"Failure\", kind: \"cancelled\" })\n  })\n})\n\n// ---------------------------------------------------------------------------\n// Graceful degradation: hallucinated tool name doesn't kill the turn.\n// ---------------------------------------------------------------------------\n\ndescribe(\"run: graceful degradation\", () => {\n  it(\"unknown tool name → Failure(unknown_tool); other calls still execute\", async () => {\n    const callsWithBogus = [\n      fc(\"c1\", \"web_search\", { query: \"x\" }),\n      fc(\"c2\", \"does_not_exist\", {}),\n      fc(\"c3\", \"delete_database\", { name: \"prod\" }),\n    ]\n    const collected = await Effect.runPromise(\n      Stream.runCollect(\n        (() => {\n          const plan = fromMap(\n            isSensitive,\n            new Map([[\"c3\", { decision: \"approve\" }]]),\n          )(callsWithBogus)\n          return Stream.merge(run(allTools, plan.approved), rejectedStream(plan.rejected))\n        })(),\n      ),\n    )\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c1\")).toMatchObject({ _tag: \"Ok\" })\n    expect(by.get(\"c2\")).toMatchObject({ _tag: \"Failure\", kind: \"unknown_tool\" })\n    expect(by.get(\"c3\")).toMatchObject({ _tag: \"Ok\", value: { status: \"dropped\" } })\n  })\n})\n\n// ---------------------------------------------------------------------------\n// fromQueue: WebSocket-style scenarios\n// ---------------------------------------------------------------------------\n\ndescribe(\"fromQueue + run\", () => {\n  it(\"queue-driven: approve + deny resolve correctly with ApprovalRequested events\", async () => {\n    const collected = await Effect.runPromise(\n      Effect.gen(function* () {\n        const verdicts = yield* Queue.unbounded<{\n          readonly call_id: string\n          readonly decision: \"approve\" | \"deny\"\n          readonly reason?: string\n        }>()\n        yield* Queue.offer(verdicts, { call_id: \"c2\", decision: \"approve\" })\n        yield* Queue.offer(verdicts, {\n          call_id: \"c3\",\n          decision: \"deny\",\n          reason: \"too risky\",\n        })\n\n        // Stream.unwrap supplies the Scope for fromQueue's router.\n        const events = Stream.unwrap(\n          Effect.gen(function* () {\n            const { approved, decisions, approvalRequests } = yield* fromQueue(\n              isSensitive,\n              verdicts,\n            )(calls)\n            return Stream.merge(\n              approvalRequests,\n              Stream.merge(\n                run(allTools, approved),\n                decisions.pipe(Stream.flatMap(eventsFromDecision)),\n              ),\n            )\n          }),\n        )\n        return yield* Stream.runCollect(events)\n      }),\n    )\n\n    expect(collected.filter(isApprovalRequested)).toHaveLength(2)\n\n    const by = byCallId(resultsFrom(collected))\n    expect(by.get(\"c2\")).toMatchObject({ _tag: \"Ok\", value: { status: \"sent\" } })\n    expect(by.get(\"c3\")).toMatchObject({\n      _tag: \"Failure\",\n      kind: \"denied\",\n      reason: \"too risky\",\n    })\n  })\n\n  it(\"router retires per round, so sequential rounds over one queue both resolve\", async () => {\n    // A verdict-per-round over one shared queue and scope. The old\n    // never-terminating router would still be alive for round 1 and steal\n    // round 2's verdict (not in its map), hanging round 2.\n    const decisions = await Effect.runPromise(\n      Effect.scoped(\n        Effect.gen(function* () {\n          const verdicts = yield* Queue.unbounded<Verdict>()\n          const round = (id: string) => [fc(id, \"delete_database\", { name: \"prod\" })]\n\n          const r1 = yield* fromQueue(isSensitive, verdicts)(round(\"c1\"))\n          yield* Queue.offer(verdicts, { call_id: \"c1\", decision: \"approve\" })\n          const d1 = Array.from(yield* Stream.runCollect(r1.decisions))\n\n          const r2 = yield* fromQueue(isSensitive, verdicts)(round(\"c2\"))\n          yield* Queue.offer(verdicts, { call_id: \"c2\", decision: \"deny\", reason: \"no\" })\n          const d2 = Array.from(yield* Stream.runCollect(r2.decisions))\n\n          return { d1, d2 }\n        }),\n      ),\n    )\n    expect(decisions.d1[0]).toMatchObject({ _tag: \"Approved\" })\n    expect(decisions.d2[0]).toMatchObject({ _tag: \"Rejected\", result: { kind: \"denied\" } })\n  })\n\n  it(\"timeout resolves an unanswered gated call as cancelled\", async () => {\n    const decisions = await Effect.runPromise(\n      Effect.scoped(\n        Effect.gen(function* () {\n          const verdicts = yield* Queue.unbounded<Verdict>()\n          const { decisions } = yield* fromQueue(isSensitive, verdicts, { timeout: \"10 millis\" })([\n            fc(\"c1\", \"delete_database\", { name: \"prod\" }),\n          ])\n          return Array.from(yield* Stream.runCollect(decisions))\n        }),\n      ),\n    )\n    expect(decisions[0]).toMatchObject({\n      _tag: \"Rejected\",\n      result: { _tag: \"Failure\", kind: \"cancelled\" },\n    })\n  })\n})\n\n// ---------------------------------------------------------------------------\n// History reconciliation\n// ---------------------------------------------------------------------------\n\ndescribe(\"findUnansweredCalls / cancelAllPending / isReconciled\", () => {\n  const orphan = fc(\"c99\", \"delete_database\", { name: \"prod\" })\n  const answered = fc(\"c98\", \"web_search\", { query: \"x\" })\n  const answeredOutput = Items.toolCallOutput(\"c98\", JSON.stringify({ count: 0 }))\n\n  it(\"findUnansweredCalls returns only orphans\", () => {\n    const history = [Items.userText(\"hi\"), answered, orphan, answeredOutput]\n    const unanswered = findUnansweredCalls(history)\n    expect(unanswered).toHaveLength(1)\n    expect(unanswered[0]!.call_id).toBe(\"c99\")\n  })\n\n  it(\"isReconciled is false when orphans exist, true otherwise\", () => {\n    const stale = [Items.userText(\"hi\"), orphan]\n    expect(isReconciled(stale)).toBe(false)\n    const reconciled = [...stale, ...cancelAllPending(stale).map(toToolCallOutput)]\n    expect(isReconciled(reconciled)).toBe(true)\n  })\n\n  it(\"cancelAllPending synthesizes one Failure(cancelled) per orphan\", () => {\n    const history = [Items.userText(\"hi\"), answered, orphan, answeredOutput]\n    const closures = cancelAllPending(history, \"user moved on\")\n    expect(closures).toHaveLength(1)\n    const c = closures[0]!\n    expect(isFailure(c)).toBe(true)\n    expect(c).toMatchObject({\n      _tag: \"Failure\",\n      call_id: \"c99\",\n      kind: \"cancelled\",\n      reason: \"user moved on\",\n    })\n  })\n\n  it(\"follow-up: map closures to ToolCallOutput before appending new user message\", () => {\n    const stale = [Items.userText(\"first request\"), orphan]\n    const closures = cancelAllPending(stale, \"user redirected\")\n    const reconciled = [...stale, ...closures.map(toToolCallOutput), Items.userText(\"never mind\")]\n    expect(findUnansweredCalls(reconciled)).toHaveLength(0)\n  })\n})\n\n// ---------------------------------------------------------------------------\n// Wire conversion\n// ---------------------------------------------------------------------------\n\ndescribe(\"toToolCallOutput\", () => {\n  it(\"round-trips a Value result\", () => {\n    const r: ToolResult = {\n      _tag: \"Ok\",\n      call_id: \"c1\",\n      tool: \"web_search\",\n      value: { count: 3 },\n    }\n    const out = toToolCallOutput(r)\n    expect(out.call_id).toBe(\"c1\")\n    expect(JSON.parse(out.output)).toEqual({ count: 3 })\n  })\n\n  it(\"renders a Failure with reason as a nested error object\", () => {\n    const r: ToolResult = {\n      _tag: \"Failure\",\n      call_id: \"c2\",\n      tool: \"bulk_email\",\n      kind: \"denied\",\n      reason: \"spam concern\",\n    }\n    const out = toToolCallOutput(r)\n    expect(JSON.parse(out.output)).toEqual({ error: { kind: \"denied\", message: \"spam concern\" } })\n  })\n\n  it(\"renders a Failure without reason (omits message)\", () => {\n    const r: ToolResult = {\n      _tag: \"Failure\",\n      call_id: \"c3\",\n      tool: \"delete_database\",\n      kind: \"cancelled\",\n    }\n    const out = toToolCallOutput(r)\n    expect(JSON.parse(out.output)).toEqual({ error: { kind: \"cancelled\" } })\n  })\n})\n\n// ---------------------------------------------------------------------------\n// run\n// ---------------------------------------------------------------------------\n\ndescribe(\"run\", () => {\n  it(\"runs all calls passed to it\", async () => {\n    const collected = await Effect.runPromise(Stream.runCollect(run(allTools, calls)))\n    expect(collected.filter(isOutput)).toHaveLength(3)\n    expect(collected.filter(isOutput).every((e) => isOk(e.result))).toBe(true)\n  })\n})\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAmCA,MAAM,YAAYA,KAAS;CACzB,MAAM;CACN,aAAa;CACb,aAAa,iBAAiB,OAAO,OAAO,EAAE,OAAO,OAAO,OAAO,CAAC,CAAC;CACrE,MAAM,EAAE,SAAS,SACf,OAAO,IAAI,aAAa;EACtB,MAAM,OAAO;GACX;IAAE,KAAK;IAAK,OAAO,GAAG,MAAM;GAAI;GAChC;IAAE,KAAK;IAAK,OAAO,GAAG,MAAM;GAAI;GAChC;IAAE,KAAK;IAAK,OAAO,GAAG,MAAM;GAAI;EAClC;EACA,OAAO,OAAO,WAAW,OAAO,aAAa,IAAI,GAAG,IAAI;EACxD,OAAO,EAAE,OAAO,KAAK,OAAO;CAC9B,CAAC;AACL,CAAC;AAED,MAAM,YAAYA,KAAS;CACzB,MAAM;CACN,aAAa;CACb,aAAa,iBACX,OAAO,OAAO;EAAE,YAAY,OAAO,MAAM,OAAO,MAAM;EAAG,SAAS,OAAO;CAAO,CAAC,CACnF;CACA,MAAM,EAAE,cAAc,SACpB,OAAO,IAAI,aAAa;EACtB,OAAO,OAAO,QAAQ,aAAa,GAAG,MACpC,KAAK;GAAE,MAAM;GAAqB,MAAM,IAAI;GAAG,OAAO,WAAW;EAAO,CAAC,CAC3E;EACA,OAAO;GAAE,QAAQ;GAAiB,WAAW,WAAW;EAAO;CACjE,CAAC;AACL,CAAC;AAED,MAAM,iBAAiBA,KAAS;CAC9B,MAAM;CACN,aAAa;CACb,aAAa,iBAAiB,OAAO,OAAO,EAAE,MAAM,OAAO,OAAO,CAAC,CAAC;CACpE,MAAM,EAAE,WAAW,OAAO,QAAQ;EAAE,QAAQ;EAAW;CAAK,CAAC;AAC/D,CAAC;AAED,MAAM,WAAWC,OAAY,WAAW,WAAW,cAAc;AACjE,MAAM,4BAAY,IAAI,IAAI,CAAC,cAAc,iBAAiB,CAAC;AAC3D,MAAM,eAAe,SAAyB,UAAU,IAAI,KAAK,IAAI;AAErE,MAAM,MAAM,SAAiB,MAAc,UAAmC;CAC5E,MAAM;CACN;CACA;CACA,WAAW,KAAK,UAAU,IAAI;AAChC;AAEA,MAAM,QAAQ;CACZ,GAAG,MAAM,cAAc,EAAE,OAAO,SAAS,CAAC;CAC1C,GAAG,MAAM,cAAc;EAAE,YAAY,CAAC,OAAO,KAAK;EAAG,SAAS;CAAK,CAAC;CACpE,GAAG,MAAM,mBAAmB,EAAE,MAAM,OAAO,CAAC;AAC9C;AAEA,MAAM,eAAe,cACnB,UAAU,OAAO,QAAQ,CAAC,CAAC,KAAK,MAAM,EAAE,MAAM;AAEhD,MAAM,YAAY,YAAuC,IAAI,IAAI,QAAQ,KAAK,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAEnG,MAAM,kBAAkB,aACtB,OAAO,aAAa,SAAS,KAAK,WAAW,UAAU,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAE5E,MAAM,yBAAyB,cAAqD;CAClF,MAAM,OAAO,QAAQ,aAAa,SAAS,CAAC,CAAC,KAAK;CAClD,OAAO,OAAO,MAAM,IAAI,UAAU,KAAK,QAAQ,GAAG,eAAe,KAAK,QAAQ,CAAC;AACjF;AAEA,MAAM,sBAAsB,aAC1B,SAAS,SAAS,aACd,IAAI,UAAU,CAAC,SAAS,IAAI,CAAC,IAC7B,OAAO,QAAQ,UAAU,OAAO,EAAE,QAAQ,SAAS,OAAO,CAAC,CAAC;AAMlE,SAAS,uBAAuB;CAC9B,GAAG,mEAAmE,YAAY;EAChF,MAAM,4BAAY,IAAI,IAA8B,CAClD,CAAC,MAAM,EAAE,UAAU,UAAU,CAAC,GAC9B,CAAC,MAAM,EAAE,UAAU,UAAU,CAAC,CAChC,CAAC;EACD,MAAM,YAAY,MAAM,OAAO,WAAW,OAAO,WAAW,sBAAsB,SAAS,CAAC,CAAC;EAC7F,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,OAAO,EAAE;EAAE,CAAC;EACtE,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,OAAO;IAAE,QAAQ;IAAQ,WAAW;GAAE;EACxC,CAAC;EACD,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,OAAO;IAAE,QAAQ;IAAW,MAAM;GAAO;EAC3C,CAAC;EAGD,aAAO,UAAU,OAAO,mBAAmB,CAAC,CAAC,CAAC,aAAa,CAAC;CAC9D,CAAC;CAED,GAAG,wDAAwD,YAAY;EACrE,MAAM,4BAAY,IAAI,IAA8B,CAClD,CAAC,MAAM;GAAE,UAAU;GAAQ,QAAQ;EAAe,CAAC,GACnD,CAAC,MAAM;GAAE,UAAU;GAAQ,QAAQ;EAAiB,CAAC,CACvD,CAAC;EACD,MAAM,YAAY,MAAM,OAAO,WAAW,OAAO,WAAW,sBAAsB,SAAS,CAAC,CAAC;EAG7F,aAAO,UAAU,OAAO,UAAU,CAAC,CAAC,QAAQ,MAAM,EAAE,SAAS,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC;EAE1F,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,MAAM;GACN,QAAQ;EACV,CAAC;EACD,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,MAAM;GACN,QAAQ;EACV,CAAC;CACH,CAAC;CAED,GAAG,uDAAuD,YAAY;EACpE,MAAM,YAAY,MAAM,OAAO,WAAW,OAAO,WAAW,sCAAsB,IAAI,IAAI,CAAC,CAAC,CAAC;EAC7F,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,OAAO,EAAE;EAAE,CAAC;EACtE,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAW,MAAM;EAAY,CAAC;EACzE,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAW,MAAM;EAAY,CAAC;CAC3E,CAAC;CAED,GAAG,kDAAkD,YAAY;EAC/D,MAAM,4BAAY,IAAI,IAA8B,CAClD,CAAC,MAAM,EAAE,UAAU,UAAU,CAAC,CAEhC,CAAC;EACD,MAAM,YAAY,MAAM,OAAO,WAAW,OAAO,WAAW,sBAAsB,SAAS,CAAC,CAAC;EAC7F,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,OAAO,EAAE;EAAE,CAAC;EACtE,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,QAAQ,OAAO;EAAE,CAAC;EAC5E,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAW,MAAM;EAAY,CAAC;CAC3E,CAAC;AACH,CAAC;AAMD,SAAS,mCAAmC;CAC1C,GAAG,wEAAwE,YAAY;EACrF,MAAM,iBAAiB;GACrB,GAAG,MAAM,cAAc,EAAE,OAAO,IAAI,CAAC;GACrC,GAAG,MAAM,kBAAkB,CAAC,CAAC;GAC7B,GAAG,MAAM,mBAAmB,EAAE,MAAM,OAAO,CAAC;EAC9C;EACA,MAAM,YAAY,MAAM,OAAO,WAC7B,OAAO,kBACE;GACL,MAAM,OAAO,QACX,6BACA,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,UAAU,CAAC,CAAC,CAAC,CAC3C,CAAC,CAAC,cAAc;GAChB,OAAO,OAAO,MAAM,IAAI,UAAU,KAAK,QAAQ,GAAG,eAAe,KAAK,QAAQ,CAAC;EACjF,EAAA,CAAG,CACL,CACF;EACA,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,MAAM,KAAK,CAAC;EACjD,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAW,MAAM;EAAe,CAAC;EAC5E,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,QAAQ,UAAU;EAAE,CAAC;CACjF,CAAC;AACH,CAAC;AAMD,SAAS,yBAAyB;CAChC,GAAG,gFAAgF,YAAY;EAC7F,MAAM,YAAY,MAAM,OAAO,WAC7B,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,MAAM,UAI3B;GACH,OAAO,MAAM,MAAM,UAAU;IAAE,SAAS;IAAM,UAAU;GAAU,CAAC;GACnE,OAAO,MAAM,MAAM,UAAU;IAC3B,SAAS;IACT,UAAU;IACV,QAAQ;GACV,CAAC;GAGD,MAAM,SAAS,OAAO,OACpB,OAAO,IAAI,aAAa;IACtB,MAAM,EAAE,UAAU,WAAW,qBAAqB,OAAO,UACvD,aACA,QACF,CAAC,CAAC,KAAK;IACP,OAAO,OAAO,MACZ,kBACA,OAAO,MACL,IAAI,UAAU,QAAQ,GACtB,UAAU,KAAK,OAAO,QAAQ,kBAAkB,CAAC,CACnD,CACF;GACF,CAAC,CACH;GACA,OAAO,OAAO,OAAO,WAAW,MAAM;EACxC,CAAC,CACH;EAEA,aAAO,UAAU,OAAO,mBAAmB,CAAC,CAAC,CAAC,aAAa,CAAC;EAE5D,MAAM,KAAK,SAAS,YAAY,SAAS,CAAC;EAC1C,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GAAE,MAAM;GAAM,OAAO,EAAE,QAAQ,OAAO;EAAE,CAAC;EAC5E,aAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,MAAM;GACN,QAAQ;EACV,CAAC;CACH,CAAC;CAED,GAAG,8EAA8E,YAAY;EAI3F,MAAM,YAAY,MAAM,OAAO,WAC7B,OAAO,OACL,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,MAAM,UAAmB;GACjD,MAAM,SAAS,OAAe,CAAC,GAAG,IAAI,mBAAmB,EAAE,MAAM,OAAO,CAAC,CAAC;GAE1E,MAAM,KAAK,OAAO,UAAU,aAAa,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC;GAC9D,OAAO,MAAM,MAAM,UAAU;IAAE,SAAS;IAAM,UAAU;GAAU,CAAC;GACnE,MAAM,KAAK,MAAM,KAAK,OAAO,OAAO,WAAW,GAAG,SAAS,CAAC;GAE5D,MAAM,KAAK,OAAO,UAAU,aAAa,QAAQ,CAAC,CAAC,MAAM,IAAI,CAAC;GAC9D,OAAO,MAAM,MAAM,UAAU;IAAE,SAAS;IAAM,UAAU;IAAQ,QAAQ;GAAK,CAAC;GAG9E,OAAO;IAAE;IAAI,IAFF,MAAM,KAAK,OAAO,OAAO,WAAW,GAAG,SAAS,CAE7C;GAAE;EAClB,CAAC,CACH,CACF;EACA,aAAO,UAAU,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,MAAM,WAAW,CAAC;EAC1D,aAAO,UAAU,GAAG,EAAE,CAAC,CAAC,cAAc;GAAE,MAAM;GAAY,QAAQ,EAAE,MAAM,SAAS;EAAE,CAAC;CACxF,CAAC;CAED,GAAG,0DAA0D,YAAY;EACvE,MAAM,YAAY,MAAM,OAAO,WAC7B,OAAO,OACL,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,MAAM,UAAmB;GACjD,MAAM,EAAE,cAAc,OAAO,UAAU,aAAa,UAAU,EAAE,SAAS,YAAY,CAAC,CAAC,CAAC,CACtF,GAAG,MAAM,mBAAmB,EAAE,MAAM,OAAO,CAAC,CAC9C,CAAC;GACD,OAAO,MAAM,KAAK,OAAO,OAAO,WAAW,SAAS,CAAC;EACvD,CAAC,CACH,CACF;EACA,aAAO,UAAU,EAAE,CAAC,CAAC,cAAc;GACjC,MAAM;GACN,QAAQ;IAAE,MAAM;IAAW,MAAM;GAAY;EAC/C,CAAC;CACH,CAAC;AACH,CAAC;AAMD,SAAS,+DAA+D;CACtE,MAAM,SAAS,GAAG,OAAO,mBAAmB,EAAE,MAAM,OAAO,CAAC;CAC5D,MAAM,WAAW,GAAG,OAAO,cAAc,EAAE,OAAO,IAAI,CAAC;CACvD,MAAM,iBAAiBC,eAAqB,OAAO,KAAK,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;CAE/E,GAAG,kDAAkD;EACnD,MAAM,UAAU;GAACC,SAAe,IAAI;GAAG;GAAU;GAAQ;EAAc;EACvE,MAAM,aAAa,oBAAoB,OAAO;EAC9C,aAAO,UAAU,CAAC,CAAC,aAAa,CAAC;EACjC,aAAO,WAAW,EAAE,CAAE,OAAO,CAAC,CAAC,KAAK,KAAK;CAC3C,CAAC;CAED,GAAG,kEAAkE;EACnE,MAAM,QAAQ,CAACA,SAAe,IAAI,GAAG,MAAM;EAC3C,aAAO,aAAa,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK;EACtC,MAAM,aAAa,CAAC,GAAG,OAAO,GAAG,iBAAiB,KAAK,CAAC,CAAC,IAAI,gBAAgB,CAAC;EAC9E,aAAO,aAAa,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI;CAC5C,CAAC;CAED,GAAG,wEAAwE;EACzE,MAAM,UAAU;GAACA,SAAe,IAAI;GAAG;GAAU;GAAQ;EAAc;EACvE,MAAM,WAAW,iBAAiB,SAAS,eAAe;EAC1D,aAAO,QAAQ,CAAC,CAAC,aAAa,CAAC;EAC/B,MAAM,IAAI,SAAS;EACnB,aAAO,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;EAC9B,aAAO,CAAC,CAAC,CAAC,cAAc;GACtB,MAAM;GACN,SAAS;GACT,MAAM;GACN,QAAQ;EACV,CAAC;CACH,CAAC;CAED,GAAG,qFAAqF;EACtF,MAAM,QAAQ,CAACA,SAAe,eAAe,GAAG,MAAM;EACtD,MAAM,WAAW,iBAAiB,OAAO,iBAAiB;EAC1D,MAAM,aAAa;GAAC,GAAG;GAAO,GAAG,SAAS,IAAI,gBAAgB;GAAGA,SAAe,YAAY;EAAC;EAC7F,aAAO,oBAAoB,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;CACxD,CAAC;AACH,CAAC;AAMD,SAAS,0BAA0B;CACjC,GAAG,oCAAoC;EAOrC,MAAM,MAAM,iBAAiB;GAL3B,MAAM;GACN,SAAS;GACT,MAAM;GACN,OAAO,EAAE,OAAO,EAAE;EAES,CAAC;EAC9B,aAAO,IAAI,OAAO,CAAC,CAAC,KAAK,IAAI;EAC7B,aAAO,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrD,CAAC;CAED,GAAG,gEAAgE;EAQjE,MAAM,MAAM,iBAAiB;GAN3B,MAAM;GACN,SAAS;GACT,MAAM;GACN,MAAM;GACN,QAAQ;EAEmB,CAAC;EAC9B,aAAO,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO;GAAE,MAAM;GAAU,SAAS;EAAe,EAAE,CAAC;CAC/F,CAAC;CAED,GAAG,0DAA0D;EAO3D,MAAM,MAAM,iBAAiB;GAL3B,MAAM;GACN,SAAS;GACT,MAAM;GACN,MAAM;EAEqB,CAAC;EAC9B,aAAO,KAAK,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,EAAE,CAAC;CACzE,CAAC;AACH,CAAC;AAMD,SAAS,aAAa;CACpB,GAAG,+BAA+B,YAAY;EAC5C,MAAM,YAAY,MAAM,OAAO,WAAW,OAAO,WAAW,IAAI,UAAU,KAAK,CAAC,CAAC;EACjF,aAAO,UAAU,OAAO,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC;EACjD,aAAO,UAAU,OAAO,QAAQ,CAAC,CAAC,OAAO,MAAM,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;CAC3E,CAAC;AACH,CAAC"}

package/dist/tool/ToolResult.d.mts

@@ -1,2 +0,0 @@
-import { a as executionError, c as isOk, d as toToolCallOutput, f as validationError, i as denied, l as nonLocalTool, o as failed, r as cancelled, s as isFailure, t as ToolResult, u as serializeValue } from "../ToolResult-BsYQRjmW.mjs";
-export { ToolResult, cancelled, denied, executionError, failed, isFailure, isOk, nonLocalTool, serializeValue, toToolCallOutput, validationError };

package/dist/tool/ToolResult.mjs

@@ -1,85 +0,0 @@
-import { n as __exportAll } from "../rolldown-runtime-EAsCxrDo.mjs";
-import { toolCallOutput } from "../domain/Items.mjs";
-import { Data } from "effect";
-//#region src/tool/ToolResult.ts
-/**
-* Post-execution and synthetic tool results.
-*
-*   - Executed tools emit ToolResult.Ok.
-*   - Approval/cancellation policy emits synthetic ToolResult.Failure.
-*
-* Wire conversion stays at the recipe boundary via `toToolCallOutput`
-* so recipes can inspect, redact, or audit values before serialization.
-*
-* `output` and `reason` are `string`, not `unknown`: the wire wants strings,
-* and `unknown` would invite non-serializable values (Date, Map, BigInt,
-* fn). Recipes that want structured detail JSON.stringify themselves.
-*/
-var ToolResult_exports = /* @__PURE__ */ __exportAll({
-	ToolResult: () => ToolResult,
-	cancelled: () => cancelled,
-	denied: () => denied,
-	executionError: () => executionError,
-	failed: () => failed,
-	isFailure: () => isFailure,
-	isOk: () => isOk,
-	nonLocalTool: () => nonLocalTool,
-	serializeValue: () => serializeValue,
-	toToolCallOutput: () => toToolCallOutput,
-	validationError: () => validationError
-});
-/**
-* Namespace of constructors, type guards, and matchers for `ToolResult`,
-* provided by `Data.taggedEnum`. Use `ToolResult.$is("Ok")` for type
-* narrowing and `ToolResult.$match({ Ok, Failure })` for exhaustive
-* pattern matching. Synthetic-result helpers (`denied`, `cancelled`,
-* `executionError`, `failed`) below are kinder constructors than the
-* raw `ToolResult.Failure(...)`.
-*/
-const ToolResult = Data.taggedEnum();
-const isOk = ToolResult.$is("Ok");
-const isFailure = ToolResult.$is("Failure");
-const failed = (call, kind, reason) => ToolResult.Failure({
-	call_id: call.call_id,
-	tool: call.name,
-	kind,
-	...reason !== void 0 ? { reason } : {}
-});
-/** Explicit user/policy rejection. */
-const denied = (call, reason) => failed(call, "denied", reason);
-/** Implicit non-answer (follow-up, inactivity, abort). */
-const cancelled = (call, reason) => failed(call, "cancelled", reason);
-/** Tool's own execution failed (JSON parse error, runtime crash). */
-const executionError = (call, reason) => failed(call, "execution_error", reason);
-/**
-* The model called a tool that is visible to it but has no local executor — a
-* provider-hosted, signal, or interaction tool routed through `Toolkit.run`.
-* Distinct from `unknown_tool` (no such tool at all): the loop is expected to
-* intercept these kinds before execution, so this kind flags a missing handler.
-*/
-const nonLocalTool = (call, reason) => failed(call, "non_local_tool", reason ?? `Tool "${call.name}" is visible to the model but has no local executor`);
-/**
-* The model's `arguments` failed the tool's input schema. Distinct kind from
-* `execution_error` so recipes can tell a contract violation apart from a
-* runtime crash.
-*/
-const validationError = (call, reason) => failed(call, "input_validation_error", reason ?? "Tool input failed schema validation");
-/**
-* Serialize a success value for the wire. A `string` passes through raw
-* (models read plain text best; JSON.stringify would quote and escape it);
-* `undefined` becomes `"null"`; anything else is JSON.
-*/
-const serializeValue = (value) => typeof value === "string" ? value : JSON.stringify(value ?? null);
-/** The one failure shape the model sees: `{"error":{"kind","message"}}`. */
-const failureBody = (kind, message) => JSON.stringify({ error: message !== void 0 ? {
-	kind,
-	message
-} : { kind } });
-const toToolCallOutput = (r) => ToolResult.$match(r, {
-	Ok: (v) => toolCallOutput(v.call_id, serializeValue(v.value)),
-	Failure: (f) => toolCallOutput(f.call_id, failureBody(f.kind, f.reason))
-});
-//#endregion
-export { ToolResult, cancelled, denied, executionError, failed, isFailure, isOk, nonLocalTool, serializeValue, ToolResult_exports as t, toToolCallOutput, validationError };
-
-//# sourceMappingURL=ToolResult.mjs.map

package/dist/tool/ToolResult.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"ToolResult.mjs","names":[],"sources":["../../src/tool/ToolResult.ts"],"sourcesContent":["/**\n * Post-execution and synthetic tool results.\n *\n *   - Executed tools emit ToolResult.Ok.\n *   - Approval/cancellation policy emits synthetic ToolResult.Failure.\n *\n * Wire conversion stays at the recipe boundary via `toToolCallOutput`\n * so recipes can inspect, redact, or audit values before serialization.\n *\n * `output` and `reason` are `string`, not `unknown`: the wire wants strings,\n * and `unknown` would invite non-serializable values (Date, Map, BigInt,\n * fn). Recipes that want structured detail JSON.stringify themselves.\n */\nimport { Data } from \"effect\"\nimport type { ToolCall, ToolCallOutput } from \"../domain/Items.js\"\nimport { toolCallOutput } from \"../domain/Items.js\"\n\n// ---------------------------------------------------------------------------\n// ToolResult\n// ---------------------------------------------------------------------------\n\nexport type ToolResult = Data.TaggedEnum<{\n  Ok: {\n    readonly call_id: string\n    readonly tool: string\n    readonly value: unknown\n  }\n  Failure: {\n    readonly call_id: string\n    readonly tool: string\n    readonly kind: string\n    readonly reason?: string\n  }\n}>\n\n/**\n * Namespace of constructors, type guards, and matchers for `ToolResult`,\n * provided by `Data.taggedEnum`. Use `ToolResult.$is(\"Ok\")` for type\n * narrowing and `ToolResult.$match({ Ok, Failure })` for exhaustive\n * pattern matching. Synthetic-result helpers (`denied`, `cancelled`,\n * `executionError`, `failed`) below are kinder constructors than the\n * raw `ToolResult.Failure(...)`.\n */\nexport const ToolResult = Data.taggedEnum<ToolResult>()\n\nexport const isOk = ToolResult.$is(\"Ok\")\nexport const isFailure = ToolResult.$is(\"Failure\")\n\n// Synthesizers. `denied` and `cancelled` are operationally distinct;\n// anything else is just a recipe-chosen `kind` via `failed`.\n// ---------------------------------------------------------------------------\n\nexport const failed = (call: ToolCall, kind: string, reason?: string): ToolResult =>\n  ToolResult.Failure({\n    call_id: call.call_id,\n    tool: call.name,\n    kind,\n    ...(reason !== undefined ? { reason } : {}),\n  })\n\n/** Explicit user/policy rejection. */\nexport const denied = (call: ToolCall, reason?: string): ToolResult =>\n  failed(call, \"denied\", reason)\n\n/** Implicit non-answer (follow-up, inactivity, abort). */\nexport const cancelled = (call: ToolCall, reason?: string): ToolResult =>\n  failed(call, \"cancelled\", reason)\n\n/** Tool's own execution failed (JSON parse error, runtime crash). */\nexport const executionError = (call: ToolCall, reason: string): ToolResult =>\n  failed(call, \"execution_error\", reason)\n\n/**\n * The model called a tool that is visible to it but has no local executor — a\n * provider-hosted, signal, or interaction tool routed through `Toolkit.run`.\n * Distinct from `unknown_tool` (no such tool at all): the loop is expected to\n * intercept these kinds before execution, so this kind flags a missing handler.\n */\nexport const nonLocalTool = (call: ToolCall, reason?: string): ToolResult =>\n  failed(\n    call,\n    \"non_local_tool\",\n    reason ?? `Tool \"${call.name}\" is visible to the model but has no local executor`,\n  )\n\n/**\n * The model's `arguments` failed the tool's input schema. Distinct kind from\n * `execution_error` so recipes can tell a contract violation apart from a\n * runtime crash.\n */\nexport const validationError = (call: ToolCall, reason?: string): ToolResult =>\n  failed(call, \"input_validation_error\", reason ?? \"Tool input failed schema validation\")\n\n// ---------------------------------------------------------------------------\n// Wire conversion - the one place structured → string happens.\n// ---------------------------------------------------------------------------\n\n/**\n * Serialize a success value for the wire. A `string` passes through raw\n * (models read plain text best; JSON.stringify would quote and escape it);\n * `undefined` becomes `\"null\"`; anything else is JSON.\n */\nexport const serializeValue = (value: unknown): string =>\n  typeof value === \"string\" ? value : JSON.stringify(value ?? null)\n\n/** The one failure shape the model sees: `{\"error\":{\"kind\",\"message\"}}`. */\nconst failureBody = (kind: string, message?: string): string =>\n  JSON.stringify({ error: message !== undefined ? { kind, message } : { kind } })\n\nexport const toToolCallOutput = (r: ToolResult): ToolCallOutput =>\n  ToolResult.$match(r, {\n    Ok: (v) => toolCallOutput(v.call_id, serializeValue(v.value)),\n    Failure: (f) => toolCallOutput(f.call_id, failureBody(f.kind, f.reason)),\n  })\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CA,MAAa,aAAa,KAAK,WAAuB;AAEtD,MAAa,OAAO,WAAW,IAAI,IAAI;AACvC,MAAa,YAAY,WAAW,IAAI,SAAS;AAMjD,MAAa,UAAU,MAAgB,MAAc,WACnD,WAAW,QAAQ;CACjB,SAAS,KAAK;CACd,MAAM,KAAK;CACX;CACA,GAAI,WAAW,KAAA,IAAY,EAAE,OAAO,IAAI,CAAC;AAC3C,CAAC;;AAGH,MAAa,UAAU,MAAgB,WACrC,OAAO,MAAM,UAAU,MAAM;;AAG/B,MAAa,aAAa,MAAgB,WACxC,OAAO,MAAM,aAAa,MAAM;;AAGlC,MAAa,kBAAkB,MAAgB,WAC7C,OAAO,MAAM,mBAAmB,MAAM;;;;;;;AAQxC,MAAa,gBAAgB,MAAgB,WAC3C,OACE,MACA,kBACA,UAAU,SAAS,KAAK,KAAK,oDAC/B;;;;;;AAOF,MAAa,mBAAmB,MAAgB,WAC9C,OAAO,MAAM,0BAA0B,UAAU,qCAAqC;;;;;;AAWxF,MAAa,kBAAkB,UAC7B,OAAO,UAAU,WAAW,QAAQ,KAAK,UAAU,SAAS,IAAI;;AAGlE,MAAM,eAAe,MAAc,YACjC,KAAK,UAAU,EAAE,OAAO,YAAY,KAAA,IAAY;CAAE;CAAM;AAAQ,IAAI,EAAE,KAAK,EAAE,CAAC;AAEhF,MAAa,oBAAoB,MAC/B,WAAW,OAAO,GAAG;CACnB,KAAK,MAAM,eAAe,EAAE,SAAS,eAAe,EAAE,KAAK,CAAC;CAC5D,UAAU,MAAM,eAAe,EAAE,SAAS,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC;AACzE,CAAC"}