@planu/cli 0.71.0 → 0.73.0

package/dist/engine/validator/criterion-enricher.js

@@ -0,0 +1,186 @@
+// engine/validator/criterion-enricher.ts — Enrich acceptance criteria with verify blocks (SPEC-186)
+//
+// Adds machine-verifiable `verify` blocks to acceptance criteria text.
+// Verification metadata is stored as HTML comments in spec.md output —
+// invisible in rendered markdown but fully parseable by tooling.
+// ---------------------------------------------------------------------------
+// Built-in templates — priority-ordered (first match wins)
+// ---------------------------------------------------------------------------
+/** Exported for extensibility: callers may add domain-specific templates. */
+export const VERIFY_TEMPLATES = [
+    // i18n / hardcoded strings
+    {
+        keywords: ['hardcoded string', 'hardcoded text', 'raw string', 'literal string'],
+        type: 'grep_absent',
+        patternTemplate: '[áéíóúñ¿¡]|"[A-Z][a-z]+ [a-z]+"',
+        scopeTemplate: 'src/**/*.{tsx,jsx,vue}',
+        description: 'No hardcoded strings in components',
+    },
+    // Type safety
+    {
+        keywords: ['no any type', 'strict typing', 'no typescript any', 'no-any', 'no any'],
+        type: 'grep_absent',
+        patternTemplate: ':\\s*any[\\s,;>)]',
+        scopeTemplate: 'src/**/*.ts',
+        description: 'No any types in source',
+    },
+    // Security — no secrets
+    {
+        keywords: ['no secrets', 'no credentials', 'no api key', 'no password', 'no hardcoded secret'],
+        type: 'grep_absent',
+        patternTemplate: 'password\\s*=|api_key\\s*=|secret\\s*=',
+        scopeTemplate: 'src/**/*.ts',
+        description: 'No hardcoded secrets',
+    },
+    // Test coverage / test existence
+    {
+        keywords: ['test for every', 'test coverage', 'tests exist for', 'test file'],
+        type: 'file_exists',
+        scopeTemplate: 'tests/**/*.test.ts',
+        description: 'Test files exist for source files',
+    },
+    // File / line limits
+    {
+        keywords: ['no file exceeds', 'max lines', 'maximum lines', 'line limit', 'lines per file'],
+        type: 'metric_max',
+        expected: 300,
+        description: 'No file exceeds line limit',
+    },
+    // Error handling
+    {
+        keywords: ['error handling', 'handles errors', 'try catch', 'try/catch', 'error boundary'],
+        type: 'grep_present',
+        patternTemplate: 'try\\s*\\{|catch\\s*\\(',
+        description: 'Error handling present',
+    },
+    // Imports / dependency injection / architecture pattern
+    {
+        keywords: ['import from', 'uses dependency injection', 'follows pattern', 'injects'],
+        type: 'grep_present',
+        description: 'Pattern usage detected',
+    },
+];
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+/** Extract the first integer found in a string (e.g. "200 lines" → 200). */
+function extractNumber(text) {
+    const match = /\b(\d+)\b/.exec(text);
+    return match?.[1] !== undefined ? parseInt(match[1], 10) : undefined;
+}
+/**
+ * Extract an explicit scope path from criterion text.
+ * Only matches directory paths that contain at least one slash (e.g. "src/components/").
+ * This prevents plain words like "source" or "target" from being treated as paths.
+ */
+function extractScope(text) {
+    // Require at least one slash in the captured path to distinguish paths from words
+    const match = /\bin\s+([\w.*{},-]+(?:\/[\w.*{},-]*)+(?:\/\*\*)?)|under\s+([\w.*{},-]+(?:\/[\w.*{},-]*)+(?:\/\*\*)?)/i.exec(text);
+    const raw = match?.[1] ?? match?.[2];
+    if (!raw) {
+        return undefined;
+    }
+    // Normalize trailing slash before appending glob
+    const normalized = raw.replace(/\/+$/, '');
+    return normalized.endsWith('/**') || normalized.includes('*') ? normalized : `${normalized}/**`;
+}
+// ---------------------------------------------------------------------------
+// Public API
+// ---------------------------------------------------------------------------
+/**
+ * Match a criterion text against the built-in (and optionally injected) templates.
+ * Returns the first matching template or null if none match.
+ */
+export function matchTemplate(criterion) {
+    const lower = criterion.toLowerCase();
+    for (const template of VERIFY_TEMPLATES) {
+        if (template.keywords.some((kw) => lower.includes(kw))) {
+            return template;
+        }
+    }
+    return null;
+}
+/**
+ * Build a VerifyBlock from a matched template, extracting numeric/scope hints
+ * from the criterion text when possible.
+ */
+export function buildVerifyBlock(criterion, template) {
+    const block = {
+        type: template.type,
+        description: template.description,
+    };
+    if (template.patternTemplate !== undefined) {
+        block.pattern = template.patternTemplate;
+    }
+    // Prefer explicit scope from criterion text; fall back to template default
+    const scopeFromText = extractScope(criterion);
+    if (scopeFromText !== undefined) {
+        block.scope = scopeFromText;
+    }
+    else if (template.scopeTemplate !== undefined) {
+        block.scope = template.scopeTemplate;
+    }
+    // For metric checks, try to extract an explicit number from the criterion
+    if (template.type === 'metric_max' || template.type === 'metric_min') {
+        const extracted = extractNumber(criterion);
+        block.expected = extracted ?? template.expected;
+    }
+    else if (template.expected !== undefined) {
+        block.expected = template.expected;
+    }
+    return block;
+}
+/**
+ * Enrich a single criterion text with a VerifyBlock.
+ * Falls back to `manual` when no template matches.
+ */
+export function enrichCriterion(criterion) {
+    const template = matchTemplate(criterion);
+    if (template !== null) {
+        return { text: criterion, verify: buildVerifyBlock(criterion, template) };
+    }
+    return {
+        text: criterion,
+        verify: { type: 'manual', description: 'Requires manual verification' },
+    };
+}
+/**
+ * Enrich a batch of criterion texts.
+ * Empty or whitespace-only entries are silently skipped.
+ */
+export function enrichCriteria(criteria) {
+    return criteria.filter((c) => c.trim().length > 0).map((c) => enrichCriterion(c));
+}
+/**
+ * Parse raw markdown AC lines (e.g. "- [ ] Criterion text") into plain strings.
+ * Strips list prefixes so enrichers receive clean criterion text.
+ */
+export function parseCriteriaText(lines) {
+    return lines
+        .map((line) => line.replace(/^\s*[-*+]\s+\[?\s*[xX ]?\s*\]?\s*/, '').trim())
+        .filter((line) => line.length > 0);
+}
+/**
+ * Format enriched criteria as markdown list items with embedded verify blocks.
+ *
+ * Output format:
+ * ```
+ * - [ ] Criterion text
+ *   <!-- verify: {"type":"grep_absent","pattern":"...","scope":"..."} -->
+ * ```
+ *
+ * The `<!-- verify: ... -->` HTML comment is invisible in rendered markdown
+ * but fully parseable by automated tooling.
+ */
+export function formatVerifiableCriteria(criteria) {
+    if (criteria.length === 0) {
+        return '';
+    }
+    return criteria
+        .map((c) => {
+        const verifyJson = JSON.stringify(c.verify);
+        return `- [ ] ${c.text}\n  <!-- verify: ${verifyJson} -->`;
+    })
+        .join('\n');
+}
+//# sourceMappingURL=criterion-enricher.js.map

