schema-components 1.21.0 → 1.22.0

package/dist/core/swagger2.mjs

@@ -1,2 +1,2 @@
-import { o as normaliseSwagger2Document } from "../normalise-DaSrnr8g.mjs";
+import { s as normaliseSwagger2Document } from "../normalise-DVEJQmF7.mjs";
 export { normaliseSwagger2Document };

package/dist/core/typeInference.d.mts

@@ -1,2 +1,2 @@
-import { a as InferResponseFields, c as PathOfType, d as TypeAtPath, f as UnrepresentableZodSchemaError, h as __SchemaInferenceFellBack, i as InferRequestBodyFields, l as RejectUnrepresentableZod, m as UnsafeFields, n as FromJSONSchema, o as OpenAPIRequestBodyType, p as UnrepresentableZodType, r as InferParameterOverrides, s as OpenAPIResponseType, t as DEFAULT_MAX_DEPTH, u as ResolveOpenAPIRef } from "../typeInference-Bxw3NOG1.mjs";
-export { DEFAULT_MAX_DEPTH, FromJSONSchema, InferParameterOverrides, InferRequestBodyFields, InferResponseFields, OpenAPIRequestBodyType, OpenAPIResponseType, PathOfType, RejectUnrepresentableZod, ResolveOpenAPIRef, TypeAtPath, UnrepresentableZodSchemaError, UnrepresentableZodType, UnsafeFields, __SchemaInferenceFellBack };
+import { _ as __SchemaInferenceFellBack, a as InferParameterOverrides, c as OpenAPIRequestBodyType, d as RejectUnrepresentableZod, f as ResolveOpenAPIRef, g as UnsafeFields, h as UnrepresentableZodType, i as FromJSONSchemaMode, l as OpenAPIResponseType, m as UnrepresentableZodSchemaError, n as DEFAULT_OPENAPI_CONTENT_TYPE, o as InferRequestBodyFields, p as TypeAtPath, r as FromJSONSchema, s as InferResponseFields, t as DEFAULT_MAX_DEPTH, u as PathOfType } from "../typeInference-DkcUHfaM.mjs";
+export { DEFAULT_MAX_DEPTH, DEFAULT_OPENAPI_CONTENT_TYPE, FromJSONSchema, FromJSONSchemaMode, InferParameterOverrides, InferRequestBodyFields, InferResponseFields, OpenAPIRequestBodyType, OpenAPIResponseType, PathOfType, RejectUnrepresentableZod, ResolveOpenAPIRef, TypeAtPath, UnrepresentableZodSchemaError, UnrepresentableZodType, UnsafeFields, __SchemaInferenceFellBack };

package/dist/core/types.d.mts

@@ -1,2 +1,2 @@
-import { A as UnionField, B as isNegationField, C as RecordField, D as StringConstraints, E as SchemaType, F as isConditionalField, G as isRecordField, H as isNullField, I as isDiscriminatedUnionField, J as isTupleField, K as isRecursiveField, L as isEnumField, M as WalkedField, N as isArrayField, O as StringField, P as isBooleanField, R as isFileField, S as ObjectField, T as SchemaMeta, U as isNumberField, V as isNeverField, W as isObjectField, X as isUnknownField, Y as isUnionField, Z as resolveEditability, _ as NeverField, a as DiscriminatedUnionField, b as NumberField, c as FieldBase, d as FieldOverrides, f as FileConstraints, g as NegationField, h as LiteralField, i as ConditionalField, j as UnknownField, k as TupleField, l as FieldConstraints, m as JsonObject, n as ArrayField, o as Editability, p as FileField, q as isStringField, r as BooleanField, s as EnumField, t as ArrayConstraints, u as FieldOverride, v as NullField, w as RecursiveField, x as ObjectConstraints, y as NumberConstraints, z as isLiteralField } from "../types-BnxPEElk.mjs";
-export { ArrayConstraints, ArrayField, BooleanField, ConditionalField, DiscriminatedUnionField, Editability, EnumField, FieldBase, FieldConstraints, FieldOverride, FieldOverrides, FileConstraints, FileField, JsonObject, LiteralField, NegationField, NeverField, NullField, NumberConstraints, NumberField, ObjectConstraints, ObjectField, RecordField, RecursiveField, SchemaMeta, SchemaType, StringConstraints, StringField, TupleField, UnionField, UnknownField, WalkedField, isArrayField, isBooleanField, isConditionalField, isDiscriminatedUnionField, isEnumField, isFileField, isLiteralField, isNegationField, isNeverField, isNullField, isNumberField, isObjectField, isRecordField, isRecursiveField, isStringField, isTupleField, isUnionField, isUnknownField, resolveEditability };
+import { A as UnknownField, B as isNeverField, C as RecordField, D as StringField, E as StringConstraints, F as isDiscriminatedUnionField, G as isStringField, H as isNumberField, I as isEnumField, J as isUnknownField, K as isTupleField, L as isFileField, M as isArrayField, N as isBooleanField, O as TupleField, P as isConditionalField, R as isLiteralField, S as ObjectField, T as SchemaType, U as isObjectField, V as isNullField, W as isRecordField, Y as resolveEditability, _ as NeverField, a as DiscriminatedUnionField, b as NumberField, c as FieldBase, d as FieldOverrides, f as FileConstraints, g as NegationField, h as LiteralField, i as ConditionalField, j as WalkedField, k as UnionField, l as FieldConstraints, m as JsonObject, n as ArrayField, o as Editability, p as FileField, q as isUnionField, r as BooleanField, s as EnumField, t as ArrayConstraints, u as FieldOverride, v as NullField, w as SchemaMeta, x as ObjectConstraints, y as NumberConstraints, z as isNegationField } from "../types-BrRMV0en.mjs";
+export { ArrayConstraints, ArrayField, BooleanField, ConditionalField, DiscriminatedUnionField, Editability, EnumField, FieldBase, FieldConstraints, FieldOverride, FieldOverrides, FileConstraints, FileField, JsonObject, LiteralField, NegationField, NeverField, NullField, NumberConstraints, NumberField, ObjectConstraints, ObjectField, RecordField, SchemaMeta, SchemaType, StringConstraints, StringField, TupleField, UnionField, UnknownField, WalkedField, isArrayField, isBooleanField, isConditionalField, isDiscriminatedUnionField, isEnumField, isFileField, isLiteralField, isNegationField, isNeverField, isNullField, isNumberField, isObjectField, isRecordField, isStringField, isTupleField, isUnionField, isUnknownField, resolveEditability };

