@nudojs/cli 0.2.1 → 0.3.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/cli",
-  "version": "0.2.1",
+  "version": "0.3.1",
   "description": "CLI and evaluator API for the Nudo type inference engine",
   "type": "module",
   "license": "MIT",
@@ -12,14 +12,24 @@
     "dts",
     "abstract-interpretation"
   ],
-  "main": "src/index.ts",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "exports": {
-    ".": "./src/index.ts",
-    "./evaluator": "./src/evaluator-api.ts"
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./evaluator": {
+      "types": "./dist/evaluator-api.d.ts",
+      "default": "./dist/evaluator-api.js"
+    }
   },
   "bin": {
-    "nudo": "src/index.ts"
+    "nudo": "./dist/index.js"
   },
+  "files": [
+    "dist"
+  ],
   "repository": {
     "type": "git",
     "url": "git+https://github.com/nudojs/nudo.git",
@@ -33,13 +43,15 @@
     "registry": "https://registry.npmjs.org"
   },
   "dependencies": {
-    "@nudojs/parser": "0.2.0",
-    "@nudojs/service": "0.2.1",
-    "@nudojs/core": "0.2.0",
-    "@nudojs/env": "0.2.0",
-    "@nudojs/harvester": "0.1.0"
+    "commander": "^13.0.0",
+    "@nudojs/core": "0.3.1",
+    "@nudojs/parser": "0.3.1",
+    "@nudojs/env": "0.2.2",
+    "@nudojs/service": "0.3.1",
+    "@nudojs/harvester": "0.2.1"
   },
   "scripts": {
-    "build": "tsup src/index.ts src/evaluator-api.ts --format esm --dts"
+    "build": "tsup",
+    "build:lib": "tsup src/evaluator-api.ts --format esm --dts"
   }
 }

package/CHANGELOG.md

@@ -1,41 +0,0 @@
-# nudo
-
-## 0.2.1
-
-### Patch Changes
-
-- 0fd0718: Merge the three environment packages into one: `@nudojs/env-es`, `@nudojs/env-web`, `@nudojs/env-node` are replaced by a single `@nudojs/env` package with subpath exports `@nudojs/env/es`, `@nudojs/env/web`, `@nudojs/env/node`.
-
-  Move agent-facing tools from the standalone MCP server into the language server: `@nudojs/mcp` is removed. `@nudojs/lsp` now exposes `nudo.whatIf`, `nudo.suggestCase`, `nudo.trace`, `nudo.selectCase`, and `nudo.getActiveCases` via `workspace/executeCommand` (custom-request aliases `nudo/whatIf` etc. included), adds pull-mode diagnostics, and works on files that are not open in the editor (disk fallback). `nudo.whatIf` now actually applies the given type bindings — previously they were ignored. AI agents connect through any LSP↔MCP bridge (cclsp, mcpls, agent-lsp) or a native LSP client; an installable agent skill ships at `packages/lsp/agent-skill/SKILL.md`.
-
-- Updated dependencies [0fd0718]
-  - @nudojs/env@0.2.0
-  - @nudojs/service@0.2.1
-
-## 0.2.0
-
-### Minor Changes
-
-- 6c38283: docs and ci
-- 9f7f819: fix pkg info
-- c175f71: version
-
-### Patch Changes
-
-- Updated dependencies [6c38283]
-- Updated dependencies [9f7f819]
-- Updated dependencies [c175f71]
-  - @nudojs/core@0.2.0
-  - @nudojs/parser@0.2.0
-
-## 0.1.0
-
-### Minor Changes
-
-- Conceptual design and basic implementation.
-
-### Patch Changes
-
-- Updated dependencies
-  - @nudojs/core@0.1.0
-  - @nudojs/parser@0.1.0

package/examples/real-world.js