package/dist/engine/validator/criterion-enricher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criterion-enricher.js","sourceRoot":"","sources":["../../../src/engine/validator/criterion-enricher.ts"],"names":[],"mappings":"AAAA,oGAAoG;AACpG,EAAE;AACF,uEAAuE;AACvE,uEAAuE;AACvE,iEAAiE;AAIjE,8EAA8E;AAC9E,2DAA2D;AAC3D,8EAA8E;AAE9E,6EAA6E;AAC7E,MAAM,CAAC,MAAM,gBAAgB,GAAqB;IAChD,2BAA2B;IAC3B;QACE,QAAQ,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,CAAC;QAChF,IAAI,EAAE,aAAa;QACnB,eAAe,EAAE,iCAAiC;QAClD,aAAa,EAAE,wBAAwB;QACvC,WAAW,EAAE,oCAAoC;KAClD;IAED,cAAc;IACd;QACE,QAAQ,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,CAAC;QACnF,IAAI,EAAE,aAAa;QACnB,eAAe,EAAE,mBAAmB;QACpC,aAAa,EAAE,aAAa;QAC5B,WAAW,EAAE,wBAAwB;KACtC;IAED,wBAAwB;IACxB;QACE,QAAQ,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,aAAa,EAAE,qBAAqB,CAAC;QAC9F,IAAI,EAAE,aAAa;QACnB,eAAe,EAAE,wCAAwC;QACzD,aAAa,EAAE,aAAa;QAC5B,WAAW,EAAE,sBAAsB;KACpC;IAED,iCAAiC;IACjC;QACE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,eAAe,EAAE,iBAAiB,EAAE,WAAW,CAAC;QAC7E,IAAI,EAAE,aAAa;QACnB,aAAa,EAAE,oBAAoB;QACnC,WAAW,EAAE,mCAAmC;KACjD;IAED,qBAAqB;IACrB;QACE,QAAQ,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,gBAAgB,CAAC;QAC3F,IAAI,EAAE,YAAY;QAClB,QAAQ,EAAE,GAAG;QACb,WAAW,EAAE,4BAA4B;KAC1C;IAED,iBAAiB;IACjB;QACE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,CAAC;QAC1F,IAAI,EAAE,cAAc;QACpB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,wBAAwB;KACtC;IAED,wDAAwD;IACxD;QACE,QAAQ,EAAE,CAAC,aAAa,EAAE,2BAA2B,EAAE,iBAAiB,EAAE,SAAS,CAAC;QACpF,IAAI,EAAE,cAAc;QACpB,WAAW,EAAE,wBAAwB;KACtC;CACF,CAAC;AAEF,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,4EAA4E;AAC5E,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,kFAAkF;IAClF,MAAM,KAAK,GACT,uGAAuG,CAAC,IAAI,CAC1G,IAAI,CACL,CAAC;IACJ,MAAM,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,iDAAiD;IACjD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3C,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,KAAK,CAAC;AAClG,CAAC;AAED,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IACtC,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvD,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAiB,EAAE,QAAwB;IAC1E,MAAM,KAAK,GAAgB;QACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;KAClC,CAAC;IAEF,IAAI,QAAQ,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QAC3C,KAAK,CAAC,OAAO,GAAG,QAAQ,CAAC,eAAe,CAAC;IAC3C,CAAC;IAED,2EAA2E;IAC3E,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,KAAK,GAAG,aAAa,CAAC;IAC9B,CAAC;SAAM,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAChD,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC;IACvC,CAAC;IAED,0EAA0E;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACrE,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QAC3C,KAAK,CAAC,QAAQ,GAAG,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC;IAClD,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3C,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACrC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8BAA8B,EAAE;KACxE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAkB;IAC/C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe;IAC/C,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,mCAAmC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;SAC3E,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAA+B;IACtE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,SAAS,CAAC,CAAC,IAAI,oBAAoB,UAAU,MAAM,CAAC;IAC7D,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}