package/dist/core/types.mjs

@@ -83,9 +83,6 @@ function isNegationField(field) {
 function isFileField(field) {
 	return isField(field, "file");
 }
-function isRecursiveField(field) {
-	return isField(field, "recursive");
-}
 function isNeverField(field) {
 	return isField(field, "never");
 }
@@ -93,4 +90,4 @@ function isUnknownField(field) {
 	return isField(field, "unknown");
 }
 //#endregion
-export { isArrayField, isBooleanField, isConditionalField, isDiscriminatedUnionField, isEnumField, isFileField, isLiteralField, isNegationField, isNeverField, isNullField, isNumberField, isObjectField, isRecordField, isRecursiveField, isStringField, isTupleField, isUnionField, isUnknownField, resolveEditability };
+export { isArrayField, isBooleanField, isConditionalField, isDiscriminatedUnionField, isEnumField, isFileField, isLiteralField, isNegationField, isNeverField, isNullField, isNumberField, isObjectField, isRecordField, isStringField, isTupleField, isUnionField, isUnknownField, resolveEditability };

package/dist/core/version.d.mts

@@ -1,2 +1,2 @@
-import { a as detectJsonSchemaDraft, c as inferJsonSchemaDraftWithReason, d as isSwagger2, f as matchJsonSchemaDraftUri, i as OpenApiVersionInfo, l as isOpenApi30, n as JsonSchemaDialectInfo, o as detectOpenApiVersion, p as readJsonSchemaDialect, r as JsonSchemaDraft, s as inferJsonSchemaDraft, t as InferredDraft, u as isOpenApi31 } from "../version-D-u7aMfy.mjs";
+import { a as detectJsonSchemaDraft, c as inferJsonSchemaDraftWithReason, d as isSwagger2, f as matchJsonSchemaDraftUri, i as OpenApiVersionInfo, l as isOpenApi30, n as JsonSchemaDialectInfo, o as detectOpenApiVersion, p as readJsonSchemaDialect, r as JsonSchemaDraft, s as inferJsonSchemaDraft, t as InferredDraft, u as isOpenApi31 } from "../version-D2jfdX6E.mjs";
 export { InferredDraft, JsonSchemaDialectInfo, JsonSchemaDraft, OpenApiVersionInfo, detectJsonSchemaDraft, detectOpenApiVersion, inferJsonSchemaDraft, inferJsonSchemaDraftWithReason, isOpenApi30, isOpenApi31, isSwagger2, matchJsonSchemaDraftUri, readJsonSchemaDialect };

package/dist/core/walkBuilders.d.mts

@@ -1,6 +1,6 @@
-import { M as WalkedField, O as StringField, T as SchemaMeta, b as NumberField, c as FieldBase, j as UnknownField, o as Editability, p as FileField, r as BooleanField, v as NullField } from "../types-BnxPEElk.mjs";
-import { i as DiagnosticsOptions } from "../diagnostics-CbBPsxSt.mjs";
-import { t as ExternalResolver } from "../ref-si8ViYun.mjs";
+import { A as UnknownField, D as StringField, b as NumberField, c as FieldBase, j as WalkedField, o as Editability, p as FileField, r as BooleanField, v as NullField, w as SchemaMeta } from "../types-BrRMV0en.mjs";
+import { i as DiagnosticsOptions } from "../diagnostics-D0QCYGv0.mjs";
+import { t as ExternalResolver } from "../ref-D-_JBZkF.mjs";
 
 //#region src/core/walkBuilders.d.ts
 declare function getString(obj: Record<string, unknown>, key: string): string | undefined;

package/dist/core/walker.d.mts

@@ -1,4 +1,4 @@
-import { M as WalkedField } from "../types-BnxPEElk.mjs";
+import { j as WalkedField } from "../types-BrRMV0en.mjs";
 import { WalkOptions } from "./walkBuilders.mjs";
 
 //#region src/core/walker.d.ts

package/dist/core/walker.mjs

@@ -2,6 +2,7 @@ import { isObject } from "./guards.mjs";
 import { appendPointer, emitDiagnostic } from "./diagnostics.mjs";
 import { isPrototypePollutingKey } from "./uri.mjs";
 import { countDistinctRefs, resolveRef } from "./ref.mjs";
+import { matchJsonSchemaDraftUri } from "./version.mjs";
 import { extractArrayConstraints, extractObjectConstraints, stripInapplicableConstraints } from "./constraints.mjs";
 import { ANNOTATION_SIBLINGS, detectDiscriminated, mergeAllOf, mergeRefSiblings, normaliseAnyOf } from "./merge.mjs";
 import { buildBase, buildBooleanField, buildFileField, buildNullField, buildNumberField, buildStringField, buildUnknownField, extractChildOverride, extractSchemaMetaFields, getArray, getObject, getString, isPrimitive, walkDependentRequiredMap, walkSubSchemaMap, withoutKeys } from "./walkBuilders.mjs";
@@ -40,6 +41,55 @@ function walkSubSchema(value, ctx) {
 		constraints: {}
 	};
 }