@@ -1,66 +0,0 @@
-/**
- * @nudo:case "success" ({ status: 200, data: { name: "Alice", email: "alice@example.com" } })
- * @nudo:case "not-found" ({ status: 404, error: "User not found" })
- * @nudo:case "symbolic" (T.object)
- */
-function handleUserResponse(response) {
-  if (response.status === 200) {
-    const user = response.data;
-    return { success: true, name: user.name, email: user.email };
-  }
-  if (response.status === 404) {
-    return { success: false, error: response.error };
-  }
-  return { success: false, error: "Unknown error" };
-}
-
-/**
- * @nudo:case "admin" ({ role: "admin", permissions: ["read", "write", "delete"] })
- * @nudo:case "user" ({ role: "user", permissions: ["read"] })
- * @nudo:case "guest" ({ role: "guest" })
- */
-function checkAccess(user) {
-  switch (user.role) {
-    case "admin":
-      return { allowed: true, level: "full" };
-    case "user":
-      return { allowed: true, level: "limited" };
-    case "guest":
-      return { allowed: false, level: "none" };
-  }
-}
-
-/**
- * @nudo:case "complete" ({ name: "Task 1", dueDate: "2025-01-01", priority: "high" })
- * @nudo:case "no-date" ({ name: "Task 2", priority: "low" })
- * @nudo:case "symbolic" (T.object)
- */
-function formatTask(task) {
-  const name = task.name ?? "Untitled";
-  const date = task.dueDate?.slice(0, 10) ?? "No due date";
-  const priority = task.priority || "medium";
-  return `${name} (${priority}) - ${date}`;
-}
-
-/**
- * @nudo:case "string-array" (["hello", "world"])
- * @nudo:case "number-array" ([1, 2, 3])
- * @nudo:case "mixed" ([1, "two", true])
- */
-function firstElement(arr) {
-  if (!Array.isArray(arr)) return null;
-  if (arr.length === 0) return null;
-  return arr[0];
-}
-
-/**
- * @nudo:case "http" ({ protocol: "http", host: "example.com", port: 80 })
- * @nudo:case "https" ({ protocol: "https", host: "secure.com", port: 443 })
- */
-function buildUrl(config) {
-  if ("protocol" in config && "host" in config) {
-    const port = config.port ? `:${config.port}` : "";
-    return `${config.protocol}://${config.host}${port}`;
-  }
-  return null;
-}

package/examples/validate-real-world.ts

