@planu/cli 0.96.5 → 0.97.1

package/dist/tools/compliance-handler.js

@@ -0,0 +1,99 @@
+import { hashProjectPath } from '../storage/base-store.js';
+import { getSpec } from '../storage/spec-store.js';
+import { getComplianceConfig, saveComplianceConfig } from '../storage/compliance-store.js';
+import { detectComplianceContext, checkCompliance, } from '../engine/compliance-checker.js';
+// ---------------------------------------------------------------------------
+// check_compliance
+// ---------------------------------------------------------------------------
+export async function handleCheckCompliance(input) {
+    const projectId = hashProjectPath(input.projectPath);
+    const spec = await getSpec(projectId, input.specId);
+    if (spec === null) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: `Spec ${input.specId} not found. Check the ID and try again.`,
+                },
+            ],
+            isError: true,
+        };
+    }
+    // Resolve frameworks: use provided ones, or auto-detect, or fall back to project config
+    let frameworks = input.frameworks ?? [];
+    if (frameworks.length === 0) {
+        const detected = detectComplianceContext(spec.title, '');
+        if (detected.length > 0) {
+            frameworks = detected;
+        }
+        else {
+            const config = await getComplianceConfig(input.projectPath);
+            frameworks = config?.frameworks ?? [];
+        }
+    }
+    if (frameworks.length === 0) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: 'No compliance frameworks detected or configured. ' +
+                        'Provide `frameworks` in the request or run `configure_compliance` first.',
+                },
+            ],
+        };
+    }
+    const report = await checkCompliance(spec, frameworks);
+    const lines = [
+        `## Compliance Report — ${spec.id}: ${spec.title}`,
+        '',
+        `**Frameworks checked:** ${report.frameworks.join(', ')}`,
+        `**Coverage:** ${String(report.coveragePercent)}%`,
+        `**Total gaps:** ${String(report.gaps.length)}`,
+        '',
+    ];
+    if (report.gaps.length === 0) {
+        lines.push('All required compliance criteria are present. No action needed.');
+    }
+    else {
+        lines.push('### Gaps Found', '');
+        for (const gap of report.gaps) {
+            const icon = gap.status === 'partial' ? '~' : '✗';
+            lines.push(`- [${gap.framework.toUpperCase()}] ${icon} ${gap.criterion}`);
+        }
+        lines.push('');
+        lines.push(`Run \`inject_criteria\` or update the spec's acceptance criteria to address these gaps.`);
+    }
+    return { content: [{ type: 'text', text: lines.join('\n') }] };
+}
+// ---------------------------------------------------------------------------
+// configure_compliance
+// ---------------------------------------------------------------------------
+export async function handleConfigureCompliance(input) {
+    await saveComplianceConfig(input.projectPath, {
+        frameworks: input.frameworks,
+        updatedAt: new Date().toISOString(),
+    });
+    const lines = [
+        'Compliance configuration saved.',
+        '',
+        `**Active frameworks:** ${input.frameworks.join(', ')}`,
+        '',
+        'Run `check_compliance` on any spec to detect compliance gaps.',
+    ];
+    return { content: [{ type: 'text', text: lines.join('\n') }] };
+}
+// ---------------------------------------------------------------------------
+// Internal — resolve frameworks for a project path (used in auto-detection)
+// ---------------------------------------------------------------------------
+export async function resolveFrameworks(projectPath, title, description, explicit) {
+    if (explicit !== undefined && explicit.length > 0) {
+        return explicit;
+    }
+    const detected = detectComplianceContext(title, description);
+    if (detected.length > 0) {
+        return detected;
+    }
+    const config = await getComplianceConfig(projectPath);
+    return config?.frameworks ?? [];
+}
+//# sourceMappingURL=compliance-handler.js.map

package/dist/tools/compliance-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compliance-handler.js","sourceRoot":"","sources":["../../src/tools/compliance-handler.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,uBAAuB,EACvB,eAAe,GAChB,MAAM,iCAAiC,CAAC;AAEzC,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAA2B;IAE3B,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAEpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,QAAQ,KAAK,CAAC,MAAM,yCAAyC;iBACpE;aACF;YACD,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,wFAAwF;IACxF,IAAI,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAExC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC5D,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC;QACxC,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EACF,mDAAmD;wBACnD,0EAA0E;iBAC7E;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEvD,MAAM,KAAK,GAAG;QACZ,0BAA0B,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE;QAClD,EAAE;QACF,2BAA2B,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACzD,iBAAiB,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,GAAG;QAClD,mBAAmB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;QAC/C,EAAE;KACH,CAAC;IAEF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IAChF,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CACR,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,KAA+B;IAE/B,MAAM,oBAAoB,CAAC,KAAK,CAAC,WAAW,EAAE;QAC5C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG;QACZ,iCAAiC;QACjC,EAAE;QACF,0BAA0B,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACvD,EAAE;QACF,+DAA+D;KAChE,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,WAAmB,EACnB,KAAa,EACb,WAAmB,EACnB,QAAoC;IAEpC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACtD,OAAO,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC;AAClC,CAAC"}

