@dragonflymcp/plugin 1.0.0

package/dist/tools/spec/generator.js

@@ -0,0 +1,278 @@
+/**
+ * Spec→Prompt Generator
+ * Transforms a SpecData definition into a structured code generation prompt.
+ * Contains per-language type mappings and prompt construction logic.
+ */
+const LANG_CONFIG = {
+    go: {
+        typeMap: {
+            string: "string",
+            int: "int",
+            float: "float64",
+            bool: "bool",
+            bytes: "[]byte",
+            any: "interface{}",
+        },
+        optionalType: (t) => `*${t}`,
+        listType: (t) => `[]${t}`,
+        mapType: (k, v) => `map[${k}]${v}`,
+        errorType: "error",
+        commentPrefix: "//",
+        testFramework: "testing",
+        propertyTestLib: "rapid",
+    },
+    swift: {
+        typeMap: {
+            string: "String",
+            int: "Int",
+            float: "Double",
+            bool: "Bool",
+            bytes: "Data",
+            any: "Any",
+        },
+        optionalType: (t) => `${t}?`,
+        listType: (t) => `[${t}]`,
+        mapType: (k, v) => `[${k}: ${v}]`,
+        errorType: "Error",
+        commentPrefix: "//",
+        testFramework: "XCTest",
+        propertyTestLib: "SwiftCheck",
+    },
+    rust: {
+        typeMap: {
+            string: "String",
+            int: "i64",
+            float: "f64",
+            bool: "bool",
+            bytes: "Vec<u8>",
+            any: "Box<dyn Any>",
+        },
+        optionalType: (t) => `Option<${t}>`,
+        listType: (t) => `Vec<${t}>`,
+        mapType: (k, v) => `HashMap<${k}, ${v}>`,
+        errorType: "Result<T, E>",
+        commentPrefix: "//",
+        testFramework: "cargo test",
+        propertyTestLib: "proptest",
+    },
+    typescript: {
+        typeMap: {
+            string: "string",
+            int: "number",
+            float: "number",
+            bool: "boolean",
+            bytes: "Uint8Array",
+            any: "unknown",
+        },
+        optionalType: (t) => `${t} | undefined`,
+        listType: (t) => `${t}[]`,
+        mapType: (k, v) => `Record<${k}, ${v}>`,
+        errorType: "Error",
+        commentPrefix: "//",
+        testFramework: "vitest",
+        propertyTestLib: "fast-check",
+    },
+    python: {
+        typeMap: {
+            string: "str",
+            int: "int",
+            float: "float",
+            bool: "bool",
+            bytes: "bytes",
+            any: "Any",
+        },
+        optionalType: (t) => `Optional[${t}]`,
+        listType: (t) => `list[${t}]`,
+        mapType: (k, v) => `dict[${k}, ${v}]`,
+        errorType: "Exception",
+        commentPrefix: "#",
+        testFramework: "pytest",
+        propertyTestLib: "hypothesis",
+    },
+};
+// ─── Type Mapping ───────────────────────────────────────
+/**
+ * Map a spec type string to the target language type.
+ * Handles primitives, lists ([]T), optionals (?T), and maps (map[K]V).
+ */
+export function mapType(specType, lang) {
+    const cfg = LANG_CONFIG[lang];
+    // Optional: ?T
+    if (specType.startsWith("?")) {
+        return cfg.optionalType(mapType(specType.slice(1), lang));
+    }
+    // List: []T
+    if (specType.startsWith("[]")) {
+        return cfg.listType(mapType(specType.slice(2), lang));
+    }
+    // Map: map[K]V
+    const mapMatch = specType.match(/^map\[(\w+)\](.+)$/);
+    if (mapMatch) {
+        return cfg.mapType(mapType(mapMatch[1], lang), mapType(mapMatch[2], lang));
+    }
+    // Primitive or custom type (pass through if not in map)
+    return cfg.typeMap[specType] ?? specType;
+}
+// ─── Prompt Generation ──────────────────────────────────
+function generateTypeSection(types, lang, cfg) {
+    if (types.length === 0)
+        return "";
+    const lines = [`${cfg.commentPrefix} === Type Definitions ===`, ""];
+    for (const t of types) {
+        if (t.description) {
+            lines.push(`${cfg.commentPrefix} ${t.description}`);
+        }
+        lines.push(`${cfg.commentPrefix} Type: ${t.name}`);
+        for (const f of t.fields) {
+            const mapped = mapType(f.type, lang);
+            const desc = f.description ? ` ${cfg.commentPrefix} ${f.description}` : "";
+            const constraint = f.constraints ? ` ${cfg.commentPrefix} constraint: ${f.constraints}` : "";
+            lines.push(`${cfg.commentPrefix}   ${f.name}: ${mapped}${desc}${constraint}`);
+        }
+        lines.push("");
+    }
+    return lines.join("\n");
+}
+function generateFunctionSection(fns, lang, cfg) {
+    const lines = [`${cfg.commentPrefix} === Function Specifications ===`, ""];
+    for (const fn of fns) {
+        if (fn.description) {
+            lines.push(`${cfg.commentPrefix} ${fn.description}`);
+        }
+        // Signature
+        const params = fn.params
+            .map((p) => `${p.name}: ${mapType(p.type, lang)}`)
+            .join(", ");
+        const returns = mapType(fn.returns, lang);
+        lines.push(`${cfg.commentPrefix} func ${fn.name}(${params}) -> ${returns}`);
+        // Preconditions
+        if (fn.requires?.length) {
+            lines.push(`${cfg.commentPrefix}`);
+            lines.push(`${cfg.commentPrefix} Preconditions:`);
+            for (const req of fn.requires) {
+                lines.push(`${cfg.commentPrefix}   - ${req}`);
+            }
+        }
+        // Postconditions
+        if (fn.ensures?.length) {
+            lines.push(`${cfg.commentPrefix}`);
+            lines.push(`${cfg.commentPrefix} Postconditions:`);
+            for (const ens of fn.ensures) {
+                lines.push(`${cfg.commentPrefix}   - ${ens}`);
+            }
+        }
+        // Effects
+        if (fn.effects?.length) {
+            lines.push(`${cfg.commentPrefix}`);
+            lines.push(`${cfg.commentPrefix} Effects:`);
+            for (const eff of fn.effects) {
+                const desc = eff.description ? ` — ${eff.description}` : "";
+                lines.push(`${cfg.commentPrefix}   - ${eff.type}${desc}`);
+            }
+        }
+        // Errors
+        if (fn.errors?.length) {
+            lines.push(`${cfg.commentPrefix}`);
+            lines.push(`${cfg.commentPrefix} Errors:`);
+            for (const err of fn.errors) {
+                lines.push(`${cfg.commentPrefix}   - ${err}`);
+            }
+        }
+        // Parameter constraints
+        const constrained = fn.params.filter((p) => p.constraints);
+        if (constrained.length > 0) {
+            lines.push(`${cfg.commentPrefix}`);
+            lines.push(`${cfg.commentPrefix} Parameter constraints:`);
+            for (const p of constrained) {
+                lines.push(`${cfg.commentPrefix}   - ${p.name}: ${p.constraints}`);
+            }
+        }
+        lines.push("");
+    }
+    return lines.join("\n");
+}
+function generatePropertySection(properties, lang, cfg) {
+    if (!properties?.length)
+        return "";
+    const lines = [
+        `${cfg.commentPrefix} === Properties (verify with ${cfg.propertyTestLib}) ===`,
+        "",
+    ];
+    for (const prop of properties) {
+        lines.push(`${cfg.commentPrefix} Property: ${prop.name}`);
+        lines.push(`${cfg.commentPrefix}   ${prop.description}`);
+        if (prop.forall?.length) {
+            lines.push(`${cfg.commentPrefix}   forall ${prop.forall.join(", ")}:`);
+        }
+        lines.push(`${cfg.commentPrefix}   ${prop.body}`);
+        lines.push("");
+    }
+    return lines.join("\n");
+}
+function generateVerificationChecklist(spec, cfg) {
+    const lines = [
+        `${cfg.commentPrefix} === Verification Checklist ===`,
+        "",
+    ];
+    // Collect all effects
+    const allEffects = new Set();
+    for (const fn of spec.functions) {
+        for (const eff of fn.effects ?? []) {
+            allEffects.add(eff.type);
+        }
+    }
+    if (allEffects.size > 0) {
+        lines.push(`${cfg.commentPrefix} Effects to handle: ${Array.from(allEffects).join(", ")}`);
+    }
+    // Count contracts
+    const preCount = spec.functions.reduce((n, fn) => n + (fn.requires?.length ?? 0), 0);
+    const postCount = spec.functions.reduce((n, fn) => n + (fn.ensures?.length ?? 0), 0);
+    const errorCount = spec.functions.reduce((n, fn) => n + (fn.errors?.length ?? 0), 0);
+    if (preCount > 0)
+        lines.push(`${cfg.commentPrefix} Preconditions to enforce: ${preCount}`);
+    if (postCount > 0)
+        lines.push(`${cfg.commentPrefix} Postconditions to verify: ${postCount}`);
+    if (errorCount > 0)
+        lines.push(`${cfg.commentPrefix} Error cases to handle: ${errorCount}`);
+    if (spec.properties?.length) {
+        lines.push(`${cfg.commentPrefix} Properties to test: ${spec.properties.length}`);
+    }
+    lines.push("");
+    return lines.join("\n");
+}
+// ─── Main Export ────────────────────────────────────────
+/**
+ * Transform a SpecData into a structured code generation prompt.
+ * Returns a prompt string that Claude uses directly.
+ */
+export function generateSpecPrompt(spec) {
+    const lang = spec.target_language;
+    const cfg = LANG_CONFIG[lang];
+    const sections = [
+        `Generate ${lang} code implementing the following specification.`,
+        `Follow all contracts (preconditions, postconditions) exactly.`,
+        `Handle all listed error cases. Respect effect annotations.`,
+        "",
+        `# Specification: ${spec.name}`,
+        `# ${spec.description}`,
+        `# Target: ${lang} (test with ${cfg.testFramework})`,
+        "",
+    ];
+    if (spec.types?.length) {
+        sections.push(generateTypeSection(spec.types, lang, cfg));
+    }
+    sections.push(generateFunctionSection(spec.functions, lang, cfg));
+    if (spec.properties?.length) {
+        sections.push(generatePropertySection(spec.properties, lang, cfg));
+    }
+    sections.push(generateVerificationChecklist(spec, cfg));
+    sections.push(`${cfg.commentPrefix} === Instructions ===`, `${cfg.commentPrefix} 1. Implement all types and functions above in idiomatic ${lang}`, `${cfg.commentPrefix} 2. Enforce all preconditions (return errors / throw for violations)`, `${cfg.commentPrefix} 3. Ensure all postconditions hold on every return path`, `${cfg.commentPrefix} 4. Handle all listed error cases explicitly`, `${cfg.commentPrefix} 5. Write property-based tests using ${cfg.propertyTestLib}`, "");
+    return sections.join("\n");
+}
+/**
+ * Get language configuration for external use (e.g., tool responses).
+ */
+export function getLangConfig(lang) {
+    return LANG_CONFIG[lang];
+}
+//# sourceMappingURL=generator.js.map