+/**
+* Rank an `unevaluatedProperties`/`unevaluatedItems` value by how
+* restrictive it is. Higher is stricter. The ordering reflects
+* JSON Schema 2020-12 §11.2/§11.3 semantics:
+*
+*   false (forbid all extras)
+*     > schema-object (extras must match the schema)
+*     > true (extras explicitly permitted)
+*     > absent (extras implicitly permitted)
+*
+* Unknown shapes (numbers, arrays, strings) sort below absent — we
+* cannot reason about them, so do not let them override anything.
+*/
+function unevaluatedRank(value) {
+	if (value === false) return 3;
+	if (isObject(value)) return 2;
+	if (value === true) return 1;
+	if (value === void 0) return 0;
+	return -1;
+}
+/**
+* Pick the strictest `unevaluatedProperties` / `unevaluatedItems` across
+* a set of `allOf` branches (including the parent prepended as a
+* branch) and apply it to the merged node. `mergeAllOf` already collects
+* properties from every branch into the merged result; surfacing the
+* strictest unevaluated keyword closes the loop so the walker's object
+* builder sees the spec-correct value.
+*
+* The merged node is mutated in place — that is consistent with the
+* surrounding walker code, which treats the merge output as a fresh
+* working node.
+*/
+function applyStrictestUnevaluated(merged, branches) {
+	let strictestProps = merged.unevaluatedProperties;
+	let strictestItems = merged.unevaluatedItems;
+	for (const branch of branches) {
+		if (!isObject(branch)) continue;
+		if ("unevaluatedProperties" in branch) {
+			const candidate = branch.unevaluatedProperties;
+			if (unevaluatedRank(candidate) > unevaluatedRank(strictestProps)) strictestProps = candidate;
+		}
+		if ("unevaluatedItems" in branch) {
+			const candidate = branch.unevaluatedItems;
+			if (unevaluatedRank(candidate) > unevaluatedRank(strictestItems)) strictestItems = candidate;
+		}
+	}
+	if (strictestProps !== void 0) merged.unevaluatedProperties = strictestProps;
+	if (strictestItems !== void 0) merged.unevaluatedItems = strictestItems;
+}
 function walk(schema, options = {}) {
 	const { componentMeta, rootMeta, fieldOverrides, rootDocument, diagnostics, externalResolver } = options;
 	if (typeof schema === "boolean") return walkBooleanSchema(schema);
@@ -76,8 +126,10 @@ function walk(schema, options = {}) {
 function walkNode(schema, ctx) {
 	const allOf = getArray(schema, "allOf");
 	if (allOf !== void 0 && allOf.length > 0) {
-		const merged = mergeAllOf(allOf, ctx.diagnostics, ctx.pointer);
+		const branches = [withoutKeys(schema, ["allOf"]), ...allOf];
+		const merged = mergeAllOf(branches, ctx.diagnostics, ctx.pointer);
 		if (merged === false) return walkBooleanSchema(false);
+		applyStrictestUnevaluated(merged, branches);
 		return walkNode(merged, ctx);
 	}
 	const anyOf = getArray(schema, "anyOf");
@@ -227,11 +279,36 @@ function walkNode(schema, ctx) {
 	});
 	return buildUnknownField(schema, ctx);
 }
+/**
+* Drafts that pre-date the `contentSchema` keyword (added in Draft
+* 2019-09). Used to emit `keyword-out-of-draft` when a document
+* declaring one of these drafts uses `contentSchema` anyway.
+*/
+const PRE_CONTENT_SCHEMA_DRAFTS = new Set([
+	"draft-04",
+	"draft-06",
+	"draft-07"
+]);
 function walkString(schema, ctx) {
 	if (getString(schema, "format") === "binary") return buildFileField(schema, ctx);
 	const field = buildStringField(schema, ctx);
 	const contentSchema = getObject(schema, "contentSchema");
-	if (contentSchema !== void 0) field.meta.decodedSchema = walkNode(contentSchema, ctx);
+	if (contentSchema !== void 0) {
+		const rootSchema = getString(ctx.rootDocument, "$schema");
+		if (rootSchema !== void 0) {
+			const draft = matchJsonSchemaDraftUri(rootSchema);
+			if (draft !== void 0 && PRE_CONTENT_SCHEMA_DRAFTS.has(draft)) emitDiagnostic(ctx.diagnostics, {
+				code: "keyword-out-of-draft",
+				message: `\`contentSchema\` is a Draft 2019-09+ keyword; the document declares ${draft}`,
+				pointer: appendPointer(ctx.pointer, "contentSchema"),
+				detail: {
+					keyword: "contentSchema",
+					declaredDraft: draft
+				}
+			});
+		}
+		field.meta.decodedSchema = walkNode(contentSchema, ctx);
+	}
 	return field;
 }
 function walkNumber(schema, ctx) {

package/dist/{diagnostics-CbBPsxSt.d.mts → diagnostics-D0QCYGv0.d.mts}

@@ -16,7 +16,7 @@
  * Machine-readable codes identifying each class of diagnostic.
  * Stable across releases — consumers can pattern-match on these.
  */
-type DiagnosticCode = "unresolved-ref" | "unknown-keyword" | "unknown-format" | "invalid-const" | "unsupported-type" | "dropped-swagger-feature" | "external-ref" | "type-negation-fallback" | "conditional-fallback" | "assumed-draft" | "depth-exceeded" | "allof-conflict" | "discriminator-inconsistent" | "divisible-by-conflict" | "legacy-dependencies-split" | "dependent-required-invalid" | "unknown-json-schema-dialect" | "relative-ref-resolved" | "bare-exclusive-bound" | "enum-value-filtered" | "required-non-string" | "pattern-invalid" | "duplicate-body-parameter" | "prototype-polluting-property";
+type DiagnosticCode = "unresolved-ref" | "unknown-keyword" | "unknown-format" | "invalid-const" | "invalid-id-fragment" | "unsupported-type" | "dropped-swagger-feature" | "dynamic-ref-degraded" | "external-ref" | "type-negation-fallback" | "conditional-fallback" | "assumed-draft" | "depth-exceeded" | "allof-conflict" | "discriminator-inconsistent" | "divisible-by-conflict" | "keyword-out-of-draft" | "legacy-dependencies-split" | "dependent-required-invalid" | "unknown-json-schema-dialect" | "unknown-openapi-version" | "relative-ref-resolved" | "bare-exclusive-bound" | "enum-value-filtered" | "required-non-string" | "pattern-invalid" | "duplicate-body-parameter" | "prototype-polluting-property" | "cross-schema-relative-ref-unsupported" | "cyclic-path-item-ref" | "doc-not-object" | "path-item-ref-too-deep" | "swagger-cyclic-parameter-ref" | "swagger-invalid-file-parameter" | "swagger-missing-consumes" | "swagger-missing-host" | "type-mismatch" | "unknown-security-scheme-type" | "zod-codec-output-only";
 /**
  * A single diagnostic emitted during schema processing.
  */

package/dist/{errors-QEwOtQAA.d.mts → errors-DpFwqs5C.d.mts}

@@ -32,7 +32,7 @@ declare class SchemaError extends Error {
  * JSON Schema, missing OpenAPI ref, unsupported ref format.
  */
 declare class SchemaNormalisationError extends SchemaError {
-  readonly kind: "invalid-zod" | "zod3-unsupported" | "zod-transform-unsupported" | "zod-type-unrepresentable" | "zod-conversion-failed" | "zod-conversion-bug" | "zod-cycle-detected" | "zod-duplicate-id" | "invalid-json-schema" | "openapi-missing-ref" | "openapi-invalid" | "unknown";
+  readonly kind: "invalid-zod" | "unsupported-schema" | "zod3-unsupported" | "zod-transform-unsupported" | "zod-type-unrepresentable" | "zod-conversion-failed" | "zod-conversion-bug" | "zod-cycle-detected" | "zod-duplicate-id" | "invalid-json-schema" | "openapi-missing-ref" | "openapi-invalid" | "unknown";
   /**
    * For `zod-type-unrepresentable`, the offending Zod type name
    * (e.g. "bigint", "date", "map", "set"). `undefined` for other kinds.

package/dist/html/a11y.d.mts

@@ -1,5 +1,5 @@
-import { M as WalkedField } from "../types-BnxPEElk.mjs";
-import { t as AllConstraints } from "../renderer-DI6ZYf7a.mjs";
+import { j as WalkedField } from "../types-BrRMV0en.mjs";
+import { t as AllConstraints } from "../renderer-BaRlQIuN.mjs";
 import { HtmlAttributes, HtmlNode } from "./html.mjs";
 
 //#region src/html/a11y.d.ts

package/dist/html/a11y.mjs

@@ -18,11 +18,18 @@ function joinPath(parent, suffix) {
 }
 /**
 * Normalise a path into the id segment used after the `sc-` prefix.
-* Dots (object nesting) and brackets (array indices) become hyphens so
-* the id remains a valid CSS selector and matches test query semantics.
+*
+* Whitelist-based: every character outside `[A-Za-z0-9_-]` collapses to
+* a single hyphen. A blacklist that only stripped `.[]` would still leak
+* spaces, slashes, and other punctuation through into ids when a path
+* is sourced from a free-text field like `meta.description` — producing
+* structurally invalid CSS selectors and `aria-labelledby` references.
+*
+* Trailing hyphens are trimmed so e.g. `tags[0]` → `tags-0` (not
+* `tags-0-`).
 */
 function normaliseIdSegment(value) {
-	return value.replace(/[.[\]]+/g, "-").replace(/-+$/g, "");
+	return value.replace(/[^A-Za-z0-9_-]+/g, "-").replace(/-+$/g, "");
 }
 /**
 * Build the input ID for a field at a given path.

package/dist/html/renderToHtml.d.mts

@@ -1,7 +1,14 @@
-import { T as SchemaMeta } from "../types-BnxPEElk.mjs";
-import { o as HtmlResolver } from "../renderer-DI6ZYf7a.mjs";
+import { w as SchemaMeta } from "../types-BrRMV0en.mjs";
+import { o as HtmlResolver } from "../renderer-BaRlQIuN.mjs";
 
 //#region src/html/renderToHtml.d.ts
+/**
+ * Build the recursion-cap sentinel element. The label is interpolated
+ * via `h()` + `serialize` so any HTML in `meta.description` (which is
+ * schema-author content but can equally be sourced from user-supplied
+ * JSON Schema input) is escaped — never interpolated into raw markup.
+ */
+declare function recursionSentinelHtml(label: string): string;
 interface RenderToHtmlOptions {
   /** The data value to render. */
   value?: unknown;
@@ -29,4 +36,4 @@ interface RenderToHtmlOptions {
  */
 declare function renderToHtml(schema: unknown, options?: RenderToHtmlOptions): string;
 //#endregion
-export { RenderToHtmlOptions, renderToHtml };
+export { RenderToHtmlOptions, recursionSentinelHtml, renderToHtml };

package/dist/html/renderToHtml.mjs

@@ -1,6 +1,8 @@
+import "../core/limits.mjs";
 import { normaliseSchema } from "../core/adapter.mjs";
 import { getHtmlRenderFn, mergeHtmlResolvers } from "../core/renderer.mjs";
 import { walk } from "../core/walker.mjs";
+import { h, serialize } from "./html.mjs";
 import { joinPath } from "./a11y.mjs";
 import { defaultHtmlResolver } from "./renderers.mjs";
 //#region src/html/renderToHtml.ts
@@ -25,6 +27,15 @@ import { defaultHtmlResolver } from "./renderers.mjs";
 *   });
 */
 /**
+* Build the recursion-cap sentinel element. The label is interpolated
+* via `h()` + `serialize` so any HTML in `meta.description` (which is
+* schema-author content but can equally be sourced from user-supplied
+* JSON Schema input) is escaped — never interpolated into raw markup.
+*/
+function recursionSentinelHtml(label) {
+	return serialize(h("fieldset", { class: "sc-recursive" }, h("em", {}, `↻ ${label} (recursive)`)));
+}
+/**
 * Render a schema to an HTML string.
 *
 * @param schema - Zod schema, JSON Schema, or OpenAPI document
@@ -44,9 +55,8 @@ function renderToHtml(schema, options = {}) {
 		rootDocument
 	});
 	const resolver = options.resolver ?? defaultHtmlResolver;
-	const MAX_HTML_DEPTH = 10;
 	const makeRenderChild = (currentDepth, parentPath) => (childTree, childValue, pathSuffix) => {
-		if (currentDepth >= MAX_HTML_DEPTH) return `<fieldset class="sc-recursive"><em>\u21bb ${typeof childTree.meta.description === "string" ? childTree.meta.description : "schema"} (recursive)</em></fieldset>`;
+		if (currentDepth >= 10) return recursionSentinelHtml(typeof childTree.meta.description === "string" ? childTree.meta.description : "schema");
 		const childPath = joinPath(parentPath, pathSuffix);
 		return renderFieldHtml(childTree, childValue, resolver, childPath, makeRenderChild(currentDepth + 1, childPath));
 	};
@@ -73,4 +83,4 @@ function renderFieldHtml(tree, value, resolver, path, renderChild) {
 	return renderFn(props);
 }
 //#endregion
-export { renderToHtml };
+export { recursionSentinelHtml, renderToHtml };

package/dist/html/renderToHtmlStream.d.mts

@@ -1,5 +1,5 @@
-import { T as SchemaMeta } from "../types-BnxPEElk.mjs";
-import { o as HtmlResolver } from "../renderer-DI6ZYf7a.mjs";
+import { w as SchemaMeta } from "../types-BrRMV0en.mjs";
+import { o as HtmlResolver } from "../renderer-BaRlQIuN.mjs";
 
 //#region src/html/renderToHtmlStream.d.ts
 interface StreamRenderOptions {

package/dist/html/renderers.d.mts

@@ -1,5 +1,5 @@
-import { M as WalkedField } from "../types-BnxPEElk.mjs";
-import { o as HtmlResolver } from "../renderer-DI6ZYf7a.mjs";
+import { j as WalkedField } from "../types-BrRMV0en.mjs";
+import { o as HtmlResolver } from "../renderer-BaRlQIuN.mjs";
 
 //#region src/html/renderers.d.ts
 declare function dateInputType(format: string | undefined): string | undefined;

package/dist/html/renderers.mjs

@@ -334,10 +334,6 @@ function renderFileHtml(props) {
 	if (typeof props.meta.description === "string") Object.assign(attrs, ariaLabelAttrs(props.meta.description));
 	return serialize(h("input", attrs));
 }
-function renderRecursiveHtml(props) {
-	const refTarget = props.tree.type === "recursive" ? props.tree.refTarget : "";
-	return serialize(h("fieldset", { class: "sc-recursive" }, `↻ ${typeof props.meta.description === "string" ? props.meta.description : refTarget} (recursive)`));
-}
 function renderUnknownHtml(props) {
 	if (props.readOnly) {
 		if (props.value === void 0 || props.value === null) return serialize(h("span", { class: "sc-value sc-value--empty" }, "—"));
@@ -433,7 +429,6 @@ const defaultHtmlResolver = {
 	discriminatedUnion: renderDiscriminatedUnionHtml,
 	conditional: renderConditionalHtml,
 	negation: renderNegationHtml,
-	recursive: renderRecursiveHtml,
 	file: renderFileHtml,
 	never: renderNeverHtml,
 	unknown: renderUnknownHtml

package/dist/html/streamRenderers.d.mts

@@ -1,13 +1,14 @@
-import { M as WalkedField } from "../types-BnxPEElk.mjs";
-import { o as HtmlResolver } from "../renderer-DI6ZYf7a.mjs";
+import { j as WalkedField } from "../types-BrRMV0en.mjs";
+import { i as DiagnosticsOptions } from "../diagnostics-D0QCYGv0.mjs";
+import { o as HtmlResolver } from "../renderer-BaRlQIuN.mjs";
 import { HtmlElement } from "./html.mjs";
 
 //#region src/html/streamRenderers.d.ts
 declare function yieldOpen(el: HtmlElement): string;
 declare function yieldClose(el: HtmlElement): string;
 declare function renderLeaf(tree: WalkedField, value: unknown, mergedResolver: HtmlResolver, path: string): string;
-declare function renderFieldSync(tree: WalkedField, value: unknown, mergedResolver: HtmlResolver, path: string, rawResolver: HtmlResolver): string;
+declare function renderFieldSync(tree: WalkedField, value: unknown, mergedResolver: HtmlResolver, path: string, rawResolver: HtmlResolver, currentDepth: number, diagnostics: DiagnosticsOptions | undefined): string;
 declare function matchUnionOption(options: WalkedField[], value: unknown): WalkedField | undefined;
-declare function streamField(tree: WalkedField, value: unknown, mergedResolver: HtmlResolver, path: string, rawResolver: HtmlResolver): Iterable<string, void, undefined>;
+declare function streamField(tree: WalkedField, value: unknown, mergedResolver: HtmlResolver, path: string, rawResolver: HtmlResolver, currentDepth?: number, diagnostics?: DiagnosticsOptions): Iterable<string, void, undefined>;
 //#endregion
 export { matchUnionOption, renderFieldSync, renderLeaf, streamField, yieldClose, yieldOpen };

package/dist/html/streamRenderers.mjs

@@ -1,7 +1,10 @@
 import { isObject } from "../core/guards.mjs";
+import "../core/limits.mjs";
+import { emitDiagnostic } from "../core/diagnostics.mjs";
 import { getHtmlRenderFn } from "../core/renderer.mjs";
 import { VOID_ELEMENTS, h, raw, serialize, serializeAttributes } from "./html.mjs";
-import { ariaLabelAttrs, buildHintElement, buildInputId, requiredIndicator } from "./a11y.mjs";
+import { ariaLabelAttrs, buildHintElement, buildInputId, joinPath, requiredIndicator } from "./a11y.mjs";
+import { recursionSentinelHtml } from "./renderToHtml.mjs";
 //#region src/html/streamRenderers.ts
 function yieldOpen(el) {
 	const attrStr = serializeAttributes(el.attributes);
@@ -27,8 +30,8 @@ function renderLeaf(tree, value, mergedResolver, path) {
 	if (value === void 0 || value === null) return serialize(h("span", { class: "sc-value sc-value--empty" }, "—"));
 	return serialize(h("span", { class: "sc-value" }, typeof value === "string" ? value : JSON.stringify(value)));
 }
-function renderFieldSync(tree, value, mergedResolver, path, rawResolver) {
-	return [...streamField(tree, value, mergedResolver, path, rawResolver)].join("");
+function renderFieldSync(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
+	return [...streamField(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics)].join("");
 }
 function matchUnionOption(options, value) {
 	if (typeof value === "string") return options.find((o) => o.type === "string" || o.type === "enum");
@@ -37,7 +40,26 @@ function matchUnionOption(options, value) {
 	if (Array.isArray(value)) return options.find((o) => o.type === "array");
 	if (typeof value === "object" && value !== null) return options.find((o) => o.type === "object");
 }
-function* streamField(tree, value, mergedResolver, path, rawResolver) {
+/**
+* Build a visible placeholder element used when a value does not match
+* the shape implied by its field type. The expected-shape label is
+* passed verbatim into `h()` so the serialiser escapes it.
+*
+* Streaming must keep producing output, so we never throw here — the
+* diagnostic surfaces the problem to the caller (when a sink is wired)
+* while the rendered output remains structurally valid.
+*/
+function typeMismatchPlaceholder(expectedShape) {
+	return serialize(h("span", {
+		class: "sc-value sc-value--invalid",
+		role: "alert"
+	}, `invalid value (expected ${expectedShape})`));
+}
+function* streamField(tree, value, mergedResolver, path, rawResolver, currentDepth = 0, diagnostics) {
+	if (currentDepth >= 10) {
+		yield recursionSentinelHtml(typeof tree.meta.description === "string" ? tree.meta.description : "schema");
+		return;
+	}
 	const effectiveValue = value ?? tree.defaultValue;
 	const type = tree.type;
 	if (type === "string" || type === "number" || type === "boolean" || type === "enum" || type === "literal" || type === "file" || type === "unknown") {
@@ -45,30 +67,44 @@ function* streamField(tree, value, mergedResolver, path, rawResolver) {
 		return;
 	}
 	if (type === "union") {
-		yield* streamUnion(tree, effectiveValue, mergedResolver, path, rawResolver);
+		yield* streamUnion(tree, effectiveValue, mergedResolver, path, rawResolver, currentDepth, diagnostics);
 		return;
 	}
 	if (type === "discriminatedUnion") {
-		yield* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolver);
+		yield* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics);
 		return;
 	}
 	if (type === "object") {
-		yield* streamObject(tree, value, mergedResolver, path, rawResolver);
+		yield* streamObject(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics);
 		return;
 	}
 	if (type === "array") {
-		yield* streamArray(tree, value, mergedResolver, path, rawResolver);
+		yield* streamArray(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics);
 		return;
 	}
 	if (type === "record") {
-		yield* streamRecord(tree, value, mergedResolver, path, rawResolver);
+		yield* streamRecord(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics);
 		return;
 	}
 	yield renderLeaf(tree, value, mergedResolver, path);
 }
-function* streamObject(tree, value, mergedResolver, path, rawResolver) {
+function* streamObject(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
 	if (tree.type !== "object") return;
 	const fields = tree.fields;
+	if (value !== void 0 && value !== null && !isObject(value)) {
+		emitDiagnostic(diagnostics, {
+			code: "type-mismatch",
+			message: "Object schema received non-object value during streaming render",
+			pointer: path === "" ? "/" : `/${path}`,
+			detail: {
+				expected: "object",
+				actualType: typeof value,
+				path
+			}
+		});
+		yield typeMismatchPlaceholder("object");
+		return;
+	}
 	const obj = isObject(value) ? value : {};
 	const readOnly = tree.editability === "presentation";
 	const descriptionText = typeof tree.meta.description === "string" ? tree.meta.description : void 0;
@@ -82,7 +118,7 @@ function* streamObject(tree, value, mergedResolver, path, rawResolver) {
 		for (const [key, field] of Object.entries(fields)) {
 			const label = typeof field.meta.description === "string" ? field.meta.description : key;
 			const childValue = obj[key];
-			const childHtml = renderFieldSync(field, childValue, mergedResolver, key, rawResolver);
+			const childHtml = renderFieldSync(field, childValue, mergedResolver, joinPath(path, key), rawResolver, currentDepth + 1, diagnostics);
 			yield `${serialize(h("dt", { class: "sc-label" }, label))}${serialize(h("dd", { class: "sc-value" }, raw(childHtml)))}`;
 		}
 		yield yieldClose(dl);
@@ -96,7 +132,7 @@ function* streamObject(tree, value, mergedResolver, path, rawResolver) {
 			const label = typeof field.meta.description === "string" ? field.meta.description : key;
 			const fieldId = buildInputId(path, key);
 			const childValue = obj[key];
-			const childChunks = [...streamField(field, childValue, mergedResolver, key, rawResolver)].join("");
+			const childChunks = [...streamField(field, childValue, mergedResolver, joinPath(path, key), rawResolver, currentDepth + 1, diagnostics)].join("");
 			const required = requiredIndicator(field);
 			const labelContent = [label];
 			if (required !== void 0) labelContent.push(required);
@@ -111,29 +147,55 @@ function* streamObject(tree, value, mergedResolver, path, rawResolver) {
 		yield yieldClose(fieldset);
 	}
 }
-function* streamArray(tree, value, mergedResolver, path, rawResolver) {
-	const arr = Array.isArray(value) ? value : [];
+function* streamArray(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
 	if (tree.type !== "array") return;
 	const element = tree.element;
 	if (element === void 0) return;
-	const readOnly = tree.editability === "presentation";
-	const elementPath = typeof element.meta.description === "string" ? element.meta.description : "";
-	if (readOnly) {
+	if (value !== void 0 && value !== null && !Array.isArray(value)) {
+		emitDiagnostic(diagnostics, {
+			code: "type-mismatch",
+			message: "Array schema received non-array value during streaming render",
+			pointer: path === "" ? "/" : `/${path}`,
+			detail: {
+				expected: "array",
+				actualType: typeof value,
+				path
+			}
+		});
+		yield typeMismatchPlaceholder("array");
+		return;
+	}
+	const arr = Array.isArray(value) ? value : [];
+	if (tree.editability === "presentation") {
 		const ul = h("ul", { class: "sc-array" });
 		yield yieldOpen(ul);
-		for (const item of arr) yield serialize(h("li", { class: "sc-item" }, raw(renderFieldSync(element, item, mergedResolver, elementPath, rawResolver))));
+		for (const [i, item] of arr.entries()) yield serialize(h("li", { class: "sc-item" }, raw(renderFieldSync(element, item, mergedResolver, joinPath(path, `[${String(i)}]`), rawResolver, currentDepth + 1, diagnostics))));
 		yield yieldClose(ul);
 	} else {
 		const div = h("div", { class: "sc-array" });
 		yield yieldOpen(div);
-		for (const item of arr) yield serialize(h("div", {}, raw(renderFieldSync(element, item, mergedResolver, elementPath, rawResolver))));
+		for (const [i, item] of arr.entries()) yield serialize(h("div", {}, raw(renderFieldSync(element, item, mergedResolver, joinPath(path, `[${String(i)}]`), rawResolver, currentDepth + 1, diagnostics))));
 		yield yieldClose(div);
 	}
 }
-function* streamRecord(tree, value, mergedResolver, path, rawResolver) {
-	const obj = isObject(value) ? value : {};
+function* streamRecord(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
 	if (tree.type !== "record") return;
 	const valueType = tree.valueType;
+	if (value !== void 0 && value !== null && !isObject(value)) {
+		emitDiagnostic(diagnostics, {
+			code: "type-mismatch",
+			message: "Record schema received non-object value during streaming render",
+			pointer: path === "" ? "/" : `/${path}`,
+			detail: {
+				expected: "object",
+				actualType: typeof value,
+				path
+			}
+		});
+		yield typeMismatchPlaceholder("object");
+		return;
+	}
+	const obj = isObject(value) ? value : {};
 	const readOnly = tree.editability === "presentation";
 	const attrs = {
 		class: "sc-record",
@@ -143,7 +205,7 @@ function* streamRecord(tree, value, mergedResolver, path, rawResolver) {
 		const dl = h("dl", attrs);
 		yield yieldOpen(dl);
 		for (const [key, val] of Object.entries(obj)) {
-			const childHtml = renderFieldSync(valueType, val, mergedResolver, key, rawResolver);
+			const childHtml = renderFieldSync(valueType, val, mergedResolver, joinPath(path, key), rawResolver, currentDepth + 1, diagnostics);
 			yield `${serialize(h("dt", { class: "sc-label" }, key))}${serialize(h("dd", { class: "sc-value" }, raw(childHtml)))}`;
 		}
 		yield yieldClose(dl);
@@ -151,13 +213,13 @@ function* streamRecord(tree, value, mergedResolver, path, rawResolver) {
 		const container = h("div", attrs);
 		yield yieldOpen(container);
 		for (const [key, val] of Object.entries(obj)) {
-			const childHtml = renderFieldSync(valueType, val, mergedResolver, key, rawResolver);
+			const childHtml = renderFieldSync(valueType, val, mergedResolver, joinPath(path, key), rawResolver, currentDepth + 1, diagnostics);
 			yield serialize(h("div", { class: "sc-field" }, h("label", { class: "sc-label" }, key), raw(childHtml)));
 		}
 		yield yieldClose(container);
 	}
 }
-function* streamUnion(tree, value, mergedResolver, path, rawResolver) {
+function* streamUnion(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
 	const options = tree.type === "union" ? tree.options : void 0;
 	if (options === void 0 || options.length === 0) {
 		if (value === void 0 || value === null) yield serialize(h("span", { class: "sc-value sc-value--empty" }, "—"));
@@ -165,10 +227,10 @@ function* streamUnion(tree, value, mergedResolver, path, rawResolver) {
 		return;
 	}
 	const target = matchUnionOption(options, value) ?? options[0];
-	if (target !== void 0) yield* streamField(target, value, mergedResolver, typeof target.meta.description === "string" ? target.meta.description : "", rawResolver);
+	if (target !== void 0) yield* streamField(target, value, mergedResolver, path, rawResolver, currentDepth + 1, diagnostics);
 	else yield serialize(h("span", { class: "sc-value sc-value--empty" }, "—"));
 }
-function* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolver) {
+function* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolver, currentDepth, diagnostics) {
 	const options = tree.type === "discriminatedUnion" ? tree.options : void 0;
 	const discriminator = tree.type === "discriminatedUnion" ? tree.discriminator : void 0;
 	if (options === void 0 || options.length === 0) {
@@ -176,8 +238,7 @@ function* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolve
 		else yield serialize(h("span", { class: "sc-value" }, JSON.stringify(value)));
 		return;
 	}
-	const isRecord = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
-	const obj = isRecord(value) ? value : {};
+	const obj = isObject(value) ? value : {};
 	const discKey = discriminator ?? "";
 	const currentDiscriminatorValue = typeof obj[discKey] === "string" ? obj[discKey] : void 0;
 	const optionLabels = options.map((opt) => {
@@ -197,7 +258,7 @@ function* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolve
 	}
 	const activeOption = options[activeIndex];
 	if (tree.editability === "presentation") {
-		if (activeOption !== void 0) yield* streamField(activeOption, value, mergedResolver, typeof activeOption.meta.description === "string" ? activeOption.meta.description : "", rawResolver);
+		if (activeOption !== void 0) yield* streamField(activeOption, value, mergedResolver, path, rawResolver, currentDepth + 1, diagnostics);
 		return;
 	}
 	const panelId = `sc-${path}-panel`;
@@ -224,7 +285,7 @@ function* streamDiscriminatedUnion(tree, value, mergedResolver, path, rawResolve
 		"aria-labelledby": `sc-${path}-tab-${String(activeIndex)}`
 	});
 	yield yieldOpen(panelOpen);
-	if (activeOption !== void 0) yield* streamField(activeOption, value, mergedResolver, typeof activeOption.meta.description === "string" ? activeOption.meta.description : "", rawResolver);
+	if (activeOption !== void 0) yield* streamField(activeOption, value, mergedResolver, path, rawResolver, currentDepth + 1, diagnostics);
 	yield yieldClose(panelOpen);
 	yield yieldClose(wrapper);
 }