aura-code 0.3.0

package/dist/util/sanitize.js

@@ -0,0 +1,255 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// HTML sanitization — state-machine based tag stripper
+// Regex cannot reliably parse HTML (nested tags, angle brackets in attributes,
+// malformed input all bypass regex). This state machine handles:
+//   - < inside double/single-quoted attribute values
+//   - > inside double/single-quoted attribute values
+//   - Nested script/style blocks
+//   - Self-closing tags (<br/>, <img />)
+//   - Unclosed tags
+// ─────────────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.stripHtml = stripHtml;
+exports.decodeEntities = decodeEntities;
+exports.escapeHtml = escapeHtml;
+/**
+ * Strip HTML tags from a string using a character-level state machine.
+ * Also removes <script> and <style> blocks entirely (including content).
+ * Preserves text content. Decodes common HTML entities afterward.
+ */
+function stripHtml(html) {
+    const len = html.length;
+    const out = [];
+    let i = 0;
+    // States
+    const TEXT = 0;
+    const TAG = 1;
+    const TAG_SINGLE_QUOTE = 2; // inside a tag, in a single-quoted attribute
+    const TAG_DOUBLE_QUOTE = 3; // inside a tag, in a double-quoted attribute
+    const COMMENT = 4; // inside <!-- -->
+    const SCRIPT = 5; // inside <script>...</script>
+    const STYLE = 6; // inside <style>...</style>
+    const CDATA = 7; // inside <![CDATA[...]]>
+    let state = TEXT;
+    let tagName = '';
+    let isClosingTag = false;
+    while (i < len) {
+        const ch = html[i];
+        const nextCh = i + 1 < len ? html[i + 1] : '';
+        switch (state) {
+            case TEXT:
+                if (ch === '<') {
+                    // Check for comments
+                    if (html.startsWith('<!--', i)) {
+                        state = COMMENT;
+                        i += 4;
+                        continue;
+                    }
+                    // Check for CDATA
+                    if (html.startsWith('<![CDATA[', i)) {
+                        state = CDATA;
+                        i += 9;
+                        continue;
+                    }
+                    // Check for script/style
+                    if (/script/i.test(html.slice(i + 1).match(/^(\/?)\s*(\w+)/)?.[2] ?? '')) {
+                        const m = html.slice(i + 1).match(/^\/?\s*script/i);
+                        if (m) {
+                            state = SCRIPT;
+                            tagName = 'script';
+                            isClosingTag = m[0].startsWith('/');
+                            i += m[0].length;
+                            // Skip whitespace before >
+                            while (i < len && (html[i] === ' ' || html[i] === '\t' || html[i] === '\n' || html[i] === '\r'))
+                                i++;
+                            // Skip attributes until >
+                            while (i < len && html[i] !== '>')
+                                i++;
+                            if (i < len)
+                                i++;
+                            continue;
+                        }
+                    }
+                    if (/style/i.test(html.slice(i + 1).match(/^(\/?)\s*(\w+)/)?.[2] ?? '')) {
+                        const m = html.slice(i + 1).match(/^\/?\s*style/i);
+                        if (m) {
+                            state = STYLE;
+                            tagName = 'style';
+                            isClosingTag = m[0].startsWith('/');
+                            i += m[0].length;
+                            while (i < len && (html[i] === ' ' || html[i] === '\t' || html[i] === '\n' || html[i] === '\r'))
+                                i++;
+                            while (i < len && html[i] !== '>')
+                                i++;
+                            if (i < len)
+                                i++;
+                            continue;
+                        }
+                    }
+                    state = TAG;
+                    isClosingTag = nextCh === '/';
+                    tagName = '';
+                    i++;
+                    continue;
+                }
+                out.push(ch);
+                i++;
+                break;
+            case TAG:
+                if (ch === '\'') {
+                    state = TAG_SINGLE_QUOTE;
+                    i++;
+                    continue;
+                }
+                if (ch === '"') {
+                    state = TAG_DOUBLE_QUOTE;
+                    i++;
+                    continue;
+                }
+                if (ch === '>') {
+                    state = TEXT;
+                    // If this is a block-level tag, add a newline
+                    const tn = tagName.toLowerCase();
+                    if (['p', 'div', 'li', 'h1', 'h2', 'h3', 'h4', 'h5', 'h6',
+                        'br', 'tr', 'td', 'th', 'blockquote', 'section',
+                        'article', 'nav', 'header', 'footer', 'table',
+                        'ul', 'ol', 'dl', 'dd', 'dt', 'pre', 'hr', 'form'].includes(tn)) {
+                        out.push('\n');
+                    }
+                    tagName = '';
+                    i++;
+                    continue;
+                }
+                // Collect tag name (only letters, digits, hyphens for tag names)
+                if (/[a-zA-Z]/.test(ch) && tagName.length < 32) {
+                    tagName += ch;
+                }
+                i++;
+                break;
+            case TAG_SINGLE_QUOTE:
+                if (ch === '\'')
+                    state = TAG;
+                // Also handle escaped single quote
+                if (ch === '\\' && nextCh === '\'')
+                    i++; // skip escaped quote
+                i++;
+                break;
+            case TAG_DOUBLE_QUOTE:
+                if (ch === '"')
+                    state = TAG;
+                if (ch === '\\' && nextCh === '"')
+                    i++;
+                i++;
+                break;
+            case COMMENT:
+                if (ch === '-' && html.startsWith('-->', i)) {
+                    state = TEXT;
+                    i += 3;
+                    continue;
+                }
+                i++;
+                break;
+            case CDATA:
+                if (ch === ']' && html.startsWith(']]>', i)) {
+                    state = TEXT;
+                    i += 3;
+                    continue;
+                }
+                out.push(ch);
+                i++;
+                break;
+            case SCRIPT:
+                // We're inside a <script> block — skip everything until </script>
+                // But if this was a closing </script>, we skip the content only for
+                // opening <script> tags. For closing </script>, skip just the tag.
+                if (isClosingTag) {
+                    state = TEXT;
+                    continue;
+                }
+                // Read forward looking for </script>
+                const scriptEndMatch = html.slice(i).match(/<\/script\s*>/i);
+                if (scriptEndMatch && scriptEndMatch.index !== undefined) {
+                    i += scriptEndMatch.index + scriptEndMatch[0].length;
+                    state = TEXT;
+                }
+                else {
+                    // No closing script tag found — skip rest
+                    i = len;
+                }
+                continue;
+            case STYLE:
+                if (isClosingTag) {
+                    state = TEXT;
+                    continue;
+                }
+                const styleEndMatch = html.slice(i).match(/<\/style\s*>/i);
+                if (styleEndMatch && styleEndMatch.index !== undefined) {
+                    i += styleEndMatch.index + styleEndMatch[0].length;
+                    state = TEXT;
+                }
+                else {
+                    i = len;
+                }
+                continue;
+        }
+    }
+    let text = out.join('');
+    // Decode common HTML entities (single pass to avoid double-decode)
+    text = decodeEntities(text);
+    // Collapse whitespace
+    text = text.replace(/[ \t]+/g, ' ');
+    text = text.replace(/\n{3,}/g, '\n\n');
+    return text.trim();
+}
+/**
+ * Decode HTML entities in a single pass.
+ * Uses a single regex replacement to avoid sequential decode issues
+ * (e.g., &amp;lt; should become &lt;, not <).
+ */
+function decodeEntities(text) {
+    return text.replace(/&(#x?[0-9a-fA-F]+|[a-zA-Z]+);/g, (match) => {
+        switch (match) {
+            case '&amp;': return '&';
+            case '&lt;': return '<';
+            case '&gt;': return '>';
+            case '&quot;': return '"';
+            case '&#39;': return "'";
+            case '&#x27;': return "'";
+            case '&nbsp;': return ' ';
+            case '&apos;': return "'";
+            case '&mdash;': return '—';
+            case '&ndash;': return '–';
+            case '&hellip;': return '…';
+            case '&laquo;': return '«';
+            case '&raquo;': return '»';
+            case '&lsquo;': return '‘';
+            case '&rsquo;': return '’';
+            case '&ldquo;': return '“';
+            case '&rdquo;': return '”';
+            default:
+                // Handle numeric character references
+                if (match.startsWith('&#x')) {
+                    const code = parseInt(match.slice(3, -1), 16);
+                    return isNaN(code) ? match : String.fromCodePoint(code);
+                }
+                if (match.startsWith('&#')) {
+                    const code = parseInt(match.slice(2, -1), 10);
+                    return isNaN(code) ? match : String.fromCodePoint(code);
+                }
+                return match; // unknown entity, leave as-is
+        }
+    });
+}
+/**
+ * Escape HTML special characters to prevent XSS.
+ */
+function escapeHtml(text) {
+    return text
+        .replace(/&/g, '&amp;')
+        .replace(/</g, '&lt;')
+        .replace(/>/g, '&gt;')
+        .replace(/"/g, '&quot;')
+        .replace(/'/g, '&#39;');
+}
+//# sourceMappingURL=sanitize.js.map

package/dist/util/sanitize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sanitize.js","sourceRoot":"","sources":["../../src/util/sanitize.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,uDAAuD;AACvD,+EAA+E;AAC/E,iEAAiE;AACjE,qDAAqD;AACrD,qDAAqD;AACrD,iCAAiC;AACjC,yCAAyC;AACzC,oBAAoB;AACpB,gFAAgF;;AAOhF,8BAyLC;AAOD,wCAiCC;AAKD,gCAOC;AAlPD;;;;GAIG;AACH,SAAgB,SAAS,CAAC,IAAY;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACxB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,SAAS;IACT,MAAM,IAAI,GAAG,CAAC,CAAC;IACf,MAAM,GAAG,GAAG,CAAC,CAAC;IACd,MAAM,gBAAgB,GAAG,CAAC,CAAC,CAAE,6CAA6C;IAC1E,MAAM,gBAAgB,GAAG,CAAC,CAAC,CAAE,6CAA6C;IAC1E,MAAM,OAAO,GAAG,CAAC,CAAC,CAAW,kBAAkB;IAC/C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAY,8BAA8B;IAC3D,MAAM,KAAK,GAAG,CAAC,CAAC,CAAa,4BAA4B;IACzD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAa,yBAAyB;IAEtD,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,YAAY,GAAG,KAAK,CAAC;IAEzB,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;QACf,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAE9C,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,IAAI;gBACP,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACf,qBAAqB;oBACrB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;wBAC/B,KAAK,GAAG,OAAO,CAAC;wBAChB,CAAC,IAAI,CAAC,CAAC;wBACP,SAAS;oBACX,CAAC;oBACD,kBAAkB;oBAClB,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC;wBACpC,KAAK,GAAG,KAAK,CAAC;wBACd,CAAC,IAAI,CAAC,CAAC;wBACP,SAAS;oBACX,CAAC;oBACD,yBAAyB;oBACzB,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBACzE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;wBACpD,IAAI,CAAC,EAAE,CAAC;4BACN,KAAK,GAAG,MAAM,CAAC;4BACf,OAAO,GAAG,QAAQ,CAAC;4BACnB,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;4BACpC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;4BACjB,2BAA2B;4BAC3B,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;gCAAE,CAAC,EAAE,CAAC;4BACrG,0BAA0B;4BAC1B,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gCAAE,CAAC,EAAE,CAAC;4BACvC,IAAI,CAAC,GAAG,GAAG;gCAAE,CAAC,EAAE,CAAC;4BACjB,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;wBACxE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;wBACnD,IAAI,CAAC,EAAE,CAAC;4BACN,KAAK,GAAG,KAAK,CAAC;4BACd,OAAO,GAAG,OAAO,CAAC;4BAClB,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;4BACpC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;4BACjB,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;gCAAE,CAAC,EAAE,CAAC;4BACrG,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;gCAAE,CAAC,EAAE,CAAC;4BACvC,IAAI,CAAC,GAAG,GAAG;gCAAE,CAAC,EAAE,CAAC;4BACjB,SAAS;wBACX,CAAC;oBACH,CAAC;oBACD,KAAK,GAAG,GAAG,CAAC;oBACZ,YAAY,GAAG,MAAM,KAAK,GAAG,CAAC;oBAC9B,OAAO,GAAG,EAAE,CAAC;oBACb,CAAC,EAAE,CAAC;oBACJ,SAAS;gBACX,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,GAAG;gBACN,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAChB,KAAK,GAAG,gBAAgB,CAAC;oBACzB,CAAC,EAAE,CAAC;oBACJ,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACf,KAAK,GAAG,gBAAgB,CAAC;oBACzB,CAAC,EAAE,CAAC;oBACJ,SAAS;gBACX,CAAC;gBACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACf,KAAK,GAAG,IAAI,CAAC;oBACb,8CAA8C;oBAC9C,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;oBACjC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;wBACpD,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS;wBAC/C,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO;wBAC7C,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;wBACrE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjB,CAAC;oBACD,OAAO,GAAG,EAAE,CAAC;oBACb,CAAC,EAAE,CAAC;oBACJ,SAAS;gBACX,CAAC;gBACD,iEAAiE;gBACjE,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;oBAC/C,OAAO,IAAI,EAAE,CAAC;gBAChB,CAAC;gBACD,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,gBAAgB;gBACnB,IAAI,EAAE,KAAK,IAAI;oBAAE,KAAK,GAAG,GAAG,CAAC;gBAC7B,mCAAmC;gBACnC,IAAI,EAAE,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAC,CAAE,qBAAqB;gBAC/D,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,gBAAgB;gBACnB,IAAI,EAAE,KAAK,GAAG;oBAAE,KAAK,GAAG,GAAG,CAAC;gBAC5B,IAAI,EAAE,KAAK,IAAI,IAAI,MAAM,KAAK,GAAG;oBAAE,CAAC,EAAE,CAAC;gBACvC,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,OAAO;gBACV,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC5C,KAAK,GAAG,IAAI,CAAC;oBACb,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,KAAK;gBACR,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC5C,KAAK,GAAG,IAAI,CAAC;oBACb,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,CAAC,EAAE,CAAC;gBACJ,MAAM;YAER,KAAK,MAAM;gBACT,kEAAkE;gBAClE,oEAAoE;gBACpE,mEAAmE;gBACnE,IAAI,YAAY,EAAE,CAAC;oBACjB,KAAK,GAAG,IAAI,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,qCAAqC;gBACrC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAC7D,IAAI,cAAc,IAAI,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACzD,CAAC,IAAI,cAAc,CAAC,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBACrD,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;qBAAM,CAAC;oBACN,0CAA0C;oBAC1C,CAAC,GAAG,GAAG,CAAC;gBACV,CAAC;gBACD,SAAS;YAEX,KAAK,KAAK;gBACR,IAAI,YAAY,EAAE,CAAC;oBACjB,KAAK,GAAG,IAAI,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAC3D,IAAI,aAAa,IAAI,aAAa,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACvD,CAAC,IAAI,aAAa,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBACnD,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;qBAAM,CAAC;oBACN,CAAC,GAAG,GAAG,CAAC;gBACV,CAAC;gBACD,SAAS;QACb,CAAC;IACH,CAAC;IAED,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAExB,mEAAmE;IACnE,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAE5B,sBAAsB;IACtB,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACpC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,SAAgB,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,OAAO,CAAC,gCAAgC,EAAE,CAAC,KAAK,EAAE,EAAE;QAC9D,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,OAAO,CAAC,CAAE,OAAO,GAAG,CAAC;YAC1B,KAAK,MAAM,CAAC,CAAG,OAAO,GAAG,CAAC;YAC1B,KAAK,MAAM,CAAC,CAAG,OAAO,GAAG,CAAC;YAC1B,KAAK,QAAQ,CAAC,CAAC,OAAO,GAAG,CAAC;YAC1B,KAAK,OAAO,CAAC,CAAE,OAAO,GAAG,CAAC;YAC1B,KAAK,QAAQ,CAAC,CAAC,OAAO,GAAG,CAAC;YAC1B,KAAK,QAAQ,CAAC,CAAC,OAAO,GAAG,CAAC;YAC1B,KAAK,QAAQ,CAAC,CAAC,OAAO,GAAG,CAAC;YAC1B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,CAAC;YAC5B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B;gBACE,sCAAsC;gBACtC,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC1D,CAAC;gBACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC1D,CAAC;gBACD,OAAO,KAAK,CAAC,CAAE,8BAA8B;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI;SACR,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5B,CAAC"}

package/dist/verify/checks.d.ts

@@ -0,0 +1,21 @@
+import type { Check } from './types.js';
+export interface CheckContext {
+    projectRoot: string;
+    taskStartedAt: number;
+    task: string;
+    toolCalls: Array<{
+        name: string;
+        input: Record<string, unknown>;
+    }>;
+    filesBefore: Set<string>;
+    testCommand?: string;
+    baselineFailures?: Set<string>;
+}
+export declare function runAllChecks(ctx: CheckContext): Check[];
+/**
+ * Run the test command and extract the set of currently failing test names.
+ * Used to establish a baseline before a task runs so that pre-existing
+ * failures don't block verification.
+ */
+export declare function collectFailingTests(testCommand: string, projectRoot: string): Set<string>;
+export declare function collectProjectFiles(root: string): Set<string>;

package/dist/verify/checks.js

@@ -0,0 +1,311 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runAllChecks = runAllChecks;
+exports.collectFailingTests = collectFailingTests;
+exports.collectProjectFiles = collectProjectFiles;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+const MTIME_SLACK_MS = 50;
+function runAllChecks(ctx) {
+    const checks = [];
+    const fileWrites = ctx.toolCalls.filter(c => c.name === 'write_file');
+    const fileEdits = ctx.toolCalls.filter(c => c.name === 'edit_file');
+    const shellCalls = ctx.toolCalls.filter(c => c.name === 'run_shell');
+    const hadWrite = fileWrites.length > 0;
+    const hadEdit = fileEdits.length > 0;
+    if (hadWrite)
+        checks.push(...verifyWrittenFiles(ctx, fileWrites));
+    if (hadEdit)
+        checks.push(...verifyEditedFiles(ctx, fileEdits));
+    const testCmdAlreadyRan = ctx.testCommand
+        && shellCalls.some(c => String(c.input.command ?? '').includes(ctx.testCommand));
+    if (ctx.testCommand && !testCmdAlreadyRan)
+        checks.push(...runTestCommand(ctx));
+    checks.push(...verifyShellTests(ctx, shellCalls));
+    checks.push(...verifyTaskIntent(ctx));
+    return checks;
+}
+function verifyWrittenFiles(ctx, calls) {
+    const checks = [];
+    const minBytes = 100;
+    for (const call of calls) {
+        const filePath = String(call.input.path ?? '');
+        if (!filePath)
+            continue;
+        const abs = path.resolve(ctx.projectRoot, filePath);
+        if (!fs.existsSync(abs)) {
+            checks.push({
+                name: 'file exists',
+                passed: false,
+                detail: `${filePath} — not found`,
+            });
+        }
+        else {
+            try {
+                const stat = fs.statSync(abs);
+                if (stat.size < minBytes) {
+                    checks.push({
+                        name: 'file size',
+                        passed: false,
+                        detail: `${filePath} — ${stat.size} bytes (< ${minBytes} minimum)`,
+                    });
+                }
+                else {
+                    checks.push({
+                        name: 'file exists',
+                        passed: true,
+                        detail: `${filePath} — ${stat.size} bytes`,
+                    });
+                }
+            }
+            catch {
+                checks.push({ name: 'file exists', passed: false, detail: `${filePath} — stat failed` });
+            }
+        }
+    }
+    return checks;
+}
+function verifyEditedFiles(ctx, calls) {
+    const checks = [];
+    for (const call of calls) {
+        const filePath = String(call.input.path ?? '');
+        if (!filePath)
+            continue;
+        const abs = path.resolve(ctx.projectRoot, filePath);
+        if (!fs.existsSync(abs)) {
+            checks.push({ name: 'file mtime', passed: false, detail: `${filePath} — does not exist` });
+            continue;
+        }
+        try {
+            const stat = fs.statSync(abs);
+            if (stat.mtimeMs > ctx.taskStartedAt - MTIME_SLACK_MS) {
+                checks.push({ name: 'file mtime', passed: true, detail: `${filePath} — modified` });
+            }
+            else {
+                checks.push({
+                    name: 'file mtime',
+                    passed: false,
+                    detail: `${filePath} — not modified (mtime: ${new Date(stat.mtimeMs).toISOString()})`,
+                });
+            }
+        }
+        catch {
+            checks.push({ name: 'file mtime', passed: false, detail: `${filePath} — stat failed` });
+        }
+    }
+    return checks;
+}
+function runTestCommand(ctx) {
+    if (!ctx.testCommand)
+        return [];
+    const baselineFailures = ctx.baselineFailures ?? new Set();
+    try {
+        const result = (0, child_process_1.execSync)(ctx.testCommand, {
+            cwd: ctx.projectRoot,
+            encoding: 'utf8',
+            timeout: 120_000,
+            stdio: ['pipe', 'pipe', 'pipe'],
+        });
+        const output = result.trim();
+        return [{
+                name: 'tests pass',
+                passed: true,
+                detail: output ? output.split('\n')[0] ?? 'all tests passed' : 'all tests passed',
+            }];
+    }
+    catch (e) {
+        const err = e;
+        const combined = [err.stderr?.trim(), err.stdout?.trim()].filter(Boolean).join('\n');
+        const currentFailures = parseFailingTests(combined);
+        const newFailures = new Set([...currentFailures].filter(f => !baselineFailures.has(f)));
+        if (newFailures.size === 0 && currentFailures.size > 0) {
+            // Only pre-existing failures — this is fine
+            return [{
+                    name: 'tests pass',
+                    passed: true,
+                    detail: `${currentFailures.size} existing failure(s) — no new failures introduced`,
+                }];
+        }
+        if (newFailures.size > 0) {
+            const names = [...newFailures].slice(0, 5).join(', ');
+            return [{
+                    name: 'tests pass',
+                    passed: false,
+                    detail: `${newFailures.size} new test failure(s): ${names}`,
+                }];
+        }
+        // Couldn't parse failures or all tests passed? Fall back to raw output
+        const detail = combined || `test command failed: ${err.message}`;
+        return [{
+                name: 'tests pass',
+                passed: false,
+                detail,
+            }];
+    }
+}
+/**
+ * Run the test command and extract the set of currently failing test names.
+ * Used to establish a baseline before a task runs so that pre-existing
+ * failures don't block verification.
+ */
+function collectFailingTests(testCommand, projectRoot) {
+    try {
+        (0, child_process_1.execSync)(testCommand, {
+            cwd: projectRoot,
+            encoding: 'utf8',
+            timeout: 120_000,
+            stdio: ['pipe', 'pipe', 'pipe'],
+        });
+        return new Set();
+    }
+    catch (e) {
+        const err = e;
+        const combined = [err.stderr?.trim(), err.stdout?.trim()].filter(Boolean).join('\n');
+        return parseFailingTests(combined);
+    }
+}
+function parseFailingTests(output) {
+    const names = new Set();
+    // Jest / Vitest: FAIL path/to/file.test.ts
+    //                  ✕ test description
+    for (const line of output.split('\n')) {
+        const failMatch = line.match(/^\s*FAIL\s+(.+)$/);
+        if (failMatch) {
+            names.add(failMatch[1].trim());
+            continue;
+        }
+        // pytest: FAILED path/to/file.py::TestClass::test_name
+        const pytestMatch = line.match(/FAILED\s+(.+?)(?:\s+\[.*\])?$/);
+        if (pytestMatch) {
+            names.add(pytestMatch[1].trim());
+            continue;
+        }
+        // go test: --- FAIL: TestName (0.00s)
+        const goMatch = line.match(/--- FAIL:\s+(\S+)/);
+        if (goMatch) {
+            names.add(goMatch[1].trim());
+            continue;
+        }
+        // Vitest inline: × test description  (left of timestamps)
+        const vitestMatch = line.match(/^\s*[×✕]\s+(.+?)(?:\s+\d+ms)?$/);
+        if (vitestMatch && vitestMatch[1].length > 2) {
+            names.add(vitestMatch[1].trim());
+            continue;
+        }
+    }
+    return names;
+}
+function verifyShellTests(ctx, calls) {
+    const checks = [];
+    const testPatterns = ['npm test', 'pytest', 'jest', 'vitest', 'go test', 'cargo test', 'npx vitest run'];
+    for (const call of calls) {
+        const cmd = String(call.input.command ?? '');
+        const isTest = testPatterns.some(p => cmd.includes(p));
+        if (!isTest)
+            continue;
+        try {
+            (0, child_process_1.execSync)(cmd, {
+                cwd: ctx.projectRoot,
+                encoding: 'utf8',
+                timeout: 60_000,
+                stdio: ['pipe', 'pipe', 'pipe'],
+            });
+            checks.push({ name: 'shell test', passed: true, detail: `"${cmd}" — passed` });
+        }
+        catch {
+            checks.push({ name: 'shell test', passed: false, detail: `"${cmd}" — failed` });
+        }
+    }
+    return checks;
+}
+function verifyTaskIntent(ctx) {
+    const lower = ctx.task.toLowerCase();
+    const createWords = ['create', 'write', 'add', 'make', 'generate', 'scaffold'];
+    const hasCreateIntent = createWords.some(w => lower.includes(w));
+    if (!hasCreateIntent)
+        return [];
+    const fileWrites = ctx.toolCalls.filter(c => c.name === 'write_file');
+    if (fileWrites.length > 0)
+        return [];
+    const fileEdits = ctx.toolCalls.filter(c => c.name === 'edit_file');
+    if (fileEdits.length > 0)
+        return [];
+    const nowFiles = collectProjectFiles(ctx.projectRoot);
+    const newFiles = [...nowFiles].filter(f => !ctx.filesBefore.has(f));
+    if (newFiles.length > 0) {
+        return [{
+                name: 'files created',
+                passed: true,
+                detail: `${newFiles.length} new file(s): ${newFiles.slice(0, 3).join(', ')}`,
+            }];
+    }
+    return [{
+            name: 'files created',
+            passed: false,
+            detail: `task intent was "${ctx.task.slice(0, 50)}" but no files were created`,
+        }];
+}
+function collectProjectFiles(root) {
+    const files = new Set();
+    const ignore = ['node_modules', '.git', 'dist', 'build', '__pycache__', 'coverage', '.next'];
+    function walk(dir, depth) {
+        if (depth > 6)
+            return;
+        let entries;
+        try {
+            entries = fs.readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const e of entries) {
+            if (ignore.includes(e.name) || e.name.startsWith('.'))
+                continue;
+            const full = path.join(dir, e.name);
+            const rel = path.relative(root, full);
+            if (e.isDirectory()) {
+                walk(full, depth + 1);
+            }
+            else {
+                files.add(rel);
+            }
+        }
+    }
+    walk(root, 0);
+    return files;
+}
+//# sourceMappingURL=checks.js.map

package/dist/verify/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/verify/checks.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiBA,oCAoBC;AAuID,kDAcC;AAgGD,kDAgBC;AA1SD,uCAAyB;AACzB,2CAA6B;AAC7B,iDAAyC;AAazC,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,SAAgB,YAAY,CAAC,GAAiB;IAC5C,MAAM,MAAM,GAAY,EAAE,CAAC;IAE3B,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,SAAS,GAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAK,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACzC,MAAM,OAAO,GAAM,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAExC,IAAI,QAAQ;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO;QAAG,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAEhE,MAAM,iBAAiB,GAAG,GAAG,CAAC,WAAW;WACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAY,CAAC,CAAC,CAAC;IACpF,IAAI,GAAG,CAAC,WAAW,IAAI,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;IAE/E,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;IAEtC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CACzB,GAAiB,EACjB,KAA8D;IAE9D,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,GAAG,CAAC;IAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAEpD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,aAAa;gBACnB,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,GAAG,QAAQ,cAAc;aAClC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC9B,IAAI,IAAI,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,WAAW;wBACjB,MAAM,EAAE,KAAK;wBACb,MAAM,EAAE,GAAG,QAAQ,MAAM,IAAI,CAAC,IAAI,aAAa,QAAQ,WAAW;qBACnE,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,aAAa;wBACnB,MAAM,EAAE,IAAI;wBACZ,MAAM,EAAE,GAAG,QAAQ,MAAM,IAAI,CAAC,IAAI,QAAQ;qBAC3C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,gBAAgB,EAAE,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,GAAiB,EACjB,KAA8D;IAE9D,MAAM,MAAM,GAAY,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAEpD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,mBAAmB,EAAE,CAAC,CAAC;YAC3F,SAAS;QACX,CAAC;QAED,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,aAAa,GAAG,cAAc,EAAE,CAAC;gBACtD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,aAAa,EAAE,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,YAAY;oBAClB,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,GAAG,QAAQ,2BAA2B,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,GAAG;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,gBAAgB,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,GAAiB;IACvC,IAAI,CAAC,GAAG,CAAC,WAAW;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,gBAAgB,GAAG,GAAG,CAAC,gBAAgB,IAAI,IAAI,GAAG,EAAU,CAAC;IAEnE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,wBAAQ,EAAC,GAAG,CAAC,WAAW,EAAE;YACvC,GAAG,EAAE,GAAG,CAAC,WAAW;YACpB,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SAChC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC;gBACN,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,kBAAkB;aAClF,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAA0D,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,MAAM,eAAe,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAEpD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAExF,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,eAAe,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvD,4CAA4C;YAC5C,OAAO,CAAC;oBACN,IAAI,EAAE,YAAY;oBAClB,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,mDAAmD;iBACnF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO,CAAC;oBACN,IAAI,EAAE,YAAY;oBAClB,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,yBAAyB,KAAK,EAAE;iBAC5D,CAAC,CAAC;QACL,CAAC;QAED,uEAAuE;QACvE,MAAM,MAAM,GAAG,QAAQ,IAAI,wBAAwB,GAAG,CAAC,OAAO,EAAE,CAAC;QACjE,OAAO,CAAC;gBACN,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,KAAK;gBACb,MAAM;aACP,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,WAAmB,EAAE,WAAmB;IAC1E,IAAI,CAAC;QACH,IAAA,wBAAQ,EAAC,WAAW,EAAE;YACpB,GAAG,EAAE,WAAW;YAChB,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SAChC,CAAC,CAAC;QACH,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAA0D,CAAC;QACvE,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,2CAA2C;IAC3C,sCAAsC;IACtC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACjD,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,uDAAuD;QACvD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAChE,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,sCAAsC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,0DAA0D;QAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC;QACjE,IAAI,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAiB,EACjB,KAA8D;IAE9D,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IAEzG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,CAAC;YACH,IAAA,wBAAQ,EAAC,GAAG,EAAE;gBACZ,GAAG,EAAE,GAAG,CAAC,WAAW;gBACpB,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,MAAM;gBACf,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;aAChC,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC;QACjF,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAiB;IACzC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC/E,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAEpC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC;gBACN,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,iBAAiB,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC7E,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC;YACN,IAAI,EAAE,eAAe;YACrB,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,oBAAoB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B;SAC/E,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,mBAAmB,CAAC,IAAY;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7F,SAAS,IAAI,CAAC,GAAW,EAAE,KAAa;QACtC,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO;QACtB,IAAI,OAAoB,CAAC;QACzB,IAAI,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO;QAAC,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBAAC,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAAC,CAAC;iBAAM,CAAC;gBAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACd,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/verify/index.d.ts

@@ -0,0 +1,33 @@
+import type { VerificationResult, VerificationConfig } from './types.js';
+import { type CheckContext } from './checks.js';
+import type { LoopOptions, LoopResult } from '../agent/loop.js';
+import type { Display } from '../cli/display.js';
+export type { VerificationResult, VerificationConfig, Check, ToolCallLogEntry } from './types.js';
+export type { CheckContext } from './checks.js';
+export { collectProjectFiles, collectFailingTests } from './checks.js';
+export declare function buildSuggestion(checks: {
+    passed: boolean;
+    detail: string;
+}[]): string;
+export declare function shouldRetry(result: VerificationResult, config: VerificationConfig): boolean;
+export declare function verifyTask(ctx: CheckContext, config: VerificationConfig, attempts?: number): Promise<VerificationResult>;
+export declare function runVerificationSync(ctx: CheckContext, config: VerificationConfig, attempts?: number): VerificationResult;
+export interface RunWithVerificationResult {
+    loopResult: LoopResult;
+    verifyResult: VerificationResult;
+    totalAttempts: number;
+}
+export interface WithVerificationOptions {
+    loopOpts: Omit<LoopOptions, 'verify' | 'verifyConfig'>;
+    config: VerificationConfig;
+    projectRoot: string;
+    display: Display;
+}
+/**
+ * External wrapper around runAgentLoop.
+ *
+ * Runs the agent loop, then verifies output. If verification fails and retries
+ * remain, prepends failure context and reruns. runAgentLoop itself is NOT
+ * modified — all retry logic lives here.
+ */
+export declare function runWithVerification(opts: WithVerificationOptions): Promise<RunWithVerificationResult>;