circle-ir-ai 1.1.0

package/dist/specifica/prompts.js

@@ -0,0 +1,196 @@
+/**
+ * LLM Prompts for Specifica Generation
+ *
+ * Prompt templates for generating spec.md, design.md, and tasks.md
+ */
+/**
+ * Generate prompt for spec.md (requirements specification)
+ */
+export function generateSpecPrompt(context) {
+    const { evidence, language, framework } = context;
+    return `You are a technical specification writer. Analyze the following code and generate a requirements specification in Specifica format.
+
+## Code Analysis
+
+**File**: ${evidence.filePath}
+**Language**: ${language}
+${framework ? `**Framework**: ${framework}` : ''}
+**Lines of Code**: ${evidence.linesOfCode}
+
+### API Endpoints
+${formatAPIEndpoints(evidence)}
+
+### Methods
+${formatMethods(evidence)}
+
+### Data Flow
+- **Sources**: ${evidence.sources.length} taint sources detected
+- **Sinks**: ${evidence.sinks.length} taint sinks detected
+
+### Security Issues
+${formatVulnerabilities(evidence)}
+
+## Your Task
+
+Generate a **requirements specification** that answers: **"What does this code do?"**
+
+Output a JSON object with this structure:
+\`\`\`json
+{
+  "title": "Feature Name",
+  "summary": "One-paragraph description of what this feature does",
+  "requirements": [
+    {
+      "id": "REQ-001",
+      "description": "Testable requirement as a checkbox item",
+      "category": "functional|security|performance|usability",
+      "priority": "must|should|could",
+      "tested": false
+    }
+  ],
+  "edgeCases": [
+    "Edge case 1",
+    "Edge case 2"
+  ],
+  "errorScenarios": [
+    "Error scenario 1",
+    "Error scenario 2"
+  ]
+}
+\`\`\`
+
+## Guidelines
+
+1. **Requirements must be testable** - Each requirement should be something you can write a test for
+2. **Focus on WHAT, not HOW** - Describe behavior, not implementation
+3. **Extract from code behavior** - Infer requirements from what the code actually does
+4. **Include security requirements** - Based on detected sources/sinks/vulnerabilities
+5. **Identify edge cases** - Unusual inputs, error conditions, boundary cases
+6. **Error scenarios** - What can go wrong?
+
+## Example Output
+
+\`\`\`json
+{
+  "title": "User Authentication",
+  "summary": "Provides secure user login functionality with JWT token generation and session management.",
+  "requirements": [
+    {
+      "id": "REQ-001",
+      "description": "System shall accept username and password via POST /api/login",
+      "category": "functional",
+      "priority": "must",
+      "tested": false
+    },
+    {
+      "id": "REQ-002",
+      "description": "System shall validate credentials against user database",
+      "category": "functional",
+      "priority": "must",
+      "tested": false
+    },
+    {
+      "id": "REQ-003",
+      "description": "System shall generate JWT token on successful authentication",
+      "category": "functional",
+      "priority": "must",
+      "tested": false
+    },
+    {
+      "id": "REQ-004",
+      "description": "System shall prevent SQL injection in login query",
+      "category": "security",
+      "priority": "must",
+      "tested": false
+    },
+    {
+      "id": "REQ-005",
+      "description": "System shall return 401 for invalid credentials",
+      "category": "functional",
+      "priority": "must",
+      "tested": false
+    }
+  ],
+  "edgeCases": [
+    "Username contains special characters",
+    "Password is empty string",
+    "User account is locked",
+    "Multiple concurrent login attempts"
+  ],
+  "errorScenarios": [
+    "Database connection fails during authentication",
+    "JWT secret key is not configured",
+    "User provides malicious SQL in username field"
+  ]
+}
+\`\`\`
+
+Now generate the specification for the provided code.`;
+}
+/**
+ * Format API endpoints for prompt
+ */
+function formatAPIEndpoints(evidence) {
+    if (evidence.publicAPI.length === 0) {
+        return 'None detected';
+    }
+    return evidence.publicAPI.map(endpoint => {
+        const params = endpoint.parameters.map(p => `  - ${p.name} (${p.location}): ${p.type}${p.required ? ' [required]' : ''}`).join('\n');
+        return `- **${endpoint.method} ${endpoint.path}**
+  Handler: ${endpoint.handler}
+  Parameters:
+${params || '    None'}
+  Response: ${endpoint.responseType || 'void'}`;
+    }).join('\n\n');
+}
+/**
+ * Format methods for prompt
+ */
+function formatMethods(evidence) {
+    if (evidence.methods.length === 0) {
+        return 'None';
+    }
+    const significantMethods = evidence.methods
+        .filter(m => m.visibility === 'public' || m.hasHttpHandling)
+        .slice(0, 10); // Limit to avoid token overflow
+    return significantMethods.map(method => {
+        const indicators = [];
+        if (method.hasHttpHandling)
+            indicators.push('HTTP handling');
+        if (method.hasDatabaseAccess)
+            indicators.push('Database access');
+        if (method.hasValidation)
+            indicators.push('Validation');
+        if (method.hasErrorHandling)
+            indicators.push('Error handling');
+        const params = method.parameters.map(p => `${p.name}: ${p.type}`).join(', ');
+        return `- **${method.name}**(${params}) → ${method.returnType}
+  ${indicators.length > 0 ? `Capabilities: ${indicators.join(', ')}` : 'No special capabilities detected'}`;
+    }).join('\n');
+}
+/**
+ * Format vulnerabilities for prompt
+ */
+function formatVulnerabilities(evidence) {
+    if (evidence.vulnerabilities.length === 0) {
+        return 'None detected ✓';
+    }
+    return evidence.vulnerabilities.map(vuln => `- **${vuln.cwe}** (${vuln.severity}): ${vuln.description}
+  Source: ${vuln.sourceType} (line ${vuln.lineNumber})
+  Sink: ${vuln.sinkType}`).join('\n');
+}
+/**
+ * Generate prompt for design.md (architecture & decisions)
+ * TODO: Phase 2
+ */
+export function generateDesignPrompt(context) {
+    return `[Phase 2: Design generation prompt - Coming soon]`;
+}
+/**
+ * Generate prompt for tasks.md (implementation order)
+ * TODO: Phase 3
+ */
+export function generateTasksPrompt(context) {
+    return `[Phase 3: Tasks generation prompt - Coming soon]`;
+}
+//# sourceMappingURL=prompts.js.map

