@yuaone/core 0.9.7 → 0.9.9

package/dist/tool-synthesizer.js

@@ -0,0 +1,455 @@
+/**
+ * @module tool-synthesizer
+ * @description Proposes new tools based on repeated task patterns.
+ *
+ * Design:
+ * - TEMPLATE-BASED generation only — no LLM code generation, no dynamic eval.
+ * - All proposals go to a staging area only.
+ * - Human approval gate is MANDATORY before any activation.
+ * - Generated code is a TypeScript interface + async function signature stub
+ *   (enough for tsc to type-check the shape, but NOT a full implementation).
+ *
+ * Safety constraints enforced here:
+ * - NO runtime tool installation.
+ * - NO dynamic require() or import() of generated code.
+ * - NO direct execution of generated code.
+ * - Sandbox compile: tsc --noEmit on generated file in /tmp.
+ * - Proposals are staging-only; approve/reject via human gate.
+ *
+ * Storage: ~/.yuan/proposals/tool-proposals.json — atomic write.
+ * Events: emitted on single "event" channel like all other modules.
+ */
+import { execSync } from "child_process";
+import { EventEmitter } from "events";
+import { existsSync, mkdirSync, readFileSync, renameSync, unlinkSync, writeFileSync, } from "fs";
+import { homedir } from "os";
+import { join } from "path";
+import { randomUUID } from "crypto";
+// ─── Template Definitions ───
+/**
+ * Built-in code templates.
+ * Each template generates a TypeScript interface + async function signature stub.
+ * Placeholders: {name}, {description}, {inputSchema}
+ *
+ * IMPORTANT: These are type stubs only — they are NOT full implementations
+ * and should NEVER be executed directly.
+ */
+const TEMPLATES = {
+    "file-transformer": `/**
+ * Tool: {name}
+ * {description}
+ *
+ * Template: file-transformer
+ * WARNING: This is a generated stub. Human review and approval required before use.
+ */
+
+interface {PascalName}Input {
+  /** Path to the file to transform */
+  filePath: string;
+  /** Regex pattern to search for */
+  pattern: string;
+  /** Replacement string */
+  replacement: string;
+}
+
+interface {PascalName}Output {
+  /** Transformed file content */
+  result: string;
+  /** Number of replacements made */
+  replacements: number;
+}
+
+/**
+ * Reads a file at args.filePath, applies args.pattern regex replacement
+ * with args.replacement, writes result back.
+ *
+ * Input schema: {inputSchema}
+ */
+async function {camelName}(args: {PascalName}Input): Promise<{PascalName}Output> {
+  // STUB: implementation pending human approval and review
+  throw new Error("Not implemented — pending approval");
+}
+
+export type { {PascalName}Input, {PascalName}Output };
+export { {camelName} };
+`,
+    "bulk-runner": `/**
+ * Tool: {name}
+ * {description}
+ *
+ * Template: bulk-runner
+ * WARNING: This is a generated stub. Human review and approval required before use.
+ */
+
+interface {PascalName}Input {
+  /** Glob pattern matching files to process */
+  glob: string;
+  /** Command to run on each matched file */
+  command: string;
+  /** Working directory for command execution */
+  cwd?: string;
+}
+
+interface {PascalName}Result {
+  /** File path processed */
+  file: string;
+  /** Command output */
+  output: string;
+  /** Whether command succeeded */
+  success: boolean;
+}
+
+interface {PascalName}Output {
+  /** Per-file results */
+  results: {PascalName}Result[];
+  /** Total files processed */
+  total: number;
+  /** Number of failures */
+  failures: number;
+}
+
+/**
+ * Globs files matching args.glob, runs args.command on each
+ * (with shell exec in cwd), collects results.
+ *
+ * Input schema: {inputSchema}
+ */
+async function {camelName}(args: {PascalName}Input): Promise<{PascalName}Output> {
+  // STUB: implementation pending human approval and review
+  throw new Error("Not implemented — pending approval");
+}
+
+export type { {PascalName}Input, {PascalName}Output, {PascalName}Result };
+export { {camelName} };
+`,
+    "config-updater": `/**
+ * Tool: {name}
+ * {description}
+ *
+ * Template: config-updater
+ * WARNING: This is a generated stub. Human review and approval required before use.
+ */
+
+interface {PascalName}Input {
+  /** Path to JSON or YAML config file */
+  configPath: string;
+  /** Updates to merge into the config (JSON object) */
+  updates: Record<string, unknown>;
+}
+
+interface {PascalName}Output {
+  /** Whether the write succeeded */
+  success: boolean;
+  /** Path written to */
+  configPath: string;
+  /** Keys that were updated */
+  updatedKeys: string[];
+}
+
+/**
+ * Reads JSON/YAML at args.configPath, merges args.updates (as JSON), writes back.
+ *
+ * Input schema: {inputSchema}
+ */
+async function {camelName}(args: {PascalName}Input): Promise<{PascalName}Output> {
+  // STUB: implementation pending human approval and review
+  throw new Error("Not implemented — pending approval");
+}
+
+export type { {PascalName}Input, {PascalName}Output };
+export { {camelName} };
+`,
+};
+// ─── Helpers ───
+/** Convert "bulk-fix-imports" → "BulkFixImports" */
+function toPascalCase(name) {
+    return name
+        .replace(/[-_\s]+(.)/g, (_, c) => c.toUpperCase())
+        .replace(/^(.)/, (_, c) => c.toUpperCase());
+}
+/** Convert "bulk-fix-imports" → "bulkFixImports" */
+function toCamelCase(name) {
+    const pascal = toPascalCase(name);
+    return pascal.charAt(0).toLowerCase() + pascal.slice(1);
+}
+/** Infer estimatedCostClass from template type */
+function inferCostClass(template) {
+    switch (template) {
+        case "file-transformer":
+            return "write";
+        case "bulk-runner":
+            return "shell";
+        case "config-updater":
+            return "write";
+    }
+}
+/** Infer whether sandbox is required based on cost class */
+function inferSandboxRequired(template) {
+    return template === "bulk-runner";
+}
+// ─── ToolSynthesizer ───
+/**
+ * ToolSynthesizer — proposes new tool stubs from repeated task patterns.
+ *
+ * Usage:
+ * ```ts
+ * const synth = new ToolSynthesizer();
+ * synth.on("event", (e) => console.log(e));
+ * const proposal = await synth.propose(
+ *   "bulk-fix-imports",
+ *   "Fix all import paths across TS files",
+ *   "file-transformer",
+ *   { filePath: "path to TS file", pattern: "old import", replacement: "new import" },
+ *   "repeated-import-fix-pattern"
+ * );
+ * // ... human reviews proposal.generatedCode ...
+ * synth.approve(proposal.id);
+ * ```
+ *
+ * SAFETY: Generated code is NEVER executed, installed, or dynamically loaded.
+ * All generated code is stored as plain text in the proposals staging area only.
+ */
+export class ToolSynthesizer extends EventEmitter {
+    storageDir;
+    storageFile;
+    requireSandboxPass;
+    proposals;
+    constructor(config) {
+        super();
+        this.storageDir =
+            config?.storageDir ?? join(homedir(), ".yuan", "proposals");
+        this.storageFile = join(this.storageDir, "tool-proposals.json");
+        this.requireSandboxPass = config?.requireSandboxPass ?? false;
+        this.proposals = this._loadProposals();
+        mkdirSync(this.storageDir, { recursive: true });
+    }
+    // ─── Public API ───
+    /**
+     * Propose a new tool from a SkillRegistry skill or trace pattern.
+     *
+     * Steps:
+     * 1. Build ToolCapabilityDescriptor from inputs + template metadata.
+     * 2. Generate TypeScript stub from template (fill placeholders).
+     * 3. Run sandbox compile check (tsc --noEmit in /tmp).
+     * 4. Persist proposal to staging storage.
+     * 5. Emit "agent:tool_proposed" event (gated by requireSandboxPass if set).
+     *
+     * @param name - Tool name, e.g. "bulk-fix-imports"
+     * @param description - Human-readable description
+     * @param template - Which built-in template to use
+     * @param inputHints - Free-form hints mapping field names to descriptions
+     * @param fromPattern - The skill/pattern ID that triggered this proposal
+     */
+    async propose(name, description, template, inputHints, fromPattern) {
+        const now = new Date().toISOString();
+        const proposalId = randomUUID();
+        const descriptorId = randomUUID();
+        // Build simplified inputSchema from hints (all values become "string" type by default)
+        const inputSchema = {};
+        for (const key of Object.keys(inputHints)) {
+            // Infer type from hint text heuristics
+            const hint = inputHints[key]?.toLowerCase() ?? "";
+            if (hint.includes("number") || hint.includes("count") || hint.includes("limit")) {
+                inputSchema[key] = "number";
+            }
+            else if (hint.includes("flag") || hint.includes("boolean") || hint.includes("enable")) {
+                inputSchema[key] = "boolean";
+            }
+            else if (hint.includes("list") || hint.includes("array") || hint.includes("files")) {
+                inputSchema[key] = "string[]";
+            }
+            else {
+                inputSchema[key] = "string";
+            }
+        }
+        const descriptor = {
+            id: descriptorId,
+            name,
+            description,
+            inputSchema,
+            outputSchema: { type: template === "bulk-runner" ? "object" : "string" },
+            estimatedCostClass: inferCostClass(template),
+            sandboxRequired: inferSandboxRequired(template),
+            proposedAt: now,
+            proposedFromPattern: fromPattern,
+        };
+        // Generate code from template
+        const generatedCode = this._generateCode(name, description, template, inputSchema, inputHints);
+        // Sandbox compile check
+        const { sandboxResult, sandboxError } = this._sandboxCheck(generatedCode, proposalId);
+        const proposal = {
+            id: proposalId,
+            descriptor,
+            generatedCode,
+            templateUsed: template,
+            sandboxResult,
+            sandboxError,
+            status: "pending",
+            proposedAt: now,
+        };
+        // Persist to staging
+        this.proposals.push(proposal);
+        this._saveProposals();
+        // Emit event — gated by requireSandboxPass setting
+        const shouldEmit = !this.requireSandboxPass || sandboxResult === "pass";
+        if (shouldEmit) {
+            this.emit("event", {
+                kind: "agent:tool_proposed",
+                proposalId: proposal.id,
+                toolName: name,
+                templateUsed: template,
+                sandboxResult,
+                timestamp: Date.now(),
+            });
+        }
+        return proposal;
+    }
+    /**
+     * Get all proposals (includes pending, approved, rejected).
+     */
+    getProposals() {
+        return [...this.proposals];
+    }
+    /**
+     * Approve a proposal — marks it as approved.
+     * NOTE: Approval does NOT install or activate the tool at runtime.
+     * The generated code stub remains in the staging area.
+     * Integration into the tool registry must be done separately by a human.
+     */
+    approve(proposalId) {
+        const proposal = this.proposals.find((p) => p.id === proposalId);
+        if (!proposal)
+            return;
+        if (proposal.status !== "pending")
+            return;
+        proposal.status = "approved";
+        proposal.approvedAt = new Date().toISOString();
+        this._saveProposals();
+    }
+    /**
+     * Reject a proposal.
+     */
+    reject(proposalId) {
+        const proposal = this.proposals.find((p) => p.id === proposalId);
+        if (!proposal)
+            return;
+        if (proposal.status !== "pending")
+            return;
+        proposal.status = "rejected";
+        this._saveProposals();
+    }
+    // ─── Private: Code Generation ───
+    /**
+     * Fill template placeholders with actual values.
+     * Placeholders: {name}, {PascalName}, {camelName}, {description}, {inputSchema}
+     *
+     * Generated code is a TypeScript stub only — NOT a full implementation.
+     * NEVER executed directly.
+     */
+    _generateCode(name, description, template, inputSchema, _inputHints) {
+        const pascalName = toPascalCase(name);
+        const camelName = toCamelCase(name);
+        const schemaStr = JSON.stringify(inputSchema);
+        let code = TEMPLATES[template];
+        code = code.replaceAll("{name}", name);
+        code = code.replaceAll("{PascalName}", pascalName);
+        code = code.replaceAll("{camelName}", camelName);
+        code = code.replaceAll("{description}", description);
+        code = code.replaceAll("{inputSchema}", schemaStr);
+        return code;
+    }
+    // ─── Private: Sandbox Compile Check ───
+    /**
+     * Write generated code to a temp file and run tsc --noEmit --strict.
+     * Always cleans up the temp file.
+     *
+     * Returns sandboxResult "pass" | "fail" | "skipped".
+     * "skipped" is returned when tsc is not available (ENOENT) — never throws.
+     */
+    _sandboxCheck(code, proposalId) {
+        const tmpFile = `/tmp/yuan-tool-synthesizer-${proposalId}.ts`;
+        try {
+            writeFileSync(tmpFile, code, "utf-8");
+            try {
+                execSync(`tsc --noEmit --strict "${tmpFile}"`, {
+                    stdio: "pipe",
+                    timeout: 15_000,
+                });
+                return { sandboxResult: "pass" };
+            }
+            catch (err) {
+                // tsc not found → skip gracefully
+                if (err &&
+                    typeof err === "object" &&
+                    "code" in err &&
+                    err.code === "ENOENT") {
+                    return { sandboxResult: "skipped" };
+                }
+                // tsc found but compilation failed
+                let sandboxError;
+                if (err &&
+                    typeof err === "object" &&
+                    "stderr" in err &&
+                    err.stderr instanceof Buffer) {
+                    sandboxError = err.stderr.toString("utf-8").slice(0, 1000);
+                }
+                else if (err &&
+                    typeof err === "object" &&
+                    "stdout" in err &&
+                    err.stdout instanceof Buffer) {
+                    sandboxError = err.stdout.toString("utf-8").slice(0, 1000);
+                }
+                else if (err instanceof Error) {
+                    sandboxError = err.message.slice(0, 1000);
+                }
+                return { sandboxResult: "fail", sandboxError };
+            }
+        }
+        catch {
+            // File write or unexpected error — treat as skipped
+            return { sandboxResult: "skipped" };
+        }
+        finally {
+            // Always clean up temp file
+            try {
+                if (existsSync(tmpFile)) {
+                    unlinkSync(tmpFile);
+                }
+            }
+            catch {
+                // Non-fatal cleanup failure
+            }
+        }
+    }
+    // ─── Private: Persistence ───
+    /**
+     * Load persisted proposals from disk.
+     */
+    _loadProposals() {
+        try {
+            if (!existsSync(this.storageFile))
+                return [];
+            const raw = readFileSync(this.storageFile, "utf-8");
+            return JSON.parse(raw);
+        }
+        catch {
+            return [];
+        }
+    }
+    /**
+     * Atomic write of proposals array to disk.
+     * Uses .tmp → rename pattern to prevent corruption.
+     */
+    _saveProposals() {
+        const tmpFile = `${this.storageFile}.tmp`;
+        try {
+            mkdirSync(this.storageDir, { recursive: true });
+            writeFileSync(tmpFile, JSON.stringify(this.proposals, null, 2), "utf-8");
+            renameSync(tmpFile, this.storageFile);
+        }
+        catch {
+            // Non-fatal: storage failures should not crash the agent loop
+        }
+    }
+}
+//# sourceMappingURL=tool-synthesizer.js.map

