@angriff36/manifest 2.18.0

package/packages/cli/dist/commands/gen-tests.d.ts

@@ -0,0 +1,41 @@
+/**
+ * manifest gen-tests command
+ *
+ * Analyzes existing .manifest source and uses an LLM to generate additional
+ * conformance fixture scenarios covering edge cases, boundary conditions,
+ * and adversarial inputs. Generated fixtures are saved to the conformance
+ * directory and must pass the existing test runner before being accepted.
+ *
+ * Usage:
+ *   manifest gen-tests [source]
+ *   manifest gen-tests --feature "computed properties with edge cases"
+ *   manifest gen-tests --count 5 --category edge-cases
+ */
+export interface GenTestsOptions {
+    /** Source .manifest file, directory, or glob pattern */
+    source?: string;
+    /** Output directory for generated fixtures */
+    output?: string;
+    /** Custom feature description for test generation */
+    feature?: string;
+    /** Test category: edge-cases, boundary, adversarial, coverage */
+    category?: 'edge-cases' | 'boundary' | 'adversarial' | 'coverage';
+    /** Number of test fixtures to generate */
+    count?: number;
+    /** Model to use for generation */
+    model?: string;
+    /** Maximum retry attempts for validation failures */
+    maxRetries?: number;
+    /** Include iteration details in output */
+    verbose?: boolean;
+    /** API key for Anthropic (default: ANTHROPIC_API_KEY env var) */
+    apiKey?: string;
+    /** Temperature for LLM generation */
+    temperature?: number;
+    /** Dry run - don't write files */
+    dryRun?: boolean;
+    /** Next fixture number to use (auto-detected if omitted) */
+    nextNumber?: number;
+}
+export declare function genTestsCommand(source: string | undefined, options?: GenTestsOptions): Promise<void>;
+//# sourceMappingURL=gen-tests.d.ts.map

package/packages/cli/dist/commands/gen-tests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gen-tests.d.ts","sourceRoot":"","sources":["../../src/commands/gen-tests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAeH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,UAAU,CAAC;IAClE,0CAA0C;IAC1C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qCAAqC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kCAAkC;IAClC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,4DAA4D;IAC5D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAmTD,wBAAsB,eAAe,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,OAAO,GAAE,eAAoB,GAC5B,OAAO,CAAC,IAAI,CAAC,CAqHf"}

package/packages/cli/dist/commands/gen-tests.js

