@pi-archimedes/todo 2.13.0 → 2.14.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pi-archimedes/todo",
-  "version": "2.13.0",
+  "version": "2.14.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/archimedes-codes/pi-archimedes.git"
@@ -19,16 +19,14 @@
     "./prepare-args": "./src/prepare-args.ts"
   },
   "dependencies": {
-    "@pi-archimedes/core": "2.13.0"
+    "@pi-archimedes/core": "2.14.0"
   },
   "peerDependencies": {
-    "@earendil-works/pi-ai": ">=0.99.0",
     "@earendil-works/pi-coding-agent": ">=0.99.0",
     "@earendil-works/pi-tui": ">=0.99.0",
     "typebox": ">=1.1.0"
   },
   "devDependencies": {
-    "@earendil-works/pi-ai": "1.4.0",
     "@earendil-works/pi-coding-agent": "1.4.0",
     "@earendil-works/pi-tui": "1.4.0",
     "typebox": "^1.1.38",

package/src/tool.test.ts

@@ -1,6 +1,9 @@
 import { describe, it, expect } from "vitest";
+import { Value } from "typebox/value";
 import type { AgentToolResult, Theme } from "@earendil-works/pi-coding-agent";
 import { createManageTodoListTool } from "./tool.js";
+import type { ManageTodoListInput } from "./tool.js";
+import { ManageTodoListParams } from "./tool.js";
 import { TodoStateManager } from "./state-manager.js";
 import type { TodoDetails } from "./types.js";
 
@@ -112,6 +115,27 @@ describe("tool schema", () => {
   });
 });
 
+// Parity guards for the schema's enum plumbing. `StringEnum` used to come from
+// pi-ai; it now lives in tool.ts, built on Type.Unsafe. Two ways that move can
+// go silently wrong, so both are pinned here: the emitted JSON Schema can stop
+// rejecting out-of-vocabulary values (caught below by Value.Check), and the
+// derived TypeScript type can widen from a narrow union to `string` — invisible
+// to every runtime assertion, so it is caught at compile time.
+describe("schema enum guards", () => {
+  it("rejects out-of-vocabulary operation values at runtime", () => {
+    expect(Value.Check(ManageTodoListParams, { operation: "nope" })).toBe(false);
+    expect(Value.Check(ManageTodoListParams, { operation: "read" })).toBe(true);
+  });
+
+  it("keeps operation a narrow union at the type level", () => {
+    const good: ManageTodoListInput = { operation: "read" };
+    // @ts-expect-error "nope" is not a member of the operation union
+    const bad: ManageTodoListInput = { operation: "nope" };
+    void good;
+    void bad;
+  });
+});
+
 describe("renderResult — successful results unchanged", () => {
   it("renders the completed counter from details.todos", () => {
     const result = {

package/src/tool.ts

@@ -1,4 +1,4 @@
-import { type Static, StringEnum, Type } from "@earendil-works/pi-ai";
+import { Type, type Static } from "typebox";
 import type { AgentToolResult, EventBus, ExtensionContext, Theme, ToolRenderResultOptions } from "@earendil-works/pi-coding-agent";
 import { Text } from "@earendil-works/pi-tui";
 import { Events, emitOn } from "@pi-archimedes/core/events";
@@ -8,6 +8,24 @@ import type { TodoStateManager } from "./state-manager.js";
 import { STATUS_ICONS } from "./types.js";
 import type { TodoDetails, TodoItem, TodoStatus } from "./types.js";
 
+/**
+ * pi-ai shipped this helper; typebox has no equivalent, and pi 1.5.0 dropped
+ * pi-ai's typebox re-exports, so the suite no longer takes schema symbols from
+ * the host. Emits the identical JSON Schema: { type: "string", enum: [...] }.
+ * pi-ai's version also accepted a `default`; no caller here does, so it is not
+ * carried.
+ */
+function StringEnum<T extends readonly string[]>(
+  values: readonly [...T],
+  options?: { description?: string },
+) {
+  return Type.Unsafe<T[number]>({
+    type: "string",
+    enum: [...values],
+    ...(options?.description ? { description: options.description } : {}),
+  });
+}
+
 const TodoItemSchema = Type.Object({
   content: Type.String({
     description: "Short imperative label for the task (3-10 words). Displayed in UI. Example: \"Fix the auth middleware\".",