@nudojs/core 0.3.0 → 0.4.0

package/src/algebra/builtins.ts

@@ -1,373 +0,0 @@
-/**
- * Abs 侧常用 builtin：shape 级运算，不依赖 TypeValue host 库。
- * 覆盖 Math / Object / JSON / Number / 全局转换函数的常见面。
- */
-
-import type { Abs } from "./abs.ts";
-import { abs, litValue, numLit, strLit, boolLit, unknown, confJoin } from "./abs.ts";
-
-function numPrim(conf: Abs["conf"] = "path"): Abs {
-  return abs({ k: "prim", type: "number" }, undefined, undefined, conf);
-}
-
-function strPrim(conf: Abs["conf"] = "path"): Abs {
-  return abs({ k: "prim", type: "string" }, undefined, undefined, conf);
-}
-
-function boolPrim(conf: Abs["conf"] = "partial"): Abs {
-  return abs({ k: "prim", type: "boolean" }, undefined, undefined, conf);
-}
-
-/** Math.* — 字面量可折叠的返回精确值，否则 number */
-export function evalMathMethod(name: string, args: Abs[]): Abs | undefined {
-  const a0 = args[0] ? litValue(args[0]) : undefined;
-  const a1 = args[1] ? litValue(args[1]) : undefined;
-  switch (name) {
-    case "abs":
-      if (typeof a0 === "number") return numLit(Math.abs(a0));
-      return numPrim();
-    case "floor":
-      if (typeof a0 === "number") return numLit(Math.floor(a0));
-      return numPrim();
-    case "ceil":
-      if (typeof a0 === "number") return numLit(Math.ceil(a0));
-      return numPrim();
-    case "round":
-      if (typeof a0 === "number") return numLit(Math.round(a0));
-      return numPrim();
-    case "sqrt":
-      if (typeof a0 === "number") return numLit(Math.sqrt(a0));
-      return numPrim();
-    case "min": {
-      const lits = args.map(litValue);
-      if (lits.length > 0 && lits.every((x) => typeof x === "number")) {
-        return numLit(Math.min(...(lits as number[])));
-      }
-      return numPrim();
-    }
-    case "max": {
-      const lits = args.map(litValue);
-      if (lits.length > 0 && lits.every((x) => typeof x === "number")) {
-        return numLit(Math.max(...(lits as number[])));
-      }
-      return numPrim();
-    }
-    case "pow":
-      if (typeof a0 === "number" && typeof a1 === "number") return numLit(Math.pow(a0, a1));
-      return numPrim();
-    case "sign":
-      if (typeof a0 === "number") return numLit(Math.sign(a0));
-      return numPrim();
-    default:
-      return undefined;
-  }
-}
-
-/** Object.keys/values/entries/assign */
-export function evalObjectMethod(name: string, args: Abs[]): Abs | undefined {
-  const a0 = args[0];
-  switch (name) {
-    case "keys": {
-      if (a0?.shape.k === "obj") {
-        const keys = Object.keys((a0.shape as { slots: Record<string, unknown> }).slots).map((k) =>
-          strLit(k),
-        );
-        return abs({ k: "tuple", elements: keys }, undefined, undefined, "exact");
-      }
-      return abs({ k: "arr", element: strPrim("path") }, undefined, undefined, "partial");
-    }
-    case "values": {
-      if (a0?.shape.k === "obj") {
-        const slots = (a0.shape as { slots: Record<string, { value: Abs }> }).slots;
-        const vals = Object.values(slots).map((s) => s.value);
-        return abs({ k: "tuple", elements: vals }, undefined, undefined, "exact");
-      }
-      return abs({ k: "arr", element: unknown }, undefined, undefined, "partial");
-    }
-    case "entries": {
-      if (a0?.shape.k === "obj") {
-        const slots = (a0.shape as { slots: Record<string, { value: Abs }> }).slots;
-        const entries = Object.entries(slots).map(([, s]) =>
-          abs({ k: "tuple", elements: [strPrim("exact"), s.value] }, undefined, undefined, "exact"),
-        );
-        return abs({ k: "tuple", elements: entries }, undefined, undefined, "exact");
-      }
-      return abs({ k: "arr", element: unknown }, undefined, undefined, "partial");
-    }
-    case "assign": {
-      // Object.assign(a, b) ≈ spread
-      if (!args.length) return unknown;
-      let acc = args[0]!;
-      for (let i = 1; i < args.length; i++) {
-        acc = { ...acc }; // 保持结构；细粒度 spread 在 evalCall 侧
-        if (acc.shape.k === "obj" && args[i]!.shape.k === "obj") {
-          const base = (acc.shape as { slots: Record<string, { value: Abs }> }).slots;
-          const over = (args[i]!.shape as { slots: Record<string, { value: Abs }> }).slots;
-          acc = abs({ k: "obj", slots: { ...base, ...over } }, undefined, undefined, confJoin(acc.conf, args[i]!.conf));
-        }
-      }
-      return acc;
-    }
-    default:
-      return undefined;
-  }
-}
-
-/** JSON.parse / stringify */
-export function evalJsonMethod(name: string, args: Abs[]): Abs | undefined {
-  if (name === "stringify") return strPrim("partial");
-  if (name === "parse") return unknown;
-  return undefined;
-}
-
-/** Number.isInteger / isNaN / parseFloat 等 */
-export function evalNumberStatic(name: string, args: Abs[]): Abs | undefined {
-  const a0 = args[0] ? litValue(args[0]) : undefined;
-  switch (name) {
-    case "isInteger":
-      if (typeof a0 === "number") return boolLit(Number.isInteger(a0));
-      return boolPrim();
-    case "isNaN":
-      if (typeof a0 === "number") return boolLit(Number.isNaN(a0));
-      return boolPrim();
-    case "isFinite":
-      if (typeof a0 === "number") return boolLit(Number.isFinite(a0));
-      return boolPrim();
-    case "parseInt":
-    case "parseFloat":
-      if (typeof a0 === "string" || typeof a0 === "number") {
-        const n = name === "parseInt" ? parseInt(String(a0), 10) : parseFloat(String(a0));
-        return numLit(n);
-      }
-      return numPrim();
-    case "MAX_SAFE_INTEGER":
-      return numLit(Number.MAX_SAFE_INTEGER);
-    default:
-      return undefined;
-  }
-}
-
-/** 全局 parseInt / parseFloat / isNaN / Number / String / Boolean */
-export function evalGlobalFn(name: string, args: Abs[]): Abs | undefined {
-  const a0 = args[0] ? litValue(args[0]) : undefined;
-  switch (name) {
-    case "parseInt":
-      if (typeof a0 === "string" || typeof a0 === "number") return numLit(parseInt(String(a0), 10));
-      return numPrim();
-    case "parseFloat":
-      if (typeof a0 === "string" || typeof a0 === "number") return numLit(parseFloat(String(a0)));
-      return numPrim();
-    case "isNaN":
-      if (typeof a0 === "number") return boolLit(Number.isNaN(a0));
-      return boolPrim();
-    case "Number":
-      if (typeof a0 === "number") return numLit(a0);
-      if (typeof a0 === "string") return numLit(Number(a0));
-      if (typeof a0 === "boolean") return numLit(a0 ? 1 : 0);
-      return numPrim();
-    case "String":
-      if (a0 !== undefined) return strLit(String(a0));
-      return strPrim();
-    case "Boolean":
-      if (a0 !== undefined) return boolLit(Boolean(a0));
-      return boolPrim();
-    default:
-      return undefined;
-  }
-}
-
-/** Array.isArray / Array.from / Array.of */
-export function evalArrayStatic(name: string, args: Abs[]): Abs | undefined {
-  const a0 = args[0];
-  switch (name) {
-    case "isArray": {
-      if (!a0) return boolLit(false);
-      const k = a0.shape.k;
-      return boolLit(k === "arr" || k === "tuple");
-    }
-    case "from":
-    case "of":
-      return abs({ k: "arr", element: a0 ?? unknown }, undefined, undefined, "path");
-    default:
-      return undefined;
-  }
-}
-
-/** new Date() / Date.now / date.getTime */
-export function evalDateCtor(args: Abs[]): Abs {
-  return abs(
-    { k: "brand", name: "Date", shape: abs({ k: "obj", slots: {} }, undefined, undefined, "exact") },
-    undefined,
-    undefined,
-    "path",
-  );
-}
-
-export function evalDateStatic(name: string, _args: Abs[]): Abs | undefined {
-  if (name === "now") return numLit(Date.now());
-  return undefined;
-}
-
-export function evalDateMethod(name: string, _recv: Abs, _args: Abs[]): Abs | undefined {
-  switch (name) {
-    case "getTime":
-    case "valueOf":
-      return numPrim("path");
-    case "toISOString":
-    case "toString":
-      return strPrim("path");
-    default:
-      return undefined;
-  }
-}
-
-/** new RegExp / regexp.test / exec */
-export function evalRegExpCtor(_args: Abs[]): Abs {
-  return abs(
-    { k: "brand", name: "RegExp", shape: abs({ k: "obj", slots: {} }, undefined, undefined, "exact") },
-    undefined,
-    undefined,
-    "path",
-  );
-}
-
-export function evalRegExpMethod(name: string, _recv: Abs, _args: Abs[]): Abs | undefined {
-  switch (name) {
-    case "test":
-      return boolPrim();
-    case "exec":
-      return unknown;
-    default:
-      return undefined;
-  }
-}
-
-/** Promise：new Promise / Promise.resolve / reject / all */
-export function evalPromiseCtor(_args: Abs[]): Abs {
-  return abs(
-    { k: "eff", eff: "promise", inner: unknown },
-    undefined,
-    undefined,
-    "partial",
-  );
-}
-
-export function evalPromiseStatic(name: string, args: Abs[]): Abs | undefined {
-  switch (name) {
-    case "resolve": {
-      const inner = args[0] ?? unknown;
-      // Promise.resolve(thenable) 展开
-      if (inner.shape.k === "eff" && inner.shape.eff === "promise") return inner;
-      return abs({ k: "eff", eff: "promise", inner }, undefined, undefined, "path");
-    }
-    case "reject":
-      return abs({ k: "eff", eff: "promise", inner: unknown }, undefined, undefined, "partial");
-    case "all": {
-      const a0 = args[0];
-      if (a0?.shape.k === "arr" && a0.shape.element.shape.k === "eff") {
-        return abs(
-          { k: "eff", eff: "promise", inner: abs({ k: "arr", element: a0.shape.element.shape.inner }, undefined, undefined, "path") },
-          undefined,
-          undefined,
-          "path",
-        );
-      }
-      return abs({ k: "eff", eff: "promise", inner: abs({ k: "arr", element: unknown }, undefined, undefined, "partial") }, undefined, undefined, "partial");
-    }
-    default:
-      return undefined;
-  }
-}
-
-/** 命名空间分派入口 */
-export function evalNamespaceCall(
-  ns: string,
-  method: string,
-  args: Abs[],
-): Abs | undefined {
-  switch (ns) {
-    case "Math":
-      return evalMathMethod(method, args);
-    case "Object":
-      return evalObjectMethod(method, args);
-    case "JSON":
-      return evalJsonMethod(method, args);
-    case "Number":
-      return evalNumberStatic(method, args);
-    case "Array":
-      return evalArrayStatic(method, args);
-    case "Date":
-      return evalDateStatic(method, args);
-    case "Promise":
-      return evalPromiseStatic(method, args);
-    default:
-      return undefined;
-  }
-}
-
-/** new X(...) */
-export function evalBuiltinNew(className: string, args: Abs[]): Abs | undefined {
-  switch (className) {
-    case "Date":
-      return evalDateCtor(args);
-    case "RegExp":
-      return evalRegExpCtor(args);
-    case "Promise":
-      return evalPromiseCtor(args);
-    case "Map":
-      return abs(
-        { k: "brand", name: "Map", shape: abs({ k: "obj", slots: {} }, undefined, undefined, "exact") },
-        undefined,
-        undefined,
-        "path",
-      );
-    case "Set":
-      return abs(
-        { k: "brand", name: "Set", shape: abs({ k: "obj", slots: {} }, undefined, undefined, "exact") },
-        undefined,
-        undefined,
-        "path",
-      );
-    default:
-      return undefined;
-  }
-}
-
-/** brand 实例方法（Date/RegExp/Map/Set） */
-export function evalBuiltinInstanceMethod(
-  brandName: string,
-  method: string,
-  recv: Abs,
-  args: Abs[],
-): Abs | undefined {
-  if (brandName === "Date") return evalDateMethod(method, recv, args);
-  if (brandName === "RegExp") return evalRegExpMethod(method, recv, args);
-  if (brandName === "Map") {
-    switch (method) {
-      case "get":
-        return unknown;
-      case "has":
-        return boolPrim();
-      case "set":
-        return recv;
-      case "size":
-        return numPrim("path");
-      default:
-        return undefined;
-    }
-  }
-  if (brandName === "Set") {
-    switch (method) {
-      case "has":
-        return boolPrim();
-      case "add":
-        return recv;
-      case "size":
-        return numPrim("path");
-      default:
-        return undefined;
-    }
-  }
-  return undefined;
-}
-

