specky-sdd 2.2.2 → 2.3.0

package/dist/schemas/pbt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pbt.js","sourceRoot":"","sources":["../../src/schemas/pbt.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEjE,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,CAAC;SACT,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;SAClC,QAAQ,CAAC,qFAAqF,CAAC;IAClG,cAAc,EAAE,mBAAmB;IACnC,QAAQ,EAAE,aAAa;IACvB,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,OAAO,CAAC,OAAO,CAAC;SAChB,QAAQ,CAAC,0CAA0C,CAAC;CACxD,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2HAA2H,CAAC,CAAC"}

package/dist/services/pbt-generator.d.ts

@@ -0,0 +1,41 @@
+/**
+ * PbtGenerator — Generates property-based tests from SPECIFICATION.md.
+ * Reads EARS requirements and produces framework-specific PBT files
+ * for fast-check (TypeScript) or hypothesis (Python).
+ */
+import type { FileManager } from "./file-manager.js";
+export type PbtFramework = "fast-check" | "hypothesis";
+export type PbtPropertyType = "invariant" | "state_transition" | "conditional" | "negative" | "round_trip" | "idempotence";
+export interface PbtProperty {
+    id: string;
+    requirement_id: string;
+    property_type: PbtPropertyType;
+    description: string;
+    test_code: string;
+}
+export interface PbtGenerationResult {
+    framework: PbtFramework;
+    properties: PbtProperty[];
+    output_file: string;
+    content: string;
+    total_properties: number;
+    property_types: Record<string, number>;
+}
+export declare class PbtGenerator {
+    private fileManager;
+    constructor(fileManager: FileManager);
+    generate(featureDir: string, framework: PbtFramework, outputDir: string): Promise<PbtGenerationResult>;
+    extractEarsRequirements(text: string): Array<{
+        line: string;
+        reqId: string;
+    }>;
+    classifyPropertyType(line: string): PbtPropertyType;
+    private buildProperties;
+    private generateTestCode;
+    private generateFastCheckTest;
+    private generateHypothesisTest;
+    renderFile(properties: PbtProperty[], framework: PbtFramework, featureDir: string): string;
+    private snakeCase;
+    private safeRead;
+}
+//# sourceMappingURL=pbt-generator.d.ts.map

package/dist/services/pbt-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pbt-generator.d.ts","sourceRoot":"","sources":["../../src/services/pbt-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,CAAC;AAEvD,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,kBAAkB,GAClB,aAAa,GACb,UAAU,GACV,YAAY,GACZ,aAAa,CAAC;AAElB,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,eAAe,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,YAAY,CAAC;IACxB,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxC;AAOD,qBAAa,YAAY;IACX,OAAO,CAAC,WAAW;gBAAX,WAAW,EAAE,WAAW;IAEtC,QAAQ,CACZ,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,YAAY,EACvB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,mBAAmB,CAAC;IAyB/B,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAe7E,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe;IAsDnD,OAAO,CAAC,eAAe;IAqBvB,OAAO,CAAC,gBAAgB;IAgBxB,OAAO,CAAC,qBAAqB;IAyG7B,OAAO,CAAC,sBAAsB;IA+E9B,UAAU,CAAC,UAAU,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM;IAmD1F,OAAO,CAAC,SAAS;YAOH,QAAQ;CASvB"}

package/dist/services/pbt-generator.js