package/dist/specifica/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/specifica/prompts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAsB;IACvD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAElD,OAAO;;;;YAIG,QAAQ,CAAC,QAAQ;gBACb,QAAQ;EACtB,SAAS,CAAC,CAAC,CAAC,kBAAkB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;qBAC3B,QAAQ,CAAC,WAAW;;;EAGvC,kBAAkB,CAAC,QAAQ,CAAC;;;EAG5B,aAAa,CAAC,QAAQ,CAAC;;;iBAGR,QAAQ,CAAC,OAAO,CAAC,MAAM;eACzB,QAAQ,CAAC,KAAK,CAAC,MAAM;;;EAGlC,qBAAqB,CAAC,QAAQ,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sDAiGqB,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,QAAsB;IAChD,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;QACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACzC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,OAAO,OAAO,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI;aACrC,QAAQ,CAAC,OAAO;;EAE3B,MAAM,IAAI,UAAU;cACR,QAAQ,CAAC,YAAY,IAAI,MAAM,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,QAAsB;IAC3C,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO;SACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,CAAC,eAAe,CAAC;SAC3D,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;IAEjD,OAAO,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;QACrC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,eAAe;YAAE,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC7D,IAAI,MAAM,CAAC,iBAAiB;YAAE,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACjE,IAAI,MAAM,CAAC,aAAa;YAAE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,MAAM,CAAC,gBAAgB;YAAE,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAE/D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE7E,OAAO,OAAO,MAAM,CAAC,IAAI,MAAM,MAAM,OAAO,MAAM,CAAC,UAAU;IAC7D,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,kCAAkC,EAAE,CAAC;IAC1G,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAAC,QAAsB;IACnD,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,OAAO,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACzC,OAAO,IAAI,CAAC,GAAG,OAAO,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,WAAW;YACjD,IAAI,CAAC,UAAU,UAAU,IAAI,CAAC,UAAU;UAC1C,IAAI,CAAC,QAAQ,EAAE,CACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAsB;IACzD,OAAO,mDAAmD,CAAC;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAsB;IACxD,OAAO,kDAAkD,CAAC;AAC5D,CAAC"}

