tryassay 0.1.0

package/dist/lib/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/lib/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAGvC,MAAM,SAAS,GAAG,QAAQ,CAAC;AAC3B,MAAM,WAAW,GAAG,aAAa,CAAC;AAClC,MAAM,cAAc,GAAG,YAAY,CAAC;AAEpC,MAAM,UAAU,WAAW,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IACrD,OAAO,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IACvD,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC1D,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC5D,OAAO,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,MAAc,OAAO,CAAC,GAAG,EAAE;IAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,sDAAsD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAgB,CAAC;AACxC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,MAAmB,EAAE,MAAc,OAAO,CAAC,GAAG,EAAE;IAChF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAEtC,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;AACvF,CAAC"}

package/dist/lib/constraint-engine.d.ts

@@ -0,0 +1,2 @@
+import type { CodeSpec, ConstraintSet } from '../types.js';
+export declare function generateConstraints(task: string, language: string, specs: CodeSpec[], onProgress?: (msg: string) => void): Promise<ConstraintSet>;

package/dist/lib/constraint-engine.js

@@ -0,0 +1,337 @@
+import { getClient, MODEL } from './anthropic.js';
+// ---------------------------------------------------------------------------
+// Domain patterns — embedded knowledge from Assay benchmark findings
+// ---------------------------------------------------------------------------
+const DOMAIN_PATTERNS = [
+    {
+        triggers: ['sql', 'query', 'database', 'db'],
+        constraints: [
+            { type: 'must', description: 'Use parameterized queries, never string concatenation for SQL' },
+            { type: 'must-not', description: 'Never build SQL with template literals or string concatenation', pattern: '`SELECT * FROM ${table} WHERE id = ${id}`' },
+        ],
+    },
+    {
+        triggers: ['password', 'auth', 'login', 'credentials'],
+        constraints: [
+            { type: 'must', description: 'Use bcrypt or argon2 for password hashing, never MD5/SHA1' },
+            { type: 'must-not', description: 'Never store passwords in plaintext or use weak hashing' },
+        ],
+    },
+    {
+        triggers: ['counter', 'increment', 'shared', 'concurrent'],
+        constraints: [
+            { type: 'must', description: 'Use atomic operations or transactions for shared state updates' },
+            { type: 'must-not', description: 'Never use read-then-write pattern for counters without locking', pattern: 'const count = await getCount(); await setCount(count + 1);' },
+        ],
+    },
+    {
+        triggers: ['api', 'fetch', 'request', 'http'],
+        constraints: [
+            { type: 'must', description: 'Handle HTTP errors explicitly (check response.ok or status code)' },
+            { type: 'must-not', description: 'Never ignore HTTP error responses or assume success' },
+            { type: 'prefer', description: 'Include timeout configuration for HTTP requests' },
+        ],
+    },
+    {
+        triggers: ['array', 'list', 'collection', 'filter', 'map', 'reduce'],
+        constraints: [
+            { type: 'must', description: 'Handle empty array/collection edge case' },
+            { type: 'prefer', description: 'Use Set for O(1) lookups instead of nested array iterations' },
+        ],
+    },
+    {
+        triggers: ['parse', 'json', 'input', 'user input', 'form'],
+        constraints: [
+            { type: 'must', description: 'Validate and sanitize all external input before processing' },
+            { type: 'must', description: 'Wrap JSON.parse in try-catch' },
+        ],
+    },
+    {
+        triggers: ['file', 'path', 'directory', 'fs'],
+        constraints: [
+            { type: 'must', description: 'Check file/directory existence before operations' },
+            { type: 'must', description: 'Handle file operation errors (ENOENT, EACCES, etc.)' },
+        ],
+    },
+    {
+        triggers: ['regex', 'pattern', 'match'],
+        constraints: [
+            { type: 'must-not', description: 'Never use regex with /g flag in repeated calls without resetting lastIndex (JavaScript)' },
+        ],
+    },
+    {
+        triggers: ['float', 'decimal', 'money', 'price', 'calculation'],
+        constraints: [
+            { type: 'must-not', description: 'Never compare floating point numbers with strict equality', pattern: 'if (a === 0.3)' },
+            { type: 'prefer', description: 'Use epsilon comparison for floating point: Math.abs(a - b) < Number.EPSILON' },
+        ],
+    },
+    {
+        triggers: ['sort', 'order', 'rank', 'compare'],
+        constraints: [
+            { type: 'must', description: 'Provide an explicit comparator for numeric sorts (JavaScript default sort is lexicographic)', pattern: 'array.sort()' },
+            { type: 'must', description: 'Ensure sort comparator is consistent (if a < b then b > a)' },
+        ],
+    },
+    {
+        triggers: ['async', 'await', 'promise', 'callback'],
+        constraints: [
+            { type: 'must', description: 'Handle promise rejections with try-catch or .catch()' },
+            { type: 'must-not', description: 'Never fire-and-forget promises without error handling' },
+            { type: 'prefer', description: 'Use Promise.allSettled instead of Promise.all when partial failures are acceptable' },
+        ],
+    },
+    {
+        triggers: ['cache', 'memo', 'memoize', 'store'],
+        constraints: [
+            { type: 'must', description: 'Include cache invalidation or TTL mechanism' },
+            { type: 'must-not', description: 'Never allow unbounded cache growth without eviction policy' },
+        ],
+    },
+    {
+        triggers: ['recursive', 'recursion', 'tree', 'graph', 'traverse'],
+        constraints: [
+            { type: 'must', description: 'Include a base case that terminates recursion' },
+            { type: 'prefer', description: 'Guard against circular references in graph/tree traversal' },
+            { type: 'prefer', description: 'Consider stack depth limits for deep recursion; use iteration if depth is unbounded' },
+        ],
+    },
+    {
+        triggers: ['string', 'text', 'substring', 'split', 'join'],
+        constraints: [
+            { type: 'must', description: 'Handle empty string edge case' },
+            { type: 'prefer', description: 'Consider Unicode/multi-byte characters when indexing strings' },
+        ],
+    },
+    {
+        triggers: ['date', 'time', 'timestamp', 'schedule', 'cron'],
+        constraints: [
+            { type: 'must', description: 'Handle timezone conversions explicitly, do not assume UTC' },
+            { type: 'must-not', description: 'Never construct dates from string concatenation without validation' },
+        ],
+    },
+    {
+        triggers: ['divide', 'division', 'ratio', 'percentage', 'average'],
+        constraints: [
+            { type: 'must', description: 'Check for division by zero before dividing' },
+        ],
+    },
+    {
+        triggers: ['env', 'environment', 'config', 'secret', 'token'],
+        constraints: [
+            { type: 'must', description: 'Validate that required environment variables are set before using them' },
+            { type: 'must-not', description: 'Never log or expose secrets/tokens in error messages or console output' },
+        ],
+    },
+    {
+        triggers: ['stream', 'pipe', 'buffer', 'socket', 'websocket'],
+        constraints: [
+            { type: 'must', description: 'Handle stream error events to prevent unhandled exceptions' },
+            { type: 'must', description: 'Clean up resources (close streams/sockets) in error and completion paths' },
+        ],
+    },
+];
+// ---------------------------------------------------------------------------
+// LLM-based constraint derivation from specs
+// ---------------------------------------------------------------------------
+const CONSTRAINT_SYSTEM_PROMPT = `You are a constraint generator for code generation. Given a set of formal specifications that code must satisfy, produce generation constraints that PREVENT common failures.
+
+CONSTRAINT RULES:
+
+1. For each specification, produce 1-2 constraints that guide the code generator:
+   - correctness spec → "must" constraint with specific implementation guidance
+   - security spec → "must-not" constraint with anti-pattern example
+   - edge-case spec → "must" constraint for boundary handling
+   - error-handling spec → "must" constraint for explicit error paths
+   - type-safety spec → "must-not" constraint against unsafe coercions
+   - performance spec → "prefer" constraint with recommended approach
+
+2. Each constraint must have:
+   - type: "must" | "must-not" | "prefer"
+   - description: Clear guidance for the code generator (1-2 sentences)
+   - pattern: (optional) A short code snippet showing the anti-pattern (for must-not) or expected pattern (for must)
+
+3. Be SPECIFIC and ACTIONABLE:
+   - GOOD: "Must handle the case where input array is empty by returning an empty array"
+   - GOOD: "Must-not use indexOf for existence checks on large arrays; use Set or Map"
+   - BAD: "Must be correct" (too vague)
+   - BAD: "Must handle errors" (not actionable)
+
+4. Do NOT duplicate: If two specs would produce the same constraint, only include it once.
+
+OUTPUT FORMAT:
+Return ONLY a JSON array of constraint objects. No markdown fences, no commentary.
+[
+  {
+    "type": "must",
+    "description": "...",
+    "pattern": "..."
+  }
+]`;
+const VALID_TYPES = ['must', 'must-not', 'prefer'];
+function validateConstraint(raw) {
+    if (!raw.description || typeof raw.description !== 'string')
+        return null;
+    const type = VALID_TYPES.includes(raw.type)
+        ? raw.type
+        : 'must';
+    return {
+        type,
+        description: raw.description.trim(),
+        pattern: typeof raw.pattern === 'string' ? raw.pattern.trim() : undefined,
+    };
+}
+// ---------------------------------------------------------------------------
+// Domain pattern matching
+// ---------------------------------------------------------------------------
+function matchDomainPatterns(task) {
+    const taskLower = task.toLowerCase();
+    const matched = [];
+    const seen = new Set();
+    for (const pattern of DOMAIN_PATTERNS) {
+        const triggered = pattern.triggers.some((t) => taskLower.includes(t));
+        if (!triggered)
+            continue;
+        for (const c of pattern.constraints) {
+            // Deduplicate by description
+            if (seen.has(c.description))
+                continue;
+            seen.add(c.description);
+            matched.push({
+                type: c.type,
+                description: c.description,
+                pattern: c.pattern,
+                source: 'domain',
+            });
+        }
+    }
+    return matched;
+}
+// ---------------------------------------------------------------------------
+// JSON parsing helpers (same pattern as claim-extractor / spec-synthesizer)
+// ---------------------------------------------------------------------------
+function stripCodeFences(text) {
+    let jsonText = text.trim();
+    // Remove opening code fence
+    if (jsonText.startsWith('```')) {
+        const firstNewline = jsonText.indexOf('\n');
+        if (firstNewline !== -1) {
+            jsonText = jsonText.slice(firstNewline + 1);
+        }
+    }
+    // Remove closing code fence
+    const lastFence = jsonText.lastIndexOf('```');
+    if (lastFence !== -1) {
+        jsonText = jsonText.slice(0, lastFence);
+    }
+    return jsonText.trim();
+}
+function repairTruncatedArray(jsonText, onProgress) {
+    if (jsonText.endsWith(']'))
+        return jsonText;
+    const lastCloseBrace = jsonText.lastIndexOf('}');
+    if (lastCloseBrace !== -1) {
+        onProgress?.('Note: Response was truncated. Recovered partial constraints.');
+        return jsonText.slice(0, lastCloseBrace + 1) + '\n]';
+    }
+    return jsonText;
+}
+// ---------------------------------------------------------------------------
+// Spec-derived constraints via LLM
+// ---------------------------------------------------------------------------
+async function deriveSpecConstraints(specs, task, language, onProgress) {
+    if (specs.length === 0) {
+        return { constraints: [], inputTokens: 0, outputTokens: 0 };
+    }
+    const client = getClient();
+    onProgress?.('Deriving spec constraints via Claude (streaming)...');
+    const specsText = specs
+        .map((s) => `[${s.id}] (${s.category}, ${s.severity}) ${s.description}\n  Assertion: ${s.assertion}`)
+        .join('\n\n');
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: 8_000,
+        system: CONSTRAINT_SYSTEM_PROMPT,
+        messages: [
+            {
+                role: 'user',
+                content: `Generate constraints for the following coding task and specifications.\n\nLanguage: ${language}\nTask: ${task}\n\nSpecifications:\n${specsText}`,
+            },
+        ],
+    });
+    let rawText = '';
+    stream.on('text', (text) => {
+        rawText += text;
+    });
+    const finalMessage = await stream.finalMessage();
+    onProgress?.('Parsing constraint results...');
+    let jsonText = stripCodeFences(rawText);
+    jsonText = repairTruncatedArray(jsonText, onProgress);
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonText);
+    }
+    catch {
+        throw new Error(`Failed to parse Claude's constraint response as JSON.\n` +
+            `First 200 chars: ${jsonText.slice(0, 200)}`);
+    }
+    if (!Array.isArray(parsed)) {
+        throw new Error('Expected a JSON array of constraints from Claude.');
+    }
+    const constraints = [];
+    for (const raw of parsed) {
+        const validated = validateConstraint(raw);
+        if (validated) {
+            constraints.push({
+                ...validated,
+                source: 'spec',
+            });
+        }
+    }
+    return {
+        constraints,
+        inputTokens: finalMessage.usage.input_tokens,
+        outputTokens: finalMessage.usage.output_tokens,
+    };
+}
+// ---------------------------------------------------------------------------
+// Main export
+// ---------------------------------------------------------------------------
+export async function generateConstraints(task, language, specs, onProgress) {
+    // 1. Match domain patterns
+    onProgress?.('Matching domain patterns...');
+    const domainConstraints = matchDomainPatterns(task);
+    onProgress?.(`Matched ${domainConstraints.length} domain constraint(s).`);
+    // 2. Derive spec constraints via LLM
+    const { constraints: specConstraints, inputTokens, outputTokens } = await deriveSpecConstraints(specs, task, language, onProgress);
+    onProgress?.(`Derived ${specConstraints.length} spec constraint(s).`);
+    // 3. Merge and deduplicate (domain first, then spec-derived)
+    const allConstraints = [...domainConstraints, ...specConstraints];
+    const seen = new Set();
+    const deduped = [];
+    for (const c of allConstraints) {
+        const key = c.description.toLowerCase();
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        deduped.push(c);
+    }
+    // 4. Number all constraints CON-001, CON-002, etc.
+    const numbered = deduped.map((c, i) => ({
+        id: `CON-${String(i + 1).padStart(3, '0')}`,
+        type: c.type,
+        description: c.description,
+        pattern: c.pattern,
+        source: c.source,
+    }));
+    onProgress?.(`Total: ${numbered.length} constraint(s) after deduplication.`);
+    return {
+        task,
+        constraints: numbered,
+        totalConstraints: numbered.length,
+        generatedAt: new Date().toISOString(),
+        inputTokens,
+        outputTokens,
+    };
+}
+//# sourceMappingURL=constraint-engine.js.map