package/src/algebra/check-report.ts

@@ -1,150 +0,0 @@
-/**
- * check 报告面：数据模型 + 渲染/序列化。
- *
- * 分析在 check.ts（Abs 优先的 Nudo 原生诊断），这里只投影：
- * - formatCheckReport → 人类可读文本
- * - serializeCheckJson → `nudo check --json` 稳定契约（CI / Agent，v1）
- */
-
-import type { Diagnostic } from "./diagnostics.ts";
-import type { Abs, Confidence } from "./abs.ts";
-import { formatAbs } from "./format.ts";
-
-/** 无损函数签名（类型即计算） */
-export type NudoSig = {
-  name: string;
-  params: string[];
-  /** 符号 Abs 本体 */
-  abs: Abs;
-  /** formatAbs 单行 */
-  display: string;
-  /** formatAbsMultiline */
-  detail: string;
-  conf: Confidence;
-};
-
-export type CheckIssue = Diagnostic & {
-  fn?: string;
-  line?: number;
-  column?: number;
-  /** 实参 / 实际值的 Abs 展示 */
-  actual?: string;
-  /** 期望约束（Pred 或 Abs 展示） */
-  expected?: string;
-};
-
-export type CheckReport = {
-  file: string;
-  issues: CheckIssue[];
-  /** 有 error 则 CI 应失败 */
-  ok: boolean;
-  /** Abs 优先的签名表（替代 TS 式 display-only） */
-  signatures: NudoSig[];
-  summary: {
-    errors: number;
-    warnings: number;
-    infos: number;
-    functions: number;
-  };
-};
-
-/**
- * `nudo check --json` 稳定契约（供 CI / Agent）。
- * 字段只增不改语义；Abs 以 formatAbs 字符串给出，不序列化内部 shape 图。
- */
-export type CheckJson = {
-  version: 1;
-  file: string;
-  ok: boolean;
-  summary: CheckReport["summary"];
-  signatures: Array<{
-    name: string;
-    params: string[];
-    display: string;
-    detail: string;
-    conf: string;
-    abs: string;
-  }>;
-  issues: Array<{
-    severity: string;
-    code: string;
-    message: string;
-    fn?: string;
-    line?: number;
-    column?: number;
-    actual?: string;
-    expected?: string;
-    suggestion?: string;
-  }>;
-};
-
-export function serializeCheckJson(r: CheckReport): CheckJson {
-  return {
-    version: 1,
-    file: r.file,
-    ok: r.ok,
-    summary: { ...r.summary },
-    signatures: r.signatures.map((s) => ({
-      name: s.name,
-      params: [...s.params],
-      display: s.display,
-      detail: s.detail,
-      conf: s.conf,
-      abs: formatAbs(s.abs),
-    })),
-    issues: r.issues.map((i) => ({
-      severity: i.severity,
-      code: i.code,
-      message: i.message,
-      ...(i.fn !== undefined ? { fn: i.fn } : {}),
-      ...(i.line !== undefined ? { line: i.line } : {}),
-      ...(i.column !== undefined ? { column: i.column } : {}),
-      ...(i.actual !== undefined ? { actual: i.actual } : {}),
-      ...(i.expected !== undefined ? { expected: i.expected } : {}),
-      ...(i.suggestion !== undefined ? { suggestion: i.suggestion } : {}),
-    })),
-  };
-}
-
-/**
- * Nudo 原生报告：Abs 签名表 + actual ⊭ expected。
- * 不是 tsc 输出的换皮。
- */
-export function formatCheckReport(r: CheckReport, opts: { verbose?: boolean } = {}): string {
-  const lines: string[] = [];
-  lines.push(`nudo check  ${r.file}`);
-  lines.push(r.ok ? "OK" : "FAILED");
-  lines.push(
-    `  ${r.summary.errors} error · ${r.summary.warnings} warning · ${r.summary.infos} info · ${r.summary.functions} fn`,
-  );
-
-  if (r.signatures.length > 0) {
-    lines.push("");
-    lines.push("signatures");
-    for (const s of r.signatures) {
-      lines.push(`  ${s.name}(${s.params.join(", ")})  ${s.display}`);
-      if (opts.verbose) {
-        for (const ln of s.detail.split("\n").slice(1)) {
-          lines.push(`  ${ln}`);
-        }
-      }
-    }
-  }
-
-  if (r.issues.length === 0) {
-    lines.push("");
-    lines.push("(no issues)");
-  } else {
-    lines.push("");
-    lines.push("issues");
-    for (const i of r.issues) {
-      const loc = i.line != null ? `L${i.line}` : "";
-      const head = [i.severity.toUpperCase(), loc, i.fn].filter(Boolean).join(" ");
-      lines.push(`  [${head}] ${i.message}  (${i.code})`);
-      if (i.actual) lines.push(`      actual:   ${i.actual}`);
-      if (i.expected) lines.push(`      expected: ${i.expected}`);
-      if (i.suggestion) lines.push(`      → ${i.suggestion}`);
-    }
-  }
-  return lines.join("\n");
-}