schema-components 1.17.0 → 1.18.0

package/dist/themes/mui.mjs

@@ -1,8 +1,8 @@
 import { isObject } from "../core/guards.mjs";
 import { inputId, toReactNode } from "../react/headlessRenderers.mjs";
 import { headlessResolver } from "../react/headless.mjs";
-import { jsx, jsxs } from "react/jsx-runtime";
 import { isValidElement } from "react";
+import { jsx, jsxs } from "react/jsx-runtime";
 //#region src/themes/mui.tsx
 function ariaRequired(tree) {
 	return { required: tree.isOptional === false };
@@ -117,15 +117,15 @@ function renderEnumInput(props) {
 		children: [/* @__PURE__ */ jsxs(MuiMenuItem, {
 			value: "",
 			children: ["Select", "…"]
-		}), (props.enumValues ?? []).map((v) => /* @__PURE__ */ jsx(MuiMenuItem, {
+		}), (props.tree.type === "enum" ? props.tree.enumValues : []).map((v) => /* @__PURE__ */ jsx(MuiMenuItem, {
 			value: v,
 			children: v
 		}, v))]
 	});
 }
 function renderObjectContainer(props) {
-	const fields = props.fields;
-	if (fields === void 0) return null;
+	if (props.tree.type !== "object") return null;
+	const fields = props.tree.fields;
 	const obj = isObject(props.value) ? props.value : {};
 	return /* @__PURE__ */ jsxs(MuiBox, {
 		sx: {
@@ -150,7 +150,8 @@ function renderObjectContainer(props) {
 }
 function renderArrayContainer(props) {
 	const arr = Array.isArray(props.value) ? props.value : [];
-	const element = props.element;
+	if (props.tree.type !== "array") return null;
+	const element = props.tree.element;
 	if (element === void 0) return null;
 	return /* @__PURE__ */ jsx(MuiBox, {
 		sx: {

package/dist/themes/radix.d.mts

@@ -1,4 +1,4 @@
-import { r as ComponentResolver } from "../renderer-B3s8o2B8.mjs";
+import { r as ComponentResolver } from "../renderer-DXo-rXHJ.mjs";
 
 //#region src/themes/radix.d.ts
 /**

package/dist/themes/radix.mjs

@@ -142,15 +142,15 @@ function renderEnumInput(props) {
 		children: [/* @__PURE__ */ jsx(RadixSelectTrigger, {
 			id,
 			mt: "1"
-		}), /* @__PURE__ */ jsx(RadixSelectContent, { children: (props.enumValues ?? []).map((value) => /* @__PURE__ */ jsx(RadixSelectItem, {
+		}), /* @__PURE__ */ jsx(RadixSelectContent, { children: (props.tree.type === "enum" ? props.tree.enumValues : []).map((value) => /* @__PURE__ */ jsx(RadixSelectItem, {
 			value,
 			children: value
 		}, value)) })]
 	})] });
 }
 function renderObjectContainer(props) {
-	const fields = props.fields;
-	if (fields === void 0) return null;
+	if (props.tree.type !== "object") return null;
+	const fields = props.tree.fields;
 	const obj = isObject(props.value) ? props.value : {};
 	return /* @__PURE__ */ jsxs(RadixBox, { children: [typeof props.meta.description === "string" && /* @__PURE__ */ jsx(RadixText, {
 		as: "div",

package/dist/themes/shadcn.d.mts

@@ -1,4 +1,4 @@
-import { r as ComponentResolver } from "../renderer-B3s8o2B8.mjs";
+import { r as ComponentResolver } from "../renderer-DXo-rXHJ.mjs";
 
 //#region src/themes/shadcn.d.ts
 declare const shadcnResolver: ComponentResolver;

package/dist/themes/shadcn.mjs

@@ -94,8 +94,8 @@ function renderBooleanInput(props) {
 	});
 }
 function renderObjectContainer(props) {
-	const fields = props.fields;
-	if (fields === void 0) return null;
+	if (props.tree.type !== "object") return null;
+	const fields = props.tree.fields;
 	const obj = typeof props.value === "object" && props.value !== null && !Array.isArray(props.value) ? props.value : {};
 	return /* @__PURE__ */ jsxs("div", {
 		className: "space-y-4",
@@ -124,7 +124,8 @@ function renderObjectContainer(props) {
 }
 function renderArrayContainer(props) {
 	const arr = Array.isArray(props.value) ? props.value : [];
-	const element = props.element;
+	if (props.tree.type !== "array") return null;
+	const element = props.tree.element;
 	if (element === void 0) return null;
 	return /* @__PURE__ */ jsx("div", {
 		className: "space-y-2",
@@ -157,13 +158,13 @@ function renderEnumInput(props) {
 		children: [/* @__PURE__ */ jsxs("option", {
 			value: "",
 			children: ["Select", "…"]
-		}), props.enumValues?.map((v) => {
+		}), props.tree.type === "enum" ? props.tree.enumValues.map((v) => {
 			const display = v === null ? "null" : typeof v === "string" ? v : String(v);
 			return /* @__PURE__ */ jsx("option", {
 				value: display,
 				children: display
 			}, display);
-		})]
+		}) : null]
 	});
 }
 function buildResolver() {

package/dist/{typeInference-k7FXfTVO.d.mts → typeInference-5JiqIZ8t.d.mts}

@@ -84,26 +84,71 @@ type UnsafeFields = Record<string, FieldOverride> & {
  * Returns the original type when the schema is non-recursive.
  */
 type DetectRecursiveFallback<T> = unknown extends T ? __SchemaInferenceFellBack : T;
+/**
+ * Type-level recursion bound for $ref resolution.
+ *
+ * The TypeScript type system imposes its own recursion limit; without an
+ * explicit bound a cyclic schema graph would exhaust it and degrade to
+ * `any`/`unknown` silently. Ten levels is the runtime walker's parallel
+ * — see `countDistinctRefs` in `ref.ts` (lines 52-55), which derives its
+ * bound from the number of distinct `$ref` strings in the document.
+ *
+ * A fixed bound is used here rather than a derived one because the type
+ * system has no way to count distinct strings across a recursive `Defs`
+ * map without itself recursing — which is the problem the bound exists
+ * to solve. Ten covers every realistic schema graph encountered in
+ * practice; deeper graphs surface as `__SchemaInferenceFellBack` so
+ * consumers can detect the limit explicitly.
+ */
+type DEFAULT_MAX_DEPTH = 10;
 /**
  * Resolve a $ref against the local definitions context.
+ *
+ * SOURCE-OF-TRUTH: mirrors runtime `resolveRef` in
+ * `packages/core/src/core/ref.ts` (line 90). Any change to the runtime
+ * ref-resolution rules (new ref forms, different cycle handling) must be
+ * reflected here and pinned in
+ * `packages/core/tests/typeInference-walker-parity.test.ts`.
+ *
  * Supports:
  * - `#` (root)
  * - `#/$defs/Name` and `#/definitions/Name` (named definitions)
  * - `#SomeName` ($anchor, $dynamicAnchor resolved from definitions)
  */
-type ResolveSchemaRef<R extends string, Defs extends Record<string, unknown>, Depth extends number = 0> = Depth extends 10 ? __SchemaInferenceFellBack : R extends "#" ? unknown : R extends `#/$defs/${infer Name}` ? Name extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[Name], Defs>> : unknown : R extends `#/definitions/${infer Name}` ? Name extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[Name], Defs>> : unknown : R extends `#${infer AnchorName}` ? AnchorName extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[AnchorName], Defs>> : unknown : unknown;
+type ResolveSchemaRef<R extends string, Defs extends Record<string, unknown>, Depth extends number = 0> = Depth extends DEFAULT_MAX_DEPTH ? __SchemaInferenceFellBack : R extends "#" ? unknown : R extends `#/$defs/${infer Name}` ? Name extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[Name], Defs>> : unknown : R extends `#/definitions/${infer Name}` ? Name extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[Name], Defs>> : unknown : R extends `#${infer AnchorName}` ? AnchorName extends keyof Defs ? DetectRecursiveFallback<FromJSONSchema<Defs[AnchorName], Defs>> : unknown : unknown;
 /**
  * Merge an allOf array into an intersection type.
  */
 type AllOfToType<A, Defs extends Record<string, unknown>> = A extends readonly unknown[] ? UnionToIntersection<FromJSONSchema<A[number], Defs>> : unknown;
 /**
  * Convert an anyOf/oneOf array into a union type.
- * Filters out `{ type: "null" }` members and instead makes the result nullable
- * when at least one null member is present -- mirrors the walker's normaliseAnyOf.
+ *
+ * SOURCE-OF-TRUTH: mirrors runtime `walkUnion` (and the
+ * `walkDiscriminatedUnion` fast path) in
+ * `packages/core/src/core/walker.ts` (lines 723-752), together with
+ * `detectDiscriminated` and `normaliseAnyOf` in
+ * `packages/core/src/core/merge.ts` (lines 190-260).
+ *
+ * Deliberate divergence: the walker collapses qualifying `oneOf` members
+ * into a `discriminatedUnion` field at runtime. The type-level helper
+ * produces a plain TypeScript union because a discriminated union and a
+ * plain union over the same members are structurally indistinguishable
+ * at the type level. Parity is pinned in
+ * `packages/core/tests/typeInference-walker-parity.test.ts`.
+ *
+ * Filters out `{ type: "null" }` members and instead makes the result
+ * nullable when at least one null member is present — mirrors the
+ * walker's `normaliseAnyOf`.
  */
 type UnionOfMembers<A, Defs extends Record<string, unknown>> = A extends readonly unknown[] ? HasNullMember<A> extends true ? Exclude<FromJSONSchema<A[number], Defs>, null> | null : FromJSONSchema<A[number], Defs> : unknown;
 /**
  * Check whether an anyOf/oneOf array contains a `{ type: "null" }` member.
+ *
+ * SOURCE-OF-TRUTH: mirrors runtime `normaliseAnyOf` in
+ * `packages/core/src/core/merge.ts` (lines 190-209). Both implementations
+ * only recognise schema-shaped null members (`{ type: "null" }`); a bare
+ * `null` literal in the array is treated as non-nullable. Parity is
+ * pinned in `packages/core/tests/typeInference-walker-parity.test.ts`.
  */
 type HasNullMember<A> = A extends readonly unknown[] ? null extends A[number] ? false : {
   type: "null";
@@ -214,6 +259,14 @@ type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) exten
 /**
  * Resolves an OpenAPI `ref` string to its JSON Schema, then parses it.
  *
+ * SOURCE-OF-TRUTH: mirrors runtime `resolveRef` in
+ * `packages/core/src/core/ref.ts` (line 90), which is invoked by the
+ * walker entry point in `packages/core/src/core/walker.ts` (lines
+ * 144-154) for OpenAPI documents. Any change to the runtime ref-resolution
+ * rules (new ref forms, different cycle handling, JSON Pointer decoding)
+ * must be reflected here and pinned in
+ * `packages/core/tests/typeInference-walker-parity.test.ts`.
+ *
  * Handles:
  * - `#/components/schemas/Name` (OpenAPI 3.x)
  * - `#/definitions/Name` (Swagger 2.0)
@@ -332,4 +385,4 @@ type PathOfType<T, Prefix extends string = ""> = IsNarrowObject<T> extends true
  */
 type TypeAtPath<T, P extends string> = P extends `${infer Key}.${infer Rest}` ? Key extends keyof T ? TypeAtPath<T[Key], Rest> : unknown : P extends keyof T ? T[P] : unknown;
 //#endregion
-export { OpenAPIRequestBodyType as a, ResolveOpenAPIRef as c, __SchemaInferenceFellBack as d, InferResponseFields as i, TypeAtPath as l, InferParameterOverrides as n, OpenAPIResponseType as o, InferRequestBodyFields as r, PathOfType as s, FromJSONSchema as t, UnsafeFields as u };
+export { InferResponseFields as a, PathOfType as c, UnsafeFields as d, __SchemaInferenceFellBack as f, InferRequestBodyFields as i, ResolveOpenAPIRef as l, FromJSONSchema as n, OpenAPIRequestBodyType as o, InferParameterOverrides as r, OpenAPIResponseType as s, DEFAULT_MAX_DEPTH as t, TypeAtPath as u };

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "schema-components",
-    "version": "1.17.0",
+    "version": "1.18.0",
     "description": "React components that render UI from Zod schemas, JSON Schema, and OpenAPI documents",
     "type": "module",
     "main": "./dist/index.mjs",