tryassay 0.1.0

package/dist/lib/requirements-generator.js

@@ -0,0 +1,311 @@
+import { getClient, MODEL } from './anthropic.js';
+import { readFileContent } from './codebase-indexer.js';
+import { dirname, resolve } from 'node:path';
+/**
+ * Maximum number of imported files to follow (1 level deep).
+ */
+const MAX_IMPORTS = 10;
+/**
+ * Maximum characters to include per imported file.
+ */
+const MAX_IMPORT_CHARS = 3000;
+/**
+ * Maximum characters for the main component file.
+ */
+const MAX_COMPONENT_CHARS = 10_000;
+const REQUIREMENT_SYSTEM_PROMPT = `You are a requirements analyst. Given a route definition and the source code for its component (plus any imported modules), generate a structured requirement document.
+
+INSTRUCTIONS:
+
+1. BEHAVIORS: Identify all observable behaviors the component implements.
+   - Data loading patterns (pagination, filtering, sorting, search)
+   - User interactions (forms, buttons, modals, dialogs, tabs)
+   - Data mutations (create, update, delete operations)
+   - Permission/guard checks
+   - Error handling and loading states
+   - Navigation behavior (links, redirects)
+   - Real-time updates (subscriptions, polling)
+
+2. SCAFFOLDING FLAGS: Detect any incomplete or placeholder code.
+   - TODO / FIXME comments (include the line content)
+   - "Coming Soon", "Placeholder", "Mock" text in rendered UI
+   - Empty event handlers: onClick={() => {}}, onClick={undefined}, onChange={() => {}}
+   - Hardcoded or mock data (arrays of fake data, MOCK_ prefixed constants)
+   - console.log("TODO") or console.log("FIXME")
+   - Disabled features with no path to enable
+   - Stub functions that return null, undefined, or empty objects
+   - setTimeout used to fake async operations
+
+3. TABLES: Identify database tables referenced (from queries, API calls, hook names).
+
+4. ROLES: Identify required roles/permissions (from guards, permission checks, role conditionals).
+
+OUTPUT FORMAT:
+Return ONLY a JSON object (no markdown fences, no commentary):
+{
+  "behaviors": [
+    "Lists all invoices with server-side pagination",
+    "Supports search filtering by invoice number and customer name"
+  ],
+  "scaffoldingFlags": [
+    "TODO comment at line 45: '// TODO: implement export'",
+    "'Coming Soon' text for export feature",
+    "Empty onClick handler on 'Generate Report' button"
+  ],
+  "tables": ["invoices", "customers", "payments"],
+  "roles": ["admin", "finance_manager"]
+}
+
+Rules:
+- behaviors: Each entry is a single sentence describing one observable behavior. Be specific.
+- scaffoldingFlags: Each entry describes the exact scaffolding issue with location if possible.
+- tables: Database table names only. Derive from query strings, Supabase .from() calls, Prisma model references, API endpoint patterns.
+- roles: Role/permission names. Derive from guard checks, role conditionals, permission constants.
+- If no scaffolding is found, return an empty array (do NOT invent flags).
+- If you cannot determine tables or roles, return empty arrays.
+- Be thorough in behaviors — capture every user-facing interaction.`;
+/**
+ * Supported code extensions for import resolution.
+ */
+const RESOLVABLE_EXTENSIONS = ['.ts', '.tsx', '.js', '.jsx'];
+/**
+ * Extract relative import paths from source code.
+ * Returns raw import specifiers (e.g., './hooks/useInvoices', '@/lib/utils').
+ */
+function extractImportPaths(source) {
+    const relative = [];
+    const aliased = [];
+    // Relative imports
+    const relRegex = /import\s+.*?\s+from\s+['"](\.\.?\/[^'"]+)['"]/g;
+    let match;
+    while ((match = relRegex.exec(source)) !== null) {
+        relative.push(match[1]);
+    }
+    // Alias imports (@/...)
+    const aliasRegex = /import\s+.*?\s+from\s+['"]@\/([^'"]+)['"]/g;
+    while ((match = aliasRegex.exec(source)) !== null) {
+        aliased.push(match[1]);
+    }
+    return { relative, aliased };
+}
+/**
+ * Resolve an import specifier to a file path that exists in the codebase index.
+ * Handles missing extensions and index files.
+ */
+function resolveImportPath(specifier, componentDir, fileTree) {
+    // Normalize the path relative to project root
+    const basePath = specifier.startsWith('@/')
+        ? `src/${specifier.slice(2)}`
+        : resolve(componentDir, specifier).replace(/^\//, '');
+    // Try exact match first
+    if (fileTree.has(basePath))
+        return basePath;
+    // Try adding extensions
+    for (const ext of RESOLVABLE_EXTENSIONS) {
+        if (fileTree.has(basePath + ext))
+            return basePath + ext;
+    }
+    // Try index files (e.g., ./hooks -> ./hooks/index.ts)
+    for (const ext of RESOLVABLE_EXTENSIONS) {
+        const indexPath = `${basePath}/index${ext}`;
+        if (fileTree.has(indexPath))
+            return indexPath;
+    }
+    return null;
+}
+/**
+ * Gather imported file contents for a component (1 level deep).
+ * Returns a map of relative path -> file content (truncated).
+ */
+async function gatherImportedFiles(componentPath, componentSource, index) {
+    const imports = new Map();
+    const fileTreeSet = new Set(index.fileTree);
+    const componentDir = dirname(componentPath);
+    const { relative, aliased } = extractImportPaths(componentSource);
+    // Combine all import specifiers
+    const allSpecifiers = [
+        ...relative,
+        ...aliased.map((a) => `@/${a}`),
+    ];
+    let count = 0;
+    for (const specifier of allSpecifiers) {
+        if (count >= MAX_IMPORTS)
+            break;
+        const resolved = resolveImportPath(specifier, componentDir, fileTreeSet);
+        if (!resolved || imports.has(resolved))
+            continue;
+        const content = await readFileContent(index.rootPath, resolved);
+        if (content) {
+            const truncated = content.length > MAX_IMPORT_CHARS
+                ? content.slice(0, MAX_IMPORT_CHARS) + '\n[... truncated]'
+                : content;
+            imports.set(resolved, truncated);
+            count++;
+        }
+    }
+    return imports;
+}
+/**
+ * Parse the JSON response from Claude, handling code fences and truncation.
+ */
+function parseRequirementResponse(rawText) {
+    let jsonText = rawText.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);
+    }
+    jsonText = jsonText.trim();
+    // Handle truncation: close unclosed structures
+    if (!jsonText.endsWith('}')) {
+        const lastCloseBrace = jsonText.lastIndexOf('}');
+        if (lastCloseBrace !== -1) {
+            jsonText = jsonText.slice(0, lastCloseBrace + 1);
+            let openBraces = 0;
+            let openBrackets = 0;
+            for (const ch of jsonText) {
+                if (ch === '{')
+                    openBraces++;
+                if (ch === '}')
+                    openBraces--;
+                if (ch === '[')
+                    openBrackets++;
+                if (ch === ']')
+                    openBrackets--;
+            }
+            let suffix = '';
+            for (let i = 0; i < openBrackets; i++)
+                suffix += ']';
+            for (let i = 0; i < openBraces; i++)
+                suffix += '}';
+            jsonText += suffix;
+        }
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonText);
+    }
+    catch {
+        throw new Error(`Failed to parse requirement response as JSON.\n` +
+            `First 300 chars: ${jsonText.slice(0, 300)}`);
+    }
+    const obj = parsed;
+    return {
+        behaviors: Array.isArray(obj.behaviors) ? obj.behaviors.map(String) : [],
+        scaffoldingFlags: Array.isArray(obj.scaffoldingFlags)
+            ? obj.scaffoldingFlags.map(String)
+            : [],
+        tables: Array.isArray(obj.tables) ? obj.tables.map(String) : [],
+        roles: Array.isArray(obj.roles) ? obj.roles.map(String) : [],
+    };
+}
+/**
+ * Generate a structured requirement for a single route.
+ *
+ * Reads the route's component file, follows 1 level of imports to gather
+ * related code (hooks, utilities), and sends all context to Claude to
+ * produce a RouteRequirement with behaviors and scaffolding flags.
+ */
+export async function generateRequirement(route, index, onProgress) {
+    const client = getClient();
+    // Read the main component file
+    onProgress?.(`       Reading component: ${route.component}`);
+    const componentSource = await readFileContent(index.rootPath, route.component);
+    if (!componentSource) {
+        // Component file not found -- return a minimal requirement with a flag
+        return {
+            requirement: {
+                id: '',
+                route: route.path,
+                domain: route.domain,
+                component: route.component,
+                guard: route.guard,
+                roles: route.roles ?? [],
+                tables: route.tables ?? [],
+                behaviors: [],
+                scaffoldingFlags: [`Component file not found: ${route.component}`],
+            },
+            inputTokens: 0,
+            outputTokens: 0,
+        };
+    }
+    // Truncate very large component files for the prompt
+    const componentContent = componentSource.length > MAX_COMPONENT_CHARS
+        ? componentSource.slice(0, MAX_COMPONENT_CHARS) + '\n[... truncated]'
+        : componentSource;
+    // Follow 1 level of imports
+    onProgress?.(`       Resolving imports for ${route.component}...`);
+    const importedFiles = await gatherImportedFiles(route.component, componentSource, index);
+    // Build imported files context
+    let importsContext = '';
+    if (importedFiles.size > 0) {
+        onProgress?.(`       Found ${importedFiles.size} imported file(s)`);
+        for (const [path, content] of importedFiles) {
+            importsContext += `\n--- IMPORTED: ${path} ---\n${content}\n`;
+        }
+    }
+    // Build the user message
+    const userMessage = [
+        `Analyze this route and its component code to generate a structured requirement.`,
+        ``,
+        `ROUTE INFORMATION:`,
+        `- Path: ${route.path}`,
+        `- Component: ${route.component}`,
+        `- Domain: ${route.domain}`,
+        route.guard ? `- Guard: ${route.guard}` : null,
+        route.roles?.length ? `- Known roles: ${route.roles.join(', ')}` : null,
+        route.tables?.length ? `- Known tables: ${route.tables.join(', ')}` : null,
+        ``,
+        `COMPONENT SOURCE:`,
+        `--- FILE: ${route.component} ---`,
+        componentContent,
+        importsContext ? `\nIMPORTED MODULES:${importsContext}` : null,
+    ]
+        .filter(Boolean)
+        .join('\n');
+    onProgress?.(`       Sending to Claude for requirement generation...`);
+    const response = await client.messages.create({
+        model: MODEL,
+        max_tokens: 4_000,
+        system: REQUIREMENT_SYSTEM_PROMPT,
+        messages: [
+            {
+                role: 'user',
+                content: userMessage,
+            },
+        ],
+    });
+    const rawText = response.content
+        .filter((b) => b.type === 'text')
+        .map((b) => b.text)
+        .join('');
+    const parsed = parseRequirementResponse(rawText);
+    // Merge Claude's findings with inventory data.
+    // Claude may discover additional tables/roles beyond what inventory found.
+    const mergedTables = Array.from(new Set([...(route.tables ?? []), ...parsed.tables]));
+    const mergedRoles = Array.from(new Set([...(route.roles ?? []), ...parsed.roles]));
+    const requirement = {
+        id: '', // Caller assigns sequential IDs
+        route: route.path,
+        domain: route.domain,
+        component: route.component,
+        guard: route.guard,
+        roles: mergedRoles,
+        tables: mergedTables,
+        behaviors: parsed.behaviors,
+        scaffoldingFlags: parsed.scaffoldingFlags,
+    };
+    return {
+        requirement,
+        inputTokens: response.usage.input_tokens,
+        outputTokens: response.usage.output_tokens,
+    };
+}
+//# sourceMappingURL=requirements-generator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"requirements-generator.js","sourceRoot":"","sources":["../../src/lib/requirements-generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE7C;;GAEG;AACH,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB;;GAEG;AACH,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B;;GAEG;AACH,MAAM,mBAAmB,GAAG,MAAM,CAAC;AAEnC,MAAM,yBAAyB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oEAkDkC,CAAC;AAErE;;GAEG;AACH,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAE7D;;;GAGG;AACH,SAAS,kBAAkB,CAAC,MAAc;IACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,mBAAmB;IACnB,MAAM,QAAQ,GAAG,gDAAgD,CAAC;IAClE,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,wBAAwB;IACxB,MAAM,UAAU,GAAG,4CAA4C,CAAC;IAChE,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,SAAiB,EACjB,YAAoB,EACpB,QAAqB;IAErB,8CAA8C;IAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC;QACzC,CAAC,CAAC,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;QAC7B,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAExD,wBAAwB;IACxB,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,wBAAwB;IACxB,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;QACxC,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC;YAAE,OAAO,QAAQ,GAAG,GAAG,CAAC;IAC1D,CAAC;IAED,sDAAsD;IACtD,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,GAAG,QAAQ,SAAS,GAAG,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IAChD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,mBAAmB,CAChC,aAAqB,EACrB,eAAuB,EACvB,KAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IAE5C,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAElE,gCAAgC;IAChC,MAAM,aAAa,GAAa;QAC9B,GAAG,QAAQ;QACX,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;KAChC,CAAC;IAEF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,SAAS,IAAI,aAAa,EAAE,CAAC;QACtC,IAAI,KAAK,IAAI,WAAW;YAAE,MAAM;QAEhC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEjD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,SAAS,GACb,OAAO,CAAC,MAAM,GAAG,gBAAgB;gBAC/B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,GAAG,mBAAmB;gBAC1D,CAAC,CAAC,OAAO,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACjC,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAAC,OAAe;IAM/C,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,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,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,+CAA+C;IAC/C,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,CAAC;YAEjD,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,YAAY,GAAG,CAAC,CAAC;YACrB,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC1B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,YAAY,EAAE,CAAC;gBAC/B,IAAI,EAAE,KAAK,GAAG;oBAAE,YAAY,EAAE,CAAC;YACjC,CAAC;YAED,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE;gBAAE,MAAM,IAAI,GAAG,CAAC;YACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE;gBAAE,MAAM,IAAI,GAAG,CAAC;YACnD,QAAQ,IAAI,MAAM,CAAC;QACrB,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,MAAM,IAAI,KAAK,CACb,iDAAiD;YAC/C,oBAAoB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC/C,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QACxE,gBAAgB,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;YACnD,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;YAClC,CAAC,CAAC,EAAE;QACN,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;QAC/D,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;KAC7D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,KAAyB,EACzB,KAAoB,EACpB,UAAkC;IAElC,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,+BAA+B;IAC/B,UAAU,EAAE,CAAC,6BAA6B,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAE/E,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,uEAAuE;QACvE,OAAO;YACL,WAAW,EAAE;gBACX,EAAE,EAAE,EAAE;gBACN,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;gBACxB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,EAAE;gBAC1B,SAAS,EAAE,EAAE;gBACb,gBAAgB,EAAE,CAAC,6BAA6B,KAAK,CAAC,SAAS,EAAE,CAAC;aACnE;YACD,WAAW,EAAE,CAAC;YACd,YAAY,EAAE,CAAC;SAChB,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,MAAM,gBAAgB,GACpB,eAAe,CAAC,MAAM,GAAG,mBAAmB;QAC1C,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,GAAG,mBAAmB;QACrE,CAAC,CAAC,eAAe,CAAC;IAEtB,4BAA4B;IAC5B,UAAU,EAAE,CAAC,gCAAgC,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,MAAM,mBAAmB,CAC7C,KAAK,CAAC,SAAS,EACf,eAAe,EACf,KAAK,CACN,CAAC;IAEF,+BAA+B;IAC/B,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,aAAa,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC3B,UAAU,EAAE,CAAC,gBAAgB,aAAa,CAAC,IAAI,mBAAmB,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;YAC5C,cAAc,IAAI,mBAAmB,IAAI,SAAS,OAAO,IAAI,CAAC;QAChE,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,MAAM,WAAW,GAAG;QAClB,iFAAiF;QACjF,EAAE;QACF,oBAAoB;QACpB,WAAW,KAAK,CAAC,IAAI,EAAE;QACvB,gBAAgB,KAAK,CAAC,SAAS,EAAE;QACjC,aAAa,KAAK,CAAC,MAAM,EAAE;QAC3B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9C,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,kBAAkB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QACvE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,mBAAmB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;QAC1E,EAAE;QACF,mBAAmB;QACnB,aAAa,KAAK,CAAC,SAAS,MAAM;QAClC,gBAAgB;QAChB,cAAc,CAAC,CAAC,CAAC,sBAAsB,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI;KAC/D;SACE,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,UAAU,EAAE,CAAC,wDAAwD,CAAC,CAAC;IAEvE,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,yBAAyB;QACjC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,WAAW;aACrB;SACF;KACF,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO;SAC7B,MAAM,CAAC,CAAC,CAAC,EAA4B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;SAC1D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SAClB,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,MAAM,MAAM,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAEjD,+CAA+C;IAC/C,2EAA2E;IAC3E,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAC7B,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CACrD,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAC5B,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CACnD,CAAC;IAEF,MAAM,WAAW,GAAqB;QACpC,EAAE,EAAE,EAAE,EAAE,gCAAgC;QACxC,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,WAAW;QAClB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;KAC1C,CAAC;IAEF,OAAO;QACL,WAAW;QACX,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY;QACxC,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa;KAC3C,CAAC;AACJ,CAAC"}