@@ -0,0 +1,370 @@
+/**
+ * manifest gen-tests command
+ *
+ * Analyzes existing .manifest source and uses an LLM to generate additional
+ * conformance fixture scenarios covering edge cases, boundary conditions,
+ * and adversarial inputs. Generated fixtures are saved to the conformance
+ * directory and must pass the existing test runner before being accepted.
+ *
+ * Usage:
+ *   manifest gen-tests [source]
+ *   manifest gen-tests --feature "computed properties with edge cases"
+ *   manifest gen-tests --count 5 --category edge-cases
+ */
+import fs from 'fs/promises';
+import path from 'path';
+import { fileURLToPath } from 'url';
+import { glob } from 'glob';
+import chalk from 'chalk';
+import ora from 'ora';
+import { loadCompiler } from './validate-ai.js';
+import { buildSystemPrompt } from './generate-from-prompt.js';
+// ---------------------------------------------------------------------------
+// Constants
+// ---------------------------------------------------------------------------
+const CONFORMANCE_FIXTURES_DIR = 'src/manifest/conformance/fixtures';
+const CONFORMANCE_EXPECTED_DIR = 'src/manifest/conformance/expected';
+// ---------------------------------------------------------------------------
+// Helper Functions
+// ---------------------------------------------------------------------------
+/**
+ * Get the next available fixture number in the conformance directory.
+ */
+async function getNextFixtureNumber(fixturesDir) {
+    try {
+        const files = await glob('*.manifest', { cwd: fixturesDir });
+        const numbers = files
+            .map(f => parseInt(f.split('-')[0], 10))
+            .filter(n => !isNaN(n));
+        return numbers.length > 0 ? Math.max(...numbers) + 1 : 1;
+    }
+    catch {
+        return 1;
+    }
+}
+/**
+ * Convert a feature name to a valid fixture filename.
+ */
+function featureToFixtureName(feature) {
+    return feature
+        .toLowerCase()
+        .replace(/[^a-z0-9\s-]/g, '')
+        .replace(/\s+/g, '-')
+        .substring(0, 50);
+}
+/**
+ * Build the test generation prompt based on category and feature.
+ */
+async function buildTestGenerationPrompt(options, existingFixtures) {
+    const category = options.category ?? 'edge-cases';
+    const feature = options.feature ?? 'general language features';
+    const count = options.count ?? 3;
+    const existingFixtureNames = existingFixtures.map(f => f.replace('.manifest', ''));
+    let categoryGuidance = '';
+    switch (category) {
+        case 'edge-cases':
+            categoryGuidance = `
+Generate tests that probe edge cases and corner cases:
+- Empty strings, null values, undefined behavior
+- Boundary conditions (0, -1, maximum values)
+- Type coercion and type edge cases
+- Empty arrays and empty objects
+- Concurrent operations on same entity
+- Error paths and failure modes
+- Guard expressions that evaluate to falsy values
+- Policy denials and authorization edge cases
+`;
+            break;
+        case 'boundary':
+            categoryGuidance = `
+Generate tests that explore value boundaries:
+- Minimum and maximum values for numbers
+- String length limits
+- Array size limits
+- Nested relationship depth
+- Constraint boundaries and thresholds
+- Decimal precision edge cases
+- Timestamp boundaries (epoch, far future, etc.)
+`;
+            break;
+        case 'adversarial':
+            categoryGuidance = `
+Generate tests that simulate adversarial inputs:
+- SQL injection attempts (in constraint expressions)
+- Command injection patterns
+- Policy bypass attempts
+- Guard expression manipulation
+- Invalid UTF-8 sequences
+- Malformed constraint expressions
+- Attempted privilege escalation
+- Unexpected input types
+`;
+            break;
+        case 'coverage':
+            categoryGuidance = `
+Generate tests that improve code coverage:
+- Test every property type (string, number, boolean, decimal, timestamp, array, map, enum, value)
+- Test every property modifier (required, readonly, optional with ?)
+- Test every relationship type (hasOne, hasMany, belongsTo, ref)
+- Test command features (guards, mutations, emits)
+- Test policy actions (read, write, execute, all)
+- Test constraint severity (ok, warn, block)
+- Test computed properties with various expressions
+- Test events and event reactions
+`;
+            break;
+    }
+    return `# Manifest Test Fixture Generator
+
+Generate ${count} test fixture(s) for the feature: "${feature}"
+
+## Test Category: ${category.toUpperCase()}
+${categoryGuidance}
+
+## Fixture Requirements
+
+1. **Complete Test**: Each fixture should be a self-contained .manifest file that tests a specific scenario
+2. **Descriptive Naming**: Include comments explaining what edge case or condition is being tested
+3. **Valid Manifest**: All fixtures must compile to valid IR (no syntax errors)
+4. **Focused**: Each fixture should test one or two related scenarios, not everything
+
+## Existing Fixtures (avoid duplicating):
+${existingFixtureNames.length > 0 ? existingFixtureNames.map(n => `  - ${n}`).join('\n') : '  (none)'}
+
+## Output Format
+
+For each fixture, output:
+1. A brief comment line describing the test
+2. The complete .manifest source code
+
+Separate multiple fixtures with a line of "---".
+
+Example output format:
+\`\`\`
+// Test: Empty string defaults for optional string properties
+entity Example {
+  property required id: string
+  property optionalName: string?
+  property emptyDefault: string = ""
+}
+---
+// Test: Guard with falsy value comparison
+entity Example2 {
+  ...
+}
+\`\`\`
+
+Generate ${count} unique test fixtures following the "${category}" category for the feature: "${feature}".
+`;
+}
+/**
+ * Call Anthropic's Claude API to generate test fixtures.
+ */
+async function callAnthropic(prompt, options) {
+    const apiKey = options.apiKey ?? process.env.ANTHROPIC_API_KEY;
+    if (!apiKey) {
+        throw new Error('ANTHROPIC_API_KEY environment variable is required. Set it or pass --api-key.');
+    }
+    const model = options.model ?? 'claude-3-5-sonnet-20241022';
+    const temperature = options.temperature ?? 0.5;
+    const systemPrompt = await buildSystemPrompt();
+    const response = await fetch('https://api.anthropic.com/v1/messages', {
+        method: 'POST',
+        headers: {
+            'x-api-key': apiKey,
+            'anthropic-version': '2023-06-01',
+            'content-type': 'application/json',
+        },
+        body: JSON.stringify({
+            model,
+            max_tokens: 8192,
+            temperature,
+            messages: [
+                {
+                    role: 'user',
+                    content: `${systemPrompt}\n\n${prompt}`,
+                },
+            ],
+        }),
+    });
+    if (!response.ok) {
+        const error = await response.text();
+        throw new Error(`Anthropic API error (${response.status}): ${error}`);
+    }
+    const data = await response.json();
+    return data.content?.[0]?.text ?? '';
+}
+/**
+ * Parse generated fixtures from LLM output.
+ */
+function parseGeneratedFixtures(output) {
+    // Split by "---" to get individual fixtures
+    const fixtures = output
+        .split('---')
+        .map(f => f.trim())
+        .filter(f => f.length > 0);
+    // Remove markdown code blocks if present
+    return fixtures.map(f => {
+        const codeMatch = f.match(/```(?:manifest)?\n([\s\S]+?)\n```/) ||
+            f.match(/```\n([\s\S]+?)\n```/);
+        return codeMatch ? codeMatch[1].trim() : f;
+    });
+}
+/**
+ * Validate and compile a fixture to generate expected outputs.
+ */
+async function validateAndCompileFixture(source, _spinner, _options) {
+    const { compileToIR } = await loadCompiler();
+    const result = await compileToIR(source, { sourcePath: '<generated>' });
+    if (result.diagnostics && result.diagnostics.some((d) => d.severity === 'error')) {
+        const errors = result.diagnostics.filter((d) => d.severity === 'error');
+        throw new Error(`Compilation failed: ${errors.map((e) => e.message).join(', ')}`);
+    }
+    return {
+        ir: result.ir,
+        diagnostics: result.diagnostics,
+    };
+}
+/**
+ * Generate a fixture name from the test content.
+ */
+function generateFixtureName(source, index, baseNumber) {
+    // Extract the first comment for naming
+    const commentMatch = source.match(/^\/\/\s*Test:\s*(.+)$/m);
+    if (commentMatch) {
+        const testName = featureToFixtureName(commentMatch[1]);
+        return `${String(baseNumber + index).padStart(2, '0')}-${testName}.manifest`;
+    }
+    // Fallback: analyze the source for hints
+    const entityMatch = source.match(/entity\s+(\w+)/);
+    if (entityMatch) {
+        const entityName = featureToFixtureName(entityMatch[1]);
+        return `${String(baseNumber + index).padStart(2, '0')}-${entityName}-test.manifest`;
+    }
+    return `${String(baseNumber + index).padStart(2, '0')}-generated-test.manifest`;
+}
+/**
+ * Write fixture files to the conformance directory.
+ */
+async function writeFixtureFiles(fixtureName, source, ir, fixturesDir, expectedDir, dryRun) {
+    if (dryRun) {
+        console.log(chalk.gray(`\n[Dry run] Would create fixture:`));
+        console.log(chalk.cyan(`  ${fixtureName}`));
+        return;
+    }
+    // Write fixture source
+    const fixturePath = path.join(fixturesDir, fixtureName);
+    await fs.mkdir(fixturesDir, { recursive: true });
+    await fs.writeFile(fixturePath, source, 'utf-8');
+    // Write expected IR
+    const baseName = fixtureName.replace('.manifest', '');
+    const irPath = path.join(expectedDir, `${baseName}.ir.json`);
+    await fs.mkdir(expectedDir, { recursive: true });
+    await fs.writeFile(irPath, JSON.stringify(ir, null, 2) + '\n', 'utf-8');
+}
+// ---------------------------------------------------------------------------
+// Main Command Handler
+// ---------------------------------------------------------------------------
+export async function genTestsCommand(source, options = {}) {
+    const root = path.resolve(path.join(path.dirname(fileURLToPath(import.meta.url)), '..', '..', '..'));
+    const fixturesDir = path.resolve(root, options.output ?? CONFORMANCE_FIXTURES_DIR);
+    const expectedDir = path.resolve(root, CONFORMANCE_EXPECTED_DIR);
+    const spinner = ora('Analyzing source and generating tests').start();
+    try {
+        // Get existing fixtures to avoid duplication
+        const existingFixtures = await glob('*.manifest', { cwd: fixturesDir });
+        spinner.info(`Found ${existingFixtures.length} existing fixtures`);
+        // Determine next fixture number
+        const nextNumber = options.nextNumber ?? await getNextFixtureNumber(fixturesDir);
+        spinner.text = `Starting from fixture number ${nextNumber}`;
+        // Build the generation prompt
+        const prompt = await buildTestGenerationPrompt(options, existingFixtures);
+        spinner.text = 'Generating test fixtures with LLM...';
+        // Call LLM
+        let llmOutput = '';
+        try {
+            if (process.env.ANTHROPIC_API_KEY || options.apiKey) {
+                llmOutput = await callAnthropic(prompt, options);
+            }
+            else {
+                spinner.warn('No ANTHROPIC_API_KEY found. Please set the environment variable to use LLM generation.');
+                throw new Error('ANTHROPIC_API_KEY is required for test generation');
+            }
+        }
+        catch (error) {
+            spinner.fail(`LLM generation failed: ${error instanceof Error ? error.message : String(error)}`);
+            throw error;
+        }
+        // Parse generated fixtures
+        spinner.text = 'Parsing generated fixtures...';
+        const fixtures = parseGeneratedFixtures(llmOutput);
+        spinner.info(`Generated ${fixtures.length} fixture(s)`);
+        const result = {
+            fixtures: [],
+            totalAttempts: fixtures.length,
+            successful: 0,
+            failed: 0,
+        };
+        // Validate and compile each fixture
+        for (let i = 0; i < fixtures.length; i++) {
+            const fixtureSource = fixtures[i];
+            spinner.text = `Validating fixture ${i + 1}/${fixtures.length}...`;
+            try {
+                const { ir, diagnostics } = await validateAndCompileFixture(fixtureSource, spinner, options);
+                const fixtureName = generateFixtureName(fixtureSource, i, nextNumber);
+                await writeFixtureFiles(fixtureName, fixtureSource, ir, fixturesDir, expectedDir, options.dryRun ?? false);
+                result.fixtures.push({
+                    name: fixtureName,
+                    source: fixtureSource,
+                    ir,
+                    diagnostics,
+                });
+                result.successful++;
+                spinner.succeed(chalk.green(`Created: ${fixtureName}`));
+                spinner.start();
+            }
+            catch (error) {
+                result.failed++;
+                const msg = error instanceof Error ? error.message : String(error);
+                spinner.fail(chalk.red(`Fixture ${i + 1} failed validation: ${msg}`));
+                if (options.verbose) {
+                    console.log(chalk.gray('\nFailed fixture source:'));
+                    console.log(fixtureSource);
+                }
+                spinner.start();
+            }
+        }
+        spinner.stop();
+        // Summary
+        console.log('');
+        console.log(chalk.bold('Test Generation Summary:'));
+        console.log(`  Total fixtures:    ${result.totalAttempts}`);
+        console.log(`  Successful:       ${chalk.green(result.successful)}`);
+        console.log(`  Failed:           ${chalk.red(result.failed)}`);
+        if (result.fixtures.length > 0) {
+            console.log('');
+            console.log(chalk.bold('Generated Fixtures:'));
+            for (const fixture of result.fixtures) {
+                console.log(chalk.cyan(`  ${fixture.name}`));
+            }
+            if (!options.dryRun) {
+                console.log('');
+                console.log(chalk.bold('Next Steps:'));
+                console.log(`  1. Review the generated fixtures in: ${fixturesDir}`);
+                console.log(`  2. Run tests: pnpm test`);
+                console.log(`  3. If tests pass, the fixtures are ready for the conformance suite`);
+            }
+        }
+        if (result.failed > 0) {
+            process.exit(1);
+        }
+    }
+    catch (error) {
+        spinner.fail(`Test generation failed: ${error instanceof Error ? error.message : String(error)}`);
+        if (options.verbose) {
+            console.error(error);
+        }
+        process.exit(1);
+    }
+}
+//# sourceMappingURL=gen-tests.js.map

