@zbigniewsobiecki/squint 1.0.0

package/dist/commands/llm/_shared/pure-check.js

@@ -0,0 +1,449 @@
+/**
+ * AST-based impure pattern detection for pure annotation gating.
+ * Uses tree-sitter to detect structural impurity patterns rather than regex.
+ */
+import Parser from 'tree-sitter';
+import TypeScript from 'tree-sitter-typescript';
+let parser = null;
+function getParser() {
+    if (!parser) {
+        parser = new Parser();
+        parser.setLanguage(TypeScript.tsx);
+    }
+    return parser;
+}
+const AMBIENT_GLOBALS = new Set([
+    'console',
+    'process',
+    'document',
+    'window',
+    'globalThis',
+    'navigator',
+    'localStorage',
+    'sessionStorage',
+    'location',
+]);
+/** Built-in global functions that are pure (no side effects when called at module scope). */
+const PURE_GLOBAL_FUNCTIONS = new Set([
+    'parseInt',
+    'parseFloat',
+    'String',
+    'Number',
+    'Boolean',
+    'BigInt',
+    'Array',
+    'Object',
+    'Symbol',
+    'isNaN',
+    'isFinite',
+    'encodeURIComponent',
+    'decodeURIComponent',
+    'encodeURI',
+    'decodeURI',
+    'atob',
+    'btoa',
+    'structuredClone',
+]);
+/** Built-in constructors that are pure (no side effects when constructed at module scope). */
+const PURE_GLOBAL_CONSTRUCTORS = new Set([
+    'Date',
+    'RegExp',
+    'Error',
+    'TypeError',
+    'RangeError',
+    'SyntaxError',
+    'ReferenceError',
+    'URIError',
+    'EvalError',
+    'AggregateError',
+    'Map',
+    'Set',
+    'WeakMap',
+    'WeakSet',
+    'URL',
+    'URLSearchParams',
+    'Headers',
+    'FormData',
+    'AbortController',
+    'TextEncoder',
+    'TextDecoder',
+    'Blob',
+    'File',
+    'Int8Array',
+    'Uint8Array',
+    'Float32Array',
+    'Float64Array',
+    'ArrayBuffer',
+    'SharedArrayBuffer',
+    'DataView',
+    'Promise',
+]);
+/**
+ * Detect impure patterns in source code using AST analysis.
+ * Returns a list of reasons why the code is impure (empty = possibly pure).
+ */
+export function detectImpurePatterns(sourceCode) {
+    if (!sourceCode.trim())
+        return [];
+    let tree;
+    try {
+        tree = getParser().parse(sourceCode);
+    }
+    catch {
+        return [];
+    }
+    const root = tree.rootNode;
+    if (!root || root.childCount === 0)
+        return [];
+    const funcNode = findOutermostFunction(root);
+    const localIds = funcNode ? collectLocalIdentifiers(funcNode) : null;
+    const reasons = [];
+    walkForImpurity(root, localIds, reasons);
+    return [...new Set(reasons)];
+}
+/**
+ * Find the outermost function body in the snippet.
+ * Handles: export statement wrapping, lexical_declaration → variable_declarator → arrow_function,
+ * direct function_declaration, and method_definition.
+ */
+function findOutermostFunction(root) {
+    for (let i = 0; i < root.childCount; i++) {
+        let node = root.child(i);
+        if (!node)
+            continue;
+        // Unwrap export_statement
+        if (node.type === 'export_statement') {
+            const decl = node.childForFieldName('declaration');
+            if (decl)
+                node = decl;
+            else
+                continue;
+        }
+        if (node.type === 'function_declaration') {
+            return node;
+        }
+        // lexical_declaration → variable_declarator → arrow_function / function
+        if (node.type === 'lexical_declaration' || node.type === 'variable_declaration') {
+            for (let j = 0; j < node.childCount; j++) {
+                const child = node.child(j);
+                if (child?.type === 'variable_declarator') {
+                    const value = child.childForFieldName('value');
+                    if (value?.type === 'arrow_function' || value?.type === 'function') {
+                        return value;
+                    }
+                }
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Collect identifiers declared locally within a function scope.
+ * Includes parameters (with destructuring), let/const/var declarations,
+ * for-of/for-in loop variables, and catch clause parameters.
+ * Does NOT recurse into nested function bodies.
+ */
+function collectLocalIdentifiers(funcNode) {
+    const ids = new Set();
+    // Collect formal parameters
+    const params = funcNode.childForFieldName('parameters');
+    if (params) {
+        collectPatternIdentifiers(params, ids);
+    }
+    // Single arrow parameter (no parens): (x) => ...
+    const param = funcNode.childForFieldName('parameter');
+    if (param?.type === 'identifier') {
+        ids.add(param.text);
+    }
+    // Walk the body for declarations
+    const body = funcNode.childForFieldName('body');
+    if (body) {
+        collectBodyDeclarations(body, ids);
+    }
+    return ids;
+}
+/**
+ * Recursively extract identifiers from parameter/destructuring patterns.
+ */
+function collectPatternIdentifiers(node, ids) {
+    switch (node.type) {
+        case 'identifier':
+            ids.add(node.text);
+            break;
+        case 'rest_pattern': {
+            // ...rest
+            for (let i = 0; i < node.childCount; i++) {
+                const child = node.child(i);
+                if (child)
+                    collectPatternIdentifiers(child, ids);
+            }
+            break;
+        }
+        case 'assignment_pattern': {
+            // param = default
+            const left = node.childForFieldName('left');
+            if (left)
+                collectPatternIdentifiers(left, ids);
+            break;
+        }
+        case 'object_pattern':
+        case 'array_pattern':
+        case 'formal_parameters':
+        case 'required_parameter':
+        case 'optional_parameter': {
+            for (let i = 0; i < node.childCount; i++) {
+                const child = node.child(i);
+                if (child)
+                    collectPatternIdentifiers(child, ids);
+            }
+            break;
+        }
+        case 'shorthand_property_identifier_pattern':
+            ids.add(node.text);
+            break;
+        case 'pair_pattern': {
+            const value = node.childForFieldName('value');
+            if (value)
+                collectPatternIdentifiers(value, ids);
+            break;
+        }
+    }
+}
+/**
+ * Walk a function body collecting declarations. Stops at nested function boundaries.
+ */
+function collectBodyDeclarations(node, ids) {
+    // Don't recurse into nested functions
+    if (node.type === 'arrow_function' ||
+        node.type === 'function_declaration' ||
+        node.type === 'function' ||
+        node.type === 'method_definition') {
+        return;
+    }
+    if (node.type === 'lexical_declaration' || node.type === 'variable_declaration') {
+        for (let i = 0; i < node.childCount; i++) {
+            const child = node.child(i);
+            if (child?.type === 'variable_declarator') {
+                const nameNode = child.childForFieldName('name');
+                if (nameNode)
+                    collectPatternIdentifiers(nameNode, ids);
+            }
+        }
+    }
+    // for...of / for...in loop variables
+    if (node.type === 'for_in_statement') {
+        const left = node.childForFieldName('left');
+        if (left) {
+            if (left.type === 'identifier') {
+                ids.add(left.text);
+            }
+            else {
+                collectPatternIdentifiers(left, ids);
+            }
+        }
+    }
+    // catch clause parameter
+    if (node.type === 'catch_clause') {
+        const paramNode = node.childForFieldName('parameter');
+        if (paramNode)
+            collectPatternIdentifiers(paramNode, ids);
+    }
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (child)
+            collectBodyDeclarations(child, ids);
+    }
+}
+/**
+ * Resolve the root identifier of a (possibly chained) member_expression.
+ * Returns null for `this`, `super`, or non-identifier roots.
+ */
+function resolveRootIdentifier(node) {
+    if (node.type === 'identifier')
+        return node.text;
+    if (node.type === 'this' || node.type === 'super')
+        return null;
+    if (node.type === 'member_expression') {
+        const obj = node.childForFieldName('object');
+        if (obj)
+            return resolveRootIdentifier(obj);
+    }
+    // subscript_expression: a[b] = ...
+    if (node.type === 'subscript_expression') {
+        const obj = node.childForFieldName('object');
+        if (obj)
+            return resolveRootIdentifier(obj);
+    }
+    return null;
+}
+/**
+ * Count non-punctuation arguments in an arguments node.
+ */
+function countArguments(argsNode) {
+    let count = 0;
+    for (let i = 0; i < argsNode.childCount; i++) {
+        const child = argsNode.child(i);
+        if (child) {
+            const t = child.type;
+            if (t !== '(' && t !== ')' && t !== ',')
+                count++;
+        }
+    }
+    return count;
+}
+/**
+ * Check if a node is inside a type annotation context (should be ignored).
+ */
+function isInTypeContext(node) {
+    let current = node.parent;
+    while (current) {
+        const t = current.type;
+        if (t === 'type_annotation' ||
+            t === 'type_alias_declaration' ||
+            t === 'interface_declaration' ||
+            t === 'type_arguments' ||
+            t === 'type_parameter') {
+            return true;
+        }
+        current = current.parent;
+    }
+    return false;
+}
+/**
+ * Single recursive walk dispatching on node.type to detect impurity.
+ */
+function walkForImpurity(node, localIds, reasons) {
+    // Skip type-only constructs entirely
+    if (node.type === 'type_annotation' ||
+        node.type === 'type_alias_declaration' ||
+        node.type === 'interface_declaration' ||
+        node.type === 'enum_declaration') {
+        return;
+    }
+    switch (node.type) {
+        case 'await_expression':
+            reasons.push('async I/O (await)');
+            break;
+        case 'yield_expression':
+            reasons.push('generator side effect (yield)');
+            break;
+        case 'assignment_expression':
+        case 'augmented_assignment_expression':
+            checkMutationTarget(node.childForFieldName('left'), localIds, reasons);
+            break;
+        case 'update_expression':
+            checkMutationTarget(node.childForFieldName('argument'), localIds, reasons);
+            break;
+        case 'new_expression': {
+            const ctor = node.childForFieldName('constructor');
+            if (ctor?.type === 'identifier' && ctor.text === 'Date') {
+                const args = node.childForFieldName('arguments');
+                if (!args || countArguments(args) === 0) {
+                    reasons.push('non-deterministic (new Date())');
+                }
+            }
+            // Module-scope construction of non-builtin class
+            if (!localIds && ctor?.type === 'identifier' && !PURE_GLOBAL_CONSTRUCTORS.has(ctor.text)) {
+                reasons.push(`module-scope side effect (new ${ctor.text}())`);
+            }
+            break;
+        }
+        case 'call_expression': {
+            const fn = node.childForFieldName('function');
+            if (fn?.type === 'member_expression') {
+                const obj = fn.childForFieldName('object');
+                const prop = fn.childForFieldName('property');
+                if (obj?.type === 'identifier' && prop) {
+                    // Math.random()
+                    if (obj.text === 'Math' && prop.text === 'random') {
+                        reasons.push('non-deterministic (Math.random)');
+                        break;
+                    }
+                    // Ambient global call: console.log(), document.getElementById(), etc.
+                    if (AMBIENT_GLOBALS.has(obj.text)) {
+                        reasons.push(`ambient global I/O (${obj.text}.${prop.text})`);
+                        break;
+                    }
+                }
+            }
+            // Module-scope call to non-builtin function
+            if (!localIds && fn?.type === 'identifier' && !PURE_GLOBAL_FUNCTIONS.has(fn.text)) {
+                reasons.push(`module-scope side effect (${fn.text}())`);
+            }
+            break;
+        }
+        case 'member_expression': {
+            // Skip if this member_expression is the function of a call_expression (handled above)
+            if (node.parent?.type === 'call_expression') {
+                const callFn = node.parent.childForFieldName('function');
+                if (callFn && callFn.id === node.id)
+                    break;
+            }
+            // Skip if in type context
+            if (isInTypeContext(node))
+                break;
+            const obj = node.childForFieldName('object');
+            const prop = node.childForFieldName('property');
+            // import.meta.env — tree-sitter parses `import.meta` as a `meta_property` node
+            if (obj?.type === 'meta_property' && prop?.text === 'env') {
+                reasons.push('environment dependency (import.meta.env)');
+                break;
+            }
+            if (obj?.type === 'member_expression') {
+                const innerObj = obj.childForFieldName('object');
+                if (innerObj?.type === 'meta_property' && prop) {
+                    reasons.push('environment dependency (import.meta.env)');
+                    break;
+                }
+            }
+            // Ambient global access: process.env, window.location, etc.
+            if (obj?.type === 'identifier' && prop && AMBIENT_GLOBALS.has(obj.text)) {
+                reasons.push(`ambient global access (${obj.text}.${prop.text})`);
+                break;
+            }
+            break;
+        }
+    }
+    // Recurse into children
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (child)
+            walkForImpurity(child, localIds, reasons);
+    }
+}
+/**
+ * Check if a mutation target (left side of assignment / update operand) refers to
+ * an outer-scope variable. If localIds is null (no function found), skip the check.
+ */
+function checkMutationTarget(target, localIds, reasons) {
+    if (!target || !localIds)
+        return;
+    // Handle destructuring assignment patterns: [a, b] = ...
+    if (target.type === 'array_pattern' || target.type === 'object_pattern') {
+        collectAssignmentPatternIds(target, localIds, reasons);
+        return;
+    }
+    const rootId = resolveRootIdentifier(target);
+    if (!rootId)
+        return; // this.x, super.x — not flagged
+    if (!localIds.has(rootId)) {
+        reasons.push(`outer-scope mutation (${rootId})`);
+    }
+}
+/**
+ * Collect identifiers from destructuring assignment patterns and check for outer-scope mutation.
+ */
+function collectAssignmentPatternIds(node, localIds, reasons) {
+    if (node.type === 'identifier') {
+        if (!localIds.has(node.text)) {
+            reasons.push(`outer-scope mutation (${node.text})`);
+        }
+        return;
+    }
+    for (let i = 0; i < node.childCount; i++) {
+        const child = node.child(i);
+        if (child)
+            collectAssignmentPatternIds(child, localIds, reasons);
+    }
+}
+//# sourceMappingURL=pure-check.js.map

package/dist/commands/llm/_shared/pure-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pure-check.js","sourceRoot":"","sources":["../../../../src/commands/llm/_shared/pure-check.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,UAAU,MAAM,wBAAwB,CAAC;AAEhD,IAAI,MAAM,GAAkB,IAAI,CAAC;AACjC,SAAS,SAAS;IAChB,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACtB,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC9B,SAAS;IACT,SAAS;IACT,UAAU;IACV,QAAQ;IACR,YAAY;IACZ,WAAW;IACX,cAAc;IACd,gBAAgB;IAChB,UAAU;CACX,CAAC,CAAC;AAEH,6FAA6F;AAC7F,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,UAAU;IACV,YAAY;IACZ,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,UAAU;IACV,oBAAoB;IACpB,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,MAAM;IACN,MAAM;IACN,iBAAiB;CAClB,CAAC,CAAC;AAEH,8FAA8F;AAC9F,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC;IACvC,MAAM;IACN,QAAQ;IACR,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,gBAAgB;IAChB,UAAU;IACV,WAAW;IACX,gBAAgB;IAChB,KAAK;IACL,KAAK;IACL,SAAS;IACT,SAAS;IACT,KAAK;IACL,iBAAiB;IACjB,SAAS;IACT,UAAU;IACV,iBAAiB;IACjB,aAAa;IACb,aAAa;IACb,MAAM;IACN,MAAM;IACN,WAAW;IACX,YAAY;IACZ,cAAc;IACd,cAAc;IACd,aAAa;IACb,mBAAmB;IACnB,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAkB;IACrD,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC;IAElC,IAAI,IAAiB,CAAC;IACtB,IAAI,CAAC;QACH,IAAI,GAAG,SAAS,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE9C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,0BAA0B;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;YACnD,IAAI,IAAI;gBAAE,IAAI,GAAG,IAAI,CAAC;;gBACjB,SAAS;QAChB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YACzC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wEAAwE;QACxE,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,KAAK,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;oBAC/C,IAAI,KAAK,EAAE,IAAI,KAAK,gBAAgB,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;wBACnE,OAAO,KAAK,CAAC;oBACf,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,QAAoB;IACnD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAE9B,4BAA4B;IAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,MAAM,EAAE,CAAC;QACX,yBAAyB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,iDAAiD;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,iCAAiC;IACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,IAAI,EAAE,CAAC;QACT,uBAAuB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAAC,IAAgB,EAAE,GAAgB;IACnE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM;QACR,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,UAAU;YACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,KAAK;oBAAE,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACnD,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,kBAAkB;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/C,MAAM;QACR,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,eAAe,CAAC;QACrB,KAAK,mBAAmB,CAAC;QACzB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,KAAK;oBAAE,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACnD,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,uCAAuC;YAC1C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM;QACR,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,KAAK;gBAAE,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjD,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,IAAgB,EAAE,GAAgB;IACjE,sCAAsC;IACtC,IACE,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,sBAAsB;QACpC,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,mBAAmB,EACjC,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAChF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBACjD,IAAI,QAAQ;oBAAE,yBAAyB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC/B,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;iBAAM,CAAC;gBACN,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,SAAS;YAAE,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK;YAAE,uBAAuB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,GAAG;YAAE,OAAO,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,mCAAmC;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,GAAG;YAAE,OAAO,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,QAAoB;IAC1C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAgB;IACvC,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC;QACvB,IACE,CAAC,KAAK,iBAAiB;YACvB,CAAC,KAAK,wBAAwB;YAC9B,CAAC,KAAK,uBAAuB;YAC7B,CAAC,KAAK,gBAAgB;YACtB,CAAC,KAAK,gBAAgB,EACtB,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAgB,EAAE,QAA4B,EAAE,OAAiB;IACxF,qCAAqC;IACrC,IACE,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAC/B,IAAI,CAAC,IAAI,KAAK,wBAAwB;QACtC,IAAI,CAAC,IAAI,KAAK,uBAAuB;QACrC,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAChC,CAAC;QACD,OAAO;IACT,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAClC,MAAM;QAER,KAAK,kBAAkB;YACrB,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAC9C,MAAM;QAER,KAAK,uBAAuB,CAAC;QAC7B,KAAK,iCAAiC;YACpC,mBAAmB,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YACvE,MAAM;QAER,KAAK,mBAAmB;YACtB,mBAAmB,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC3E,MAAM;QAER,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;YACnD,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACxD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;gBACjD,IAAI,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACxC,OAAO,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YACD,iDAAiD;YACjD,IAAI,CAAC,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzF,OAAO,CAAC,IAAI,CAAC,iCAAiC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;YAChE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAC9C,IAAI,EAAE,EAAE,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBAC9C,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,EAAE,CAAC;oBACvC,gBAAgB;oBAChB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAClD,OAAO,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;wBAChD,MAAM;oBACR,CAAC;oBACD,sEAAsE;oBACtE,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClC,OAAO,CAAC,IAAI,CAAC,uBAAuB,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;wBAC9D,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YACD,4CAA4C;YAC5C,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClF,OAAO,CAAC,IAAI,CAAC,6BAA6B,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,sFAAsF;YACtF,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,MAAM,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;oBAAE,MAAM;YAC7C,CAAC;YAED,0BAA0B;YAC1B,IAAI,eAAe,CAAC,IAAI,CAAC;gBAAE,MAAM;YAEjC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YAEhD,+EAA+E;YAC/E,IAAI,GAAG,EAAE,IAAI,KAAK,eAAe,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC1D,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;gBACzD,MAAM;YACR,CAAC;YACD,IAAI,GAAG,EAAE,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACtC,MAAM,QAAQ,GAAG,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;gBACjD,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,IAAI,IAAI,EAAE,CAAC;oBAC/C,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;oBACzD,MAAM;gBACR,CAAC;YACH,CAAC;YAED,4DAA4D;YAC5D,IAAI,GAAG,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,OAAO,CAAC,IAAI,CAAC,0BAA0B,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;gBACjE,MAAM;YACR,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK;YAAE,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,MAAyB,EAAE,QAA4B,EAAE,OAAiB;IACrG,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ;QAAE,OAAO;IAEjC,yDAAyD;IACzD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACxE,2BAA2B,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,gCAAgC;IAErD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,yBAAyB,MAAM,GAAG,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,2BAA2B,CAAC,IAAgB,EAAE,QAAqB,EAAE,OAAiB;IAC7F,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,yBAAyB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,OAAO;IACT,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK;YAAE,2BAA2B,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;AACH,CAAC"}

package/dist/commands/llm/_shared/verify/content-verifier.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Phase 2: LLM-powered content verification of annotations and relationships.
+ */
+import type { Command } from '@oclif/core';
+import type { IndexDatabase } from '../../../../db/database.js';
+import type { LlmContext } from '../base-llm-command.js';
+import type { ContentVerificationResult, VerifySeverity } from './verify-types.js';
+interface VerifyFlags {
+    'batch-size': number;
+    'max-iterations': number;
+}
+/**
+ * Parse the verification CSV response (definition_id,check,verdict,reason).
+ */
+export declare function parseAnnotationVerifyCsv(content: string): Array<{
+    definitionId: number;
+    check: string;
+    verdict: string;
+    reason: string;
+}>;
+/**
+ * Parse the relationship verification CSV response (from_id,to_id,verdict,reason).
+ */
+export declare function parseRelationshipVerifyCsv(content: string): Array<{
+    fromId: number;
+    toId: number;
+    verdict: string;
+    reason: string;
+}>;
+export declare function verdictToSeverity(verdict: string): VerifySeverity | null;
+/**
+ * Verify annotation content using LLM (Phase 2).
+ */
+export declare function verifyAnnotationContent(db: IndexDatabase, ctx: LlmContext, command: Command, flags: VerifyFlags, aspects: string[]): Promise<ContentVerificationResult>;
+/**
+ * Verify relationship content using LLM (Phase 2).
+ */
+export declare function verifyRelationshipContent(db: IndexDatabase, ctx: LlmContext, command: Command, flags: VerifyFlags): Promise<ContentVerificationResult>;
+export {};
+//# sourceMappingURL=content-verifier.d.ts.map

package/dist/commands/llm/_shared/verify/content-verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"content-verifier.d.ts","sourceRoot":"","sources":["../../../../../src/commands/llm/_shared/verify/content-verifier.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AASzD,OAAO,KAAK,EAAE,yBAAyB,EAAqB,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEtG,UAAU,WAAW;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,GACd,KAAK,CAAC;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAejF;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,MAAM,GACd,KAAK,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAgB1E;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAIxE;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAC3C,EAAE,EAAE,aAAa,EACjB,GAAG,EAAE,UAAU,EACf,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,EAAE,GAChB,OAAO,CAAC,yBAAyB,CAAC,CAyGpC;AAED;;GAEG;AACH,wBAAsB,yBAAyB,CAC7C,EAAE,EAAE,aAAa,EACjB,GAAG,EAAE,UAAU,EACf,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,GACjB,OAAO,CAAC,yBAAyB,CAAC,CAwHpC"}