package/dist/specifica/spec-generator.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Spec Generator
+ *
+ * Generate spec.md using LLM from extracted evidence
+ */
+import type { FileEvidence, SpecMdContent, SpecificaOptions } from './types.js';
+/**
+ * Generate spec.md content from evidence
+ * Returns spec content and generation method used
+ */
+export declare function generateSpec(evidence: FileEvidence, options?: SpecificaOptions): Promise<{
+    spec: SpecMdContent;
+    method: 'llm' | 'static';
+    model?: string;
+}>;
+/**
+ * Format spec as Markdown
+ */
+export declare function formatSpecMarkdown(spec: SpecMdContent, metadata: {
+    reviewRequired: boolean;
+}): string;
+//# sourceMappingURL=spec-generator.d.ts.map

package/dist/specifica/spec-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-generator.d.ts","sourceRoot":"","sources":["../../src/specifica/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,gBAAgB,EAEjB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,wBAAsB,YAAY,CAChC,QAAQ,EAAE,YAAY,EACtB,OAAO,GAAE,gBAAqB,GAC7B,OAAO,CAAC;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,KAAK,GAAG,QAAQ,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAkB5E;AA4JD;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE;IAAE,cAAc,EAAE,OAAO,CAAA;CAAE,GAAG,MAAM,CAsDrG"}

package/dist/specifica/spec-generator.js