@@ -1,160 +0,0 @@
-/**
- * Real-world scenario validation script
- * Tests all new features against realistic JavaScript patterns
- */
-import { parse, extractDirectives, type CaseDirective } from "@nudojs/parser";
-import { typeValueToString, createEnvironment } from "@nudojs/core";
-import { evaluateFunctionFull } from "../src/evaluator.js";
-
-const realWorldCode = `
-/**
- * @nudo:case "success" ({ status: 200, data: { name: "Alice", email: "alice@example.com" } })
- * @nudo:case "not-found" ({ status: 404, error: "User not found" })
- * @nudo:case "symbolic" (T.object)
- */
-function handleUserResponse(response) {
-  if (response.status === 200) {
-    const user = response.data;
-    return { success: true, name: user.name, email: user.email };
-  }
-  if (response.status === 404) {
-    return { success: false, error: response.error };
-  }
-  return { success: false, error: "Unknown error" };
-}
-
-/**
- * @nudo:case "admin" ({ role: "admin", permissions: ["read", "write", "delete"] })
- * @nudo:case "user" ({ role: "user", permissions: ["read"] })
- * @nudo:case "guest" ({ role: "guest" })
- */
-function checkAccess(user) {
-  switch (user.role) {
-    case "admin":
-      return { allowed: true, level: "full" };
-    case "user":
-      return { allowed: true, level: "limited" };
-    case "guest":
-      return { allowed: false, level: "none" };
-  }
-}
-
-/**
- * @nudo:case "complete" ({ name: "Task 1", dueDate: "2025-01-01", priority: "high" })
- * @nudo:case "no-date" ({ name: "Task 2", priority: "low" })
- * @nudo:case "symbolic" (T.object)
- */
-function formatTask(task) {
-  const name = task.name ?? "Untitled";
-  const date = task.dueDate?.slice(0, 10) ?? "No due date";
-  const priority = task.priority || "medium";
-  return \`\${name} (\${priority}) - \${date}\`;
-}
-
-/**
- * @nudo:case "string-array" (["hello", "world"])
- * @nudo:case "number-array" ([1, 2, 3])
- * @nudo:case "mixed" ([1, "two", true])
- */
-function firstElement(arr) {
-  if (!Array.isArray(arr)) return null;
-  if (arr.length === 0) return null;
-  return arr[0];
-}
-
-/**
- * @nudo:case "http" ({ protocol: "http", host: "example.com", port: 80 })
- * @nudo:case "https" ({ protocol: "https", host: "secure.com", port: 443 })
- */
-function buildUrl(config) {
-  if ("protocol" in config && "host" in config) {
-    const port = config.port ? \`:\${config.port}\` : "";
-    return \`\${config.protocol}://\${config.host}\${port}\`;
-  }
-  return null;
-}
-`;
-
-console.log("=== Real-World Scenario Validation ===\n");
-
-// Test 1: Full inference pipeline
-console.log("1. Full Inference Pipeline");
-console.log("-".repeat(40));
-const ast = parse(realWorldCode);
-const directives = extractDirectives(ast);
-const env = createEnvironment();
-
-console.log(`Functions found: ${directives.length}`);
-for (const fn of directives) {
-  const caseDirectives = fn.directives.filter((d): d is CaseDirective => d.kind === "case");
-  console.log(`\n  ${fn.name}:`);
-  for (const dir of caseDirectives) {
-    const r = evaluateFunctionFull(fn.node, dir.args, env);
-    const argsStr = dir.args.map(typeValueToString).join(", ");
-    console.log(`    Case "${dir.name}": (${argsStr}) => ${typeValueToString(r.value)}`);
-  }
-}
-
-// Test 2: Discriminated union narrowing
-console.log("\n2. Discriminated Union Narrowing (response.status)");
-console.log("-".repeat(40));
-const handleResponseFn = directives.find(d => d.name === "handleUserResponse");
-if (handleResponseFn) {
-  const caseDir = handleResponseFn.directives.find((d): d is CaseDirective => d.kind === "case" && d.name === "success");
-  if (caseDir) {
-    const r = evaluateFunctionFull(handleResponseFn.node, caseDir.args, env);
-    console.log(`handleUserResponse("success") => ${typeValueToString(r.value)}`);
-    const hasNarrowing = typeValueToString(r.value).includes("success") && typeValueToString(r.value).includes("name");
-    console.log(`  Narrowing works: ${hasNarrowing ? "YES" : "NO"}`);
-  }
-}
-
-// Test 3: Switch statement narrowing
-console.log("\n3. Switch Statement Narrowing (user.role)");
-console.log("-".repeat(40));
-const checkAccessFn = directives.find(d => d.name === "checkAccess");
-if (checkAccessFn) {
-  const caseDirectives = checkAccessFn.directives.filter((d): d is CaseDirective => d.kind === "case");
-  for (const dir of caseDirectives) {
-    const r = evaluateFunctionFull(checkAccessFn.node, dir.args, env);
-    console.log(`checkAccess("${dir.name}") => ${typeValueToString(r.value)}`);
-  }
-}
-
-// Test 4: Optional chaining + nullish coalescing
-console.log("\n4. Optional Chaining + Nullish Coalescing");
-console.log("-".repeat(40));
-const formatTaskFn = directives.find(d => d.name === "formatTask");
-if (formatTaskFn) {
-  const caseDirectives = formatTaskFn.directives.filter((d): d is CaseDirective => d.kind === "case");
-  for (const dir of caseDirectives) {
-    const r = evaluateFunctionFull(formatTaskFn.node, dir.args, env);
-    console.log(`formatTask("${dir.name}") => ${typeValueToString(r.value)}`);
-  }
-}
-
-// Test 5: Array.isArray narrowing
-console.log("\n5. Array.isArray Narrowing");
-console.log("-".repeat(40));
-const firstElementFn = directives.find(d => d.name === "firstElement");
-if (firstElementFn) {
-  const caseDirectives = firstElementFn.directives.filter((d): d is CaseDirective => d.kind === "case");
-  for (const dir of caseDirectives) {
-    const r = evaluateFunctionFull(firstElementFn.node, dir.args, env);
-    console.log(`firstElement("${dir.name}") => ${typeValueToString(r.value)}`);
-  }
-}
-
-// Test 6: in operator narrowing
-console.log("\n6. 'in' Operator Narrowing");
-console.log("-".repeat(40));
-const buildUrlFn = directives.find(d => d.name === "buildUrl");
-if (buildUrlFn) {
-  const caseDirectives = buildUrlFn.directives.filter((d): d is CaseDirective => d.kind === "case");
-  for (const dir of caseDirectives) {
-    const r = evaluateFunctionFull(buildUrlFn.node, dir.args, env);
-    console.log(`buildUrl("${dir.name}") => ${typeValueToString(r.value)}`);
-  }
-}
-
-console.log("\n=== Validation Complete ===");

