chiasmus 0.1.0

package/dist/mcp-server.js

@@ -0,0 +1,446 @@
+#!/usr/bin/env node
+import { homedir } from "node:os";
+import { join } from "node:path";
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { CallToolRequestSchema, ListToolsRequestSchema, } from "@modelcontextprotocol/sdk/types.js";
+import { SolverSession } from "./solvers/session.js";
+import { SkillLibrary } from "./skills/library.js";
+import { FormalizationEngine } from "./formalize/engine.js";
+import { SkillLearner } from "./skills/learner.js";
+import { createLLMFromEnv } from "./llm/anthropic.js";
+export function getChiasmusHome() {
+    return process.env.CHIASMUS_HOME ?? join(homedir(), ".chiasmus");
+}
+const TOOLS = [
+    {
+        name: "chiasmus_verify",
+        description: `Submit raw formal logic to a solver and get a verified result.
+
+SOLVERS:
+  z3      — SMT solver. Input is SMT-LIB format. Returns SAT + model, UNSAT, or error.
+  prolog  — ISO Prolog. Input is facts/rules, query is a Prolog goal. Returns answers or error.
+
+WHEN TO USE:
+  - Verify constraints: "can these rules ever conflict?"
+  - Check satisfiability: "is there a valid assignment?"
+  - Prove/disprove: "is this always true for all inputs?"
+  - Derive conclusions: "what follows from these facts and rules?"
+
+NOTE: Do NOT include (check-sat) or (get-model) in Z3 input — the tool runs these automatically.
+
+EXAMPLES:
+  Z3 (check if two integers sum to 10):
+    solver: "z3"
+    input: |
+      (declare-const x Int)
+      (declare-const y Int)
+      (assert (= (+ x y) 10))
+      (assert (> x 0))
+      (assert (> y 0))
+
+  Prolog (derive permissions):
+    solver: "prolog"
+    input: "role(alice, admin). can_access(X, resource) :- role(X, admin)."
+    query: "can_access(alice, resource)."`,
+        inputSchema: {
+            type: "object",
+            properties: {
+                solver: {
+                    type: "string",
+                    enum: ["z3", "prolog"],
+                    description: "Which solver to use: z3 (SMT-LIB) or prolog (ISO Prolog)",
+                },
+                input: {
+                    type: "string",
+                    description: "The formal specification. For z3: SMT-LIB format. For prolog: facts and rules.",
+                },
+                query: {
+                    type: "string",
+                    description: "Prolog query goal (required for prolog, ignored for z3). Must end with a period.",
+                },
+            },
+            required: ["solver", "input"],
+        },
+    },
+    {
+        name: "chiasmus_skills",
+        description: `Search and list formalization templates in the skill library.
+
+Returns matching templates with their skeletons, slot definitions, normalization recipes,
+and usage metadata (reuse count, success rate).
+
+Use this to find an appropriate template before calling chiasmus_verify or chiasmus_solve.
+
+EXAMPLES:
+  Search for authorization templates:
+    query: "check if access control policies conflict"
+
+  List all Prolog templates:
+    solver: "prolog"
+
+  Get a specific template:
+    name: "policy-contradiction"`,
+        inputSchema: {
+            type: "object",
+            properties: {
+                query: {
+                    type: "string",
+                    description: "Natural language search query to find relevant templates",
+                },
+                name: {
+                    type: "string",
+                    description: "Get a specific template by exact name (overrides query)",
+                },
+                domain: {
+                    type: "string",
+                    description: "Filter by domain (authorization, configuration, dependency, validation, rules, analysis)",
+                },
+                solver: {
+                    type: "string",
+                    enum: ["z3", "prolog"],
+                    description: "Filter by solver type",
+                },
+            },
+        },
+    },
+    {
+        name: "chiasmus_formalize",
+        description: `Find the best formalization template for a problem and return it with slot-filling instructions.
+
+This is a GUIDED workflow: the tool finds the right template and tells you how to fill it.
+You then fill the slots and submit the result via chiasmus_verify.
+
+WORKFLOW:
+  1. Call chiasmus_formalize with your problem description
+  2. Read the returned template, slots, and normalization guidance
+  3. Fill the template slots based on the guidance
+  4. Submit the filled specification via chiasmus_verify
+
+Use this when you want full control over the formalization process.`,
+        inputSchema: {
+            type: "object",
+            properties: {
+                problem: {
+                    type: "string",
+                    description: "Natural language description of the problem to formalize",
+                },
+            },
+            required: ["problem"],
+        },
+    },
+    {
+        name: "chiasmus_solve",
+        description: `End-to-end: formalize a problem and verify it automatically.
+
+Uses an LLM to select a template, fill slots, and run the correction loop.
+Requires ANTHROPIC_API_KEY to be set. Without it, falls back to returning
+template instructions (same as chiasmus_formalize).
+
+WHEN TO USE:
+  - You want a fully automated solve pipeline
+  - The problem maps to a known domain (authorization, config, dependency, rules, reachability)
+
+Returns the verified solver result, the template used, and correction loop history.`,
+        inputSchema: {
+            type: "object",
+            properties: {
+                problem: {
+                    type: "string",
+                    description: "Natural language description of the problem to solve",
+                },
+            },
+            required: ["problem"],
+        },
+    },
+    {
+        name: "chiasmus_learn",
+        description: `Extract a reusable template from a verified solution and add it to the skill library.
+
+After solving a problem with chiasmus_verify, call this to generalize the solution into a
+reusable template. The template is stored as a candidate — it gets promoted to full status
+after being successfully reused ${3} times.
+
+Requires ANTHROPIC_API_KEY for template extraction (uses LLM to generalize).
+
+WORKFLOW:
+  1. Solve a problem with chiasmus_verify
+  2. Call chiasmus_learn with the verified spec and problem description
+  3. The extracted template appears in chiasmus_skills searches
+  4. Future similar problems can use the template via chiasmus_formalize`,
+        inputSchema: {
+            type: "object",
+            properties: {
+                solver: {
+                    type: "string",
+                    enum: ["z3", "prolog"],
+                    description: "Which solver was used for the verified spec",
+                },
+                spec: {
+                    type: "string",
+                    description: "The verified formal specification to generalize",
+                },
+                problem: {
+                    type: "string",
+                    description: "Natural language description of the problem that was solved",
+                },
+            },
+            required: ["solver", "spec", "problem"],
+        },
+    },
+];
+async function handleVerify(args) {
+    const solver = args.solver;
+    const input = args.input;
+    const query = args.query;
+    if (typeof solver !== "string" || typeof input !== "string") {
+        return {
+            content: [{ type: "text", text: JSON.stringify({
+                        status: "error",
+                        error: "Both 'solver' (string) and 'input' (string) are required",
+                    }) }],
+        };
+    }
+    let result;
+    try {
+        if (solver === "z3") {
+            const session = await SolverSession.create("z3");
+            try {
+                result = await session.solve({ type: "z3", smtlib: input });
+            }
+            finally {
+                session.dispose();
+            }
+        }
+        else if (solver === "prolog") {
+            if (!query) {
+                result = {
+                    status: "error",
+                    error: "The 'query' parameter is required for the prolog solver",
+                };
+            }
+            else {
+                const session = await SolverSession.create("prolog");
+                try {
+                    result = await session.solve({
+                        type: "prolog",
+                        program: input,
+                        query,
+                    });
+                }
+                finally {
+                    session.dispose();
+                }
+            }
+        }
+        else {
+            result = {
+                status: "error",
+                error: `Unknown solver: ${solver}. Use "z3" or "prolog".`,
+            };
+        }
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        result = { status: "error", error: `Solver initialization failed: ${msg}` };
+    }
+    return {
+        content: [{ type: "text", text: JSON.stringify(result, null, 2) }],
+    };
+}
+function handleSkills(library, args) {
+    const name = args.name;
+    const query = args.query;
+    const domain = args.domain;
+    const solver = args.solver;
+    if (name) {
+        const result = library.get(name);
+        if (!result) {
+            return {
+                content: [{ type: "text", text: JSON.stringify({ error: `Template "${name}" not found` }) }],
+            };
+        }
+        return {
+            content: [{ type: "text", text: JSON.stringify(result, null, 2) }],
+        };
+    }
+    if (query) {
+        const results = library.search(query, { domain, solver });
+        return {
+            content: [{ type: "text", text: JSON.stringify(results, null, 2) }],
+        };
+    }
+    let all = library.list();
+    if (domain)
+        all = all.filter((s) => s.template.domain === domain);
+    if (solver)
+        all = all.filter((s) => s.template.solver === solver);
+    return {
+        content: [{ type: "text", text: JSON.stringify(all, null, 2) }],
+    };
+}
+async function handleFormalize(formalizer, args) {
+    if (typeof args.problem !== "string" || !args.problem) {
+        return {
+            content: [{ type: "text", text: JSON.stringify({ error: "The 'problem' parameter (string) is required" }) }],
+        };
+    }
+    const problem = args.problem;
+    const result = await formalizer.formalize(problem);
+    return {
+        content: [{
+                type: "text",
+                text: JSON.stringify({
+                    template: result.template.name,
+                    solver: result.template.solver,
+                    domain: result.template.domain,
+                    instructions: result.instructions,
+                }, null, 2),
+            }],
+    };
+}
+async function handleSolve(formalizer, library, args) {
+    if (typeof args.problem !== "string" || !args.problem) {
+        return {
+            content: [{ type: "text", text: JSON.stringify({ error: "The 'problem' parameter (string) is required" }) }],
+        };
+    }
+    const problem = args.problem;
+    // If no LLM configured, fall back to formalize
+    if (!formalizer) {
+        const dummyEngine = new FormalizationEngine(library, {
+            async complete() { return ""; },
+        });
+        const result = await dummyEngine.formalize(problem);
+        return {
+            content: [{
+                    type: "text",
+                    text: JSON.stringify({
+                        fallback: true,
+                        message: "No ANTHROPIC_API_KEY set. Returning template instructions instead. Fill the slots and use chiasmus_verify.",
+                        template: result.template.name,
+                        solver: result.template.solver,
+                        instructions: result.instructions,
+                    }, null, 2),
+                }],
+        };
+    }
+    const result = await formalizer.solve(problem);
+    return {
+        content: [{
+                type: "text",
+                text: JSON.stringify({
+                    converged: result.converged,
+                    rounds: result.rounds,
+                    templateUsed: result.templateUsed,
+                    result: result.result,
+                    answers: result.answers,
+                    history: result.history.map((h) => ({
+                        round: h.round,
+                        status: h.result.status,
+                        error: h.result.status === "error" ? h.result.error : undefined,
+                    })),
+                }, null, 2),
+            }],
+    };
+}
+async function handleLearn(learner, args) {
+    if (!learner) {
+        return {
+            content: [{ type: "text", text: JSON.stringify({
+                        error: "No ANTHROPIC_API_KEY set. chiasmus_learn requires an LLM for template extraction.",
+                    }) }],
+        };
+    }
+    if (typeof args.solver !== "string" ||
+        typeof args.spec !== "string" ||
+        typeof args.problem !== "string" ||
+        !args.solver || !args.spec || !args.problem) {
+        return {
+            content: [{ type: "text", text: JSON.stringify({
+                        error: "Required parameters: solver (string), spec (string), problem (string)",
+                    }) }],
+        };
+    }
+    const solver = args.solver;
+    const spec = args.spec;
+    const problem = args.problem;
+    if (solver !== "z3" && solver !== "prolog") {
+        return {
+            content: [{ type: "text", text: JSON.stringify({
+                        error: `Unknown solver: ${solver}. Use "z3" or "prolog".`,
+                    }) }],
+        };
+    }
+    const result = await learner.extractTemplate(solver, spec, problem);
+    if (!result) {
+        return {
+            content: [{ type: "text", text: JSON.stringify({
+                        extracted: false,
+                        reason: "Template was rejected — either invalid, too similar to an existing template, or LLM produced unparseable output",
+                    }) }],
+        };
+    }
+    // Check promotions after learning
+    learner.checkPromotions();
+    return {
+        content: [{ type: "text", text: JSON.stringify({
+                    extracted: true,
+                    template: result.name,
+                    domain: result.domain,
+                    solver: result.solver,
+                    signature: result.signature,
+                    slots: result.slots.length,
+                    promoted: false,
+                }, null, 2) }],
+    };
+}
+export async function createChiasmusServer(chiasmusHome, llmOverride) {
+    const home = chiasmusHome ?? getChiasmusHome();
+    const library = await SkillLibrary.create(home);
+    // Use override if provided, otherwise try env
+    const llm = llmOverride !== undefined ? llmOverride : createLLMFromEnv();
+    const formalizer = llm ? new FormalizationEngine(library, llm) : null;
+    const learner = llm ? new SkillLearner(library, llm) : null;
+    const server = new Server({ name: "chiasmus", version: "0.1.0" }, { capabilities: { tools: {} } });
+    server.setRequestHandler(ListToolsRequestSchema, async () => ({
+        tools: TOOLS,
+    }));
+    // FormalizationEngine for formalize tool (always available, uses dummy LLM for template selection only)
+    const formalizeEngine = new FormalizationEngine(library, llm ?? {
+        async complete() { return ""; },
+    });
+    server.setRequestHandler(CallToolRequestSchema, async (request) => {
+        const { name, arguments: args } = request.params;
+        switch (name) {
+            case "chiasmus_verify":
+                return handleVerify(args ?? {});
+            case "chiasmus_skills":
+                return handleSkills(library, args ?? {});
+            case "chiasmus_formalize":
+                return handleFormalize(formalizeEngine, args ?? {});
+            case "chiasmus_solve":
+                return handleSolve(formalizer, library, args ?? {});
+            case "chiasmus_learn":
+                return handleLearn(learner, args ?? {});
+            default:
+                return {
+                    content: [
+                        { type: "text", text: JSON.stringify({ status: "error", error: `Unknown tool: ${name}` }) },
+                    ],
+                };
+        }
+    });
+    return { server, library, formalizer };
+}
+// CLI entry point
+const isMain = process.argv[1] &&
+    (process.argv[1].endsWith("mcp-server.ts") ||
+        process.argv[1].endsWith("mcp-server.js"));
+if (isMain) {
+    const { server } = await createChiasmusServer();
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+    console.error("[Chiasmus] MCP server running on stdio");
+}
+//# sourceMappingURL=mcp-server.js.map