@@ -0,0 +1,326 @@
+const FRAMEWORK_CONFIG = {
+    "fast-check": { ext: ".pbt.test.ts" },
+    hypothesis: { ext: "_pbt_test.py" },
+};
+export class PbtGenerator {
+    fileManager;
+    constructor(fileManager) {
+        this.fileManager = fileManager;
+    }
+    async generate(featureDir, framework, outputDir) {
+        const spec = await this.safeRead(featureDir, "SPECIFICATION.md");
+        const requirements = this.extractEarsRequirements(spec);
+        const properties = this.buildProperties(requirements, framework, featureDir);
+        const content = this.renderFile(properties, framework, featureDir);
+        const featureName = featureDir.replace(/.*\d{3}-/, "").replace(/[^a-zA-Z0-9-]/g, "");
+        const cfg = FRAMEWORK_CONFIG[framework];
+        const outputFile = `${outputDir}/${featureName}${cfg.ext}`;
+        const propertyTypes = {};
+        for (const prop of properties) {
+            propertyTypes[prop.property_type] = (propertyTypes[prop.property_type] || 0) + 1;
+        }
+        return {
+            framework,
+            properties,
+            output_file: outputFile,
+            content,
+            total_properties: properties.length,
+            property_types: propertyTypes,
+        };
+    }
+    extractEarsRequirements(text) {
+        const results = [];
+        const lines = text.split("\n");
+        for (const line of lines) {
+            if (/^(When|While|Where|If|The)\s+.+shall\s+/im.test(line)) {
+                const reqMatch = line.match(/REQ-[A-Z]+-\d{3}/);
+                const reqId = reqMatch ? reqMatch[0] : `REQ-GEN-${String(results.length + 1).padStart(3, "0")}`;
+                results.push({ line: line.trim(), reqId });
+            }
+        }
+        return results;
+    }
+    classifyPropertyType(line) {
+        const lower = line.toLowerCase();
+        // Detect special patterns first
+        if (lower.includes("parse") &&
+            (lower.includes("serialize") ||
+                lower.includes("format") ||
+                lower.includes("render") ||
+                lower.includes("print") ||
+                lower.includes("export"))) {
+            return "round_trip";
+        }
+        if (lower.includes("convert") ||
+            lower.includes("transform") ||
+            lower.includes("encode") ||
+            lower.includes("decode")) {
+            return "round_trip";
+        }
+        if (lower.includes("delete") ||
+            lower.includes("remove") ||
+            lower.includes("reset") ||
+            lower.includes("apply") ||
+            lower.includes("update")) {
+            return "idempotence";
+        }
+        // Classify by EARS pattern
+        if (/^the\s+system\s+shall\b/i.test(line)) {
+            return "invariant";
+        }
+        if (/^when\b/i.test(line)) {
+            return "state_transition";
+        }
+        if (/^while\b/i.test(line)) {
+            return "conditional";
+        }
+        if (/^if\b/i.test(line)) {
+            return "negative";
+        }
+        if (/^where\b/i.test(line)) {
+            return "conditional";
+        }
+        return "invariant";
+    }
+    buildProperties(requirements, framework, featureDir) {
+        return requirements.map((req, i) => {
+            const propId = `PROP-${String(i + 1).padStart(3, "0")}`;
+            const propertyType = this.classifyPropertyType(req.line);
+            const description = req.line.length > 100 ? req.line.slice(0, 97) + "..." : req.line;
+            const testCode = this.generateTestCode(propId, description, req.line, propertyType, framework, featureDir);
+            return {
+                id: propId,
+                requirement_id: req.reqId,
+                property_type: propertyType,
+                description,
+                test_code: testCode,
+            };
+        });
+    }
+    generateTestCode(propId, description, requirementText, propertyType, framework, _featureDir) {
+        const safeDesc = description.replace(/"/g, '\\"');
+        if (framework === "fast-check") {
+            return this.generateFastCheckTest(propId, safeDesc, requirementText, propertyType);
+        }
+        return this.generateHypothesisTest(propId, description, requirementText, propertyType);
+    }
+    generateFastCheckTest(propId, description, requirementText, propertyType) {
+        const safeReq = requirementText.replace(/"/g, '\\"');
+        switch (propertyType) {
+            case "invariant":
+                return [
+                    `  it("${propId}: ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.string(), fc.integer(), (input1, input2) => {`,
+                    `        // TODO: Replace with actual system call`,
+                    `        // Property: ${safeReq}`,
+                    `        const result = systemUnderTest(input1, input2);`,
+                    `        expect(result).toBeDefined();`,
+                    `        return true; // Replace with actual invariant check`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+            case "round_trip":
+                return [
+                    `  it("${propId}: round-trip — ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.jsonValue(), (input) => {`,
+                    `        // TODO: Verify round-trip: parse(serialize(x)) === x`,
+                    `        const serialized = serialize(input);`,
+                    `        const parsed = parse(serialized);`,
+                    `        expect(parsed).toEqual(input);`,
+                    `        return true;`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+            case "idempotence":
+                return [
+                    `  it("${propId}: idempotence — ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.anything(), (input) => {`,
+                    `        // TODO: Verify f(f(x)) === f(x)`,
+                    `        const once = operation(input);`,
+                    `        const twice = operation(once);`,
+                    `        expect(twice).toEqual(once);`,
+                    `        return true;`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+            case "state_transition":
+                return [
+                    `  it("${propId}: state transition — ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.record({ event: fc.string(), state: fc.string() }), ({ event, state }) => {`,
+                    `        // TODO: Verify state transition is valid`,
+                    `        const newState = transition(state, event);`,
+                    `        expect(newState).toBeDefined();`,
+                    `        return true;`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+            case "negative":
+                return [
+                    `  it("${propId}: negative — ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.string(), (maliciousInput) => {`,
+                    `        // TODO: Verify unwanted behavior never occurs`,
+                    `        const result = systemUnderTest(maliciousInput);`,
+                    `        expect(result.error).not.toContain("crash");`,
+                    `        return true;`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+            case "conditional":
+                return [
+                    `  it("${propId}: conditional — ${description}", () => {`,
+                    `    fc.assert(`,
+                    `      fc.property(fc.boolean(), fc.anything(), (condition, input) => {`,
+                    `        // TODO: Verify behavior only when condition holds`,
+                    `        fc.pre(condition); // Only test when condition is true`,
+                    `        const result = systemUnderTest(input);`,
+                    `        expect(result).toBeDefined();`,
+                    `        return true;`,
+                    `      }),`,
+                    `      { numRuns: 100 }`,
+                    `    );`,
+                    `  });`,
+                ].join("\n");
+        }
+    }
+    generateHypothesisTest(propId, description, requirementText, propertyType) {
+        const descSnake = this.snakeCase(description);
+        switch (propertyType) {
+            case "invariant":
+                return [
+                    `    @given(input1=st.text(), input2=st.integers())`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_${descSnake}(self, input1, input2):`,
+                    `        """${propId}: ${requirementText}"""`,
+                    `        # TODO: Replace with actual system call`,
+                    `        result = system_under_test(input1, input2)`,
+                    `        assert result is not None`,
+                ].join("\n");
+            case "round_trip":
+                return [
+                    `    @given(data=st.from_type(dict))`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_round_trip_${descSnake}(self, data):`,
+                    `        """${propId}: round-trip — ${requirementText}"""`,
+                    `        # TODO: Verify round-trip: parse(serialize(x)) == x`,
+                    `        serialized = serialize(data)`,
+                    `        parsed = parse(serialized)`,
+                    `        assert parsed == data`,
+                ].join("\n");
+            case "idempotence":
+                return [
+                    `    @given(data=st.text())`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_idempotence_${descSnake}(self, data):`,
+                    `        """${propId}: idempotence — ${requirementText}"""`,
+                    `        # TODO: Verify f(f(x)) == f(x)`,
+                    `        once = operation(data)`,
+                    `        twice = operation(once)`,
+                    `        assert twice == once`,
+                ].join("\n");
+            case "state_transition":
+                return [
+                    `    @given(event=st.text(), state=st.text())`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_transition_${descSnake}(self, event, state):`,
+                    `        """${propId}: ${requirementText}"""`,
+                    `        # TODO: Verify state transition`,
+                    `        new_state = transition(state, event)`,
+                    `        assert new_state is not None`,
+                ].join("\n");
+            case "negative":
+                return [
+                    `    @given(malicious_input=st.text())`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_negative_${descSnake}(self, malicious_input):`,
+                    `        """${propId}: ${requirementText}"""`,
+                    `        # TODO: Verify unwanted behavior never occurs`,
+                    `        result = system_under_test(malicious_input)`,
+                    `        assert "crash" not in str(result)`,
+                ].join("\n");
+            case "conditional":
+                return [
+                    `    @given(condition=st.booleans(), data=st.text())`,
+                    `    @settings(max_examples=100)`,
+                    `    def test_${this.snakeCase(propId)}_conditional_${descSnake}(self, condition, data):`,
+                    `        """${propId}: ${requirementText}"""`,
+                    `        assume(condition)  # Only test when condition holds`,
+                    `        result = system_under_test(data)`,
+                    `        assert result is not None`,
+                ].join("\n");
+        }
+    }
+    renderFile(properties, framework, featureDir) {
+        const featureName = featureDir.replace(/.*\d{3}-/, "").replace(/[^a-zA-Z0-9 -]/g, "") || "Feature";
+        const date = new Date().toISOString().split("T")[0];
+        const body = properties.map((p) => p.test_code).join("\n\n");
+        if (framework === "fast-check") {
+            const header = [
+                `/**`,
+                ` * Auto-generated property-based tests from Specky SDD`,
+                ` * Feature: ${featureName}`,
+                ` * Framework: fast-check`,
+                ` * Generated: ${date}`,
+                ` *`,
+                ` * Each property traces to an EARS requirement from SPECIFICATION.md.`,
+                ` * Replace the TODO placeholders with real system calls.`,
+                ` */`,
+            ].join("\n");
+            const imports = [
+                `import { fc } from "fast-check";`,
+                `import { describe, it, expect } from "vitest";`,
+            ].join("\n");
+            return `${header}\n\n${imports}\n\ndescribe("Property-Based Tests — ${featureName}", () => {\n${body}\n});\n`;
+        }
+        // hypothesis (Python)
+        const header = [
+            `"""`,
+            `Auto-generated property-based tests from Specky SDD`,
+            `Feature: ${featureName}`,
+            `Framework: hypothesis`,
+            `Generated: ${date}`,
+            ``,
+            `Each property traces to an EARS requirement from SPECIFICATION.md.`,
+            `Replace the TODO placeholders with real system calls.`,
+            `"""`,
+        ].join("\n");
+        const imports = [
+            `import hypothesis`,
+            `from hypothesis import given, assume, settings`,
+            `from hypothesis import strategies as st`,
+        ].join("\n");
+        const className = featureName.replace(/[^a-zA-Z0-9]/g, "");
+        return `${header}\n\n${imports}\n\n\nclass TestPropertyBased_${className}:\n    """Property-based tests generated from EARS requirements."""\n\n${body}\n`;
+    }
+    snakeCase(s) {
+        return s
+            .replace(/[^a-zA-Z0-9]+/g, "_")
+            .toLowerCase()
+            .slice(0, 60);
+    }
+    async safeRead(featureDir, file) {
+        try {
+            const parts = featureDir.split("/");
+            const specDir = parts.slice(0, -1).join("/") || ".specs";
+            return await this.fileManager.readSpecFile(specDir, `${parts[parts.length - 1]}/${file}`);
+        }
+        catch {
+            return "";
+        }
+    }
+}
+//# sourceMappingURL=pbt-generator.js.map

package/dist/services/pbt-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pbt-generator.js","sourceRoot":"","sources":["../../src/services/pbt-generator.ts"],"names":[],"mappings":"AAkCA,MAAM,gBAAgB,GAA0C;IAC9D,YAAY,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE;IACrC,UAAU,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE;CACpC,CAAC;AAEF,MAAM,OAAO,YAAY;IACH;IAApB,YAAoB,WAAwB;QAAxB,gBAAW,GAAX,WAAW,CAAa;IAAG,CAAC;IAEhD,KAAK,CAAC,QAAQ,CACZ,UAAkB,EAClB,SAAuB,EACvB,SAAiB;QAEjB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;QAEjE,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,GAAG,SAAS,IAAI,WAAW,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;QAE3D,MAAM,aAAa,GAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACnF,CAAC;QAED,OAAO;YACL,SAAS;YACT,UAAU;YACV,WAAW,EAAE,UAAU;YACvB,OAAO;YACP,gBAAgB,EAAE,UAAU,CAAC,MAAM;YACnC,cAAc,EAAE,aAAa;SAC9B,CAAC;IACJ,CAAC;IAED,uBAAuB,CAAC,IAAY;QAClC,MAAM,OAAO,GAA2C,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChG,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,oBAAoB,CAAC,IAAY;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAEjC,gCAAgC;QAChC,IACE,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YACvB,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAC1B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACxB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBACxB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACvB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAC3B,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,IACE,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YACzB,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC3B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACxB,CAAC;YACD,OAAO,YAAY,CAAC;QACtB,CAAC;QAED,IACE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACxB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YACvB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;YACvB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACxB,CAAC;YACD,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,2BAA2B;QAC3B,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,aAAa,CAAC;QACvB,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,eAAe,CACrB,YAAoD,EACpD,SAAuB,EACvB,UAAkB;QAElB,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACjC,MAAM,MAAM,GAAG,QAAQ,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,WAAW,GACf,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YACnE,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAC3G,OAAO;gBACL,EAAE,EAAE,MAAM;gBACV,cAAc,EAAE,GAAG,CAAC,KAAK;gBACzB,aAAa,EAAE,YAAY;gBAC3B,WAAW;gBACX,SAAS,EAAE,QAAQ;aACpB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,gBAAgB,CACtB,MAAc,EACd,WAAmB,EACnB,eAAuB,EACvB,YAA6B,EAC7B,SAAuB,EACvB,WAAmB;QAEnB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAElD,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACzF,CAAC;IAEO,qBAAqB,CAC3B,MAAc,EACd,WAAmB,EACnB,eAAuB,EACvB,YAA6B;QAE7B,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAErD,QAAQ,YAAY,EAAE,CAAC;YACrB,KAAK,WAAW;gBACd,OAAO;oBACL,SAAS,MAAM,KAAK,WAAW,YAAY;oBAC3C,gBAAgB;oBAChB,oEAAoE;oBACpE,kDAAkD;oBAClD,wBAAwB,OAAO,EAAE;oBACjC,yDAAyD;oBACzD,uCAAuC;oBACvC,6DAA6D;oBAC7D,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,YAAY;gBACf,OAAO;oBACL,SAAS,MAAM,kBAAkB,WAAW,YAAY;oBACxD,gBAAgB;oBAChB,gDAAgD;oBAChD,+DAA+D;oBAC/D,8CAA8C;oBAC9C,2CAA2C;oBAC3C,wCAAwC;oBACxC,sBAAsB;oBACtB,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,aAAa;gBAChB,OAAO;oBACL,SAAS,MAAM,mBAAmB,WAAW,YAAY;oBACzD,gBAAgB;oBAChB,+CAA+C;oBAC/C,0CAA0C;oBAC1C,wCAAwC;oBACxC,wCAAwC;oBACxC,sCAAsC;oBACtC,sBAAsB;oBACtB,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,kBAAkB;gBACrB,OAAO;oBACL,SAAS,MAAM,wBAAwB,WAAW,YAAY;oBAC9D,gBAAgB;oBAChB,kGAAkG;oBAClG,mDAAmD;oBACnD,oDAAoD;oBACpD,yCAAyC;oBACzC,sBAAsB;oBACtB,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,UAAU;gBACb,OAAO;oBACL,SAAS,MAAM,gBAAgB,WAAW,YAAY;oBACtD,gBAAgB;oBAChB,sDAAsD;oBACtD,wDAAwD;oBACxD,yDAAyD;oBACzD,sDAAsD;oBACtD,sBAAsB;oBACtB,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,aAAa;gBAChB,OAAO;oBACL,SAAS,MAAM,mBAAmB,WAAW,YAAY;oBACzD,gBAAgB;oBAChB,wEAAwE;oBACxE,4DAA4D;oBAC5D,gEAAgE;oBAChE,gDAAgD;oBAChD,uCAAuC;oBACvC,sBAAsB;oBACtB,WAAW;oBACX,wBAAwB;oBACxB,QAAQ;oBACR,OAAO;iBACR,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,sBAAsB,CAC5B,MAAc,EACd,WAAmB,EACnB,eAAuB,EACvB,YAA6B;QAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAE9C,QAAQ,YAAY,EAAE,CAAC;YACrB,KAAK,WAAW;gBACd,OAAO;oBACL,oDAAoD;oBACpD,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,yBAAyB;oBAC5E,cAAc,MAAM,KAAK,eAAe,KAAK;oBAC7C,iDAAiD;oBACjD,oDAAoD;oBACpD,mCAAmC;iBACpC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,YAAY;gBACf,OAAO;oBACL,qCAAqC;oBACrC,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,SAAS,eAAe;oBAC7E,cAAc,MAAM,kBAAkB,eAAe,KAAK;oBAC1D,6DAA6D;oBAC7D,sCAAsC;oBACtC,oCAAoC;oBACpC,+BAA+B;iBAChC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,aAAa;gBAChB,OAAO;oBACL,4BAA4B;oBAC5B,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,gBAAgB,SAAS,eAAe;oBAC9E,cAAc,MAAM,mBAAmB,eAAe,KAAK;oBAC3D,wCAAwC;oBACxC,gCAAgC;oBAChC,iCAAiC;oBACjC,8BAA8B;iBAC/B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,kBAAkB;gBACrB,OAAO;oBACL,8CAA8C;oBAC9C,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,eAAe,SAAS,uBAAuB;oBACrF,cAAc,MAAM,KAAK,eAAe,KAAK;oBAC7C,yCAAyC;oBACzC,8CAA8C;oBAC9C,sCAAsC;iBACvC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,UAAU;gBACb,OAAO;oBACL,uCAAuC;oBACvC,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,SAAS,0BAA0B;oBACtF,cAAc,MAAM,KAAK,eAAe,KAAK;oBAC7C,uDAAuD;oBACvD,qDAAqD;oBACrD,2CAA2C;iBAC5C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEf,KAAK,aAAa;gBAChB,OAAO;oBACL,qDAAqD;oBACrD,iCAAiC;oBACjC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,gBAAgB,SAAS,0BAA0B;oBACzF,cAAc,MAAM,KAAK,eAAe,KAAK;oBAC7C,6DAA6D;oBAC7D,0CAA0C;oBAC1C,mCAAmC;iBACpC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,UAAU,CAAC,UAAyB,EAAE,SAAuB,EAAE,UAAkB;QAC/E,MAAM,WAAW,GACf,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,IAAI,SAAS,CAAC;QACjF,MAAM,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE7D,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG;gBACb,KAAK;gBACL,wDAAwD;gBACxD,eAAe,WAAW,EAAE;gBAC5B,0BAA0B;gBAC1B,iBAAiB,IAAI,EAAE;gBACvB,IAAI;gBACJ,uEAAuE;gBACvE,0DAA0D;gBAC1D,KAAK;aACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEb,MAAM,OAAO,GAAG;gBACd,kCAAkC;gBAClC,gDAAgD;aACjD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEb,OAAO,GAAG,MAAM,OAAO,OAAO,wCAAwC,WAAW,eAAe,IAAI,SAAS,CAAC;QAChH,CAAC;QAED,sBAAsB;QACtB,MAAM,MAAM,GAAG;YACb,KAAK;YACL,qDAAqD;YACrD,YAAY,WAAW,EAAE;YACzB,uBAAuB;YACvB,cAAc,IAAI,EAAE;YACpB,EAAE;YACF,oEAAoE;YACpE,uDAAuD;YACvD,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,OAAO,GAAG;YACd,mBAAmB;YACnB,gDAAgD;YAChD,yCAAyC;SAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;QAE3D,OAAO,GAAG,MAAM,OAAO,OAAO,iCAAiC,SAAS,0EAA0E,IAAI,IAAI,CAAC;IAC7J,CAAC;IAEO,SAAS,CAAC,CAAS;QACzB,OAAO,CAAC;aACL,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC;aAC9B,WAAW,EAAE;aACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAClB,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,UAAkB,EAAE,IAAY;QACrD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC;YACzD,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC5F,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;CACF"}

package/dist/tools/checkpoint.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Checkpoint Tools — sdd_checkpoint, sdd_restore.
+ * Snapshot and rollback spec artifacts.
+ */
+import type { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { FileManager } from "../services/file-manager.js";
+import type { StateMachine } from "../services/state-machine.js";
+export declare function registerCheckpointTools(server: McpServer, fileManager: FileManager, stateMachine: StateMachine): void;
+//# sourceMappingURL=checkpoint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint.d.ts","sourceRoot":"","sources":["../../src/tools/checkpoint.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAIzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA0CjE,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,EACjB,WAAW,EAAE,WAAW,EACxB,YAAY,EAAE,YAAY,GACzB,IAAI,CA+SN"}