package/dist/lib/constraint-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-engine.js","sourceRoot":"","sources":["../../src/lib/constraint-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAUlD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,MAAM,eAAe,GAGhB;IACH;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC;QAC5C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+DAA+D,EAAE;YAC9F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,2CAA2C,EAAE;SAC1J;KACF;IACD;QACE,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC;QACtD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wDAAwD,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,gEAAgE,EAAE;YAC/F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,gEAAgE,EAAE,OAAO,EAAE,4DAA4D,EAAE;SAC3K;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kEAAkE,EAAE;YACjG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,qDAAqD,EAAE;YACxF,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;SACnF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QACpE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,yCAAyC,EAAE;YACxE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;SAC/F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,8BAA8B,EAAE;SAC9D;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC;QAC7C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,kDAAkD,EAAE;YACjF,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,qDAAqD,EAAE;SACrF;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC;QACvC,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,yFAAyF,EAAE;SAC7H;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC;QAC/D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,2DAA2D,EAAE,OAAO,EAAE,gBAAgB,EAAE;YACzH,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6EAA6E,EAAE;SAC/G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6FAA6F,EAAE,OAAO,EAAE,cAAc,EAAE;YACrJ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAC5F;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;QACnD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;YACrF,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,uDAAuD,EAAE;YAC1F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oFAAoF,EAAE;SACtH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;QAC/C,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,6CAA6C,EAAE;YAC5E,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,4DAA4D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC;QACjE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+CAA+C,EAAE;YAC9E,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC5F,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qFAAqF,EAAE;SACvH;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,+BAA+B,EAAE;YAC9D,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8DAA8D,EAAE;SAChG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC;QAC3D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,2DAA2D,EAAE;YAC1F,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,oEAAoE,EAAE;SACxG;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC;QAClE,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4CAA4C,EAAE;SAC5E;KACF;IACD;QACE,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,wEAAwE,EAAE;YACvG,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,wEAAwE,EAAE;SAC5G;KACF;IACD;QACE,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC;QAC7D,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,4DAA4D,EAAE;YAC3F,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,0EAA0E,EAAE;SAC1G;KACF;CACF,CAAC;AAEF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E,MAAM,wBAAwB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC/B,CAAC;AAQH,MAAM,WAAW,GAAqB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAErE,SAAS,kBAAkB,CAAC,GAAkB;IAC5C,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEzE,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAsB,CAAC;QAC3D,CAAC,CAAE,GAAG,CAAC,IAAuB;QAC9B,CAAC,CAAC,MAAM,CAAC;IAEX,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,OAAO,EAAE,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,OAAO,GAA4C,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACpC,6BAA6B;YAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,SAAS;YACtC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAExB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,QAA4B;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAE3B,4BAA4B;IAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAgB,EAAE,UAAkC;IAChF,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1B,UAAU,EAAE,CAAC,8DAA8D,CAAC,CAAC;QAC7E,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E,KAAK,UAAU,qBAAqB,CAClC,KAAiB,EACjB,IAAY,EACZ,QAAgB,EAChB,UAAkC;IAElC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,UAAU,EAAE,CAAC,qDAAqD,CAAC,CAAC;IAEpE,MAAM,SAAS,GAAG,KAAK;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SACpG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,wBAAwB;QAChC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,uFAAuF,QAAQ,WAAW,IAAI,wBAAwB,SAAS,EAAE;aAC3J;SACF;KACF,CAAC,CAAC;IAEH,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;IAEjD,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAE9C,IAAI,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAEtD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CACb,yDAAyD;YACzD,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC7C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAoB,CAAC,CAAC;QAC3D,IAAI,SAAS,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACf,GAAG,SAAS;gBACZ,MAAM,EAAE,MAA0B;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;QAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;KAC/C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,QAAgB,EAChB,KAAiB,EACjB,UAAkC;IAElC,2BAA2B;IAC3B,UAAU,EAAE,CAAC,6BAA6B,CAAC,CAAC;IAC5C,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACpD,UAAU,EAAE,CAAC,WAAW,iBAAiB,CAAC,MAAM,wBAAwB,CAAC,CAAC;IAE1E,qCAAqC;IACrC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,GAC/D,MAAM,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjE,UAAU,EAAE,CAAC,WAAW,eAAe,CAAC,MAAM,sBAAsB,CAAC,CAAC;IAEtE,6DAA6D;IAC7D,MAAM,cAAc,GAAG,CAAC,GAAG,iBAAiB,EAAE,GAAG,eAAe,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAA4C,EAAE,CAAC;IAE5D,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,mDAAmD;IACnD,MAAM,QAAQ,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,EAAE,EAAE,OAAO,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC3C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,MAAO;KAClB,CAAC,CAAC,CAAC;IAEJ,UAAU,EAAE,CAAC,UAAU,QAAQ,CAAC,MAAM,qCAAqC,CAAC,CAAC;IAE7E,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,QAAQ;QACrB,gBAAgB,EAAE,QAAQ,CAAC,MAAM;QACjC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,WAAW;QACX,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/lib/fs-utils.d.ts