package/dist/lib/spec-synthesizer.d.ts

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

package/dist/lib/spec-synthesizer.js

@@ -0,0 +1,136 @@
+import { getClient, MODEL } from './anthropic.js';
+const SYNTHESIS_SYSTEM_PROMPT = `You are a formal specification synthesizer. Given a coding task description and target programming language, you generate a comprehensive set of formal specifications that any correct implementation MUST satisfy.
+
+SYNTHESIS RULES:
+
+1. Generate 10-30 specifications covering ALL of these categories:
+   - correctness: Happy-path behavior, expected outputs for standard inputs
+   - edge-case: Boundary values, empty inputs, maximum values, off-by-one scenarios
+   - error-handling: Invalid inputs, missing data, exception behavior
+   - security: Injection, overflow, unauthorized access, input sanitization
+   - type-safety: Type constraints, null/undefined handling, coercion traps
+   - performance: Time/space complexity, resource limits, scaling behavior
+
+2. Each specification must have:
+   - id: Sequential "SPEC-001", "SPEC-002", etc.
+   - category: One of correctness, edge-case, error-handling, security, type-safety, performance
+   - severity: How bad is it if the code violates this spec?
+     - critical: Would be a bug causing incorrect results or crashes
+     - high: Significant quality issue, data loss, or security flaw
+     - medium: Best practice violation, poor robustness
+     - low: Nice-to-have, minor optimization
+   - description: Clear statement of what the code must do or guarantee
+   - assertion: A specific, testable assertion (pseudocode or natural language test case) that can be verified programmatically against the generated code
+   - rationale: Why this specification matters
+
+3. Assertions must be SPECIFIC and TESTABLE:
+   - GOOD: "sorted([3,1,2]) returns [1,2,3]"
+   - GOOD: "rateLimiter(100, '1m').check('user1') returns { allowed: true, remaining: 99 }"
+   - GOOD: "Passing null as input throws TypeError with message containing 'expected string'"
+   - BAD: "Function works correctly" (too vague)
+   - BAD: "Handles errors" (not testable)
+
+4. Prioritize CRITICAL specs first, then HIGH, then MEDIUM, then LOW.
+
+5. Think adversarially: What inputs would break a naive implementation? What edge cases do developers commonly miss?
+
+OUTPUT FORMAT:
+Return ONLY a JSON array of specification objects. No markdown fences, no commentary.`;
+const VALID_CATEGORIES = [
+    'correctness', 'security', 'performance', 'error-handling', 'edge-case', 'type-safety',
+];
+const VALID_SEVERITIES = [
+    'critical', 'high', 'medium', 'low',
+];
+function validateSpec(raw, index) {
+    if (!raw.description || typeof raw.description !== 'string')
+        return null;
+    if (!raw.assertion || typeof raw.assertion !== 'string')
+        return null;
+    const category = VALID_CATEGORIES.includes(raw.category)
+        ? raw.category
+        : 'correctness';
+    const severity = VALID_SEVERITIES.includes(raw.severity)
+        ? raw.severity
+        : 'medium';
+    return {
+        id: raw.id || `SPEC-${String(index + 1).padStart(3, '0')}`,
+        category,
+        severity,
+        description: raw.description.trim(),
+        assertion: raw.assertion.trim(),
+        rationale: typeof raw.rationale === 'string' ? raw.rationale.trim() : 'No rationale provided',
+    };
+}
+export async function synthesizeSpecs(task, language, onProgress) {
+    const client = getClient();
+    onProgress?.('Sending task to Claude for spec synthesis (streaming)...');
+    const stream = client.messages.stream({
+        model: MODEL,
+        max_tokens: 16_000,
+        system: SYNTHESIS_SYSTEM_PROMPT,
+        messages: [
+            {
+                role: 'user',
+                content: `Generate formal specifications for the following coding task.\n\nLanguage: ${language}\n\nTask:\n${task}`,
+            },
+        ],
+    });
+    let rawText = '';
+    stream.on('text', (text) => {
+        rawText += text;
+    });
+    const finalMessage = await stream.finalMessage();
+    onProgress?.('Parsing synthesis results...');
+    // Strip markdown code fences if present
+    let jsonText = rawText.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);
+    }
+    jsonText = jsonText.trim();
+    // If response was truncated (no closing ]), try to repair by closing the array
+    if (!jsonText.endsWith(']')) {
+        const lastCloseBrace = jsonText.lastIndexOf('}');
+        if (lastCloseBrace !== -1) {
+            jsonText = jsonText.slice(0, lastCloseBrace + 1) + '\n]';
+            onProgress?.('Note: Response was truncated. Recovered partial specs.');
+        }
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonText);
+    }
+    catch {
+        throw new Error(`Failed to parse Claude's spec synthesis response as JSON.\n` +
+            `First 200 chars: ${jsonText.slice(0, 200)}`);
+    }
+    if (!Array.isArray(parsed)) {
+        throw new Error('Expected a JSON array of specs from Claude.');
+    }
+    const specs = [];
+    for (let i = 0; i < parsed.length; i++) {
+        const validated = validateSpec(parsed[i], i);
+        if (validated) {
+            specs.push(validated);
+        }
+    }
+    return {
+        task,
+        language,
+        specs,
+        totalSpecs: specs.length,
+        synthesizedAt: new Date().toISOString(),
+        inputTokens: finalMessage.usage.input_tokens,
+        outputTokens: finalMessage.usage.output_tokens,
+    };
+}
+//# sourceMappingURL=spec-synthesizer.js.map

