@nekostack/schema 1.0.0

package/dist/src/generators/ts.js

@@ -0,0 +1,252 @@
+import { UnsupportedNodeKindError } from "./errors.js";
+import { buildHeader } from "./header.js";
+/**
+ * Generate a TypeScript type alias from a SchemaNode.
+ *
+ * Modes (Decision #9):
+ *  - "output" (default): post-default shape, matches `s.infer<T>` / `s.output<T>`.
+ *  - "input":            pre-default shape, matches `s.input<T>`.
+ *  - "both":             emits both `<Name>Input` and `<Name>Output`.
+ *
+ * Naming: derived from `metadata.id`'s last dotted segment, or
+ * `options.typeName`, or `"Schema"` for anonymous schemas. In `"both"` mode,
+ * the suffixes are always appended — no bare `<Name>`.
+ *
+ * Headers: deterministic JSDoc preamble per `buildHeader`. Same IR + same
+ * generator version → byte-identical output.
+ */
+export function generateTypeScript(node, options = {}) {
+    const mode = options.mode ?? "output";
+    const baseName = options.typeName ?? deriveName(node);
+    const header = buildHeader(node, {
+        generator: "typescript",
+        ...(options.sourceHash !== undefined
+            ? { sourceHash: options.sourceHash }
+            : {}),
+    });
+    if (mode === "both") {
+        return [
+            header,
+            "",
+            emitTypeAlias(node, "input", `${baseName}Input`),
+            "",
+            emitTypeAlias(node, "output", `${baseName}Output`),
+            "",
+        ].join("\n");
+    }
+    const name = mode === "input" ? `${baseName}Input` : baseName;
+    return [header, "", emitTypeAlias(node, mode, name), ""].join("\n");
+}
+// ---------- top-level emit ----------
+function emitTypeAlias(node, mode, name) {
+    const doc = emitTopLevelDocComment(node);
+    const expr = emitTypeExpression(node, mode, /*depth*/ 0);
+    return `${doc}export type ${name} = ${expr};`;
+}
+function emitTopLevelDocComment(node) {
+    const lines = [];
+    if (node.metadata?.description)
+        lines.push(node.metadata.description);
+    if (node.metadata?.deprecated)
+        lines.push("@deprecated");
+    if (lines.length === 0)
+        return "";
+    return `/**\n${lines.map((l) => ` * ${l}`).join("\n")}\n */\n`;
+}
+// ---------- type expressions (non-field positions) ----------
+/**
+ * Emit a complete type expression honoring nullable/optional/default for the
+ * current mode. Used at top level and inside array elements — anywhere that
+ * is NOT directly an object field. Object fields use {@link emitObjectField}
+ * because they handle optionality via the `?` key marker.
+ *
+ * `depth` is the indentation depth of the *containing* construct (0 at top
+ * level, +1 inside each enclosing object). Object types use it to indent
+ * their own bodies one level deeper.
+ */
+function emitTypeExpression(node, mode, depth) {
+    let inner = emitBareType(node, mode, depth);
+    const mods = node.modifiers ?? {};
+    if (mods.nullable)
+        inner = `${inner} | null`;
+    if (mods.optional) {
+        const defaultApplied = mods.default !== undefined && mode === "output";
+        if (!defaultApplied)
+            inner = `${inner} | undefined`;
+    }
+    return inner;
+}
+// ---------- bare types ----------
+function emitBareType(node, mode, depth) {
+    // Runtime refinements are unsupported in v0.2 generators (Invariant 7).
+    // The TS generator doesn't *use* refinement values, but a node carrying a
+    // runtime refinement still represents validation the IR intends to enforce;
+    // silently emitting the type without it would imply runtime semantics this
+    // package can't (yet) guarantee. Fail loudly to match the Zod generator.
+    for (const r of node.refinements ?? []) {
+        if (r.kind === "runtime") {
+            throw new UnsupportedNodeKindError({
+                kind: "runtimeRefinement",
+                generator: "typescript",
+            });
+        }
+    }
+    switch (node.kind) {
+        case "string":
+            return "string";
+        case "number":
+            return "number";
+        case "boolean":
+            return "boolean";
+        case "literal":
+            return formatLiteral(node.value);
+        case "enum":
+            return node.values.map((v) => formatLiteral(v)).join(" | ");
+        case "array":
+            return emitArrayType(node, mode, depth);
+        case "object":
+            return emitObjectType(node, mode, depth);
+        default:
+            throw new UnsupportedNodeKindError({
+                kind: node.kind,
+                generator: "typescript",
+            });
+    }
+}
+function emitArrayType(node, mode, depth) {
+    const elementExpr = emitTypeExpression(node.element, mode, depth);
+    // Parenthesize when the element type contains a *top-level* union so `[]`
+    // binds correctly. A naive `startsWith("{")` shortcut is wrong: an
+    // object-then-union element like `{...} | undefined` (produced by
+    // `s.array(s.object({...}).optional())`) starts with `{` but still needs
+    // parens, otherwise we emit `{...} | undefined[]` which parses as
+    // "object or array of undefined" — not what the IR means.
+    return hasTopLevelUnion(elementExpr)
+        ? `(${elementExpr})[]`
+        : `${elementExpr}[]`;
+}
+/**
+ * True if `expr` contains a `|` outside of all braces, parens, brackets,
+ * and string literals. This is the structural check that distinguishes
+ * `string | undefined` (top-level union → needs parens for `[]`) from
+ * `{ foo: "a | b" }` (no top-level union → bare `[]` is fine).
+ */
+function hasTopLevelUnion(expr) {
+    let depth = 0;
+    let inString = false;
+    let escape = false;
+    for (let i = 0; i < expr.length; i++) {
+        const ch = expr[i];
+        if (escape) {
+            escape = false;
+            continue;
+        }
+        if (inString) {
+            if (ch === "\\")
+                escape = true;
+            else if (ch === '"')
+                inString = false;
+            continue;
+        }
+        if (ch === '"')
+            inString = true;
+        else if (ch === "{" || ch === "(" || ch === "[")
+            depth++;
+        else if (ch === "}" || ch === ")" || ch === "]")
+            depth = Math.max(0, depth - 1);
+        else if (ch === "|" && depth === 0)
+            return true;
+    }
+    return false;
+}
+/**
+ * Emit a TS object body. `depth` is the indentation depth of THIS object:
+ *  - depth 0 ⇒ top-level type alias body: inner fields at 2 spaces, `}` at column 0.
+ *  - depth 1 ⇒ first-level nested object:  inner fields at 4 spaces, `}` at 2 spaces.
+ *  - depth N ⇒ inner fields at 2*(N+1) spaces, `}` at 2*N spaces.
+ *
+ * Each enclosing object passes `depth + 1` to its field's emit, so nesting
+ * grows the indent consistently. Mirrors what the Zod generator already does.
+ */
+function emitObjectType(node, mode, depth) {
+    const entries = Object.entries(node.fields);
+    if (entries.length === 0)
+        return "{}";
+    const fieldIndent = "  ".repeat(depth + 1);
+    const closeIndent = "  ".repeat(depth);
+    const lines = entries.map(([key, field]) => {
+        const { keyMark, typeExpr } = emitObjectField(field, mode, depth + 1);
+        const fieldDoc = emitFieldDocComment(field, fieldIndent);
+        const safeKey = formatPropertyKey(key);
+        return `${fieldDoc}${fieldIndent}${safeKey}${keyMark}: ${typeExpr};`;
+    });
+    return `{\n${lines.join("\n")}\n${closeIndent}}`;
+}
+/**
+ * Emit an object property key. Identifier-safe keys go bare; anything else
+ * (hyphens, spaces, leading digits, reserved characters) is quoted via
+ * JSON.stringify so the generated type alias is valid TS for any IR-valid key.
+ */
+function formatPropertyKey(key) {
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key) ? key : JSON.stringify(key);
+}
+function emitObjectField(field, mode, depth) {
+    const mods = field.modifiers ?? {};
+    let typeExpr = emitBareType(field, mode, depth);
+    if (mods.nullable)
+        typeExpr = `${typeExpr} | null`;
+    // In object-field position, optionality uses the `?` key marker; we do
+    // NOT also append `| undefined` — that would produce noisier output that
+    // is structurally identical (TS treats `field?: T` ≡ `field?: T | undefined`).
+    let isOptional = false;
+    if (mods.optional) {
+        if (mods.default !== undefined) {
+            isOptional = mode === "input"; // default makes input optional, output required
+        }
+        else {
+            isOptional = true; // .optional() or .nullish()
+        }
+    }
+    return { keyMark: isOptional ? "?" : "", typeExpr };
+}
+function emitFieldDocComment(field, indent) {
+    const lines = [];
+    if (field.metadata?.description)
+        lines.push(field.metadata.description);
+    if (field.metadata?.deprecated)
+        lines.push("@deprecated");
+    if (lines.length === 0)
+        return "";
+    // Per-field JSDoc matches the field's indent so it lines up with the field.
+    return `${indent}/**\n${lines.map((l) => `${indent} * ${l}`).join("\n")}\n${indent} */\n`;
+}
+// ---------- helpers ----------
+/**
+ * Format a JsonValue as a TS literal-type expression.
+ *
+ * In practice v0.2 schemas use string/number/boolean/null literals; the IR
+ * accepts the full `JsonValue` space (arrays / objects) for forward-compat,
+ * so we accept it here and emit via `JSON.stringify`. Arrays/objects emit as
+ * value-shaped JS literals — valid in expression position but not as TS
+ * *literal types*. That's acceptable: nobody constructs schemas with
+ * object-literal `s.literal(...)` today, and the alternative (throwing) is
+ * worse than emitting a JSON-shaped fallback.
+ */
+function formatLiteral(value) {
+    if (typeof value === "string")
+        return JSON.stringify(value);
+    if (value === null)
+        return "null";
+    if (typeof value === "number" || typeof value === "boolean") {
+        return String(value);
+    }
+    return JSON.stringify(value);
+}
+function deriveName(node) {
+    const id = node.metadata?.id;
+    if (!id)
+        return "Schema";
+    const last = id.split(".").pop();
+    return last && last.length > 0 ? last : "Schema";
+}
+//# sourceMappingURL=ts.js.map