@@ -0,0 +1 @@
+export declare function exists(path: string): Promise<boolean>;

package/dist/lib/fs-utils.js

@@ -0,0 +1,11 @@
+import { access } from 'node:fs/promises';
+export async function exists(path) {
+    try {
+        await access(path);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=fs-utils.js.map

package/dist/lib/fs-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs-utils.js","sourceRoot":"","sources":["../../src/lib/fs-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAY;IACvC,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"}

package/dist/lib/guided-generator.d.ts

@@ -0,0 +1,2 @@
+import type { CodeSpec, GenerationConstraint, GeneratedCode } from '../types.js';
+export declare function generateWithConstraints(task: string, language: string, specs: CodeSpec[], constraints: GenerationConstraint[], onProgress?: (msg: string) => void): Promise<GeneratedCode>;

package/dist/lib/guided-generator.js

@@ -0,0 +1,195 @@
+import { getClient, MODEL } from './anthropic.js';
+const MAX_TOKENS = 16_000;
+function buildGenerationSystemPrompt(language, specs, constraints) {
+    const specLines = specs.map((s) => {
+        return `[${s.id}] (${s.severity}/${s.category}): ${s.description}\n  Assertion: ${s.assertion}`;
+    });
+    const musts = constraints.filter((c) => c.type === 'must');
+    const mustNots = constraints.filter((c) => c.type === 'must-not');
+    const prefers = constraints.filter((c) => c.type === 'prefer');
+    let constraintBlock = '';
+    if (musts.length > 0) {
+        constraintBlock += 'MUST DO:\n';
+        constraintBlock += musts
+            .map((c) => `- ${c.id}: ${c.description}${c.pattern ? `\n  Example: ${c.pattern}` : ''}`)
+            .join('\n');
+        constraintBlock += '\n\n';
+    }
+    if (mustNots.length > 0) {
+        constraintBlock += 'MUST NOT DO:\n';
+        constraintBlock += mustNots
+            .map((c) => `- ${c.id}: ${c.description}${c.pattern ? `\n  Bad example: ${c.pattern}` : ''}`)
+            .join('\n');
+        constraintBlock += '\n\n';
+    }
+    if (prefers.length > 0) {
+        constraintBlock += 'PREFER:\n';
+        constraintBlock += prefers
+            .map((c) => `- ${c.id}: ${c.description}${c.pattern ? `\n  Example: ${c.pattern}` : ''}`)
+            .join('\n');
+        constraintBlock += '\n';
+    }
+    return `You are an expert programmer. Generate production-quality ${language} code.
+
+SPECIFICATIONS — Your code MUST satisfy ALL of these:
+${specLines.join('\n')}
+
+CONSTRAINTS:
+${constraintBlock}
+OUTPUT RULES:
+- Return ONLY the code
+- No markdown code fences
+- No explanations before or after the code
+- Include all necessary imports
+- Include type annotations
+- The code should be complete and runnable`;
+}
+const VERIFICATION_SYSTEM_PROMPT = `You are a code reviewer verifying generated code against specifications. For each specification, determine whether the code satisfies it.
+
+OUTPUT FORMAT:
+Return ONLY a JSON array. No markdown fences, no commentary. Each element:
+{
+  "specId": "SPEC-001",
+  "status": "satisfied" | "partial" | "unsatisfied" | "unknown",
+  "reasoning": "Brief explanation of why the code does or does not satisfy this spec"
+}
+
+STATUS MEANINGS:
+- satisfied: The code clearly and correctly implements this specification
+- partial: The code addresses this specification but incompletely or with caveats
+- unsatisfied: The code does not implement this specification or violates it
+- unknown: Cannot determine from static analysis alone (e.g., runtime/performance specs)`;
+function stripCodeFences(text) {
+    let result = text.trim();
+    // Remove opening code fence (```language or just ```)
+    if (result.startsWith('```')) {
+        const firstNewline = result.indexOf('\n');
+        if (firstNewline !== -1) {
+            result = result.slice(firstNewline + 1);
+        }
+    }
+    // Remove closing code fence
+    const lastFence = result.lastIndexOf('```');
+    if (lastFence !== -1) {
+        result = result.slice(0, lastFence);
+    }
+    return result.trim();
+}
+const VALID_STATUSES = [
+    'satisfied', 'partial', 'unsatisfied', 'unknown',
+];
+function validateVerification(raw, specs) {
+    if (!raw.specId || typeof raw.specId !== 'string')
+        return null;
+    if (!raw.reasoning || typeof raw.reasoning !== 'string')
+        return null;
+    // Verify the specId references a real spec
+    const matchesSpec = specs.some((s) => s.id === raw.specId);
+    if (!matchesSpec)
+        return null;
+    const status = VALID_STATUSES.includes(raw.status)
+        ? raw.status
+        : 'unknown';
+    return {
+        specId: raw.specId,
+        status,
+        reasoning: raw.reasoning.trim(),
+    };
+}
+function parseVerificationJson(rawText, specs, onProgress) {
+    let jsonText = stripCodeFences(rawText);
+    // If response was truncated (no closing ]), try to repair
+    if (!jsonText.endsWith(']')) {
+        const lastCloseBrace = jsonText.lastIndexOf('}');
+        if (lastCloseBrace !== -1) {
+            jsonText = jsonText.slice(0, lastCloseBrace + 1) + '\n]';
+            onProgress?.('Note: Verification response was truncated. Recovered partial results.');
+        }
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonText);
+    }
+    catch {
+        onProgress?.('Warning: Failed to parse self-verification JSON. Returning empty results.');
+        return [];
+    }
+    if (!Array.isArray(parsed)) {
+        onProgress?.('Warning: Self-verification response was not an array. Returning empty results.');
+        return [];
+    }
+    const results = [];
+    for (const item of parsed) {
+        const validated = validateVerification(item, specs);
+        if (validated) {
+            results.push(validated);
+        }
+    }
+    return results;
+}
+export async function generateWithConstraints(task, language, specs, constraints, onProgress) {
+    const client = getClient();
+    let totalInputTokens = 0;
+    let totalOutputTokens = 0;
+    // ── Step 1: Guided code generation (streaming) ──
+    onProgress?.('Generating code with spec-aware constraints (streaming)...');
+    const systemPrompt = buildGenerationSystemPrompt(language, specs, constraints);
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: MAX_TOKENS,
+        system: systemPrompt,
+        messages: [
+            {
+                role: 'user',
+                content: `Generate ${language} code for the following task:\n\n${task}`,
+            },
+        ],
+    });
+    let rawCode = '';
+    stream.on('text', (text) => {
+        rawCode += text;
+    });
+    const genMessage = await stream.finalMessage();
+    totalInputTokens += genMessage.usage.input_tokens;
+    totalOutputTokens += genMessage.usage.output_tokens;
+    const code = stripCodeFences(rawCode);
+    onProgress?.(`Code generated (${totalOutputTokens} tokens). Running self-verification...`);
+    // ── Step 2: Self-verification (non-streaming) ──
+    const specList = specs
+        .map((s) => `[${s.id}] (${s.severity}/${s.category}): ${s.description}\n  Assertion: ${s.assertion}`)
+        .join('\n');
+    const verifyResponse = await client.messages.create({
+        model: MODEL,
+        max_tokens: 8_000,
+        system: VERIFICATION_SYSTEM_PROMPT,
+        messages: [
+            {
+                role: 'user',
+                content: `Verify the following code against the specifications below.\n\nCODE:\n${code}\n\nSPECIFICATIONS:\n${specList}`,
+            },
+        ],
+    });
+    totalInputTokens += verifyResponse.usage.input_tokens;
+    totalOutputTokens += verifyResponse.usage.output_tokens;
+    const verifyText = verifyResponse.content
+        .filter((block) => block.type === 'text')
+        .map((block) => block.text)
+        .join('');
+    const selfVerification = parseVerificationJson(verifyText, specs, onProgress);
+    const satisfiedCount = selfVerification.filter((v) => v.status === 'satisfied').length;
+    onProgress?.(`Self-verification complete: ${satisfiedCount}/${specs.length} specs satisfied.`);
+    return {
+        task,
+        code,
+        language,
+        specs,
+        constraints,
+        selfVerification,
+        satisfiedCount,
+        totalSpecs: specs.length,
+        generatedAt: new Date().toISOString(),
+        inputTokens: totalInputTokens,
+        outputTokens: totalOutputTokens,
+    };
+}
+//# sourceMappingURL=guided-generator.js.map