package/dist/tools/spec/generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../src/tools/spec/generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiBH,MAAM,WAAW,GAA2C;IAC1D,EAAE,EAAE;QACF,OAAO,EAAE;YACP,MAAM,EAAE,QAAQ;YAChB,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,QAAQ;YACf,GAAG,EAAE,aAAa;SACnB;QACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE;QAC5B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE;QACzB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAClC,SAAS,EAAE,OAAO;QAClB,aAAa,EAAE,IAAI;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,OAAO;KACzB;IACD,KAAK,EAAE;QACL,OAAO,EAAE;YACP,MAAM,EAAE,QAAQ;YAChB,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;YACb,GAAG,EAAE,KAAK;SACX;QACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG;QAC5B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QACzB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;QACjC,SAAS,EAAE,OAAO;QAClB,aAAa,EAAE,IAAI;QACnB,aAAa,EAAE,QAAQ;QACvB,eAAe,EAAE,YAAY;KAC9B;IACD,IAAI,EAAE;QACJ,OAAO,EAAE;YACP,MAAM,EAAE,QAAQ;YAChB,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,cAAc;SACpB;QACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG;QACnC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG;QAC5B,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG;QACxC,SAAS,EAAE,cAAc;QACzB,aAAa,EAAE,IAAI;QACnB,aAAa,EAAE,YAAY;QAC3B,eAAe,EAAE,UAAU;KAC5B;IACD,UAAU,EAAE;QACV,OAAO,EAAE;YACP,MAAM,EAAE,QAAQ;YAChB,GAAG,EAAE,QAAQ;YACb,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,YAAY;YACnB,GAAG,EAAE,SAAS;SACf;QACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc;QACvC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI;QACzB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG;QACvC,SAAS,EAAE,OAAO;QAClB,aAAa,EAAE,IAAI;QACnB,aAAa,EAAE,QAAQ;QACvB,eAAe,EAAE,YAAY;KAC9B;IACD,MAAM,EAAE;QACN,OAAO,EAAE;YACP,MAAM,EAAE,KAAK;YACb,GAAG,EAAE,KAAK;YACV,KAAK,EAAE,OAAO;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,OAAO;YACd,GAAG,EAAE,KAAK;SACX;QACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG;QACrC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG;QAC7B,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG;QACrC,SAAS,EAAE,WAAW;QACtB,aAAa,EAAE,GAAG;QAClB,aAAa,EAAE,QAAQ;QACvB,eAAe,EAAE,YAAY;KAC9B;CACF,CAAC;AAEF,2DAA2D;AAE3D;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,QAAgB,EAAE,IAAwB;IAChE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE9B,eAAe;IACf,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,YAAY;IACZ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,eAAe;IACf,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACtD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,GAAG,CAAC,OAAO,CAChB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAC1B,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAC3B,CAAC;IACJ,CAAC;IAED,wDAAwD;IACxD,OAAO,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;AAC3C,CAAC;AAED,2DAA2D;AAE3D,SAAS,mBAAmB,CAAC,KAAiB,EAAE,IAAwB,EAAE,GAAe;IACvF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAEpE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,GAAG,IAAI,GAAG,UAAU,EAAE,CAAC,CAAC;QAChF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAmB,EAAE,IAAwB,EAAE,GAAe;IAC7F,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,kCAAkC,EAAE,EAAE,CAAC,CAAC;IAE3E,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,YAAY;QACZ,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM;aACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;aACjD,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,SAAS,EAAE,CAAC,IAAI,IAAI,MAAM,QAAQ,OAAO,EAAE,CAAC,CAAC;QAE5E,gBAAgB;QAChB,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,iBAAiB,CAAC,CAAC;YAClD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,QAAQ,GAAG,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAED,iBAAiB;QACjB,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,kBAAkB,CAAC,CAAC;YACnD,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,QAAQ,GAAG,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAED,UAAU;QACV,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,WAAW,CAAC,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,QAAQ,GAAG,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,SAAS;QACT,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,UAAU,CAAC,CAAC;YAC3C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,QAAQ,GAAG,EAAE,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC3D,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,yBAAyB,CAAC,CAAC;YAC1D,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,QAAQ,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAAkC,EAClC,IAAwB,EACxB,GAAe;IAEf,IAAI,CAAC,UAAU,EAAE,MAAM;QAAE,OAAO,EAAE,CAAC;IAEnC,MAAM,KAAK,GAAG;QACZ,GAAG,GAAG,CAAC,aAAa,gCAAgC,GAAG,CAAC,eAAe,OAAO;QAC9E,EAAE;KACH,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,cAAc,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,aAAa,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAc,EAAE,GAAe;IACpE,MAAM,KAAK,GAAG;QACZ,GAAG,GAAG,CAAC,aAAa,iCAAiC;QACrD,EAAE;KACH,CAAC;IAEF,sBAAsB;IACtB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACnC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,uBAAuB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAErF,IAAI,QAAQ,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,8BAA8B,QAAQ,EAAE,CAAC,CAAC;IAC3F,IAAI,SAAS,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,8BAA8B,SAAS,EAAE,CAAC,CAAC;IAC7F,IAAI,UAAU,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,2BAA2B,UAAU,EAAE,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,aAAa,wBAAwB,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,2DAA2D;AAE3D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC;IAClC,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAE9B,MAAM,QAAQ,GAAG;QACf,YAAY,IAAI,iDAAiD;QACjE,+DAA+D;QAC/D,4DAA4D;QAC5D,EAAE;QACF,oBAAoB,IAAI,CAAC,IAAI,EAAE;QAC/B,KAAK,IAAI,CAAC,WAAW,EAAE;QACvB,aAAa,IAAI,eAAe,GAAG,CAAC,aAAa,GAAG;QACpD,EAAE;KACH,CAAC;IAEF,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAElE,IAAI,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,6BAA6B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAExD,QAAQ,CAAC,IAAI,CACX,GAAG,GAAG,CAAC,aAAa,uBAAuB,EAC3C,GAAG,GAAG,CAAC,aAAa,4DAA4D,IAAI,EAAE,EACtF,GAAG,GAAG,CAAC,aAAa,sEAAsE,EAC1F,GAAG,GAAG,CAAC,aAAa,yDAAyD,EAC7E,GAAG,GAAG,CAAC,aAAa,8CAA8C,EAClE,GAAG,GAAG,CAAC,aAAa,wCAAwC,GAAG,CAAC,eAAe,EAAE,EACjF,EAAE,CACH,CAAC;IAEF,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAwB;IACpD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC"}

