lacuna-cli 0.1.4 → 0.1.6

package/dist/agent/prompts.js

@@ -1,4 +1,4 @@
-import { buildSourceSkeleton, shouldUseSkeleton } from '../lib/skeleton.js';
+import { buildSourceSkeleton, shouldUseSkeleton, compressSource, filterMockFileForTest, filterMockFileForSource } from '../lib/skeleton.js';
 // Extracts module names that are already globally mocked in the setup file.
 // Used to tell the agent "don't mock these again" to avoid double-mock conflicts.
 function extractGlobalNextMocks(setupCode) {
@@ -53,6 +53,38 @@ function buildNextJsGuidance(a) {
     lines.push("If Vitest still reports 'Failed to resolve import', the mock path does not exactly match the import in the source. Copy it character-for-character.");
     return lines.join('\n');
 }
+// ─── React Native detector & guidance ───────────────────────────────────────
+function detectReactNative(packageDeps) {
+    if (!packageDeps)
+        return false;
+    return /\breact-native\b/.test(packageDeps) || /\bexpo\b/.test(packageDeps);
+}
+function buildReactNativeGuidance() {
+    return [
+        'REACT NATIVE PROJECT — use @testing-library/react-native, not @testing-library/react.',
+        "- Import render, screen, fireEvent, waitFor from '@testing-library/react-native'",
+        '- No document, window, or localStorage globals — they do not exist in React Native',
+        "- Mock react-native modules with vi.mock('react-native', ...) or jest.mock('react-native', ...)",
+        '- Mock navigation: if @react-navigation/native is used, mock useNavigation, useRoute',
+        '- Mock expo-router if present: mock useRouter, useLocalSearchParams, Link',
+        '- Use fireEvent.press() not fireEvent.click() for Pressable/TouchableOpacity',
+        '- Async state: use waitFor() from @testing-library/react-native, not from @testing-library/react',
+    ].join('\n');
+}
+// ─── Vue detector & guidance ─────────────────────────────────────────────────
+function detectVue(packageDeps) {
+    if (!packageDeps)
+        return false;
+    return /\bvue\b/.test(packageDeps);
+}
+function buildVueGuidance() {
+    return [
+        'VUE PROJECT — use @testing-library/vue for component tests.',
+        "- Import render, screen, fireEvent, waitFor from '@testing-library/vue'",
+        "- Import userEvent from '@testing-library/user-event'",
+        '- Wrap async user interactions with await userEvent.setup() and await act()',
+    ].join('\n');
+}
 // Matches both directory-level patterns (/api/, /services/) and file-level names
 // (../../lib/api, ../apiClient, ./httpService) so axios instance files aren't missed.
 const API_IMPORT_RE = /\/(?:api|services?|requests?|http|client|network)\/|\/(?:api|axios|http|request)(?:Client|Config|Instance|Service|Helper)?(?:\/|$)|[/.]api(?:[./]|$)/i;
@@ -70,6 +102,70 @@ function analyzeNetworkDeps(sourceCode) {
     }
     return { usesAxios, usesFetch, usesCustomInstance, apiModuleImports };
 }