package/dist/tool-synthesizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-synthesizer.js","sourceRoot":"","sources":["../src/tool-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,UAAU,EACV,SAAS,EACT,YAAY,EACZ,UAAU,EACV,UAAU,EACV,aAAa,GACd,MAAM,IAAI,CAAC;AACZ,OAAO,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC;AAC7B,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AA+CpC,+BAA+B;AAE/B;;;;;;;GAOG;AACH,MAAM,SAAS,GAAiC;IAC9C,kBAAkB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCrB;IAEC,aAAa,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgDhB;IAEC,gBAAgB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoCnB;CACA,CAAC;AAEF,kBAAkB;AAElB,oDAAoD;AACpD,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI;SACR,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SACzD,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,oDAAoD;AACpD,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,kDAAkD;AAClD,SAAS,cAAc,CAAC,QAAsB;IAC5C,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,OAAO,CAAC;QACjB,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC;QACjB,KAAK,gBAAgB;YACnB,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,SAAS,oBAAoB,CAAC,QAAsB;IAClD,OAAO,QAAQ,KAAK,aAAa,CAAC;AACpC,CAAC;AAED,0BAA0B;AAE1B;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,OAAO,eAAgB,SAAQ,YAAY;IAC9B,UAAU,CAAS;IACnB,WAAW,CAAS;IACpB,kBAAkB,CAAU;IACrC,SAAS,CAAiB;IAElC,YAAY,MAA8B;QACxC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,UAAU;YACb,MAAM,EAAE,UAAU,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;QAChE,IAAI,CAAC,kBAAkB,GAAG,MAAM,EAAE,kBAAkB,IAAI,KAAK,CAAC;QAC9D,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACvC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,qBAAqB;IAErB;;;;;;;;;;;;;;;OAeG;IACH,KAAK,CAAC,OAAO,CACX,IAAY,EACZ,WAAmB,EACnB,QAAsB,EACtB,UAAkC,EAClC,WAAoB;QAEpB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,UAAU,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,UAAU,EAAE,CAAC;QAElC,uFAAuF;QACvF,MAAM,WAAW,GAA4C,EAAE,CAAC;QAChE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1C,uCAAuC;YACvC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChF,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;YAC9B,CAAC;iBAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxF,WAAW,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;YAC/B,CAAC;iBAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACrF,WAAW,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAA6B;YAC3C,EAAE,EAAE,YAAY;YAChB,IAAI;YACJ,WAAW;YACX,WAAW;YACX,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;YACxE,kBAAkB,EAAE,cAAc,CAAC,QAAQ,CAAC;YAC5C,eAAe,EAAE,oBAAoB,CAAC,QAAQ,CAAC;YAC/C,UAAU,EAAE,GAAG;YACf,mBAAmB,EAAE,WAAW;SACjC,CAAC;QAEF,8BAA8B;QAC9B,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAE/F,wBAAwB;QACxB,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAEtF,MAAM,QAAQ,GAAiB;YAC7B,EAAE,EAAE,UAAU;YACd,UAAU;YACV,aAAa;YACb,YAAY,EAAE,QAAQ;YACtB,aAAa;YACb,YAAY;YACZ,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,GAAG;SAChB,CAAC;QAEF,qBAAqB;QACrB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,cAAc,EAAE,CAAC;QAEtB,mDAAmD;QACnD,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,aAAa,KAAK,MAAM,CAAC;QACxE,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ,EAAE,IAAI;gBACd,YAAY,EAAE,QAAQ;gBACtB,aAAa;gBACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,UAAkB;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO;QAE1C,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;QAC7B,QAAQ,CAAC,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,UAAkB;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO;QAE1C,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,cAAc,EAAE,CAAC;IACxB,CAAC;IAED,mCAAmC;IAEnC;;;;;;OAMG;IACK,aAAa,CACnB,IAAY,EACZ,WAAmB,EACnB,QAAsB,EACtB,WAAoD,EACpD,WAAmC;QAEnC,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAE9C,IAAI,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QACnD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACjD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QACrD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;QAEnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yCAAyC;IAEzC;;;;;;OAMG;IACK,aAAa,CACnB,IAAY,EACZ,UAAkB;QAElB,MAAM,OAAO,GAAG,8BAA8B,UAAU,KAAK,CAAC;QAE9D,IAAI,CAAC;YACH,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAEtC,IAAI,CAAC;gBACH,QAAQ,CAAC,0BAA0B,OAAO,GAAG,EAAE;oBAC7C,KAAK,EAAE,MAAM;oBACb,OAAO,EAAE,MAAM;iBAChB,CAAC,CAAC;gBACH,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YAAC,OAAO,GAAY,EAAE,CAAC;gBACtB,kCAAkC;gBAClC,IACE,GAAG;oBACH,OAAO,GAAG,KAAK,QAAQ;oBACvB,MAAM,IAAI,GAAG;oBACZ,GAA6B,CAAC,IAAI,KAAK,QAAQ,EAChD,CAAC;oBACD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;gBACtC,CAAC;gBAED,mCAAmC;gBACnC,IAAI,YAAgC,CAAC;gBACrC,IACE,GAAG;oBACH,OAAO,GAAG,KAAK,QAAQ;oBACvB,QAAQ,IAAI,GAAG;oBACf,GAAG,CAAC,MAAM,YAAY,MAAM,EAC5B,CAAC;oBACD,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC7D,CAAC;qBAAM,IACL,GAAG;oBACH,OAAO,GAAG,KAAK,QAAQ;oBACvB,QAAQ,IAAI,GAAG;oBACf,GAAG,CAAC,MAAM,YAAY,MAAM,EAC5B,CAAC;oBACD,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC7D,CAAC;qBAAM,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;oBAChC,YAAY,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;YACjD,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,oDAAoD;YACpD,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;QACtC,CAAC;gBAAS,CAAC;YACT,4BAA4B;YAC5B,IAAI,CAAC;gBACH,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxB,UAAU,CAAC,OAAO,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,4BAA4B;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAED,+BAA+B;IAE/B;;OAEG;IACK,cAAc;QACpB,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC7C,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAmB,CAAC;QAC3C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,cAAc;QACpB,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,WAAW,MAAM,CAAC;QAC1C,IAAI,CAAC;YACH,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACzE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,8DAA8D;QAChE,CAAC;IACH,CAAC;CACF"}

