@straiffi/archon 1.7.10 → 1.8.0

package/dist/server/lib/checkDiagnosticParsers.js

@@ -0,0 +1,301 @@
+import { isAbsolute, relative, resolve } from 'path';
+export const CHECK_DIAGNOSTIC_PARSER_VERSION = '1';
+export const CHECK_DIAGNOSTIC_LIMIT = 500;
+export const CHECK_DIAGNOSTIC_MESSAGE_LIMIT_BYTES = 16 * 1024;
+export const CHECK_DIAGNOSTIC_PATH_LIMIT_BYTES = 4 * 1024;
+export const CHECK_DIAGNOSTIC_CODE_LIMIT_BYTES = 256;
+export const CHECK_DIAGNOSTIC_INCOMPLETE_BUFFER_LIMIT_BYTES = 64 * 1024;
+const byteLength = (value) => Buffer.byteLength(value, 'utf8');
+const retainUtf8Prefix = (value, byteLimit) => {
+    if (byteLength(value) <= byteLimit) {
+        return value;
+    }
+    let low = 0;
+    let high = value.length;
+    while (low < high) {
+        const midpoint = Math.ceil((low + high) / 2);
+        if (byteLength(value.slice(0, midpoint)) <= byteLimit) {
+            low = midpoint;
+        }
+        else {
+            high = midpoint - 1;
+        }
+    }
+    let end = low;
+    if (end > 0 && end < value.length) {
+        const previous = value.charCodeAt(end - 1);
+        const next = value.charCodeAt(end);
+        if (previous >= 0xd800 && previous <= 0xdbff && next >= 0xdc00 && next <= 0xdfff) {
+            end -= 1;
+        }
+    }
+    return value.slice(0, end);
+};
+const normalizeSeverity = (value) => {
+    const normalized = value.toLowerCase();
+    if (normalized === 'error' || normalized === 'warning' || normalized === 'info') {
+        return normalized;
+    }
+    return 'unknown';
+};
+const isPathInside = (root, candidate) => {
+    const pathFromRoot = relative(root, candidate).replaceAll('\\', '/');
+    return pathFromRoot === '' || (!pathFromRoot.startsWith('..') && !pathFromRoot.includes('/../'));
+};
+const normalizeLocation = (pathValue, startLine, startColumn, workspaceCwd, checkCwd, pathByteLimit) => {
+    if (!Number.isSafeInteger(startLine) || startLine < 1 || !Number.isSafeInteger(startColumn) || startColumn < 1) {
+        return { file_path: null, start_line: null, start_column: null, end_line: null, end_column: null };
+    }
+    const absolutePath = resolve(isAbsolute(pathValue) ? pathValue : resolve(checkCwd, pathValue));
+    if (!isPathInside(workspaceCwd, absolutePath)) {
+        return { file_path: null, start_line: null, start_column: null, end_line: null, end_column: null };
+    }
+    const normalizedPath = relative(workspaceCwd, absolutePath).replaceAll('\\', '/') || '.';
+    if (byteLength(normalizedPath) > pathByteLimit) {
+        return { file_path: null, start_line: null, start_column: null, end_line: null, end_column: null };
+    }
+    return {
+        file_path: normalizedPath,
+        start_line: startLine,
+        start_column: startColumn,
+        end_line: null,
+        end_column: null,
+    };
+};
+const createAnsiStripper = () => {
+    let state = 'text';
+    return (chunk, finish = false) => {
+        let output = '';
+        for (const character of chunk) {
+            if (state === 'text') {
+                if (character === '\u001b') {
+                    state = 'escape';
+                }
+                else {
+                    output += character;
+                }
+            }
+            else if (state === 'escape') {
+                if (character === '[') {
+                    state = 'csi';
+                }
+                else if (character === ']') {
+                    state = 'osc';
+                }
+                else {
+                    state = 'text';
+                }
+            }
+            else if (state === 'csi') {
+                if (character >= '@' && character <= '~') {
+                    state = 'text';
+                }
+            }
+            else if (state === 'osc') {
+                if (character === '\u0007') {
+                    state = 'text';
+                }
+                else if (character === '\u001b') {
+                    state = 'osc_escape';
+                }
+            }
+            else if (character === '\\') {
+                state = 'text';
+            }
+            else {
+                state = character === '\u001b' ? 'osc_escape' : 'osc';
+            }
+        }
+        if (finish) {
+            state = 'text';
+        }
+        return output;
+    };
+};
+export const createCheckDiagnosticParserSession = (input) => {
+    const diagnosticLimit = input.diagnosticLimit ?? CHECK_DIAGNOSTIC_LIMIT;
+    const messageByteLimit = input.messageByteLimit ?? CHECK_DIAGNOSTIC_MESSAGE_LIMIT_BYTES;
+    const pathByteLimit = input.pathByteLimit ?? CHECK_DIAGNOSTIC_PATH_LIMIT_BYTES;
+    const codeByteLimit = input.codeByteLimit ?? CHECK_DIAGNOSTIC_CODE_LIMIT_BYTES;
+    const incompleteBufferByteLimit = input.incompleteBufferByteLimit ?? CHECK_DIAGNOSTIC_INCOMPLETE_BUFFER_LIMIT_BYTES;
+    const compatibleKind = input.definition.category === 'typecheck'
+        ? 'typescript'
+        : input.definition.category === 'lint' ? 'eslint' : null;
+    const stripAnsi = createAnsiStripper();
+    const diagnostics = [];
+    let emittedCount = 0;
+    let lineBuffer = '';
+    let current = null;
+    let eslintPath = null;
+    let recognized = false;
+    let malformedSignature = false;
+    let truncated = false;
+    const normalizeCode = (value) => {
+        if (!value) {
+            return null;
+        }
+        if (byteLength(value) > codeByteLimit) {
+            truncated = true;
+            return null;
+        }
+        return value;
+    };
+    const finalizeCurrent = () => {
+        if (!current) {
+            return;
+        }
+        const message = current.messageParts.join('\n').trim();
+        if (message) {
+            const boundedMessage = retainUtf8Prefix(message, messageByteLimit);
+            truncated ||= boundedMessage !== message;
+            if (emittedCount < diagnosticLimit) {
+                const { messageParts: _messageParts, ...diagnostic } = current;
+                diagnostics.push({ ...diagnostic, message: boundedMessage });
+            }
+            else {
+                truncated = true;
+            }
+            emittedCount += 1;
+        }
+        else {
+            malformedSignature = true;
+        }
+        current = null;
+    };
+    const startDiagnostic = (diagnostic, message) => {
+        finalizeCurrent();
+        recognized = true;
+        current = { ...diagnostic, message: '', messageParts: [message] };
+    };
+    const appendMessagePart = (value) => {
+        if (!current) {
+            return;
+        }
+        const existing = current.messageParts.join('\n');
+        const combined = `${existing}\n${value}`;
+        const bounded = retainUtf8Prefix(combined, messageByteLimit);
+        truncated ||= bounded !== combined;
+        current.messageParts = [bounded];
+    };
+    const processTypeScriptLine = (line) => {
+        const match = /^(.+?)(?:\((\d+),(\d+)\):?|:(\d+):(\d+))\s*(?:-\s*)?([^\s:]+)\s+(TS\d+):\s*(.*)$/.exec(line);
+        if (match) {
+            const lineNumber = Number(match[2] ?? match[4]);
+            const columnNumber = Number(match[3] ?? match[5]);
+            startDiagnostic({
+                severity: normalizeSeverity(match[6]),
+                code: normalizeCode(match[7]),
+                ...normalizeLocation(match[1], lineNumber, columnNumber, input.workspaceCwd, input.checkCwd, pathByteLimit),
+            }, match[8]);
+            return;
+        }
+        const globalMatch = /^([^\s:]+)\s+(TS\d+):\s*(.*)$/.exec(line);
+        if (globalMatch) {
+            startDiagnostic({
+                severity: normalizeSeverity(globalMatch[1]),
+                code: normalizeCode(globalMatch[2]),
+                file_path: null,
+                start_line: null,
+                start_column: null,
+                end_line: null,
+                end_column: null,
+            }, globalMatch[3]);
+            return;
+        }
+        if (/\bTS\d+\s*:/.test(line)) {
+            malformedSignature = true;
+        }
+        if (current && line.trim() && !/^Found \d+ errors?\b/.test(line)) {
+            appendMessagePart(line.trimEnd());
+        }
+        else if (current && !line.trim()) {
+            finalizeCurrent();
+        }
+    };
+    const processEslintLine = (line) => {
+        const match = /^\s*(\d+):(\d+)\s+([^\s]+)\s+(.+?)(?:\s{2,}([^\s]+))?\s*$/.exec(line);
+        if (match && eslintPath) {
+            const message = match[4];
+            const code = normalizeCode(match[5] ?? null);
+            startDiagnostic({
+                severity: normalizeSeverity(match[3]),
+                code,
+                ...normalizeLocation(eslintPath, Number(match[1]), Number(match[2]), input.workspaceCwd, input.checkCwd, pathByteLimit),
+            }, message);
+            return;
+        }
+        if (/^\s*\d+:\d+\s+/.test(line)) {
+            malformedSignature = true;
+            return;
+        }
+        if (!line.trim()) {
+            finalizeCurrent();
+            eslintPath = null;
+            return;
+        }
+        if (/^\s*[✖✕]\s+\d+ problems?/.test(line) || /^\s*\d+ problems?/.test(line)) {
+            finalizeCurrent();
+            return;
+        }
+        if (!/^\s/.test(line)) {
+            finalizeCurrent();
+            eslintPath = line.trim();
+        }
+        else if (current) {
+            appendMessagePart(line.trimEnd());
+        }
+    };
+    const processLine = (line) => {
+        const boundedLine = retainUtf8Prefix(line, incompleteBufferByteLimit);
+        truncated ||= boundedLine !== line;
+        const normalizedLine = boundedLine.endsWith('\r') ? boundedLine.slice(0, -1) : boundedLine;
+        if (compatibleKind === 'typescript') {
+            processTypeScriptLine(normalizedLine);
+        }
+        else if (compatibleKind === 'eslint') {
+            processEslintLine(normalizedLine);
+        }
+    };
+    const push = (chunk) => {
+        const beforeCount = diagnostics.length;
+        lineBuffer += stripAnsi(chunk);
+        if (byteLength(lineBuffer) > incompleteBufferByteLimit && !lineBuffer.includes('\n')) {
+            lineBuffer = retainUtf8Prefix(lineBuffer, incompleteBufferByteLimit);
+            truncated = true;
+            malformedSignature = true;
+        }
+        let newlineIndex = lineBuffer.indexOf('\n');
+        while (newlineIndex >= 0) {
+            processLine(lineBuffer.slice(0, newlineIndex));
+            lineBuffer = lineBuffer.slice(newlineIndex + 1);
+            newlineIndex = lineBuffer.indexOf('\n');
+        }
+        return diagnostics.slice(beforeCount);
+    };
+    const finish = () => {
+        lineBuffer += stripAnsi('', true);
+        if (lineBuffer) {
+            processLine(lineBuffer);
+            lineBuffer = '';
+        }
+        finalizeCurrent();
+        if (!compatibleKind || !recognized) {
+            return {
+                parser_kind: 'none',
+                parser_version: null,
+                status: malformedSignature ? 'malformed' : 'unsupported',
+                diagnostics: [],
+                truncated,
+            };
+        }
+        return {
+            parser_kind: compatibleKind,
+            parser_version: CHECK_DIAGNOSTIC_PARSER_VERSION,
+            status: 'complete',
+            diagnostics,
+            truncated,
+        };
+    };
+    return { push, finish };
+};
+//# sourceMappingURL=checkDiagnosticParsers.js.map