package/dist/tools/spec/generator.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Generator Tests
+ * Tests for spec→prompt transformation and type mapping
+ */
+export {};
+//# sourceMappingURL=generator.test.d.ts.map

package/dist/tools/spec/generator.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.test.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/generator.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/tools/spec/generator.test.js

@@ -0,0 +1,208 @@
+/**
+ * Generator Tests
+ * Tests for spec→prompt transformation and type mapping
+ */
+import { describe, it, expect } from "vitest";
+import { generateSpecPrompt, mapType, getLangConfig } from "./generator.js";
+function makeSpec(overrides) {
+    return {
+        name: "string-utils",
+        description: "String utility functions",
+        target_language: "go",
+        functions: [
+            {
+                name: "truncate",
+                params: [
+                    { name: "s", type: "string" },
+                    { name: "maxLen", type: "int", constraints: "> 0" },
+                ],
+                returns: "string",
+                requires: ["maxLen > 0"],
+                ensures: ["len(result) <= maxLen"],
+                errors: ["maxLen <= 0"],
+                effects: [{ type: "none" }],
+                description: "Truncate a string to maxLen characters",
+            },
+        ],
+        ...overrides,
+    };
+}
+describe("mapType", () => {
+    describe("primitives", () => {
+        it("should map string types per language", () => {
+            expect(mapType("string", "go")).toBe("string");
+            expect(mapType("string", "swift")).toBe("String");
+            expect(mapType("string", "rust")).toBe("String");
+            expect(mapType("string", "typescript")).toBe("string");
+            expect(mapType("string", "python")).toBe("str");
+        });
+        it("should map int types per language", () => {
+            expect(mapType("int", "go")).toBe("int");
+            expect(mapType("int", "swift")).toBe("Int");
+            expect(mapType("int", "rust")).toBe("i64");
+            expect(mapType("int", "typescript")).toBe("number");
+            expect(mapType("int", "python")).toBe("int");
+        });
+        it("should map bool types per language", () => {
+            expect(mapType("bool", "go")).toBe("bool");
+            expect(mapType("bool", "swift")).toBe("Bool");
+            expect(mapType("bool", "rust")).toBe("bool");
+            expect(mapType("bool", "typescript")).toBe("boolean");
+            expect(mapType("bool", "python")).toBe("bool");
+        });
+    });
+    describe("compound types", () => {
+        it("should map list types", () => {
+            expect(mapType("[]string", "go")).toBe("[]string");
+            expect(mapType("[]string", "swift")).toBe("[String]");
+            expect(mapType("[]string", "rust")).toBe("Vec<String>");
+            expect(mapType("[]string", "typescript")).toBe("string[]");
+            expect(mapType("[]string", "python")).toBe("list[str]");
+        });
+        it("should map optional types", () => {
+            expect(mapType("?string", "go")).toBe("*string");
+            expect(mapType("?string", "swift")).toBe("String?");
+            expect(mapType("?string", "rust")).toBe("Option<String>");
+            expect(mapType("?string", "typescript")).toBe("string | undefined");
+            expect(mapType("?string", "python")).toBe("Optional[str]");
+        });
+        it("should map map types", () => {
+            expect(mapType("map[string]int", "go")).toBe("map[string]int");
+            expect(mapType("map[string]int", "swift")).toBe("[String: Int]");
+            expect(mapType("map[string]int", "rust")).toBe("HashMap<String, i64>");
+            expect(mapType("map[string]int", "typescript")).toBe("Record<string, number>");
+            expect(mapType("map[string]int", "python")).toBe("dict[str, int]");
+        });
+        it("should pass through custom types", () => {
+            expect(mapType("Config", "go")).toBe("Config");
+            expect(mapType("UserProfile", "typescript")).toBe("UserProfile");
+        });
+        it("should handle nested compound types", () => {
+            expect(mapType("[]?int", "swift")).toBe("[Int?]");
+            expect(mapType("?[]string", "rust")).toBe("Option<Vec<String>>");
+        });
+    });
+});
+describe("generateSpecPrompt", () => {
+    it("should include spec name and description", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("string-utils");
+        expect(prompt).toContain("String utility functions");
+    });
+    it("should include target language", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Target: go");
+        expect(prompt).toContain("testing");
+    });
+    it("should include function signatures with mapped types", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("func truncate");
+        expect(prompt).toContain("s: string");
+        expect(prompt).toContain("maxLen: int");
+        expect(prompt).toContain("-> string");
+    });
+    it("should include preconditions", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Preconditions:");
+        expect(prompt).toContain("maxLen > 0");
+    });
+    it("should include postconditions", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Postconditions:");
+        expect(prompt).toContain("len(result) <= maxLen");
+    });
+    it("should include errors", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Errors:");
+        expect(prompt).toContain("maxLen <= 0");
+    });
+    it("should include effects", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Effects:");
+        expect(prompt).toContain("none");
+    });
+    it("should include parameter constraints", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Parameter constraints:");
+        expect(prompt).toContain("maxLen: > 0");
+    });
+    it("should include type definitions when present", () => {
+        const prompt = generateSpecPrompt(makeSpec({
+            types: [
+                {
+                    name: "TruncConfig",
+                    fields: [
+                        { name: "maxLen", type: "int" },
+                        { name: "suffix", type: "string", description: "Appended when truncated" },
+                    ],
+                    description: "Configuration for truncation",
+                },
+            ],
+        }));
+        expect(prompt).toContain("Type Definitions");
+        expect(prompt).toContain("TruncConfig");
+        expect(prompt).toContain("Configuration for truncation");
+        expect(prompt).toContain("Appended when truncated");
+    });
+    it("should include properties when present", () => {
+        const prompt = generateSpecPrompt(makeSpec({
+            properties: [
+                {
+                    name: "truncate-length",
+                    description: "Truncate never exceeds maxLen",
+                    forall: ["s: string", "n: int"],
+                    body: "len(truncate(s, n)) <= n",
+                },
+            ],
+        }));
+        expect(prompt).toContain("Properties");
+        expect(prompt).toContain("rapid");
+        expect(prompt).toContain("truncate-length");
+        expect(prompt).toContain("forall s: string, n: int");
+        expect(prompt).toContain("len(truncate(s, n)) <= n");
+    });
+    it("should include verification checklist", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Verification Checklist");
+        expect(prompt).toContain("Preconditions to enforce: 1");
+        expect(prompt).toContain("Postconditions to verify: 1");
+        expect(prompt).toContain("Error cases to handle: 1");
+    });
+    it("should include instructions section", () => {
+        const prompt = generateSpecPrompt(makeSpec());
+        expect(prompt).toContain("Instructions");
+        expect(prompt).toContain("idiomatic go");
+        expect(prompt).toContain("Enforce all preconditions");
+        expect(prompt).toContain("rapid");
+    });
+    it("should use correct comment prefix per language", () => {
+        const goPrompt = generateSpecPrompt(makeSpec({ target_language: "go" }));
+        expect(goPrompt).toContain("// ===");
+        const pyPrompt = generateSpecPrompt(makeSpec({ target_language: "python" }));
+        expect(pyPrompt).toContain("# ===");
+    });
+    it("should map types for different target languages", () => {
+        const swiftPrompt = generateSpecPrompt(makeSpec({ target_language: "swift" }));
+        expect(swiftPrompt).toContain("s: String");
+        expect(swiftPrompt).toContain("maxLen: Int");
+        expect(swiftPrompt).toContain("-> String");
+        expect(swiftPrompt).toContain("XCTest");
+        const rustPrompt = generateSpecPrompt(makeSpec({ target_language: "rust" }));
+        expect(rustPrompt).toContain("s: String");
+        expect(rustPrompt).toContain("maxLen: i64");
+        expect(rustPrompt).toContain("-> String");
+        expect(rustPrompt).toContain("proptest");
+    });
+});
+describe("getLangConfig", () => {
+    it("should return config for each language", () => {
+        for (const lang of ["go", "swift", "rust", "typescript", "python"]) {
+            const cfg = getLangConfig(lang);
+            expect(cfg.typeMap).toBeDefined();
+            expect(cfg.commentPrefix).toBeDefined();
+            expect(cfg.testFramework).toBeDefined();
+            expect(cfg.propertyTestLib).toBeDefined();
+        }
+    });
+});
+//# sourceMappingURL=generator.test.js.map