@@ -0,0 +1,229 @@
+/**
+ * Spec Generator
+ *
+ * Generate spec.md using LLM from extracted evidence
+ */
+import { getAxLLMClient } from '../llm/ax-client.js';
+/**
+ * Generate spec.md content from evidence
+ * Returns spec content and generation method used
+ */
+export async function generateSpec(evidence, options = {}) {
+    // Try LLM generation first
+    const llmResult = await generateWithLLM(evidence, options);
+    if (llmResult) {
+        console.log('✓ Spec generated using LLM');
+        return {
+            spec: llmResult,
+            method: 'llm',
+            model: options.specModel || process.env.LLM_ENRICHMENT_MODEL || 'cognium/gpt-oss-120b',
+        };
+    }
+    // Fallback to static generation
+    console.log('⚠ Falling back to static spec generation');
+    return {
+        spec: generateFallbackSpec(evidence),
+        method: 'static',
+    };
+}
+/**
+ * Generate spec using LLM
+ */
+async function generateWithLLM(evidence, options) {
+    try {
+        // Get LLM client - use existing config or override if specified
+        const clientConfig = options.specModel ? {
+            phases: {
+                enrichment: {
+                    model: options.specModel,
+                    temperature: 0.3,
+                    maxTokens: 4000,
+                },
+                verification: {
+                    model: options.specModel,
+                    temperature: 0.3,
+                    maxTokens: 4000,
+                },
+                componentEnrichment: {
+                    model: options.specModel,
+                    temperature: 0.3,
+                    maxTokens: 4000,
+                },
+            },
+        } : undefined; // Use default config from environment/config system
+        const client = getAxLLMClient(clientConfig);
+        // Prepare input for LLM
+        const input = {
+            title: extractFeatureName(evidence),
+            filePath: evidence.filePath,
+            language: evidence.language,
+            framework: evidence.framework?.name,
+            linesOfCode: evidence.linesOfCode,
+            apiEndpoints: evidence.publicAPI.map(e => ({
+                method: e.method,
+                path: e.path,
+                handler: e.handler,
+            })),
+            methods: evidence.methods.slice(0, 15).map(m => ({
+                name: m.name,
+                signature: m.signature,
+            })),
+            vulnerabilities: evidence.vulnerabilities.map(v => ({
+                cwe: v.cwe,
+                severity: v.severity,
+                description: v.description,
+            })),
+        };
+        // Call LLM
+        const result = await client.generateSpecification(input);
+        if (!result) {
+            return null;
+        }
+        return result;
+    }
+    catch (error) {
+        console.error('LLM spec generation failed:', error instanceof Error ? error.message : String(error));
+        return null;
+    }
+}
+/**
+ * Generate fallback spec when LLM fails or is disabled
+ */
+function generateFallbackSpec(evidence) {
+    const requirements = [];
+    let reqId = 1;
+    // Generate requirements from API endpoints
+    for (const endpoint of evidence.publicAPI) {
+        requirements.push({
+            id: `REQ-${String(reqId++).padStart(3, '0')}`,
+            description: `System shall handle ${endpoint.method} requests to ${endpoint.path}`,
+            category: 'functional',
+            priority: 'must',
+            tested: false,
+        });
+        // Add parameter validation requirements
+        const requiredParams = endpoint.parameters.filter(p => p.required);
+        if (requiredParams.length > 0) {
+            requirements.push({
+                id: `REQ-${String(reqId++).padStart(3, '0')}`,
+                description: `System shall validate required parameters: ${requiredParams.map(p => p.name).join(', ')}`,
+                category: 'functional',
+                priority: 'must',
+                tested: false,
+            });
+        }
+    }
+    // Generate security requirements from vulnerabilities
+    for (const vuln of evidence.vulnerabilities) {
+        requirements.push({
+            id: `REQ-${String(reqId++).padStart(3, '0')}`,
+            description: `System shall prevent ${vuln.cwe}: ${vuln.description}`,
+            category: 'security',
+            priority: 'must',
+            tested: false,
+        });
+    }
+    // If no requirements generated, create a basic one
+    if (requirements.length === 0) {
+        requirements.push({
+            id: 'REQ-001',
+            description: `System shall provide ${evidence.methods.length} methods as defined in implementation`,
+            category: 'functional',
+            priority: 'should',
+            tested: false,
+        });
+    }
+    return {
+        title: extractFeatureName(evidence),
+        summary: `Feature providing ${evidence.methods.length} methods with ${evidence.publicAPI.length} API endpoints.`,
+        requirements,
+        edgeCases: [
+            'Invalid input parameters',
+            'Missing required fields',
+            'Concurrent access',
+        ],
+        errorScenarios: [
+            'Database connection failure',
+            'Invalid data format',
+            'Authentication failure',
+        ],
+    };
+}
+/**
+ * Extract feature name from file path
+ */
+function extractFeatureName(evidence) {
+    const fileName = evidence.filePath.split('/').pop() || 'Unknown';
+    const baseName = fileName.replace(/\.(java|ts|js|py|rs)$/, '');
+    // Convert CamelCase or snake_case to Title Case
+    return baseName
+        .replace(/([A-Z])/g, ' $1')
+        .replace(/_/g, ' ')
+        .trim()
+        .split(' ')
+        .map(word => word.charAt(0).toUpperCase() + word.slice(1).toLowerCase())
+        .join(' ');
+}
+/**
+ * Format spec as Markdown
+ */
+export function formatSpecMarkdown(spec, metadata) {
+    const sections = [];
+    // Header with review notice
+    if (metadata.reviewRequired) {
+        sections.push(`> **⚠️ Generated Specification - Review Required**
+> This specification was automatically generated from code.
+> Please review and refine before using.
+
+`);
+    }
+    // Title and summary
+    sections.push(`# ${spec.title}\n`);
+    sections.push(`${spec.summary}\n`);
+    // Requirements
+    sections.push(`## Requirements\n`);
+    // Group requirements by category
+    const byCategory = groupBy(spec.requirements, r => r.category);
+    for (const [category, reqs] of Object.entries(byCategory)) {
+        const categoryTitle = category.charAt(0).toUpperCase() + category.slice(1);
+        sections.push(`### ${categoryTitle}\n`);
+        for (const req of reqs) {
+            const priority = req.priority === 'must' ? '**MUST**' : req.priority === 'should' ? 'SHOULD' : 'COULD';
+            const checked = req.tested ? 'x' : ' ';
+            sections.push(`- [${checked}] **${req.id}**: ${priority} ${req.description}\n`);
+        }
+        sections.push('');
+    }
+    // Edge Cases
+    if (spec.edgeCases.length > 0) {
+        sections.push(`## Edge Cases\n`);
+        for (const edge of spec.edgeCases) {
+            sections.push(`- ${edge}\n`);
+        }
+        sections.push('');
+    }
+    // Error Scenarios
+    if (spec.errorScenarios.length > 0) {
+        sections.push(`## Error Scenarios\n`);
+        for (const error of spec.errorScenarios) {
+            sections.push(`- ${error}\n`);
+        }
+        sections.push('');
+    }
+    return sections.join('\n');
+}
+/**
+ * Helper: Group array by key
+ */
+function groupBy(array, keyFn) {
+    const result = {};
+    for (const item of array) {
+        const key = keyFn(item);
+        if (!result[key]) {
+            result[key] = [];
+        }
+        result[key].push(item);
+    }
+    return result;
+}
+//# sourceMappingURL=spec-generator.js.map