package/dist/src/generators/ts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts.js","sourceRoot":"","sources":["../../../src/generators/ts.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAK1C;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAgB,EAChB,UAAsC,EAAE;IAExC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE;QAC/B,SAAS,EAAE,YAAY;QACvB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE;YACpC,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IAEH,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO;YACL,MAAM;YACN,EAAE;YACF,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC;YAChD,EAAE;YACF,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,QAAQ,QAAQ,CAAC;YAClD,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,QAAQ,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC9D,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AAED,uCAAuC;AAEvC,SAAS,aAAa,CAAC,IAAgB,EAAE,IAAU,EAAE,IAAY;IAC/D,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,GAAG,GAAG,eAAe,IAAI,MAAM,IAAI,GAAG,CAAC;AAChD,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAgB;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,CAAC,QAAQ,EAAE,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,QAAQ,EAAE,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,+DAA+D;AAE/D;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CACzB,IAAgB,EAChB,IAAU,EACV,KAAa;IAEb,IAAI,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IAClC,IAAI,IAAI,CAAC,QAAQ;QAAE,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC;IAC7C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC;QACvE,IAAI,CAAC,cAAc;YAAE,KAAK,GAAG,GAAG,KAAK,cAAc,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mCAAmC;AAEnC,SAAS,YAAY,CAAC,IAAgB,EAAE,IAAU,EAAE,KAAa;IAC/D,wEAAwE;IACxE,0EAA0E;IAC1E,4EAA4E;IAC5E,2EAA2E;IAC3E,yEAAyE;IACzE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,wBAAwB,CAAC;gBACjC,IAAI,EAAE,mBAAmB;gBACzB,SAAS,EAAE,YAAY;aACxB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,aAAa,CAAE,IAAoB,CAAC,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM;YACT,OAAQ,IAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5E,KAAK,OAAO;YACV,OAAO,aAAa,CAAC,IAAiB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACvD,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,IAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACzD;YACE,MAAM,IAAI,wBAAwB,CAAC;gBACjC,IAAI,EAAG,IAAyB,CAAC,IAAI;gBACrC,SAAS,EAAE,YAAY;aACxB,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAe,EAAE,IAAU,EAAE,KAAa;IAC/D,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAClE,0EAA0E;IAC1E,mEAAmE;IACnE,kEAAkE;IAClE,yEAAyE;IACzE,kEAAkE;IAClE,0DAA0D;IAC1D,OAAO,gBAAgB,CAAC,WAAW,CAAC;QAClC,CAAC,CAAC,IAAI,WAAW,KAAK;QACtB,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,GAAG,KAAK,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,EAAE,KAAK,IAAI;gBAAE,MAAM,GAAG,IAAI,CAAC;iBAC1B,IAAI,EAAE,KAAK,GAAG;gBAAE,QAAQ,GAAG,KAAK,CAAC;YACtC,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,QAAQ,GAAG,IAAI,CAAC;aAC3B,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACpD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAC7C,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;aAC5B,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,cAAc,CACrB,IAAgB,EAChB,IAAU,EACV,KAAa;IAEb,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACzC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACvC,OAAO,GAAG,QAAQ,GAAG,WAAW,GAAG,OAAO,GAAG,OAAO,KAAK,QAAQ,GAAG,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,GAAG,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,GAAW;IACpC,OAAO,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,eAAe,CACtB,KAAiB,EACjB,IAAU,EACV,KAAa;IAEb,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC;IACnC,IAAI,QAAQ,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,IAAI,CAAC,QAAQ;QAAE,QAAQ,GAAG,GAAG,QAAQ,SAAS,CAAC;IAEnD,uEAAuE;IACvE,yEAAyE;IACzE,+EAA+E;IAC/E,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,UAAU,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,gDAAgD;QACjF,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,IAAI,CAAC,CAAC,4BAA4B;QACjD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiB,EAAE,MAAc;IAC5D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,QAAQ,EAAE,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,QAAQ,EAAE,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,4EAA4E;IAC5E,OAAO,GAAG,MAAM,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,OAAO,CAAC;AAC5F,CAAC;AAED,gCAAgC;AAEhC;;;;;;;;;;GAUG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB;IAClC,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC7B,IAAI,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IACzB,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjC,OAAO,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACnD,CAAC"}