package/dist/tools/eval-skill-handler.d.ts

@@ -0,0 +1,4 @@
+import type { ToolResult, EvalSkillInput, EvalRuleInput } from '../types/index.js';
+export declare function handleEvalSkill(input: EvalSkillInput): Promise<ToolResult>;
+export declare function handleEvalRule(input: EvalRuleInput): Promise<ToolResult>;
+//# sourceMappingURL=eval-skill-handler.d.ts.map

package/dist/tools/eval-skill-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval-skill-handler.d.ts","sourceRoot":"","sources":["../../src/tools/eval-skill-handler.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAanF,wBAAsB,eAAe,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAWhF;AAMD,wBAAsB,cAAc,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,CAW9E"}

package/dist/tools/eval-skill-handler.js

@@ -0,0 +1,26 @@
+// tools/eval-skill-handler.ts — MCP tool handlers for eval_skill and eval_rule (SPEC-316)
+import { evaluateSkill, evaluateRule, resolveSkillPath, resolveRulePath, } from '../engine/skill-evaluator.js';
+import { jsonResult, errText } from './response-helpers.js';
+// ---------------------------------------------------------------------------
+// eval_skill
+// ---------------------------------------------------------------------------
+export async function handleEvalSkill(input) {
+    if (input.testScenarios.length === 0) {
+        return errText('No test scenarios provided. Provide at least one scenario with input, expectedOutput, and criteria.');
+    }
+    const skillPath = resolveSkillPath(input.projectPath, input.skillName);
+    const result = await evaluateSkill(skillPath, input.testScenarios);
+    return jsonResult(result);
+}
+// ---------------------------------------------------------------------------
+// eval_rule
+// ---------------------------------------------------------------------------
+export async function handleEvalRule(input) {
+    if (input.testScenarios.length === 0) {
+        return errText('No test scenarios provided. Provide at least one scenario with input, expectedOutput, and criteria.');
+    }
+    const rulePath = resolveRulePath(input.projectPath, input.ruleName);
+    const result = await evaluateRule(rulePath, input.testScenarios);
+    return jsonResult(result);
+}
+//# sourceMappingURL=eval-skill-handler.js.map

package/dist/tools/eval-skill-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eval-skill-handler.js","sourceRoot":"","sources":["../../src/tools/eval-skill-handler.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAG1F,OAAO,EACL,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,eAAe,GAChB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAE5D,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAqB;IACzD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CACZ,qGAAqG,CACtG,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAEnE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAAoB;IACvD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CACZ,qGAAqG,CACtG,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAEjE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC"}