package/packages/cli/dist/commands/gen-tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gen-tests.js","sourceRoot":"","sources":["../../src/commands/gen-tests.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,aAAa,CAAC;AAC7B,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,GAAY,MAAM,KAAK,CAAC;AAC/B,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAgD9D,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,wBAAwB,GAAG,mCAAmC,CAAC;AACrE,MAAM,wBAAwB,GAAG,mCAAmC,CAAC;AAErE,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;GAEG;AACH,KAAK,UAAU,oBAAoB,CAAC,WAAmB;IACrD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,KAAK;aAClB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,OAAe;IAC3C,OAAO,OAAO;SACX,WAAW,EAAE;SACb,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;SAC5B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACtB,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,yBAAyB,CACtC,OAAwB,EACxB,gBAA0B;IAE1B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,YAAY,CAAC;IAClD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,2BAA2B,CAAC;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IAEjC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;IAEnF,IAAI,gBAAgB,GAAG,EAAE,CAAC;IAC1B,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,YAAY;YACf,gBAAgB,GAAG;;;;;;;;;;CAUxB,CAAC;YACI,MAAM;QACR,KAAK,UAAU;YACb,gBAAgB,GAAG;;;;;;;;;CASxB,CAAC;YACI,MAAM;QACR,KAAK,aAAa;YAChB,gBAAgB,GAAG;;;;;;;;;;CAUxB,CAAC;YACI,MAAM;QACR,KAAK,UAAU;YACb,gBAAgB,GAAG;;;;;;;;;;CAUxB,CAAC;YACI,MAAM;IACV,CAAC;IAED,OAAO;;WAEE,KAAK,sCAAsC,OAAO;;oBAEzC,QAAQ,CAAC,WAAW,EAAE;EACxC,gBAAgB;;;;;;;;;;EAUhB,oBAAoB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;WAyB1F,KAAK,wCAAwC,QAAQ,gCAAgC,OAAO;CACtG,CAAC;AACF,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,aAAa,CAC1B,MAAc,EACd,OAAwB;IAExB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IAC/D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,4BAA4B,CAAC;IAC5D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,GAAG,CAAC;IAE/C,MAAM,YAAY,GAAG,MAAM,iBAAiB,EAAE,CAAC;IAE/C,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,uCAAuC,EAAE;QACpE,MAAM,EAAE,MAAM;QACd,OAAO,EAAE;YACP,WAAW,EAAE,MAAM;YACnB,mBAAmB,EAAE,YAAY;YACjC,cAAc,EAAE,kBAAkB;SACnC;QACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;YACnB,KAAK;YACL,UAAU,EAAE,IAAI;YAChB,WAAW;YACX,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,GAAG,YAAY,OAAO,MAAM,EAAE;iBACxC;aACF;SACF,CAAC;KACH,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,CAAC,MAAM,MAAM,KAAK,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAwD,CAAC;IACzF,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,MAAc;IAC5C,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,MAAM;SACpB,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE7B,yCAAyC;IACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,mCAAmC,CAAC;YAC5C,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAClD,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,yBAAyB,CACtC,MAAc,EACd,QAAa,EACb,QAAyB;IAEzB,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,YAAY,EAAE,CAAC;IAE7C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;IAExE,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QACvG,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,MAAc,EAAE,KAAa,EAAE,UAAkB;IAC5E,uCAAuC;IACvC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5D,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO,GAAG,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,WAAW,CAAC;IAC/E,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACnD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,GAAG,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,UAAU,gBAAgB,CAAC;IACtF,CAAC;IAED,OAAO,GAAG,MAAM,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,0BAA0B,CAAC;AAClF,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,iBAAiB,CAC9B,WAAmB,EACnB,MAAc,EACd,EAAW,EACX,WAAmB,EACnB,WAAmB,EACnB,MAAe;IAEf,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,CAAC;QAC7D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5C,OAAO;IACT,CAAC;IAED,uBAAuB;IACvB,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACxD,MAAM,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAEjD,oBAAoB;IACpB,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,QAAQ,UAAU,CAAC,CAAC;IAC7D,MAAM,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1E,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,MAA0B,EAC1B,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACrG,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,IAAI,wBAAwB,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAEjE,MAAM,OAAO,GAAG,GAAG,CAAC,uCAAuC,CAAC,CAAC,KAAK,EAAE,CAAC;IAErE,IAAI,CAAC;QACH,6CAA6C;QAC7C,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;QACxE,OAAO,CAAC,IAAI,CAAC,SAAS,gBAAgB,CAAC,MAAM,oBAAoB,CAAC,CAAC;QAEnE,gCAAgC;QAChC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACjF,OAAO,CAAC,IAAI,GAAG,gCAAgC,UAAU,EAAE,CAAC;QAE5D,8BAA8B;QAC9B,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC1E,OAAO,CAAC,IAAI,GAAG,sCAAsC,CAAC;QAEtD,WAAW;QACX,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACpD,SAAS,GAAG,MAAM,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAC;gBACvG,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,0BAA0B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjG,MAAM,KAAK,CAAC;QACd,CAAC;QAED,2BAA2B;QAC3B,OAAO,CAAC,IAAI,GAAG,+BAA+B,CAAC;QAC/C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,aAAa,CAAC,CAAC;QAExD,MAAM,MAAM,GAAqB;YAC/B,QAAQ,EAAE,EAAE;YACZ,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,oCAAoC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO,CAAC,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAEnE,IAAI,CAAC;gBACH,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,MAAM,yBAAyB,CAAC,aAAa,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC7F,MAAM,WAAW,GAAG,mBAAmB,CAAC,aAAa,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;gBAEtE,MAAM,iBAAiB,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;gBAE3G,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACnB,IAAI,EAAE,WAAW;oBACjB,MAAM,EAAE,aAAa;oBACrB,EAAE;oBACF,WAAW;iBACZ,CAAC,CAAC;gBACH,MAAM,CAAC,UAAU,EAAE,CAAC;gBAEpB,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,WAAW,EAAE,CAAC,CAAC,CAAC;gBACxD,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChB,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACnE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC,CAAC;gBAEtE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oBACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;oBACpD,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAC7B,CAAC;gBAED,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;QAED,OAAO,CAAC,IAAI,EAAE,CAAC;QAEf,UAAU;QACV,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACpD,OAAO,CAAC,GAAG,CAAC,wBAAwB,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC;QAC5D,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAE/D,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC/C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACtC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC/C,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACpB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;gBACvC,OAAO,CAAC,GAAG,CAAC,0CAA0C,WAAW,EAAE,CAAC,CAAC;gBACrE,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;gBACzC,OAAO,CAAC,GAAG,CAAC,sEAAsE,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IAEH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,2BAA2B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClG,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC"}

