@nudojs/service 3.0.0 → 4.0.0

package/dist/index.js

@@ -1902,7 +1902,8 @@ function validateMockDirectives(directives, diagnostics) {
   for (const d of directives) {
     if (d.kind !== "mock" || !d.expression) continue;
     const expr = d.expression.trim();
-    if (expr.includes("(") && expr.includes(")") && !expr.startsWith("T.")) {
+    const isTypeExpr = /^(number|string|boolean|any|array|shape|lit|union|fn|partial|pick|omit|record|required|readonly|nonNullable|and)\s*\(/.test(expr) || expr === "unknown" || expr === "any" || expr === "never" || expr === "true" || expr === "false" || expr === "null" || expr === "undefined" || /^-?\d+(\.\d+)?$/.test(expr) || (expr.startsWith('"') && expr.endsWith('"') || expr.startsWith("'") && expr.endsWith("'")) || expr.startsWith("{") || expr.startsWith("[");
+    if (expr.includes("(") && expr.includes(")") && !isTypeExpr && !expr.includes("=>")) {
       diagnostics.push({
         range: { start: { line: 0, column: 0 }, end: { line: 0, column: 0 } },
         severity: "warning",
@@ -1910,7 +1911,8 @@ function validateMockDirectives(directives, diagnostics) {
         code: "nudo:mock-invalid",
         suggestions: [
           "Supported formats: stub(), stub().returns(value), spy(), mock()",
-          "Arrow functions: (args) => expression or (args) => { statements; return value; }"
+          "Arrow functions: (args) => expression or (args) => { statements; return value; }",
+          "Type expressions: number(), string(), shape({...}), union(...), or concrete literals"
         ]
       });
     }
@@ -2891,7 +2893,7 @@ function analyzeFileUncachedInner(filePath, source, activeCases, externalCallRec
             diagnostics.push({
               range: { start: { line: directive.commentLine, column: 0 }, end: { line: directive.commentLine, column: 999 } },
               severity: "error",
-              message: `Case "${directive.name}": expected ${formatShape2(directive.expected)}, got ${formatShape2(caseAbs)}. The inferred return type does not match the expected type declared in the @nudo:case directive`,
+              message: `debug "${directive.name}": expected ${formatShape2(directive.expected)}, got ${formatShape2(caseAbs)}. The inferred return type does not match the expected type declared in the @nudo:case witness`,
               code: "nudo:case-expected"
             });
           }
@@ -5293,15 +5295,15 @@ function serializeCaseArg(a) {
   }
   switch (s.k) {
     case "prim":
-      if (s.type === "number" || s.type === "string" || s.type === "boolean") {
-        return `T.${s.type}`;
-      }
+      if (s.type === "number") return "number()";
+      if (s.type === "string") return "string()";
+      if (s.type === "boolean") return "boolean()";
       return null;
     case "unknown":
     case "any":
-      return "T.unknown";
+      return "any()";
     case "never":
-      return "T.never";
+      return "never";
     case "sum": {
       const parts = [];
       for (const member of s.members) {
@@ -5309,11 +5311,11 @@ function serializeCaseArg(a) {
         if (ser === null) return null;
         parts.push(ser);
       }
-      return `T.union(${parts.join(", ")})`;
+      return `union(${parts.join(", ")})`;
     }
     case "arr": {
       const el = serializeCaseArg(s.element);
-      return el === null ? null : `T.array(${el})`;
+      return el === null ? null : `array(${el})`;
     }
     case "tuple": {
       const parts = [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/service",
-  "version": "3.0.0",
+  "version": "4.0.0",
   "engines": {
     "node": ">=20"
   },
@@ -45,10 +45,10 @@
   "dependencies": {
     "@babel/traverse": "^7.29.0",
     "@babel/types": "^7.29.0",
-    "@nudojs/core": "2.0.1",
-    "@nudojs/parser": "0.5.1",
-    "@nudojs/env": "0.4.0",
-    "@nudojs/harvester": "0.2.6"
+    "@nudojs/core": "2.1.0",
+    "@nudojs/parser": "1.0.0",
+    "@nudojs/env": "0.4.1",
+    "@nudojs/harvester": "0.2.7"
   },
   "scripts": {
     "build": "tsup src/index.ts src/evaluator/evaluator-api.ts --format esm --dts"