package/dist/mcp-server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp-server.js","sourceRoot":"","sources":["../src/mcp-server.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GAEvB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAItD,MAAM,UAAU,eAAe;IAC7B,OAAO,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,KAAK,GAAG;IACZ;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;0CA2ByB;QACtC,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACtB,WAAW,EAAE,0DAA0D;iBACxE;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EACT,gFAAgF;iBACnF;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EACT,kFAAkF;iBACrF;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;SAC9B;KACF;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,WAAW,EAAE;;;;;;;;;;;;;;;iCAegB;QAC7B,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,0DAA0D;iBACxE;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,yDAAyD;iBACvE;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,0FAA0F;iBACxG;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACtB,WAAW,EAAE,uBAAuB;iBACrC;aACF;SACF;KACF;IACD;QACE,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EAAE;;;;;;;;;;;oEAWmD;QAChE,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,0DAA0D;iBACxE;aACF;YACD,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE;;;;;;;;;;oFAUmE;QAChF,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,sDAAsD;iBACpE;aACF;YACD,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;KACF;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,WAAW,EAAE;;;;kCAIiB,CAAC;;;;;;;;yEAQsC;QACrE,WAAW,EAAE;YACX,IAAI,EAAE,QAAiB;YACvB,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACtB,WAAW,EAAE,6CAA6C;iBAC3D;gBACD,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,iDAAiD;iBAC/D;gBACD,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,6DAA6D;iBAC3E;aACF;YACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC;SACxC;KACF;CACF,CAAC;AAEF,KAAK,UAAU,YAAY,CAAC,IAA6B;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAA2B,CAAC;IAE/C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBAC7C,MAAM,EAAE,OAAO;wBACf,KAAK,EAAE,0DAA0D;qBAClE,CAAC,EAAE,CAAC;SACN,CAAC;IACJ,CAAC;IAED,IAAI,MAAoB,CAAC;IAEzB,IAAI,CAAC;QACH,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC;gBACH,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9D,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,GAAG;oBACP,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,yDAAyD;iBACjE,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACrD,IAAI,CAAC;oBACH,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC;wBAC3B,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,KAAK;wBACd,KAAK;qBACN,CAAC,CAAC;gBACL,CAAC;wBAAS,CAAC;oBACT,OAAO,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,mBAAmB,MAAM,yBAAyB;aAC1D,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,iCAAiC,GAAG,EAAE,EAAE,CAAC;IAC9E,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,OAAqB,EACrB,IAA6B;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAA0B,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAA2B,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAA4B,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAqC,CAAC;IAE1D,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,aAAa,IAAI,aAAa,EAAE,CAAC,EAAE,CAAC;aAC7F,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1D,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;SACpE,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,MAAM;QAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,IAAI,MAAM;QAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAElE,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,UAA+B,EAC/B,IAA6B;IAE7B,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACtD,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,8CAA8C,EAAE,CAAC,EAAE,CAAC;SAC7G,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACnD,OAAO;QACL,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;oBAC9B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;oBAC9B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;oBAC9B,YAAY,EAAE,MAAM,CAAC,YAAY;iBAClC,EAAE,IAAI,EAAE,CAAC,CAAC;aACZ,CAAC;KACH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,UAAsC,EACtC,OAAqB,EACrB,IAA6B;IAE7B,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACtD,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,8CAA8C,EAAE,CAAC,EAAE,CAAC;SAC7G,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,+CAA+C;IAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,WAAW,GAAG,IAAI,mBAAmB,CAAC,OAAO,EAAE;YACnD,KAAK,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACpD,OAAO;YACL,OAAO,EAAE,CAAC;oBACR,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBACnB,QAAQ,EAAE,IAAI;wBACd,OAAO,EAAE,4GAA4G;wBACrH,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;wBAC9B,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM;wBAC9B,YAAY,EAAE,MAAM,CAAC,YAAY;qBAClC,EAAE,IAAI,EAAE,CAAC,CAAC;iBACZ,CAAC;SACH,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO;QACL,OAAO,EAAE,CAAC;gBACR,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;oBACvB,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAClC,KAAK,EAAE,CAAC,CAAC,KAAK;wBACd,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;wBACvB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;qBAChE,CAAC,CAAC;iBACJ,EAAE,IAAI,EAAE,CAAC,CAAC;aACZ,CAAC;KACH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAA4B,EAC5B,IAA6B;IAE7B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBAC7C,KAAK,EAAE,mFAAmF;qBAC3F,CAAC,EAAE,CAAC;SACN,CAAC;IACJ,CAAC;IAED,IACE,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;QAC/B,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC7B,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QAChC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAC3C,CAAC;QACD,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBAC7C,KAAK,EAAE,uEAAuE;qBAC/E,CAAC,EAAE,CAAC;SACN,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE7B,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBAC7C,KAAK,EAAE,mBAAmB,MAAM,yBAAyB;qBAC1D,CAAC,EAAE,CAAC;SACN,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;wBAC7C,SAAS,EAAE,KAAK;wBAChB,MAAM,EAAE,iHAAiH;qBAC1H,CAAC,EAAE,CAAC;SACN,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,eAAe,EAAE,CAAC;IAE1B,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBAC7C,SAAS,EAAE,IAAI;oBACf,QAAQ,EAAE,MAAM,CAAC,IAAI;oBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;oBAC1B,QAAQ,EAAE,KAAK;iBAChB,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAqB,EACrB,WAA+B;IAE/B,MAAM,IAAI,GAAG,YAAY,IAAI,eAAe,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEhD,8CAA8C;IAC9C,MAAM,GAAG,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;IACzE,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACtE,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE5D,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,EACtC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,EAAE,KAAK;KACb,CAAC,CAAC,CAAC;IAEJ,wGAAwG;IACxG,MAAM,eAAe,GAAG,IAAI,mBAAmB,CAAC,OAAO,EAAE,GAAG,IAAI;QAC9D,KAAK,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC;KAChC,CAAC,CAAC;IAEH,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QAChE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAEjD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,iBAAiB;gBACpB,OAAO,YAAY,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,KAAK,iBAAiB;gBACpB,OAAO,YAAY,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;YAC3C,KAAK,oBAAoB;gBACvB,OAAO,eAAe,CAAC,eAAe,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;YACtD,KAAK,gBAAgB;gBACnB,OAAO,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;YACtD,KAAK,gBAAgB;gBACnB,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;YAC1C;gBACE,OAAO;oBACL,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,IAAI,EAAE,EAAE,CAAC,EAAE;qBAC5F;iBACF,CAAC;QACN,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED,kBAAkB;AAClB,MAAM,MAAM,GACV,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACf,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;AAE/C,IAAI,MAAM,EAAE,CAAC;IACX,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,oBAAoB,EAAE,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;AAC1D,CAAC"}