package/dist/specifica/spec-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-generator.js","sourceRoot":"","sources":["../../src/specifica/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAQrD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,QAAsB,EACtB,UAA4B,EAAE;IAE9B,2BAA2B;IAC3B,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;QAC1C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,oBAAoB,IAAI,sBAAsB;SACvF,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;IACxD,OAAO;QACL,IAAI,EAAE,oBAAoB,CAAC,QAAQ,CAAC;QACpC,MAAM,EAAE,QAAQ;KACjB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,eAAe,CAC5B,QAAsB,EACtB,OAAyB;IAEzB,IAAI,CAAC;QACH,gEAAgE;QAChE,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;YACvC,MAAM,EAAE;gBACN,UAAU,EAAE;oBACV,KAAK,EAAE,OAAO,CAAC,SAAS;oBACxB,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,IAAI;iBAChB;gBACD,YAAY,EAAE;oBACZ,KAAK,EAAE,OAAO,CAAC,SAAS;oBACxB,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,IAAI;iBAChB;gBACD,mBAAmB,EAAE;oBACnB,KAAK,EAAE,OAAO,CAAC,SAAS;oBACxB,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,IAAI;iBAChB;aACF;SACF,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,oDAAoD;QAEnE,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;QAE5C,wBAAwB;QACxB,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,kBAAkB,CAAC,QAAQ,CAAC;YACnC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI;YACnC,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,YAAY,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACzC,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;aACnB,CAAC,CAAC;YACH,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/C,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,SAAS,EAAE,CAAC,CAAC,SAAS;aACvB,CAAC,CAAC;YACH,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAClD,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,WAAW,EAAE,CAAC,CAAC,WAAW;aAC3B,CAAC,CAAC;SACJ,CAAC;QAEF,WAAW;QACX,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QAEzD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACrG,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,QAAsB;IAClD,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,2CAA2C;IAC3C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC1C,YAAY,CAAC,IAAI,CAAC;YAChB,EAAE,EAAE,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;YAC7C,WAAW,EAAE,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,QAAQ,CAAC,IAAI,EAAE;YAClF,QAAQ,EAAE,YAAY;YACtB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QAEH,wCAAwC;QACxC,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,YAAY,CAAC,IAAI,CAAC;gBAChB,EAAE,EAAE,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAC7C,WAAW,EAAE,8CAA8C,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACvG,QAAQ,EAAE,YAAY;gBACtB,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,KAAK;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC5C,YAAY,CAAC,IAAI,CAAC;YAChB,EAAE,EAAE,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;YAC7C,WAAW,EAAE,wBAAwB,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,WAAW,EAAE;YACpE,QAAQ,EAAE,UAAU;YACpB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;IACL,CAAC;IAED,mDAAmD;IACnD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,YAAY,CAAC,IAAI,CAAC;YAChB,EAAE,EAAE,SAAS;YACb,WAAW,EAAE,wBAAwB,QAAQ,CAAC,OAAO,CAAC,MAAM,uCAAuC;YACnG,QAAQ,EAAE,YAAY;YACtB,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACnC,OAAO,EAAE,qBAAqB,QAAQ,CAAC,OAAO,CAAC,MAAM,iBAAiB,QAAQ,CAAC,SAAS,CAAC,MAAM,iBAAiB;QAChH,YAAY;QACZ,SAAS,EAAE;YACT,0BAA0B;YAC1B,yBAAyB;YACzB,mBAAmB;SACpB;QACD,cAAc,EAAE;YACd,6BAA6B;YAC7B,qBAAqB;YACrB,wBAAwB;SACzB;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,QAAsB;IAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,SAAS,CAAC;IACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAE/D,gDAAgD;IAChD,OAAO,QAAQ;SACZ,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC;SAC1B,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,IAAI,EAAE;SACN,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SACvE,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAmB,EAAE,QAAqC;IAC3F,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC;;;;CAIjB,CAAC,CAAC;IACD,CAAC;IAED,oBAAoB;IACpB,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;IAEnC,eAAe;IACf,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAEnC,iCAAiC;IACjC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAE/D,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3E,QAAQ,CAAC,IAAI,CAAC,OAAO,aAAa,IAAI,CAAC,CAAC;QAExC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YACvG,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,MAAM,OAAO,OAAO,GAAG,CAAC,EAAE,OAAO,QAAQ,IAAI,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC;QAClF,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,aAAa;IACb,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,kBAAkB;IAClB,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,SAAS,OAAO,CAAI,KAAU,EAAE,KAA0B;IACxD,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/specifica/types.d.ts