package/dist/server/lib/checkDiagnosticParsers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkDiagnosticParsers.js","sourceRoot":"","sources":["../../../server/lib/checkDiagnosticParsers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,MAAM,CAAA;AAGpD,MAAM,CAAC,MAAM,+BAA+B,GAAG,GAAG,CAAA;AAClD,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAA;AACzC,MAAM,CAAC,MAAM,oCAAoC,GAAG,EAAE,GAAG,IAAI,CAAA;AAC7D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,GAAG,IAAI,CAAA;AACzD,MAAM,CAAC,MAAM,iCAAiC,GAAG,GAAG,CAAA;AACpD,MAAM,CAAC,MAAM,8CAA8C,GAAG,EAAE,GAAG,IAAI,CAAA;AA2CvE,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AAEtE,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,SAAiB,EAAE,EAAE;IAC5D,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACnC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAA;IACvB,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5C,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;YACtD,GAAG,GAAG,QAAQ,CAAA;QAChB,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,QAAQ,GAAG,CAAC,CAAA;QACrB,CAAC;IACH,CAAC;IACD,IAAI,GAAG,GAAG,GAAG,CAAA;IACb,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,QAAQ,IAAI,MAAM,IAAI,QAAQ,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACjF,GAAG,IAAI,CAAC,CAAA;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAA2B,EAAE;IACnE,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAA;IACtC,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;QAChF,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,SAAiB,EAAE,EAAE;IACvD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACpE,OAAO,YAAY,KAAK,EAAE,IAAI,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;AAClG,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,SAAiB,EACjB,SAAiB,EACjB,WAAmB,EACnB,YAAoB,EACpB,QAAgB,EAChB,aAAqB,EACrB,EAAE;IACF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QAC/G,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACpG,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC9F,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACpG,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAA;IACxF,IAAI,UAAU,CAAC,cAAc,CAAC,GAAG,aAAa,EAAE,CAAC;QAC/C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACpG,CAAC;IACD,OAAO;QACL,SAAS,EAAE,cAAc;QACzB,UAAU,EAAE,SAAS;QACrB,YAAY,EAAE,WAAW;QACzB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KACjB,CAAA;AACH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,GAAG,EAAE;IAC9B,IAAI,KAAK,GAAqD,MAAM,CAAA;IACpE,OAAO,CAAC,KAAa,EAAE,MAAM,GAAG,KAAK,EAAE,EAAE;QACvC,IAAI,MAAM,GAAG,EAAE,CAAA;QACf,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;YAC9B,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBACrB,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,GAAG,QAAQ,CAAA;gBAClB,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,SAAS,CAAA;gBACrB,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;oBACtB,KAAK,GAAG,KAAK,CAAA;gBACf,CAAC;qBAAM,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;oBAC7B,KAAK,GAAG,KAAK,CAAA;gBACf,CAAC;qBAAM,CAAC;oBACN,KAAK,GAAG,MAAM,CAAA;gBAChB,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC3B,IAAI,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;oBACzC,KAAK,GAAG,MAAM,CAAA;gBAChB,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC3B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAC3B,KAAK,GAAG,MAAM,CAAA;gBAChB,CAAC;qBAAM,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,KAAK,GAAG,YAAY,CAAA;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBAC9B,KAAK,GAAG,MAAM,CAAA;YAChB,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAA;YACvD,CAAC;QACH,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,GAAG,MAAM,CAAA;QAChB,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,KAAkB,EAAgC,EAAE;IACrG,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,IAAI,sBAAsB,CAAA;IACvE,MAAM,gBAAgB,GAAG,KAAK,CAAC,gBAAgB,IAAI,oCAAoC,CAAA;IACvF,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,iCAAiC,CAAA;IAC9E,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,iCAAiC,CAAA;IAC9E,MAAM,yBAAyB,GAAG,KAAK,CAAC,yBAAyB,IAAI,8CAA8C,CAAA;IACnH,MAAM,cAAc,GAAsD,KAAK,CAAC,UAAU,CAAC,QAAQ,KAAK,WAAW;QACjH,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAA;IAC1D,MAAM,SAAS,GAAG,kBAAkB,EAAE,CAAA;IACtC,MAAM,WAAW,GAA4B,EAAE,CAAA;IAC/C,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,IAAI,UAAU,GAAG,EAAE,CAAA;IACnB,IAAI,OAAO,GAA6B,IAAI,CAAA;IAC5C,IAAI,UAAU,GAAkB,IAAI,CAAA;IACpC,IAAI,UAAU,GAAG,KAAK,CAAA;IACtB,IAAI,kBAAkB,GAAG,KAAK,CAAA;IAC9B,IAAI,SAAS,GAAG,KAAK,CAAA;IAErB,MAAM,aAAa,GAAG,CAAC,KAAoB,EAAE,EAAE;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,aAAa,EAAE,CAAC;YACtC,SAAS,GAAG,IAAI,CAAA;YAChB,OAAO,IAAI,CAAA;QACb,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,MAAM,eAAe,GAAG,GAAG,EAAE;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,cAAc,GAAG,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAA;YAClE,SAAS,KAAK,cAAc,KAAK,OAAO,CAAA;YACxC,IAAI,YAAY,GAAG,eAAe,EAAE,CAAC;gBACnC,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,GAAG,OAAO,CAAA;gBAC9D,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAA;YAC9D,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,IAAI,CAAA;YAClB,CAAC;YACD,YAAY,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACN,kBAAkB,GAAG,IAAI,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,IAAI,CAAA;IAChB,CAAC,CAAA;IAED,MAAM,eAAe,GAAG,CAAC,UAAkD,EAAE,OAAe,EAAE,EAAE;QAC9F,eAAe,EAAE,CAAA;QACjB,UAAU,GAAG,IAAI,CAAA;QACjB,OAAO,GAAG,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,CAAA;IACnE,CAAC,CAAA;IAED,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAE,EAAE;QAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChD,MAAM,QAAQ,GAAG,GAAG,QAAQ,KAAK,KAAK,EAAE,CAAA;QACxC,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;QAC5D,SAAS,KAAK,OAAO,KAAK,QAAQ,CAAA;QAClC,OAAO,CAAC,YAAY,GAAG,CAAC,OAAO,CAAC,CAAA;IAClC,CAAC,CAAA;IAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,kFAAkF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC3G,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;YAC/C,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;YACjD,eAAe,CAAC;gBACd,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC;gBAC/C,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC;gBACvC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC;aACtH,EAAE,KAAK,CAAC,CAAC,CAAW,CAAC,CAAA;YACtB,OAAM;QACR,CAAC;QACD,MAAM,WAAW,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC9D,IAAI,WAAW,EAAE,CAAC;YAChB,eAAe,CAAC;gBACd,QAAQ,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAW,CAAC;gBACrD,IAAI,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAW,CAAC;gBAC7C,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;gBAClB,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;aACjB,EAAE,WAAW,CAAC,CAAC,CAAW,CAAC,CAAA;YAC5B,OAAM;QACR,CAAC;QACD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,kBAAkB,GAAG,IAAI,CAAA;QAC3B,CAAC;QACD,IAAI,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACnC,eAAe,EAAE,CAAA;QACnB,CAAC;IACH,CAAC,CAAA;IAED,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAE,EAAE;QACzC,MAAM,KAAK,GAAG,2DAA2D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpF,IAAI,KAAK,IAAI,UAAU,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAW,CAAA;YAClC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAA;YAC5C,eAAe,CAAC;gBACd,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC;gBAC/C,IAAI;gBACJ,GAAG,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC;aACxH,EAAE,OAAO,CAAC,CAAA;YACX,OAAM;QACR,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,kBAAkB,GAAG,IAAI,CAAA;YACzB,OAAM;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACjB,eAAe,EAAE,CAAA;YACjB,UAAU,GAAG,IAAI,CAAA;YACjB,OAAM;QACR,CAAC;QACD,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,eAAe,EAAE,CAAA;YACjB,OAAM;QACR,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,eAAe,EAAE,CAAA;YACjB,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;QAC1B,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACnC,CAAC;IACH,CAAC,CAAA;IAED,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAE;QACnC,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAA;QACrE,SAAS,KAAK,WAAW,KAAK,IAAI,CAAA;QAClC,MAAM,cAAc,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAA;QAC1F,IAAI,cAAc,KAAK,YAAY,EAAE,CAAC;YACpC,qBAAqB,CAAC,cAAc,CAAC,CAAA;QACvC,CAAC;aAAM,IAAI,cAAc,KAAK,QAAQ,EAAE,CAAC;YACvC,iBAAiB,CAAC,cAAc,CAAC,CAAA;QACnC,CAAC;IACH,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,EAAE;QAC7B,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAA;QACtC,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,CAAA;QAC9B,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,yBAAyB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACrF,UAAU,GAAG,gBAAgB,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAA;YACpE,SAAS,GAAG,IAAI,CAAA;YAChB,kBAAkB,GAAG,IAAI,CAAA;QAC3B,CAAC;QACD,IAAI,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC3C,OAAO,YAAY,IAAI,CAAC,EAAE,CAAC;YACzB,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAA;YAC9C,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAA;YAC/C,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACzC,CAAC;QACD,OAAO,WAAW,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IACvC,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,GAAgC,EAAE;QAC/C,UAAU,IAAI,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACjC,IAAI,UAAU,EAAE,CAAC;YACf,WAAW,CAAC,UAAU,CAAC,CAAA;YACvB,UAAU,GAAG,EAAE,CAAA;QACjB,CAAC;QACD,eAAe,EAAE,CAAA;QACjB,IAAI,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,OAAO;gBACL,WAAW,EAAE,MAAM;gBACnB,cAAc,EAAE,IAAI;gBACpB,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa;gBACxD,WAAW,EAAE,EAAE;gBACf,SAAS;aACV,CAAA;QACH,CAAC;QACD,OAAO;YACL,WAAW,EAAE,cAAc;YAC3B,cAAc,EAAE,+BAA+B;YAC/C,MAAM,EAAE,UAAU;YAClB,WAAW;YACX,SAAS;SACV,CAAA;IACH,CAAC,CAAA;IAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AACzB,CAAC,CAAA"}