package/dist/engine/validator/deep-code-checker.d.ts

@@ -0,0 +1,41 @@
+import type { DeepCheckResult, DeepCheckConfig, DeepCheckType, VerifyBlock } from '../../types/index.js';
+export type { DeepCheckResult, DeepCheckConfig, DeepCheckType };
+/**
+ * Classify criterion text into a check type using keyword heuristics.
+ * Returns the type and optional config derived from the criterion.
+ */
+export declare function classifyCriterion(text: string): {
+    type: DeepCheckType;
+    config?: DeepCheckConfig;
+};
+/**
+ * Search for a regex pattern in files matching the scope glob.
+ * For grep_absent: passed when matchCount === 0.
+ * For grep_present: passed when matchCount >= expected.
+ */
+export declare function grepCheck(config: DeepCheckConfig, projectPath: string, checkType: 'grep_absent' | 'grep_present'): DeepCheckResult;
+/**
+ * Check that no file in scope exceeds the line threshold encoded in config.expected.
+ */
+export declare function metricCheck(config: DeepCheckConfig, projectPath: string): DeepCheckResult;
+/**
+ * Check that each source file has a corresponding test file.
+ * sourceGlob: e.g. "src/**\/*.ts"
+ * testGlob: e.g. "tests/**\/*.test.ts"
+ */
+export declare function coverageCheck(sourceGlob: string, testGlob: string, projectPath: string): DeepCheckResult;
+/**
+ * Verify a specific file exists.
+ */
+export declare function fileExistsCheck(config: DeepCheckConfig, projectPath: string): DeepCheckResult;
+/**
+ * Classify a criterion and dispatch to the appropriate checker.
+ * When `explicitVerify` is provided the keyword-based classifier is bypassed
+ * and the verify block is used directly for the check.
+ */
+export declare function deepCheckCriterion(criterionText: string, projectPath: string, explicitVerify?: VerifyBlock): DeepCheckResult;
+/**
+ * Run deep checks on all criteria. Returns one result per criterion.
+ */
+export declare function runDeepChecks(criteria: string[], projectPath: string): DeepCheckResult[];
+//# sourceMappingURL=deep-code-checker.d.ts.map