package/dist/tools/export-spec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"export-spec.d.ts","sourceRoot":"","sources":["../../src/tools/export-spec.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAmDrE,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CA2FnF"}
+{"version":3,"file":"export-spec.d.ts","sourceRoot":"","sources":["../../src/tools/export-spec.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAqDrE,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CA0InF"}

package/dist/tools/export-spec.js

@@ -1,10 +1,11 @@
-// tools/export-spec.ts — MCP tool handler for export_spec (SPEC-097)
+// tools/export-spec.ts — MCP tool handler for export_spec (SPEC-097, SPEC-318)
 import { readFile, mkdir, writeFile } from 'node:fs/promises';
 import { join, resolve, relative } from 'node:path';
 import { specStore, knowledgeStore } from '../storage/index.js';
 import { hashProjectPath } from '../storage/base-store.js';
 import { exportToSpecKit } from '../engine/spec-kit-exporter.js';
 import { stripFrontmatter } from '../engine/frontmatter-parser.js';
+import { specToAgentReady, serializeAgentReady } from '../engine/agent-ready-exporter.js';
 async function readFileContent(filePath) {
     try {
         const raw = await readFile(filePath, 'utf-8');
@@ -56,6 +57,46 @@ export async function handleExportSpec(params) {
             isError: true,
         };
     }
+    // Agent-ready format — no disk reads needed, derives from structured spec metadata
+    if (params.format === 'agent-ready') {
+        const target = params.agentTarget ?? 'generic';
+        const agentSpec = specToAgentReady(spec, target);
+        const content = serializeAgentReady(agentSpec, target);
+        let filePath;
+        if (params.outputDir) {
+            const resolvedOutput = resolve(params.outputDir);
+            const resolvedProject = resolve(params.projectPath);
+            const rel = relative(resolvedProject, resolvedOutput);
+            if (rel.startsWith('..') || rel.startsWith('/')) {
+                return {
+                    content: [
+                        {
+                            type: 'text',
+                            text: `Invalid outputDir: path escapes the project directory. Resolved to "${resolvedOutput}".`,
+                        },
+                    ],
+                    isError: true,
+                };
+            }
+            await mkdir(resolvedOutput, { recursive: true });
+            filePath = join(resolvedOutput, `${params.specId.toLowerCase()}-agent-ready.json`);
+            await writeFile(filePath, content, 'utf-8');
+        }
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: JSON.stringify({
+                        message: `Exported ${params.specId} to agent-ready format (${target})`,
+                        format: 'agent-ready',
+                        agentTarget: target,
+                        filePath,
+                        content,
+                    }, null, 2),
+                },
+            ],
+        };
+    }
     // Read spec content from disk
     const specContent = await readFileContent(spec.specPath);
     if (!specContent) {

package/dist/tools/export-spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"export-spec.js","sourceRoot":"","sources":["../../src/tools/export-spec.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAEpD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAEnE,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,KAAK;SACT,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,WAAmB;IAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,UAAU,GAAG,IAAI,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,kEAAkE;YAClE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1F,UAAU,GAAG,KAAK,CAAC;gBACnB,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,WAAW,GAAG,CAAC,WAAW,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,UAAU,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAAuB;IAC5D,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAEtD,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,CAAC,MAAM,cAAc,EAAE,CAAC;YACvE,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;YACjF,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa;QACzC,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAEd,6BAA6B;IAC7B,MAAM,YAAY,GAAG,MAAM,cAAc,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IACrE,MAAM,eAAe,GAAG,YAAY;QAClC,CAAC,CAAC,YAAY,CAAC,UAAU;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;aACrE,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,SAAS,CAAC;IAEd,sCAAsC;IACtC,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAE9C,2BAA2B;IAC3B,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE;QAChD,gBAAgB;QAChB,YAAY,EAAE,eAAe;QAC7B,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;KACrD,CAAC,CAAC;IAEH,4BAA4B;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAEzF,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;IACtD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,uEAAuE,cAAc,IAAI;iBAChG;aACF;YACD,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAEhD,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC7C,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC7C,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;KAChD,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAClB;oBACE,OAAO,EAAE,YAAY,MAAM,CAAC,MAAM,qBAAqB;oBACvD,MAAM,EAAE,UAAU;oBAClB,SAAS;oBACT,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC;iBAC7C,EACD,IAAI,EACJ,CAAC,CACF;aACF;SACF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"export-spec.js","sourceRoot":"","sources":["../../src/tools/export-spec.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGpD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAE1F,KAAK,UAAU,eAAe,CAAC,QAAgB;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9C,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,KAAK;SACT,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,eAAe,CAAC,WAAmB;IAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,UAAU,GAAG,IAAI,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,kEAAkE;YAClE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1F,UAAU,GAAG,KAAK,CAAC;gBACnB,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,WAAW,GAAG,CAAC,WAAW,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,UAAU,IAAI,WAAW,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAAuB;IAC5D,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAEtD,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,CAAC,MAAM,cAAc,EAAE,CAAC;YACvE,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACpC,MAAM,MAAM,GAAiB,MAAM,CAAC,WAAuC,IAAI,SAAS,CAAC;QACzF,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,mBAAmB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAEvD,IAAI,QAA4B,CAAC;QACjC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;YACtD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChD,OAAO;oBACL,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,uEAAuE,cAAc,IAAI;yBAChG;qBACF;oBACD,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,QAAQ,GAAG,IAAI,CAAC,cAAc,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;YACnF,MAAM,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAClB;wBACE,OAAO,EAAE,YAAY,MAAM,CAAC,MAAM,2BAA2B,MAAM,GAAG;wBACtE,MAAM,EAAE,aAAa;wBACrB,WAAW,EAAE,MAAM;wBACnB,QAAQ;wBACR,OAAO;qBACR,EACD,IAAI,EACJ,CAAC,CACF;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;YACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;YACjF,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,MAAM,gBAAgB,GAAG,IAAI,CAAC,aAAa;QACzC,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC;QAC3C,CAAC,CAAC,SAAS,CAAC;IAEd,6BAA6B;IAC7B,MAAM,YAAY,GAAG,MAAM,cAAc,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IACrE,MAAM,eAAe,GAAG,YAAY;QAClC,CAAC,CAAC,YAAY,CAAC,UAAU;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;aACrE,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,SAAS,CAAC;IAEd,sCAAsC;IACtC,MAAM,QAAQ,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAE9C,2BAA2B;IAC3B,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE;QAChD,gBAAgB;QAChB,YAAY,EAAE,eAAe;QAC7B,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;KACrD,CAAC,CAAC;IAEH,4BAA4B;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAEzF,MAAM,cAAc,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;IACtD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,uEAAuE,cAAc,IAAI;iBAChG;aACF;YACD,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAE5C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAEhD,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC7C,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QAC7C,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;KAChD,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAClB;oBACE,OAAO,EAAE,YAAY,MAAM,CAAC,MAAM,qBAAqB;oBACvD,MAAM,EAAE,UAAU;oBAClB,SAAS;oBACT,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC;iBAC7C,EACD,IAAI,EACJ,CAAC,CACF;aACF;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/tools/generate-tests/generators/property-based-generator.d.ts

@@ -0,0 +1,11 @@
+import type { Spec, ProjectKnowledge, TestFile } from '../../../types/index.js';
+/**
+ * Build a TestFile for property-based tests of the given spec.
+ * The file content is generated by the engine layer.
+ *
+ * @param criteria - Acceptance criteria strings from spec.md (optional).
+ *   When provided, the generator will extract property-based tests from them.
+ *   When omitted, a placeholder file is generated with instructions.
+ */
+export declare function buildPropertyBasedTestFile(spec: Spec, knowledge: ProjectKnowledge, testDir: string, autoGenerate: boolean, criteria?: string[]): TestFile;
+//# sourceMappingURL=property-based-generator.d.ts.map

package/dist/tools/generate-tests/generators/property-based-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-based-generator.d.ts","sourceRoot":"","sources":["../../../../src/tools/generate-tests/generators/property-based-generator.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGhF;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,IAAI,EACV,SAAS,EAAE,gBAAgB,EAC3B,OAAO,EAAE,MAAM,EACf,YAAY,EAAE,OAAO,EACrB,QAAQ,GAAE,MAAM,EAAO,GACtB,QAAQ,CAgBV"}

package/dist/tools/generate-tests/generators/property-based-generator.js

@@ -0,0 +1,27 @@
+// tools/generate-tests/generators/property-based-generator.ts — SPEC-315
+// Adapter: bridges spec-dispatcher with the engine property-based generator.
+import { generatePropertyBasedTests } from '../../../engine/generate-tests/generators/property-based-generator.js';
+/**
+ * Build a TestFile for property-based tests of the given spec.
+ * The file content is generated by the engine layer.
+ *
+ * @param criteria - Acceptance criteria strings from spec.md (optional).
+ *   When provided, the generator will extract property-based tests from them.
+ *   When omitted, a placeholder file is generated with instructions.
+ */
+export function buildPropertyBasedTestFile(spec, knowledge, testDir, autoGenerate, criteria = []) {
+    const slug = spec.id.toLowerCase().replace(/[^a-z0-9]/g, '-');
+    const ext = knowledge.language === 'python' ? 'py' : 'ts';
+    const framework = knowledge.language === 'python'
+        ? 'hypothesis'
+        : knowledge.language === 'java' || knowledge.language === 'kotlin'
+            ? 'jqwik'
+            : 'fast-check';
+    return {
+        path: `${testDir}/property/${slug}.property.${ext}`,
+        framework,
+        content: generatePropertyBasedTests(spec, knowledge, criteria),
+        ready: autoGenerate,
+    };
+}
+//# sourceMappingURL=property-based-generator.js.map

package/dist/tools/generate-tests/generators/property-based-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-based-generator.js","sourceRoot":"","sources":["../../../../src/tools/generate-tests/generators/property-based-generator.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,6EAA6E;AAG7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,uEAAuE,CAAC;AAEnH;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAAU,EACV,SAA2B,EAC3B,OAAe,EACf,YAAqB,EACrB,WAAqB,EAAE;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,MAAM,SAAS,GACb,SAAS,CAAC,QAAQ,KAAK,QAAQ;QAC7B,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,MAAM,IAAI,SAAS,CAAC,QAAQ,KAAK,QAAQ;YAChE,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,YAAY,CAAC;IAErB,OAAO;QACL,IAAI,EAAE,GAAG,OAAO,aAAa,IAAI,aAAa,GAAG,EAAE;QACnD,SAAS;QACT,OAAO,EAAE,0BAA0B,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC;QAC9D,KAAK,EAAE,YAAY;KACpB,CAAC;AACJ,CAAC"}

package/dist/tools/generate-tests/spec-dispatcher.d.ts

@@ -3,6 +3,9 @@ import type { Spec, ProjectKnowledge, TestDefinition, TestFile } from '../../typ
  * Runs all spec-specific test generation dispatchers.
  * Mutates unitTests, integrationTests, testFiles in-place.
  * Returns { isApiSpec } for use in output formatting.
+ *
+ * When strategy='property-based', skips domain dispatchers and generates
+ * property tests derived from acceptance criteria invariants.
  */
 export declare function runSpecializedGenerators(args: {
     spec: Spec;
@@ -12,6 +15,8 @@ export declare function runSpecializedGenerators(args: {
     slug: string;
     autoGenerate: boolean;
     testExt: string;
+    /** Optional generation strategy. 'property-based' triggers invariant extraction. */
+    strategy?: string;
 }, unitTests: TestDefinition[], integrationTests: TestDefinition[], testFiles: TestFile[]): {
     isApiSpec: boolean;
 };

package/dist/tools/generate-tests/spec-dispatcher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"spec-dispatcher.d.ts","sourceRoot":"","sources":["../../../src/tools/generate-tests/spec-dispatcher.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAQ7F;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE;IACJ,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,gBAAgB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;CACjB,EACD,SAAS,EAAE,cAAc,EAAE,EAC3B,gBAAgB,EAAE,cAAc,EAAE,EAClC,SAAS,EAAE,QAAQ,EAAE,GACpB;IAAE,SAAS,EAAE,OAAO,CAAA;CAAE,CAgFxB"}
+{"version":3,"file":"spec-dispatcher.d.ts","sourceRoot":"","sources":["../../../src/tools/generate-tests/spec-dispatcher.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAS7F;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE;IACJ,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,gBAAgB,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB,EACD,SAAS,EAAE,cAAc,EAAE,EAC3B,gBAAgB,EAAE,cAAc,EAAE,EAClC,SAAS,EAAE,QAAQ,EAAE,GACpB;IAAE,SAAS,EAAE,OAAO,CAAA;CAAE,CA8FxB"}

package/dist/tools/generate-tests/spec-dispatcher.js

@@ -6,13 +6,30 @@ import { dispatchProtocols } from './dispatchers/protocols-dispatcher.js';
 import { dispatchDistributed } from './dispatchers/distributed-dispatcher.js';
 import { dispatchInfra } from './dispatchers/infra-dispatcher.js';
 import { dispatchDatabaseSecurity } from './dispatchers/database-security-dispatcher.js';
+import { buildPropertyBasedTestFile } from './generators/property-based-generator.js';
 /**
  * Runs all spec-specific test generation dispatchers.
  * Mutates unitTests, integrationTests, testFiles in-place.
  * Returns { isApiSpec } for use in output formatting.
+ *
+ * When strategy='property-based', skips domain dispatchers and generates
+ * property tests derived from acceptance criteria invariants.
  */
 export function runSpecializedGenerators(args, unitTests, integrationTests, testFiles) {
-    const { spec, knowledge, testDir, testFramework, slug, autoGenerate, testExt } = args;
+    const { spec, knowledge, testDir, testFramework, slug, autoGenerate, testExt, strategy } = args;
+    // SPEC-315: property-based strategy — generate invariant-driven tests from AC
+    if (strategy === 'property-based') {
+        testFiles.push(buildPropertyBasedTestFile(spec, knowledge, testDir, autoGenerate));
+        unitTests.push({
+            name: `${spec.title} — property: invariants hold for all valid inputs`,
+            type: 'unit',
+            file: `${testDir}/property/`,
+            description: 'Verify invariant properties using property-based testing',
+            priority: 'high',
+            automatable: true,
+        });
+        return { isApiSpec: false };
+    }
     dispatchAiMl(spec, knowledge, testDir, testFramework, slug, autoGenerate, testExt, unitTests, integrationTests, testFiles);
     dispatchFrontend(spec, knowledge, testDir, testFramework, slug, autoGenerate, testExt, unitTests, integrationTests, testFiles);
     dispatchDistributed(spec, knowledge, testDir, testFramework, slug, autoGenerate, testExt, unitTests, integrationTests, testFiles);

package/dist/tools/generate-tests/spec-dispatcher.js.map

@@ -1 +1 @@
-{"version":3,"file":"spec-dispatcher.js","sourceRoot":"","sources":["../../../src/tools/generate-tests/spec-dispatcher.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,gEAAgE;AAGhE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+CAA+C,CAAC;AAEzF;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAQC,EACD,SAA2B,EAC3B,gBAAkC,EAClC,SAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAEtF,YAAY,CACV,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,gBAAgB,CACd,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,mBAAmB,CACjB,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,iBAAiB,CACf,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,aAAa,CACX,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,OAAO,wBAAwB,CAC7B,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;AACJ,CAAC"}
+{"version":3,"file":"spec-dispatcher.js","sourceRoot":"","sources":["../../../src/tools/generate-tests/spec-dispatcher.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,gEAAgE;AAGhE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sCAAsC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AAEtF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAUC,EACD,SAA2B,EAC3B,gBAAkC,EAClC,SAAqB;IAErB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAEhG,8EAA8E;IAC9E,IAAI,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAClC,SAAS,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;QACnF,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,mDAAmD;YACtE,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,GAAG,OAAO,YAAY;YAC5B,WAAW,EAAE,0DAA0D;YACvE,QAAQ,EAAE,MAAM;YAChB,WAAW,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED,YAAY,CACV,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,gBAAgB,CACd,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,mBAAmB,CACjB,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,iBAAiB,CACf,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,aAAa,CACX,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;IAEF,OAAO,wBAAwB,CAC7B,IAAI,EACJ,SAAS,EACT,OAAO,EACP,aAAa,EACb,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,SAAS,CACV,CAAC;AACJ,CAAC"}

package/dist/tools/jira-sync-handler.d.ts

@@ -0,0 +1,6 @@
+import type { ToolResult, ConfigureJiraInput, SyncToJiraInput, JiraStatusInput, RemoveJiraInput } from '../types/index.js';
+export declare function handleConfigureJira(input: ConfigureJiraInput): Promise<ToolResult>;
+export declare function handleSyncToJira(input: SyncToJiraInput): Promise<ToolResult>;
+export declare function handleJiraStatus(input: JiraStatusInput): Promise<ToolResult>;
+export declare function handleRemoveJira(input: RemoveJiraInput): Promise<ToolResult>;
+//# sourceMappingURL=jira-sync-handler.d.ts.map

package/dist/tools/jira-sync-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jira-sync-handler.d.ts","sourceRoot":"","sources":["../../src/tools/jira-sync-handler.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EACV,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,eAAe,EAGhB,MAAM,mBAAmB,CAAC;AAkB3B,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,UAAU,CAAC,CAqBxF;AAMD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CA+HlF;AAMD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CA4ClF;AAMD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,CAwBlF"}

package/dist/tools/jira-sync-handler.js

@@ -0,0 +1,220 @@
+import { hashProjectPath } from '../storage/base-store.js';
+import { getJiraConfig, saveJiraConfig, removeJiraConfig, getJiraSyncLog, appendJiraSyncEntry, getSyncedJiraIssues, upsertSyncedJiraIssue, } from '../storage/jira-store.js';
+import { JiraClient, mapSpecStatusToJira } from '../engine/jira-exporter.js';
+import { listSpecs, getSpec } from '../storage/spec-store.js';
+// ---------------------------------------------------------------------------
+// configure_jira
+// ---------------------------------------------------------------------------
+export async function handleConfigureJira(input) {
+    await saveJiraConfig(input.projectPath, {
+        domain: input.domain,
+        email: input.email,
+        apiToken: input.apiToken,
+        projectKey: input.projectKey,
+    });
+    const lines = [
+        'Jira integration configured.',
+        '',
+        '| Field | Value |',
+        '|-------|-------|',
+        `| Domain | ${input.domain}.atlassian.net |`,
+        `| Project Key | ${input.projectKey} |`,
+        `| Email | ${input.email} |`,
+        '',
+        'Run `sync_to_jira` to push specs to Jira.',
+    ];
+    return { content: [{ type: 'text', text: lines.join('\n') }] };
+}
+// ---------------------------------------------------------------------------
+// sync_to_jira
+// ---------------------------------------------------------------------------
+export async function handleSyncToJira(input) {
+    const config = await getJiraConfig(input.projectPath);
+    if (config === null) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: 'Jira is not configured for this project. Run `configure_jira` first.',
+                },
+            ],
+            isError: true,
+        };
+    }
+    const projectId = hashProjectPath(input.projectPath);
+    let specs = await listSpecs(projectId);
+    if (input.specId !== undefined) {
+        const single = await getSpec(projectId, input.specId);
+        if (single === null) {
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: `Spec ${input.specId} not found. Check the ID and try again.`,
+                    },
+                ],
+                isError: true,
+            };
+        }
+        specs = [single];
+    }
+    else {
+        specs = specs.filter((s) => s.status === 'approved' || s.status === 'done');
+    }
+    if (specs.length === 0) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: 'No specs to sync. Only approved and done specs are synced automatically.',
+                },
+            ],
+        };
+    }
+    const client = new JiraClient(config);
+    const syncedIssues = await getSyncedJiraIssues(input.projectPath);
+    const result = { created: 0, updated: 0, failed: 0, issues: [] };
+    for (const spec of specs) {
+        try {
+            const existing = syncedIssues[spec.id];
+            if (existing !== undefined && input.mode !== 'pull') {
+                // Push: update status of existing issue
+                const jiraStatus = mapSpecStatusToJira(spec.status);
+                await client.updateIssueStatus(existing.issueKey, jiraStatus);
+                const issueRef = {
+                    specId: spec.id,
+                    issueKey: existing.issueKey,
+                    issueUrl: existing.issueUrl,
+                    summary: `${spec.id}: ${spec.title}`,
+                    issueType: 'Epic',
+                };
+                result.issues.push(issueRef);
+                result.updated++;
+            }
+            else if (existing === undefined && input.mode !== 'pull') {
+                // Push: create new Epic
+                const issueRef = await client.createEpic(spec);
+                result.issues.push(issueRef);
+                result.created++;
+                await upsertSyncedJiraIssue(input.projectPath, {
+                    specId: spec.id,
+                    issueKey: issueRef.issueKey,
+                    issueUrl: issueRef.issueUrl,
+                    lastSyncedAt: new Date().toISOString(),
+                });
+            }
+            else if (input.mode === 'pull' && existing !== undefined) {
+                // Pull: fetch current Jira issue status (informational)
+                const jiraIssue = await client.getIssue(existing.issueKey);
+                const issueRef = {
+                    specId: spec.id,
+                    issueKey: existing.issueKey,
+                    issueUrl: existing.issueUrl,
+                    summary: jiraIssue?.fields.summary ?? `${spec.id}: ${spec.title}`,
+                    issueType: 'Epic',
+                };
+                result.issues.push(issueRef);
+                result.updated++;
+            }
+        }
+        catch (err) {
+            result.failed++;
+            const msg = err instanceof Error ? err.message : String(err);
+            result.issues.push({
+                specId: spec.id,
+                issueKey: '',
+                issueUrl: '',
+                summary: `${spec.id} (FAILED: ${msg})`,
+                issueType: 'Epic',
+            });
+        }
+    }
+    await appendJiraSyncEntry(input.projectPath, {
+        syncedAt: new Date().toISOString(),
+        mode: input.mode,
+        result,
+    });
+    const lines = [
+        `Jira sync complete (${input.mode}): ${result.created} created, ${result.updated} updated, ${result.failed} failed.`,
+        '',
+    ];
+    for (const issue of result.issues) {
+        if (issue.issueUrl !== '') {
+            lines.push(`- [${issue.specId}] ${issue.summary} — ${issue.issueUrl}`);
+        }
+        else {
+            lines.push(`- [${issue.specId}] ${issue.summary}`);
+        }
+    }
+    return {
+        content: [{ type: 'text', text: lines.join('\n') }],
+        isError: result.failed > 0 && result.created === 0 && result.updated === 0,
+    };
+}
+// ---------------------------------------------------------------------------
+// jira_status
+// ---------------------------------------------------------------------------
+export async function handleJiraStatus(input) {
+    const config = await getJiraConfig(input.projectPath);
+    if (config === null) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: 'Jira is not configured for this project. Run `configure_jira` to set it up.',
+                },
+            ],
+        };
+    }
+    const log = await getJiraSyncLog(input.projectPath);
+    const syncedIssues = await getSyncedJiraIssues(input.projectPath);
+    const issueCount = Object.keys(syncedIssues).length;
+    const lastEntry = log[log.length - 1];
+    const lastSync = lastEntry !== undefined ? lastEntry.syncedAt : 'never';
+    const lines = [
+        'Jira integration is active.',
+        '',
+        '| Field | Value |',
+        '|-------|-------|',
+        `| Domain | ${config.domain}.atlassian.net |`,
+        `| Project Key | ${config.projectKey} |`,
+        `| Email | ${config.email} |`,
+        `| Synced Issues | ${issueCount} |`,
+        `| Last Sync | ${lastSync} |`,
+    ];
+    if (log.length > 0) {
+        lines.push('', '**Recent sync history:**', '');
+        const recent = log.slice(-5).reverse();
+        for (const entry of recent) {
+            const { result } = entry;
+            lines.push(`- ${entry.syncedAt.slice(0, 19)} [${entry.mode}] — created: ${result.created}, updated: ${result.updated}, failed: ${result.failed}`);
+        }
+    }
+    return { content: [{ type: 'text', text: lines.join('\n') }] };
+}
+// ---------------------------------------------------------------------------
+// remove_jira
+// ---------------------------------------------------------------------------
+export async function handleRemoveJira(input) {
+    const config = await getJiraConfig(input.projectPath);
+    if (config === null) {
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: 'Jira is not configured for this project. Nothing to remove.',
+                },
+            ],
+        };
+    }
+    await removeJiraConfig(input.projectPath);
+    return {
+        content: [
+            {
+                type: 'text',
+                text: 'Jira configuration removed. Synced issue records and logs are preserved.',
+            },
+        ],
+    };
+}
+//# sourceMappingURL=jira-sync-handler.js.map