package/dist/lib/guided-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guided-generator.js","sourceRoot":"","sources":["../../src/lib/guided-generator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAUlD,MAAM,UAAU,GAAG,MAAM,CAAC;AAE1B,SAAS,2BAA2B,CAClC,QAAgB,EAChB,KAAiB,EACjB,WAAmC;IAEnC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,OAAO,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAE/D,IAAI,eAAe,GAAG,EAAE,CAAC;IAEzB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,eAAe,IAAI,YAAY,CAAC;QAChC,eAAe,IAAI,KAAK;aACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;aACxF,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,eAAe,IAAI,MAAM,CAAC;IAC5B,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,eAAe,IAAI,gBAAgB,CAAC;QACpC,eAAe,IAAI,QAAQ;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;aAC5F,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,eAAe,IAAI,MAAM,CAAC;IAC5B,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,eAAe,IAAI,WAAW,CAAC;QAC/B,eAAe,IAAI,OAAO;aACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;aACxF,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,eAAe,IAAI,IAAI,CAAC;IAC1B,CAAC;IAED,OAAO,6DAA6D,QAAQ;;;EAG5E,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;;;EAGpB,eAAe;;;;;;;2CAO0B,CAAC;AAC5C,CAAC;AAED,MAAM,0BAA0B,GAAG;;;;;;;;;;;;;;yFAcsD,CAAC;AAE1F,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAEzB,sDAAsD;IACtD,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,cAAc,GAA6B;IAC/C,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS;CACjD,CAAC;AAQF,SAAS,oBAAoB,CAAC,GAAoB,EAAE,KAAiB;IACnE,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAErE,2CAA2C;IAC3C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAE9B,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAgC,CAAC;QAC1E,CAAC,CAAE,GAAG,CAAC,MAAiC;QACxC,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM;QACN,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAe,EAAE,KAAiB,EAAE,UAAkC;IACnG,IAAI,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAExC,0DAA0D;IAC1D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACjD,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;YAC1B,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;YACzD,UAAU,EAAE,CAAC,uEAAuE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,UAAU,EAAE,CAAC,2EAA2E,CAAC,CAAC;QAC1F,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,UAAU,EAAE,CAAC,gFAAgF,CAAC,CAAC;QAC/F,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAA6B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAuB,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAY,EACZ,QAAgB,EAChB,KAAiB,EACjB,WAAmC,EACnC,UAAkC;IAElC,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,mDAAmD;IAEnD,UAAU,EAAE,CAAC,4DAA4D,CAAC,CAAC;IAE3E,MAAM,YAAY,GAAG,2BAA2B,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,YAAY,QAAQ,oCAAoC,IAAI,EAAE;aACxE;SACF;KACF,CAAC,CAAC;IAEH,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACzB,OAAO,IAAI,IAAI,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;IAC/C,gBAAgB,IAAI,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC;IAClD,iBAAiB,IAAI,UAAU,CAAC,KAAK,CAAC,aAAa,CAAC;IAEpD,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAEtC,UAAU,EAAE,CAAC,mBAAmB,iBAAiB,wCAAwC,CAAC,CAAC;IAE3F,kDAAkD;IAElD,MAAM,QAAQ,GAAG,KAAK;SACnB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SACpG,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAClD,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,0BAA0B;QAClC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,yEAAyE,IAAI,wBAAwB,QAAQ,EAAE;aACzH;SACF;KACF,CAAC,CAAC;IAEH,gBAAgB,IAAI,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC;IACtD,iBAAiB,IAAI,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC;IAExD,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO;SACtC,MAAM,CAAC,CAAC,KAAK,EAAgC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;SACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAEvF,UAAU,EAAE,CACV,+BAA+B,cAAc,IAAI,KAAK,CAAC,MAAM,mBAAmB,CACjF,CAAC;IAEF,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,QAAQ;QACR,KAAK;QACL,WAAW;QACX,gBAAgB;QAChB,cAAc;QACd,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,WAAW,EAAE,gBAAgB;QAC7B,YAAY,EAAE,iBAAiB;KAChC,CAAC;AACJ,CAAC"}

package/dist/lib/inventory-extractor.d.ts

@@ -0,0 +1,7 @@
+import type { CodebaseIndex } from './codebase-indexer.js';
+import type { AssessmentInventory } from '../types.js';
+export declare function extractInventory(index: CodebaseIndex, onProgress?: (msg: string) => void): Promise<{
+    inventory: AssessmentInventory;
+    inputTokens: number;
+    outputTokens: number;
+}>;