@aiready/contract-enforcement 0.2.6 → 0.2.8

package/.turbo/turbo-build.log

@@ -1,18 +1,19 @@
-
-> @aiready/contract-enforcement@0.2.6 build /Users/pengcao/projects/aiready/packages/contract-enforcement
-> tsup src/index.ts --format cjs,esm --dts
-
-CLI Building entry: src/index.ts
-CLI Using tsconfig: tsconfig.json
-CLI tsup v8.5.1
-CLI Target: es2020
-CJS Build start
-ESM Build start
-ESM dist/index.mjs 17.28 KB
-ESM ⚡️ Build success in 37ms
-CJS dist/index.js 18.72 KB
-CJS ⚡️ Build success in 39ms
-DTS Build start
-DTS ⚡️ Build success in 4782ms
-DTS dist/index.d.ts  2.45 KB
-DTS dist/index.d.mts 2.45 KB
+
+
+> @aiready/contract-enforcement@0.2.8 build /Users/pengcao/projects/aiready/packages/contract-enforcement
+> tsup src/index.ts --format cjs,esm --dts
+
+CLI Building entry: src/index.ts
+CLI Using tsconfig: tsconfig.json
+CLI tsup v8.5.1
+CLI Target: es2020
+CJS Build start
+ESM Build start
+CJS dist/index.js 18.88 KB
+CJS ⚡️ Build success in 118ms
+ESM dist/index.mjs 17.44 KB
+ESM ⚡️ Build success in 118ms
+DTS Build start
+DTS ⚡️ Build success in 2234ms
+DTS dist/index.d.ts  2.45 KB
+DTS dist/index.d.mts 2.45 KB

package/.turbo/turbo-format-check.log

@@ -0,0 +1,7 @@
+
+
+> @aiready/contract-enforcement@0.2.8 format-check /Users/pengcao/projects/aiready/packages/contract-enforcement
+> prettier --check . --ignore-path ../../.prettierignore
+
+Checking formatting...
+package.jsonREADME.mdsrc/__tests__/detector.test.tssrc/__tests__/provider.test.tssrc/__tests__/scoring.test.tssrc/analyzer.tssrc/detector.tssrc/index.tssrc/provider.tssrc/scoring.tssrc/types.tstsconfig.jsonAll matched files use Prettier code style!

package/.turbo/turbo-lint.log

@@ -0,0 +1,5 @@
+
+
+> @aiready/contract-enforcement@0.2.8 lint /Users/pengcao/projects/aiready/packages/contract-enforcement
+> eslint src
+

package/.turbo/turbo-test.log

