@zbigniewsobiecki/squint 1.0.0

package/dist/commands/llm/_shared/verify/content-verifier.js

@@ -0,0 +1,247 @@
+/**
+ * Phase 2: LLM-powered content verification of annotations and relationships.
+ */
+import { readSourceAsString } from '../../../_shared/index.js';
+import { parseCsvWithMapper, safeParseInt } from '../csv-utils.js';
+import { completeWithLogging } from '../llm-utils.js';
+import { buildAnnotationVerifySystemPrompt, buildAnnotationVerifyUserPrompt, buildRelationshipVerifySystemPrompt, buildRelationshipVerifyUserPrompt, } from './verify-prompts.js';
+/**
+ * Parse the verification CSV response (definition_id,check,verdict,reason).
+ */
+export function parseAnnotationVerifyCsv(content) {
+    const { items } = parseCsvWithMapper(content, {
+        minColumns: 4,
+        rowMapper: (cols, lineNum, errors) => {
+            const definitionId = safeParseInt(cols[0], 'definitionId', lineNum, errors);
+            if (definitionId === null)
+                return null;
+            return {
+                definitionId,
+                check: cols[1],
+                verdict: cols[2].toLowerCase(),
+                reason: cols[3],
+            };
+        },
+    });
+    return items;
+}
+/**
+ * Parse the relationship verification CSV response (from_id,to_id,verdict,reason).
+ */
+export function parseRelationshipVerifyCsv(content) {
+    const { items } = parseCsvWithMapper(content, {
+        minColumns: 4,
+        rowMapper: (cols, lineNum, errors) => {
+            const fromId = safeParseInt(cols[0], 'from_id', lineNum, errors);
+            const toId = safeParseInt(cols[1], 'to_id', lineNum, errors);
+            if (fromId === null || toId === null)
+                return null;
+            return {
+                fromId,
+                toId,
+                verdict: cols[2].toLowerCase(),
+                reason: cols[3],
+            };
+        },
+    });
+    return items;
+}
+export function verdictToSeverity(verdict) {
+    if (verdict === 'wrong')
+        return 'error';
+    if (verdict === 'suspect')
+        return 'warning';
+    return null; // correct — no issue
+}
+/**
+ * Verify annotation content using LLM (Phase 2).
+ */
+export async function verifyAnnotationContent(db, ctx, command, flags, aspects) {
+    const issues = [];
+    const batchSize = flags['batch-size'];
+    const maxIterations = flags['max-iterations'];
+    const systemPrompt = buildAnnotationVerifySystemPrompt();
+    // Get all definitions that have all aspects annotated
+    const allDefIds = db.metadata.getDefinitionsWith(aspects[0]);
+    // Filter to those that have all aspects
+    const fullyAnnotatedIds = allDefIds.filter((id) => {
+        const meta = db.metadata.get(id);
+        return aspects.every((a) => a in meta);
+    });
+    let checked = 0;
+    let batchesProcessed = 0;
+    for (let offset = 0; offset < fullyAnnotatedIds.length; offset += batchSize) {
+        if (maxIterations > 0 && batchesProcessed >= maxIterations)
+            break;
+        const batchIds = fullyAnnotatedIds.slice(offset, offset + batchSize);
+        const symbolsForPrompt = [];
+        for (const defId of batchIds) {
+            const def = db.definitions.getById(defId);
+            if (!def)
+                continue;
+            const sourceCode = await readSourceAsString(db.resolveFilePath(def.filePath), def.line, def.endLine);
+            const annotations = db.metadata.get(defId);
+            symbolsForPrompt.push({
+                id: defId,
+                name: def.name,
+                kind: def.kind,
+                filePath: def.filePath,
+                line: def.line,
+                endLine: def.endLine,
+                sourceCode,
+                annotations,
+            });
+        }
+        if (symbolsForPrompt.length === 0)
+            continue;
+        const userPrompt = buildAnnotationVerifyUserPrompt(symbolsForPrompt, aspects);
+        try {
+            const response = await completeWithLogging({
+                model: ctx.model,
+                systemPrompt,
+                userPrompt,
+                temperature: 0,
+                command,
+                isJson: ctx.isJson,
+                iteration: { current: batchesProcessed + 1, max: maxIterations },
+            });
+            const parsed = parseAnnotationVerifyCsv(response);
+            for (const row of parsed) {
+                const severity = verdictToSeverity(row.verdict);
+                if (!severity)
+                    continue; // correct, skip
+                const def = db.definitions.getById(row.definitionId);
+                issues.push({
+                    definitionId: row.definitionId,
+                    definitionName: def?.name,
+                    filePath: def?.filePath,
+                    line: def?.line,
+                    severity,
+                    category: `wrong-${row.check}`,
+                    message: `${row.check}: ${row.reason}`,
+                    fixData: severity === 'error'
+                        ? {
+                            action: 'reannotate-definition',
+                            reason: row.reason,
+                        }
+                        : undefined,
+                });
+            }
+        }
+        catch {
+            // LLM error, continue to next batch
+        }
+        checked += symbolsForPrompt.length;
+        batchesProcessed++;
+    }
+    return {
+        issues,
+        stats: {
+            checked,
+            issuesFound: issues.length,
+            batchesProcessed,
+        },
+    };
+}
+/**
+ * Verify relationship content using LLM (Phase 2).
+ */
+export async function verifyRelationshipContent(db, ctx, command, flags) {
+    const issues = [];
+    const batchSize = flags['batch-size'];
+    const maxIterations = flags['max-iterations'];
+    const systemPrompt = buildRelationshipVerifySystemPrompt();
+    // Get all annotated relationships (including PENDING — they'll be caught by Phase 1 deterministically
+    // and also verified here if they somehow survive fixing)
+    const allRels = db.relationships.getAll({ limit: 100000 });
+    const annotatedRels = allRels;
+    // Group by source definition
+    const byFromId = new Map();
+    for (const rel of annotatedRels) {
+        if (!byFromId.has(rel.fromDefinitionId))
+            byFromId.set(rel.fromDefinitionId, []);
+        byFromId.get(rel.fromDefinitionId).push(rel);
+    }
+    const sourceIds = [...byFromId.keys()];
+    let checked = 0;
+    let batchesProcessed = 0;
+    for (let offset = 0; offset < sourceIds.length; offset += batchSize) {
+        if (maxIterations > 0 && batchesProcessed >= maxIterations)
+            break;
+        const batchSourceIds = sourceIds.slice(offset, offset + batchSize);
+        const groupsForPrompt = [];
+        for (const fromId of batchSourceIds) {
+            const def = db.definitions.getById(fromId);
+            if (!def)
+                continue;
+            const sourceCode = await readSourceAsString(db.resolveFilePath(def.filePath), def.line, def.endLine);
+            const rels = byFromId.get(fromId) || [];
+            groupsForPrompt.push({
+                fromId,
+                fromName: def.name,
+                fromKind: def.kind,
+                filePath: def.filePath,
+                sourceCode,
+                relationships: rels.map((r) => ({
+                    toId: r.toDefinitionId,
+                    toName: r.toName,
+                    toKind: r.toKind,
+                    semantic: r.semantic,
+                    relationshipType: r.relationshipType || 'uses',
+                })),
+            });
+        }
+        if (groupsForPrompt.length === 0)
+            continue;
+        const userPrompt = buildRelationshipVerifyUserPrompt(groupsForPrompt);
+        try {
+            const response = await completeWithLogging({
+                model: ctx.model,
+                systemPrompt,
+                userPrompt,
+                temperature: 0,
+                command,
+                isJson: ctx.isJson,
+                iteration: { current: batchesProcessed + 1, max: maxIterations },
+            });
+            const parsed = parseRelationshipVerifyCsv(response);
+            for (const row of parsed) {
+                const severity = verdictToSeverity(row.verdict);
+                if (!severity)
+                    continue;
+                const fromDef = db.definitions.getById(row.fromId);
+                const toDef = db.definitions.getById(row.toId);
+                issues.push({
+                    definitionId: row.fromId,
+                    definitionName: fromDef?.name,
+                    filePath: fromDef?.filePath,
+                    line: fromDef?.line,
+                    severity,
+                    category: 'wrong-relationship',
+                    message: `${fromDef?.name || row.fromId} → ${toDef?.name || row.toId}: ${row.reason}`,
+                    fixData: severity === 'error'
+                        ? {
+                            action: 'reannotate-relationship',
+                            targetDefinitionId: row.toId,
+                            reason: row.reason,
+                        }
+                        : undefined,
+                });
+            }
+        }
+        catch {
+            // LLM error, continue to next batch
+        }
+        checked += groupsForPrompt.reduce((sum, g) => sum + g.relationships.length, 0);
+        batchesProcessed++;
+    }
+    return {
+        issues,
+        stats: {
+            checked,
+            issuesFound: issues.length,
+            batchesProcessed,
+        },
+    };
+}
+//# sourceMappingURL=content-verifier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"content-verifier.js","sourceRoot":"","sources":["../../../../../src/commands/llm/_shared/verify/content-verifier.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EACL,iCAAiC,EACjC,+BAA+B,EAC/B,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,qBAAqB,CAAC;AAQ7B;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAe;IAEf,MAAM,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE;QAC5C,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;YACnC,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC5E,IAAI,YAAY,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvC,OAAO;gBACL,YAAY;gBACZ,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;gBACd,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;gBAC9B,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;aAChB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAe;IAEf,MAAM,EAAE,KAAK,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE;QAC5C,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;YACnC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YACjE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7D,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAClD,OAAO;gBACL,MAAM;gBACN,IAAI;gBACJ,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;gBAC9B,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;aAChB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IACxC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,IAAI,CAAC,CAAC,qBAAqB;AACpC,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,EAAiB,EACjB,GAAe,EACf,OAAgB,EAChB,KAAkB,EAClB,OAAiB;IAEjB,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,iCAAiC,EAAE,CAAC;IAEzD,sDAAsD;IACtD,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,wCAAwC;IACxC,MAAM,iBAAiB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,IAAI,SAAS,EAAE,CAAC;QAC5E,IAAI,aAAa,GAAG,CAAC,IAAI,gBAAgB,IAAI,aAAa;YAAE,MAAM;QAElE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;QACrE,MAAM,gBAAgB,GASjB,EAAE,CAAC;QAER,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrG,MAAM,WAAW,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAE3C,gBAAgB,CAAC,IAAI,CAAC;gBACpB,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,UAAU;gBACV,WAAW;aACZ,CAAC,CAAC;QACL,CAAC;QAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE5C,MAAM,UAAU,GAAG,+BAA+B,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAE9E,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC;gBACzC,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,YAAY;gBACZ,UAAU;gBACV,WAAW,EAAE,CAAC;gBACd,OAAO;gBACP,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,SAAS,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;YAClD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAChD,IAAI,CAAC,QAAQ;oBAAE,SAAS,CAAC,gBAAgB;gBAEzC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC;oBACV,YAAY,EAAE,GAAG,CAAC,YAAY;oBAC9B,cAAc,EAAE,GAAG,EAAE,IAAI;oBACzB,QAAQ,EAAE,GAAG,EAAE,QAAQ;oBACvB,IAAI,EAAE,GAAG,EAAE,IAAI;oBACf,QAAQ;oBACR,QAAQ,EAAE,SAAS,GAAG,CAAC,KAAK,EAAE;oBAC9B,OAAO,EAAE,GAAG,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,MAAM,EAAE;oBACtC,OAAO,EACL,QAAQ,KAAK,OAAO;wBAClB,CAAC,CAAC;4BACE,MAAM,EAAE,uBAAgC;4BACxC,MAAM,EAAE,GAAG,CAAC,MAAM;yBACnB;wBACH,CAAC,CAAC,SAAS;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,oCAAoC;QACtC,CAAC;QAED,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC;QACnC,gBAAgB,EAAE,CAAC;IACrB,CAAC;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE;YACL,OAAO;YACP,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,gBAAgB;SACjB;KACF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,EAAiB,EACjB,GAAe,EACf,OAAgB,EAChB,KAAkB;IAElB,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,mCAAmC,EAAE,CAAC;IAE3D,sGAAsG;IACtG,yDAAyD;IACzD,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,OAAO,CAAC;IAE9B,6BAA6B;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC;IACzD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QAChF,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,IAAI,SAAS,EAAE,CAAC;QACpE,IAAI,aAAa,GAAG,CAAC,IAAI,gBAAgB,IAAI,aAAa;YAAE,MAAM;QAElE,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;QACnE,MAAM,eAAe,GAahB,EAAE,CAAC;QAER,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,CAAC;YACpC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACrG,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAExC,eAAe,CAAC,IAAI,CAAC;gBACnB,MAAM;gBACN,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,UAAU;gBACV,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC9B,IAAI,EAAE,CAAC,CAAC,cAAc;oBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,IAAI,MAAM;iBAC/C,CAAC,CAAC;aACJ,CAAC,CAAC;QACL,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE3C,MAAM,UAAU,GAAG,iCAAiC,CAAC,eAAe,CAAC,CAAC;QAEtE,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC;gBACzC,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,YAAY;gBACZ,UAAU;gBACV,WAAW,EAAE,CAAC;gBACd,OAAO;gBACP,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,SAAS,EAAE,EAAE,OAAO,EAAE,gBAAgB,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YACpD,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;gBACzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAChD,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBAExB,MAAM,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnD,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,CAAC,IAAI,CAAC;oBACV,YAAY,EAAE,GAAG,CAAC,MAAM;oBACxB,cAAc,EAAE,OAAO,EAAE,IAAI;oBAC7B,QAAQ,EAAE,OAAO,EAAE,QAAQ;oBAC3B,IAAI,EAAE,OAAO,EAAE,IAAI;oBACnB,QAAQ;oBACR,QAAQ,EAAE,oBAAoB;oBAC9B,OAAO,EAAE,GAAG,OAAO,EAAE,IAAI,IAAI,GAAG,CAAC,MAAM,MAAM,KAAK,EAAE,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE;oBACrF,OAAO,EACL,QAAQ,KAAK,OAAO;wBAClB,CAAC,CAAC;4BACE,MAAM,EAAE,yBAAkC;4BAC1C,kBAAkB,EAAE,GAAG,CAAC,IAAI;4BAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;yBACnB;wBACH,CAAC,CAAC,SAAS;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,oCAAoC;QACtC,CAAC;QAED,OAAO,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/E,gBAAgB,EAAE,CAAC;IACrB,CAAC;IAED,OAAO;QACL,MAAM;QACN,KAAK,EAAE;YACL,OAAO;YACP,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,gBAAgB;SACjB;KACF,CAAC;AACJ,CAAC"}