package/dist/src/generators/types.d.ts

@@ -0,0 +1,96 @@
+/**
+ * Shared option types for generators.
+ *
+ * Each generator may extend with its own options; this file declares only
+ * what is genuinely shared. v0.2 ships TS and Zod generators; v0.3 adds
+ * JSON Schema, v0.4 adds OpenAPI, v0.7 adds the cross-generator
+ * `ProvenanceOptions` slice (below).
+ */
+/**
+ * Provenance options shared by every generator (v0.7+).
+ *
+ * `sourceHash` is the sha256 of the originating `*.schema.ts` source
+ * file's UTF-8 bytes, as produced by
+ * `registry/source-hash.ts → sourceHashFromText`. The CLI passes it
+ * through to each generator call when invoked via `neko schema *`;
+ * direct generator calls (vitest snapshots, ad-hoc scripts) may omit it.
+ *
+ * **Omission behavior (Master plan Decision #8, locked):**
+ * - When omitted, TS/Zod emit **no** `sourceHash:` JSDoc header line
+ *   (not `null`, not `unknown` — the line is absent entirely).
+ * - When omitted, JSON Schema / OpenAPI emit **no** `x-nekostack.sourceHash`
+ *   field (the field is absent entirely; not `null`).
+ * - Header / provenance parsers (`registry/parse-provenance.ts`, Step 5)
+ *   treat absent `sourceHash` as "unknown" — v0.6-era artifacts without
+ *   `sourceHash` are NOT integrity errors.
+ *
+ * Type discipline: the template-literal `` `sha256:${string}` `` is the
+ * canonical form everywhere `sourceHash` appears on the v0.7 surface
+ * (`RegistryEntry`, `GeneratedArtifact`, this option slice). A raw hex
+ * string without the `sha256:` prefix is a type error at the generator
+ * call site.
+ */
+export interface ProvenanceOptions {
+    readonly sourceHash?: `sha256:${string}`;
+}
+/** Options accepted by `generateTypeScript`. */
+export interface TypeScriptGeneratorOptions extends ProvenanceOptions {
+    /**
+     * Which side of the input/output split to emit. Default: "output".
+     *
+     *  - "output": post-default, post-transform type (matches `s.infer<T>`).
+     *  - "input":  pre-default, pre-transform type (matches `s.input<T>`).
+     *  - "both":   emits both `<Name>Input` and `<Name>Output` aliases.
+     *
+     * The input/output split is a v0.1 contract; default/transform make the
+     * two sides differ. The TS generator honors it at generation time, not
+     * just at the `s.*` helper level.
+     */
+    mode?: "input" | "output" | "both";
+    /**
+     * Type-alias name override. By default, the generator uses the schema's
+     * `metadata.id` (last dotted segment) or `"Schema"` for anonymous schemas.
+     * In `mode: "both"`, the suffixes `Input` / `Output` are appended.
+     */
+    typeName?: string;
+}
+/** Options accepted by `generateZod`. */
+export interface ZodGeneratorOptions extends ProvenanceOptions {
+    /**
+     * Const name for the emitted Zod schema. Defaults to `"schema"` (lowercase
+     * since it's a value, not a type).
+     */
+    constName?: string;
+}
+/** Options accepted by `generateJsonSchema`. */
+export interface JsonSchemaGeneratorOptions extends ProvenanceOptions {
+    /**
+     * Optional URL base for `$id`. When provided, emitted IDs take the form
+     * `${idBase}/${metadata.id}/${metadata.version}` instead of the default
+     * URN form (`urn:nekostack:schema:<id>:<version>`).
+     *
+     * Use only when you actually host the schemas at that URL — JSON Schema
+     * tooling treats URL-shaped `$id` as resolvable in some contexts.
+     */
+    idBase?: string;
+}
+/**
+ * Options accepted by `generateOpenApiSchemaComponent`.
+ *
+ * v0.4 declared this as `Record<string, never>` to enforce a no-options
+ * contract. v0.7 narrows the contract by exactly one field:
+ * `ProvenanceOptions.sourceHash` is now accepted (and only that). All
+ * other options — `idBase`, `discriminator`, anything not declared on
+ * `ProvenanceOptions` — continue to fail at compile time, because the
+ * interface declares no own members.
+ *
+ * Extension point preserved: adding the first OpenAPI-specific option
+ * later (likely `discriminator` when union builders ship) is
+ * non-breaking — `extends ProvenanceOptions` widens further without
+ * removing the export.
+ */
+export interface OpenApiGeneratorOptions extends ProvenanceOptions {
+}
+/** Union of all generator option types — exported for ergonomics. */
+export type GeneratorOptions = TypeScriptGeneratorOptions | ZodGeneratorOptions | JsonSchemaGeneratorOptions | OpenApiGeneratorOptions;
+//# sourceMappingURL=types.d.ts.map