package/dist/skills/bm25.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Minimal BM25 search for template retrieval.
+ * Each "document" is a template's concatenated searchable text.
+ */
+export declare function tokenize(text: string): string[];
+interface DocEntry {
+    index: number;
+    tokens: string[];
+    length: number;
+}
+export interface BM25Index {
+    docs: DocEntry[];
+    idf: Map<string, number>;
+    avgLength: number;
+}
+export declare function buildIndex(texts: string[]): BM25Index;
+export declare function search(index: BM25Index, query: string, limit?: number, k1?: number, b?: number): Array<{
+    docIndex: number;
+    score: number;
+}>;
+export {};
+//# sourceMappingURL=bm25.d.ts.map

package/dist/skills/bm25.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bm25.d.ts","sourceRoot":"","sources":["../../src/skills/bm25.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAK/C;AAED,UAAU,QAAQ;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAwBrD;AAED,wBAAgB,MAAM,CACpB,KAAK,EAAE,SAAS,EAChB,KAAK,EAAE,MAAM,EACb,KAAK,SAAK,EACV,EAAE,SAAM,EACR,CAAC,SAAO,GACP,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAkC5C"}

package/dist/skills/bm25.js

@@ -0,0 +1,71 @@
+/**
+ * Minimal BM25 search for template retrieval.
+ * Each "document" is a template's concatenated searchable text.
+ */
+const STOPWORDS = new Set([
+    "a", "an", "the", "is", "are", "was", "were", "be", "been", "being",
+    "have", "has", "had", "do", "does", "did", "will", "would", "could",
+    "should", "may", "might", "can", "shall", "to", "of", "in", "for",
+    "on", "with", "at", "by", "from", "as", "into", "through", "during",
+    "before", "after", "above", "below", "between", "and", "but", "or",
+    "not", "no", "nor", "so", "if", "then", "than", "that", "this",
+    "these", "those", "it", "its",
+]);
+export function tokenize(text) {
+    return text
+        .toLowerCase()
+        .split(/[^a-z0-9_]+/)
+        .filter((t) => t.length >= 2 && !STOPWORDS.has(t));
+}
+export function buildIndex(texts) {
+    const docs = texts.map((text, index) => {
+        const tokens = tokenize(text);
+        return { index, tokens, length: tokens.length };
+    });
+    const avgLength = docs.reduce((sum, d) => sum + d.length, 0) / (docs.length || 1);
+    // Compute IDF for each term
+    const docFreq = new Map();
+    for (const doc of docs) {
+        const seen = new Set(doc.tokens);
+        for (const term of seen) {
+            docFreq.set(term, (docFreq.get(term) ?? 0) + 1);
+        }
+    }
+    const N = docs.length;
+    const idf = new Map();
+    for (const [term, df] of docFreq) {
+        idf.set(term, Math.log((N - df + 0.5) / (df + 0.5) + 1));
+    }
+    return { docs, idf, avgLength };
+}
+export function search(index, query, limit = 10, k1 = 1.2, b = 0.75) {
+    const queryTokens = tokenize(query);
+    if (queryTokens.length === 0)
+        return [];
+    const scores = [];
+    for (const doc of index.docs) {
+        let score = 0;
+        // Count term frequencies in this doc
+        const tf = new Map();
+        for (const token of doc.tokens) {
+            tf.set(token, (tf.get(token) ?? 0) + 1);
+        }
+        for (const term of queryTokens) {
+            const termIdf = index.idf.get(term);
+            if (!termIdf)
+                continue;
+            const termTf = tf.get(term) ?? 0;
+            if (termTf === 0)
+                continue;
+            const numerator = termTf * (k1 + 1);
+            const denominator = termTf + k1 * (1 - b + b * (doc.length / index.avgLength));
+            score += termIdf * (numerator / denominator);
+        }
+        if (score > 0) {
+            scores.push({ docIndex: doc.index, score });
+        }
+    }
+    scores.sort((a, b) => b.score - a.score);
+    return scores.slice(0, limit);
+}
+//# sourceMappingURL=bm25.js.map