@@ -0,0 +1,213 @@
+/**
+ * Specifica Generation Types
+ *
+ * Type definitions for code-to-spec generation.
+ */
+import type { CircleIR, TaintSource, TaintSink } from 'circle-ir';
+export interface SpecificaOptions {
+    /** Output directory for .specifica/ (default: project root) */
+    outputDir?: string;
+    /** LLM model for spec generation (default: gpt-oss-120b) */
+    specModel?: string;
+    /** Whether to overwrite existing specs (default: false - prompt user) */
+    overwrite?: boolean;
+    /** Whether to use LLM enrichment for analysis (default: false - reuse existing) */
+    enableEnrichment?: boolean;
+    /** Language of the codebase (auto-detected if not provided) */
+    language?: 'java' | 'javascript' | 'typescript' | 'python' | 'rust';
+    /** Suppress console output (default: false) */
+    quiet?: boolean;
+}
+export interface ConflictResolution {
+    /** Strategy for handling existing .specifica/ files */
+    strategy: 'skip' | 'overwrite' | 'merge' | 'rename' | 'prompt';
+    /** Backup existing files before overwriting */
+    backup?: boolean;
+}
+export interface FileEvidence {
+    filePath: string;
+    language: string;
+    linesOfCode: number;
+    types: TypeInfo[];
+    methods: MethodInfo[];
+    publicAPI: APIEndpoint[];
+    imports: ImportInfo[];
+    exports: ExportInfo[];
+    sources: TaintSource[];
+    sinks: TaintSink[];
+    vulnerabilities: VulnerabilityInfo[];
+    comments: CommentInfo[];
+    todos: string[];
+    framework?: FrameworkInfo;
+}
+export interface TypeInfo {
+    name: string;
+    kind: 'class' | 'interface' | 'enum' | 'type';
+    visibility: 'public' | 'private' | 'protected' | 'package';
+    annotations: string[];
+    extends?: string[];
+    implements?: string[];
+    methods: string[];
+    fields: FieldInfo[];
+}
+export interface FieldInfo {
+    name: string;
+    type: string;
+    visibility: 'public' | 'private' | 'protected' | 'package';
+    annotations: string[];
+    isStatic: boolean;
+    isFinal: boolean;
+}
+export interface MethodInfo {
+    name: string;
+    signature: string;
+    returnType: string;
+    parameters: ParameterInfo[];
+    visibility: 'public' | 'private' | 'protected' | 'package';
+    annotations: string[];
+    isStatic: boolean;
+    isAsync: boolean;
+    lineStart: number;
+    lineEnd: number;
+    hasHttpHandling: boolean;
+    hasDatabaseAccess: boolean;
+    hasValidation: boolean;
+    hasErrorHandling: boolean;
+}
+export interface ParameterInfo {
+    name: string;
+    type: string;
+    annotations: string[];
+    isOptional: boolean;
+}
+export interface APIEndpoint {
+    method: 'GET' | 'POST' | 'PUT' | 'DELETE' | 'PATCH';
+    path: string;
+    handler: string;
+    parameters: APIParameter[];
+    requestBody?: string;
+    responseType?: string;
+    annotations: string[];
+    summary?: string;
+}
+export interface APIParameter {
+    name: string;
+    location: 'path' | 'query' | 'body' | 'header';
+    type: string;
+    required: boolean;
+    description?: string;
+}
+export interface ImportInfo {
+    module: string;
+    imports: string[];
+    isFramework: boolean;
+}
+export interface ExportInfo {
+    name: string;
+    kind: 'function' | 'class' | 'interface' | 'type' | 'const';
+    isDefault: boolean;
+}
+export interface VulnerabilityInfo {
+    cwe: string;
+    severity: 'critical' | 'high' | 'medium' | 'low';
+    description: string;
+    sourceType: string;
+    sinkType: string;
+    lineNumber: number;
+}
+export interface CommentInfo {
+    type: 'line' | 'block' | 'doc';
+    content: string;
+    lineNumber: number;
+}
+export interface FrameworkInfo {
+    name: string;
+    version?: string;
+    patterns: string[];
+    layer?: 'controller' | 'service' | 'repository' | 'model' | 'util';
+}
+export interface FeatureCluster {
+    name: string;
+    files: string[];
+    evidence: FileEvidence[];
+    confidence: number;
+    clusteringMethod: 'package' | 'directory' | 'naming' | 'dependency' | 'semantic';
+}
+export interface SpecificaOutput {
+    featureName: string;
+    outputPath: string;
+    spec: SpecMdContent;
+    design?: DesignMdContent;
+    tasks?: TasksMdContent;
+    metadata: GenerationMetadata;
+    generationMethod?: 'llm' | 'static';
+}
+export interface SpecMdContent {
+    title: string;
+    summary: string;
+    requirements: Requirement[];
+    edgeCases: string[];
+    errorScenarios: string[];
+}
+export interface Requirement {
+    id: string;
+    description: string;
+    category: 'functional' | 'security' | 'performance' | 'usability';
+    priority: 'must' | 'should' | 'could';
+    tested: boolean;
+}
+export interface DesignMdContent {
+    architecture: string;
+    components: ComponentInfo[];
+    patterns: string[];
+    technicalDecisions: TechnicalDecision[];
+    securityConsiderations: string[];
+    componentDiagram?: string;
+}
+export interface ComponentInfo {
+    name: string;
+    type: 'controller' | 'service' | 'repository' | 'model' | 'util' | 'middleware';
+    responsibilities: string[];
+    dependencies: string[];
+}
+export interface TechnicalDecision {
+    decision: string;
+    rationale: string;
+    alternatives?: string[];
+    tradeoffs?: string;
+}
+export interface TasksMdContent {
+    tasks: Task[];
+    dependencyGraph?: string;
+}
+export interface Task {
+    id: string;
+    title: string;
+    description: string;
+    dependencies: string[];
+    deliverable: string;
+    verification: string[];
+    estimatedEffort?: string;
+}
+export interface GenerationMetadata {
+    generatedAt: string;
+    generator: string;
+    version: string;
+    model: string;
+    filesAnalyzed: number;
+    reviewRequired: boolean;
+    llmCost?: number;
+}
+export interface PromptContext {
+    evidence: FileEvidence;
+    language: string;
+    framework?: string;
+    existingAnalysis?: CircleIR;
+}
+export interface LLMResponse {
+    spec?: SpecMdContent;
+    design?: DesignMdContent;
+    tasks?: TasksMdContent;
+    reasoning?: string;
+}
+//# sourceMappingURL=types.d.ts.map