@sema-agent/core 7.7.0 → 7.9.0

package/dist/tools/task-list.js

@@ -1,4 +1,5 @@
 import { Type } from "typebox";
+import { toolFace } from "../core/tool-catalog-entries.js";
 const STATUS = Type.Union([
     Type.Literal("pending"),
     Type.Literal("in_progress"),
@@ -96,7 +97,7 @@ export function createTaskListTools(store) {
     const tasks = store ?? createMemoryTaskListStore();
     const taskCreate = {
         name: "TaskCreate",
-        contract: { contractId: "core.task_create@1", implementationRevision: "1" },
+        ...toolFace("task-create"),
         description: "Use this tool to create a structured task list for your current session. This helps you track progress, organize complex tasks, and demonstrate thoroughness.\n" +
             "It also helps the user understand the progress of the task and overall progress of their requests.\n" +
             "\n" +
@@ -144,7 +145,6 @@ export function createTaskListTools(store) {
             activeForm: Type.Optional(Type.String({ description: 'Present continuous form shown when in_progress (e.g., "Running tests")' })),
             metadata: Type.Optional(Type.Record(Type.String(), Type.Unknown(), { description: "Arbitrary metadata to attach to the task" })),
         }),
-        effect: "write",
         execute: (args) => serialized(tasks, async (tx) => {
             const a = args;
             if (a.metadata)
@@ -169,7 +169,7 @@ export function createTaskListTools(store) {
     };
     const taskGet = {
         name: "TaskGet",
-        contract: { contractId: "core.task_get@1", implementationRevision: "1" },
+        ...toolFace("task-get"),
         description: "Use this tool to retrieve a task by its ID from the task list.\n" +
             "\n" +
             "## When to Use This Tool\n" +
@@ -189,7 +189,6 @@ export function createTaskListTools(store) {
         parameters: Type.Object({
             taskId: Type.String({ description: "The ID of the task to retrieve" }),
         }),
-        effect: "read",
         execute: (args) => serialized(tasks, async (tx) => {
             const id = String(args.taskId);
             const t = await tx.get(id);
@@ -201,7 +200,7 @@ export function createTaskListTools(store) {
     };
     const taskUpdate = {
         name: "TaskUpdate",
-        contract: { contractId: "core.task_update@1", implementationRevision: "1" },
+        ...toolFace("task-update"),
         description: "Use this tool to update a task in the task list.\n" +
             "\n" +
             "## When to Use This Tool\n" +
@@ -285,7 +284,6 @@ export function createTaskListTools(store) {
             addBlocks: Type.Optional(Type.Array(Type.String(), { description: "Task IDs that this task blocks" })),
             addBlockedBy: Type.Optional(Type.Array(Type.String(), { description: "Task IDs that block this task" })),
         }),
-        effect: "idempotent",
         execute: (args) => serialized(tasks, async (tx) => {
             const a = args;
             const id = String(a.taskId);
@@ -395,7 +393,7 @@ export function createTaskListTools(store) {
     };
     const taskList = {
         name: "TaskList",
-        contract: { contractId: "core.task_list@1", implementationRevision: "1" },
+        ...toolFace("task-list"),
         description: "Use this tool to list all tasks in the task list.\n" +
             "\n" +
             "## When to Use This Tool\n" +
@@ -420,7 +418,6 @@ export function createTaskListTools(store) {
             "\n" +
             "Use TaskGet with a specific task ID to view full details including description and metadata.",
         parameters: Type.Object({}),
-        effect: "read",
         execute: () => serialized(tasks, async (tx) => {
             const all = await tx.list();
             if (all.length === 0) {

package/dist/tools/todo.js

@@ -1,10 +1,11 @@
 import { Type } from "typebox";
 import { errorResult } from "../core/tools.js";
+import { toolFace } from "../core/tool-catalog-entries.js";
 export function createTodoWriteTool() {
     let todos = [];
     return {
         name: "TodoWrite",
-        contract: { contractId: "core.todo_write@1", implementationRevision: "1" },
+        ...toolFace("todo-write"),
         description: "Create and update a task list for the current session. The list is rendered to the user as your working plan.\n" +
             "\n" +
             '- Each todo has `content`, `status` ("pending" | "in_progress" | "completed"), and `activeForm` (present-tense label shown while in progress).\n' +
@@ -80,7 +81,6 @@ export function createTodoWriteTool() {
                 activeForm: Type.String({ minLength: 1, description: "Present-continuous form shown while in progress (e.g. \"Running the tests\")." }),
             })),
         }),
-        effect: "idempotent",
         execute: (args) => {
             const shape = (t) => ({ content: t.content, status: t.status, activeForm: t.activeForm });
             const oldTodos = todos.map(shape);

package/dist/tools/web.js

@@ -7,6 +7,7 @@ import { isPrivateHost } from "../core/runner/image.js";
 import { DEFAULT_CHARS_PER_TOKEN } from "../internal/harness.js";
 import { binaryMagicFormat } from "./fs/safety.js";
 import { pdfMagicMatches } from "./fs/pdf.js";
+import { toolFace } from "../core/tool-catalog-entries.js";
 const MAX_REDIRECTS = 10;
 const MAX_URL_LENGTH = 2048;
 const WEBFETCH_ACCEPT = "text/markdown, text/html, */*";
@@ -262,7 +263,7 @@ export function webFetchToolSpec(config = {}) {
     const canSummarize = config.summarize !== undefined;
     return {
         name: "WebFetch",
-        contract: { contractId: "core.web_fetch@1", implementationRevision: "1" },
+        ...toolFace("web-fetch"),
         description: (canSummarize
             ? "Fetches a URL, converts the page to markdown, and answers `prompt` against it with a sub-model.\n"
             : "Fetches a URL, converts the page to markdown, and returns the markdown. This deployment has no " +
@@ -278,8 +279,6 @@ export function webFetchToolSpec(config = {}) {
                 ? { prompt: Type.Optional(Type.String({ description: "The prompt to run on the fetched content (answered by the configured sub-model)." })) }
                 : {}),
         }),
-        effect: "read",
-        contentOrigin: "external",
         execute: async (args, ctx) => {
             const { url, prompt } = args;
             const startedAt = Date.now();
@@ -844,7 +843,7 @@ export function createWebSearchTool(config) {
     const currentMonthYear = new Date().toLocaleString("en-US", { month: "long", year: "numeric" });
     return {
         name: "WebSearch",
-        contract: { contractId: "core.web_search@1", implementationRevision: "1" },
+        ...toolFace("web-search"),
         description: "Search the web. Returns result blocks with titles and URLs.\n" +
             "\n" +
             `- The current month is ${currentMonthYear} — use this when searching for recent information.\n` +
@@ -857,8 +856,6 @@ export function createWebSearchTool(config) {
             allowed_domains: Type.Optional(Type.Array(Type.String(), { description: "Only include search results from these domains" })),
             blocked_domains: Type.Optional(Type.Array(Type.String(), { description: "Never include search results from these domains" })),
         }),
-        effect: "read",
-        contentOrigin: "external",
         execute: async (args, ctx) => {
             const { query, allowed_domains, blocked_domains } = args;
             const startedAt = Date.now();

package/dist/tools/worktree.js

@@ -2,6 +2,7 @@ import { resolve } from "node:path";
 import { Type } from "typebox";
 import { defineTool, errorResult } from "../core/tools.js";
 import { addWorktree, pruneWorktrees, WORKTREE_PARENT } from "../core/git-worktree-env.js";
+import { toolFace } from "../core/tool-catalog-entries.js";
 const ENTER_DESCRIPTION = "Use this tool ONLY when explicitly instructed to work in a worktree — either by the user directly, or by " +
     "project instructions. This tool creates an isolated git worktree and switches the current session into it.\n" +
     "\n" +
@@ -108,7 +109,7 @@ export function createWorktreeTools(env, opts) {
     const session = opts.session ?? {};
     const enter = defineTool({
         name: "EnterWorktree",
-        contract: { contractId: "core.enter_worktree@1", implementationRevision: "1" },
+        ...toolFace("enter-worktree"),
         description: ENTER_DESCRIPTION,
         parameters: Type.Object({
             name: Type.Optional(Type.String({
@@ -121,7 +122,6 @@ export function createWorktreeTools(env, opts) {
                 description: '"fresh" (default) bases the worktree on the default branch tip (origin default branch, else local main/master, else the current HEAD with a note); "head" bases it on the current local HEAD (unpushed commits present).',
             })),
         }),
-        effect: "write",
         execute: async (args) => {
             const { name, path, baseRef } = args;
             if (path !== undefined && name !== undefined) {
@@ -238,7 +238,7 @@ export function createWorktreeTools(env, opts) {
     });
     const exit = defineTool({
         name: "ExitWorktree",
-        contract: { contractId: "core.exit_worktree@1", implementationRevision: "1" },
+        ...toolFace("exit-worktree"),
         description: EXIT_DESCRIPTION,
         parameters: Type.Object({
             keep: Type.Optional(Type.Boolean({
@@ -254,7 +254,6 @@ export function createWorktreeTools(env, opts) {
                 description: 'Set true to remove the worktree even when it has uncommitted files or unmerged commits — they are permanently discarded. Without it a changed worktree is KEPT (the exit still completes and the reply lists the changes plus this escape), never refused.',
             })),
         }),
-        effect: "write",
         execute: async (args) => {
             const raw = args;
             const keep = raw.keep ?? (raw.action === "keep" ? true : undefined);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/core",
-  "version": "7.7.0",
+  "version": "7.9.0",
   "description": "Stateless, task-oriented AI agent core",
   "type": "module",
   "license": "BUSL-1.1",
@@ -79,6 +79,9 @@
     "gate:closed-sets": "node scripts/verify-closed-sets.mjs",
     "gate:agent-returns": "node scripts/verify-agent-returns.mjs",
     "gate:contract-sentences": "node scripts/verify-contract-sentences.mjs",
+    "gate:tool-catalog": "node scripts/verify-tool-catalog.mjs",
+    "gate:tool-names": "node scripts/verify-tool-name-tables.mjs",
+    "gate:tool-docs": "node scripts/gen-tool-spec-fields.mjs --check",
     "gate:all": "node scripts/gate-all.mjs"
   },
   "dependencies": {