package/dist/skills/bm25.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bm25.js","sourceRoot":"","sources":["../../src/skills/bm25.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO;IACnE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO;IACnE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK;IACjE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ;IACnE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI;IAClE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IAC9D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK;CAC9B,CAAC,CAAC;AAEH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI;SACR,WAAW,EAAE;SACb,KAAK,CAAC,aAAa,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAcD,MAAM,UAAU,UAAU,CAAC,KAAe;IACxC,MAAM,IAAI,GAAe,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAElF,4BAA4B;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,MAAM,CACpB,KAAgB,EAChB,KAAa,EACb,KAAK,GAAG,EAAE,EACV,EAAE,GAAG,GAAG,EACR,CAAC,GAAG,IAAI;IAER,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAExC,MAAM,MAAM,GAA+C,EAAE,CAAC;IAE9D,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,qCAAqC;QACrC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAkB,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,CAAC;gBAAE,SAAS;YAE3B,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;YAC/E,KAAK,IAAI,OAAO,GAAG,CAAC,SAAS,GAAG,WAAW,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/skills/learner.d.ts

@@ -0,0 +1,21 @@
+import type { LLMAdapter } from "../llm/types.js";
+import type { SkillLibrary } from "./library.js";
+import type { SkillTemplate } from "./types.js";
+import type { SolverType } from "../solvers/types.js";
+export declare class SkillLearner {
+    private library;
+    private llm;
+    constructor(library: SkillLibrary, llm: LLMAdapter);
+    /**
+     * Extract a reusable template from a verified solution.
+     * Returns the template if accepted, null if rejected (duplicate or invalid).
+     */
+    extractTemplate(solver: SolverType, verifiedSpec: string, problemDescription: string): Promise<SkillTemplate | null>;
+    /** Check promotions: promote candidates with sufficient reuse and success rate */
+    checkPromotions(): void;
+    /** Check if a template is too similar to an existing one */
+    private isDuplicate;
+    /** Simple word-overlap similarity (Jaccard) for dedup */
+    private textSimilarity;
+}
+//# sourceMappingURL=learner.d.ts.map

package/dist/skills/learner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"learner.d.ts","sourceRoot":"","sources":["../../src/skills/learner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAA0B,MAAM,YAAY,CAAC;AACxE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AA2BtD,qBAAa,YAAY;IAErB,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,GAAG;gBADH,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,UAAU;IAGzB;;;OAGG;IACG,eAAe,CACnB,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,MAAM,EACpB,kBAAkB,EAAE,MAAM,GACzB,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAkEhC,kFAAkF;IAClF,eAAe,IAAI,IAAI;IAiBvB,4DAA4D;IAC5D,OAAO,CAAC,WAAW;IAUnB,yDAAyD;IACzD,OAAO,CAAC,cAAc;CAOvB"}