package/dist/engine/validator/deep-code-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deep-code-checker.d.ts","sourceRoot":"","sources":["../../../src/engine/validator/deep-code-checker.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,eAAe,EACf,eAAe,EACf,aAAa,EACb,WAAW,EACZ,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,CAAC;AAMhE;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG;IAC/C,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,CAAC,EAAE,eAAe,CAAC;CAC1B,CA4CA;AAkED;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE,eAAe,EACvB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,aAAa,GAAG,cAAc,GACxC,eAAe,CAuCjB;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,GAAG,eAAe,CA2BzF;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,GAClB,eAAe,CA6CjB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,GAAG,eAAe,CAoB7F;AAiBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,cAAc,CAAC,EAAE,WAAW,GAC3B,eAAe,CAsEjB;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,eAAe,EAAE,CAExF"}

package/dist/engine/validator/deep-code-checker.js

@@ -0,0 +1,363 @@
+// Planu — Validator: deep code checker
+// Performs real filesystem/grep analysis for spec criteria that go beyond file-name matching.
+import { readFileSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+import { globSync } from 'glob';
+const DEFAULT_IGNORE = ['node_modules/**', 'dist/**', 'build/**', '.git/**', 'coverage/**'];
+// ─── Keyword classification ──────────────────────────────────────────────────
+/**
+ * Classify criterion text into a check type using keyword heuristics.
+ * Returns the type and optional config derived from the criterion.
+ */
+export function classifyCriterion(text) {
+    const lower = text.toLowerCase();
+    // grep_absent: look for patterns that MUST NOT exist
+    if (lower.includes('no hardcoded') ||
+        lower.includes('no literal') ||
+        lower.includes('no magic') ||
+        lower.includes('no raw') ||
+        lower.includes('remove all')) {
+        return { type: 'grep_absent', config: buildAbsentConfig(text) };
+    }
+    // metric_max: file-size / line-count thresholds
+    if (lower.includes('max lines') ||
+        lower.includes('no file exceeds') ||
+        lower.includes('under ') ||
+        /\d+\s+lines/.exec(lower)) {
+        return { type: 'metric_max', config: buildMetricConfig(text) };
+    }
+    // file_exists: a specific file must be present
+    if (lower.includes('file exists') || lower.includes('must have file')) {
+        return { type: 'file_exists', config: buildFileExistsConfig(text) };
+    }
+    // coverage: every source file must have a companion test
+    if (lower.includes('test coverage') || /all .+ have tests/.exec(lower)) {
+        return { type: 'coverage', config: buildCoverageConfig(text) };
+    }
+    // grep_present: a pattern MUST exist somewhere
+    if (/all .+ have/.exec(lower) ||
+        /every .+ includes?/.exec(lower) ||
+        lower.includes('must contain')) {
+        return { type: 'grep_present', config: buildPresentConfig(text) };
+    }
+    return { type: 'manual' };
+}
+// ─── Config builders ──────────────────────────────────────────────────────────
+function buildAbsentConfig(text) {
+    // Detect known patterns by keyword
+    const lower = text.toLowerCase();
+    if (lower.includes('spanish') || lower.includes('español') || lower.includes('i18n')) {
+        return { pattern: '[áéíóúñ¿¡]', scope: 'src/**/*.{ts,tsx}', expected: 0 };
+    }
+    if (lower.includes('console.log')) {
+        return { pattern: 'console\\.(log|debug|info)\\(', scope: 'src/**/*.{ts,tsx}', expected: 0 };
+    }
+    if (lower.includes('magic number') || lower.includes('magic string')) {
+        return {
+            pattern: '(?<![a-zA-Z])\\d{3,}(?![a-zA-Z0-9])',
+            scope: 'src/**/*.{ts,tsx}',
+            expected: 0,
+        };
+    }
+    // Generic: try to extract a quoted term or word after "no"
+    const quotedMatch = /"([^"]+)"|'([^']+)'/.exec(text);
+    if (quotedMatch) {
+        const term = quotedMatch[1] ?? quotedMatch[2] ?? '';
+        return { pattern: term, scope: 'src/**/*.{ts,tsx,js,jsx}', expected: 0 };
+    }
+    const noMatch = /no\s+(\w+)/i.exec(text);
+    const term = noMatch ? noMatch[1] : 'TODO';
+    return { pattern: term ?? 'TODO', scope: 'src/**/*.{ts,tsx,js,jsx}', expected: 0 };
+}
+function buildPresentConfig(text) {
+    const lower = text.toLowerCase();
+    if (lower.includes('error handling') || lower.includes('try') || lower.includes('catch')) {
+        return { pattern: 'try\\s*\\{|catch\\s*\\(', scope: 'src/**/*.{ts,tsx}', expected: 1 };
+    }
+    if (lower.includes('test') || lower.includes('spec')) {
+        return { pattern: 'describe\\(|it\\(|test\\(', scope: 'tests/**/*.test.ts', expected: 1 };
+    }
+    // Generic: extract quoted term
+    const quotedMatch = /"([^"]+)"|'([^']+)'/.exec(text);
+    const term = quotedMatch ? (quotedMatch[1] ?? quotedMatch[2] ?? 'TODO') : 'export';
+    return { pattern: term, scope: 'src/**/*.{ts,tsx,js,jsx}', expected: 1 };
+}
+function buildMetricConfig(text) {
+    const numMatch = /(\d+)\s+lines?/i.exec(text);
+    const threshold = numMatch ? parseInt(numMatch[1] ?? '400', 10) : 400;
+    return { pattern: String(threshold), scope: 'src/**/*.{ts,tsx}', expected: threshold };
+}
+function buildFileExistsConfig(text) {
+    const pathMatch = /["']([^"']+\.\w+)["']/.exec(text);
+    const filePath = pathMatch ? (pathMatch[1] ?? '') : '';
+    return { pattern: filePath, scope: filePath, expected: 1 };
+}
+function buildCoverageConfig(_text) {
+    return { pattern: 'src/**/*.ts', scope: 'tests/**/*.test.ts', expected: 1 };
+}
+// ─── Checkers ─────────────────────────────────────────────────────────────────
+/**
+ * Search for a regex pattern in files matching the scope glob.
+ * For grep_absent: passed when matchCount === 0.
+ * For grep_present: passed when matchCount >= expected.
+ */
+export function grepCheck(config, projectPath, checkType) {
+    const files = resolveFiles(config.scope, projectPath, config.exclude);
+    const regex = buildRegex(config.pattern);
+    const evidence = [];
+    if (regex) {
+        for (const file of files) {
+            const fullPath = join(projectPath, file);
+            try {
+                const content = readFileSync(fullPath, 'utf-8');
+                const lines = content.split('\n');
+                for (let i = 0; i < lines.length; i++) {
+                    const line = lines[i];
+                    if (line !== undefined && regex.test(line)) {
+                        evidence.push(`${file}:${i + 1}`);
+                        regex.lastIndex = 0; // reset for global flag
+                    }
+                }
+            }
+            catch {
+                // Skip unreadable files
+            }
+        }
+    }
+    const matchCount = evidence.length;
+    const passed = checkType === 'grep_absent' ? matchCount === 0 : matchCount >= config.expected;
+    return {
+        criterionText: config.pattern,
+        checkType,
+        passed,
+        evidence,
+        matchCount,
+        expected: config.expected,
+        description: checkType === 'grep_absent'
+            ? `Pattern "${config.pattern}" must not appear in ${config.scope}`
+            : `Pattern "${config.pattern}" must appear at least ${config.expected} time(s) in ${config.scope}`,
+    };
+}
+/**
+ * Check that no file in scope exceeds the line threshold encoded in config.expected.
+ */
+export function metricCheck(config, projectPath) {
+    const threshold = config.expected;
+    const files = resolveFiles(config.scope, projectPath, config.exclude);
+    const evidence = [];
+    for (const file of files) {
+        const fullPath = join(projectPath, file);
+        try {
+            const content = readFileSync(fullPath, 'utf-8');
+            const lineCount = content.split('\n').length;
+            if (lineCount > threshold) {
+                evidence.push(`${file}:${lineCount} lines (max ${threshold})`);
+            }
+        }
+        catch {
+            // Skip
+        }
+    }
+    return {
+        criterionText: `No file exceeds ${threshold} lines`,
+        checkType: 'metric_max',
+        passed: evidence.length === 0,
+        evidence,
+        matchCount: evidence.length,
+        expected: 0,
+        description: `All files in ${config.scope} must have <= ${threshold} lines`,
+    };
+}
+/**
+ * Check that each source file has a corresponding test file.
+ * sourceGlob: e.g. "src/**\/*.ts"
+ * testGlob: e.g. "tests/**\/*.test.ts"
+ */
+export function coverageCheck(sourceGlob, testGlob, projectPath) {
+    const sourceFiles = resolveFiles(sourceGlob, projectPath);
+    // Cannot verify coverage with no source files — treat as non-authoritative
+    if (sourceFiles.length === 0) {
+        return {
+            criterionText: `All ${sourceGlob} files have tests`,
+            checkType: 'coverage',
+            passed: false,
+            evidence: [],
+            matchCount: 0,
+            expected: 0,
+            description: `No source files found in ${sourceGlob} — coverage cannot be verified`,
+        };
+    }
+    const testFiles = resolveFiles(testGlob, projectPath);
+    // Build a set of base names from test files (strip .test.ts / .spec.ts)
+    const testBaseNames = new Set(testFiles.map((f) => {
+        const base = f
+            .replace(/\.test\.(ts|tsx|js|jsx)$/, '')
+            .replace(/\.spec\.(ts|tsx|js|jsx)$/, '');
+        return base.split('/').pop() ?? base;
+    }));
+    const uncovered = [];
+    for (const src of sourceFiles) {
+        const name = (src.split('/').pop() ?? src).replace(/\.(ts|tsx|js|jsx)$/, '');
+        if (!testBaseNames.has(name)) {
+            uncovered.push(src);
+        }
+    }
+    return {
+        criterionText: `All ${sourceGlob} files have tests`,
+        checkType: 'coverage',
+        passed: uncovered.length === 0,
+        evidence: uncovered,
+        matchCount: uncovered.length,
+        expected: 0,
+        description: `Each source file in ${sourceGlob} must have a corresponding test file`,
+    };
+}
+/**
+ * Verify a specific file exists.
+ */
+export function fileExistsCheck(config, projectPath) {
+    const filePath = config.scope || config.pattern;
+    const fullPath = join(projectPath, filePath);
+    let exists = false;
+    try {
+        statSync(fullPath);
+        exists = true;
+    }
+    catch {
+        // file does not exist — exists remains false
+    }
+    return {
+        criterionText: `File exists: ${filePath}`,
+        checkType: 'file_exists',
+        passed: exists,
+        evidence: exists ? [filePath] : [],
+        matchCount: exists ? 1 : 0,
+        expected: 1,
+        description: `File ${filePath} must exist in the project`,
+    };
+}
+// ─── Orchestrators ────────────────────────────────────────────────────────────
+/**
+ * Build a DeepCheckConfig from a VerifyBlock.
+ * Maps the VerifyBlock fields to the internal DeepCheckConfig shape.
+ */
+function configFromVerifyBlock(block) {
+    return {
+        pattern: block.pattern ?? '',
+        scope: block.scope ?? 'src/**/*.{ts,tsx,js,jsx}',
+        exclude: block.exclude,
+        expected: block.expected ?? (block.type === 'grep_absent' ? 0 : 1),
+    };
+}
+/**
+ * Classify a criterion and dispatch to the appropriate checker.
+ * When `explicitVerify` is provided the keyword-based classifier is bypassed
+ * and the verify block is used directly for the check.
+ */
+export function deepCheckCriterion(criterionText, projectPath, explicitVerify) {
+    // Use explicit verify block when available — skip keyword inference.
+    // VerifyType and DeepCheckType overlap but are not identical, so we compare
+    // the type as a string to avoid exhaustiveness errors on union mismatches.
+    if (explicitVerify) {
+        const config = configFromVerifyBlock(explicitVerify);
+        const vtype = explicitVerify.type;
+        if (vtype === 'grep_absent') {
+            return { ...grepCheck(config, projectPath, 'grep_absent'), criterionText };
+        }
+        if (vtype === 'grep_present') {
+            return { ...grepCheck(config, projectPath, 'grep_present'), criterionText };
+        }
+        if (vtype === 'metric_max') {
+            return { ...metricCheck(config, projectPath), criterionText };
+        }
+        if (vtype === 'file_exists') {
+            return { ...fileExistsCheck(config, projectPath), criterionText };
+        }
+        // manual, metric_min, command, and any unknown types fall through to manual result
+        return {
+            criterionText,
+            checkType: 'manual',
+            passed: true,
+            evidence: [],
+            matchCount: 0,
+            expected: 0,
+            description: explicitVerify.description,
+        };
+    }
+    const { type, config } = classifyCriterion(criterionText);
+    if (type === 'manual' || !config) {
+        return {
+            criterionText,
+            checkType: 'manual',
+            passed: true, // cannot verify automatically
+            evidence: [],
+            matchCount: 0,
+            expected: 0,
+            description: 'Criterion requires manual review — no automated check available',
+        };
+    }
+    switch (type) {
+        case 'grep_absent':
+            return { ...grepCheck(config, projectPath, 'grep_absent'), criterionText };
+        case 'grep_present':
+            return { ...grepCheck(config, projectPath, 'grep_present'), criterionText };
+        case 'metric_max':
+            return { ...metricCheck(config, projectPath), criterionText };
+        case 'file_exists':
+            return { ...fileExistsCheck(config, projectPath), criterionText };
+        case 'coverage': {
+            const result = coverageCheck('src/**/*.ts', 'tests/**/*.test.ts', projectPath);
+            return { ...result, criterionText };
+        }
+        default:
+            return {
+                criterionText,
+                checkType: 'manual',
+                passed: true,
+                evidence: [],
+                matchCount: 0,
+                expected: 0,
+                description: 'Criterion requires manual review',
+            };
+    }
+}
+/**
+ * Run deep checks on all criteria. Returns one result per criterion.
+ */
+export function runDeepChecks(criteria, projectPath) {
+    return criteria.map((criterion) => deepCheckCriterion(criterion, projectPath));
+}
+// ─── Utilities ────────────────────────────────────────────────────────────────
+function resolveFiles(scopeGlob, projectPath, exclude) {
+    const ignore = [...DEFAULT_IGNORE];
+    if (exclude) {
+        ignore.push(exclude);
+    }
+    try {
+        return globSync(scopeGlob, {
+            cwd: projectPath,
+            nodir: true,
+            ignore,
+            maxDepth: 8,
+        });
+    }
+    catch {
+        return [];
+    }
+}
+function buildRegex(pattern) {
+    try {
+        return new RegExp(pattern, 'g');
+    }
+    catch {
+        // If pattern is not a valid regex, escape it
+        try {
+            const escaped = pattern.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+            return new RegExp(escaped, 'g');
+        }
+        catch {
+            return null;
+        }
+    }
+}
+//# sourceMappingURL=deep-code-checker.js.map