package/dist/tools/jira-sync-handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jira-sync-handler.js","sourceRoot":"","sources":["../../src/tools/jira-sync-handler.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EACL,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAE9D,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,KAAyB;IACjE,MAAM,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE;QACtC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG;QACZ,8BAA8B;QAC9B,EAAE;QACF,mBAAmB;QACnB,mBAAmB;QACnB,cAAc,KAAK,CAAC,MAAM,kBAAkB;QAC5C,mBAAmB,KAAK,CAAC,UAAU,IAAI;QACvC,aAAa,KAAK,CAAC,KAAK,IAAI;QAC5B,EAAE;QACF,2CAA2C;KAC5C,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAsB;IAC3D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,sEAAsE;iBAC7E;aACF;YACD,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,KAAK,GAAG,MAAM,SAAS,CAAC,SAAS,CAAC,CAAC;IAEvC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO;gBACL,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,QAAQ,KAAK,CAAC,MAAM,yCAAyC;qBACpE;iBACF;gBACD,OAAO,EAAE,IAAI;aACd,CAAC;QACJ,CAAC;QACD,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,CAAC;SAAM,CAAC;QACN,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,0EAA0E;iBACjF;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,MAAM,GAAmB,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAEjF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEvC,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpD,wCAAwC;gBACxC,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpD,MAAM,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAC9D,MAAM,QAAQ,GAAiB;oBAC7B,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE;oBACpC,SAAS,EAAE,MAAM;iBAClB,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,CAAC;iBAAM,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3D,wBAAwB;gBACxB,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,MAAM,CAAC,OAAO,EAAE,CAAC;gBACjB,MAAM,qBAAqB,CAAC,KAAK,CAAC,WAAW,EAAE;oBAC7C,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACvC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3D,wDAAwD;gBACxD,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,QAAQ,GAAiB;oBAC7B,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE;oBACjE,SAAS,EAAE,MAAM;iBAClB,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QAAC,OAAO,GAAY,EAAE,CAAC;YACtB,MAAM,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,GAAG,IAAI,CAAC,EAAE,aAAa,GAAG,GAAG;gBACtC,SAAS,EAAE,MAAM;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE;QAC3C,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM;KACP,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG;QACZ,uBAAuB,KAAK,CAAC,IAAI,MAAM,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,MAAM,UAAU;QACpH,EAAE;KACH,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,MAAM,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;KAC3E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAsB;IAC3D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAEtD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,6EAA6E;iBACpF;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC;IACpD,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;IAExE,MAAM,KAAK,GAAG;QACZ,6BAA6B;QAC7B,EAAE;QACF,mBAAmB;QACnB,mBAAmB;QACnB,cAAc,MAAM,CAAC,MAAM,kBAAkB;QAC7C,mBAAmB,MAAM,CAAC,UAAU,IAAI;QACxC,aAAa,MAAM,CAAC,KAAK,IAAI;QAC7B,qBAAqB,UAAU,IAAI;QACnC,iBAAiB,QAAQ,IAAI;KAC9B,CAAC;IAEF,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,0BAA0B,EAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;YACzB,KAAK,CAAC,IAAI,CACR,KAAK,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,gBAAgB,MAAM,CAAC,OAAO,cAAc,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,MAAM,EAAE,CACtI,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAsB;IAC3D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAEtD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,6DAA6D;iBACpE;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,0EAA0E;aACjF;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/tools/linear-sync-handler.d.ts

@@ -0,0 +1,6 @@
+import type { ToolResult, ConfigureLinearInput, SyncToLinearInput, LinearStatusInput } from '../types/index.js';
+export declare function handleConfigureLinear(input: ConfigureLinearInput): Promise<ToolResult>;
+export declare function handleSyncToLinear(input: SyncToLinearInput): Promise<ToolResult>;
+export declare function handleLinearStatus(input: LinearStatusInput): Promise<ToolResult>;
+export declare function handleRemoveLinear(input: LinearStatusInput): Promise<ToolResult>;
+//# sourceMappingURL=linear-sync-handler.d.ts.map

package/dist/tools/linear-sync-handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linear-sync-handler.d.ts","sourceRoot":"","sources":["../../src/tools/linear-sync-handler.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EAGlB,MAAM,mBAAmB,CAAC;AAkB3B,wBAAsB,qBAAqB,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,UAAU,CAAC,CAkB5F;AAMD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CA2HtF;AAMD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CA2CtF;AAMD,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAwBtF"}