+// Surfaces TypeScript compiler errors in a form the model can act on directly.
+// Philosophy: tsc output is already the fix instruction — our job is to make sure
+// the model reads it literally rather than overriding it with framework conventions.
+// Two layers:
+//   1. Extract structured info from the error text for the highest-value patterns
+//      (member lists, suggestions, mismatched types) so the model doesn't have to hunt.
+//   2. Generic pass-through for everything else — the compiler already said what's wrong.
+function detectTypeScriptErrors(errorOutput) {
+    if (!/error TS\d+:/.test(errorOutput))
+        return null;
+    const parts = [
+        'TYPESCRIPT ERRORS — treat each compiler message as an exact instruction, not a hint:',
+        'The TypeScript compiler tells you precisely what is wrong and usually what the fix is.',
+        'Do NOT override it with framework conventions or assumptions.',
+    ];
+    // TS1378: top-level await — only specific branch because the fix is structural
+    if (/TS1378/.test(errorOutput)) {
+        parts.push('• Top-level await (TS1378): move ALL await calls inside it()/test()/beforeEach()/etc.', '  WRONG: const result = await fn();', '  RIGHT: it("desc", async () => { const result = await fn(); });');
+    }
+    // Wrong member name — extract the actual member list TypeScript printed inline.
+    // Covers TS2339, TS2551, TS2561 and any variant with "does not exist on/in type '{...}'"
+    const propErrors = [...errorOutput.matchAll(/'(\w+)' does not exist (?:on|in) type '\{([^']+)\}'/g)];
+    if (propErrors.length > 0) {
+        parts.push('• Wrong member name — the actual available members are:');
+        const seen = new Set();
+        for (const m of propErrors) {
+            const wrongProp = m[1];
+            const available = [...m[2].matchAll(/(\w+)\s*[?]?\s*:/g)].map(p => p[1]).filter(p => p !== 'type');
+            const key = wrongProp + available.join();
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            parts.push(`  '${wrongProp}' → not valid. Use one of: ${available.slice(0, 12).join(', ')}${available.length > 12 ? ' …' : ''}`);
+        }
+    }
+    // Compiler suggestions — TypeScript already provides the answer
+    const suggestions = [...new Set([...errorOutput.matchAll(/Did you mean(?: to write)? '(\w+)'\?/g)].map(m => m[1]))];
+    if (suggestions.length > 0) {
+        parts.push(`• Compiler suggestion: use ${suggestions.map(s => `'${s}'`).join(', ')}`);
+    }
+    // Type mismatch — extract what was passed vs what was required
+    const typeMismatches = [...errorOutput.matchAll(/Argument of type '([^']+)' is not assignable to parameter of type '([^']+)'/g)];
+    if (typeMismatches.length > 0) {
+        for (const m of typeMismatches) {
+            parts.push(`• Type mismatch: passed '${m[1].slice(0, 80)}', required '${m[2].slice(0, 80)}'`);
+        }
+        parts.push('  (use null not undefined for nullable values; check TYPE DEFINITIONS for the required shape)');
+    }
+    // Generic pass-through for all other TS errors — list them so the model reads each one
+    // rather than guessing. No special handling needed: the message IS the instruction.
+    const otherErrors = [...errorOutput.matchAll(/error (TS(?!1378|2339|2551|2561|2345)\d+): ([^\n]+)/g)];
+    if (otherErrors.length > 0) {
+        parts.push('• Additional compiler errors — read each one and apply the exact fix it describes:');
+        const seen = new Set();
+        for (const m of otherErrors) {
+            const msg = `${m[1]}: ${m[2].slice(0, 120)}`;
+            if (seen.has(msg))
+                continue;
+            seen.add(msg);
+            parts.push(`  ${msg}`);
+        }
+    }
+    return parts.join('\n');
+}
 // Detects thinking-bleed parse errors: model wrote reasoning inside <code_output>
 // causing the file to start with prose instead of TypeScript.
 function detectThinkingBleed(errorOutput) {
@@ -99,21 +195,25 @@ function detectNextJsImportError(errorOutput) {
     if (!failedImport)
         return null;
     const importPath = failedImport[1];
+    const isServerOnly = importPath === 'server-only';
     const isAlias = importPath.startsWith('@/');
     const isClient = importPath.endsWith('.client');
     const isServer = importPath.endsWith('.server');
     const isNextInternal = importPath.startsWith('next/');
     const isProviderOrSession = /session|auth|provider/i.test(importPath);
-    if (!isAlias && !isClient && !isServer && !isNextInternal && !isProviderOrSession)
+    if (!isServerOnly && !isAlias && !isClient && !isServer && !isNextInternal && !isProviderOrSession)
         return null;
     const lines = [
         `IMPORT RESOLUTION ERROR — Vitest cannot resolve "${importPath}".`,
     ];
-    if (isAlias) {
+    if (isServerOnly) {
+        lines.push(`"server-only" is a Next.js build guard — it throws intentionally when server code is loaded in a non-server context.`, `This is a CONFIGURATION issue, not something fixable in the test file. Two options:`, `  OPTION A (preferred): Add an alias in vitest.config.ts that maps "server-only" to an empty module:`, `    alias: { 'server-only': path.resolve(__dirname, './test/empty-module.ts') }`, `    and create test/empty-module.ts containing: export default {}`, `  OPTION B: Mock the entire module that imports server-only (the hook or service) so Vitest never resolves its dependency tree.`, `Do NOT try to mock "server-only" directly in the test file — vi.mock('server-only') is too late; the import is resolved before mocks run.`);
+    }
+    else if (isAlias) {
         lines.push(`The "@/" alias is not configured in vitest.config.ts — you cannot fix this by changing the test file.`, `WORKAROUND: use the pre-computed relative paths from LOCAL IMPORT PATHS in your vi.mock() calls instead of "@/" paths.`, `  WRONG:   vi.mock('@/components/ui/button', ...)`, `  CORRECT: vi.mock('../../../components/ui/button', ...)  ← use the relative path from LOCAL IMPORT PATHS`, `Do NOT attempt to add resolve aliases inside the test file — that does not work.`, `Do NOT switch import statements to relative paths — only vi.mock() calls need to change.`);
     }
     else if (isClient || isServer) {
-        lines.push(`This is a Next.js ${isClient ? 'client' : 'server'} boundary file. Vitest never resolves these — mock it with the exact import path from the source file:`, `  vi.mock('${importPath}', () => ({`, `    // each function the source imports: myFn: vi.fn()`, `  }))`);
+        lines.push(`This is a Next.js ${isClient ? 'client' : 'server'} boundary file. Vitest never resolves these.`, `If the source file IMPORTS this module directly, mock it with the exact import path:`, `  vi.mock('${importPath}', () => ({ myFn: vi.fn() }))`, ``, `If the failing source is a HOOK that internally imports *.client services (which chain into many other server-only modules),`, `use the complete self-replacement strategy — mock the entire hook, not its sub-dependencies:`, `  const mockState = vi.hoisted(() => ({ data: [], loading: false, error: null }))`, `  vi.mock('../useMyHook', () => ({`, `    useMyHook: () => mockState,`, `  }))`, `This bypasses the entire dependency tree and tests the component contract, not the hook internals.`);
     }
     else if (isNextInternal) {
         lines.push(`${importPath} is a Next.js internal that does not work in Vitest. Mock it:`, `  vi.mock('${importPath}', () => ({ /* relevant exports as vi.fn() */ }))`);
@@ -178,6 +278,56 @@ function buildNetworkMockingGuidance(analysis, sourceFile) {
     lines.push(`If you see a real URL (e.g. https://...) or a 401/403/network error in the test output, your mock is missing or at the wrong module level. Fix it before the test can pass.`);
     return lines.join('\n');
 }
+function parseMockInventory(code) {
+    const entries = [];
+    const lines = code.split('\n');
+    for (let i = 0; i < lines.length; i++) {
+        const mockMatch = lines[i].match(/\bvi\.mock\(\s*(['"])([^'"]+)\1/);
+        if (!mockMatch)
+            continue;
+        const modulePath = mockMatch[2];
+        const lineNumber = i + 1;
+        const exports = [];
+        // Scan forward up to 80 lines to find the factory () => ({ ... })
+        // and extract the top-level key names from the object literal.
+        let braceDepth = 0;
+        let inFactory = false;
+        for (let j = i; j < Math.min(i + 80, lines.length); j++) {
+            const l = lines[j];
+            if (!inFactory && /\(\)\s*=>\s*\(?\s*\{/.test(l))
+                inFactory = true;
+            if (!inFactory)
+                continue;
+            for (const ch of l) {
+                if (ch === '{')
+                    braceDepth++;
+                if (ch === '}')
+                    braceDepth--;
+            }
+            // Top-level keys: indented 2+ spaces (multi-line). Capture both key and variable value
+            // so the inventory shows key(Variable) — e.g. ValidationError(MockValidationError).
+            // This lets the AI look up exactly which export to import for a given mocked symbol.
+            const multiLine = l.match(/^\s{2,}(\w+)\s*:\s*(\w+)/);
+            if (multiLine && multiLine[1] !== 'type') {
+                const key = multiLine[1], val = multiLine[2];
+                exports.push(val && val !== key ? `${key}(${val})` : key);
+            }
+            // Inline single-line factory: vi.mock('x', () => ({ key: mockVar, ... }))
+            if (j === i || l.includes('() =>')) {
+                for (const m of l.matchAll(/\b(\w+)\s*:\s*(mock\w+)/gi)) {
+                    const key = m[1], val = m[2];
+                    const entry = val.toLowerCase() !== `mock${key.toLowerCase()}` ? `${key}(${val})` : key;
+                    if (!exports.some(e => e === key || e.startsWith(`${key}(`)))
+                        exports.push(entry);
+                }
+            }
+            if (braceDepth <= 0 && inFactory)
+                break;
+        }
+        entries.push({ modulePath, lineNumber, exports });
+    }
+    return entries;
+}
 // Extract exported names from a mocks file so the AI sees a concrete inventory.
 function parseMockExports(code) {
     const names = [];
@@ -200,80 +350,145 @@ function parseMockExports(code) {
     return [...new Set(names)];
 }
 export function buildSystemPrompt(env) {
+    const isJS = env.language === 'typescript' || env.language === 'javascript' || env.language === 'unknown';
+    const isTS = env.language === 'typescript';
+    const isVitest = env.testRunner === 'vitest';
+    const isJSRunner = env.testRunner === 'jest' || env.testRunner === 'vitest' || env.testRunner === 'mocha';
+    // ── Thinking template ────────────────────────────────────────────────────────
+    const mockAuditStep = isJS ? `
+    2. MOCK AUDIT — do this before writing a single line of test code:
+       a) IMPORT INVENTORY: List every import in the source file. For each client/service/hook, find every method it calls (grep for Client.method() patterns). Mock exactly those methods — nothing more, nothing less. Mocking a method the source never calls is useless; missing a method the source DOES call is a silent failure.
+       b) RESPONSE ENVELOPE: At each Client.method() call site, check how the return value is consumed. If the source guards with \`if (res.success)\` or destructures \`{ success, data }\`, the mock MUST return that envelope — NOT a raw array. \`mockResolvedValue([...])\` when the hook expects \`{ success: true, data: [...] }\` produces silently empty state with no error. Pattern: \`const ok = (data: unknown) => ({ success: true, data })\`.
+       c) RETURN FIELD ENUMERATION: Find the hook's \`return { ... }\` statement. List every key. Only write assertions for fields that actually appear there. A field not in the return statement is always undefined — asserting it produces a vacuous test that passes and fails for the wrong reasons.
+       d) LOADING TRIGGER MAP: Not all data loads on mount. For each piece of state, find what populates it. If a function like loadResults(classId) must be called explicitly (user selects something), the mount test will never see that data. Map: state → function that populates it → when that function is triggered.
+       e) FIXTURE FIELD NAMES: Read the source's selector logic — every .find(), .filter(), and property access. Field names in fixture data must match what the source reads, not what sounds reasonable. \`is_active\` and \`is_current\` are both plausible; only one will pass the filter. Read the source.
+       f) MOCK STRUCTURE — object vs factory: when the source imports a client/service as a module export and calls it as \`SomeClient.method()\`, the mock must be a plain object \`{ SomeClient: { method: vi.fn() } }\`. If you mock it as \`vi.fn().mockReturnValue({ method: vi.fn() })\`, SomeClient.method is undefined at runtime — the mock replaced a singleton with a callable that the source never calls. The mock structure must match how the source uses the import, not how you'd design an API.
+       g) DATA TRANSFORMATIONS: Before writing any assertion about the shape of loaded data, read every .map(), .filter(), and mutation the hook applies to the raw API response. If the hook does \`.map(s => ({ ...s, selected: true, status: 'promoted' }))\`, the fixture assertion must expect the TRANSFORMED shape, not the raw API fixture. Keep two separate fixtures: the raw API response (for mockResolvedValue) and the expected hook output (for assertions).
+       h) USEEFFECT COMPOUND SIDE EFFECTS: For each useEffect, read its dependency array AND every state setter it calls. Some effects reset sibling state as a side effect (e.g. fetchSourceClasses always calls setSelectedSourceClassId('')). Setting state that triggers such an effect will silently undo other state you set in the same act(). Map the full chain: which state changes trigger which effects, and what those effects do to other state — before writing any test that sets multiple state values.
+       HOOK STATE SYNC: If the test mocks a hook or function that returns an object (e.g. useClasses(), useUsers()), compare its CURRENT return signature in the source against the mocked return object in the test. If any properties are missing, renamed, or stale, realign the mock FIRST — before touching any assertions.
+       UNCONDITIONAL CRASH CHECK: Look at the very top of the component body — what fields are destructured and used BEFORE any conditional render (e.g. totalRevenue.toLocaleString(), sessions.length)? Every one of those fields MUST be present in the mock return value or ALL tests will crash immediately.
+       MOCK PROP INTERFACE: When mocking a child component (e.g. EmptyState, Modal), check how the PARENT calls it — what prop names does the JSX pass? Use those exact names in the mock, not the names from the child's own prop type definition.
+    3. COMPONENT RENDER MAP (React/Vue components only): Before writing any assertion, list what is in the DOM in each relevant state (idle / loading / error / success). Read the template/JSX — check every ternary, &&, and conditional — to determine whether a button is disabled vs unmounted, what text changes, what elements appear.
+       GUARD CLAUSE AUDIT: Identify every conditional render guard in the component (e.g. payments.length > 0, isLoading, hasPermission). A test that provides data violating a guard will never find the element — the guard hides it. Match mock data to the guard condition required by each test.
+       STALE TEST AUDIT: Check whether any existing test asserts UI or behavior that the current source no longer has. DELETE those tests — do not try to make the component pass a test for features it no longer has.
+       BUG-ASSERTING TEST RULE: NEVER write a test that asserts the component/function throws or crashes due to a missing null check, missing guard, or undefined field — unless you have read the source and confirmed the crash path exists. A test named "throws when X is undefined due to missing null check" is testing for a bug, not behavior. If the source handles the case gracefully, test the graceful output instead. If it truly crashes, fix the source — do not write a test to document the bug.` : `
+    2. DEPENDENCY AUDIT: List every external dependency the source calls. For each one, determine what needs to be mocked and what return value the code expects. Read every call site — don't infer the expected shape from the type name.
+    3. DATA FIXTURE AUDIT: Read the source's selector logic — every filter, find, and field access. Fixture data field names must match what the source reads exactly.`;
+    const thinkingTemplate = `
+    1. WHAT IS NEEDED: What functions/behaviors are untested or broken?${mockAuditStep}
+    4. WHY IT FAILED (retries only): Errors cascade — a compile error hides a resolution error which hides a wiring error which hides a logic error. Fix the first layer and expect a new error to surface. What layer are we on now?
+    5. PLAN: List the exact steps you will take before writing a single line of code.`;
+    // ── JS/TS-specific rules ─────────────────────────────────────────────────────
+    const jsRules = isJS ? `
+3. Use path aliases from the PROJECT TYPESCRIPT CONFIG section in IMPORT statements (e.g. "@/components/Button" not "../../components/Button").
+   EXCEPTION — mock call paths: use the exact same path string that appears in the SOURCE FILE'S import statement.
+   If a LOCAL IMPORT PATHS section is provided, use those pre-computed relative paths in mock calls — they are the fallback when aliases cannot be resolved by the test runner.
+   Never second-guess the pre-computed paths. Never convert them back to @/ aliases in mock calls.
+4. Only import from packages listed in PROJECT DEPENDENCIES. Do not invent packages that are not listed.
+5. When a SHARED MOCK FILE is provided, its exported names are listed under "Available exports". Before writing the test, go through that list and identify every mock that relates to what the source file does. Import and use ALL of those mocks. Never re-create inline vi.fn() / jest.fn() for anything already exported from the mocks file.
+   CRITICAL — never rename or change the casing of existing mock exports.
+6. If you need a mock that is missing from the shared mock file, add it to that file AND import it in the test. Return BOTH files separated by exactly one line containing only: // ---MOCKS_FILE---
+7. If a SHARED MOCK FILE (does not exist yet) section is shown — create it for any mocks you need and return it using the // ---MOCKS_FILE--- separator.
+   CRITICAL — the mocks file must contain ONLY: vi.fn()/jest.fn() mock definitions, vi.mock() module stubs, shared mock objects/constants, and beforeEach reset hooks. NEVER write describe(), it(), test(), or expect() calls in the mocks file.
+8. If a TEST SETUP FILE is shown, assume its globals and matchers are already available. Do NOT import or re-declare them.` : `
+3. Use the project's import conventions as shown in the source file and existing tests.
+4. Only import from packages listed in PROJECT DEPENDENCIES. Do not invent packages that are not listed.`;
+    const tsRule = isTS ? `
+9. TypeScript type safety: all test code must compile without type errors. The TypeScript compiler is the authority — its error messages are exact instructions, not hints.
+   - Use EXACT property/member names from the TYPE DEFINITIONS section and source code. Do not apply naming conventions: if a hook returns { loading, users }, do NOT write isLoading or isUsers.
+   - Import enums, constants, interfaces, and types from the project's existing files. Do NOT redeclare them inline or invent lookalike values.
+   - Never use "as any", "@ts-ignore", or "@ts-expect-error" to suppress type errors.
+   - For vi.fn() / jest.fn(), either let TypeScript infer the type from context or type it explicitly: vi.fn<Parameters<typeof fn>, ReturnType<typeof fn>>().
+   - Use ReturnType<>, Parameters<>, and other utility types to derive mock types from real function signatures.
+   - When accessing optional properties, handle null/undefined correctly.` : '';
+    const ruleCount = isTS ? 10 : (isJS ? 9 : 6);
+    // ── JS/Vitest-specific output format rules ───────────────────────────────────
+    const jsOutputRules = isJS ? `
+${ruleCount + 2}. Inside <code_output>: output ONLY the test file content (or test file // ---MOCKS_FILE--- mocks file).
+    If you use // ---MOCKS_FILE---, everything AFTER the separator is the mocks file. The mocks file must contain ONLY:
+    vi.fn()/jest.fn() mock definitions, vi.mock() module stubs, shared constants, and beforeEach resets.
+    NEVER put describe(), it(), test(), or expect() calls after the separator.
+${ruleCount + 3}. NEVER output vitest.config.ts, jest.config.js, or any framework configuration. If an import cannot be resolved,
+    fix it by mocking it with vi.mock() — NOT by modifying the test runner configuration.` : '';
+    // ── Common failure causes — universal ────────────────────────────────────────
+    const universalCauses = `- Wrong import paths (use the project's conventions — aliases where configured, relative paths otherwise)
+- Importing from test utilities that are not in the dependency list
+- Mocking modules that are already mocked in the setup file
+- Forgetting to await async functions
+- Real HTTP requests: NEVER let a real network call reach the internet. Every function that calls an API must be mocked before the test runs.
+- Error surface mismatch: before writing any error-path test, find the catch block. Does it set state, call a notification, or just log silently? Test only what is actually observable from outside.
+- Code drift — assert what the code ACTUALLY does: before writing any assertion, re-read the relevant section of the source. If it catches an error and returns null, assert null — not a rejection.`;
+    // ── Common failure causes — JS/Jest/Vitest only ───────────────────────────────
+    const jsCauses = isJSRunner ? `
+- vi.mock() / jest.mock() paths are relative to the TEST FILE, not the source file. Count directories from the test file's location, not the source file's.
+- Missing mock is the silent killer: if expect(mockFn).toHaveBeenCalled() fails but the code path is clearly reached, the mock declaration is missing or uses the wrong path. The real implementation ran instead.
+- Response envelope mismatch (silent empty state): if a hook guards \`if (res.success)\` or destructures \`{ success, data }\`, mocking with a raw array means .success is undefined and state is never populated — silently. Trace each call site individually — different clients in the same hook often have different shapes (one returns \`{ data: [] }\`, another \`{ success, data: { items: [] } }\` with nested access). Never assume a uniform envelope across the whole hook.
+- Barrel file mock miss: mocking a barrel/index file (vi.mock('../components')) will NOT intercept imports of the direct file ('../components/Foo'). Mock the specific module the source actually imports.` : '';
+    const vitestCauses = isVitest ? `
+- Never use require() in Vitest: Vitest runs files as ESM — dynamic require() fails at transform time. Always use static ES import + vi.mocked().
+- Shared mock file factory syntax: \`vi.mock('../service', async () => await import('../../test/mocks'))\` — synchronous factory cannot import external files in Vitest.
+- vi.hoisted() for shared mock references: when a mock object is created inside vi.mock() AND configured in beforeEach, use vi.hoisted() so both closures reference the same object instance.
+- Complete hook self-replacement for *.client-importing hooks: when a hook imports *.client services that chain into browser/server-only modules, mock the entire hook — \`vi.mock('../useMyHook', () => ({ useMyHook: vi.fn() }))\` — rather than each sub-dependency.
+- server-only resolution in Next.js: \`Failed to resolve import "server-only"\` is a config issue, not a test issue. Add an alias in vitest.config.ts: \`'server-only': path.resolve(__dirname, './test/empty-module.ts')\` and create that file with \`export default {}\`.
+- Top-level await (TS1378): NEVER use \`await\` at the top level of a test file. Every \`await\` must be inside an async callback: \`it("...", async () => { ... })\`.
+- NEVER call vi.spyOn(global, ...) or vi.spyOn(globalThis, ...) at module level (outside beforeEach/beforeAll). Each Vitest file has its own vi registry. A module-level spy is installed on the shared worker globalThis but setup-file afterEach cleanup (vi.restoreAllMocks) uses a different vi instance and cannot remove it — the spy persists after the file ends and poisons the next file that runs in the same worker. Always create global spies inside beforeEach so they are fresh per test and properly cleaned up:
+  WRONG: const mockFetch = vi.spyOn(global, 'fetch');  // module level — breaks other files
+  RIGHT: let mockFetch: ReturnType<typeof vi.spyOn>;
+         beforeEach(() => { mockFetch = vi.spyOn(global, 'fetch'); });
+- Never write two vi.mock() calls for the same module path in the same file. The second call silently overrides the first — exports from the first mock are lost. If a module exports many things (e.g. lucide-react icons), list them all in a single vi.mock() factory:
+  WRONG: vi.mock('lucide-react', () => ({ Search: () => null }))  ...later...  vi.mock('lucide-react', () => ({ Plus: () => null }))
+  RIGHT: vi.mock('lucide-react', () => ({ Search: () => null, Plus: () => null }))
+- vi.resetAllMocks() vs vi.clearAllMocks() — use the right one or tests break under shuffle:
+  clearAllMocks() only wipes call history (mock.calls, mock.results). It does NOT reset mockReturnValue / mockResolvedValue / mockImplementation.
+  resetAllMocks() wipes call history AND resets all implementations back to undefined.
+  RULE: if ANY test in the file calls mockFn.mockImplementation(...) directly (e.g. a loading-state test that uses \`() => new Promise(() => {})\` to freeze async), the beforeEach MUST use vi.resetAllMocks() — otherwise that implementation bleeds into the next test when run in shuffle order, and mockResolvedValue set in beforeEach is silently overridden by the stale mockImplementation.
+  PATTERN: loading-state test sets mockImplementation → test passes → shuffle puts it before the success-state test → success test's beforeEach calls clearAllMocks (history wiped, implementation NOT wiped) → mockResolvedValue set in beforeEach loses to the stale never-resolving implementation → success test gets 0 instead of expected data.` : '';
+    // ── Common failure causes — React/Vue (JS component tests) only ───────────────
+    const reactCauses = isJSRunner ? `
+- React 18 act() async rule: ALWAYS await act() when it wraps async code. Unawaited act() calls cause state to leak across tests, producing "Cannot read properties of null" failures in unrelated tests.
+- Loading state architecture: before asserting a button is disabled during loading, check whether the component unmounts it entirely. If unmounted, getByText("Submit") throws — test for the spinner instead.
+- Unhandled promise rejections: after triggering an action with mockRejectedValueOnce, always await the resulting state change with waitFor() so the rejection is resolved inside the test scope.
+- getByText / getByTestId ambiguity: generic strings and reused icon components often appear multiple times on a complex page. Use getAllByText(...)[0], getByRole, or within(container).getByText(...) to scope queries.
+- Functional state updater assertions: when a component calls setState with an updater function (e.g. setPage(p => p + 1)), toHaveBeenCalledWith(3) always fails. Capture the updater and call it: \`const fn = mockSetPage.mock.calls[0][0]; expect(fn(2)).toBe(3)\`.
+- React 18 act() warning in hook tests: wrap async mock resolutions in \`await act(async () => {})\` at the end of the test to flush pending state updates before the test exits.` : '';
+    // ── Good test suite checklist ────────────────────────────────────────────────
+    const hookSuiteNote = isJSRunner
+        ? `\n- For hooks: cover mutations (save, update, delete) and derived/computed state — not just the initial-load lifecycle. Mutations and derived state are where real bugs hide.`
+        : '';
     return `You are a senior QA engineer with 10+ years of experience writing production test suites for ${env.language} projects. You use ${env.testRunner} and you take testing seriously.
 
 Your tests catch real bugs. You think about what could go wrong — null inputs, empty arrays, async race conditions, error boundaries, permission checks, off-by-one errors — and you write assertions that would actually fail if the code broke. You never write a test just to hit a coverage number.
 
 RULES — follow every one:
 1. Write tests that verify real behavior: correctness, edge cases, boundary values, and error handling. Never write empty or trivial assertions (e.g. expect(true).toBe(true)).
-2. Match the EXACT import style shown in the existing test file or PROJECT TEST EXAMPLES. If none exists, use the style from the source file.
-3. Use path aliases from the PROJECT TYPESCRIPT CONFIG section in IMPORT statements (e.g. "@/components/Button" not "../../components/Button").
-   EXCEPTION — vi.mock() call paths: use the exact same path string that appears in the SOURCE FILE'S import statement.
-   If a LOCAL IMPORT PATHS section is provided, use those pre-computed relative paths in vi.mock() calls — they are the fallback when aliases cannot be resolved by Vitest.
-   Never second-guess the pre-computed paths. Never convert them back to @/ aliases in vi.mock() calls.
-4. Only import from packages listed in PROJECT DEPENDENCIES. Do not invent packages that are not listed.
-5. When a SHARED MOCK FILE is provided, its exported names are listed under "Available exports". Before writing the test, go through that list and identify every mock that relates to what the source file does (by name, type, or domain). Import and use ALL of those mocks. Never re-create inline vi.fn() / jest.fn() for anything already exported from the mocks file.
-   CRITICAL — never rename or change the casing of existing mock exports. If the mocks file has mockValidationError, use exactly mockValidationError — do NOT change it to MockValidationError or any other variant. Renaming an existing mock breaks every test that already imports it by the original name.
-6. If you need a mock that is missing from the shared mock file, add it to that file AND import it in the test. Return BOTH files separated by exactly one line containing only: // ---MOCKS_FILE---
-7. If a SHARED MOCK FILE (does not exist yet) section is shown — create it for any mocks you need and return it using the // ---MOCKS_FILE--- separator.
-   CRITICAL — the mocks file must contain ONLY: vi.fn()/jest.fn() mock definitions, vi.mock() module stubs, shared mock objects/constants, and beforeEach reset hooks. NEVER write describe(), it(), test(), or expect() calls in the mocks file. Those belong exclusively in the test file. A mocks file that contains test blocks will break the entire test suite.
-8. If a TEST SETUP FILE is shown, assume its globals and matchers are already available (e.g. expect(...).toBeInTheDocument()). Do NOT import or re-declare them.
-9. TypeScript type safety: all test code must compile without type errors.
-   - Check PROJECT TYPESCRIPT CONFIG for strict flags — if strict or noImplicitAny is set, every value must be properly typed.
-   - Never use "as any", "@ts-ignore", or "@ts-expect-error" to suppress type errors. Use proper types or generics instead.
-   - For vi.fn() / jest.fn(), either let TypeScript infer the type from context or type it explicitly: vi.fn<Parameters<typeof fn>, ReturnType<typeof fn>>().
-   - Use ReturnType<>, Parameters<>, and other utility types to derive mock types from the real function signatures rather than guessing.
-   - When accessing optional properties, handle null/undefined correctly — do not assume they exist if the type says otherwise.
-10. Every test file MUST contain at least one it() or test() call with real assertions. A file with only imports, describe() blocks, types, or helper functions is invalid and will be rejected. If you cannot write meaningful tests, write a minimal test that exercises the simplest exported function.
-11. Structure ALL output using exactly these two XML blocks — nothing before, nothing after:
-    <thinking>
-    1. WHAT IS NEEDED: What functions/behaviors are untested or broken?
-    2. COMPONENT RENDER MAP (React components only): Before writing any assertion, list what is in the DOM in each relevant state (idle / loading / error / success). Read the JSX — check every ternary, &&, and switch — to determine whether a button is disabled vs unmounted, what text changes, what elements appear. Never assume a button is disabled during loading without verifying this in the JSX.
-    3. WHY IT FAILED (retries only): What is the structural root cause — wrong mock level, missing await, bad import path, type mismatch?
-    4. PLAN: List the exact steps you will take before writing a single line of code.
+2. Match the EXACT import style shown in the existing test file or PROJECT TEST EXAMPLES. If none exists, use the style from the source file.${jsRules}${tsRule}
+${ruleCount}. Every test file MUST contain at least one it() or test() call with real assertions. A file with only imports, describe() blocks, types, or helper functions is invalid and will be rejected.
+${ruleCount + 1}. Structure ALL output using exactly these two XML blocks — nothing before, nothing after:
+    <thinking>${thinkingTemplate}
     </thinking>
     <code_output>
     // complete test file here
     </code_output>
-    CRITICAL: Once you open <code_output>, ALL remaining output must be code. Never continue reasoning, writing bullet points,
-    or restating the problem inside <code_output>. If you are still uncertain, finish your reasoning inside <thinking> first,
-    then commit to a solution and write only code inside <code_output>. Thinking inside <code_output> corrupts the output file.
-12. Inside <code_output>: do NOT wrap in markdown code fences.
-13. Inside <code_output>: output ONLY the test file content (or test file // ---MOCKS_FILE--- mocks file).
-    If you use // ---MOCKS_FILE---, everything AFTER the separator is the mocks file. The mocks file must contain ONLY:
-    vi.fn()/jest.fn() mock definitions, vi.mock() module stubs, shared constants, and beforeEach resets.
-    NEVER put describe(), it(), test(), or expect() calls after the separator — those belong BEFORE it, in the test file.
-    Writing test blocks in the mocks section corrupts the shared mock file for every other test in the project.
-14. NEVER output vitest.config.ts, jest.config.js, or any framework configuration. If an import cannot be resolved,
-    fix it by mocking it with vi.mock() — NOT by modifying the test runner configuration. You cannot modify config
-    files from here, and outputting them will cause the entire mocks file to be discarded.
+    CRITICAL: Once you open <code_output>, ALL remaining output must be code. Finish ALL reasoning inside <thinking> first.
+${ruleCount + 2 <= ruleCount + 1 ? '' : `${ruleCount + 2}. Inside <code_output>: do NOT wrap in markdown code fences.`}${jsOutputRules}
 
 A good test suite you write will have:
 - A happy-path test that confirms the main behavior works
 - At least one edge-case test per function (empty input, zero, null, boundary values)
-- Error-path tests for any function that throws, rejects, or returns an error state
-- Async tests properly awaited — never fire-and-forget
+- Error-path tests for any function that throws, rejects, or returns an error state — but ONLY assert the observable effect. Read the catch block first: does it set state, call a notification, or just log? Test only what's observable.
+- Async tests properly awaited — never fire-and-forget${hookSuiteNote}
 - Clear, descriptive test names that read like a spec ("returns null when user is not authenticated")
 
 Common failure causes to avoid:
-- Wrong import paths (use aliases, not relative ../../ paths if the project uses aliases)
-- Importing from test utils that are not in the dependency list
-- Mocking modules that are already mocked in the setup file
-- Using browser globals without jsdom (only use them if the setup file configures jsdom)
-- Forgetting to await async functions
-- React 18 act() async rule: ALWAYS await act() when it wraps async code — \`await act(async () => { ... })\`. Never store an unawaited act() call in a variable like \`const promise = act(async () => ...)\` without immediately awaiting it. Unawaited act() calls cause React state updates to leak into subsequent tests, producing cascading timeout failures and "Cannot read properties of null" errors in unrelated tests.
-- vi.mock() paths are relative to the TEST FILE, not the source file. If the test is at src/features/auth/__tests__/Login.test.tsx and you need to mock src/components/Button, the mock path is ../../../components/Button — count directories from the TEST file's location, not the source file's.
-- Loading state architecture: before asserting that a button is disabled during loading, check whether the component hides the button entirely and replaces it with a spinner. If the button is unmounted during loading rather than disabled, \`getByText("Submit")\` will throw — test for the spinner instead, or use \`queryByText("Submit")\` with a null assertion.
-- Unhandled promise rejections: when testing error paths with mockRejectedValueOnce, the rejection must be fully resolved inside the test. After triggering the action, always use await waitFor(() => expect(errorElement).toBeInTheDocument()) to tie the rejection to the test scope. Never let a rejected mock promise go unawaited — Vitest will flag it as an unhandled error even if the component catches it internally.
-- Real HTTP requests: NEVER let a real network call reach the internet. If you see a real URL (https://...), a 401/403 error, or a network timeout in test output, your mock is missing or at the wrong level. Every function that calls an API must be mocked before the test runs.
-- Barrel file vi.mock() resolution: if a module is exported from a barrel/index file (e.g. src/components/index.ts re-exports Foo from ./Foo), mock the DIRECT file path, not the barrel. vi.mock('../components') mocks the barrel but the component may import directly from '../components/Foo' — making the mock miss. Always mock the specific module the source file actually imports. If unsure, mock both the direct file AND the barrel.
+${universalCauses}${jsCauses}${vitestCauses}${reactCauses}
 
 Test file pattern for this project: ${env.testFilePattern}
 
 You MUST wrap your reasoning inside <thinking> tags and your complete file output inside <code_output> tags. Do not output anything outside of these two tags.`;
 }
 export function buildGeneratePrompt(args) {
-    const { sourceFile, sourceCode, existingTestCode, uncoveredFunctions, uncoveredLines, sourceImportPath, mocksCode, mocksImportPath, setupFileCode, packageDeps, tsconfigPaths, typeDefinitions, localImportPaths, reactMajorVersion, projectMemory, } = args;
+    const { sourceFile, existingTestCode, uncoveredFunctions, uncoveredLines, sourceImportPath, mocksCode, mocksImportPath, setupFileCode, packageDeps, tsconfigPaths, typeDefinitions, localImportPaths, reactMajorVersion, projectMemory, } = args;
+    const sourceCode = compressSource(args.sourceCode);
     const parts = [];
     if (projectMemory) {
         parts.push(projectMemory);
@@ -319,11 +534,36 @@ export function buildGeneratePrompt(args) {
             parts.push(`\nSHARED MOCK FILE (import from: '${mocksImportPath}')`);
             if (exports.length > 0) {
                 parts.push(`Available exports: ${exports.join(', ')}`);
-                parts.push(`↑ Before writing the test, identify which of these match the source file's domain and import every relevant one. Do NOT create inline mocks for anything already in this list.\n↑ NAMES ARE FROZEN — use each export exactly as spelled above. Never rename, recase, or restructure an existing mock (e.g. do not change mockFoo → MockFoo or const → class). Renaming breaks every other test that imports the original name.`);
+                parts.push(`↑ Every name above ALREADY EXISTS in the mock file — do NOT re-declare any of them in a ---MOCKS_FILE--- block. Only declare names that do NOT appear in this list.\n↑ Before writing the test, identify which of these match the source file's domain and import every relevant one. Do NOT create inline mocks for anything already in this list.\n↑ NAMES ARE FROZEN — use each export exactly as spelled above. Never rename, recase, or restructure an existing mock (e.g. do not change mockFoo → MockFoo or const → class). Renaming breaks every other test that imports the original name.`);
             }
-            parts.push('```');
-            parts.push(mocksCode);
-            parts.push('```');
+            const inventory = parseMockInventory(mocksCode);
+            if (inventory.length > 0) {
+                const maxLen = Math.max(...inventory.map(e => e.modulePath.length));
+                parts.push('\nMOCK MODULE INVENTORY — modules already vi.mocked:');
+                for (const entry of inventory) {
+                    const path = `'${entry.modulePath}'`.padEnd(maxLen + 2);
+                    const exp = entry.exports.length > 0
+                        ? entry.exports.join(', ')
+                        : '(no simple key exports)';
+                    parts.push(`  ${path} → ${exp}`);
+                }
+                parts.push('MOCK EDITING RULES — follow exactly when returning a ---MOCKS_FILE--- block:');
+                parts.push('• A module in the inventory is ALREADY mocked. To add a new export: write ONE updated vi.mock() block with ALL existing exports PLUS the new one. NEVER write a second vi.mock() for the same path — Vitest only honours the last one, so the second block silently wipes every export from the first.');
+                parts.push('• New export const mockFoo = vi.fn(): declare it near other exports of the same domain. Add its .mockReset() or .mockClear() to the EXISTING beforeEach — do NOT create an extra beforeEach for one variable.');
+                parts.push('• New module (not in inventory): append a new vi.mock() at the END of the file, before the final beforeEach.');
+            }
+            // Generate prompt: send only the sections of the mock file relevant to this source file
+            // (vi.mock() blocks for modules it imports + export declarations for inferred mock names).
+            // Skips unrelated mocks entirely. Falls back to the full file if nothing matches.
+            const relevantMocks = filterMockFileForSource(mocksCode, sourceCode);
+            if (relevantMocks !== mocksCode || relevantMocks.split('\n').length < 80) {
+                // Filtered down or already small — worth sending
+                parts.push('```');
+                parts.push(relevantMocks);
+                parts.push('```');
+            }
+            // If filter returned the full file unchanged AND it's large, skip it —
+            // the exports list + inventory above already cover what the AI needs.
         }
         else {
             parts.push(`\nSHARED MOCK FILE (does not exist yet) — create it if you need mocks, return it via the // ---MOCKS_FILE--- separator. Path: '${mocksImportPath}'\n⚠ Mocks file must contain ONLY vi.fn()/vi.mock() definitions and beforeEach resets — NEVER describe/it/test/expect blocks.`);
@@ -335,6 +575,10 @@ export function buildGeneratePrompt(args) {
     const nextGuidance = buildNextJsGuidance(analyzeNextJs(sourceCode));
     if (nextGuidance)
         parts.push(`\n${nextGuidance}`);
+    if (detectReactNative(packageDeps ?? null))
+        parts.push(`\n${buildReactNativeGuidance()}`);
+    else if (detectVue(packageDeps ?? null))
+        parts.push(`\n${buildVueGuidance()}`);
     const displaySource = buildSourceSkeleton(sourceCode, uncoveredFunctions);
     const skeletonized = shouldUseSkeleton(sourceCode);
     parts.push(`\nSOURCE FILE: ${sourceFile}${skeletonized ? ' (large file — bodies of already-covered functions collapsed; uncovered functions shown in full)' : ''}`);
@@ -363,7 +607,8 @@ export function buildGeneratePrompt(args) {
     return parts.join('\n');
 }
 export function buildFixPrompt(args) {
-    const { testFile, testCode, sourceFile, sourceCode, sourceImportPath, errorOutput, mocksCode, mocksImportPath, setupFileCode, packageDeps, tsconfigPaths, typeDefinitions, localImportPaths, reactMajorVersion, projectMemory } = args;
+    const { testFile, testCode, sourceFile, sourceImportPath, errorOutput, mocksCode, mocksImportPath, setupFileCode, packageDeps, tsconfigPaths, typeDefinitions, localImportPaths, reactMajorVersion, projectMemory } = args;
+    const sourceCode = args.sourceCode ? compressSource(args.sourceCode) : null;
     const parts = [];
     parts.push('Your job is to fix a failing test file. Do NOT rewrite it from scratch — preserve every existing test and only change what is necessary to make them pass.');
     parts.push('');
@@ -404,19 +649,45 @@ export function buildFixPrompt(args) {
     if (mocksImportPath) {
         if (mocksCode) {
             const exports = parseMockExports(mocksCode);
+            // Filter to only the sections this failing test actually imports.
+            // A billing test importing 6 mocks gets ~40 lines instead of 820.
+            // The filter already does the heavy lifting — no compression needed on top.
+            // Line numbers in the inventory refer to lines in THIS filtered slice.
+            const compressed = filterMockFileForTest(mocksCode, args.testCode);
             parts.push(`\nSHARED MOCK FILE (import from: '${mocksImportPath}')`);
             if (exports.length > 0) {
                 parts.push(`Available exports: ${exports.join(', ')}`);
-                parts.push(`↑ Check this list against the source file — import every relevant mock. Do NOT create inline mocks for anything already exported here.`);
+                parts.push(`↑ Every name above ALREADY EXISTS in the mock file — do NOT re-declare any of them in a ---MOCKS_FILE--- block. Only declare names that do NOT appear in this list.\n↑ Import every mock that matches the source file's domain. Do NOT create inline mocks for anything already in this list.`);
+            }
+            // Parse inventory from the compressed file so line numbers match what the AI sees below
+            const inventory = parseMockInventory(compressed);
+            if (inventory.length > 0) {
+                const maxLen = Math.max(...inventory.map(e => e.modulePath.length));
+                parts.push('\nMOCK MODULE INVENTORY — modules already vi.mocked (line numbers refer to the file below):');
+                for (const entry of inventory) {
+                    const path = `'${entry.modulePath}'`.padEnd(maxLen + 2);
+                    const exp = entry.exports.length > 0
+                        ? entry.exports.join(', ')
+                        : '(no simple key exports)';
+                    parts.push(`  Line ${String(entry.lineNumber).padStart(4)}: ${path} → ${exp}`);
+                }
+                parts.push('MOCK EDITING RULES — follow exactly when returning a ---MOCKS_FILE--- block:');
+                parts.push('• A module in the inventory is ALREADY mocked. To add a new export: write ONE updated vi.mock() block with ALL existing exports PLUS the new one. NEVER write a second vi.mock() for the same path — Vitest only honours the last one, so the second block silently wipes every export from the first.');
+                parts.push('• New export const mockFoo = vi.fn(): declare it near other exports of the same domain. Add its .mockReset() or .mockClear() to the EXISTING beforeEach — do NOT create an extra beforeEach for one variable.');
+                parts.push('• New module (not in inventory): append a new vi.mock() at the END of the file, before the final beforeEach.');
             }
             parts.push('```');
-            parts.push(mocksCode);
+            parts.push(compressed);
             parts.push('```');
         }
         else {
             parts.push(`\nSHARED MOCK FILE (does not exist yet) — create it if you need mocks, return it via the // ---MOCKS_FILE--- separator. Path: '${mocksImportPath}'\n⚠ Mocks file must contain ONLY vi.fn()/vi.mock() definitions and beforeEach resets — NEVER describe/it/test/expect blocks.`);
         }
     }
+    if (detectReactNative(packageDeps ?? null))
+        parts.push(`\n${buildReactNativeGuidance()}`);
+    else if (detectVue(packageDeps ?? null))
+        parts.push(`\n${buildVueGuidance()}`);
     if (sourceFile && sourceCode) {
         const networkGuidance = buildNetworkMockingGuidance(analyzeNetworkDeps(sourceCode), sourceFile);
         if (networkGuidance)
@@ -424,9 +695,9 @@ export function buildFixPrompt(args) {
         const nextGuidance = buildNextJsGuidance(analyzeNextJs(sourceCode));
         if (nextGuidance)
             parts.push(`\n${nextGuidance}`);
-        // For fix: skeleton with no function expansion — the test already tells the AI
-        // which function matters; showing signatures is enough to understand the API.
-        const FIX_SKELETON_THRESHOLD = 150;
+        // For fix: show the full source so the AI can see exact return shapes, field names,
+        // and mock structure. Only skeleton truly enormous files to stay within token limits.
+        const FIX_SKELETON_THRESHOLD = 600;
         const displaySource = sourceCode.split('\n').length > FIX_SKELETON_THRESHOLD
             ? buildSourceSkeleton(sourceCode, [])
             : sourceCode;
@@ -459,6 +730,9 @@ export function buildFixPrompt(args) {
     const bleedWarning = detectThinkingBleed(errorOutput);
     if (bleedWarning)
         parts.push(`\n⚠️  ${bleedWarning}`);
+    const tsErrorWarning = detectTypeScriptErrors(errorOutput);
+    if (tsErrorWarning)
+        parts.push(`\n⚠️  ${tsErrorWarning}`);
     // Detect wrong mock pattern: test uses vi.mock('axios') but source uses axios.create()
     const testHasAxiosMock = /vi\.mock\(['"]axios['"]\)/.test(testCode);
     const sourceHasCustomInstance = sourceCode != null && /axios\.create\s*\(/.test(sourceCode);
@@ -475,13 +749,64 @@ export function buildFixPrompt(args) {
     parts.push('\nReturn your response in the required <thinking> + <code_output> format.');
     return parts.join('\n');
 }
+export function buildPollutionFixPrompt(args) {
+    const { pollutorFile, pollutorCode, victimFile, victimCode, victimError } = args;
+    const parts = [];
+    parts.push('This test file corrupts shared state and causes another test file to fail when run afterwards.');
+    parts.push('Your job: add afterEach() or afterAll() cleanup to reset whatever global state this file mutates.');
+    parts.push('');
+    parts.push('Rules:');
+    parts.push('- DO NOT remove, rewrite, or alter any existing test logic or assertions');
+    parts.push('- ONLY add cleanup hooks — nothing else');
+    parts.push('- The fix must be minimal: add the smallest afterEach/afterAll that resets the leaked state');
+    parts.push('');
+    parts.push(`POLLUTING FILE (add cleanup here): ${pollutorFile}`);
+    parts.push('```');
+    parts.push(pollutorCode);
+    parts.push('```');
+    parts.push('');
+    parts.push(`VICTIM FILE (fails when run after the polluting file): ${victimFile}`);
+    parts.push('```');
+    parts.push(victimCode);
+    parts.push('```');
+    parts.push('');
+    parts.push('ERROR the victim gets when run after this file:');
+    parts.push('```');
+    parts.push(victimError.slice(0, 2000));
+    parts.push('```');
+    parts.push('');
+    parts.push('HOW TO DIAGNOSE:');
+    parts.push("1. Read the victim's error — what value is null/undefined/wrong, or what element is missing?");
+    parts.push('2. Search the polluting file for where that thing is set or modified (localStorage, window properties, module singletons, mock state, React context, timers, environment variables)');
+    parts.push('3. Add afterEach (or afterAll) in the polluting file to reset exactly that thing');
+    parts.push('');
+    parts.push('Common cleanup patterns:');
+    parts.push('  afterEach(() => { vi.restoreAllMocks(); vi.clearAllMocks() })');
+    parts.push('  afterEach(() => { localStorage.clear(); sessionStorage.clear() })');
+    parts.push('  afterEach(() => { delete (window as any).myProperty })');
+    parts.push('  afterEach(() => { myModuleSingleton.reset() })');
+    parts.push('  afterEach(() => { vi.useRealTimers() })');
+    parts.push('');
+    parts.push('Return the complete modified polluting file in the required <thinking> + <code_output> format.');
+    return parts.join('\n');
+}
 export function buildRetryPrompt(failureOutput, failedAttempts = []) {
     const parts = [];
     if (failedAttempts.length > 0) {
         parts.push(`You have already attempted to fix this ${failedAttempts.length} time(s). Do NOT repeat these failed approaches:`);
         for (const a of failedAttempts) {
-            const hyp = a.hypothesis ? `Planned: [${a.hypothesis.slice(0, 300)}]` : '(no plan recorded)';
-            parts.push(`- Attempt ${a.attemptNumber}: ${hyp} → failed with: ${a.failureReason.slice(0, 300)}`);
+            let hypContext = a.hypothesis;
+            if (hypContext) {
+                const planMatch = hypContext.match(/(?:4\.\s*WHY IT FAILED|5\.\s*PLAN)[\s\S]*/i);
+                if (planMatch) {
+                    hypContext = planMatch[0];
+                }
+                else if (hypContext.length > 800) {
+                    hypContext = '...' + hypContext.slice(-800);
+                }
+            }
+            const hyp = hypContext ? `[${hypContext.slice(0, 1000)}]` : '(no plan recorded)';
+            parts.push(`- Attempt ${a.attemptNumber} Reasoning: ${hyp}\n  Failed with: ${a.failureReason.slice(0, 800)}`);
         }
         parts.push('');
     }
@@ -501,6 +826,9 @@ export function buildRetryPrompt(failureOutput, failedAttempts = []) {
     const bleedWarning = detectThinkingBleed(failureOutput);
     if (bleedWarning)
         parts.push(`\n⚠️  ${bleedWarning}`);
+    const tsErrorWarning = detectTypeScriptErrors(failureOutput);
+    if (tsErrorWarning)
+        parts.push(`\n⚠️  ${tsErrorWarning}`);
     parts.push('');
     parts.push('Common causes:');
     parts.push('- Wrong import path — check the path aliases and dependency list from the original prompt');