package/dist/server/lib/checkDiagnostics.js

@@ -0,0 +1,142 @@
+import { randomUUID } from 'crypto';
+import db from '../db.js';
+import { appendCheckAttemptOutput } from './checkRuns.js';
+const toParserState = (row) => ({
+    ...row,
+    truncated: row.truncated === 1,
+});
+const assertAttemptOwnership = (projectId, attemptRunId) => {
+    const row = db.prepare(`
+    SELECT details.definition_id
+    FROM check_attempt_details details
+    JOIN execution_runs run ON run.id = details.execution_run_id
+    WHERE run.project_id = ? AND run.id = ? AND run.kind = 'check_attempt'
+  `).get(projectId, attemptRunId);
+    if (!row) {
+        throw new Error(`Check attempt ${attemptRunId} was not found in project ${projectId}`);
+    }
+    return row;
+};
+export const initializeCheckDiagnosticParser = (projectId, attemptRunId) => {
+    const attempt = assertAttemptOwnership(projectId, attemptRunId);
+    db.prepare(`
+    INSERT OR IGNORE INTO check_attempt_diagnostic_parsers (
+      attempt_run_id, definition_id, parser_kind, status
+    ) VALUES (?, ?, 'none', 'pending')
+  `).run(attemptRunId, attempt.definition_id);
+    return getCheckDiagnosticParserState(projectId, attemptRunId);
+};
+export const appendCheckDiagnostics = (input) => {
+    if (input.diagnostics.length === 0) {
+        return;
+    }
+    const append = db.transaction(() => {
+        const state = getCheckDiagnosticParserState(input.projectId, input.attemptRunId)
+            ?? initializeCheckDiagnosticParser(input.projectId, input.attemptRunId);
+        if (state.status !== 'pending' || state.retention_state !== 'retained') {
+            throw new Error(`Check attempt ${input.attemptRunId} diagnostics cannot be appended`);
+        }
+        const insert = db.prepare(`
+      INSERT INTO check_attempt_diagnostics (
+        id, attempt_run_id, definition_id, ordinal, severity, message, code, file_path,
+        start_line, start_column, end_line, end_column
+      ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)
+    `);
+        let ordinal = state.diagnostic_count;
+        for (const diagnostic of input.diagnostics) {
+            insert.run(randomUUID(), input.attemptRunId, state.definition_id, ordinal, diagnostic.severity, diagnostic.message, diagnostic.code, diagnostic.file_path, diagnostic.start_line, diagnostic.start_column, diagnostic.end_line, diagnostic.end_column);
+            ordinal += 1;
+        }
+        db.prepare(`
+      UPDATE check_attempt_diagnostic_parsers SET diagnostic_count = ? WHERE attempt_run_id = ?
+    `).run(ordinal, input.attemptRunId);
+    });
+    append.immediate();
+};
+export const appendCheckAttemptEvidence = (input) => {
+    const append = db.transaction(() => {
+        const output = appendCheckAttemptOutput({
+            projectId: input.projectId,
+            runId: input.attemptRunId,
+            chunk: input.chunk,
+        });
+        appendCheckDiagnostics({
+            projectId: input.projectId,
+            attemptRunId: input.attemptRunId,
+            diagnostics: input.diagnostics,
+        });
+        return output;
+    });
+    return append.immediate();
+};
+export const completeCheckDiagnosticParser = (input) => {
+    const complete = db.transaction(() => {
+        const state = getCheckDiagnosticParserState(input.projectId, input.attemptRunId)
+            ?? initializeCheckDiagnosticParser(input.projectId, input.attemptRunId);
+        if (state.status !== 'pending') {
+            throw new Error(`Check attempt ${input.attemptRunId} diagnostic parser is already terminal`);
+        }
+        if (state.diagnostic_count !== input.result.diagnostics.length) {
+            throw new Error('Persisted diagnostic count does not match the completed parser result');
+        }
+        db.prepare(`
+      UPDATE check_attempt_diagnostic_parsers
+      SET parser_kind = ?, parser_version = ?, status = ?, truncated = ?
+      WHERE attempt_run_id = ?
+    `).run(input.result.parser_kind, input.result.parser_version, input.result.status, input.result.truncated ? 1 : 0, input.attemptRunId);
+    });
+    complete.immediate();
+    return getCheckDiagnosticParserState(input.projectId, input.attemptRunId);
+};
+export const getCheckDiagnosticParserState = (projectId, attemptRunId) => {
+    const row = db.prepare(`
+    SELECT parser.*
+    FROM check_attempt_diagnostic_parsers parser
+    JOIN execution_runs run ON run.id = parser.attempt_run_id
+    WHERE run.project_id = ? AND run.id = ?
+  `).get(projectId, attemptRunId);
+    return row ? toParserState(row) : null;
+};
+export const listCheckAttemptDiagnostics = (projectId, attemptRunId) => db.prepare(`
+  SELECT diagnostic.*
+  FROM check_attempt_diagnostics diagnostic
+  JOIN execution_runs run ON run.id = diagnostic.attempt_run_id
+  WHERE run.project_id = ? AND run.id = ?
+  ORDER BY diagnostic.ordinal ASC
+`).all(projectId, attemptRunId);
+export const getCheckAttemptDiagnosticResponse = (projectId, attemptRunId) => {
+    const parser = getCheckDiagnosticParserState(projectId, attemptRunId);
+    if (!parser) {
+        return null;
+    }
+    return {
+        attempt_run_id: attemptRunId,
+        definition_id: parser.definition_id,
+        parser,
+        diagnostics: parser.retention_state === 'retained' ? listCheckAttemptDiagnostics(projectId, attemptRunId) : [],
+    };
+};
+export const getCheckBatchDiagnosticResponse = (projectId, batchRunId) => {
+    const batch = db.prepare(`
+    SELECT details.execution_run_id
+    FROM check_batch_details details
+    JOIN execution_runs run ON run.id = details.execution_run_id
+    WHERE run.project_id = ? AND run.id = ?
+  `).get(projectId, batchRunId);
+    if (!batch) {
+        return null;
+    }
+    const attemptRows = db.prepare(`
+    SELECT attempt.execution_run_id
+    FROM check_attempt_details attempt
+    JOIN execution_runs run ON run.id = attempt.execution_run_id
+    WHERE run.project_id = ? AND attempt.batch_run_id = ?
+    ORDER BY run.created_at ASC, run.id ASC
+  `).all(projectId, batchRunId);
+    return {
+        batch_run_id: batchRunId,
+        attempts: attemptRows.map(row => getCheckAttemptDiagnosticResponse(projectId, row.execution_run_id)).filter(Boolean),
+    };
+};
+export const isCheckDiagnosticSeverity = (value) => ['error', 'warning', 'info', 'unknown'].includes(value);
+//# sourceMappingURL=checkDiagnostics.js.map