package/dist/engine/validator/deep-code-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deep-code-checker.js","sourceRoot":"","sources":["../../../src/engine/validator/deep-code-checker.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,8FAA8F;AAE9F,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAYhC,MAAM,cAAc,GAAG,CAAC,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAE5F,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAI5C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAEjC,qDAAqD;IACrD,IACE,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC9B,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC5B,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1B,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAC5B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;IAClE,CAAC;IAED,gDAAgD;IAChD,IACE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC3B,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EACzB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,+CAA+C;IAC/C,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACtE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,+CAA+C;IAC/C,IACE,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAC9B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;IACpE,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,iFAAiF;AAEjF,SAAS,iBAAiB,CAAC,IAAY;IACrC,mCAAmC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAEjC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5E,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,OAAO,EAAE,+BAA+B,EAAE,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACrE,OAAO;YACL,OAAO,EAAE,qCAAqC;YAC9C,KAAK,EAAE,mBAAmB;YAC1B,QAAQ,EAAE,CAAC;SACZ,CAAC;IACJ,CAAC;IAED,2DAA2D;IAC3D,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,0BAA0B,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC3E,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,OAAO,EAAE,IAAI,IAAI,MAAM,EAAE,KAAK,EAAE,0BAA0B,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACzF,OAAO,EAAE,OAAO,EAAE,yBAAyB,EAAE,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,OAAO,EAAE,2BAA2B,EAAE,KAAK,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5F,CAAC;IACD,+BAA+B;IAC/B,MAAM,WAAW,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,0BAA0B,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACtE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa;IACxC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,iFAAiF;AAEjF;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,MAAuB,EACvB,WAAmB,EACnB,SAAyC;IAEzC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACtB,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3C,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;wBAClC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,wBAAwB;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;IACnC,MAAM,MAAM,GAAG,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,CAAC;IAE9F,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,OAAO;QAC7B,SAAS;QACT,MAAM;QACN,QAAQ;QACR,UAAU;QACV,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EACT,SAAS,KAAK,aAAa;YACzB,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,wBAAwB,MAAM,CAAC,KAAK,EAAE;YAClE,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,0BAA0B,MAAM,CAAC,QAAQ,eAAe,MAAM,CAAC,KAAK,EAAE;KACvG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,MAAuB,EAAE,WAAmB;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;IAClC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAChD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;YAC7C,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,SAAS,eAAe,SAAS,GAAG,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,mBAAmB,SAAS,QAAQ;QACnD,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC7B,QAAQ;QACR,UAAU,EAAE,QAAQ,CAAC,MAAM;QAC3B,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,gBAAgB,MAAM,CAAC,KAAK,iBAAiB,SAAS,QAAQ;KAC5E,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAkB,EAClB,QAAgB,EAChB,WAAmB;IAEnB,MAAM,WAAW,GAAG,YAAY,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAE1D,2EAA2E;IAC3E,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,aAAa,EAAE,OAAO,UAAU,mBAAmB;YACnD,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,4BAA4B,UAAU,gCAAgC;SACpF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAEtD,wEAAwE;IACxE,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClB,MAAM,IAAI,GAAG,CAAC;aACX,OAAO,CAAC,0BAA0B,EAAE,EAAE,CAAC;aACvC,OAAO,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IACvC,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa,EAAE,OAAO,UAAU,mBAAmB;QACnD,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;QAC9B,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,SAAS,CAAC,MAAM;QAC5B,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,uBAAuB,UAAU,sCAAsC;KACrF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAuB,EAAE,WAAmB;IAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACnB,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;IAC/C,CAAC;IAED,OAAO;QACL,aAAa,EAAE,gBAAgB,QAAQ,EAAE;QACzC,SAAS,EAAE,aAAa;QACxB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QAClC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,QAAQ,QAAQ,4BAA4B;KAC1D,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF;;;GAGG;AACH,SAAS,qBAAqB,CAAC,KAAkB;IAC/C,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;QAC5B,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,0BAA0B;QAChD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAAqB,EACrB,WAAmB,EACnB,cAA4B;IAE5B,qEAAqE;IACrE,4EAA4E;IAC5E,2EAA2E;IAC3E,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAc,CAAC;QAE5C,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;YAC5B,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;YAC7B,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;QAChE,CAAC;QACD,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;YAC5B,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;QACpE,CAAC;QACD,mFAAmF;QACnF,OAAO;YACL,aAAa;YACb,SAAS,EAAE,QAAQ;YACnB,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,cAAc,CAAC,WAAW;SACxC,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAE1D,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO;YACL,aAAa;YACb,SAAS,EAAE,QAAQ;YACnB,MAAM,EAAE,IAAI,EAAE,8BAA8B;YAC5C,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,CAAC;YACb,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,iEAAiE;SAC/E,CAAC;IACJ,CAAC;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,aAAa;YAChB,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC;QAC7E,KAAK,cAAc;YACjB,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;QAC9E,KAAK,YAAY;YACf,OAAO,EAAE,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;QAChE,KAAK,aAAa;YAChB,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC;QACpE,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,oBAAoB,EAAE,WAAW,CAAC,CAAC;YAC/E,OAAO,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,CAAC;QACtC,CAAC;QACD;YACE,OAAO;gBACL,aAAa;gBACb,SAAS,EAAE,QAAQ;gBACnB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE;gBACZ,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,kCAAkC;aAChD,CAAC;IACN,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,QAAkB,EAAE,WAAmB;IACnE,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AACjF,CAAC;AAED,iFAAiF;AAEjF,SAAS,YAAY,CAAC,SAAiB,EAAE,WAAmB,EAAE,OAAgB;IAC5E,MAAM,MAAM,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,CAAC;QACH,OAAO,QAAQ,CAAC,SAAS,EAAE;YACzB,GAAG,EAAE,WAAW;YAChB,KAAK,EAAE,IAAI;YACX,MAAM;YACN,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,IAAI,CAAC;QACH,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,6CAA6C;QAC7C,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;YAC/D,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/engine/validator/extractors.d.ts

@@ -1,8 +1,15 @@
-import type { Spec } from '../../types/index.js';
+import type { Spec, VerifyBlock } from '../../types/index.js';
 /**
  * Extract all acceptance criteria from a spec's source files.
  */
 export declare function extractCriteria(spec: Spec): Promise<string[]>;
+/**
+ * Parse verify blocks from HTML comments following acceptance criteria checkboxes.
+ * Format: `- [ ] criterion text` followed by `<!-- verify: {...} -->`
+ * Returns a Map of criterion text -> VerifyBlock.
+ * Invalid JSON blocks are silently skipped (forgiving parser).
+ */
+export declare function extractVerifyBlocks(content: string): Map<string, VerifyBlock>;
 /**
  * Extract the text content under a markdown heading that matches any of the given keywords.
  */

package/dist/engine/validator/extractors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"extractors.d.ts","sourceRoot":"","sources":["../../../src/engine/validator/extractors.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAGjD;;GAEG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CA4DnE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,eAAe,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CA8B3F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAyB1D"}
+{"version":3,"file":"extractors.d.ts","sourceRoot":"","sources":["../../../src/engine/validator/extractors.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAG9D;;GAEG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CA4DnE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CA6B7E;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,eAAe,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CA8B3F;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAyB1D"}