package/dist/tools/spec/generator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.test.js","sourceRoot":"","sources":["../../../src/tools/spec/generator.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG5E,SAAS,QAAQ,CAAC,SAA6B;IAC7C,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,0BAA0B;QACvC,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE;YACT;gBACE,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;iBACpD;gBACD,OAAO,EAAE,QAAQ;gBACjB,QAAQ,EAAE,CAAC,YAAY,CAAC;gBACxB,OAAO,EAAE,CAAC,uBAAuB,CAAC;gBAClC,MAAM,EAAE,CAAC,aAAa,CAAC;gBACvB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC3B,WAAW,EAAE,wCAAwC;aACtD;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7C,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnD,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACxD,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC3D,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC1D,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACpE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC/D,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;YACvE,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;YAC/E,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,kBAAkB,CAC/B,QAAQ,CAAC;YACP,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,aAAa;oBACnB,MAAM,EAAE;wBACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;wBAC/B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yBAAyB,EAAE;qBAC3E;oBACD,WAAW,EAAE,8BAA8B;iBAC5C;aACF;SACF,CAAC,CACH,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,kBAAkB,CAC/B,QAAQ,CAAC;YACP,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,iBAAiB;oBACvB,WAAW,EAAE,+BAA+B;oBAC5C,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;oBAC/B,IAAI,EAAE,0BAA0B;iBACjC;aACF;SACF,CAAC,CACH,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAErC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAExC,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,CAAU,EAAE,CAAC;YAC5E,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tools/spec/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Spec Module
+ * ZenSpec specification DSL for type-safe code generation.
+ * Saves structured specs and transforms them into Claude prompts.
+ *
+ * 6 tools: spec_save, spec_get, spec_list, spec_generate, spec_export, spec_import
+ */
+import { Tool } from "@modelcontextprotocol/sdk/types.js";
+export declare const tools: Tool[];
+export declare const specModule: import("../../core/types.js").ToolModule;
+//# sourceMappingURL=index.d.ts.map

package/dist/tools/spec/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAe1D,eAAO,MAAM,KAAK,EAAE,IAAI,EAkNvB,CAAC;AAuNF,eAAO,MAAM,UAAU,0CAAkC,CAAC"}