package/dist/src/generators/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/generators/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,MAAM,EAAE,CAAC;CAC1C;AAED,gDAAgD;AAChD,MAAM,WAAW,0BAA2B,SAAQ,iBAAiB;IACnE;;;;;;;;;;OAUG;IACH,IAAI,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,MAAM,CAAC;IAEnC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yCAAyC;AACzC,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,gDAAgD;AAChD,MAAM,WAAW,0BAA2B,SAAQ,iBAAiB;IACnE;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,uBAAwB,SAAQ,iBAAiB;CAAG;AAErE,qEAAqE;AACrE,MAAM,MAAM,gBAAgB,GACxB,0BAA0B,GAC1B,mBAAmB,GACnB,0BAA0B,GAC1B,uBAAuB,CAAC"}

package/dist/src/generators/types.js

@@ -0,0 +1,10 @@
+/**
+ * Shared option types for generators.
+ *
+ * Each generator may extend with its own options; this file declares only
+ * what is genuinely shared. v0.2 ships TS and Zod generators; v0.3 adds
+ * JSON Schema, v0.4 adds OpenAPI, v0.7 adds the cross-generator
+ * `ProvenanceOptions` slice (below).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/src/generators/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/generators/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/src/generators/version.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Single source of truth for the generator-version string embedded in every
+ * generated-file header. Bumped with the package version.
+ *
+ * Decision #5 in PHASE_PLAN_v0.2: one string for all generators (TS and Zod
+ * share the same version), not per-generator. When this string changes,
+ * generated artifacts produced by an older version are stale and CI should
+ * re-emit them.
+ */
+export declare const GENERATOR_VERSION: "@nekostack/schema@0.8.0";
+//# sourceMappingURL=version.d.ts.map

