@nudojs/service 5.0.0-beta.0 → 5.0.0-beta.1

package/dist/chunk-YLVZMHWC.js

@@ -1,364 +0,0 @@
-// src/case-emitter.ts
-import { parse, extractDirectives } from "@nudojs/parser";
-var GENERATED_PREFIX = "call@";
-var GENERATED_CASE_LINE_REGEX = /^\s*\*?\s*@nudo:case\s+"(call@[^"]*)"/;
-var IDENT_KEY_REGEX = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
-var NUMBER_LITERAL_REGEX = /^-?\d+(\.\d+)?$/;
-var UNSAFE_STRING_CHARS = /[,()[\]{}]/;
-var UNSAFE_KEY_CHARS = /[,()[\]{}:]/;
-var CONTROL_CHARS = /[\x00-\x1f\x7f]/;
-function serializeStringLiteral(value) {
-  if (CONTROL_CHARS.test(value)) return null;
-  if (value.includes("*/")) return null;
-  if (UNSAFE_STRING_CHARS.test(value)) return null;
-  const hasDbl = value.includes('"');
-  const hasSgl = value.includes("'");
-  if (hasDbl && hasSgl) return null;
-  return hasDbl ? `'${value}'` : `"${value}"`;
-}
-function serializeObjectKey(key) {
-  if (IDENT_KEY_REGEX.test(key)) return key;
-  if (CONTROL_CHARS.test(key)) return null;
-  if (key.includes('"')) return null;
-  if (UNSAFE_KEY_CHARS.test(key) || key.includes("*/")) return null;
-  if (/^['"]|['"]$/.test(key)) return null;
-  return `"${key}"`;
-}
-function serializeCaseArg(a) {
-  const s = a.shape;
-  if (a.term?.op === "lit") {
-    const v = a.term.value;
-    if (typeof v === "number") {
-      if (!Number.isFinite(v)) return null;
-      const n = String(v);
-      return NUMBER_LITERAL_REGEX.test(n) ? n : null;
-    }
-    if (typeof v === "boolean") return v ? "true" : "false";
-    if (v === null) return "null";
-    if (v === void 0) return "undefined";
-    if (typeof v === "bigint") return null;
-    if (typeof v === "string") return serializeStringLiteral(v);
-    return null;
-  }
-  switch (s.k) {
-    case "prim":
-      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 "any()";
-    case "never":
-      return "never";
-    case "sum": {
-      const parts = [];
-      for (const member of s.members) {
-        const ser = serializeCaseArg(member);
-        if (ser === null) return null;
-        parts.push(ser);
-      }
-      return `union(${parts.join(", ")})`;
-    }
-    case "arr": {
-      const el = serializeCaseArg(s.element);
-      return el === null ? null : `array(${el})`;
-    }
-    case "tuple": {
-      const parts = [];
-      for (const el of s.elements) {
-        const ser = serializeCaseArg(el);
-        if (ser === null) return null;
-        parts.push(ser);
-      }
-      return `[${parts.join(", ")}]`;
-    }
-    case "obj": {
-      const parts = [];
-      for (const [key, slot] of Object.entries(s.slots)) {
-        const vs = serializeCaseArg(slot.value);
-        if (vs === null) return null;
-        const ks = serializeObjectKey(key);
-        if (ks === null) return null;
-        parts.push(`${ks}: ${vs}`);
-      }
-      return parts.length === 0 ? "{}" : `{ ${parts.join(", ")} }`;
-    }
-    default:
-      return null;
-  }
-}
-function buildCaseDirective(name, argsAbs) {
-  if (name.includes('"') || /[\r\n]/.test(name)) return null;
-  const parts = [];
-  for (const arg of argsAbs) {
-    const s = serializeCaseArg(arg);
-    if (s === null) return null;
-    parts.push(s);
-  }
-  return ` * @nudo:case "${name}" (${parts.join(", ")})`;
-}
-function stripGeneratedCaseDirectives(source) {
-  const lines = source.split("\n");
-  const removed = [];
-  const drop = new Array(lines.length).fill(false);
-  for (let i = 0; i < lines.length; i++) {
-    const m = lines[i].match(GENERATED_CASE_LINE_REGEX);
-    if (m) {
-      drop[i] = true;
-      removed.push(m[1]);
-    }
-  }
-  for (let i = 0; i < lines.length; i++) {
-    if (!/^\s*\/\*\*\s*$/.test(lines[i])) continue;
-    let j = i + 1;
-    let clean = true;
-    while (j < lines.length) {
-      if (/\*\//.test(lines[j])) break;
-      if (/\/\*/.test(lines[j])) {
-        clean = false;
-        break;
-      }
-      j++;
-    }
-    if (!clean || j >= lines.length) continue;
-    if (!/^\s*\*\/\s*$/.test(lines[j])) continue;
-    let onlyFiller = true;
-    for (let k = i + 1; k < j; k++) {
-      if (drop[k]) continue;
-      const t = lines[k].trim();
-      if (t !== "" && !/^\*{1,2}$/.test(t)) {
-        onlyFiller = false;
-        break;
-      }
-    }
-    if (onlyFiller) {
-      for (let k = i; k <= j; k++) drop[k] = true;
-    }
-  }
-  return {
-    source: lines.filter((_, i) => !drop[i]).join("\n"),
-    removed
-  };
-}
-function collectExistingCases(source) {
-  const byName = /* @__PURE__ */ new Map();
-  let ast;
-  try {
-    ast = parse(source, { errorRecovery: true });
-  } catch {
-    return byName;
-  }
-  for (const { name, directives } of extractDirectives(ast)) {
-    for (const d of directives) {
-      if (d.kind !== "case") continue;
-      const list = byName.get(name);
-      if (list) list.push(d);
-      else byName.set(name, [d]);
-    }
-  }
-  return byName;
-}
-function insertGeneratedCaseDirectives(source, analysis) {
-  const written = [];
-  const skipped = [];
-  const existing = collectExistingCases(source);
-  const edits = [];
-  for (const fn of analysis.functions) {
-    const existingCases = existing.get(fn.name) ?? [];
-    if (existingCases.some((c) => !c.name.startsWith(GENERATED_PREFIX))) {
-      skipped.push({ fn: fn.name, reason: "hand-written" });
-      continue;
-    }
-    if (existingCases.length > 0) {
-      skipped.push({ fn: fn.name, reason: "already-generated" });
-      continue;
-    }
-    if (fn.skipped) {
-      skipped.push({ fn: fn.name, reason: "skipped" });
-      continue;
-    }
-    if (fn.noDeclaration) {
-      skipped.push({ fn: fn.name, reason: "no-declaration" });
-      continue;
-    }
-    if (fn.entryOnly) {
-      skipped.push({ fn: fn.name, reason: "entry-only" });
-      continue;
-    }
-    const callsiteCases = fn.cases.filter((c) => c.source === "callsite");
-    if (callsiteCases.length === 0) {
-      skipped.push({ fn: fn.name, reason: "no-serializable-cases", detail: "no callsite cases" });
-      continue;
-    }
-    const built = [];
-    const names = [];
-    for (const c of callsiteCases) {
-      const directive = buildCaseDirective(c.name, c.argAbs ?? []);
-      if (directive === null) {
-        skipped.push({ fn: fn.name, reason: "no-serializable-cases", detail: `case ${c.name} not serializable` });
-      } else {
-        built.push(directive);
-        names.push(c.name);
-      }
-    }
-    if (built.length === 0) continue;
-    edits.push({ line: fn.loc.start.line, column: fn.loc.start.column, directives: built, fn: fn.name });
-    written.push({ fn: fn.name, cases: names });
-  }
-  edits.sort((a, b) => b.line - a.line);
-  const lines = source.split("\n");
-  for (const edit of edits) {
-    const declIdx = edit.line - 1;
-    const indent = " ".repeat(edit.column);
-    let insertIdx = -1;
-    let blockIndent = "";
-    const aboveIdx = declIdx - 1;
-    if (aboveIdx >= 0 && /^\s*\*\/\s*$/.test(lines[aboveIdx])) {
-      let s = aboveIdx - 1;
-      while (s >= 0) {
-        const t = lines[s];
-        if (/^\s*\/\*\*/.test(t)) {
-          insertIdx = s + 1;
-          blockIndent = t.match(/^\s*/)?.[0] ?? "";
-          break;
-        }
-        if (/^\s*\*/.test(t) || t.trim() === "") {
-          s--;
-          continue;
-        }
-        break;
-      }
-    }
-    if (insertIdx >= 0) {
-      lines.splice(insertIdx, 0, ...edit.directives.map((d) => blockIndent + d));
-    } else {
-      lines.splice(declIdx, 0, `${indent}/**`, ...edit.directives.map((d) => indent + d), `${indent} */`);
-    }
-  }
-  return {
-    source: lines.join("\n"),
-    changed: written.length > 0,
-    written,
-    skipped
-  };
-}
-function diffOps(a, b) {
-  let start = 0;
-  while (start < a.length && start < b.length && a[start] === b[start]) start++;
-  let endA = a.length;
-  let endB = b.length;
-  while (endA > start && endB > start && a[endA - 1] === b[endB - 1]) {
-    endA--;
-    endB--;
-  }
-  const midA = a.slice(start, endA);
-  const midB = b.slice(start, endB);
-  const n = midA.length;
-  const m = midB.length;
-  const dp = new Int32Array((n + 1) * (m + 1));
-  for (let i2 = n - 1; i2 >= 0; i2--) {
-    for (let j2 = m - 1; j2 >= 0; j2--) {
-      dp[i2 * (m + 1) + j2] = midA[i2] === midB[j2] ? dp[(i2 + 1) * (m + 1) + (j2 + 1)] + 1 : Math.max(dp[(i2 + 1) * (m + 1) + j2], dp[i2 * (m + 1) + (j2 + 1)]);
-    }
-  }
-  const ops = [];
-  for (let k = 0; k < start; k++) ops.push({ type: "equal", text: a[k] });
-  let i = 0;
-  let j = 0;
-  while (i < n && j < m) {
-    if (midA[i] === midB[j]) {
-      ops.push({ type: "equal", text: midA[i] });
-      i++;
-      j++;
-    } else if (dp[(i + 1) * (m + 1) + j] >= dp[i * (m + 1) + (j + 1)]) {
-      ops.push({ type: "delete", text: midA[i] });
-      i++;
-    } else {
-      ops.push({ type: "insert", text: midB[j] });
-      j++;
-    }
-  }
-  while (i < n) ops.push({ type: "delete", text: midA[i++] });
-  while (j < m) ops.push({ type: "insert", text: midB[j++] });
-  for (let k = endA; k < a.length; k++) ops.push({ type: "equal", text: a[k] });
-  return ops;
-}
-var DIFF_CONTEXT = 3;
-function formatRange(start, count) {
-  const s = count === 0 ? start - 1 : start;
-  return count === 1 ? `${s}` : `${s},${count}`;
-}
-function unifiedDiff(a, b, path) {
-  if (a === b) return "";
-  const ops = diffOps(a.split("\n"), b.split("\n"));
-  const hunks = [];
-  let idx = 0;
-  while (idx < ops.length) {
-    if (ops[idx].type === "equal") {
-      idx++;
-      continue;
-    }
-    let start = idx;
-    let ctx = 0;
-    while (start > 0 && ops[start - 1].type === "equal" && ctx < DIFF_CONTEXT) {
-      start--;
-      ctx++;
-    }
-    let j = idx;
-    let equalRun = 0;
-    let lastChange = idx;
-    while (j < ops.length) {
-      if (ops[j].type === "equal") {
-        equalRun++;
-        if (equalRun > DIFF_CONTEXT * 2) break;
-      } else {
-        equalRun = 0;
-        lastChange = j;
-      }
-      j++;
-    }
-    let end = lastChange + 1;
-    ctx = 0;
-    while (end < ops.length && ops[end].type === "equal" && ctx < DIFF_CONTEXT) {
-      end++;
-      ctx++;
-    }
-    hunks.push({ start, ops: ops.slice(start, end) });
-    idx = end;
-  }
-  const out = [`--- a/${path}`, `+++ b/${path}`];
-  for (let h = 0; h < hunks.length; h++) {
-    const { start, ops: hunkOps } = hunks[h];
-    let oldCount = 0;
-    let newCount = 0;
-    for (let k = 0; k < start; k++) {
-      if (ops[k].type !== "insert") oldCount++;
-      if (ops[k].type !== "delete") newCount++;
-    }
-    let dels = 0;
-    let ins = 0;
-    for (const op of hunkOps) {
-      if (op.type === "delete") dels++;
-      else if (op.type === "insert") ins++;
-      else {
-        dels++;
-        ins++;
-      }
-    }
-    out.push(`@@ -${formatRange(oldCount + 1, dels)} +${formatRange(newCount + 1, ins)} @@`);
-    for (const op of hunkOps) {
-      const prefix = op.type === "equal" ? " " : op.type === "delete" ? "-" : "+";
-      out.push(prefix + op.text);
-    }
-  }
-  return out.join("\n") + "\n";
-}
-
-export {
-  serializeCaseArg,
-  buildCaseDirective,
-  stripGeneratedCaseDirectives,
-  insertGeneratedCaseDirectives,
-  unifiedDiff
-};

package/dist/dts.d.ts

@@ -1,142 +0,0 @@
-import { Abs, NudoConstraint } from '@nudojs/core';
-import { a as AnalysisResult, F as FunctionAnalysis } from './analyzer-types-JyJiCt8w.js';
-import '@babel/types';
-
-/**
- * Abs → TS 类型串。有损：pred / 非 lit term 落到 shape 基类型。
- * `typeVars`：term var id → TS 类型参数名（HOF 泛型投影时传入；
- * `any`+var 在此映射下渲染为该参数名，否则 `unknown`）。
- */
-declare function absToTSType(a: Abs, typeVars?: Map<string, string>): string;
-/**
- * 为单个函数生成 .d.ts 声明行（JSDoc + 单一 widen 主签名）。
- * 有 hof 关系时优先泛型投影（C3.3）；否则 case-widen。
- * service 的 generateDts 与 CLI `--dts`（infer/watch）共用本函数，
- * 两条路径输出保持一致。
- */
-declare function generateFunctionDtsLines(fn: FunctionAnalysis): string[];
-declare function generateDts(result: AnalysisResult): string;
-
-/**
- * Abs → 生态 schema 投影（单向有损）。
- *
- * 优先走 core `absToConstraint`（与 interface/check 同一投影语义），
- * 再转成中间层 SchemaNode；投影失败时退回 shape 尽力提取并记 dropped。
- * Dialect 只负责 Node → 源码字符串；Abs 才是真理源。
- */
-
-type SchemaDialect = "zod";
-type SchemaRefinement = {
-    kind: "numBound";
-    op: "gt" | "ge" | "lt" | "le";
-    n: number;
-} | {
-    kind: "int";
-} | {
-    kind: "strMin";
-    n: number;
-} | {
-    kind: "strMax";
-    n: number;
-};
-type SchemaNode = {
-    k: "lit";
-    value: string | number | boolean | null | undefined;
-} | {
-    k: "prim";
-    type: "number" | "string" | "boolean" | "bigint" | "symbol";
-    refinements: SchemaRefinement[];
-} | {
-    k: "obj";
-    slots: Array<{
-        key: string;
-        node: SchemaNode;
-        optional?: boolean;
-    }>;
-} | {
-    k: "arr";
-    element: SchemaNode;
-} | {
-    k: "tuple";
-    elements: SchemaNode[];
-} | {
-    k: "union";
-    members: SchemaNode[];
-} | {
-    k: "fn";
-} | {
-    k: "promise";
-    inner: SchemaNode;
-} | {
-    k: "brand";
-    name: string;
-} | {
-    k: "never";
-} | {
-    k: "unknown";
-};
-type SchemaProjection = {
-    source: string;
-    dialect: SchemaDialect;
-    dropped: string[];
-};
-/** NudoConstraint → SchemaNode（与 absToConstraint 投影语义对齐） */
-declare function constraintToSchemaNode(c: NudoConstraint): SchemaNode;
-/** Abs → SchemaNode + dropped（优先 core absToConstraint；失败则 shape 尽力） */
-declare function absToSchemaNode(a: Abs): {
-    node: SchemaNode;
-    dropped: string[];
-};
-declare function schemaNodeToZod(node: SchemaNode): string;
-declare function projectAbsToSchema(a: Abs, opts?: {
-    dialect?: SchemaDialect;
-}): SchemaProjection;
-declare function absToSchemaSource(a: Abs, opts?: {
-    dialect?: SchemaDialect;
-}): string;
-
-/**
- * Abs / SchemaNode → Standard Schema v1 运行时模块（单向有损投影）。
- *
- * 产物是零第三方依赖的 TS/JS 模块：每个导出实现 `~standard` Props
- * （version=1, vendor="nudo", validate）。validate 对 SchemaNode 做
- * 结构 + 可表达 refinement 执法；落不了的 pred 不在此假装精确。
- *
- * 协议：https://standardschema.dev —— 运行时互操作出口，不替代 nudo check。
- */
-
-type StandardSchemaIssue = {
-    message: string;
-    path?: ReadonlyArray<PropertyKey>;
-};
-type StandardSchemaResult = {
-    value: unknown;
-    issues?: undefined;
-} | {
-    issues: ReadonlyArray<StandardSchemaIssue>;
-    value?: undefined;
-};
-/** SchemaNode 同步校验（生成模块与测试共用语义）。 */
-declare function validateSchemaNode(node: SchemaNode, value: unknown): StandardSchemaResult;
-type StandardSchemaModuleProjection = {
-    source: string;
-    dropped: string[];
-};
-/**
- * Abs → Standard Schema v1 模块源码。
- * `exports`：导出名 → Abs（通常是 output / 各参数）。
- */
-declare function absToStandardSchemaModule(exports: Record<string, Abs>, opts?: {
-    banner?: string;
-}): StandardSchemaModuleProjection;
-/** 便捷：单个 Abs → 单导出模块（默认导出名 `schema`）。 */
-declare function absToStandardSchema(a: Abs, opts?: {
-    name?: string;
-}): StandardSchemaModuleProjection;
-
-/** Abs 指称守卫（设计 §2.7）：保留 pred */
-declare function generateGuardFunctionFromAbs(name: string, abs: Abs): string;
-/** 兼容别名：Abs 路径唯一 */
-declare function generateGuardFunction(name: string, abs: Abs): string;
-
-export { type SchemaDialect, type SchemaNode, type SchemaProjection, type SchemaRefinement, type StandardSchemaIssue, type StandardSchemaModuleProjection, type StandardSchemaResult, absToSchemaNode, absToSchemaSource, absToStandardSchema, absToStandardSchemaModule, absToTSType, constraintToSchemaNode, generateDts, generateFunctionDtsLines, generateGuardFunction, generateGuardFunctionFromAbs, projectAbsToSchema, schemaNodeToZod, validateSchemaNode };

package/dist/dts.js

@@ -1,30 +0,0 @@
-import {
-  absToSchemaNode,
-  absToSchemaSource,
-  absToStandardSchema,
-  absToStandardSchemaModule,
-  absToTSType,
-  constraintToSchemaNode,
-  generateDts,
-  generateFunctionDtsLines,
-  generateGuardFunction,
-  generateGuardFunctionFromAbs,
-  projectAbsToSchema,
-  schemaNodeToZod,
-  validateSchemaNode
-} from "./chunk-6IZR4ZYJ.js";
-export {
-  absToSchemaNode,
-  absToSchemaSource,
-  absToStandardSchema,
-  absToStandardSchemaModule,
-  absToTSType,
-  constraintToSchemaNode,
-  generateDts,
-  generateFunctionDtsLines,
-  generateGuardFunction,
-  generateGuardFunctionFromAbs,
-  projectAbsToSchema,
-  schemaNodeToZod,
-  validateSchemaNode
-};