@dragonflymcp/plugin 1.0.0

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

@@ -0,0 +1,173 @@
+/**
+ * SpecStore Tests
+ * Tests for spec CRUD operations and filtering
+ */
+import { describe, it, expect } from "vitest";
+import { SpecStore } from "./store.js";
+import { useStoreHarness } from "../../test-utils/store-harness.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"],
+                description: "Truncate a string to maxLen characters",
+            },
+        ],
+        ...overrides,
+    };
+}
+describe("SpecStore", () => {
+    const t = useStoreHarness("spec", (p) => new SpecStore(p));
+    describe("saveSpec", () => {
+        it("should create a new spec with draft status", () => {
+            const data = makeSpec();
+            const record = t.store.saveSpec("string-utils", data);
+            expect(record.id).toMatch(/^spec-/);
+            expect(record.name).toBe("string-utils");
+            expect(record.status).toBe("draft");
+            expect(record.generatedCode).toBeNull();
+            expect(record.data.target_language).toBe("go");
+            expect(record.data.functions).toHaveLength(1);
+        });
+        it("should preserve data through serialization", () => {
+            const data = makeSpec({
+                types: [
+                    {
+                        name: "Config",
+                        fields: [
+                            { name: "maxLen", type: "int", constraints: "> 0" },
+                            { name: "suffix", type: "string", description: "Truncation suffix" },
+                        ],
+                    },
+                ],
+                properties: [
+                    {
+                        name: "truncate-length",
+                        description: "Truncate never exceeds maxLen",
+                        forall: ["s: string", "n: int"],
+                        body: "len(truncate(s, n)) <= n",
+                    },
+                ],
+            });
+            const record = t.store.saveSpec("with-types", data);
+            const retrieved = t.store.getSpec(record.id);
+            expect(retrieved).not.toBeNull();
+            expect(retrieved.data.types).toHaveLength(1);
+            expect(retrieved.data.types[0].name).toBe("Config");
+            expect(retrieved.data.types[0].fields).toHaveLength(2);
+            expect(retrieved.data.properties).toHaveLength(1);
+            expect(retrieved.data.properties[0].forall).toEqual(["s: string", "n: int"]);
+        });
+        it("should update an existing spec by ID", () => {
+            const original = t.store.saveSpec("v1", makeSpec());
+            const updated = t.store.saveSpec("v2", makeSpec({ description: "Updated" }), original.id);
+            expect(updated.id).toBe(original.id);
+            const retrieved = t.store.getSpec(original.id);
+            expect(retrieved.name).toBe("v2");
+            expect(retrieved.data.description).toBe("Updated");
+        });
+    });
+    describe("getSpec", () => {
+        it("should retrieve a spec by ID", () => {
+            const created = t.store.saveSpec("test", makeSpec());
+            const retrieved = t.store.getSpec(created.id);
+            expect(retrieved).not.toBeNull();
+            expect(retrieved.id).toBe(created.id);
+            expect(retrieved.name).toBe("test");
+        });
+        it("should return null for missing ID", () => {
+            expect(t.store.getSpec("spec-nonexistent")).toBeNull();
+        });
+    });
+    describe("getSpecByName", () => {
+        it("should return the latest spec with a given name", () => {
+            t.store.saveSpec("my-spec", makeSpec({ description: "first" }));
+            t.store.saveSpec("my-spec", makeSpec({ description: "second" }));
+            const result = t.store.getSpecByName("my-spec");
+            expect(result).not.toBeNull();
+            expect(result.data.description).toBe("second");
+        });
+        it("should return null for unknown name", () => {
+            expect(t.store.getSpecByName("unknown")).toBeNull();
+        });
+    });
+    describe("getLatestSpec", () => {
+        it("should return the most recently updated spec", () => {
+            t.store.saveSpec("first", makeSpec({ description: "first" }));
+            t.store.saveSpec("second", makeSpec({ description: "second" }));
+            const latest = t.store.getLatestSpec();
+            expect(latest).not.toBeNull();
+            expect(latest.name).toBe("second");
+        });
+        it("should return null when no specs exist", () => {
+            expect(t.store.getLatestSpec()).toBeNull();
+        });
+    });
+    describe("listSpecs", () => {
+        it("should list all specs", () => {
+            t.store.saveSpec("a", makeSpec());
+            t.store.saveSpec("b", makeSpec());
+            t.store.saveSpec("c", makeSpec());
+            const list = t.store.listSpecs();
+            expect(list).toHaveLength(3);
+        });
+        it("should filter by status", () => {
+            const spec = t.store.saveSpec("ready-one", makeSpec());
+            t.store.updateStatus(spec.id, "ready");
+            t.store.saveSpec("draft-one", makeSpec());
+            const ready = t.store.listSpecs({ status: "ready" });
+            expect(ready).toHaveLength(1);
+            expect(ready[0].status).toBe("ready");
+        });
+        it("should filter by target language", () => {
+            t.store.saveSpec("go-spec", makeSpec({ target_language: "go" }));
+            t.store.saveSpec("rust-spec", makeSpec({ target_language: "rust" }));
+            const goSpecs = t.store.listSpecs({ target_language: "go" });
+            expect(goSpecs).toHaveLength(1);
+            expect(goSpecs[0].data.target_language).toBe("go");
+        });
+        it("should respect limit", () => {
+            for (let i = 0; i < 5; i++) {
+                t.store.saveSpec(`spec-${i}`, makeSpec());
+            }
+            const limited = t.store.listSpecs({ limit: 3 });
+            expect(limited).toHaveLength(3);
+        });
+    });
+    describe("updateStatus", () => {
+        it("should change spec status", () => {
+            const spec = t.store.saveSpec("test", makeSpec());
+            t.store.updateStatus(spec.id, "ready");
+            const retrieved = t.store.getSpec(spec.id);
+            expect(retrieved.status).toBe("ready");
+        });
+        it("should update the updatedAt timestamp", () => {
+            const spec = t.store.saveSpec("test", makeSpec());
+            const originalTime = spec.updatedAt;
+            // Small delay to ensure timestamp differs
+            t.store.updateStatus(spec.id, "generating");
+            const retrieved = t.store.getSpec(spec.id);
+            expect(retrieved.updatedAt).toMatch(/^\d{4}-\d{2}-\d{2}T/);
+        });
+    });
+    describe("saveGeneratedCode", () => {
+        it("should save code and set status to generated", () => {
+            const spec = t.store.saveSpec("test", makeSpec());
+            t.store.saveGeneratedCode(spec.id, "func truncate(s string, n int) string { ... }");
+            const retrieved = t.store.getSpec(spec.id);
+            expect(retrieved.status).toBe("generated");
+            expect(retrieved.generatedCode).toContain("func truncate");
+        });
+    });
+});
+//# sourceMappingURL=store.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"store.test.js","sourceRoot":"","sources":["../../../src/tools/spec/store.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAGpE,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,WAAW,EAAE,wCAAwC;aACtD;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3D,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;YAEtD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAG,QAAQ,CAAC;gBACpB,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE;4BACN,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;4BACnD,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mBAAmB,EAAE;yBACrE;qBACF;iBACF;gBACD,UAAU,EAAE;oBACV;wBACE,IAAI,EAAE,iBAAiB;wBACvB,WAAW,EAAE,+BAA+B;wBAC5C,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;wBAC/B,IAAI,EAAE,0BAA0B;qBACjC;iBACF;aACF,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACpD,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAE7C,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,KAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,UAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACpD,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;YAE1F,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAErC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YACrD,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAE9C,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,SAAU,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACvC,MAAM,CAAC,SAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAChE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YAEjE,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YAEhE,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAElC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;YAE1C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACrD,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAErE,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC5C,CAAC;YAED,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClD,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAEvC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClD,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC;YAEpC,0CAA0C;YAC1C,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YAC5C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAU,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClD,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,EAAE,+CAA+C,CAAC,CAAC;YAEpF,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5C,MAAM,CAAC,SAAU,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,61 @@
+/**
+ * Types for the ZenSpec specification DSL module.
+ * Defines structured specs that transform into code generation prompts.
+ */
+export type SpecStatus = "draft" | "ready" | "generating" | "generated" | "verified";
+export type SpecTargetLanguage = "go" | "swift" | "rust" | "typescript" | "python";
+export interface SpecEffect {
+    type: "io" | "network" | "database" | "filesystem" | "none";
+    description?: string;
+}
+export interface SpecParam {
+    name: string;
+    type: string;
+    description?: string;
+    constraints?: string;
+}
+export interface SpecFunction {
+    name: string;
+    params: SpecParam[];
+    returns: string;
+    errors?: string[];
+    effects?: SpecEffect[];
+    requires?: string[];
+    ensures?: string[];
+    description?: string;
+}
+export interface SpecProperty {
+    name: string;
+    description: string;
+    forall?: string[];
+    body: string;
+}
+export interface SpecType {
+    name: string;
+    fields: SpecParam[];
+    description?: string;
+}
+export interface SpecData {
+    name: string;
+    description: string;
+    types?: SpecType[];
+    functions: SpecFunction[];
+    properties?: SpecProperty[];
+    target_language: SpecTargetLanguage;
+}
+export interface SpecRecord {
+    id: string;
+    name: string;
+    data: SpecData;
+    status: SpecStatus;
+    generatedCode: string | null;
+    createdAt: string;
+    updatedAt: string;
+}
+/** Portable spec format for export/import across projects */
+export interface PortableSpec {
+    name: string;
+    status: SpecStatus;
+    data: SpecData;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tools/spec/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,GAAG,YAAY,GAAG,WAAW,GAAG,UAAU,CAAC;AACrF,MAAM,MAAM,kBAAkB,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEnF,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;IAC5D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;IAC5B,eAAe,EAAE,kBAAkB,CAAC;CACrC;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,6DAA6D;AAC7D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,UAAU,CAAC;IACnB,IAAI,EAAE,QAAQ,CAAC;CAChB"}

package/dist/tools/spec/types.js

@@ -0,0 +1,6 @@
+/**
+ * Types for the ZenSpec specification DSL module.
+ * Defines structured specs that transform into code generation prompts.
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

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

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

@@ -0,0 +1,11 @@
+/**
+ * State Module
+ * SQLite-backed operational state for health, events, checkpoints, stories, and migration.
+ * Provides 11 MCP tools including structured checkpoint save/restore and YAML→SQLite migration.
+ */
+import { Tool } from "@modelcontextprotocol/sdk/types.js";
+export declare const tools: Tool[];
+export declare const stateModule: import("../../core/types.js").ToolModule;
+export * from "./types.js";
+export { StateStore } from "./store.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tools/state/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,oCAAoC,CAAC;AAa1D,eAAO,MAAM,KAAK,EAAE,IAAI,EAgNvB,CAAC;AAgNF,eAAO,MAAM,WAAW,0CAAkC,CAAC;AAG3D,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/tools/state/index.js

@@ -0,0 +1,386 @@
+/**
+ * State Module
+ * SQLite-backed operational state for health, events, checkpoints, stories, and migration.
+ * Provides 11 MCP tools including structured checkpoint save/restore and YAML→SQLite migration.
+ */
+import { successResponse, errorResponse, args as a } from "../../utils/responses.js";
+import { createDispatcher, createModule } from "../../core/dispatcher.js";
+import { createLazyLoader } from "../../utils/lazy.js";
+import { requireState } from "../../utils/guards.js";
+import { config } from "../../core/config.js";
+import { StateStore } from "./store.js";
+const dispatcher = createDispatcher();
+const getStore = createLazyLoader(() => new StateStore(config().stateDbPath));
+// Tool definitions
+export const tools = [
+    {
+        name: "dragonfly_health_get",
+        description: "Get current context health status. Replaces reading koan/health/status.yaml.",
+        inputSchema: {
+            type: "object",
+            properties: {},
+        },
+    },
+    {
+        name: "dragonfly_checkpoint_save",
+        description: "Save a session checkpoint with optional structured context for intuitive restoration. Stores full checkpoint data in SQLite for atomic durability.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                name: {
+                    type: "string",
+                    description: "Checkpoint name (e.g., 'phase2-complete', 'pre-refactor')",
+                },
+                type: {
+                    type: "string",
+                    enum: ["safety", "commit", "milestone", "session_exit", "pre_compact", "manual"],
+                    description: "Checkpoint type classification",
+                },
+                data: {
+                    type: "object",
+                    description: "Full checkpoint content (task state, decisions, context)",
+                },
+                lessons: {
+                    type: "array",
+                    description: "What was learned during the session",
+                    items: {
+                        type: "object",
+                        properties: {
+                            insight: { type: "string", description: "What was learned" },
+                            context: { type: "string", description: "When/where this applied" },
+                            principle: { type: "string", description: "General principle to carry forward" },
+                        },
+                        required: ["insight"],
+                    },
+                },
+                dead_ends: {
+                    type: "array",
+                    description: "Approaches tried that failed — prevents re-deriving",
+                    items: {
+                        type: "object",
+                        properties: {
+                            attempted: { type: "string", description: "What was tried" },
+                            why_it_failed: { type: "string", description: "Why it didn't work" },
+                            lesson: { type: "string", description: "What to do instead" },
+                        },
+                        required: ["attempted", "why_it_failed"],
+                    },
+                },
+                warm_up_files: {
+                    type: "array",
+                    description: "Files to re-read on restore to rebuild intuition",
+                    items: {
+                        type: "object",
+                        properties: {
+                            path: { type: "string", description: "File path relative to project root" },
+                            reason: { type: "string", description: "Why this file matters" },
+                            sections: { type: "string", description: "Optional line ranges or section names to focus on" },
+                        },
+                        required: ["path", "reason"],
+                    },
+                },
+                restoration_prompt: {
+                    type: "string",
+                    description: "First-person briefing for future Claude (e.g., 'You were working on X. The key insight was Y.')",
+                },
+            },
+            required: ["name", "type", "data"],
+        },
+    },
+    {
+        name: "dragonfly_checkpoint_list",
+        description: "List saved checkpoints. Replaces listing koan/session-state/ directory. Returns checkpoints ordered by creation time (newest first).",
+        inputSchema: {
+            type: "object",
+            properties: {
+                type: {
+                    type: "string",
+                    enum: ["safety", "commit", "milestone", "session_exit", "pre_compact", "manual"],
+                    description: "Filter by checkpoint type",
+                },
+                limit: {
+                    type: "number",
+                    description: "Maximum number of checkpoints to return (default: 20)",
+                },
+            },
+        },
+    },
+    {
+        name: "dragonfly_checkpoint_get",
+        description: "Get a specific checkpoint by ID. Replaces reading koan/session-state/checkpoint-*.yaml. Returns full checkpoint data including restoration prompt.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                checkpoint_id: {
+                    type: "string",
+                    description: "Checkpoint ID to retrieve",
+                },
+                latest: {
+                    type: "boolean",
+                    description: "If true, get the most recent checkpoint (ignores checkpoint_id)",
+                },
+                type: {
+                    type: "string",
+                    enum: ["safety", "commit", "milestone", "session_exit", "pre_compact", "manual"],
+                    description: "When used with latest=true, filter by type",
+                },
+            },
+        },
+    },
+    {
+        name: "dragonfly_checkpoint_restore",
+        description: "Restore from a checkpoint with progressive layered context. Returns structured layers (grounding, decisions, lessons, dead_ends, warm_up_files) and instructions for rebuilding intuition.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                checkpoint_id: {
+                    type: "string",
+                    description: "Checkpoint ID to restore from",
+                },
+                latest: {
+                    type: "boolean",
+                    description: "If true, restore from the most recent checkpoint (ignores checkpoint_id)",
+                },
+                type: {
+                    type: "string",
+                    enum: ["safety", "commit", "milestone", "session_exit", "pre_compact", "manual"],
+                    description: "When used with latest=true, filter by type",
+                },
+            },
+        },
+    },
+    {
+        name: "dragonfly_story_save",
+        description: "Save or update a story in state.db. Replaces writing koan/stories/story-*.yaml. Used by the story concept to persist requirements.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                id: {
+                    type: "string",
+                    description: "Story ID (e.g., 'story-20260215-051900')",
+                },
+                title: {
+                    type: "string",
+                    description: "Short story title",
+                },
+                status: {
+                    type: "string",
+                    enum: ["draft", "ready", "in_progress", "completed", "cancelled"],
+                    description: "Story status (default: 'draft')",
+                },
+                data: {
+                    type: "object",
+                    description: "Full story data (summary, acceptance_criteria, scope, etc.)",
+                },
+            },
+            required: ["id", "title", "data"],
+        },
+    },
+    {
+        name: "dragonfly_story_get",
+        description: "Get a story by ID from state.db. Replaces reading koan/stories/story-*.yaml.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                id: {
+                    type: "string",
+                    description: "Story ID to retrieve",
+                },
+                latest: {
+                    type: "boolean",
+                    description: "If true, get the most recent story (ignores id)",
+                },
+            },
+        },
+    },
+    {
+        name: "dragonfly_story_list",
+        description: "List stories from state.db. Returns stories ordered by update time (newest first).",
+        inputSchema: {
+            type: "object",
+            properties: {
+                status: {
+                    type: "string",
+                    enum: ["draft", "ready", "in_progress", "completed", "cancelled"],
+                    description: "Filter by story status",
+                },
+                limit: {
+                    type: "number",
+                    description: "Maximum stories to return (default: 20)",
+                },
+            },
+        },
+    },
+];
+// Register handlers
+dispatcher
+    .registerQuick("dragonfly_health_get", requireState(async () => {
+    const store = getStore();
+    const record = store.getHealth();
+    if (!record) {
+        return successResponse({
+            contextUsagePercent: 0,
+            zone: "green",
+            updatedAt: null,
+            message: "No health data recorded yet",
+        });
+    }
+    return successResponse(record);
+}))
+    .register("dragonfly_checkpoint_save", requireState(async (args) => {
+    const name = a.string(args, "name");
+    if (!name)
+        return errorResponse("name is required");
+    const type = a.string(args, "type", "manual");
+    const data = a.object(args, "data") ?? {};
+    // Merge optional structured fields into data
+    const lessons = a.arrayOptional(args, "lessons");
+    const deadEnds = a.arrayOptional(args, "dead_ends");
+    const warmUpFiles = a.arrayOptional(args, "warm_up_files");
+    const restorationPrompt = a.stringOptional(args, "restoration_prompt");
+    if (lessons?.length)
+        data.lessons = lessons;
+    if (deadEnds?.length)
+        data.dead_ends = deadEnds;
+    if (warmUpFiles?.length)
+        data.warm_up_files = warmUpFiles;
+    if (restorationPrompt)
+        data.restoration_prompt = restorationPrompt;
+    const store = getStore();
+    const record = store.saveCheckpoint(name, type, data);
+    return successResponse(record);
+}))
+    .registerQuick("dragonfly_checkpoint_list", requireState(async (args) => {
+    const type = a.stringOptional(args, "type");
+    const limit = a.number(args, "limit", 20);
+    const store = getStore();
+    const checkpoints = store.listCheckpoints({ type, limit });
+    return successResponse({
+        count: checkpoints.length,
+        checkpoints,
+    });
+}))
+    .registerQuick("dragonfly_checkpoint_get", requireState(async (args) => {
+    const latest = a.boolean(args, "latest", false);
+    if (latest) {
+        const type = a.stringOptional(args, "type");
+        const store = getStore();
+        const checkpoint = store.getLatestCheckpoint(type);
+        if (!checkpoint) {
+            return errorResponse(type
+                ? `No checkpoints found with type "${type}"`
+                : "No checkpoints found");
+        }
+        return successResponse(checkpoint);
+    }
+    const checkpointId = a.string(args, "checkpoint_id", "");
+    if (!checkpointId) {
+        return errorResponse("Either checkpoint_id or latest=true is required");
+    }
+    const store = getStore();
+    const checkpoint = store.getCheckpoint(checkpointId);
+    if (!checkpoint) {
+        return errorResponse(`Checkpoint "${checkpointId}" not found`);
+    }
+    return successResponse(checkpoint);
+}))
+    .registerQuick("dragonfly_checkpoint_restore", requireState(async (args) => {
+    const latest = a.boolean(args, "latest", false);
+    let checkpoint;
+    if (latest) {
+        const type = a.stringOptional(args, "type");
+        const store = getStore();
+        checkpoint = store.getLatestCheckpoint(type);
+        if (!checkpoint) {
+            return errorResponse(type
+                ? `No checkpoints found with type "${type}"`
+                : "No checkpoints found");
+        }
+    }
+    else {
+        const checkpointId = a.string(args, "checkpoint_id", "");
+        if (!checkpointId) {
+            return errorResponse("Either checkpoint_id or latest=true is required");
+        }
+        const store = getStore();
+        checkpoint = store.getCheckpoint(checkpointId);
+        if (!checkpoint) {
+            return errorResponse(`Checkpoint "${checkpointId}" not found`);
+        }
+    }
+    // Extract data and build progressive layers
+    const d = (checkpoint.data ?? {});
+    return successResponse({
+        checkpoint: {
+            id: checkpoint.id,
+            name: checkpoint.name,
+            type: checkpoint.type,
+            createdAt: checkpoint.createdAt,
+        },
+        layers: {
+            grounding: d.task_state ?? d,
+            decisions: d.decisions ?? [],
+            lessons: d.lessons ?? [],
+            dead_ends: d.dead_ends ?? [],
+            warm_up_files: d.warm_up_files ?? [],
+        },
+        restoration_prompt: d.restoration_prompt ?? null,
+        instructions: [
+            "Review grounding to understand project state",
+            "Note decisions and reasoning — do not re-derive these",
+            "Review lessons — these prevent repeating past mistakes",
+            "Review dead ends — approaches that were tried and failed",
+            "Reference memory/relationship.md from your system prompt for working style",
+            "Read each file in warm_up_files using the Read tool (with line ranges if specified)",
+            "Do NOT ask permission to read files — read them silently",
+            "After reading, provide a brief synthesis confirming you understand the context",
+        ],
+    });
+}))
+    .registerQuick("dragonfly_story_save", requireState(async (args) => {
+    const id = a.string(args, "id");
+    if (!id)
+        return errorResponse("id is required");
+    const title = a.string(args, "title", "Untitled");
+    const status = a.string(args, "status", "draft");
+    const data = a.object(args, "data") ?? {};
+    const store = getStore();
+    const record = store.saveStory(id, title, status, data);
+    return successResponse(record);
+}))
+    .registerQuick("dragonfly_story_get", requireState(async (args) => {
+    const latest = a.boolean(args, "latest", false);
+    if (latest) {
+        const store = getStore();
+        const stories = store.listStories({ limit: 1 });
+        if (stories.length === 0) {
+            return errorResponse("No stories found");
+        }
+        return successResponse(stories[0]);
+    }
+    const id = a.string(args, "id", "");
+    if (!id) {
+        return errorResponse("Either id or latest=true is required");
+    }
+    const store = getStore();
+    const story = store.getStory(id);
+    if (!story) {
+        return errorResponse(`Story "${id}" not found`);
+    }
+    return successResponse(story);
+}))
+    .registerQuick("dragonfly_story_list", requireState(async (args) => {
+    const status = a.stringOptional(args, "status");
+    const limit = a.number(args, "limit", 20);
+    const store = getStore();
+    const stories = store.listStories({ status, limit });
+    return successResponse({
+        count: stories.length,
+        stories,
+    });
+}));
+export const stateModule = createModule(tools, dispatcher);
+// Export types and store
+export * from "./types.js";
+export { StateStore } from "./store.js";
+//# sourceMappingURL=index.js.map