package/src/__tests__/builtin-advanced.test.ts

@@ -1,292 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { parse, extractDirectives, type CaseDirective } from "@nudojs/parser";
-import { typeValueToString, createEnvironment, T } from "@nudojs/core";
-import { evaluateFunctionFull } from "../evaluator.js";
-
-function runTest(source: string): { name: string; caseName: string; result: string }[] {
-  const ast = parse(source);
-  const directives = extractDirectives(ast);
-  const env = createEnvironment();
-  const results: { name: string; caseName: string; result: string }[] = [];
-
-  for (const fn of directives) {
-    const caseDirectives = fn.directives.filter((d): d is CaseDirective => d.kind === "case");
-    for (const dir of caseDirectives) {
-      const result = evaluateFunctionFull(fn.node, dir.args, env);
-      results.push({ name: fn.name, caseName: dir.name, result: typeValueToString(result.value) });
-    }
-  }
-  return results;
-}
-
-describe("Built-in Symbol API", () => {
-  it("Symbol.for(key) should return symbol", () => {
-    const results = runTest(`
-// @nudo:case "for" ()
-function fn() {
-  return Symbol.for("key");
-}
-`);
-    expect(results[0].result).toBe("symbol");
-  });
-
-  it("Symbol.iterator should return symbol", () => {
-    const results = runTest(`
-// @nudo:case "iterator" ()
-function fn() {
-  return Symbol.iterator;
-}
-`);
-    expect(results[0].result).toBe("symbol");
-  });
-
-  it("Symbol.asyncIterator should return symbol", () => {
-    const results = runTest(`
-// @nudo:case "asyncIterator" ()
-function fn() {
-  return Symbol.asyncIterator;
-}
-`);
-    expect(results[0].result).toBe("symbol");
-  });
-
-  it("Symbol.toStringTag should return symbol", () => {
-    const results = runTest(`
-// @nudo:case "toStringTag" ()
-function fn() {
-  return Symbol.toStringTag;
-}
-`);
-    expect(results[0].result).toBe("symbol");
-  });
-
-  it("Symbol.hasInstance should return symbol", () => {
-    const results = runTest(`
-// @nudo:case "hasInstance" ()
-function fn() {
-  return Symbol.hasInstance;
-}
-`);
-    expect(results[0].result).toBe("symbol");
-  });
-});
-
-describe("Built-in Reflect API", () => {
-  it("Reflect.has(obj, key) should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "has" ()
-function fn() {
-  return Reflect.has({ a: 1 }, "a");
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-
-  it("Reflect.get(obj, key) should return unknown", () => {
-    const results = runTest(`
-// @nudo:case "get" ()
-function fn() {
-  return Reflect.get({ a: 1 }, "a");
-}
-`);
-    expect(results[0].result).toBe("unknown");
-  });
-
-  it("Reflect.set(obj, key, value) should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "set" ()
-function fn() {
-  return Reflect.set({}, "a", 1);
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-
-  it("Reflect.deleteProperty(obj, key) should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "deleteProperty" ()
-function fn() {
-  return Reflect.deleteProperty({ a: 1 }, "a");
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-
-  it("Reflect.ownKeys(obj) should list known own keys, string[] otherwise", () => {
-    const results = runTest(`
-// @nudo:case "ownKeys" ()
-function fn() {
-  return Reflect.ownKeys({ a: 1, b: 2 });
-}
-`);
-    expect(results[0].result).toBe('["a", "b"]');
-
-    const symbolic = runTest(`
-// @nudo:case "ownKeys-symbolic" (obj)
-function fn(obj) {
-  return Reflect.ownKeys(obj);
-}
-`);
-    expect(symbolic[0].result).toBe("string[]");
-  });
-
-  it("Reflect.getPrototypeOf(obj) should return {} | null", () => {
-    const results = runTest(`
-// @nudo:case "getPrototypeOf" ()
-function fn() {
-  return Reflect.getPrototypeOf({});
-}
-`);
-    expect(results[0].result).toContain("{}");
-    expect(results[0].result).toContain("null");
-  });
-});
-
-describe("Built-in Intl API", () => {
-  it("new Intl.DateTimeFormat() instance", () => {
-    const results = runTest(`
-// @nudo:case "new-datetimeformat" ()
-function fn() {
-  const fmt = new Intl.DateTimeFormat();
-  return fmt;
-}
-`);
-    expect(results[0].result).toContain("DateTimeFormat");
-  });
-
-  it("new Intl.DateTimeFormat().format() should return string", () => {
-    const results = runTest(`
-// @nudo:case "format" ()
-function fn() {
-  const fmt = new Intl.DateTimeFormat();
-  return fmt.format();
-}
-`);
-    expect(results[0].result).toBe("string");
-  });
-
-  it("new Intl.NumberFormat() instance", () => {
-    const results = runTest(`
-// @nudo:case "new-numberformat" ()
-function fn() {
-  const fmt = new Intl.NumberFormat();
-  return fmt;
-}
-`);
-    expect(results[0].result).toContain("NumberFormat");
-  });
-
-  it("new Intl.NumberFormat().format() should return string", () => {
-    const results = runTest(`
-// @nudo:case "format" ()
-function fn() {
-  const fmt = new Intl.NumberFormat();
-  return fmt.format();
-}
-`);
-    expect(results[0].result).toBe("string");
-  });
-});
-
-describe("Built-in WeakMap API", () => {
-  it("new WeakMap() should return WeakMap instance", () => {
-    const results = runTest(`
-// @nudo:case "new-weakmap" ()
-function fn() {
-  const wm = new WeakMap();
-  return wm;
-}
-`);
-    expect(results[0].result).toContain("WeakMap");
-  });
-
-  it("weakMap.get() should return unknown", () => {
-    const results = runTest(`
-// @nudo:case "get" ()
-function fn() {
-  const wm = new WeakMap();
-  return wm.get({});
-}
-`);
-    expect(results[0].result).toBe("unknown");
-  });
-
-  it("weakMap.set() should return WeakMap instance", () => {
-    const results = runTest(`
-// @nudo:case "set" ()
-function fn() {
-  const wm = new WeakMap();
-  return wm.set({}, "value");
-}
-`);
-    expect(results[0].result).toContain("WeakMap");
-  });
-
-  it("weakMap.has() should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "has" ()
-function fn() {
-  const wm = new WeakMap();
-  return wm.has({});
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-
-  it("weakMap.delete() should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "delete" ()
-function fn() {
-  const wm = new WeakMap();
-  return wm.delete({});
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-});
-
-describe("Built-in WeakSet API", () => {
-  it("new WeakSet() should return WeakSet instance", () => {
-    const results = runTest(`
-// @nudo:case "new-weakset" ()
-function fn() {
-  const ws = new WeakSet();
-  return ws;
-}
-`);
-    expect(results[0].result).toContain("WeakSet");
-  });
-
-  it("weakSet.add() should return WeakSet instance", () => {
-    const results = runTest(`
-// @nudo:case "add" ()
-function fn() {
-  const ws = new WeakSet();
-  return ws.add({});
-}
-`);
-    expect(results[0].result).toContain("WeakSet");
-  });
-
-  it("weakSet.has() should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "has" ()
-function fn() {
-  const ws = new WeakSet();
-  return ws.has({});
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-
-  it("weakSet.delete() should return boolean", () => {
-    const results = runTest(`
-// @nudo:case "delete" ()
-function fn() {
-  const ws = new WeakSet();
-  return ws.delete({});
-}
-`);
-    expect(results[0].result).toBe("boolean");
-  });
-});