spec-gen-cli 1.0.0

package/dist/cli/commands/verify.js

@@ -0,0 +1,417 @@
+/**
+ * spec-gen verify command
+ *
+ * Tests generated spec accuracy against actual source code.
+ * Samples files and validates that specs accurately describe behavior.
+ */
+import { Command } from 'commander';
+import { access, readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { logger } from '../../utils/logger.js';
+import { readSpecGenConfig } from '../../core/services/config-manager.js';
+import { createLLMService } from '../../core/services/llm-service.js';
+import { SpecVerificationEngine, } from '../../core/verifier/verification-engine.js';
+// ============================================================================
+// HELPER FUNCTIONS
+// ============================================================================
+/**
+ * Parse comma-separated list
+ */
+function parseList(value) {
+    return value.split(',').map((s) => s.trim()).filter(Boolean);
+}
+/**
+ * Check if a file exists
+ */
+async function fileExists(path) {
+    try {
+        await access(path);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Format time duration for display
+ */
+function formatDuration(ms) {
+    if (ms < 1000)
+        return `${ms}ms`;
+    if (ms < 60000)
+        return `${(ms / 1000).toFixed(1)}s`;
+    const minutes = Math.floor(ms / 60000);
+    const seconds = Math.floor((ms % 60000) / 1000);
+    return `${minutes}m ${seconds}s`;
+}
+/**
+ * Format score as bar
+ */
+function formatScoreBar(score, width = 10) {
+    const filled = Math.round(score * width);
+    const empty = width - filled;
+    return '■'.repeat(filled) + '□'.repeat(empty);
+}
+/**
+ * Get status emoji based on score
+ */
+function getStatusEmoji(score, threshold) {
+    if (score >= threshold)
+        return '✓';
+    if (score >= threshold * 0.8)
+        return '⚠';
+    return '✗';
+}
+/**
+ * Load dependency graph from analysis
+ */
+async function loadDependencyGraph(analysisPath) {
+    try {
+        const depGraphPath = join(analysisPath, 'dependency-graph.json');
+        if (!(await fileExists(depGraphPath))) {
+            return null;
+        }
+        const content = await readFile(depGraphPath, 'utf-8');
+        return JSON.parse(content);
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Load generation report
+ */
+async function loadGenerationReport(rootPath) {
+    try {
+        const reportPath = join(rootPath, '.spec-gen', 'outputs', 'generation-report.json');
+        if (!(await fileExists(reportPath))) {
+            return null;
+        }
+        const content = await readFile(reportPath, 'utf-8');
+        return JSON.parse(content);
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Display individual verification result
+ */
+function displayResult(result, index, total, threshold, verbose) {
+    const status = getStatusEmoji(result.overallScore, threshold);
+    console.log('');
+    console.log(`   [${index}/${total}] ${result.filePath}`);
+    // Purpose match
+    const purposeStatus = result.purposeMatch.similarity >= 0.5 ? '✓' : '⚠';
+    console.log(`         Purpose: ${purposeStatus} ${result.purposeMatch.similarity >= 0.5 ? 'Correctly identified' : 'Partially matched'}`);
+    // Import match
+    const importPercent = (result.importMatch.f1Score * 100).toFixed(0);
+    console.log(`         Imports: ${result.importMatch.predicted.length}/${result.importMatch.actual.length} predicted (${importPercent}%)`);
+    // Export match
+    const exportPercent = (result.exportMatch.f1Score * 100).toFixed(0);
+    console.log(`         Exports: ${result.exportMatch.predicted.length}/${result.exportMatch.actual.length} predicted (${exportPercent}%)`);
+    // Requirement coverage
+    if (result.requirementCoverage.relatedRequirements.length > 0) {
+        const reqMatches = result.requirementCoverage.actuallyImplements.join(', ') || 'None';
+        console.log(`         Requirements: ${reqMatches}`);
+    }
+    else {
+        console.log(`         Requirements: Not in specs`);
+    }
+    // Overall score
+    console.log(`         Score: ${(result.overallScore).toFixed(2)} ${status}`);
+    // Verbose output
+    if (verbose && result.feedback.length > 0) {
+        console.log('         Feedback:');
+        for (const fb of result.feedback) {
+            console.log(`           - ${fb}`);
+        }
+    }
+}
+/**
+ * Display verification summary
+ */
+function displaySummary(report, _threshold) {
+    console.log('');
+    console.log('━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━');
+    console.log('');
+    console.log('📊 Verification Results');
+    console.log('');
+    const confidencePercent = (report.overallConfidence * 100).toFixed(0);
+    const passedPercent = report.sampledFiles > 0
+        ? ((report.passedFiles / report.sampledFiles) * 100).toFixed(0)
+        : '0';
+    console.log(`   Overall Confidence: ${confidencePercent}%`);
+    console.log(`   Passed: ${report.passedFiles}/${report.sampledFiles} files (${passedPercent}%)`);
+    console.log('');
+    // Domain accuracy
+    if (report.domainBreakdown.length > 0) {
+        console.log('   Domain Accuracy:');
+        for (let i = 0; i < report.domainBreakdown.length; i++) {
+            const domain = report.domainBreakdown[i];
+            const scorePercent = (domain.averageScore * 100).toFixed(0);
+            const bar = formatScoreBar(domain.averageScore);
+            const prefix = i === report.domainBreakdown.length - 1 ? '└─' : '├─';
+            const paddedName = `${domain.domain}/spec.md:`.padEnd(20);
+            console.log(`   ${prefix} ${paddedName} ${scorePercent}% ${bar}`);
+        }
+        console.log('');
+    }
+    // Identified gaps
+    if (report.commonGaps.length > 0) {
+        console.log('⚠️ Identified Gaps:');
+        for (let i = 0; i < report.commonGaps.length; i++) {
+            console.log(`   ${i + 1}. ${report.commonGaps[i]}`);
+        }
+        console.log('');
+    }
+    // Suggested improvements
+    if (report.suggestedImprovements.length > 0) {
+        for (const improvement of report.suggestedImprovements) {
+            console.log(`   ${improvement.domain}: ${improvement.issue}`);
+            console.log(`      → ${improvement.suggestion}`);
+        }
+        console.log('');
+    }
+    // Recommendation
+    let recommendationIcon = '✅';
+    let recommendationText = 'READY';
+    let recommendationDetail = 'Specifications accurately describe the codebase.';
+    if (report.recommendation === 'needs-review') {
+        recommendationIcon = '⚠️';
+        recommendationText = 'NEEDS REVIEW';
+        recommendationDetail = 'The specs cover core functionality but may miss some areas.';
+    }
+    else if (report.recommendation === 'regenerate') {
+        recommendationIcon = '❌';
+        recommendationText = 'REGENERATE';
+        recommendationDetail = 'Specs have significant gaps. Consider regenerating with improved context.';
+    }
+    console.log(`📝 Recommendation: ${recommendationIcon} ${recommendationText}`);
+    console.log(`   ${recommendationDetail}`);
+    console.log('');
+    console.log(`   Full report: .spec-gen/verification/REPORT.md`);
+    console.log('');
+}
+// ============================================================================
+// COMMAND
+// ============================================================================
+export const verifyCommand = new Command('verify')
+    .description('Verify generated specs against actual source code')
+    .option('--samples <n>', 'Number of files to sample for verification', '5')
+    .option('--threshold <0-1>', 'Minimum confidence score to pass verification', '0.7')
+    .option('--files <paths>', 'Specific files to verify (comma-separated)', parseList)
+    .option('--domains <list>', 'Only verify specific domains', parseList)
+    .option('--verbose', 'Show detailed prediction vs actual comparison', false)
+    .option('--json', 'Output results as JSON only', false)
+    .addHelpText('after', `
+Examples:
+  $ spec-gen verify                  Verify with defaults (5 samples, 0.7 threshold)
+  $ spec-gen verify --samples 10     Sample more files for higher confidence
+  $ spec-gen verify --threshold 0.8  Require higher accuracy
+  $ spec-gen verify --verbose        Show detailed comparisons
+  $ spec-gen verify --domains user,order
+                                     Only verify specific domains
+  $ spec-gen verify --json           Output JSON for automation
+
+Verification process:
+  1. Loads generated specs from openspec/specs/
+  2. Selects verification files NOT used in generation
+  3. For each file, asks LLM to predict behavior from specs
+  4. Compares predictions against actual code
+  5. Reports accuracy score and identifies gaps
+
+Output:
+  - Overall confidence score (0.0 - 1.0)
+  - Per-domain accuracy breakdown
+  - List of files with prediction mismatches
+  - Suggestions for spec improvements
+
+A score >= threshold indicates specs are production-ready.
+`)
+    .action(async function (options) {
+    const startTime = Date.now();
+    const rootPath = process.cwd();
+    // Inherit global options (--api-base, --insecure, etc.)
+    const globalOpts = this.optsWithGlobals?.() ?? {};
+    const opts = {
+        samples: typeof options.samples === 'string'
+            ? parseInt(options.samples, 10)
+            : options.samples ?? 5,
+        threshold: typeof options.threshold === 'string'
+            ? parseFloat(options.threshold)
+            : options.threshold ?? 0.7,
+        files: options.files ?? [],
+        domains: options.domains ?? [],
+        verbose: options.verbose ?? false,
+        json: options.json ?? false,
+        quiet: false,
+        noColor: false,
+        config: '.spec-gen/config.json',
+    };
+    // Validate threshold range
+    if (opts.threshold < 0 || opts.threshold > 1) {
+        logger.error('Threshold must be between 0 and 1');
+        process.exitCode = 1;
+        return;
+    }
+    try {
+        // ========================================================================
+        // PHASE 1: VALIDATION
+        // ========================================================================
+        if (!opts.json) {
+            logger.section('Verifying Specifications');
+        }
+        // Load spec-gen config
+        const specGenConfig = await readSpecGenConfig(rootPath);
+        if (!specGenConfig) {
+            logger.error('No spec-gen configuration found. Run "spec-gen init" first.');
+            process.exitCode = 1;
+            return;
+        }
+        // Determine openspec path
+        const openspecPath = join(rootPath, specGenConfig.openspecPath ?? 'openspec');
+        const specsPath = join(openspecPath, 'specs');
+        // Check if specs exist
+        if (!(await fileExists(specsPath))) {
+            logger.error('No specs found. Run "spec-gen generate" first.');
+            process.exitCode = 1;
+            return;
+        }
+        if (!opts.json) {
+            logger.discovery(`Loading generated specs from ${specGenConfig.openspecPath}/specs/`);
+        }
+        // Load generation report to get context files
+        const generationReport = await loadGenerationReport(rootPath);
+        const generationContext = generationReport?.filesWritten ?? [];
+        // Load dependency graph
+        const analysisPath = join(rootPath, '.spec-gen', 'analysis');
+        const depGraph = await loadDependencyGraph(analysisPath);
+        if (!depGraph) {
+            logger.error('No analysis found. Run "spec-gen analyze" first.');
+            process.exitCode = 1;
+            return;
+        }
+        if (!opts.json) {
+            logger.info('Files in analysis', depGraph.nodes.length);
+            logger.blank();
+        }
+        // ========================================================================
+        // PHASE 2: CHECK LLM API
+        // ========================================================================
+        const anthropicKey = process.env.ANTHROPIC_API_KEY;
+        const openaiKey = process.env.OPENAI_API_KEY;
+        if (!anthropicKey && !openaiKey) {
+            logger.error('No LLM API key found.');
+            logger.discovery('Set ANTHROPIC_API_KEY or OPENAI_API_KEY environment variable.');
+            process.exitCode = 1;
+            return;
+        }
+        // Create LLM service (CLI flags > env vars > config file)
+        const provider = anthropicKey ? 'anthropic' : 'openai';
+        let llm;
+        try {
+            llm = createLLMService({
+                provider,
+                apiBase: globalOpts.apiBase ?? specGenConfig.llm?.apiBase,
+                sslVerify: globalOpts.insecure != null ? !globalOpts.insecure : specGenConfig.llm?.sslVerify ?? true,
+                enableLogging: true,
+                logDir: join(rootPath, '.spec-gen', 'logs'),
+            });
+        }
+        catch (error) {
+            logger.error(`Failed to create LLM service: ${error.message}`);
+            process.exitCode = 1;
+            return;
+        }
+        // ========================================================================
+        // PHASE 3: RUN VERIFICATION
+        // ========================================================================
+        const verificationDir = join(rootPath, '.spec-gen', 'verification');
+        const engine = new SpecVerificationEngine(llm, {
+            rootPath,
+            openspecPath,
+            outputDir: verificationDir,
+            filesPerDomain: Math.ceil(opts.samples / 4), // Distribute across domains
+            passThreshold: opts.threshold,
+            generationContext,
+        });
+        if (!opts.json) {
+            logger.analysis(`Selecting verification files (${opts.samples} samples)...`);
+            logger.blank();
+        }
+        // Get candidates first to show selection
+        const candidates = engine.selectCandidates(depGraph);
+        if (candidates.length === 0) {
+            logger.error('No suitable verification candidates found.');
+            logger.discovery('Try running with a lower --samples value or check that analysis includes non-test files.');
+            process.exitCode = 1;
+            return;
+        }
+        // Limit to requested sample size
+        const selectedCandidates = candidates.slice(0, opts.samples);
+        if (!opts.json) {
+            logger.discovery(`Files selected for verification:`);
+            for (let i = 0; i < selectedCandidates.length; i++) {
+                const c = selectedCandidates[i];
+                logger.listItem(`${c.path} (${c.domain} domain)`);
+            }
+            logger.blank();
+            logger.analysis('Verifying specs against codebase...');
+        }
+        // Run verification
+        let report;
+        try {
+            report = await engine.verify(depGraph, specGenConfig.version);
+        }
+        catch (error) {
+            logger.error(`Verification failed: ${error.message}`);
+            process.exitCode = 1;
+            return;
+        }
+        // ========================================================================
+        // PHASE 4: DISPLAY RESULTS
+        // ========================================================================
+        if (opts.json) {
+            // JSON-only output
+            console.log(JSON.stringify(report, null, 2));
+        }
+        else {
+            // Display individual results
+            for (let i = 0; i < report.results.length; i++) {
+                displayResult(report.results[i], i + 1, report.results.length, opts.threshold, opts.verbose ?? false);
+            }
+            // Display summary
+            displaySummary(report, opts.threshold);
+            // Final status
+            const duration = Date.now() - startTime;
+            logger.info('Total time', formatDuration(duration));
+            logger.blank();
+            // Exit status based on recommendation
+            if (report.recommendation === 'regenerate') {
+                process.exitCode = 1;
+            }
+            else if (report.recommendation === 'needs-review') {
+                process.exitCode = 0; // Warning but not failure
+            }
+            else {
+                logger.success('Verification passed!');
+            }
+        }
+        // Save LLM logs
+        try {
+            await llm.saveLogs();
+        }
+        catch {
+            // Ignore log save errors
+        }
+    }
+    catch (error) {
+        logger.error(`Verify failed: ${error.message}`);
+        if (process.env.DEBUG) {
+            console.error(error);
+        }
+        process.exitCode = 1;
+    }
+});
+//# sourceMappingURL=verify.js.map

package/dist/cli/commands/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../src/cli/commands/verify.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAmB,MAAM,oCAAoC,CAAC;AACvF,OAAO,EACL,sBAAsB,GAGvB,MAAM,4CAA4C,CAAC;AAcpD,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;GAEG;AACH,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC/D,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,UAAU,CAAC,IAAY;IACpC,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,EAAU;IAChC,IAAI,EAAE,GAAG,IAAI;QAAE,OAAO,GAAG,EAAE,IAAI,CAAC;IAChC,IAAI,EAAE,GAAG,KAAK;QAAE,OAAO,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IAChD,OAAO,GAAG,OAAO,KAAK,OAAO,GAAG,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,KAAa,EAAE,QAAgB,EAAE;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC;IAC7B,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,KAAa,EAAE,SAAiB;IACtD,IAAI,KAAK,IAAI,SAAS;QAAE,OAAO,GAAG,CAAC;IACnC,IAAI,KAAK,IAAI,SAAS,GAAG,GAAG;QAAE,OAAO,GAAG,CAAC;IACzC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,mBAAmB,CAAC,YAAoB;IACrD,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;QACjE,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAA0B,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,oBAAoB,CAAC,QAAgB;IAClD,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,wBAAwB,CAAC,CAAC;QACpF,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAqB,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CACpB,MAA0B,EAC1B,KAAa,EACb,KAAa,EACb,SAAiB,EACjB,OAAgB;IAEhB,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,KAAK,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAEzD,gBAAgB;IAChB,MAAM,aAAa,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACxE,OAAO,CAAC,GAAG,CAAC,qBAAqB,aAAa,IAAI,MAAM,CAAC,YAAY,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,CAAC;IAE1I,eAAe;IACf,MAAM,aAAa,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,eAAe,aAAa,IAAI,CAAC,CAAC;IAE1I,eAAe;IACf,MAAM,aAAa,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,eAAe,aAAa,IAAI,CAAC,CAAC;IAE1I,uBAAuB;IACvB,IAAI,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;QACtF,OAAO,CAAC,GAAG,CAAC,0BAA0B,UAAU,EAAE,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;IACrD,CAAC;IAED,gBAAgB;IAChB,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAE7E,iBAAiB;IACjB,IAAI,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,UAAkB;IACpE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;IACpE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACvC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,MAAM,iBAAiB,GAAG,CAAC,MAAM,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,aAAa,GAAG,MAAM,CAAC,YAAY,GAAG,CAAC;QAC3C,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC,GAAG,CAAC;IAER,OAAO,CAAC,GAAG,CAAC,0BAA0B,iBAAiB,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,YAAY,WAAW,aAAa,IAAI,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,kBAAkB;IAClB,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,YAAY,GAAG,CAAC,MAAM,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5D,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,CAAC,KAAK,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACrE,MAAM,UAAU,GAAG,GAAG,MAAM,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,MAAM,MAAM,IAAI,UAAU,IAAI,YAAY,KAAK,GAAG,EAAE,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,kBAAkB;IAClB,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,yBAAyB;IACzB,IAAI,MAAM,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,MAAM,WAAW,CAAC,MAAM,KAAK,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,WAAW,WAAW,CAAC,UAAU,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,iBAAiB;IACjB,IAAI,kBAAkB,GAAG,GAAG,CAAC;IAC7B,IAAI,kBAAkB,GAAG,OAAO,CAAC;IACjC,IAAI,oBAAoB,GAAG,kDAAkD,CAAC;IAE9E,IAAI,MAAM,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;QAC7C,kBAAkB,GAAG,IAAI,CAAC;QAC1B,kBAAkB,GAAG,cAAc,CAAC;QACpC,oBAAoB,GAAG,6DAA6D,CAAC;IACvF,CAAC;SAAM,IAAI,MAAM,CAAC,cAAc,KAAK,YAAY,EAAE,CAAC;QAClD,kBAAkB,GAAG,GAAG,CAAC;QACzB,kBAAkB,GAAG,YAAY,CAAC;QAClC,oBAAoB,GAAG,2EAA2E,CAAC;IACrG,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,sBAAsB,kBAAkB,IAAI,kBAAkB,EAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,MAAM,oBAAoB,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,UAAU;AACV,+EAA+E;AAE/E,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,OAAO,CAAC,QAAQ,CAAC;KAC/C,WAAW,CAAC,mDAAmD,CAAC;KAChE,MAAM,CACL,eAAe,EACf,4CAA4C,EAC5C,GAAG,CACJ;KACA,MAAM,CACL,mBAAmB,EACnB,+CAA+C,EAC/C,KAAK,CACN;KACA,MAAM,CACL,iBAAiB,EACjB,4CAA4C,EAC5C,SAAS,CACV;KACA,MAAM,CACL,kBAAkB,EAClB,8BAA8B,EAC9B,SAAS,CACV;KACA,MAAM,CACL,WAAW,EACX,+CAA+C,EAC/C,KAAK,CACN;KACA,MAAM,CACL,QAAQ,EACR,6BAA6B,EAC7B,KAAK,CACN;KACA,WAAW,CACV,OAAO,EACP;;;;;;;;;;;;;;;;;;;;;;;;CAwBH,CACE;KACA,MAAM,CAAC,KAAK,WAA0B,OAAuC;IAC5E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAE/B,wDAAwD;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC;IAElD,MAAM,IAAI,GAA0B;QAClC,OAAO,EAAE,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;YAC1C,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/B,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC;QACxB,SAAS,EAAE,OAAO,OAAO,CAAC,SAAS,KAAK,QAAQ;YAC9C,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC;YAC/B,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,GAAG;QAC5B,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,KAAK;QACjC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,KAAK;QAC3B,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,uBAAuB;KAChC,CAAC;IAEF,2BAA2B;IAC3B,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAClD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IAED,IAAI,CAAC;QACH,2EAA2E;QAC3E,sBAAsB;QACtB,2EAA2E;QAC3E,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QAC7C,CAAC;QAED,uBAAuB;QACvB,MAAM,aAAa,GAAG,MAAM,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,MAAM,CAAC,KAAK,CAAC,6DAA6D,CAAC,CAAC;YAC5E,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,0BAA0B;QAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,IAAI,UAAU,CAAC,CAAC;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAE9C,uBAAuB;QACvB,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAC/D,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,SAAS,CAAC,gCAAgC,aAAa,CAAC,YAAY,SAAS,CAAC,CAAC;QACxF,CAAC;QAED,8CAA8C;QAC9C,MAAM,gBAAgB,GAAG,MAAM,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC9D,MAAM,iBAAiB,GAAG,gBAAgB,EAAE,YAAY,IAAI,EAAE,CAAC;QAE/D,wBAAwB;QACxB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,YAAY,CAAC,CAAC;QAEzD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACjE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;QAED,2EAA2E;QAC3E,yBAAyB;QACzB,2EAA2E;QAC3E,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACnD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;QAE7C,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,+DAA+D,CAAC,CAAC;YAClF,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,0DAA0D;QAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QACvD,IAAI,GAAe,CAAC;QACpB,IAAI,CAAC;YACH,GAAG,GAAG,gBAAgB,CAAC;gBACrB,QAAQ;gBACR,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,aAAa,CAAC,GAAG,EAAE,OAAO;gBACzD,SAAS,EAAE,UAAU,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,SAAS,IAAI,IAAI;gBACpG,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC;aAC5C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,CAAC,iCAAkC,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;YAC1E,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,2EAA2E;QAC3E,4BAA4B;QAC5B,2EAA2E;QAC3E,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;QAEpE,MAAM,MAAM,GAAG,IAAI,sBAAsB,CAAC,GAAG,EAAE;YAC7C,QAAQ;YACR,YAAY;YACZ,SAAS,EAAE,eAAe;YAC1B,cAAc,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,4BAA4B;YACzE,aAAa,EAAE,IAAI,CAAC,SAAS;YAC7B,iBAAiB;SAClB,CAAC,CAAC;QAEH,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,QAAQ,CAAC,iCAAiC,IAAI,CAAC,OAAO,cAAc,CAAC,CAAC;YAC7E,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;QAED,yCAAyC;QACzC,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAErD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAC3D,MAAM,CAAC,SAAS,CAAC,0FAA0F,CAAC,CAAC;YAC7G,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,iCAAiC;QACjC,MAAM,kBAAkB,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAE7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;gBAChC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC;YACpD,CAAC;YACD,MAAM,CAAC,KAAK,EAAE,CAAC;YAEf,MAAM,CAAC,QAAQ,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QAED,mBAAmB;QACnB,IAAI,MAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,CAAC,wBAAyB,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;YACjE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACrB,OAAO;QACT,CAAC;QAED,2EAA2E;QAC3E,2BAA2B;QAC3B,2EAA2E;QAC3E,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,mBAAmB;YACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,6BAA6B;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;YACxG,CAAC;YAED,kBAAkB;YAClB,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YAEvC,eAAe;YACf,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,KAAK,EAAE,CAAC;YAEf,sCAAsC;YACtC,IAAI,MAAM,CAAC,cAAc,KAAK,YAAY,EAAE,CAAC;gBAC3C,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YACvB,CAAC;iBAAM,IAAI,MAAM,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;gBACpD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,0BAA0B;YAClD,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,gBAAgB;QAChB,IAAI,CAAC;YACH,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC;YACP,yBAAyB;QAC3B,CAAC;IAEH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,CAAC,kBAAmB,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACtB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/cli/commands/view.d.ts

@@ -0,0 +1,9 @@
+/**
+ * spec-gen view command
+ *
+ * Starts a local React (Vite) server to visualize analysis graphs,
+ * then opens the user's browser.
+ */
+import { Command } from 'commander';
+export declare const viewCommand: Command;
+//# sourceMappingURL=view.d.ts.map

package/dist/cli/commands/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/view.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAkDpC,eAAO,MAAM,WAAW,SAyfrB,CAAC"}