package/packages/cli/dist/commands/generate-from-prompt.d.ts

@@ -0,0 +1,34 @@
+/**
+ * manifest generate --from-prompt command
+ *
+ * Generates .manifest source code from natural language descriptions using an LLM.
+ * Treats the LLM as an emitter, not a validator — validates output against the
+ * conformance suite and iterates on failures.
+ *
+ * Usage:
+ *   manifest generate --from-prompt "Create a blog with posts and comments"
+ *   manifest generate --from-prompt --model claude-3-5-sonnet-20241022 "Design a task tracker"
+ */
+export interface GenerateFromPromptOptions {
+    /** Model to use for generation */
+    model?: string;
+    /** Output file path (default: stdout or generated filename) */
+    output?: string;
+    /** Maximum retry attempts for validation failures */
+    maxRetries?: number;
+    /** Include iteration details in output */
+    verbose?: boolean;
+    /** Skip validation (not recommended) */
+    skipValidation?: boolean;
+    /** API key for Anthropic (default: ANTHROPIC_API_KEY env var) */
+    apiKey?: string;
+    /** Temperature for LLM generation */
+    temperature?: number;
+}
+/**
+ * Builds the system prompt with IR schema and semantics documentation.
+ * This is the single source of truth for the LLM about Manifest language.
+ */
+export declare function buildSystemPrompt(): Promise<string>;
+export declare function generateFromPromptCommand(prompt: string, options?: GenerateFromPromptOptions): Promise<void>;
+//# sourceMappingURL=generate-from-prompt.d.ts.map

package/packages/cli/dist/commands/generate-from-prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate-from-prompt.d.ts","sourceRoot":"","sources":["../../src/commands/generate-from-prompt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAaH,MAAM,WAAW,yBAAyB;IACxC,kCAAkC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,wCAAwC;IACxC,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,iEAAiE;IACjE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qCAAqC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAqBD;;;GAGG;AACH,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC,CA6QzD;AAsrBD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAAC,IAAI,CAAC,CAmDf"}