@sema-ai/core 1.275.1

package/dist/tools/sql.js

@@ -0,0 +1,131 @@
+import { Type } from "typebox";
+// DML/DDL and other mutating/side-effecting keywords.
+const FORBIDDEN = /\b(insert|update|delete|drop|alter|create|truncate|grant|revoke|merge|replace|attach|detach|pragma|vacuum|exec|execute|call|copy|lock|reindex)\b/i;
+class SqlValidationError extends Error {
+}
+function stripTrailingSemicolon(sql) {
+    return sql.replace(/;\s*$/, "");
+}
+/**
+ * Replace the *contents* of string literals with empty strings so that structural checks
+ * (semicolon = multi-statement, forbidden keywords, comments) don't false-positive on data.
+ * Handles doubled-quote escapes ('' and ""). The real guarantee remains read-only credentials.
+ */
+function stripStringLiterals(sql) {
+    return sql.replace(/'(?:[^']|'')*'/g, "''").replace(/"(?:[^"]|"")*"/g, '""');
+}
+function extractReferencedTables(sql) {
+    const tables = [];
+    // Best-effort: identifiers following FROM / JOIN. Handles schema.table and quoted names loosely.
+    const re = /\b(?:from|join)\s+([a-zA-Z_][\w.$"`[\]]*)/gi;
+    let m;
+    while ((m = re.exec(sql)) !== null) {
+        const ident = m[1].replace(/["`[\]]/g, "");
+        const bare = ident.includes(".") ? ident.split(".").pop() : ident;
+        tables.push(bare.toLowerCase());
+    }
+    return tables;
+}
+/** Validate that `sql` is a single, read-only SELECT/CTE query within the allowlist. */
+export function validateReadOnlySql(sql, allowTables) {
+    const trimmed = stripTrailingSemicolon(sql.trim());
+    if (!trimmed) {
+        throw new SqlValidationError("empty query");
+    }
+    // Run structural checks against a copy with string-literal contents removed, so data
+    // (e.g. WHERE note LIKE '%update%' or x = 'a;b') doesn't trip the keyword/semicolon checks.
+    const scrubbed = stripStringLiterals(trimmed);
+    if (scrubbed.includes(";")) {
+        throw new SqlValidationError("multiple statements are not allowed");
+    }
+    if (scrubbed.includes("--") || scrubbed.includes("/*")) {
+        throw new SqlValidationError("SQL comments are not allowed");
+    }
+    if (!/^\s*(select|with)\b/i.test(scrubbed)) {
+        throw new SqlValidationError("only SELECT / WITH (read-only) queries are allowed");
+    }
+    if (/\binto\b/i.test(scrubbed)) {
+        throw new SqlValidationError("SELECT ... INTO is not allowed");
+    }
+    const forbidden = FORBIDDEN.exec(scrubbed);
+    if (forbidden) {
+        throw new SqlValidationError(`forbidden keyword "${forbidden[1].toLowerCase()}"`);
+    }
+    if (allowTables && allowTables.length > 0) {
+        // A-2 (round-2 audit) FAIL-CLOSED: `extractReferencedTables` is a best-effort regex that only sees the
+        // identifier right after FROM/JOIN. It misses comma-joins (`FROM a, b` — the 2nd table is never checked),
+        // sub-queries (`FROM (SELECT … FROM secret)`), and set operations (UNION/INTERSECT/EXCEPT span multiple
+        // SELECTs). Back-filling the regex would give FALSE assurance (dialect / USING / nested edge cases
+        // remain) — more dangerous than the current state. So instead REFUSE any construct whose full table set
+        // we can't reliably enumerate. Allowlist callers get SOUND table isolation; the cost is rejecting these
+        // complex shapes (rewrite a comma-join as an explicit JOIN). Full AST coverage is deferred to keep the
+        // zero-extra-dependency posture — see the `createSqlTool` JSDoc (allowTables is best-effort, not a
+        // substitute for read-only credentials + DB-level grants).
+        if (/\bunion\b|\bintersect\b|\bexcept\b/i.test(scrubbed)) {
+            throw new SqlValidationError("set operations (UNION/INTERSECT/EXCEPT) are not allowed when allowTables is set — table references cannot be reliably enumerated");
+        }
+        if (/\b(?:from|join)\s*\(/i.test(scrubbed)) {
+            throw new SqlValidationError("sub-queries in FROM/JOIN are not allowed when allowTables is set — table references cannot be reliably enumerated");
+        }
+        if (/\bfrom\s+[a-zA-Z_][\w.$"`[\]]*\s*,/i.test(scrubbed)) {
+            throw new SqlValidationError("comma-joins (`FROM a, b`) are not allowed when allowTables is set — use an explicit JOIN so every table is checked");
+        }
+        const allow = new Set(allowTables.map((t) => t.toLowerCase()));
+        // CTE names (WITH x AS (...), and `, y AS (...)`) are derived, not base tables — allow them.
+        const cteRe = /([a-zA-Z_]\w*)\s+as\s*\(/gi;
+        let cm;
+        while ((cm = cteRe.exec(scrubbed)) !== null) {
+            allow.add(cm[1].toLowerCase());
+        }
+        const referenced = extractReferencedTables(scrubbed);
+        const denied = referenced.filter((t) => !allow.has(t));
+        if (denied.length > 0) {
+            throw new SqlValidationError(`table(s) not allowed: ${[...new Set(denied)].join(", ")}. Allowed: ${[...allow].join(", ")}`);
+        }
+    }
+}
+/**
+ * Build a safe, read-only `query_sql` tool.
+ *
+ * Layers of defense: (1) read-only DB credentials supplied by the caller's `query`,
+ * (2) static validation (single SELECT/WITH only, no DML/DDL, no comments/multi-statement),
+ * (3) optional table allowlist, (4) a row cap on what is returned to the model.
+ */
+export function createSqlTool(opts) {
+    const maxRows = opts.maxRows ?? 100;
+    return {
+        name: opts.name ?? "query_sql",
+        effect: "read", // read-only by construction (validated); safe to repeat after an interruption
+        description: opts.description ??
+            `Run a READ-ONLY SQL query (SELECT/WITH only) and get rows back (max ${maxRows}).` +
+                (opts.allowTables?.length ? ` Allowed tables: ${opts.allowTables.join(", ")}.` : "") +
+                " Do not attempt to modify data.",
+        parameters: Type.Object({
+            sql: Type.String({ description: "A single read-only SELECT/WITH query." }),
+        }),
+        execute: async (args) => {
+            const sql = String(args.sql ?? "");
+            try {
+                validateReadOnlySql(sql, opts.allowTables);
+            }
+            catch (e) {
+                const msg = e instanceof Error ? e.message : String(e);
+                return { content: `SQL rejected: ${msg}`, details: { error: msg }, terminate: false };
+            }
+            const rows = await opts.query(stripTrailingSemicolon(sql.trim()));
+            const truncated = rows.length > maxRows;
+            const shown = truncated ? rows.slice(0, maxRows) : rows;
+            const payload = {
+                rowCount: rows.length,
+                returned: shown.length,
+                truncated,
+                rows: shown,
+            };
+            return {
+                content: JSON.stringify(payload, null, 2),
+                details: { rowCount: rows.length, truncated },
+            };
+        },
+    };
+}
+//# sourceMappingURL=sql.js.map

package/dist/tools/sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../src/tools/sql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AA4B/B,sDAAsD;AACtD,MAAM,SAAS,GACb,mJAAmJ,CAAC;AAEtJ,MAAM,kBAAmB,SAAQ,KAAK;CAAG;AAEzC,SAAS,sBAAsB,CAAC,GAAW;IACzC,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAClC,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,GAAG,CAAC,OAAO,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAW;IAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,iGAAiG;IACjG,MAAM,EAAE,GAAG,6CAA6C,CAAC;IACzD,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,mBAAmB,CAAC,GAAW,EAAE,WAAsB;IACrE,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,kBAAkB,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC;IACD,qFAAqF;IACrF,4FAA4F;IAC5F,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,kBAAkB,CAAC,qCAAqC,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,kBAAkB,CAAC,8BAA8B,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,kBAAkB,CAAC,oDAAoD,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,kBAAkB,CAAC,gCAAgC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,kBAAkB,CAAC,sBAAsB,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,uGAAuG;QACvG,0GAA0G;QAC1G,wGAAwG;QACxG,mGAAmG;QACnG,wGAAwG;QACxG,wGAAwG;QACxG,uGAAuG;QACvG,mGAAmG;QACnG,2DAA2D;QAC3D,IAAI,qCAAqC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,kBAAkB,CAAC,kIAAkI,CAAC,CAAC;QACnK,CAAC;QACD,IAAI,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,kBAAkB,CAAC,mHAAmH,CAAC,CAAC;QACpJ,CAAC;QACD,IAAI,qCAAqC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,kBAAkB,CAAC,oHAAoH,CAAC,CAAC;QACrJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC/D,6FAA6F;QAC7F,MAAM,KAAK,GAAG,4BAA4B,CAAC;QAC3C,IAAI,EAA0B,CAAC;QAC/B,OAAO,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC5C,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,UAAU,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,kBAAkB,CAC1B,yBAAyB,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9F,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAoB;IAChD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,WAAW;QAC9B,MAAM,EAAE,MAAM,EAAE,8EAA8E;QAC9F,WAAW,EACT,IAAI,CAAC,WAAW;YAChB,uEAAuE,OAAO,IAAI;gBAChF,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,oBAAoB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpF,iCAAiC;QACrC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,uCAAuC,EAAE,CAAC;SAC3E,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACtB,MAAM,GAAG,GAAG,MAAM,CAAE,IAA0B,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;YAC1D,IAAI,CAAC;gBACH,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvD,OAAO,EAAE,OAAO,EAAE,iBAAiB,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;YACxF,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;YACxC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACxD,MAAM,OAAO,GAAG;gBACd,QAAQ,EAAE,IAAI,CAAC,MAAM;gBACrB,QAAQ,EAAE,KAAK,CAAC,MAAM;gBACtB,SAAS;gBACT,IAAI,EAAE,KAAK;aACZ,CAAC;YACF,OAAO;gBACL,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBACzC,OAAO,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE;aAC9C,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/tools/task-list.d.ts

@@ -0,0 +1,26 @@
+import type { ToolSpec } from "../core/types.js";
+/**
+ * design/119 (CC 2.1.198 parity) — the structured task-list tool family: `TaskCreate` / `TaskGet` /
+ * `TaskUpdate` / `TaskList`. CC 198's upgrade path over TodoWrite: individual tasks with stable ids,
+ * status transitions, dependencies (blocks/blockedBy), an optional owner, and free metadata — instead
+ * of TodoWrite's replace-the-whole-list. Both families coexist in CC 198 and here (a deployment
+ * mounts one or the other; see `scenarios/full-body.ts`).
+ *
+ * Like TodoWrite, state lives in this factory's closure — FRESH per task and torn down with it;
+ * nothing durable, no deps, no egress (the model's own scratch, projected to observers only through
+ * each call's tool result / `details`). Descriptions follow CC 2.1.198 (product-specific lines —
+ * teammate assignment, spinner/UI wording — trimmed or generalized).
+ */
+export interface TaskListItem {
+    id: string;
+    subject: string;
+    description: string;
+    activeForm?: string;
+    owner?: string;
+    status: "pending" | "in_progress" | "completed";
+    blocks: string[];
+    blockedBy: string[];
+    metadata?: Record<string, unknown>;
+}
+export declare function createTaskListTools(): ToolSpec[];
+//# sourceMappingURL=task-list.d.ts.map

package/dist/tools/task-list.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-list.d.ts","sourceRoot":"","sources":["../../src/tools/task-list.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;;;;;;;;;;GAWG;AAEH,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,SAAS,GAAG,aAAa,GAAG,WAAW,CAAC;IAChD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAiCD,wBAAgB,mBAAmB,IAAI,QAAQ,EAAE,CAsVhD"}

package/dist/tools/task-list.js

@@ -0,0 +1,352 @@
+import { Type } from "typebox";
+const STATUS = Type.Union([
+    Type.Literal("pending"),
+    Type.Literal("in_progress"),
+    Type.Literal("completed"),
+]);
+function renderTask(t) {
+    const deps = [
+        t.blocks.length ? `blocks: ${t.blocks.join(", ")}` : "",
+        t.blockedBy.length ? `blockedBy: ${t.blockedBy.join(", ")}` : "",
+    ]
+        .filter(Boolean)
+        .join("; ");
+    return [
+        `Task #${t.id}: ${t.subject} [${t.status}]${t.owner ? ` (owner: ${t.owner})` : ""}`,
+        `Description: ${t.description}`,
+        t.activeForm ? `Active form: ${t.activeForm}` : "",
+        deps ? `Dependencies — ${deps}` : "",
+    ]
+        .filter(Boolean)
+        .join("\n");
+}
+/** Build the four task-list tools sharing one per-task list. Mount all four together. */
+/** Detached snapshot for tool_end.structured (codex review LOW-2): an emitted card must NEVER share
+ *  mutable references with registry state — a later TaskUpdate pushes into `blocks`/`blockedBy` in
+ *  place, which would silently rewrite already-emitted event objects in in-memory/replay consumers. */
+function snapTask(t) {
+    return { ...t, blocks: [...t.blocks], blockedBy: [...t.blockedBy], ...(t.metadata ? { metadata: { ...t.metadata } } : {}) };
+}
+export function createTaskListTools() {
+    const tasks = new Map();
+    let nextId = 1;
+    const taskCreate = {
+        name: "TaskCreate",
+        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" +
+            "## When to Use This Tool\n" +
+            "\n" +
+            "Use this tool proactively in these scenarios:\n" +
+            "\n" +
+            "- Complex multi-step tasks - When a task requires 3 or more distinct steps or actions\n" +
+            "- Non-trivial and complex tasks - Tasks that require careful planning or multiple operations\n" +
+            "- Plan mode - When using plan mode, create a task list to track the work\n" +
+            "- User explicitly requests todo list - When the user directly asks you to use the todo list\n" +
+            "- User provides multiple tasks - When users provide a list of things to be done (numbered or comma-separated)\n" +
+            "- After receiving new instructions - Immediately capture user requirements as tasks\n" +
+            "- When you start working on a task - Mark it as in_progress BEFORE beginning work\n" +
+            "- After completing a task - Mark it as completed and add any new follow-up tasks discovered during implementation\n" +
+            "\n" +
+            "## When NOT to Use This Tool\n" +
+            "\n" +
+            "Skip using this tool when:\n" +
+            "- There is only a single, straightforward task\n" +
+            "- The task is trivial and tracking it provides no organizational benefit\n" +
+            "- The task can be completed in less than 3 trivial steps\n" +
+            "- The task is purely conversational or informational\n" +
+            "\n" +
+            "NOTE that you should not use this tool if there is only one trivial task to do. In this case you are better off just doing the task directly.\n" +
+            "\n" +
+            "## Task Fields\n" +
+            "\n" +
+            '- **subject**: A brief, actionable title in imperative form (e.g., "Fix authentication bug in login flow")\n' +
+            "- **description**: What needs to be done\n" +
+            '- **activeForm** (optional): Present continuous form shown while the task is in_progress (e.g., "Fixing authentication bug"). If omitted, the subject is shown instead.\n' +
+            "\n" +
+            "All tasks are created with status `pending`.\n" +
+            "\n" +
+            "## Tips\n" +
+            "\n" +
+            "- Create tasks with clear, specific subjects that describe the outcome\n" +
+            "- After creating tasks, use TaskUpdate to set up dependencies (blocks/blockedBy) if needed\n" +
+            "- Check TaskList first to avoid creating duplicate tasks\n" +
+            "\n" +
+            "TaskCreate creates ONE task per call and has no `tasks` or `todos` parameter. Call TaskCreate once per task.",
+        parameters: Type.Object({
+            subject: Type.String({ description: "A brief title for the task" }),
+            description: Type.String({ description: "What needs to be done" }),
+            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" })),
+        }),
+        // In-task scratch with no external side effect — plan-mode-safe, same posture as TodoWrite.
+        effect: "idempotent",
+        execute: (args) => {
+            const a = args;
+            const id = String(nextId++);
+            tasks.set(id, {
+                id,
+                subject: a.subject,
+                description: a.description,
+                activeForm: a.activeForm,
+                status: "pending",
+                blocks: [],
+                blockedBy: [],
+                metadata: a.metadata,
+            });
+            // [378] flywheel ask: FULL task state under a discriminant `type` (the tool_end.structured
+            // allowlist keys on details.type) — the shell syncs its task panel from this instead of
+            // rebuilding from tool_use input (which drifts on engine-side hooks/partial updates).
+            return {
+                content: `Task #${id} created successfully: ${a.subject}`,
+                details: { type: "task", task: snapTask(tasks.get(id)) },
+            };
+        },
+    };
+    const taskGet = {
+        name: "TaskGet",
+        description: "Use this tool to retrieve a task by its ID from the task list.\n" +
+            "\n" +
+            "## When to Use This Tool\n" +
+            "\n" +
+            "- When you need the full description and context before starting work on a task\n" +
+            "- To understand task dependencies (what it blocks, what blocks it)\n" +
+            "- After being assigned a task, to get complete requirements\n" +
+            "\n" +
+            "## Output\n" +
+            "\n" +
+            "Returns full task details: subject, description, status, owner, dependencies (blocks/blockedBy), and metadata.\n" +
+            "\n" +
+            // CC 198 verbatim (deep-diff M12): the blocked-precheck + list transition were dropped in the port.
+            "## Tips\n" +
+            "\n" +
+            "- After fetching a task, verify its blockedBy list is empty before beginning work.\n" +
+            "- Use TaskList to see all tasks in summary form.",
+        parameters: Type.Object({
+            taskId: Type.String({ description: "The ID of the task to retrieve" }),
+        }),
+        effect: "read",
+        execute: (args) => {
+            const id = String(args.taskId);
+            const t = tasks.get(id);
+            if (!t) {
+                // Throw (→ a real is_error tool result) rather than a fake success — codex review: a returned
+                // isError field is not part of ToolReturn and was silently dropped, lying to error accounting.
+                throw new Error(`Task #${id} not found.`);
+            }
+            return { content: renderTask(t), details: { type: "task", task: snapTask(t) } };
+        },
+    };
+    const taskUpdate = {
+        name: "TaskUpdate",
+        description: "Use this tool to update a task in the task list.\n" +
+            "\n" +
+            "## When to Use This Tool\n" +
+            "\n" +
+            "**Mark tasks as resolved:**\n" +
+            "- When you have completed the work described in a task\n" +
+            "- When a task is no longer needed or has been superseded\n" +
+            // CC198 verbatim (cc-probe-198 tools-array, clay 2026-07-08 全面对齐判决): "your assigned tasks" +
+            // the expanded never-complete-if bullet list (was compressed to one line in the port).
+            "- IMPORTANT: Always mark your assigned tasks as resolved when you finish them\n" +
+            // CC 198 verbatim (deep-diff M8): the resolve→list closed-loop scheduling line was dropped in the port.
+            "- After resolving, call TaskList to find your next task\n" +
+            "\n" +
+            "- ONLY mark a task as completed when you have FULLY accomplished it\n" +
+            "- If you encounter errors, blockers, or cannot finish, keep the task as in_progress\n" +
+            "- When blocked, create a new task describing what needs to be resolved\n" +
+            "- Never mark a task as completed if:\n" +
+            "  - Tests are failing\n" +
+            "  - Implementation is partial\n" +
+            "  - You encountered unresolved errors\n" +
+            "  - You couldn't find necessary files or dependencies\n" +
+            "\n" +
+            "**Delete tasks:**\n" +
+            "- When a task is no longer relevant or was created in error\n" +
+            "- Setting status to `deleted` permanently removes the task\n" +
+            "\n" +
+            "**Update task details:**\n" +
+            "- When requirements change or become clearer\n" +
+            "- When establishing dependencies between tasks\n" +
+            "\n" +
+            // CC198 verbatim (cc-probe-198 tools-array, clay 2026-07-08 全面对齐判决; deep-diff M10): the Fields
+            // You Can Update section — the owner-claim + addBlocks/addBlockedBy inline guidance the port thinned out.
+            "## Fields You Can Update\n" +
+            "\n" +
+            "- **status**: The task status (see Status Workflow below)\n" +
+            '- **subject**: Change the task title (imperative form, e.g., "Run tests")\n' +
+            "- **description**: Change the task description\n" +
+            '- **activeForm**: Present continuous form shown in spinner when in_progress (e.g., "Running tests")\n' +
+            "- **owner**: Change the task owner (agent name)\n" +
+            "- **metadata**: Merge metadata keys into the task (set a key to null to delete it)\n" +
+            "- **addBlocks**: Mark tasks that cannot start until this one completes\n" +
+            "- **addBlockedBy**: Mark tasks that must complete before this one can start\n" +
+            "\n" +
+            "## Status Workflow\n" +
+            "\n" +
+            "Status progresses: `pending` → `in_progress` → `completed`\n" +
+            "\n" +
+            "Use `deleted` to permanently remove a task.\n" +
+            "\n" +
+            // CC198 verbatim heading (Staleness was folded into Status Workflow in the port).
+            "## Staleness\n" +
+            "\n" +
+            "Make sure to read a task's latest state using `TaskGet` before updating it.\n" +
+            "\n" +
+            // CC 198 verbatim (deep-diff M9, highest-leverage residual): in-prompt JSON examples constrain a weak
+            // model far harder than prose — the whole block was dropped in the port.
+            "## Examples\n" +
+            "\n" +
+            "Mark task as in progress when starting work:\n" +
+            '```json\n{"taskId": "1", "status": "in_progress"}\n```\n' +
+            "\n" +
+            "Mark task as completed after finishing work:\n" +
+            '```json\n{"taskId": "1", "status": "completed"}\n```\n' +
+            "\n" +
+            "Delete a task:\n" +
+            '```json\n{"taskId": "1", "status": "deleted"}\n```\n' +
+            "\n" +
+            "Claim a task by setting owner:\n" +
+            '```json\n{"taskId": "1", "owner": "my-name"}\n```\n' +
+            "\n" +
+            "Set up task dependencies:\n" +
+            '```json\n{"taskId": "2", "addBlockedBy": ["1"]}\n```',
+        parameters: Type.Object({
+            taskId: Type.String({ description: "The ID of the task to update" }),
+            status: Type.Optional(Type.Union([STATUS, Type.Literal("deleted")], { description: "New status for the task" })),
+            subject: Type.Optional(Type.String({ description: "New subject for the task" })),
+            description: Type.Optional(Type.String({ description: "New description for the task" })),
+            // CC198 verbatim (cc-probe-198 tools-array).
+            activeForm: Type.Optional(Type.String({ description: 'Present continuous form shown in spinner when in_progress (e.g., "Running tests")' })),
+            owner: Type.Optional(Type.String({ description: "New owner for the task" })),
+            // CC198 verbatim param descriptions (cc-probe-198 tools-array, clay 2026-07-08 全面对齐判决).
+            metadata: Type.Optional(Type.Record(Type.String(), Type.Unknown(), {
+                description: "Metadata keys to merge into the task. Set a key to null to delete it.",
+            })),
+            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) => {
+            const a = args;
+            const id = String(a.taskId);
+            const t = tasks.get(id);
+            if (!t) {
+                throw new Error(`Task #${id} not found.`); // → is_error tool result (see TaskGet note)
+            }
+            if (a.status === "deleted") {
+                tasks.delete(id);
+                // Drop dangling dependency references so TaskList never points at a removed task.
+                for (const other of tasks.values()) {
+                    other.blocks = other.blocks.filter((x) => x !== id);
+                    other.blockedBy = other.blockedBy.filter((x) => x !== id);
+                }
+                return { content: `Task #${id} deleted.`, details: { type: "task", deleted: id } };
+            }
+            if (a.status)
+                t.status = a.status;
+            if (a.subject !== undefined)
+                t.subject = a.subject;
+            if (a.description !== undefined)
+                t.description = a.description;
+            if (a.activeForm !== undefined)
+                t.activeForm = a.activeForm;
+            if (a.owner !== undefined)
+                t.owner = a.owner;
+            if (a.metadata) {
+                t.metadata = { ...t.metadata };
+                for (const [k, v] of Object.entries(a.metadata)) {
+                    // JSON.parse yields an OWN "__proto__" key; bracket-assignment would walk the [[Set]] path
+                    // and rewrite this object's prototype (workflow review). Skip the prototype-machinery keys.
+                    if (k === "__proto__" || k === "constructor" || k === "prototype")
+                        continue;
+                    if (v === null)
+                        delete t.metadata[k];
+                    else
+                        t.metadata[k] = v;
+                }
+            }
+            for (const b of a.addBlocks ?? []) {
+                if (!t.blocks.includes(b))
+                    t.blocks.push(b);
+                const other = tasks.get(b);
+                if (other && !other.blockedBy.includes(id))
+                    other.blockedBy.push(id);
+            }
+            for (const b of a.addBlockedBy ?? []) {
+                if (!t.blockedBy.includes(b))
+                    t.blockedBy.push(b);
+                const other = tasks.get(b);
+                if (other && !other.blocks.includes(id))
+                    other.blocks.push(id);
+            }
+            // Echo WHAT changed (CC result shape: "Updated task #1 status") so the transcript is self-describing.
+            const changed = [
+                a.status ? "status" : "",
+                a.subject !== undefined ? "subject" : "",
+                a.description !== undefined ? "description" : "",
+                a.activeForm !== undefined ? "activeForm" : "",
+                a.owner !== undefined ? "owner" : "",
+                a.metadata ? "metadata" : "",
+                a.addBlocks?.length ? "blocks" : "",
+                a.addBlockedBy?.length ? "blockedBy" : "",
+            ].filter(Boolean);
+            return { content: `Updated task #${id}${changed.length ? ` ${changed.join(", ")}` : ""}`, details: { type: "task", task: snapTask(t) } };
+        },
+    };
+    const taskList = {
+        name: "TaskList",
+        // 深对比残差 M13 (cc-probe-198 tools-array 逐字锚): CC198 runs TWO sections (## When to Use This Tool /
+        // ## Output) with the claim-availability judgments on their OWN lines — the single-paragraph port
+        // flattened that salience away. Restored verbatim; sema adaptations: CC's "comments" → sema "metadata"
+        // (our TaskGet detail shape), + one retained bullet (check-before-create dedup, TaskCreate cross-ref).
+        // M13's "hardness bench 单段 vs 分节" was DOWNGRADED to a structural assertion lock (test
+        // task-list-tools.test.ts M13 block) — a model-readability A/B is a subjective bench; the mechanical
+        // fact worth locking is that the two-section structure and the two claim-judgment lines stay present.
+        description: "Use this tool to list all tasks in the task list.\n" +
+            "\n" +
+            "## When to Use This Tool\n" +
+            "\n" +
+            "- To see what tasks are available to work on (status: 'pending', no owner, not blocked)\n" +
+            "- To check overall progress on the project\n" +
+            "- To find tasks that are blocked and need dependencies resolved\n" +
+            "- After completing a task, to check for newly unblocked work or claim the next available task\n" +
+            "- Before creating tasks, to avoid duplicates\n" +
+            "- **Prefer working on tasks in ID order** (lowest ID first) when multiple tasks are available, as " +
+            "earlier tasks often set up context for later ones\n" +
+            "\n" +
+            "## Output\n" +
+            "\n" +
+            "Returns a summary of each task:\n" +
+            "- **id**: Task identifier (use with TaskGet, TaskUpdate)\n" +
+            "- **subject**: Brief description of the task\n" +
+            "- **status**: 'pending', 'in_progress', or 'completed'\n" +
+            "- **owner**: Agent ID if assigned, empty if available\n" +
+            "- **blockedBy**: List of open task IDs that must be resolved first (tasks with blockedBy cannot be " +
+            "claimed until dependencies resolve)\n" +
+            "\n" +
+            "Use TaskGet with a specific task ID to view full details including description and metadata.",
+        parameters: Type.Object({}),
+        effect: "read",
+        execute: () => {
+            if (tasks.size === 0) {
+                return { content: "The task list is empty.", details: { type: "task-list", tasks: [] } };
+            }
+            const all = [...tasks.values()];
+            // CC 198 (:461349): a COMPLETED blocker is a resolved dependency — filter it from the display,
+            // or a CC-trained model treats the task as still blocked.
+            const completed = new Set(all.filter((t) => t.status === "completed").map((t) => t.id));
+            const lines = all.map((t) => {
+                const liveBlockers = t.blockedBy.filter((b) => !completed.has(b));
+                return `#${t.id} [${t.status}] ${t.subject}${t.owner ? ` (owner: ${t.owner})` : ""}${liveBlockers.length ? ` (blocked by: ${liveBlockers.join(", ")})` : ""}`;
+            });
+            const open = all.filter((t) => t.status !== "completed").length;
+            return {
+                content: `${lines.join("\n")}\n(${all.length} total, ${open} open)`,
+                details: { type: "task-list", tasks: all.map(snapTask) },
+            };
+        },
+    };
+    return [taskCreate, taskGet, taskUpdate, taskList];
+}
+//# sourceMappingURL=task-list.js.map

package/dist/tools/task-list.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-list.js","sourceRoot":"","sources":["../../src/tools/task-list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AA4B/B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;CAC1B,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,CAAe;IACjC,MAAM,IAAI,GAAG;QACX,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACvD,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;KACjE;SACE,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;QACL,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnF,gBAAgB,CAAC,CAAC,WAAW,EAAE;QAC/B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE;QAClD,IAAI,CAAC,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;KACrC;SACE,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,yFAAyF;AACzF;;uGAEuG;AACvG,SAAS,QAAQ,CAA0F,CAAI;IAC7G,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,UAAU,GAAa;QAC3B,IAAI,EAAE,YAAY;QAClB,WAAW,EACT,iKAAiK;YACjK,sGAAsG;YACtG,IAAI;YACJ,4BAA4B;YAC5B,IAAI;YACJ,iDAAiD;YACjD,IAAI;YACJ,yFAAyF;YACzF,gGAAgG;YAChG,4EAA4E;YAC5E,+FAA+F;YAC/F,iHAAiH;YACjH,uFAAuF;YACvF,qFAAqF;YACrF,qHAAqH;YACrH,IAAI;YACJ,gCAAgC;YAChC,IAAI;YACJ,8BAA8B;YAC9B,kDAAkD;YAClD,4EAA4E;YAC5E,4DAA4D;YAC5D,wDAAwD;YACxD,IAAI;YACJ,iJAAiJ;YACjJ,IAAI;YACJ,kBAAkB;YAClB,IAAI;YACJ,8GAA8G;YAC9G,4CAA4C;YAC5C,2KAA2K;YAC3K,IAAI;YACJ,gDAAgD;YAChD,IAAI;YACJ,WAAW;YACX,IAAI;YACJ,0EAA0E;YAC1E,8FAA8F;YAC9F,4DAA4D;YAC5D,IAAI;YACJ,8GAA8G;QAChH,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,4BAA4B,EAAE,CAAC;YACnE,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,uBAAuB,EAAE,CAAC;YAClE,UAAU,EAAE,IAAI,CAAC,QAAQ,CACvB,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wEAAwE,EAAE,CAAC,CACvG;YACD,QAAQ,EAAE,IAAI,CAAC,QAAQ,CACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,0CAA0C,EAAE,CAAC,CACxG;SACF,CAAC;QACF,4FAA4F;QAC5F,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YAChB,MAAM,CAAC,GAAG,IAAyG,CAAC;YACpH,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE;gBACZ,EAAE;gBACF,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,EAAE;gBACV,SAAS,EAAE,EAAE;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ;aACrB,CAAC,CAAC;YACH,2FAA2F;YAC3F,wFAAwF;YACxF,sFAAsF;YACtF,OAAO;gBACL,OAAO,EAAE,SAAS,EAAE,0BAA0B,CAAC,CAAC,OAAO,EAAE;gBACzD,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,EAAE;aAC1D,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,MAAM,OAAO,GAAa;QACxB,IAAI,EAAE,SAAS;QACf,WAAW,EACT,kEAAkE;YAClE,IAAI;YACJ,4BAA4B;YAC5B,IAAI;YACJ,mFAAmF;YACnF,sEAAsE;YACtE,+DAA+D;YAC/D,IAAI;YACJ,aAAa;YACb,IAAI;YACJ,kHAAkH;YAClH,IAAI;YACJ,oGAAoG;YACpG,WAAW;YACX,IAAI;YACJ,sFAAsF;YACtF,kDAAkD;QACpD,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC;SACvE,CAAC;QACF,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YAChB,MAAM,EAAE,GAAG,MAAM,CAAE,IAA2B,CAAC,MAAM,CAAC,CAAC;YACvD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,8FAA8F;gBAC9F,+FAA+F;gBAC/F,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAClF,CAAC;KACF,CAAC;IAEF,MAAM,UAAU,GAAa;QAC3B,IAAI,EAAE,YAAY;QAClB,WAAW,EACT,oDAAoD;YACpD,IAAI;YACJ,4BAA4B;YAC5B,IAAI;YACJ,+BAA+B;YAC/B,0DAA0D;YAC1D,4DAA4D;YAC5D,6FAA6F;YAC7F,uFAAuF;YACvF,iFAAiF;YACjF,wGAAwG;YACxG,2DAA2D;YAC3D,IAAI;YACJ,uEAAuE;YACvE,uFAAuF;YACvF,0EAA0E;YAC1E,wCAAwC;YACxC,yBAAyB;YACzB,iCAAiC;YACjC,yCAAyC;YACzC,yDAAyD;YACzD,IAAI;YACJ,qBAAqB;YACrB,+DAA+D;YAC/D,8DAA8D;YAC9D,IAAI;YACJ,4BAA4B;YAC5B,gDAAgD;YAChD,kDAAkD;YAClD,IAAI;YACJ,+FAA+F;YAC/F,0GAA0G;YAC1G,4BAA4B;YAC5B,IAAI;YACJ,6DAA6D;YAC7D,6EAA6E;YAC7E,kDAAkD;YAClD,uGAAuG;YACvG,mDAAmD;YACnD,sFAAsF;YACtF,0EAA0E;YAC1E,+EAA+E;YAC/E,IAAI;YACJ,sBAAsB;YACtB,IAAI;YACJ,8DAA8D;YAC9D,IAAI;YACJ,+CAA+C;YAC/C,IAAI;YACJ,kFAAkF;YAClF,gBAAgB;YAChB,IAAI;YACJ,+EAA+E;YAC/E,IAAI;YACJ,sGAAsG;YACtG,yEAAyE;YACzE,eAAe;YACf,IAAI;YACJ,gDAAgD;YAChD,0DAA0D;YAC1D,IAAI;YACJ,gDAAgD;YAChD,wDAAwD;YACxD,IAAI;YACJ,kBAAkB;YAClB,sDAAsD;YACtD,IAAI;YACJ,kCAAkC;YAClC,qDAAqD;YACrD,IAAI;YACJ,6BAA6B;YAC7B,sDAAsD;QACxD,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,8BAA8B,EAAE,CAAC;YACpE,MAAM,EAAE,IAAI,CAAC,QAAQ,CACnB,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,yBAAyB,EAAE,CAAC,CAC1F;YACD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,0BAA0B,EAAE,CAAC,CAAC;YAChF,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,8BAA8B,EAAE,CAAC,CAAC;YACxF,6CAA6C;YAC7C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,mFAAmF,EAAE,CAAC,CAAC;YAC5I,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,wBAAwB,EAAE,CAAC,CAAC;YAC5E,wFAAwF;YACxF,QAAQ,EAAE,IAAI,CAAC,QAAQ,CACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE;gBACzC,WAAW,EAAE,uEAAuE;aACrF,CAAC,CACH;YACD,SAAS,EAAE,IAAI,CAAC,QAAQ,CACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,gCAAgC,EAAE,CAAC,CAC7E;YACD,YAAY,EAAE,IAAI,CAAC,QAAQ,CACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,+BAA+B,EAAE,CAAC,CAC5E;SACF,CAAC;QACF,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;YAChB,MAAM,CAAC,GAAG,IAUT,CAAC;YACF,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxB,IAAI,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,4CAA4C;YACzF,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjB,kFAAkF;gBAClF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;oBACnC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;oBACpD,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC5D,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC;YACrF,CAAC;YACD,IAAI,CAAC,CAAC,MAAM;gBAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YAClC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;YACnD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBAAE,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;YAC/D,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;gBAAE,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;YAC5D,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;gBAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;YAC7C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACf,CAAC,CAAC,QAAQ,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC/B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChD,2FAA2F;oBAC3F,4FAA4F;oBAC5F,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,WAAW;wBAAE,SAAS;oBAC5E,IAAI,CAAC,KAAK,IAAI;wBAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;;wBAChC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;gBAClC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC3B,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YACD,sGAAsG;YACtG,MAAM,OAAO,GAAG;gBACd,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;gBACxB,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBACxC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;gBAChD,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;gBAC9C,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACpC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBAC5B,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;gBACnC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;aAC1C,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3I,CAAC;KACF,CAAC;IAEF,MAAM,QAAQ,GAAa;QACzB,IAAI,EAAE,UAAU;QAChB,gGAAgG;QAChG,kGAAkG;QAClG,uGAAuG;QACvG,uGAAuG;QACvG,sFAAsF;QACtF,qGAAqG;QACrG,sGAAsG;QACtG,WAAW,EACT,qDAAqD;YACrD,IAAI;YACJ,4BAA4B;YAC5B,IAAI;YACJ,2FAA2F;YAC3F,8CAA8C;YAC9C,mEAAmE;YACnE,iGAAiG;YACjG,gDAAgD;YAChD,oGAAoG;YACpG,qDAAqD;YACrD,IAAI;YACJ,aAAa;YACb,IAAI;YACJ,mCAAmC;YACnC,4DAA4D;YAC5D,gDAAgD;YAChD,0DAA0D;YAC1D,yDAAyD;YACzD,qGAAqG;YACrG,uCAAuC;YACvC,IAAI;YACJ,8FAA8F;QAChG,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,GAAG,EAAE;YACZ,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACrB,OAAO,EAAE,OAAO,EAAE,yBAAyB,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC;YAC3F,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAChC,+FAA+F;YAC/F,0DAA0D;YAC1D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACxF,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC1B,MAAM,YAAY,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClE,OAAO,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAChF,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EACtE,EAAE,CAAC;YACL,CAAC,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;YAChE,OAAO;gBACL,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,WAAW,IAAI,QAAQ;gBACnE,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;aACzD,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AACrD,CAAC"}

package/dist/tools/todo.d.ts

@@ -0,0 +1,11 @@
+import type { ToolSpec } from "../core/types.js";
+/**
+ * design/102 (K-8 CC full-body) — TodoWrite parity (CONTEXT leg). A private, in-task plan the model rewrites to
+ * track multi-step work. State lives in this factory's closure — FRESH per task (each `assembleFullBodyTools` call
+ * makes its own) and torn down with the task; nothing durable, no deps, no egress. `effect:"idempotent"` because
+ * re-sending the whole list is repeat-safe. Distinct from `present_plan` (that SUSPENDS for human review); this is
+ * the model's own scratch. Returns a RAW {@link ToolSpec} pushed via `spec.tools` (prepare-task defines it) — NOT
+ * mounted default-on, so it stays INERT for non-full-body runs. (A later slice may project the list to the wire.)
+ */
+export declare function createTodoWriteTool(): ToolSpec;
+//# sourceMappingURL=todo.d.ts.map

package/dist/tools/todo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"todo.d.ts","sourceRoot":"","sources":["../../src/tools/todo.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,IAAI,QAAQ,CAuH9C"}