tryassay 0.34.0 → 0.35.1

package/dist/lib/__tests__/formal-verifier-claimless-async.test.js

@@ -0,0 +1,154 @@
+import { describe, it, expect } from 'vitest';
+import { runClaimlessChecks } from '../formal-verifier.js';
+describe('runClaimlessChecks — async/error checks (12–15)', () => {
+    // ── Check 12: async forEach ──────────────────────────────────
+    describe('async forEach detection', () => {
+        it('detects array.forEach(async ...) pattern', () => {
+            const code = `
+const items = [1, 2, 3];
+items.forEach(async (item) => {
+  await saveItem(item);
+});
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('forEach'));
+            expect(matched.length).toBeGreaterThan(0);
+            expect(matched[0].severity).toBe('critical');
+        });
+        it('does not flag regular (non-async) forEach', () => {
+            const code = `
+const items = [1, 2, 3];
+items.forEach((item) => {
+  console.log(item);
+});
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('forEach'));
+            expect(matched).toHaveLength(0);
+        });
+        it('detects forEach with async keyword after whitespace', () => {
+            const code = `
+data.forEach( async (x) => { await process(x); });
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('forEach'));
+            expect(matched.length).toBeGreaterThan(0);
+        });
+    });
+    // ── Check 13: Promise.all without error isolation ────────────
+    describe('Promise.all without error isolation', () => {
+        it('detects bare Promise.all without catch or try/catch', () => {
+            const code = `
+async function loadAll() {
+  const results = await Promise.all([fetchA(), fetchB(), fetchC()]);
+  return results;
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('Promise.all'));
+            expect(matched.length).toBeGreaterThan(0);
+            expect(matched[0].severity).toBe('high');
+        });
+        it('passes Promise.all wrapped in try/catch', () => {
+            const code = `
+async function loadAll() {
+  try {
+    const results = await Promise.all([fetchA(), fetchB()]);
+    return results;
+  } catch (e) {
+    return [];
+  }
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('Promise.all'));
+            expect(matched).toHaveLength(0);
+        });
+        it('passes Promise.all with .catch on individual promises', () => {
+            const code = `
+const results = await Promise.all([
+  fetchA().catch(() => null),
+  fetchB().catch(() => null),
+]);
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('Promise.all'));
+            expect(matched).toHaveLength(0);
+        });
+        it('does not flag Promise.allSettled', () => {
+            const code = `
+const results = await Promise.allSettled([fetchA(), fetchB()]);
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('Promise.all'));
+            expect(matched).toHaveLength(0);
+        });
+    });
+    // ── Check 14: Missing await on fetch() ───────────────────────
+    describe('missing await on fetch()', () => {
+        it('detects const result = fetch(...) without await', () => {
+            const code = `
+const response = fetch('/api/data');
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('fetch()'));
+            expect(matched.length).toBeGreaterThan(0);
+            expect(matched[0].severity).toBe('high');
+        });
+        it('passes when await is present before fetch', () => {
+            const code = `
+const response = await fetch('/api/data');
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('fetch()'));
+            expect(matched).toHaveLength(0);
+        });
+        it('detects let assignment without await', () => {
+            const code = `
+let res = fetch('https://example.com');
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('fetch()'));
+            expect(matched.length).toBeGreaterThan(0);
+        });
+    });
+    // ── Check 15: throw string instead of Error ──────────────────
+    describe('throw string literal detection', () => {
+        it('detects throw with double-quoted string', () => {
+            const code = `
+function validate(x: number) {
+  if (x < 0) throw "value must be positive";
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('throws a string'));
+            expect(matched.length).toBeGreaterThan(0);
+            expect(matched[0].severity).toBe('medium');
+        });
+        it('detects throw with single-quoted string', () => {
+            const code = `
+if (!ok) throw 'something went wrong';
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('throws a string'));
+            expect(matched.length).toBeGreaterThan(0);
+        });
+        it('does not flag throw new Error(...)', () => {
+            const code = `
+if (!ok) throw new Error('something went wrong');
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('throws a string'));
+            expect(matched).toHaveLength(0);
+        });
+        it('detects throw with template literal', () => {
+            const code = `
+throw \`invalid value: \${x}\`;
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const matched = findings.filter(f => f.checkType === 'error_handling' && f.evidence.includes('throws a string'));
+            expect(matched.length).toBeGreaterThan(0);
+        });
+    });
+});
+//# sourceMappingURL=formal-verifier-claimless-async.test.js.map

package/dist/lib/__tests__/formal-verifier-claimless-async.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier-claimless-async.test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/formal-verifier-claimless-async.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,gEAAgE;IAChE,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,gEAAgE;IAChE,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAC5E,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG;;;;;;;;;CASlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAC5E,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAC5E,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAC5E,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,gEAAgE;IAChE,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACxE,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,gEAAgE;IAChE,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG;;;;CAIlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAChF,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAChF,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAChF,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAChF,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/lib/__tests__/formal-verifier-claimless-quality.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/lib/__tests__/formal-verifier-claimless-quality.test.js

@@ -0,0 +1,121 @@
+import { describe, it, expect } from 'vitest';
+import { runClaimlessChecks } from '../formal-verifier.js';
+describe('runClaimlessChecks — quality checks (16–19)', () => {
+    // ── Check 16: console.log in production code ──────────────
+    describe('console.log in production code', () => {
+        it('detects console.log in production code', () => {
+            const code = `
+function processOrder(order) {
+  console.log("processing", order);
+  return saveOrder(order);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const consoleFinding = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(consoleFinding.length).toBeGreaterThan(0);
+            expect(consoleFinding[0].severity).toBe('medium');
+        });
+        it('detects console.debug but not console.warn', () => {
+            const code = `
+function load() {
+  console.debug("loading");
+  console.warn("slow");
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const consoleFinding = findings.filter(f => f.checkType === 'debug_artifact');
+            // console.debug triggers, console.warn does NOT (warn is intentional)
+            expect(consoleFinding.length).toBeGreaterThanOrEqual(1);
+        });
+        it('still flags console.log in non-test files', () => {
+            // Note: the new check 13 does NOT skip test files — it flags all console.log/debug
+            // This is simpler and more correct (tests in the test file below cover this behavior)
+            const code = `
+function processOrder(order) {
+  console.log("processing", order);
+  return saveOrder(order);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const consoleFinding = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(consoleFinding.length).toBeGreaterThan(0);
+        });
+    });
+    // ── Check 17: Loose equality == ───────────────────────────
+    describe('loose equality ==', () => {
+        it('detects loose equality with null', () => {
+            const code = `
+function check(val) {
+  if (val == null) return;
+  if (val == undefined) return;
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const eqFindings = findings.filter(f => f.checkType === 'equality_check');
+            expect(eqFindings.length).toBeGreaterThan(0);
+            expect(eqFindings[0].severity).toBe('medium');
+        });
+        it('does not flag strict equality ===', () => {
+            const code = `
+function check(val) {
+  if (val === null) return;
+  if (val === undefined) return;
+  if (val !== undefined) return;
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const eqFindings = findings.filter(f => f.checkType === 'equality_check');
+            expect(eqFindings).toHaveLength(0);
+        });
+        it('does not flag == inside comments', () => {
+            const code = `
+// if x == null then do something
+const x = 1;
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const eqFindings = findings.filter(f => f.checkType === 'equality_check');
+            expect(eqFindings).toHaveLength(0);
+        });
+    });
+    // ── Check 18: parseInt without radix ──────────────────────
+    describe('parseInt without radix', () => {
+        it('detects parseInt without second argument', () => {
+            const code = `
+const num = parseInt(value);
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const parseFinding = findings.filter(f => f.checkType === 'api_misuse' && f.evidence.includes('parseInt'));
+            expect(parseFinding.length).toBeGreaterThan(0);
+            expect(parseFinding[0].severity).toBe('medium');
+        });
+        it('does not flag parseInt with radix', () => {
+            const code = `
+const num = parseInt(value, 10);
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const parseFinding = findings.filter(f => f.checkType === 'api_misuse' && f.evidence.includes('parseInt'));
+            expect(parseFinding).toHaveLength(0);
+        });
+    });
+    // ── Check 19: Array.sort without comparator ───────────────
+    describe('Array.sort without comparator', () => {
+        it('detects .sort() with empty parens', () => {
+            const code = `
+const sorted = numbers.sort();
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const sortFinding = findings.filter(f => f.checkType === 'api_misuse' && f.evidence.includes('.sort()'));
+            expect(sortFinding.length).toBeGreaterThan(0);
+            expect(sortFinding[0].severity).toBe('medium');
+        });
+        it('does not flag .sort() with a comparator', () => {
+            const code = `
+const sorted = numbers.sort((a, b) => a - b);
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const sortFinding = findings.filter(f => f.checkType === 'api_misuse' && f.evidence.includes('.sort()'));
+            expect(sortFinding).toHaveLength(0);
+        });
+    });
+});
+//# sourceMappingURL=formal-verifier-claimless-quality.test.js.map

package/dist/lib/__tests__/formal-verifier-claimless-quality.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier-claimless-quality.test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/formal-verifier-claimless-quality.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,6DAA6D;IAE7D,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,sEAAsE;YACtE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,mFAAmF;YACnF,sFAAsF;YACtF,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,6DAA6D;IAE7D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAG;;;;;;CAMlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAG;;;CAGlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CACtC,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,6DAA6D;IAE7D,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CACrE,CAAC;YACF,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CACrE,CAAC;YACF,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,6DAA6D;IAE7D,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACpE,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,IAAI,GAAG;;CAElB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CACpE,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/lib/__tests__/formal-verifier-claimless-realworld.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/lib/__tests__/formal-verifier-claimless-realworld.test.js

@@ -0,0 +1,119 @@
+import { describe, it, expect } from 'vitest';
+import { runClaimlessChecks } from '../formal-verifier.js';
+describe('runClaimlessChecks — real-world regression tests', () => {
+    describe('type_annotation tuning', () => {
+        it('does not flag export default function (React component pattern)', () => {
+            const code = `
+export default function Dashboard({ data }: Props) {
+  return <div>{data.title}</div>;
+}
+`;
+            const findings = runClaimlessChecks(code, 'tsx');
+            const typeFindings = findings.filter(f => f.checkType === 'type_annotation');
+            expect(typeFindings).toHaveLength(0);
+        });
+        it('does not flag tsx files at all for type_annotation', () => {
+            const code = `
+export function UserCard({ name }: { name: string }) {
+  return <span>{name}</span>;
+}
+
+export async function fetchData(id: string) {
+  return await api.get(id);
+}
+`;
+            const findings = runClaimlessChecks(code, 'tsx');
+            const typeFindings = findings.filter(f => f.checkType === 'type_annotation');
+            expect(typeFindings).toHaveLength(0);
+        });
+        it('does not flag Next.js route handlers (GET, POST, etc.)', () => {
+            const code = `
+export async function GET(request: Request) {
+  return Response.json({ ok: true });
+}
+
+export async function POST(request: Request) {
+  const body = await request.json();
+  return Response.json(body);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const typeFindings = findings.filter(f => f.checkType === 'type_annotation');
+            expect(typeFindings).toHaveLength(0);
+        });
+        it('still flags named exports missing return type in .ts files', () => {
+            const code = `
+export function processData(input: string) {
+  return input.trim().split(',');
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const typeFindings = findings.filter(f => f.checkType === 'type_annotation');
+            expect(typeFindings.length).toBeGreaterThan(0);
+        });
+        it('still flags named async exports missing return type in .ts files', () => {
+            const code = `
+export async function loadUser(id: string) {
+  return await db.users.findOne(id);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const typeFindings = findings.filter(f => f.checkType === 'type_annotation');
+            expect(typeFindings.length).toBeGreaterThan(0);
+        });
+    });
+    describe('debug_artifact tuning', () => {
+        it('does not flag files with many console.log calls (CLI/logger pattern)', () => {
+            const code = `
+function main() {
+  console.log("Starting server...");
+  console.log("Loading config...");
+  console.log("Connecting to database...");
+  console.log("Initializing routes...");
+  console.log("Server ready on port 3000");
+  console.log("Press Ctrl+C to stop");
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const debugFindings = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(debugFindings).toHaveLength(0);
+        });
+        it('does not flag files with exactly 6 console.log calls (above threshold)', () => {
+            const lines = Array.from({ length: 6 }, (_, i) => `  console.log("message ${i}");`).join('\n');
+            const code = `function run() {\n${lines}\n}`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const debugFindings = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(debugFindings).toHaveLength(0);
+        });
+        it('still flags files with few console.log calls (likely debug leftovers)', () => {
+            const code = `
+function handleSubmit(data: FormData) {
+  console.log("debug:", data);
+  return saveToDb(data);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const debugFindings = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(debugFindings.length).toBeGreaterThan(0);
+        });
+        it('still flags exactly 5 console.log calls (at threshold)', () => {
+            const lines = Array.from({ length: 5 }, (_, i) => `  console.log("debug ${i}");`).join('\n');
+            const code = `function run() {\n${lines}\n}`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const debugFindings = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(debugFindings).toHaveLength(5);
+        });
+        it('still flags console.debug calls in small files', () => {
+            const code = `
+function fetchUser(id: string) {
+  console.debug("fetching user", id);
+  return users.get(id);
+}
+`;
+            const findings = runClaimlessChecks(code, 'typescript');
+            const debugFindings = findings.filter(f => f.checkType === 'debug_artifact');
+            expect(debugFindings.length).toBeGreaterThan(0);
+        });
+    });
+});
+//# sourceMappingURL=formal-verifier-claimless-realworld.test.js.map

package/dist/lib/__tests__/formal-verifier-claimless-realworld.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier-claimless-realworld.test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/formal-verifier-claimless-realworld.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,IAAI,GAAG;;;;CAIlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC;YAC7E,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,IAAI,GAAG;;;;;;;;CAQlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC;YAC7E,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,IAAI,GAAG;;;;;;;;;CASlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC;YAC7E,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAAG;;;;CAIlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC;YAC7E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,IAAI,GAAG;;;;CAIlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,iBAAiB,CAAC,CAAC;YAC7E,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,IAAI,GAAG;;;;;;;;;CASlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;YAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/F,MAAM,IAAI,GAAG,qBAAqB,KAAK,KAAK,CAAC;YAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;YAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;YAC/E,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;YAC7E,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7F,MAAM,IAAI,GAAG,qBAAqB,KAAK,KAAK,CAAC;YAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;YAC7E,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAAG;;;;;CAKlB,CAAC;YACI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAAC,CAAC;YAC7E,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/lib/__tests__/formal-verifier-claimless.test.d.ts

@@ -0,0 +1 @@
+export {};