package/dist/commands/llm/_shared/verify/coverage-checker.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Phase 1: Deterministic coverage and structural checks (no LLM required).
+ */
+import type { IndexDatabase } from '../../../../db/database.js';
+import type { ProcessGroups } from '../process-utils.js';
+import type { CoverageCheckResult } from './verify-types.js';
+/**
+ * Check annotation coverage for the given aspects.
+ * Reports missing annotations as issues.
+ */
+export declare function checkAnnotationCoverage(db: IndexDatabase, aspects: string[]): CoverageCheckResult;
+/**
+ * Check relationship coverage and structural issues.
+ */
+export declare function checkRelationshipCoverage(db: IndexDatabase): CoverageCheckResult;
+/**
+ * Check flow quality: structural integrity and coverage of generated flows.
+ */
+export declare function checkFlowQuality(db: IndexDatabase): CoverageCheckResult;
+/**
+ * Check module assignment quality: test symbols in production modules,
+ * non-exported test symbols in shared modules.
+ */
+export declare function checkModuleAssignments(db: IndexDatabase): CoverageCheckResult;
+/**
+ * Check referential integrity: detect ghost rows referencing deleted entities.
+ */
+export declare function checkReferentialIntegrity(db: IndexDatabase): CoverageCheckResult;
+/**
+ * Check interaction quality: self-loops, missing import paths, symbol mismatches,
+ * false bidirectionals, and ungrounded inferred interactions.
+ */
+export declare function checkInteractionQuality(db: IndexDatabase, processGroups?: ProcessGroups): CoverageCheckResult;
+//# sourceMappingURL=coverage-checker.d.ts.map

package/dist/commands/llm/_shared/verify/coverage-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-checker.d.ts","sourceRoot":"","sources":["../../../../../src/commands/llm/_shared/verify/coverage-checker.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,KAAK,EAAE,mBAAmB,EAAqB,MAAM,mBAAmB,CAAC;AAehF;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,mBAAmB,CAyEjG;AAiID;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,aAAa,GAAG,mBAAmB,CAiPhF;AA+ED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,aAAa,GAAG,mBAAmB,CAoLvE;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,aAAa,GAAG,mBAAmB,CAoH7E;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,aAAa,GAAG,mBAAmB,CA+EhF;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE,aAAa,GAAG,mBAAmB,CAgN7G"}