package/dist/src/generators/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../../src/generators/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAG,yBAAkC,CAAC"}

package/dist/src/generators/version.js

@@ -0,0 +1,11 @@
+/**
+ * Single source of truth for the generator-version string embedded in every
+ * generated-file header. Bumped with the package version.
+ *
+ * Decision #5 in PHASE_PLAN_v0.2: one string for all generators (TS and Zod
+ * share the same version), not per-generator. When this string changes,
+ * generated artifacts produced by an older version are stale and CI should
+ * re-emit them.
+ */
+export const GENERATOR_VERSION = "@nekostack/schema@0.8.0";
+//# sourceMappingURL=version.js.map

package/dist/src/generators/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../../src/generators/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,yBAAkC,CAAC"}

package/dist/src/generators/zod-mapping.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Shared Zod semantic mapping (Decision #6 of v0.6 plan).
+ *
+ * One module owns:
+ *   - the IR traversal order
+ *   - the fixed Zod modifier-application order (v0.2 contract — see
+ *     `docs/ZOD_MODIFIER_ORDERING.md`):
+ *
+ *       1. base schema
+ *       2. portable refinements (IR insertion order)
+ *       3. describe
+ *       4. nullable / optional / nullish (mutually exclusive)
+ *       5. default (LAST)
+ *
+ *   - the rules for empty / single / all-string / mixed enums
+ *   - the rules for the `unknownKeys` object policy
+ *
+ * Two consumers realize this mapping into different concrete outputs:
+ *
+ *   - `src/generators/zod.ts` (a `ZodEmitter<string>`) produces the
+ *     deterministic TypeScript source text. v0.2 snapshot bytes must
+ *     remain identical after this extraction.
+ *
+ *   - `src/runtime/zod-compile.ts` (a `ZodEmitter<ZodTypeAny>`) produces
+ *     a live Zod schema value for runtime `parse` / `safeParse` /
+ *     `validate`.
+ *
+ * The shared mapping is the contract; neither consumer stringifies the
+ * other's output (no `eval`, no source-to-value parsing, no
+ * value-to-source serialization).
+ */
+import type { JsonValue, SchemaNode, UnknownKeysPolicy } from "../ir/nodes.js";
+/**
+ * The per-operation surface a Zod consumer implements. `T` is the
+ * consumer's output type (`string` for the source generator,
+ * `ZodTypeAny` for the runtime compiler).
+ *
+ * Every method maps to one concrete Zod construction or chain step;
+ * the shared traversal in `emit()` is responsible for *when* each
+ * method is called, the consumer is responsible for *how* it realizes
+ * the operation.
+ */
+export interface ZodEmitter<T> {
+    stringBase(): T;
+    numberBase(): T;
+    booleanBase(): T;
+    literalBase(value: JsonValue): T;
+    /** Length >= 1, all values are strings — use `z.enum([...])`. */
+    enumStringsBase(values: readonly string[]): T;
+    /** Length === 1, value is non-string — collapse to `z.literal(v)`. */
+    enumSingleLiteralBase(value: JsonValue): T;
+    /** Length >= 2, mixed/numeric — `z.union([z.literal(...), ...])`. */
+    enumUnionBase(values: readonly JsonValue[]): T;
+    arrayBase(element: T): T;
+    /**
+     * @param fields Pre-emitted per-key children, in iteration order.
+     * @param depth Nesting depth, supplied so a string consumer can
+     *   compute indentation. The value consumer ignores it.
+     */
+    objectBase(fields: ReadonlyArray<readonly [key: string, value: T]>, depth: number): T;
+    applyUnknownKeys(prev: T, policy: UnknownKeysPolicy): T;
+    applyMinLength(prev: T, value: number): T;
+    applyMaxLength(prev: T, value: number): T;
+    applyLength(prev: T, value: number): T;
+    applyRegex(prev: T, source: string, flags: string): T;
+    applyEmail(prev: T): T;
+    applyUuid(prev: T): T;
+    applyUrl(prev: T): T;
+    applyInt(prev: T): T;
+    applyMin(prev: T, value: number): T;
+    applyMax(prev: T, value: number): T;
+    applyGt(prev: T, value: number): T;
+    applyLt(prev: T, value: number): T;
+    applyMultipleOf(prev: T, value: number): T;
+    applyMinItems(prev: T, value: number): T;
+    applyMaxItems(prev: T, value: number): T;
+    applyDescribe(prev: T, text: string): T;
+    applyNullable(prev: T): T;
+    applyOptional(prev: T): T;
+    applyNullish(prev: T): T;
+    applyDefault(prev: T, value: JsonValue): T;
+}
+/**
+ * Entry point: walk a `SchemaNode` and produce the consumer's `T`.
+ *
+ * `depth` is threaded for the string consumer's indentation. Callers
+ * outside this module should start at depth 0.
+ */
+export declare function emit<T>(node: SchemaNode, depth: number, emitter: ZodEmitter<T>): T;
+//# sourceMappingURL=zod-mapping.d.ts.map

package/dist/src/generators/zod-mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod-mapping.d.ts","sourceRoot":"","sources":["../../../src/generators/zod-mapping.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAGV,SAAS,EAKT,UAAU,EACV,iBAAiB,EAClB,MAAM,gBAAgB,CAAC;AAGxB;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC;IAE3B,UAAU,IAAI,CAAC,CAAC;IAChB,UAAU,IAAI,CAAC,CAAC;IAChB,WAAW,IAAI,CAAC,CAAC;IACjB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,CAAC,CAAC;IACjC,iEAAiE;IACjE,eAAe,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,sEAAsE;IACtE,qBAAqB,CAAC,KAAK,EAAE,SAAS,GAAG,CAAC,CAAC;IAC3C,qEAAqE;IACrE,aAAa,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,GAAG,CAAC,CAAC;IAC/C,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACtF,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,iBAAiB,GAAG,CAAC,CAAC;IAGxD,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IAC1C,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IAC1C,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACvC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACtD,UAAU,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACvB,SAAS,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACpC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACnC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACnC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IAC3C,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IACzC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAAC;IAGzC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAAC;IACxC,aAAa,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,aAAa,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1B,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,GAAG,CAAC,CAAC;CAC5C;AAED;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAOlF"}