tryassay 0.29.0 → 0.31.0

package/dist/lib/rule-harvester/rule-generalizer.js

@@ -0,0 +1,135 @@
+/**
+ * Rule Generalizer — Uses LLM to generalize PR diff hunks into reusable
+ * code quality rules for the Assay catalog.
+ *
+ * Given a before/after diff hunk (and optional reviewer comment), the LLM
+ * produces a GeneralizedRule with detection regex, fix description, severity,
+ * and provenance. The rule is then mapped to an ExtractedPattern for catalog
+ * ingestion.
+ */
+import { getProvider } from '../llm-provider.js';
+import { normalizeCategory } from '../learned-rules/category-map.js';
+const SYSTEM_PROMPT = `You are a code quality pattern extractor. Given a before/after code diff from a merged PR, generalize the fix into a reusable detection rule.
+
+Respond with a JSON object (no markdown, no explanation) with these fields:
+- category: string — bug category (e.g., "null-safety", "error-handling", "type-safety", "security", "performance")
+- severity: "low" | "medium" | "high" | "critical"
+- description: string — human-readable description of the pattern
+- detection: { pattern: string (regex), language: string }
+- fix: { description: string, pattern: string (regex replacement) }
+- fileGlob: string — glob for files to scan (e.g., "**/*.ts")
+- matchBehavior: "presence_is_bad" | "absence_is_bad"
+- evidenceTemplate: string — template using {match}, {file}, {line}
+
+If the change is too context-specific to generalize (e.g., a variable rename, config tweak, or purely cosmetic), respond with: {"skip": true}
+
+Respond with JSON only.`;
+/**
+ * Build the user prompt for the LLM generalization call.
+ */
+export function buildGeneralizationPrompt(hunk, repo, prNumber, prTitle, reviewComment) {
+    const before = hunk.removedLines.join('\n');
+    const after = hunk.addedLines.join('\n');
+    const ctx = hunk.context.length > 0
+        ? `\nSurrounding context:\n${hunk.context.join('\n')}`
+        : '';
+    let prompt = `Repository: ${repo}
+PR #${prNumber}: ${prTitle}
+File: ${hunk.file} (line ${hunk.startLine})
+
+Before:
+${before}
+
+After:
+${after}${ctx}`;
+    if (reviewComment) {
+        prompt += `\n\nReviewer comment:\n${reviewComment}`;
+    }
+    return prompt;
+}
+/**
+ * Call the LLM to generalize a diff hunk into a reusable rule.
+ * Returns null if the hunk is too context-specific, parse fails,
+ * or all retries are exhausted.
+ */
+export async function generalizeHunk(hunk, repo, prNumber, prTitle, reviewComment) {
+    const provider = getProvider();
+    const model = process.env.ASSAY_OLLAMA_MODEL ?? 'qwen3.5:122b';
+    const userPrompt = buildGeneralizationPrompt(hunk, repo, prNumber, prTitle, reviewComment);
+    const MAX_RETRIES = 3;
+    const BASE_DELAY_MS = 2000;
+    for (let attempt = 0; attempt < MAX_RETRIES; attempt++) {
+        try {
+            const result = await Promise.race([
+                provider.complete({
+                    model,
+                    systemPrompt: SYSTEM_PROMPT,
+                    userPrompt,
+                    maxTokens: 2000,
+                }),
+                new Promise((_, reject) => setTimeout(() => reject(new Error('LLM timeout')), 60_000)),
+            ]);
+            const parsed = JSON.parse(result.content);
+            // Skip response — hunk is too context-specific
+            if (parsed.skip)
+                return null;
+            // Validate required fields
+            if (!parsed.category ||
+                !parsed.description ||
+                !parsed.detection?.pattern ||
+                !parsed.detection?.language) {
+                throw new Error('Missing required fields in LLM response');
+            }
+            const rule = {
+                category: parsed.category,
+                severity: parsed.severity ?? 'medium',
+                description: parsed.description,
+                detection: {
+                    pattern: parsed.detection.pattern,
+                    language: parsed.detection.language,
+                },
+                fix: {
+                    description: parsed.fix?.description ?? '',
+                    pattern: parsed.fix?.pattern ?? '',
+                },
+                fileGlob: parsed.fileGlob ?? '',
+                matchBehavior: parsed.matchBehavior ?? 'presence_is_bad',
+                evidenceTemplate: parsed.evidenceTemplate ?? '{match} in {file}',
+                provenance: {
+                    repo,
+                    pr: prNumber,
+                    file: hunk.file,
+                    ...(reviewComment ? { reviewComment } : {}),
+                },
+            };
+            return rule;
+        }
+        catch {
+            // Exponential backoff before retry
+            if (attempt < MAX_RETRIES - 1) {
+                await new Promise((resolve) => setTimeout(resolve, BASE_DELAY_MS * Math.pow(2, attempt)));
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Map a GeneralizedRule to an ExtractedPattern for catalog ingestion.
+ */
+export function mapToExtractedPattern(rule, patternId) {
+    // Coerce 'low' to 'medium' — ExtractedPattern doesn't support 'low'
+    const severity = rule.severity === 'low' ? 'medium' : rule.severity;
+    return {
+        id: patternId,
+        description: rule.description,
+        kind: 'regex',
+        languages: [rule.detection.language],
+        regexPattern: rule.detection.pattern,
+        fileGlob: rule.fileGlob || '**/*.{ts,tsx,js,jsx}',
+        matchBehavior: rule.matchBehavior,
+        claimCategory: normalizeCategory(rule.category),
+        severity,
+        evidenceTemplate: rule.evidenceTemplate,
+    };
+}
+//# sourceMappingURL=rule-generalizer.js.map

package/dist/lib/rule-harvester/rule-generalizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-generalizer.js","sourceRoot":"","sources":["../../../src/lib/rule-harvester/rule-generalizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,MAAM,aAAa,GAAG;;;;;;;;;;;;;;wBAcE,CAAC;AAEzB;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAc,EACd,IAAY,EACZ,QAAgB,EAChB,OAAe,EACf,aAAsB;IAEtB,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QACjC,CAAC,CAAC,2BAA2B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACtD,CAAC,CAAC,EAAE,CAAC;IAEP,IAAI,MAAM,GAAG,eAAe,IAAI;MAC5B,QAAQ,KAAK,OAAO;QAClB,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,SAAS;;;EAGvC,MAAM;;;EAGN,KAAK,GAAG,GAAG,EAAE,CAAC;IAEd,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,IAAI,0BAA0B,aAAa,EAAE,CAAC;IACtD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAc,EACd,IAAY,EACZ,QAAgB,EAChB,OAAe,EACf,aAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,cAAc,CAAC;IAC/D,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IAE3F,MAAM,WAAW,GAAG,CAAC,CAAC;IACtB,MAAM,aAAa,GAAG,IAAI,CAAC;IAE3B,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;gBAChC,QAAQ,CAAC,QAAQ,CAAC;oBAChB,KAAK;oBACL,YAAY,EAAE,aAAa;oBAC3B,UAAU;oBACV,SAAS,EAAE,IAAI;iBAChB,CAAC;gBACF,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAC3D;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAE1C,+CAA+C;YAC/C,IAAI,MAAM,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YAE7B,2BAA2B;YAC3B,IACE,CAAC,MAAM,CAAC,QAAQ;gBAChB,CAAC,MAAM,CAAC,WAAW;gBACnB,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO;gBAC1B,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAC3B,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YAED,MAAM,IAAI,GAAoB;gBAC5B,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,QAAQ;gBACrC,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,SAAS,EAAE;oBACT,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;oBACjC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;iBACpC;gBACD,GAAG,EAAE;oBACH,WAAW,EAAE,MAAM,CAAC,GAAG,EAAE,WAAW,IAAI,EAAE;oBAC1C,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE;iBACnC;gBACD,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;gBAC/B,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,iBAAiB;gBACxD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,IAAI,mBAAmB;gBAChE,UAAU,EAAE;oBACV,IAAI;oBACJ,EAAE,EAAE,QAAQ;oBACZ,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC5C;aACF,CAAC;YAEF,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,mCAAmC;YACnC,IAAI,OAAO,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5B,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAC1D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAqB,EACrB,SAAiB;IAEjB,oEAAoE;IACpE,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE,IAAI,CAAC,QAA2C,CAAC;IAEzF,OAAO;QACL,EAAE,EAAE,SAAS;QACb,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QACpC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;QACpC,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,sBAAsB;QACjD,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,aAAa,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/C,QAAQ;QACR,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;KACxC,CAAC;AACJ,CAAC"}

package/dist/lib/rule-harvester/scanner.d.ts

@@ -0,0 +1,20 @@
+import type { CodeClaim, ClaimVerification } from '../../sdk/types.js';
+export interface ScanFailure {
+    claimId: string;
+    category: string;
+    severity: string;
+    description: string;
+    assertion: string;
+    reasoning: string;
+    method: 'formal' | 'llm';
+}
+export interface ScanResult {
+    totalClaims: number;
+    failures: ScanFailure[];
+}
+export declare function buildScanResult(claims: CodeClaim[], verifications: ClaimVerification[]): ScanResult;
+export declare function scanFile(code: string, language: string): Promise<{
+    result: ScanResult;
+    claims: CodeClaim[];
+    verifications: ClaimVerification[];
+}>;

package/dist/lib/rule-harvester/scanner.js

@@ -0,0 +1,37 @@
+import { extractCodeClaims, verifyCodeClaims, applyFormalVerification, } from '../../sdk/forward-verify.js';
+export function buildScanResult(claims, verifications) {
+    const claimById = new Map(claims.map((c) => [c.id, c]));
+    const failures = verifications
+        .filter((v) => v.verdict === 'FAIL' || v.verdict === 'PARTIAL')
+        .map((v) => {
+        const claim = claimById.get(v.claimId);
+        return {
+            claimId: v.claimId,
+            category: claim?.category ?? 'unknown',
+            severity: claim?.severity ?? 'unknown',
+            description: claim?.description ?? '',
+            assertion: claim?.assertion ?? '',
+            reasoning: v.reasoning,
+            method: v.method,
+        };
+    });
+    return { totalClaims: claims.length, failures };
+}
+export async function scanFile(code, language) {
+    const { claims } = await extractCodeClaims(code, language);
+    if (claims.length === 0) {
+        return {
+            result: { totalClaims: 0, failures: [] },
+            claims: [],
+            verifications: [],
+        };
+    }
+    const { verifications: llmVerifications } = await verifyCodeClaims(code, language, claims);
+    const { verifications } = applyFormalVerification(code, language, claims, llmVerifications);
+    return {
+        result: buildScanResult(claims, verifications),
+        claims,
+        verifications,
+    };
+}
+//# sourceMappingURL=scanner.js.map

package/dist/lib/rule-harvester/scanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scanner.js","sourceRoot":"","sources":["../../../src/lib/rule-harvester/scanner.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAiBrC,MAAM,UAAU,eAAe,CAC7B,MAAmB,EACnB,aAAkC;IAElC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAkB,aAAa;SAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC;SAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO;YACL,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,SAAS;YACtC,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,SAAS;YACtC,WAAW,EAAE,KAAK,EAAE,WAAW,IAAI,EAAE;YACrC,SAAS,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE;YACjC,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAY,EACZ,QAAgB;IAMhB,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE;YACxC,MAAM,EAAE,EAAE;YACV,aAAa,EAAE,EAAE;SAClB,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE3F,MAAM,EAAE,aAAa,EAAE,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAE5F,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,aAAa,CAAC;QAC9C,MAAM;QACN,aAAa;KACd,CAAC;AACJ,CAAC"}

package/dist/sdk/api-client.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Assay API Client — calls POST /api/v1/forward on the Assay server.
+ *
+ * Used when ASSAY_API_KEY is set. Falls back to null on any error
+ * so the caller can switch to the local pipeline.
+ */
+export interface AssayApiResponse {
+    request_id: string;
+    claims: {
+        count: number;
+        items: Array<{
+            id: string;
+            category: string;
+            severity: string;
+            description: string;
+            assertion: string;
+        }>;
+    };
+    verification: {
+        passed: number;
+        failed: number;
+        partial: number;
+        total: number;
+        items: Array<{
+            claimId: string;
+            verdict: string;
+            reasoning: string;
+            evidence?: string;
+            verification_method?: string;
+            formal_override?: {
+                original_llm_verdict: string;
+                formal_verdict: string;
+                reason: string;
+            };
+        }>;
+        formal?: {
+            formally_verified: number;
+            llm_verified: number;
+            disagreements: number;
+            formal_overrides: number;
+        };
+        learnedRuleFindings?: Array<{
+            ruleId: string;
+            description: string;
+            severity: 'critical' | 'high' | 'medium';
+            category: string;
+            evidence: string;
+            matches: string[];
+            confidence: number;
+        }>;
+        learnedRuleCount?: number;
+    };
+    usage: {
+        input_tokens: number;
+        output_tokens: number;
+        duration_ms: number;
+        pipeline_calls: number;
+    };
+}
+/**
+ * Call the Assay API for full verification (LLM + formal + learned rules).
+ *
+ * Returns null on any error — caller should fall back to local pipeline.
+ */
+export declare function callAssayApi(code: string, language: string, context?: string): Promise<AssayApiResponse | null>;

package/dist/sdk/api-client.js

@@ -0,0 +1,41 @@
+/**
+ * Assay API Client — calls POST /api/v1/forward on the Assay server.
+ *
+ * Used when ASSAY_API_KEY is set. Falls back to null on any error
+ * so the caller can switch to the local pipeline.
+ */
+const ASSAY_API_BASE = process.env.ASSAY_API_URL ?? 'https://api.trylucid.dev';
+/**
+ * Call the Assay API for full verification (LLM + formal + learned rules).
+ *
+ * Returns null on any error — caller should fall back to local pipeline.
+ */
+export async function callAssayApi(code, language, context) {
+    const apiKey = process.env.ASSAY_API_KEY;
+    if (!apiKey)
+        return null;
+    try {
+        const body = { code, language };
+        if (context)
+            body.context = context;
+        const resp = await fetch(`${ASSAY_API_BASE}/api/v1/forward`, {
+            method: 'POST',
+            headers: {
+                'Content-Type': 'application/json',
+                'Authorization': `Bearer ${apiKey}`,
+            },
+            body: JSON.stringify(body),
+            signal: AbortSignal.timeout(120_000),
+        });
+        if (!resp.ok) {
+            console.error(`[api-client] Assay API returned ${resp.status}`);
+            return null;
+        }
+        return await resp.json();
+    }
+    catch (err) {
+        console.error(`[api-client] Assay API error: ${err instanceof Error ? err.message : String(err)}`);
+        return null;
+    }
+}
+//# sourceMappingURL=api-client.js.map

package/dist/sdk/api-client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-client.js","sourceRoot":"","sources":["../../src/sdk/api-client.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,0BAA0B,CAAC;AAqD/E;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;IACzC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,IAAI,CAAC;QACH,MAAM,IAAI,GAA2B,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACxD,IAAI,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QAEpC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,GAAG,cAAc,iBAAiB,EAAE;YAC3D,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,eAAe,EAAE,UAAU,MAAM,EAAE;aACpC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC1B,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC;SACrC,CAAC,CAAC;QAEH,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,mCAAmC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAChE,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,MAAM,IAAI,CAAC,IAAI,EAAsB,CAAC;IAC/C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,iCAAiC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnG,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/sdk/forward-verify.d.ts

@@ -1,3 +1,4 @@
+import { ScanSession } from '../lib/learned-rules/index.js';
 import type { CodeClaim, ClaimVerification, FormalStats, VerificationResult } from './types.js';
 export declare function extractCodeClaims(code: string, language: string, context?: string): Promise<{
     claims: CodeClaim[];
@@ -13,7 +14,8 @@ export declare function applyFormalVerification(code: string, language: string,
     verifications: ClaimVerification[];
     formalStats: FormalStats;
 };
-export declare function forwardVerify(code: string, language: string, context?: string): Promise<{
+export { ScanSession, type ScanSessionStats } from '../lib/learned-rules/index.js';
+export declare function forwardVerify(code: string, language: string, context?: string, session?: ScanSession): Promise<{
     result: VerificationResult;
     inputTokens: number;
     outputTokens: number;

package/dist/sdk/forward-verify.js

@@ -1,6 +1,8 @@
 import { MODEL } from '../lib/anthropic.js';
 import { getProvider } from '../lib/llm-provider.js';
 import { runFormalVerification, } from '../lib/formal-verifier.js';
+import { runLearnedRules, learnFromFinding, } from '../lib/learned-rules/index.js';
+import { callAssayApi } from './api-client.js';
 // ── System Prompts (ported from api/v1/forward.ts) ───────────
 const EXTRACTION_SYSTEM = `You are a code quality auditor. Given source code, extract every testable claim the code makes about its behavior.
 
@@ -190,8 +192,79 @@ export function applyFormalVerification(code, language, claims, llmVerifications
     };
     return { verifications, formalStats };
 }
+// ── API Response → SDK Result Bridge ────────────────────────
+function apiResponseToResult(resp) {
+    const claims = resp.claims.items.map((c, i) => ({
+        id: c.id || `CLAIM-${String(i + 1).padStart(3, '0')}`,
+        category: c.category || 'correctness',
+        severity: c.severity || 'medium',
+        description: c.description,
+        assertion: c.assertion,
+    }));
+    const verifications = resp.verification.items.map(v => ({
+        claimId: v.claimId,
+        verdict: v.verdict || 'N/A',
+        reasoning: v.reasoning,
+        method: v.verification_method || 'llm',
+        formalOverride: v.formal_override
+            ? {
+                originalLlmVerdict: v.formal_override.original_llm_verdict,
+                formalVerdict: v.formal_override.formal_verdict,
+                reason: v.formal_override.reason,
+            }
+            : undefined,
+    }));
+    const formalStats = {
+        formallyVerified: resp.verification.formal?.formally_verified ?? 0,
+        llmVerified: resp.verification.formal?.llm_verified ?? 0,
+        disagreements: resp.verification.formal?.disagreements ?? 0,
+        formalOverrides: resp.verification.formal?.formal_overrides ?? 0,
+        learnedRuleFindings: resp.verification.learnedRuleFindings?.length ?? 0,
+    };
+    const learnedCount = resp.verification.learnedRuleFindings?.length ?? 0;
+    const formalFromVerifier = verifications.filter(v => v.method === 'formal').length;
+    const formalClaimsVerified = formalFromVerifier + learnedCount;
+    const totalClaimsProcessed = verifications.length + learnedCount;
+    const llmClaimsVerified = totalClaimsProcessed - formalClaimsVerified;
+    const formalCoverage = {
+        formalClaimsVerified,
+        llmClaimsVerified,
+        totalClaims: totalClaimsProcessed,
+        formalPercent: totalClaimsProcessed > 0
+            ? Math.round((formalClaimsVerified / totalClaimsProcessed) * 1000) / 10
+            : 0,
+    };
+    return {
+        claims,
+        verifications,
+        formalStats,
+        formalCoverage,
+        passed: resp.verification.passed,
+        failed: resp.verification.failed,
+        partial: resp.verification.partial,
+        total: resp.verification.total,
+        allPassed: resp.verification.failed === 0 && resp.verification.partial === 0,
+    };
+}
 // ── Orchestrator ─────────────────────────────────────────────
-export async function forwardVerify(code, language, context) {
+// Re-export ScanSession so SDK callers can create one across multiple verify calls
+export { ScanSession } from '../lib/learned-rules/index.js';
+export async function forwardVerify(code, language, context, session) {
+    // API-first path: if ASSAY_API_KEY is set, use the Assay API
+    // which runs the full rule catalog server-side.
+    if (process.env.ASSAY_API_KEY) {
+        const apiResponse = await callAssayApi(code, language, context);
+        if (apiResponse) {
+            const result = apiResponseToResult(apiResponse);
+            return {
+                result,
+                inputTokens: apiResponse.usage.input_tokens,
+                outputTokens: apiResponse.usage.output_tokens,
+            };
+        }
+        // API failed — fall through to local pipeline
+        console.warn('[forward-verify] Assay API unavailable, falling back to local pipeline');
+    }
     let totalIn = 0;
     let totalOut = 0;
     // Phase 1: Extract claims
@@ -204,18 +277,78 @@ export async function forwardVerify(code, language, context) {
     totalOut += verifyOut;
     // Phase 2.5: Formal verification with override
     const { verifications, formalStats } = applyFormalVerification(code, language, claims, llmVerifications);
+    // Phase 2.75: Run learned rules (self-expanding formal verification)
+    // If a ScanSession is provided, record this file and pass it through
+    // so noisy rules (>30% fire rate after 5+ files) get suppressed.
+    if (session)
+        session.recordFile();
+    let learnedRuleFindings = [];
+    try {
+        learnedRuleFindings = await runLearnedRules(process.cwd(), code, language, session);
+    }
+    catch {
+        // Learned rules are additive — failures don't block the pipeline
+    }
+    // Phase 2.8: Feed confirmed failures back to the learning system
+    // (async, non-blocking — doesn't slow down the current scan)
+    const confirmedFailures = verifications.filter(v => v.verdict === 'FAIL' && v.method === 'formal');
+    if (confirmedFailures.length > 0) {
+        for (const failure of confirmedFailures) {
+            const matchingClaim = claims.find(c => c.id === failure.claimId);
+            if (!matchingClaim)
+                continue;
+            learnFromFinding(process.cwd(), {
+                claim: {
+                    id: matchingClaim.id,
+                    category: matchingClaim.category,
+                    severity: matchingClaim.severity,
+                    description: matchingClaim.description,
+                    assertion: matchingClaim.assertion,
+                },
+                verification: {
+                    verdict: 'FAIL',
+                    reasoning: failure.reasoning,
+                },
+                code,
+                language,
+                filePath: 'unknown', // File path not available at this level
+            }).catch(() => { });
+        }
+    }
     const passed = verifications.filter(v => v.verdict === 'PASS').length;
     const failed = verifications.filter(v => v.verdict === 'FAIL').length;
     const partial = verifications.filter(v => v.verdict === 'PARTIAL').length;
+    // Include learned rule findings in the total count
+    const learnedFailed = learnedRuleFindings.length;
+    // Compute formal coverage ratio — the key 10x roadmap metric.
+    // "Formal" = deterministic formal verifier (method: 'formal') + learned rules.
+    // "LLM" = everything else (method: 'llm' without formal override).
+    const formalFromVerifier = verifications.filter(v => v.method === 'formal').length;
+    const formalClaimsVerified = formalFromVerifier + learnedFailed;
+    const totalClaimsProcessed = verifications.length + learnedFailed;
+    const llmClaimsVerified = totalClaimsProcessed - formalClaimsVerified;
+    const formalCoverage = {
+        formalClaimsVerified,
+        llmClaimsVerified,
+        totalClaims: totalClaimsProcessed,
+        formalPercent: totalClaimsProcessed > 0
+            ? Math.round((formalClaimsVerified / totalClaimsProcessed) * 1000) / 10
+            : 0,
+    };
     const result = {
         claims,
         verifications,
-        formalStats,
+        formalStats: {
+            ...formalStats,
+            learnedRuleFindings: learnedFailed,
+            ...(session ? { noiseFilter: session.stats() } : {}),
+        },
+        formalCoverage,
         passed,
-        failed,
+        failed: failed + learnedFailed,
         partial,
-        total: verifications.length,
-        allPassed: failed === 0 && partial === 0,
+        total: verifications.length + learnedFailed,
+        allPassed: failed === 0 && partial === 0 && learnedFailed === 0,
     };
     return { result, inputTokens: totalIn, outputTokens: totalOut };
 }

package/dist/sdk/forward-verify.js.map

@@ -1 +1 @@
-{"version":3,"file":"forward-verify.js","sourceRoot":"","sources":["../../src/sdk/forward-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EACL,qBAAqB,GAGtB,MAAM,2BAA2B,CAAC;AASnC,gEAAgE;AAEhE,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;8CAqBoB,CAAC;AAE/C,MAAM,mBAAmB,GAAG;;;;;;;;;;;;oBAYR,CAAC;AAErB,gEAAgE;AAEhE,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,YAAY,KAAK,CAAC,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAS,kBAAkB,CAAC,KAAgB;IAC1C,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B,EAAE,KAAa;IACjE,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAErE,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,CAAU,CAAC;IAC1H,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;IAEvE,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,aAAa,CAAC;IAElB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QACvF,QAAQ;QACR,QAAQ;QACR,WAAW,EAAG,GAAG,CAAC,WAAsB,CAAC,IAAI,EAAE;QAC/C,SAAS,EAAG,GAAG,CAAC,SAAoB,CAAC,IAAI,EAAE;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,sCAAsC,CAC7C,CAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAuB;QAClC,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAmB,IAAI,KAAK,CAAqB;QAC5D,cAAc,EAAE,CAAC,CAAC,eAAe;YAC/B,CAAC,CAAC;gBACE,kBAAkB,EAAE,CAAC,CAAC,eAAe,CAAC,oBAAoC;gBAC1E,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC,cAAc;gBAC/C,MAAM,EAAE,CAAC,CAAC,eAAe,CAAC,MAAM;aACjC;YACH,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,iBAAiB;QAC/B,UAAU,EAAE,aAAa,QAAQ,cAAc,IAAI,GAAG,YAAY,EAAE;KACrE,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAE9B,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,CAA4B,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL,MAAM;QACN,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC;QACtC,YAAY,EAAE,QAAQ,CAAC,YAAY,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY,EACZ,QAAgB,EAChB,MAAmB;IAEnB,MAAM,SAAS,GAAG,MAAM;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SAClG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,QAAQ,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,mBAAmB;QACjC,UAAU,EAAE,aAAa,QAAQ,cAAc,IAAI,0BAA0B,SAAS,EAAE;KACzF,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAE9B,MAAM,gBAAgB,GAAG,cAAc,CAAC,IAAI,CAAmC,CAAC;IAChF,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzD,MAAM,aAAa,GAAwB,gBAAgB;SACxD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;SAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACT,OAAO,EAAE,CAAC,CAAC,OAAiB;QAC5B,OAAO,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAiB;QAC1F,SAAS,EAAG,CAAC,CAAC,SAAoB,CAAC,IAAI,EAAE;QACzC,MAAM,EAAE,KAAc;KACvB,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,aAAa;QACb,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC;QACtC,YAAY,EAAE,QAAQ,CAAC,YAAY,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,gBAAqC;IAErC,+BAA+B;IAC/B,MAAM,aAAa,GAAmB,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACrE,MAAM,oBAAoB,GAA0B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,mBAAmB,EAAE,CAAC,CAAC,MAAM;KAC9B,CAAC,CAAC,CAAC;IAEJ,0BAA0B;IAC1B,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,CAAC,CAAC;IAE1F,+BAA+B;IAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACvF,MAAM,WAAW,GAAgB;QAC/B,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,iBAAiB;QAChD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACtC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa;QACzC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;KAC/C,CAAC;IAEF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,0BAA0B;IAC1B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,GAChE,MAAM,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,IAAI,SAAS,CAAC;IACrB,QAAQ,IAAI,UAAU,CAAC;IAEvB,4BAA4B;IAC5B,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,GACvF,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,IAAI,QAAQ,CAAC;IACpB,QAAQ,IAAI,SAAS,CAAC;IAEtB,+CAA+C;IAC/C,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,GAClC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAE1E,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,aAAa;QACb,WAAW;QACX,MAAM;QACN,MAAM;QACN,OAAO;QACP,KAAK,EAAE,aAAa,CAAC,MAAM;QAC3B,SAAS,EAAE,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC;KACzC,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC"}
+{"version":3,"file":"forward-verify.js","sourceRoot":"","sources":["../../src/sdk/forward-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EACL,qBAAqB,GAGtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,eAAe,EACf,gBAAgB,GAIjB,MAAM,+BAA+B,CAAC;AASvC,OAAO,EAAE,YAAY,EAAyB,MAAM,iBAAiB,CAAC;AAEtE,gEAAgE;AAEhE,MAAM,iBAAiB,GAAG;;;;;;;;;;;;;;;;;;;;;8CAqBoB,CAAC;AAE/C,MAAM,mBAAmB,GAAG;;;;;;;;;;;;oBAYR,CAAC;AAErB,gEAAgE;AAEhE,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,YAAY,KAAK,CAAC,CAAC;YAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,SAAS,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAS,kBAAkB,CAAC,KAAgB;IAC1C,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B,EAAE,KAAa;IACjE,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAErE,MAAM,eAAe,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,CAAU,CAAC;IAC1H,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAU,CAAC;IAEvE,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,aAAa,CAAC;IAElB,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,QAA0C,CAAC;QACvF,CAAC,CAAE,GAAG,CAAC,QAAkC;QACzC,CAAC,CAAC,QAAQ,CAAC;IAEb,OAAO;QACL,EAAE,EAAE,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QACvF,QAAQ;QACR,QAAQ;QACR,WAAW,EAAG,GAAG,CAAC,WAAsB,CAAC,IAAI,EAAE;QAC/C,SAAS,EAAG,GAAG,CAAC,SAAoB,CAAC,IAAI,EAAE;KAC5C,CAAC;AACJ,CAAC;AAED,SAAS,sCAAsC,CAC7C,CAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAuB;QAClC,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAmB,IAAI,KAAK,CAAqB;QAC5D,cAAc,EAAE,CAAC,CAAC,eAAe;YAC/B,CAAC,CAAC;gBACE,kBAAkB,EAAE,CAAC,CAAC,eAAe,CAAC,oBAAoC;gBAC1E,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC,cAAc;gBAC/C,MAAM,EAAE,CAAC,CAAC,eAAe,CAAC,MAAM;aACjC;YACH,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAY,EACZ,QAAgB,EAChB,OAAgB;IAEhB,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,4BAA4B,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,iBAAiB;QAC/B,UAAU,EAAE,aAAa,QAAQ,cAAc,IAAI,GAAG,YAAY,EAAE;KACrE,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAE9B,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,CAA4B,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL,MAAM;QACN,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC;QACtC,YAAY,EAAE,QAAQ,CAAC,YAAY,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY,EACZ,QAAgB,EAChB,MAAmB;IAEnB,MAAM,SAAS,GAAG,MAAM;SACrB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,SAAS,EAAE,CAAC;SAClG,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,QAAQ,GAAG,MAAM,WAAW,EAAE,CAAC,QAAQ,CAAC;QAC5C,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,MAAM;QACjB,YAAY,EAAE,mBAAmB;QACjC,UAAU,EAAE,aAAa,QAAQ,cAAc,IAAI,0BAA0B,SAAS,EAAE;KACzF,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;IAE9B,MAAM,gBAAgB,GAAG,cAAc,CAAC,IAAI,CAAmC,CAAC;IAChF,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzD,MAAM,aAAa,GAAwB,gBAAgB;SACxD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;SAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACT,OAAO,EAAE,CAAC,CAAC,OAAiB;QAC5B,OAAO,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAiB;QAC1F,SAAS,EAAG,CAAC,CAAC,SAAoB,CAAC,IAAI,EAAE;QACzC,MAAM,EAAE,KAAc;KACvB,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,aAAa;QACb,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,CAAC;QACtC,YAAY,EAAE,QAAQ,CAAC,YAAY,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,QAAgB,EAChB,MAAmB,EACnB,gBAAqC;IAErC,+BAA+B;IAC/B,MAAM,aAAa,GAAmB,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACrE,MAAM,oBAAoB,GAA0B,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7E,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,mBAAmB,EAAE,CAAC,CAAC,MAAM;KAC9B,CAAC,CAAC,CAAC;IAEJ,0BAA0B;IAC1B,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,CAAC,CAAC;IAE1F,+BAA+B;IAC/B,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;IACvF,MAAM,WAAW,GAAgB;QAC/B,gBAAgB,EAAE,MAAM,CAAC,KAAK,CAAC,iBAAiB;QAChD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY;QACtC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa;QACzC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,gBAAgB;KAC/C,CAAC;IAEF,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;AACxC,CAAC;AAED,+DAA+D;AAE/D,SAAS,mBAAmB,CAAC,IAAsB;IACjD,MAAM,MAAM,GAAgB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;QACrD,QAAQ,EAAG,CAAC,CAAC,QAAkC,IAAI,aAAa;QAChE,QAAQ,EAAG,CAAC,CAAC,QAAkC,IAAI,QAAQ;QAC3D,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;KACvB,CAAC,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAwB,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3E,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,OAAO,EAAG,CAAC,CAAC,OAAwB,IAAI,KAAK;QAC7C,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,MAAM,EAAG,CAAC,CAAC,mBAAwC,IAAI,KAAK;QAC5D,cAAc,EAAE,CAAC,CAAC,eAAe;YAC/B,CAAC,CAAC;gBACE,kBAAkB,EAAE,CAAC,CAAC,eAAe,CAAC,oBAAoC;gBAC1E,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC,cAAiC;gBAClE,MAAM,EAAE,CAAC,CAAC,eAAe,CAAC,MAAM;aACjC;YACH,CAAC,CAAC,SAAS;KACd,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAgB;QAC/B,gBAAgB,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,IAAI,CAAC;QAClE,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,YAAY,IAAI,CAAC;QACxD,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC;QAC3D,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,gBAAgB,IAAI,CAAC;QAChE,mBAAmB,EAAE,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC;KACxE,CAAC;IAEF,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC,CAAC;IACxE,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACnF,MAAM,oBAAoB,GAAG,kBAAkB,GAAG,YAAY,CAAC;IAC/D,MAAM,oBAAoB,GAAG,aAAa,CAAC,MAAM,GAAG,YAAY,CAAC;IACjE,MAAM,iBAAiB,GAAG,oBAAoB,GAAG,oBAAoB,CAAC;IAEtE,MAAM,cAAc,GAAmB;QACrC,oBAAoB;QACpB,iBAAiB;QACjB,WAAW,EAAE,oBAAoB;QACjC,aAAa,EAAE,oBAAoB,GAAG,CAAC;YACrC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,oBAAoB,GAAG,oBAAoB,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE;YACvE,CAAC,CAAC,CAAC;KACN,CAAC;IAEF,OAAO;QACL,MAAM;QACN,aAAa;QACb,WAAW;QACX,cAAc;QACd,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;QAChC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;QAChC,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO;QAClC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK;QAC9B,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,KAAK,CAAC;KAC7E,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,mFAAmF;AACnF,OAAO,EAAE,WAAW,EAAyB,MAAM,+BAA+B,CAAC;AAEnF,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAY,EACZ,QAAgB,EAChB,OAAgB,EAChB,OAAqB;IAErB,6DAA6D;IAC7D,gDAAgD;IAChD,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChE,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAChD,OAAO;gBACL,MAAM;gBACN,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,YAAY;gBAC3C,YAAY,EAAE,WAAW,CAAC,KAAK,CAAC,aAAa;aAC9C,CAAC;QACJ,CAAC;QACD,8CAA8C;QAC9C,OAAO,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,0BAA0B;IAC1B,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,GAChE,MAAM,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,IAAI,SAAS,CAAC;IACrB,QAAQ,IAAI,UAAU,CAAC;IAEvB,4BAA4B;IAC5B,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,GACvF,MAAM,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,IAAI,QAAQ,CAAC;IACpB,QAAQ,IAAI,SAAS,CAAC;IAEtB,+CAA+C;IAC/C,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,GAClC,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEpE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,IAAI,OAAO;QAAE,OAAO,CAAC,UAAU,EAAE,CAAC;IAClC,IAAI,mBAAmB,GAAyB,EAAE,CAAC;IACnD,IAAI,CAAC;QACH,mBAAmB,GAAG,MAAM,eAAe,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtF,CAAC;IAAC,MAAM,CAAC;QACP,iEAAiE;IACnE,CAAC;IAED,iEAAiE;IACjE,6DAA6D;IAC7D,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CACnD,CAAC;IACF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;YACxC,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;YACjE,IAAI,CAAC,aAAa;gBAAE,SAAS;YAC7B,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE;gBAC9B,KAAK,EAAE;oBACL,EAAE,EAAE,aAAa,CAAC,EAAE;oBACpB,QAAQ,EAAE,aAAa,CAAC,QAAQ;oBAChC,QAAQ,EAAE,aAAa,CAAC,QAAQ;oBAChC,WAAW,EAAE,aAAa,CAAC,WAAW;oBACtC,SAAS,EAAE,aAAa,CAAC,SAAS;iBACnC;gBACD,YAAY,EAAE;oBACZ,OAAO,EAAE,MAAM;oBACf,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC7B;gBACD,IAAI;gBACJ,QAAQ;gBACR,QAAQ,EAAE,SAAS,EAAE,wCAAwC;aAC9D,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAA+B,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAE1E,mDAAmD;IACnD,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,CAAC;IAEjD,8DAA8D;IAC9D,+EAA+E;IAC/E,mEAAmE;IACnE,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IACnF,MAAM,oBAAoB,GAAG,kBAAkB,GAAG,aAAa,CAAC;IAChE,MAAM,oBAAoB,GAAG,aAAa,CAAC,MAAM,GAAG,aAAa,CAAC;IAClE,MAAM,iBAAiB,GAAG,oBAAoB,GAAG,oBAAoB,CAAC;IACtE,MAAM,cAAc,GAAmB;QACrC,oBAAoB;QACpB,iBAAiB;QACjB,WAAW,EAAE,oBAAoB;QACjC,aAAa,EAAE,oBAAoB,GAAG,CAAC;YACrC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,oBAAoB,GAAG,oBAAoB,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE;YACvE,CAAC,CAAC,CAAC;KACN,CAAC;IAEF,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,aAAa;QACb,WAAW,EAAE;YACX,GAAG,WAAW;YACd,mBAAmB,EAAE,aAAa;YAClC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrD;QACD,cAAc;QACd,MAAM;QACN,MAAM,EAAE,MAAM,GAAG,aAAa;QAC9B,OAAO;QACP,KAAK,EAAE,aAAa,CAAC,MAAM,GAAG,aAAa;QAC3C,SAAS,EAAE,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC;KAChE,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC"}

package/dist/sdk/index.d.ts

@@ -5,4 +5,4 @@ export declare class AssaySDK {
     generate(options: GenerateOptions): Promise<VerifiedCode>;
     verify(options: VerifyOptions): Promise<VerificationResult>;
 }
-export type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult, CodeClaim, ClaimVerdict, ClaimVerification, FormalStats, ProgressEvent, } from './types.js';
+export type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult, CodeClaim, ClaimVerdict, ClaimVerification, FormalStats, FormalCoverage, ProgressEvent, } from './types.js';

package/dist/sdk/types.d.ts

@@ -45,11 +45,32 @@ export interface FormalStats {
     llmVerified: number;
     disagreements: number;
     formalOverrides: number;
+    /** Findings from auto-generated learned rules (Phase 1 self-expanding). */
+    learnedRuleFindings?: number;
+    /** Noise filter stats from the ScanSession, if one was provided. */
+    noiseFilter?: {
+        filesScanned: number;
+        suppressedRules: string[];
+        fireCounts: Record<string, number>;
+    };
+}
+/** Tracks the LLM/formal verification ratio — the key metric for the 10x roadmap. */
+export interface FormalCoverage {
+    /** Claims verified by formal verifier or learned rules (deterministic). */
+    formalClaimsVerified: number;
+    /** Claims verified only by LLM (non-deterministic). */
+    llmClaimsVerified: number;
+    /** Total claims processed. */
+    totalClaims: number;
+    /** Percentage of claims verified formally: (formalClaimsVerified / totalClaims) * 100. */
+    formalPercent: number;
 }
 export interface VerificationResult {
     claims: CodeClaim[];
     verifications: ClaimVerification[];
     formalStats: FormalStats;
+    /** LLM/formal ratio tracking — measures progress toward 15/85 target. */
+    formalCoverage: FormalCoverage;
     passed: number;
     failed: number;
     partial: number;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tryassay",
-  "version": "0.29.0",
+  "version": "0.31.0",
   "description": "AI code verification CLI — find bugs that tests miss, linters ignore, and code review overlooks",
   "type": "module",
   "main": "./dist/index.js",