package/dist/server/lib/checkDiagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkDiagnostics.js","sourceRoot":"","sources":["../../../server/lib/checkDiagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAE,MAAM,UAAU,CAAA;AACzB,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AA+BzD,MAAM,aAAa,GAAG,CAAC,GAAmB,EAA8B,EAAE,CAAC,CAAC;IAC1E,GAAG,GAAG;IACN,SAAS,EAAE,GAAG,CAAC,SAAS,KAAK,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,CAAC,SAAiB,EAAE,YAAoB,EAAE,EAAE;IACzE,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;GAKtB,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAA0C,CAAA;IACxE,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,YAAY,6BAA6B,SAAS,EAAE,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,SAAiB,EAAE,YAAoB,EAAE,EAAE;IACzF,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAA;IAC/D,EAAE,CAAC,OAAO,CAAC;;;;GAIV,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;IAC3C,OAAO,6BAA6B,CAAC,SAAS,EAAE,YAAY,CAA+B,CAAA;AAC7F,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAItC,EAAE,EAAE;IACH,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;QACjC,MAAM,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC;eAC3E,+BAA+B,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QACzE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;YACvE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,YAAY,iCAAiC,CAAC,CAAA;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;KAKzB,CAAC,CAAA;QACF,IAAI,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAA;QACpC,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,CACR,UAAU,EAAE,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,aAAa,EAAE,OAAO,EAC9D,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,SAAS,EAC9E,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,YAAY,EAAE,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAC3F,CAAA;YACD,OAAO,IAAI,CAAC,CAAA;QACd,CAAC;QACD,EAAE,CAAC,OAAO,CAAC;;KAEV,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;IACrC,CAAC,CAAC,CAAA;IACF,MAAM,CAAC,SAAS,EAAE,CAAA;AACpB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAK1C,EAAE,EAAE;IACH,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,wBAAwB,CAAC;YACtC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,YAAY;YACzB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAA;QACF,sBAAsB,CAAC;YACrB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,CAAC,CAAA;QACF,OAAO,MAAM,CAAA;IACf,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAC,SAAS,EAAE,CAAA;AAC3B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,KAI7C,EAAE,EAAE;IACH,MAAM,QAAQ,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC;eAC3E,+BAA+B,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QACzE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,YAAY,wCAAwC,CAAC,CAAA;QAC9F,CAAC;QACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAA;QAC1F,CAAC;QACD,EAAE,CAAC,OAAO,CAAC;;;;KAIV,CAAC,CAAC,GAAG,CACJ,KAAK,CAAC,MAAM,CAAC,WAAW,EACxB,KAAK,CAAC,MAAM,CAAC,cAAc,EAC3B,KAAK,CAAC,MAAM,CAAC,MAAM,EACnB,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC9B,KAAK,CAAC,YAAY,CACnB,CAAA;IACH,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,SAAS,EAAE,CAAA;IACpB,OAAO,6BAA6B,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAA+B,CAAA;AACzG,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,SAAiB,EAAE,YAAoB,EAAE,EAAE;IACvF,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;GAKtB,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAA+B,CAAA;IAC7D,OAAO,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACxC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,SAAiB,EAAE,YAAoB,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC;;;;;;CAMlG,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,CAA6B,CAAA;AAE3D,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,SAAiB,EAAE,YAAoB,EAAE,EAAE;IAC3F,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,EAAE,YAAY,CAAC,CAAA;IACrE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO;QACL,cAAc,EAAE,YAAY;QAC5B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,MAAM;QACN,WAAW,EAAE,MAAM,CAAC,eAAe,KAAK,UAAU,CAAC,CAAC,CAAC,2BAA2B,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;KAC/G,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,SAAiB,EAAE,UAAkB,EAAE,EAAE;IACvF,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;GAKxB,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAA6C,CAAA;IACzE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC;;;;;;GAM9B,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAwC,CAAA;IACpE,OAAO;QACL,YAAY,EAAE,UAAU;QACxB,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,iCAAiC,CAAC,SAAS,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;KACrH,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,KAAa,EAAoC,EAAE,CAC3F,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CACvC,CAAC,QAAQ,CAAC,KAAgC,CAAC,CAAA"}