@@ -1,16 +1,18 @@
-
-> @aiready/contract-enforcement@0.2.5 test /Users/pengcao/projects/aiready/packages/contract-enforcement
-> vitest run
-
-
- RUN  v4.1.1 /Users/pengcao/projects/aiready/packages/contract-enforcement
-
- ✓ src/__tests__/scoring.test.ts (7 tests) 3ms
- ✓ src/__tests__/detector.test.ts (14 tests) 105ms
- ✓ src/__tests__/provider.test.ts (5 tests) 3ms
-
- Test Files  3 passed (3)
-      Tests  26 passed (26)
-   Start at  20:27:25
-   Duration  4.35s (transform 1.54s, setup 0ms, import 6.86s, tests 111ms, environment 0ms)
-
+
+
+> @aiready/contract-enforcement@0.2.7 test /Users/pengcao/projects/aiready/packages/contract-enforcement
+> vitest run
+
+[?25l
+ RUN  v4.1.1 /Users/pengcao/projects/aiready/packages/contract-enforcement
+
+ ✓ src/__tests__/scoring.test.ts (7 tests) 5ms
+ ✓ src/__tests__/detector.test.ts (15 tests) 27ms
+ ✓ src/__tests__/provider.test.ts (5 tests) 3ms
+
+ Test Files  3 passed (3)
+      Tests  27 passed (27)
+   Start at  00:08:31
+   Duration  1.81s (transform 650ms, setup 0ms, import 3.21s, tests 35ms, environment 0ms)
+
+[?25h

package/.turbo/turbo-type-check.log

@@ -0,0 +1,5 @@
+
+
+> @aiready/contract-enforcement@0.2.8 type-check /Users/pengcao/projects/aiready/packages/contract-enforcement
+> tsc --noEmit
+

package/dist/index.js

@@ -143,8 +143,11 @@ function isSwallowedCatch(body, filePath) {
     const stmt = body[0];
     if (stmt.type === "ExpressionStatement" && stmt.expression?.type === "CallExpression") {
       const callee = stmt.expression.callee;
-      if (callee?.type === "MemberExpression" && callee.object?.type === "Identifier" && callee.object.name === "console")
+      if (callee?.type === "MemberExpression" && callee.object?.type === "Identifier" && callee.object.name === "console") {
+        const method = callee.property.type === "Identifier" ? callee.property.name : "";
+        if (method === "error" || method === "warn") return false;
         return true;
+      }
       if (isUiComponent) {
         let calleeName = "";
         if (callee?.type === "Identifier") calleeName = callee.name;

package/dist/index.mjs

@@ -116,8 +116,11 @@ function isSwallowedCatch(body, filePath) {
     const stmt = body[0];
     if (stmt.type === "ExpressionStatement" && stmt.expression?.type === "CallExpression") {
       const callee = stmt.expression.callee;
-      if (callee?.type === "MemberExpression" && callee.object?.type === "Identifier" && callee.object.name === "console")
+      if (callee?.type === "MemberExpression" && callee.object?.type === "Identifier" && callee.object.name === "console") {
+        const method = callee.property.type === "Identifier" ? callee.property.name : "";
+        if (method === "error" || method === "warn") return false;
         return true;
+      }
       if (isUiComponent) {
         let calleeName = "";
         if (callee?.type === "Identifier") calleeName = callee.name;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aiready/contract-enforcement",
-  "version": "0.2.6",
+  "version": "0.2.8",
   "description": "Measures structural type safety and boundary validation to reduce fallback cascades for AI agents",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -32,7 +32,7 @@
   "homepage": "https://github.com/caopengau/aiready-contract-enforcement",
   "dependencies": {
     "@typescript-eslint/typescript-estree": "^8.53.0",
-    "@aiready/core": "0.24.6"
+    "@aiready/core": "0.24.8"
   },
   "devDependencies": {
     "@types/node": "^24.0.0",
@@ -49,6 +49,8 @@
     "test": "vitest run",
     "lint": "eslint src",
     "clean": "rm -rf dist",
-    "release": "pnpm build && pnpm publish --no-git-checks"
+    "release": "pnpm build && pnpm publish --no-git-checks",
+    "type-check": "tsc --noEmit",
+    "format-check": "prettier --check . --ignore-path ../../.prettierignore"
   }
 }

package/src/__tests__/detector.test.ts

@@ -72,13 +72,25 @@ describe('detectDefensivePatterns', () => {
       try {
         doSomething();
       } catch (e) {
-        console.error(e);
+        console.log(e);
       }
     `;
     const result = detectDefensivePatterns(filePath, code);
     expect(result.counts['swallowed-error']).toBe(1);
   });
 
+  it('does not flag console.error as swallowed', () => {
+    const code = `
+      try {
+        doSomething();
+      } catch (e) {
+        console.error(e);
+      }
+    `;
+    const result = detectDefensivePatterns(filePath, code);
+    expect(result.counts['swallowed-error']).toBe(0);
+  });
+
   it('does not flag catch blocks with real handling', () => {
     const code = `
       try {

package/src/detector.ts

@@ -141,13 +141,17 @@ function isSwallowedCatch(
       stmt.expression?.type === 'CallExpression'
     ) {
       const callee = stmt.expression.callee;
-      // console.log/warn/error is still considered "swallowed" but might be acceptable
+      // console.error and console.warn are considered "handling" or at least "reporting"
       if (
         callee?.type === 'MemberExpression' &&
         callee.object?.type === 'Identifier' &&
         callee.object.name === 'console'
-      )
-        return true;
+      ) {
+        const method =
+          callee.property.type === 'Identifier' ? callee.property.name : '';
+        if (method === 'error' || method === 'warn') return false;
+        return true; // console.log/info/debug etc. are still considered "swallowed"
+      }
 
       // If it's a UI component and looks like telemetry, it's a false positive
       if (isUiComponent) {