package/dist/trace-pattern-extractor.d.ts

@@ -0,0 +1,76 @@
+/**
+ * @module trace-pattern-extractor
+ * @description Reads TraceRecorder JSONL files from ~/.yuan/traces/, detects repeated
+ * successful tool sequences, and produces Playbook proposals.
+ *
+ * Pattern detection rules:
+ * - A sequence = ordered list of tool names from tool_call events in a session
+ * - A pattern is a contiguous sub-sequence of 3..8 tools
+ * - Significant if: appears in 3+ distinct sessions AND success rate >= 60%
+ *   AND not already proposed (tracked by patternHash)
+ *
+ * Storage: ~/.yuan/proposals/playbook-proposals.json — array of PlaybookProposal, atomic write
+ * Events: emits on single "event" channel like all other modules
+ */
+import { EventEmitter } from "events";
+export interface PlaybookProposal {
+    id: string;
+    taskType: string;
+    toolSequence: string[];
+    patternHash: string;
+    sessionCount: number;
+    successRate: number;
+    sourceSessionIds: string[];
+    proposedAt: string;
+}
+export interface TracePatternExtractorConfig {
+    tracesDir?: string;
+    storageDir?: string;
+    minSessions?: number;
+    minSuccessRate?: number;
+}
+export declare class TracePatternExtractor extends EventEmitter {
+    private readonly tracesDir;
+    private readonly storageDir;
+    private readonly storageFile;
+    private readonly minSessions;
+    private readonly minSuccessRate;
+    /** patternHashes of proposals already produced — prevents re-proposing */
+    private readonly proposedPatterns;
+    /** proposalIds marked as applied — excluded from getProposals() */
+    private readonly appliedProposals;
+    private proposals;
+    constructor(config?: TracePatternExtractorConfig);
+    /**
+     * Main: scan all JSONL files in tracesDir, extract significant patterns,
+     * persist and return newly discovered proposals.
+     */
+    extract(): Promise<PlaybookProposal[]>;
+    /**
+     * Get all stored proposals, excluding applied ones.
+     */
+    getProposals(): PlaybookProposal[];
+    /**
+     * Mark a proposal as applied so it won't be returned by getProposals().
+     * Applied state is in-memory only — not persisted.
+     */
+    markApplied(proposalId: string): void;
+    /**
+     * Parse all JSONL files in tracesDir into per-session SessionData.
+     */
+    private _parseSessions;
+    /**
+     * Infer the most common task type across a set of session IDs.
+     * Falls back to "general" if no goals found.
+     */
+    private _inferDominantTaskType;
+    /**
+     * Load persisted proposals from disk.
+     */
+    private _loadProposals;
+    /**
+     * Atomic write of proposals array to disk.
+     */
+    private _saveProposals;
+}
+//# sourceMappingURL=trace-pattern-extractor.d.ts.map

package/dist/trace-pattern-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-pattern-extractor.d.ts","sourceRoot":"","sources":["../src/trace-pattern-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AActC,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;CACpB;AAqBD,MAAM,WAAW,2BAA2B;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAkDD,qBAAa,qBAAsB,SAAQ,YAAY;IACrD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;IAExC,0EAA0E;IAC1E,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAc;IAC/C,mEAAmE;IACnE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAc;IAE/C,OAAO,CAAC,SAAS,CAAqB;gBAE1B,MAAM,CAAC,EAAE,2BAA2B;IAwBhD;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;IAsF5C;;OAEG;IACH,YAAY,IAAI,gBAAgB,EAAE;IAIlC;;;OAGG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI;IAMrC;;OAEG;IACH,OAAO,CAAC,cAAc;IAiFtB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IA0B9B;;OAEG;IACH,OAAO,CAAC,cAAc;IAUtB;;OAEG;IACH,OAAO,CAAC,cAAc;CAUvB"}