package/dist/lib/spec-synthesizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-synthesizer.js","sourceRoot":"","sources":["../../src/lib/spec-synthesizer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGlD,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sFAoCsD,CAAC;AAWvF,MAAM,gBAAgB,GAAmB;IACvC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa;CACvF,CAAC;AAEF,MAAM,gBAAgB,GAAoB;IACxC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK;CACpC,CAAC;AAEF,SAAS,YAAY,CAAC,GAAY,EAAE,KAAa;IAC/C,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAErE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAwB,CAAC;QACtE,CAAC,CAAE,GAAG,CAAC,QAAyB;QAChC,CAAC,CAAC,aAAa,CAAC;IAElB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAyB,CAAC;QACvE,CAAC,CAAE,GAAG,CAAC,QAA0B;QACjC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,QAAQ,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QAC1D,QAAQ;QACR,QAAQ;QACR,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;QAC/B,SAAS,EAAE,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,uBAAuB;KAC9F,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAY,EACZ,QAAgB,EAChB,UAAkC;IAElC,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAE3B,UAAU,EAAE,CAAC,0DAA0D,CAAC,CAAC;IAEzE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK;QACZ,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,uBAAuB;QAC/B,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,8EAA8E,QAAQ,cAAc,IAAI,EAAE;aACpH;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,8BAA8B,CAAC,CAAC;IAE7C,wCAAwC;IACxC,IAAI,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAE9B,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,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAE3B,+EAA+E;IAC/E,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,wDAAwD,CAAC,CAAC;QACzE,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,MAAM,IAAI,KAAK,CACb,6DAA6D;YAC7D,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,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAY,EAAE,CAAC,CAAC,CAAC;QACxD,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI;QACJ,QAAQ;QACR,KAAK;QACL,UAAU,EAAE,KAAK,CAAC,MAAM;QACxB,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACvC,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,YAAY;QAC5C,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa;KAC/C,CAAC;AACJ,CAAC"}

package/dist/lib/system-prompts.d.ts

@@ -0,0 +1,12 @@
+import type { AssayConfig, HallucinationType, VerificationReport, ExtractionResult } from '../types.js';
+export declare function getSystemPrompt(type: HallucinationType, config: AssayConfig): string;
+export declare function getUserPrompt(type: HallucinationType, config: AssayConfig): string;
+export interface RegenerationContext {
+    config: AssayConfig;
+    type: HallucinationType;
+    priorDocument: string;
+    extraction: ExtractionResult;
+    verification: VerificationReport;
+}
+export declare function getRegenerationSystemPrompt(ctx: RegenerationContext): string;
+export declare function getRegenerationUserPrompt(ctx: RegenerationContext): string;