package/dist/server/lib/checkGateEvaluations.js

@@ -2,10 +2,11 @@ import { randomUUID } from 'crypto';
 import db from '../db.js';
 import { getCheckDefinitionFingerprint } from './checkDefinitions.js';
 import { getCheckConfigurationFingerprint, isCheckAttemptCurrent } from './checkRuns.js';
-import { getRequiredCheckPolicySnapshotFingerprint } from './requiredCheckPolicy.js';
+import { getInvalidRequiredCheckPolicyFingerprint, getRequiredCheckPolicySnapshotFingerprint } from './requiredCheckPolicy.js';
 import { truncateUtf8 } from './transcriptRuns.js';
 export const CHECK_GATE_REASON_CODES = [
     'not_required',
+    'policy_invalid',
     'policy_drift',
     'workspace_unavailable',
     'intended_identity_mismatch',
@@ -19,8 +20,55 @@ export const CHECK_GATE_REASON_CODES = [
     'attempt_failed',
     'attempt_stale',
     'target_busy',
+    'check_start_failed',
 ];
 const reasonOrder = new Map(CHECK_GATE_REASON_CODES.map((code, index) => [code, index]));
+const reasonDescriptions = {
+    not_required: 'required checks are not configured',
+    policy_invalid: 'the required-check policy is invalid',
+    policy_drift: 'the required-check policy changed',
+    workspace_unavailable: 'the workspace is unavailable',
+    intended_identity_mismatch: 'the checked workspace no longer matches the automation target',
+    missing_evidence: 'required check evidence is missing',
+    target_mismatch: 'the checks targeted a different workspace or bundle',
+    batch_not_completed: 'the required-check batch has not finished',
+    incomplete_evidence: 'required check evidence is incomplete',
+    duplicate_evidence: 'duplicate required check evidence was found',
+    extra_evidence: 'unexpected required check evidence was found',
+    definition_drift: 'a required check definition changed',
+    attempt_failed: 'one or more required checks failed',
+    attempt_stale: 'required check evidence is stale',
+    target_busy: 'another check run is already using the target',
+    check_start_failed: 'the required checks could not be started',
+};
+const boundaryDescriptions = {
+    check_completion: 'check completion',
+    automation_review: 'Review progression',
+    automation_commit: 'commit',
+    automation_push: 'push',
+    automation_pull_request: 'pull-request creation',
+};
+export const createRequiredCheckGateFailure = (boundaryKind, reasonCodes) => ({
+    type: 'required_check_gate_failure',
+    boundaryKind,
+    reasonCodes: [...new Set(reasonCodes.filter(reasonCode => CHECK_GATE_REASON_CODES.includes(reasonCode)))],
+});
+export const formatRequiredCheckGateFailureMessage = (boundaryKind, reasonCodes) => {
+    const failure = createRequiredCheckGateFailure(boundaryKind, reasonCodes);
+    const descriptions = failure.reasonCodes.map(reasonCode => reasonDescriptions[reasonCode]);
+    const explanationDescriptions = descriptions.map((description, index) => index === 0
+        ? `${description.charAt(0).toUpperCase()}${description.slice(1)}`
+        : description);
+    const explanation = descriptions.length > 0
+        ? ` ${explanationDescriptions.join('; ')}.`
+        : ' The required checks did not produce usable evidence.';
+    return `Required checks blocked the automated ${boundaryDescriptions[boundaryKind] ?? 'automation boundary'}.${explanation} Review the check results and rerun any failed or unfinished checks before resuming automation.`;
+};
+export const serializeRequiredCheckGateFailure = (failure, includeReasonCodes = true) => JSON.stringify({
+    type: failure.type,
+    boundaryKind: failure.boundaryKind,
+    ...(includeReasonCodes ? { reasonCodes: failure.reasonCodes } : {}),
+});
 const targetKey = ({ projectId, bundleId }) => `${projectId}\u0000${bundleId}`;
 const compareUtf8 = (left, right) => Buffer.compare(Buffer.from(left, 'utf8'), Buffer.from(right, 'utf8'));
 const sortAttempts = (attempts) => [...attempts].sort((left, right) => (compareUtf8(left.definition_id, right.definition_id) || compareUtf8(left.execution_run_id, right.execution_run_id)));
@@ -42,6 +90,11 @@ const addMultiplicityReasons = (reasons, requiredIds, representedIds) => {
     }
 };
 const isPolicySnapshotValid = (policy, target, boundaryKind) => {
+    if (policy.status === 'invalid') {
+        return policy.definitionIds.length === 0
+            && policy.definitions.length === 0
+            && policy.fingerprint === getInvalidRequiredCheckPolicyFingerprint(policy.error, target, boundaryKind);
+    }
     const definitionIds = policy.definitions.map(definition => definition.id);
     return new Set(policy.definitionIds).size === policy.definitionIds.length
         && new Set(definitionIds).size === definitionIds.length
@@ -53,6 +106,9 @@ export const evaluateCheckGate = (input) => {
     const attempts = sortAttempts(input.attempts);
     const requiredIds = input.policy.definitionIds;
     const requiredById = new Map(input.policy.definitions.map(definition => [definition.id, definition]));
+    if (input.policy.status === 'invalid') {
+        reasons.add('policy_invalid');
+    }
     if (!isPolicySnapshotValid(input.policy, input.target, input.boundaryKind)) {
         reasons.add('policy_drift');
     }
@@ -183,9 +239,14 @@ export const createCheckGateAttemptSnapshot = (attempt, workspaceIdentity) => {
 };
 const fromRow = (row, attempts) => {
     const snapshot = JSON.parse(row.snapshot_json);
+    const persistedPolicy = snapshot.policy;
+    const policy = 'status' in persistedPolicy
+        ? persistedPolicy
+        : { ...persistedPolicy, status: 'valid' };
     return {
         id: row.id,
         ...snapshot,
+        policy,
         decision: row.decision,
         reasonCodes: JSON.parse(row.reason_codes_json),
         evaluatedAttempts: attempts.map(attempt => ({
@@ -202,6 +263,33 @@ const fromRow = (row, attempts) => {
         createdAt: row.created_at,
     };
 };
+const getResolutionFingerprint = (resolution, target, boundaryKind) => resolution.status === 'valid'
+    ? getRequiredCheckPolicySnapshotFingerprint(resolution.policy, target, boundaryKind)
+    : getInvalidRequiredCheckPolicyFingerprint(resolution.error, target, boundaryKind);
+export const hydrateCheckGatePresentApplicability = (evaluation, currentWorkspaceIdentity, currentPolicyResolution) => {
+    const workspace = currentWorkspaceIdentity?.state !== 'available'
+        ? 'unavailable'
+        : evaluation.workspaceIdentity.state !== 'available'
+            ? 'stale'
+            : evaluation.workspaceIdentity.fingerprint === currentWorkspaceIdentity.fingerprint
+                ? 'current'
+                : 'stale';
+    const policy = currentPolicyResolution === null
+        ? 'unavailable'
+        : getResolutionFingerprint(currentPolicyResolution, evaluation.target, evaluation.boundaryKind) === evaluation.policy.fingerprint
+            ? 'current'
+            : 'stale';
+    return {
+        ...evaluation,
+        presentApplicability: {
+            workspace,
+            policy,
+            appliesToCurrentState: workspace === 'unavailable' || policy === 'unavailable'
+                ? null
+                : workspace === 'current' && policy === 'current',
+        },
+    };
+};
 const toSummary = (row) => ({
     id: row.id,
     decision: row.decision,