@vitest-agent/mcp 5.4.0 → 6.0.1

package/tools/settings-list.js

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 
 // src/tools/settings-list.ts
 const SettingsRow = Schema.Struct({

package/tools/status.js

@@ -1,7 +1,7 @@
 import { ToolOutputSchema } from "@effected/mcp";
 import { Effect, Option, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 import { CacheManifestEntry, StrayOutput } from "@vitest-agent/sdk";
 
 // src/tools/status.ts

package/tools/tdd-artifact.js

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 
 // src/tools/tdd-artifact.ts
 const ArtifactKindSchema = Schema.Literals([

package/tools/tdd-behavior.js

@@ -1,11 +1,10 @@
 import { IdempotentReplayMarker } from "../utils/replay-marker.js";
-import { catchTddErrorsAsEnvelope } from "./_tdd-error-envelope.js";
-import { McpToolkit, ToolOutputSchema, ToolRefusal } from "@effected/mcp";
+import { behaviorNotFound, goalNotFound, illegalStatusTransition, tddEnvelope, tddTaskAlreadyEnded, tddTaskNotFound } from "./_tdd-error-envelope.js";
+import { McpToolkit, ToolOutcome, ToolRefusal } from "@effected/mcp";
 import { Effect, Match, Option, Schema } from "effect";
-import { DataReader, DataStore } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, DataStore } from "@vitest-agent/engine";
 import { BehaviorDetail, BehaviorRow } from "@vitest-agent/sdk";
-import { Remediation } from "@effected/engine";
 
 // src/tools/tdd-behavior.ts
 /**
@@ -23,13 +22,6 @@ const BehaviorStatus = Schema.Literals([
 	"done",
 	"abandoned"
 ]);
-const TddBehaviorErrorEnvelope = Schema.Struct({
-	ok: Schema.Literal(false).annotate({ description: "Discriminant — `false` when a tagged TDD error was caught." }),
-	error: Schema.StructWithRest(Schema.Struct({
-		_tag: Schema.String.annotate({ description: "Tagged error name (e.g. BehaviorNotFoundError, GoalNotFoundError)." }),
-		remediation: Remediation.annotate({ description: "Suggested next action: a plain-language hint, the tool to call, and its arguments." })
-	}), [Schema.Record(Schema.String, Schema.Unknown)])
-}).annotate({ identifier: "TddBehaviorErrorEnvelope" });
 const TddBehaviorCreateOk = Schema.Struct({
 	ok: Schema.Literal(true),
 	action: Schema.Literal("create"),
@@ -73,16 +65,15 @@ const TddBehaviorListByTddTaskOk = Schema.Struct({
 *
 * @public
 */
-const TddBehaviorResult = ToolOutputSchema.objectRooted(Schema.Union([
+const TddBehaviorResult = tddEnvelope(Schema.Union([
 	TddBehaviorCreateOk,
 	TddBehaviorUpdateOk,
 	TddBehaviorDeleteOk,
 	TddBehaviorGetFound,
 	TddBehaviorGetMissing,
 	TddBehaviorListByGoalOk,
-	TddBehaviorListByTddTaskOk,
-	TddBehaviorErrorEnvelope
-])).annotate({
+	TddBehaviorListByTddTaskOk
+]), "TddBehaviorErrorEnvelope").annotate({
 	identifier: "TddBehaviorResult",
 	title: "tdd_behavior result",
 	description: "Discriminate on `action` (or `ok=false` for the tagged-error envelope)."
@@ -138,7 +129,7 @@ const TddBehaviorInput = Schema.Union([
 * @public
 */
 const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminatorsExhaustive("action")({
-	create: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	create: (variant) => Effect.gen(function* () {
 		return {
 			ok: true,
 			action: "create",
@@ -149,8 +140,13 @@ const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminator
 				...variant.dependsOnBehaviorIds !== void 0 && { dependsOnBehaviorIds: variant.dependsOnBehaviorIds }
 			})
 		};
+	}).pipe(ToolOutcome.catchAsEnvelope({
+		GoalNotFoundError: goalNotFound,
+		BehaviorNotFoundError: behaviorNotFound,
+		TddTaskAlreadyEndedError: tddTaskAlreadyEnded,
+		IllegalStatusTransitionError: illegalStatusTransition
 	})),
-	update: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	update: (variant) => Effect.gen(function* () {
 		return {
 			ok: true,
 			action: "update",
@@ -162,15 +158,19 @@ const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminator
 				...variant.dependsOnBehaviorIds !== void 0 && { dependsOnBehaviorIds: variant.dependsOnBehaviorIds }
 			})
 		};
+	}).pipe(ToolOutcome.catchAsEnvelope({
+		BehaviorNotFoundError: behaviorNotFound,
+		TddTaskAlreadyEndedError: tddTaskAlreadyEnded,
+		IllegalStatusTransitionError: illegalStatusTransition
 	})),
-	delete: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	delete: (variant) => Effect.gen(function* () {
 		yield* (yield* DataStore).deleteBehavior(variant.id);
 		return {
 			ok: true,
 			action: "delete",
 			id: variant.id
 		};
-	})),
+	}).pipe(ToolOutcome.catchAsEnvelope({ BehaviorNotFoundError: behaviorNotFound })),
 	get: (variant) => Effect.gen(function* () {
 		const opt = yield* (yield* DataReader).getBehaviorById(variant.id);
 		return Option.isNone(opt) ? {
@@ -183,7 +183,7 @@ const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminator
 			behavior: opt.value
 		};
 	}),
-	list_by_goal: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	list_by_goal: (variant) => Effect.gen(function* () {
 		const store = yield* DataStore;
 		const reader = yield* DataReader;
 		yield* store.listBehaviorsByGoal(variant.goalId);
@@ -194,8 +194,8 @@ const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminator
 			goalId: variant.goalId,
 			behaviors
 		};
-	})),
-	list_by_tdd_task: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	}).pipe(ToolOutcome.catchAsEnvelope({ GoalNotFoundError: goalNotFound })),
+	list_by_tdd_task: (variant) => Effect.gen(function* () {
 		const store = yield* DataStore;
 		const reader = yield* DataReader;
 		yield* store.listBehaviorsByTddTask(variant.tddTaskId);
@@ -206,7 +206,7 @@ const handleTddBehavior = (input) => Match.value(input).pipe(Match.discriminator
 			tddTaskId: variant.tddTaskId,
 			behaviors
 		};
-	}))
+	}).pipe(ToolOutcome.catchAsEnvelope({ TddTaskNotFoundError: tddTaskNotFound }))
 })).pipe(Effect.orDie);
 /**
 * The Effect-native `tdd_behavior` tool.

package/tools/tdd-goal.js

@@ -1,11 +1,10 @@
 import { IdempotentReplayMarker } from "../utils/replay-marker.js";
-import { catchTddErrorsAsEnvelope } from "./_tdd-error-envelope.js";
-import { McpToolkit, ToolOutputSchema, ToolRefusal } from "@effected/mcp";
+import { goalNotFound, illegalStatusTransition, tddEnvelope, tddTaskAlreadyEnded, tddTaskNotFound } from "./_tdd-error-envelope.js";
+import { McpToolkit, ToolOutcome, ToolRefusal } from "@effected/mcp";
 import { Effect, Match, Option, Schema } from "effect";
-import { DataReader, DataStore } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, DataStore } from "@vitest-agent/engine";
 import { GoalDetail, GoalRow } from "@vitest-agent/sdk";
-import { Remediation } from "@effected/engine";
 
 // src/tools/tdd-goal.ts
 /**
@@ -13,9 +12,9 @@ import { Remediation } from "@effected/engine";
 *
 * Replaces `tdd_goal_create`, `tdd_goal_update`, `tdd_goal_delete`,
 * `tdd_goal_get`, and `tdd_goal_list` with a single tool keyed on
-* `action`. All five tagged TDD errors are caught and surfaced as
-* `{ ok: false, error: { _tag, ..., remediation } }` envelopes via
-* the shared helper.
+* `action`. The tagged TDD errors each store call can raise are caught
+* and surfaced as `{ ok: false, error: { _tag, message, remediation, ... } }`
+* envelopes via `ToolOutcome.catchAsEnvelope`.
 */
 const GoalStatus = Schema.Literals([
 	"pending",
@@ -23,13 +22,6 @@ const GoalStatus = Schema.Literals([
 	"done",
 	"abandoned"
 ]);
-const TddErrorEnvelope = Schema.Struct({
-	ok: Schema.Literal(false).annotate({ description: "Discriminant — `false` when a tagged TDD error was caught." }),
-	error: Schema.StructWithRest(Schema.Struct({
-		_tag: Schema.String.annotate({ description: "Tagged error name (e.g. GoalNotFoundError, TddTaskNotFoundError)." }),
-		remediation: Remediation.annotate({ description: "Suggested next action: a plain-language hint, the tool to call, and its arguments." })
-	}), [Schema.Record(Schema.String, Schema.Unknown)])
-}).annotate({ identifier: "TddErrorEnvelope" });
 const TddGoalCreateOk = Schema.Struct({
 	ok: Schema.Literal(true),
 	action: Schema.Literal("create"),
@@ -67,15 +59,14 @@ const TddGoalListOk = Schema.Struct({
 *
 * @public
 */
-const TddGoalResult = ToolOutputSchema.objectRooted(Schema.Union([
+const TddGoalResult = tddEnvelope(Schema.Union([
 	TddGoalCreateOk,
 	TddGoalUpdateOk,
 	TddGoalDeleteOk,
 	TddGoalGetFound,
 	TddGoalGetMissing,
-	TddGoalListOk,
-	TddErrorEnvelope
-])).annotate({
+	TddGoalListOk
+]), "TddErrorEnvelope").annotate({
 	identifier: "TddGoalResult",
 	title: "tdd_goal result",
 	description: "Discriminate first on `action` (or on `ok=false` for the tagged-error envelope). Get returns `found:true|false`; create/update/delete/list return `ok:true` on success."
@@ -122,7 +113,7 @@ const TddGoalInput = Schema.Union([
 * @public
 */
 const handleTddGoal = (input) => Match.value(input).pipe(Match.discriminatorsExhaustive("action")({
-	create: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	create: (variant) => Effect.gen(function* () {
 		return {
 			ok: true,
 			action: "create",
@@ -131,8 +122,11 @@ const handleTddGoal = (input) => Match.value(input).pipe(Match.discriminatorsExh
 				goal: variant.goal
 			})
 		};
+	}).pipe(ToolOutcome.catchAsEnvelope({
+		TddTaskNotFoundError: tddTaskNotFound,
+		TddTaskAlreadyEndedError: tddTaskAlreadyEnded
 	})),
-	update: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	update: (variant) => Effect.gen(function* () {
 		return {
 			ok: true,
 			action: "update",
@@ -142,15 +136,19 @@ const handleTddGoal = (input) => Match.value(input).pipe(Match.discriminatorsExh
 				...variant.status !== void 0 && { status: variant.status }
 			})
 		};
+	}).pipe(ToolOutcome.catchAsEnvelope({
+		GoalNotFoundError: goalNotFound,
+		TddTaskAlreadyEndedError: tddTaskAlreadyEnded,
+		IllegalStatusTransitionError: illegalStatusTransition
 	})),
-	delete: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	delete: (variant) => Effect.gen(function* () {
 		yield* (yield* DataStore).deleteGoal(variant.id);
 		return {
 			ok: true,
 			action: "delete",
 			id: variant.id
 		};
-	})),
+	}).pipe(ToolOutcome.catchAsEnvelope({ GoalNotFoundError: goalNotFound })),
 	get: (variant) => Effect.gen(function* () {
 		const opt = yield* (yield* DataReader).getGoalById(variant.id);
 		return Option.isNone(opt) ? {
@@ -163,7 +161,7 @@ const handleTddGoal = (input) => Match.value(input).pipe(Match.discriminatorsExh
 			goal: opt.value
 		};
 	}),
-	list: (variant) => catchTddErrorsAsEnvelope(Effect.gen(function* () {
+	list: (variant) => Effect.gen(function* () {
 		const store = yield* DataStore;
 		const reader = yield* DataReader;
 		yield* store.listGoalsByTddTask(variant.tddTaskId);
@@ -174,7 +172,7 @@ const handleTddGoal = (input) => Match.value(input).pipe(Match.discriminatorsExh
 			tddTaskId: variant.tddTaskId,
 			goals
 		};
-	}))
+	}).pipe(ToolOutcome.catchAsEnvelope({ TddTaskNotFoundError: tddTaskNotFound }))
 })).pipe(Effect.orDie);
 /**
 * The Effect-native `tdd_goal` tool.

package/tools/tdd-phase-transition-request.js

@@ -1,7 +1,7 @@
 import { ToolOutputSchema } from "@effected/mcp";
 import { Effect, Option, Schema } from "effect";
-import { DataReader, DataStore } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, DataStore } from "@vitest-agent/engine";
 import { requiredArtifactForTransition, transitionEnforcesBehaviorMatch, validatePhaseTransition } from "@vitest-agent/sdk";
 import { Remediation } from "@effected/engine";
 

package/tools/tdd-progress-push.js

@@ -1,6 +1,6 @@
 import { Effect, Option, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { McpServer, Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 import { ChannelEvent } from "@vitest-agent/sdk";
 
 // src/tools/tdd-progress-push.ts

package/tools/tdd-task.js

@@ -1,8 +1,8 @@
 import { IdempotentReplayMarker } from "../utils/replay-marker.js";
 import { McpToolkit, ToolFailure, ToolOutputSchema, ToolRefusal } from "@effected/mcp";
 import { Effect, Match, Option, Schema } from "effect";
-import { DataReader, DataStore } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, DataStore } from "@vitest-agent/engine";
 import { GoalDetail } from "@vitest-agent/sdk";
 
 // src/tools/tdd-task.ts

package/tools/test.js

@@ -1,8 +1,8 @@
 import { collectProjectRows, resolveProjectTargets } from "./_project-groups.js";
 import { McpToolkit, ToolOutputSchema, ToolRefusal } from "@effected/mcp";
 import { Effect, Match, Option, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 
 // src/tools/test.ts
 const TestRowSchema = Schema.Struct({

package/tools/trends.js

@@ -1,7 +1,7 @@
 import { ToolOutputSchema } from "@effected/mcp";
 import { Effect, Option, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 import { TrendRecord } from "@vitest-agent/sdk";
 
 // src/tools/trends.ts

package/tools/triage-brief.js

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect";
-import { DataReader, formatTriageEffect } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, formatTriageEffect } from "@vitest-agent/engine";
 
 // src/tools/triage-brief.ts
 /**

package/tools/turn-search.js

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect";
-import { DataReader } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader } from "@vitest-agent/engine";
 
 // src/tools/turn-search.ts
 const TurnRow = Schema.Struct({

package/tools/wrapup-prompt.js

@@ -1,6 +1,6 @@
 import { Effect, Schema } from "effect";
-import { DataReader, formatWrapupEffect } from "@vitest-agent/engine";
 import { Tool } from "effect/ai";
+import { DataReader, formatWrapupEffect } from "@vitest-agent/engine";
 
 // src/tools/wrapup-prompt.ts
 /**

package/tsdoc-metadata.json

@@ -5,7 +5,7 @@
   "toolPackages": [
     {
       "packageName": "@microsoft/api-extractor",
-      "packageVersion": "7.59.4"
+      "packageVersion": "7.60.0"
     }
   ]
 }

package/utils/safe-format-fatal-error.js

@@ -1,4 +1,4 @@
-import { formatFatalError } from "@vitest-agent/sdk";
+import { formatFatalError } from "@vitest-agent/engine";
 
 // src/utils/safe-format-fatal-error.ts
 /**

package/version.js

@@ -7,6 +7,6 @@
 *
 * @public
 */
-const CURRENT_MCP_VERSION = "5.4.0";
+const CURRENT_MCP_VERSION = "6.0.1";
 
 export { CURRENT_MCP_VERSION };

package/idempotency.js

@@ -1,123 +0,0 @@
-import { Effect, Option } from "effect";
-import { DataReader, DataStore } from "@vitest-agent/engine";
-
-// src/idempotency.ts
-/**
-* Narrow a raw tool payload to the action-shaped object every consolidated
-* spec keys on: a non-null object carrying an `action` key. Anything else
-* (including a legacy non-action payload) yields `null`, which every spec
-* maps to "not idempotent".
-*/
-const asActionInput = (input) => input !== null && typeof input === "object" && "action" in input ? input : null;
-/**
-* Registered idempotency specs for mutation tools.
-*
-* `hypothesis validate` is covered (key: `validate:${id}:${outcome}`).
-* `hypothesis record` is deliberately not covered — see the note in the
-* hypothesis spec below.
-*
-* Add an entry here whenever a new idempotent mutation is introduced.
-*
-* @public
-*/
-const idempotencyKeys = [
-	{
-		procedurePath: "hypothesis",
-		deriveKey: (input) => {
-			const i = asActionInput(input);
-			if (i === null) return null;
-			if (i.action === "validate" && typeof i.id === "number" && typeof i.outcome === "string") return `validate:${i.id}:${i.outcome}`;
-			return null;
-		}
-	},
-	{
-		procedurePath: "tdd_task",
-		deriveKey: (input) => {
-			const i = asActionInput(input);
-			if (i === null) return null;
-			if (i.action === "start" && typeof i.goal === "string") {
-				if (typeof i.runId === "string") {
-					if (typeof i.sessionId === "number") return `start:sid:${i.sessionId}:run:${i.runId}`;
-					if (typeof i.chatId === "string") return `start:chat:${i.chatId}:run:${i.runId}`;
-				}
-				if (typeof i.sessionId === "number") return `start:sid:${i.sessionId}:${i.goal}`;
-				if (typeof i.chatId === "string") return `start:chat:${i.chatId}:${i.goal}`;
-			}
-			if (i.action === "end" && typeof i.tddTaskId === "number" && typeof i.outcome === "string") return `end:${i.tddTaskId}:${i.outcome}`;
-			return null;
-		}
-	},
-	{
-		procedurePath: "tdd_goal",
-		deriveKey: (input) => {
-			const i = asActionInput(input);
-			if (i === null) return null;
-			if (i.action === "create" && typeof i.tddTaskId === "number" && typeof i.goal === "string") return `create:${i.tddTaskId}:${i.goal}`;
-			return null;
-		}
-	},
-	{
-		procedurePath: "tdd_behavior",
-		deriveKey: (input) => {
-			const i = asActionInput(input);
-			if (i === null) return null;
-			if (i.action === "create" && typeof i.goalId === "number" && typeof i.behavior === "string") return `create:${i.goalId}:${i.behavior}`;
-			return null;
-		}
-	}
-];
-/** Lookup table keyed by tool name for O(1) spec retrieval. */
-const keySpecByPath = new Map(idempotencyKeys.map((s) => [s.procedurePath, s]));
-/** Merges the `_idempotentReplay` marker into an object payload; passes any other shape through unchanged. */
-const withReplayMarker = (parsed) => parsed !== null && typeof parsed === "object" ? {
-	...parsed,
-	_idempotentReplay: true
-} : parsed;
-/**
-* Wraps `handler` with idempotent-response caching keyed on `path`.
-*
-* Semantics (unchanged from the retired tRPC middleware):
-*
-* 1. Look up the `IdempotencyKeySpec` registered for `path`, and
-*    derive a key from `params` (already decoded — strict registration
-*    guarantees no key was stripped). No registered spec, or a `null`
-*    key, runs `handler` untouched with nothing cached.
-* 2. Cache HIT — `DataReader.findIdempotentResponse` returns the stored
-*    JSON. A row that parses falls through to step 2a; a row that fails
-*    to parse (corrupt or truncated) is treated as step 3, a cache MISS —
-*    it is not a reason to fail the call.
-* 2a. The parsed value is merged with `_idempotentReplay: true` for an
-*    object payload (a non-object payload passes through unchanged).
-*    `handler` does not run.
-* 3. Cache MISS — run `handler`, then persist the result via
-*    `DataStore.recordIdempotentResponse` best-effort: a persistence
-*    failure (or a cache-lookup failure) never surfaces to the caller, it
-*    is swallowed so a transient DB failure doesn't turn into a tool
-*    error. A failed `handler` persists nothing, so a retry re-runs it.
-*
-* The combinator reads no ambient state — `path` and `params` are its
-* only inputs beyond the `DataReader` / `DataStore` services it adds to
-* `handler`'s requirements.
-*
-* @public
-*/
-const withIdempotency = (path, handler) => (params) => Effect.gen(function* () {
-	const spec = keySpecByPath.get(path);
-	const key = spec === void 0 ? null : spec.deriveKey(params);
-	if (key === null) return yield* handler(params);
-	const cached = yield* (yield* DataReader).findIdempotentResponse(path, key).pipe(Effect.orElseSucceed(() => Option.none()));
-	if (Option.isSome(cached)) {
-		const parsed = yield* Effect.try(() => JSON.parse(cached.value)).pipe(Effect.map(Option.some), Effect.orElseSucceed(() => Option.none()));
-		if (Option.isSome(parsed)) return withReplayMarker(parsed.value);
-	}
-	const result = yield* handler(params);
-	yield* (yield* DataStore).recordIdempotentResponse({
-		procedurePath: path,
-		key,
-		resultJson: JSON.stringify(result),
-		createdAt: (/* @__PURE__ */ new Date()).toISOString()
-	}).pipe(Effect.orElseSucceed(() => void 0));
-	return result;
-});
-
-export { idempotencyKeys, withIdempotency };