phantom-pr 0.4.19 → 0.5.0

package/dist/core/validation/coverageVerifier.js

@@ -0,0 +1,226 @@
+/**
+ * Post-generation validator that verifies generated tests cover all identified behaviors.
+ * Returns structured validation result with specific rejection codes.
+ *
+ * Static analysis only - does NOT execute the test.
+ */
+/**
+ * Extract test block names from test file content.
+ * Matches it('...'), test('...'), describe('...') patterns.
+ */
+function extractTestNames(testContent) {
+    const names = [];
+    // Match it('name', ...), test('name', ...), describe('name', ...)
+    const testBlockRe = /(?:it|test|describe)\s*\(\s*['"`]([^'"`]+)['"`]/g;
+    for (const match of testContent.matchAll(testBlockRe)) {
+        const name = match[1];
+        if (name)
+            names.push(name.toLowerCase());
+    }
+    return names;
+}
+/**
+ * Extract jest.mock() and vi.mock() calls from test content.
+ */
+function extractMockedModules(testContent) {
+    const mocked = new Set();
+    // jest.mock('path') or vi.mock('path')
+    const mockRe = /(?:jest|vi)\.mock\s*\(\s*['"`]([^'"`]+)['"`]/g;
+    for (const match of testContent.matchAll(mockRe)) {
+        const path = match[1];
+        if (path)
+            mocked.add(path);
+    }
+    return mocked;
+}
+/**
+ * Check if test content appears to test branch conditions.
+ * Looks for patterns that suggest conditional testing.
+ */
+function countBranchTests(testContent, branches) {
+    const testNames = extractTestNames(testContent);
+    const contentLower = testContent.toLowerCase();
+    let testedCount = 0;
+    for (const branch of branches) {
+        const conditionLower = branch.condition.toLowerCase();
+        // Check if any test name mentions the condition
+        const mentionedInTestName = testNames.some(name => name.includes(conditionLower) ||
+            conditionLower.includes(name.split(' ')[0] ?? ''));
+        // Check for common branch testing patterns
+        const hasConditionTest = contentLower.includes(`when ${conditionLower}`) ||
+            contentLower.includes(`if ${conditionLower}`) ||
+            contentLower.includes(`${conditionLower} is true`) ||
+            contentLower.includes(`${conditionLower} is false`) ||
+            contentLower.includes(`should render when ${conditionLower}`) ||
+            contentLower.includes(`should not render when`);
+        // Check for assertion patterns that might test the branch
+        const hasAssertions = contentLower.includes('tobetruthy') ||
+            contentLower.includes('tobefalsy') ||
+            contentLower.includes('tobeinthedocument') ||
+            contentLower.includes('not.tobeinthedocument');
+        if (mentionedInTestName || hasConditionTest || hasAssertions) {
+            testedCount++;
+        }
+    }
+    // Heuristic: if there are multiple test blocks covering different scenarios,
+    // assume branches are being adequately tested (lenient to avoid false rejections)
+    if (branches.length > 0 && testNames.length >= 2) {
+        // If we have descriptive test names, count them as covering branches
+        testedCount = Math.max(testedCount, Math.min(branches.length, testNames.length));
+    }
+    return testedCount;
+}
+/**
+ * Check if test content appears to test React effects.
+ */
+function countEffectTests(testContent, effects) {
+    const contentLower = testContent.toLowerCase();
+    const testNames = extractTestNames(testContent);
+    // Check for effect-related patterns
+    const hasEffectTest = contentLower.includes('useeffect') ||
+        contentLower.includes('effect') ||
+        contentLower.includes('on mount') ||
+        contentLower.includes('onmount') ||
+        contentLower.includes('lifecycle') ||
+        contentLower.includes('side effect');
+    // Check for async patterns often used with effects
+    const hasAsyncPattern = contentLower.includes('await') ||
+        contentLower.includes('waitfor') ||
+        contentLower.includes('act(');
+    // Check for cleanup patterns (testing cleanup implies testing the effect)
+    const hasCleanupPattern = contentLower.includes('unmount') ||
+        contentLower.includes('cleanup') ||
+        contentLower.includes('clearinterval') ||
+        contentLower.includes('cleartimeout');
+    // Check for render patterns (basic effect tests render the component)
+    const hasRenderPattern = contentLower.includes('render(');
+    // If any effect-related pattern is found, assume effects are being tested
+    if (hasEffectTest || hasAsyncPattern || hasCleanupPattern) {
+        return effects.length;
+    }
+    // If there are multiple test cases and render is used, be lenient
+    if (testNames.length >= 2 && hasRenderPattern) {
+        return effects.length;
+    }
+    return 0;
+}
+/**
+ * Check if test content appears to test cleanup behavior.
+ */
+function hasCleanupTest(testContent) {
+    const contentLower = testContent.toLowerCase();
+    return (contentLower.includes('unmount') ||
+        contentLower.includes('cleanup') ||
+        contentLower.includes('clearinterval') ||
+        contentLower.includes('cleartimeout') ||
+        contentLower.includes('removelistener') ||
+        contentLower.includes('unsubscribe') ||
+        contentLower.includes('dispose'));
+}
+/**
+ * Extract child component names from import path.
+ */
+function normalizeImportToName(importPath) {
+    // Get the last segment and strip extension
+    const segments = importPath.split('/');
+    const last = segments[segments.length - 1] ?? importPath;
+    return last.replace(/\.(tsx?|jsx?)$/, '');
+}
+/**
+ * Check which child components are mocked in the test.
+ */
+function findMockedChildren(testContent, children) {
+    const mockedModules = extractMockedModules(testContent);
+    const mocked = [];
+    for (const child of children) {
+        // Check if the child's import path is mocked
+        const isMocked = mockedModules.has(child.importPath) ||
+            [...mockedModules].some(m => m.includes(child.name) ||
+                normalizeImportToName(m).toLowerCase() === child.name.toLowerCase());
+        if (isMocked) {
+            mocked.push(child.name);
+        }
+    }
+    // Also check for inline mocks: jest.fn() assignments that mention component names
+    for (const child of children) {
+        if (!mocked.includes(child.name)) {
+            const inlineMockRe = new RegExp(`${child.name}[\\s\\S]*?=.*?jest\\.fn|vi\\.fn`, 'i');
+            if (inlineMockRe.test(testContent)) {
+                mocked.push(child.name);
+            }
+        }
+    }
+    return [...new Set(mocked)].sort();
+}
+/**
+ * Verify that generated test adequately covers the analyzed component.
+ *
+ * @param analysis - Component analysis from AST extraction
+ * @param generatedTestContent - The generated test file content
+ * @returns ValidationResult with coverage details and any rejections
+ */
+export function verifyCoverage(analysis, generatedTestContent) {
+    const rejections = [];
+    const warnings = [];
+    // Count branch coverage
+    const branchesIdentified = analysis.branches.length;
+    const branchesTested = countBranchTests(generatedTestContent, analysis.branches);
+    // Count effect coverage
+    const effectsIdentified = analysis.effects.length;
+    const effectsTested = countEffectTests(generatedTestContent, analysis.effects);
+    // Check cleanup requirement
+    const cleanupRequired = analysis.effects.some(e => e.hasCleanup);
+    const cleanupTested = cleanupRequired ? hasCleanupTest(generatedTestContent) : true;
+    // Check child mocking
+    const childrenIdentified = analysis.children.map(c => c.name).sort();
+    const childrenMocked = findMockedChildren(generatedTestContent, analysis.children);
+    // Build coverage report
+    const coverage = {
+        branchesIdentified,
+        branchesTested,
+        effectsIdentified,
+        effectsTested,
+        cleanupRequired,
+        cleanupTested,
+        childrenIdentified,
+        childrenMocked,
+    };
+    // Apply rejection rules
+    // Rule: All branches should be tested
+    if (branchesIdentified > 0 && branchesTested < branchesIdentified) {
+        // Only reject if significantly under-tested
+        const coverage = branchesTested / branchesIdentified;
+        if (coverage < 0.5) {
+            rejections.push('llm_reject_incomplete_branch_coverage');
+        }
+        else {
+            warnings.push(`Branch coverage: ${branchesTested}/${branchesIdentified} (${Math.round(coverage * 100)}%)`);
+        }
+    }
+    // Rule: Cleanup must be tested if required
+    if (cleanupRequired && !cleanupTested) {
+        rejections.push('llm_reject_missing_cleanup_test');
+    }
+    // Rule: All child components should be mocked
+    const unmockedChildren = childrenIdentified.filter(c => !childrenMocked.includes(c));
+    if (unmockedChildren.length > 0) {
+        // Only reject if more than half are unmocked
+        if (unmockedChildren.length > childrenIdentified.length / 2) {
+            rejections.push('llm_reject_unmocked_child');
+        }
+        else {
+            warnings.push(`Unmocked children: ${unmockedChildren.join(', ')}`);
+        }
+    }
+    // Rule: Effects should be tested
+    if (effectsIdentified > 0 && effectsTested === 0) {
+        rejections.push('llm_reject_missing_effect_test');
+    }
+    return {
+        valid: rejections.length === 0,
+        rejections,
+        warnings,
+        coverage,
+    };
+}
+//# sourceMappingURL=coverageVerifier.js.map

package/dist/core/validation/coverageVerifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverageVerifier.js","sourceRoot":"","sources":["../../../src/core/validation/coverageVerifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH;;;GAGG;AACH,SAAS,gBAAgB,CAAC,WAAmB;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,kEAAkE;IAClE,MAAM,WAAW,GAAG,kDAAkD,CAAC;IACvE,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,WAAmB;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,uCAAuC;IACvC,MAAM,MAAM,GAAG,+CAA+C,CAAC;IAC/D,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,WAAmB,EAAE,QAAuC;IACpF,MAAM,SAAS,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAE/C,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;QAEtD,gDAAgD;QAChD,MAAM,mBAAmB,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChD,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;YAC7B,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAClD,CAAC;QAEF,2CAA2C;QAC3C,MAAM,gBAAgB,GACpB,YAAY,CAAC,QAAQ,CAAC,QAAQ,cAAc,EAAE,CAAC;YAC/C,YAAY,CAAC,QAAQ,CAAC,MAAM,cAAc,EAAE,CAAC;YAC7C,YAAY,CAAC,QAAQ,CAAC,GAAG,cAAc,UAAU,CAAC;YAClD,YAAY,CAAC,QAAQ,CAAC,GAAG,cAAc,WAAW,CAAC;YACnD,YAAY,CAAC,QAAQ,CAAC,sBAAsB,cAAc,EAAE,CAAC;YAC7D,YAAY,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;QAElD,0DAA0D;QAC1D,MAAM,aAAa,GACjB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC;YACnC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;YAClC,YAAY,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YAC1C,YAAY,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;QAEjD,IAAI,mBAAmB,IAAI,gBAAgB,IAAI,aAAa,EAAE,CAAC;YAC7D,WAAW,EAAE,CAAC;QAChB,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,kFAAkF;IAClF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,qEAAqE;QACrE,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,WAAmB,EAAE,OAAqC;IAClF,MAAM,YAAY,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAEhD,oCAAoC;IACpC,MAAM,aAAa,GACjB,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;QAClC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/B,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QACjC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;QAClC,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAEvC,mDAAmD;IACnD,MAAM,eAAe,GACnB,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC9B,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAEhC,0EAA0E;IAC1E,MAAM,iBAAiB,GACrB,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,eAAe,CAAC;QACtC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IAExC,sEAAsE;IACtE,MAAM,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IAE1D,0EAA0E;IAC1E,IAAI,aAAa,IAAI,eAAe,IAAI,iBAAiB,EAAE,CAAC;QAC1D,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,CAAC;IAED,kEAAkE;IAClE,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC,MAAM,CAAC;IACxB,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,WAAmB;IACzC,MAAM,YAAY,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAE/C,OAAO,CACL,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,YAAY,CAAC,QAAQ,CAAC,eAAe,CAAC;QACtC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC;QACrC,YAAY,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QACvC,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC;QACpC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CACjC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC;IACzD,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,WAAmB,EACnB,QAAuC;IAEvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,6CAA6C;QAC7C,MAAM,QAAQ,GACZ,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YACnC,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBACtB,qBAAqB,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CACpE,CAAC;QAEJ,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,iCAAiC,EAAE,GAAG,CAAC,CAAC;YACrF,IAAI,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,QAA2B,EAC3B,oBAA4B;IAE5B,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,wBAAwB;IACxB,MAAM,kBAAkB,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;IACpD,MAAM,cAAc,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAEjF,wBAAwB;IACxB,MAAM,iBAAiB,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;IAClD,MAAM,aAAa,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAE/E,4BAA4B;IAC5B,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpF,sBAAsB;IACtB,MAAM,kBAAkB,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,MAAM,cAAc,GAAG,kBAAkB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAEnF,wBAAwB;IACxB,MAAM,QAAQ,GAAmB;QAC/B,kBAAkB;QAClB,cAAc;QACd,iBAAiB;QACjB,aAAa;QACb,eAAe;QACf,aAAa;QACb,kBAAkB;QAClB,cAAc;KACf,CAAC;IAEF,wBAAwB;IAExB,sCAAsC;IACtC,IAAI,kBAAkB,GAAG,CAAC,IAAI,cAAc,GAAG,kBAAkB,EAAE,CAAC;QAClE,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,cAAc,GAAG,kBAAkB,CAAC;QACrD,IAAI,QAAQ,GAAG,GAAG,EAAE,CAAC;YACnB,UAAU,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,oBAAoB,cAAc,IAAI,kBAAkB,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC;IAED,2CAA2C;IAC3C,IAAI,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IAED,8CAA8C;IAC9C,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,6CAA6C;QAC7C,IAAI,gBAAgB,CAAC,MAAM,GAAG,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,UAAU,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,sBAAsB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,IAAI,iBAAiB,GAAG,CAAC,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACjD,UAAU,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IAED,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC9B,UAAU;QACV,QAAQ;QACR,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/core/validation/index.d.ts

@@ -0,0 +1,2 @@
+export type { RejectionCode, CoverageReport, ValidationResult, } from './types.js';
+export { verifyCoverage } from './coverageVerifier.js';

package/dist/core/validation/index.js

@@ -0,0 +1,2 @@
+export { verifyCoverage } from './coverageVerifier.js';
+//# sourceMappingURL=index.js.map

package/dist/core/validation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/validation/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/core/validation/types.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Types for post-generation validation.
+ * Verifies generated tests cover all identified behaviors.
+ */
+/** Rejection codes matching existing guardrail pattern (llm_reject_*). */
+export type RejectionCode = 'llm_reject_incomplete_branch_coverage' | 'llm_reject_missing_cleanup_test' | 'llm_reject_unmocked_child' | 'llm_reject_missing_effect_test';
+/** Coverage report showing what was analyzed vs tested. */
+export type CoverageReport = {
+    branchesIdentified: number;
+    branchesTested: number;
+    effectsIdentified: number;
+    effectsTested: number;
+    cleanupRequired: boolean;
+    cleanupTested: boolean;
+    childrenIdentified: string[];
+    childrenMocked: string[];
+};
+/** Result of coverage verification. */
+export type ValidationResult = {
+    valid: boolean;
+    rejections: RejectionCode[];
+    warnings: string[];
+    coverage: CoverageReport;
+};

package/dist/core/validation/types.js

@@ -0,0 +1,6 @@
+/**
+ * Types for post-generation validation.
+ * Verifies generated tests cover all identified behaviors.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/validation/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/core/validation/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "phantom-pr",
-  "version": "0.4.19",
+  "version": "0.5.0",
   "private": false,
   "description": "CI-friendly CLI that opens PRs with passing Jest unit tests.",
   "keywords": [