praxis-kit 0.1.0 → 1.0.2

package/dist/{build-runtime-CJ_nQEaZ.js → build-runtime-cNkW-D62.js}

@@ -11,11 +11,6 @@ function invariant(condition, message) {
 	if (!condition) panic(message);
 }
 //#endregion
-//#region ../../lib/adapter-utils/src/runtime/define-component.ts
-function defineContractComponent(options) {
-	return (factory) => factory(options);
-}
-//#endregion
 //#region ../../lib/adapter-utils/src/runtime/assemble-compound-component.ts
 /**
 * Assembles a compound component by attaching sub-components to a
@@ -1010,6 +1005,59 @@ function finalizeComponent(component, defaultTag, subComponents) {
 	return assembleCompoundComponent(component, subComponents);
 }
 //#endregion
+//#region ../../lib/adapter-utils/src/runtime/is-factory-options-like.ts
+/**
+* Loosely validates one recognized `FactoryOptions` field's runtime shape.
+* "Loosely" because the field's declared type is itself parameterized by a
+* generic (Props, Variants, TPlugin, ...) that's erased at runtime — these
+* checks confirm the field is the right *kind* of value (object, function,
+* string), not that it satisfies its exact generic instantiation, which no
+* runtime check can ever do.
+*
+* Covers every field `FactoryOptions` itself declares — identical across
+* every adapter, since they all extend the same core type. Adapter-specific
+* additions (React's `slotComponent`/`artifact`, every adapter's own
+* `filterProps`, etc.) are passed in by the caller as extra entries.
+*/
+const FACTORY_OPTIONS_FIELD_VALIDATORS = {
+	tag: (v) => v === void 0 || isString(v),
+	name: (v) => v === void 0 || isString(v),
+	defaults: (v) => v === void 0 || isObject(v),
+	normalize: (v) => v === void 0 || isFunction(v),
+	styling: (v) => v === void 0 || isObject(v),
+	enforcement: (v) => v === void 0 || isObject(v),
+	diagnostics: (v) => v === void 0 || isObject(v),
+	subComponents: (v) => v === void 0 || isObject(v),
+	onElement: (v) => v === void 0 || isFunction(v)
+};
+/**
+* Type guard narrowing the generic `FactoryOptions` shape down to an
+* adapter-specific factory options type `T` — the type each adapter's
+* `buildRuntime` is declared against.
+*
+* Walks every own enumerable property on `options` and checks it against
+* `FACTORY_OPTIONS_FIELD_VALIDATORS` plus `extraFieldValidators` (the
+* adapter's own additions on top of `FactoryOptions`): an unrecognized key,
+* or a recognized key holding a value of the wrong kind, fails the guard.
+* This is a genuine structural check, not a relabeled assertion — though it
+* necessarily stops at each field's runtime *kind*, since the field's actual
+* generic instantiation is erased at runtime and no guard can validate it.
+* That part remains the caller's responsibility, same as with any other
+* generic function in TypeScript.
+*/
+function isFactoryOptionsLike(options, extraFieldValidators) {
+	if (!isObject(options)) return false;
+	const validators = {
+		...FACTORY_OPTIONS_FIELD_VALIDATORS,
+		...extraFieldValidators
+	};
+	for (const [key, value] of Object.entries(options)) {
+		const validate = validators[key];
+		if (!validate || !validate(value)) return false;
+	}
+	return true;
+}
+//#endregion
 //#region ../../lib/contract/src/aria/aria-role-policy.ts
 function getImplicitRole(tag, props) {
 	if (tag in IMPLICIT_ROLE_RECORD) return IMPLICIT_ROLE_RECORD[tag];
@@ -1555,72 +1603,100 @@ var InvariantBase = class {
 	}
 };
 //#endregion
-//#region ../../lib/contract/src/aria/spec/roles/required-properties.ts
-const REQUIRED_ARIA_PROPERTIES = {
-	combobox: ["aria-expanded"],
-	option: ["aria-selected"],
-	slider: ["aria-valuenow"],
-	scrollbar: ["aria-controls", "aria-valuenow"],
-	spinbutton: ["aria-valuenow"]
-};
-//#endregion
-//#region ../../lib/contract/src/aria/spec/roles/name-required.ts
-const NAME_REQUIRED_ROLES = /* @__PURE__ */ new Set(["img"]);
-//#endregion
-//#region ../../lib/contract/src/aria/spec/roles/name-prohibited.ts
-const NAME_PROHIBITED_ROLES = /* @__PURE__ */ new Set([
-	"caption",
-	"code",
-	"deletion",
-	"emphasis",
-	"generic",
-	"insertion",
-	"none",
-	"paragraph",
-	"presentation",
-	"strong",
-	"subscript",
-	"superscript"
-]);
-const NAME_PROHIBITED_ATTRIBUTES = ["aria-label", "aria-labelledby"];
-//#endregion
-//#region ../../lib/contract/src/aria/spec/validators/required-properties-validator.ts
-const NO_VIOLATIONS$1 = [{ valid: true }];
-function requiredAttributeByRole(roles, attribute) {
-	return Object.fromEntries([...roles].map((role) => [role, [attribute]]));
-}
+//#region ../../lib/contract/src/aria/plan-cache.ts
 /**
-* Reports missing attributes required by an element's effective ARIA role.
+* Validation-plan cache machinery for `AriaPolicyEngine`: computing a cache key from a
+* (tag, props) usage site, and diffing/replaying the props transformation a validation pass
+* produced (an {@link AriaPlan}'s `removals`/`updates`) without re-running the ARIA rule
+* pipeline itself. Extracted because these four functions are a cohesive subsystem in their own
+* right — a small revalidation-caching scheme — not specifically ARIA *policy*; the actual
+* cache storage (an `LRUCache` instance) stays owned by `AriaPolicyEngine` itself, since it's
+* per-engine-instance state, not something this module needs to hold.
+*/
+/**
+* Cache key covering only the aria-relevant subset of props (tag + role + aria-* attrs) —
+* exactly what the built-in pipeline reads. Non-aria props (className, onClick, etc.) do
+* not affect built-in ARIA decisions and are excluded so cache hits survive re-renders
+* that only change non-aria props. This key alone is unsound for a policy engine's own
+* extra rules, which may read arbitrary props outside this set — extend it with
+* {@link extraRulesKeySuffix}, or bypass the cache, to account for that.
 *
-* Shared by validators that differ only in their role-to-attribute mapping and diagnostic
-* generation.
+* Returns `null` (meaning "don't cache") when `tag` isn't a plain intrinsic string tag —
+* `isString(tag)` inline rather than importing `AriaPolicyEngine`'s own `isIntrinsicTag`: the
+* check is a one-liner, and importing it back from the engine module would be a needless
+* dependency in the other direction for a plan-cache module the engine itself depends on.
 */
-function checkRequiredAttributes(requirement, { props, effectiveRole }) {
-	if (!effectiveRole) return NO_VIOLATIONS$1;
-	const requiredAttributes = requirement.attributesByRole[effectiveRole];
-	if (!requiredAttributes) return NO_VIOLATIONS$1;
-	const results = [];
-	for (const attribute of requiredAttributes) {
-		if (attribute in props) continue;
-		results.push({
-			valid: false,
-			fixable: false,
-			severity: "warning",
-			attribute,
-			diagnostic: requirement.diagnosticFor(attribute, effectiveRole)
-		});
+function createPlanKey(tag, props) {
+	if (!isString(tag)) return null;
+	const parts = [tag];
+	if (isString(props.role)) parts.push(`role:${props.role}`);
+	if (tag === "input" && isString(props.type)) parts.push(`type:${props.type}`);
+	if (tag === "img") parts.push(`alt:${props.alt === "" ? "empty" : "present"}`);
+	const ariaEntries = [];
+	iterate.forEachEntry(props, (k, v) => {
+		if (!k.startsWith("aria-")) return;
+		if (!isString(v) && !isNumber(v) && typeof v !== "boolean") return;
+		ariaEntries.push(`${k}:${String(v)}`);
+	});
+	if (ariaEntries.length > 0) parts.push(...ariaEntries.sort());
+	return parts.join("|");
+}
+/**
+* Extends the base cache key with the props each extra rule declares it reads (`readsProps`).
+* Returns `null` — meaning "don't cache" — if any extra rule omits `readsProps` (it may read
+* arbitrary props the key can't account for) or if a declared prop's value isn't a primitive
+* (object/array identity isn't stably representable in a string key).
+*/
+function extraRulesKeySuffix(extraRules, props) {
+	const parts = [];
+	for (const rule of extraRules) {
+		const readsProps = rule.readsProps;
+		if (!isNonNull(readsProps)) return null;
+		for (const propKey of readsProps) {
+			const v = props[propKey];
+			if (isDefined(v) && !isString(v) && !isNumber(v) && typeof v !== "boolean") return null;
+			parts.push(`x:${propKey}:${String(v)}`);
+		}
 	}
-	return results;
+	return parts.sort().join("|");
+}
+/** Diffs a validation pass's input/output props into a replayable plan: which keys were removed
+*  entirely, and which keys were added or changed value (and to what). */
+function computePlan(inputProps, resultProps) {
+	const removals = /* @__PURE__ */ new Set();
+	const updates = {};
+	iterate.forEachKey(inputProps, (key) => {
+		if (!(key in resultProps)) removals.add(key);
+	});
+	iterate.forEachEntry(resultProps, (key, resultVal) => {
+		if (inputProps[key] !== resultVal) updates[key] = resultVal;
+	});
+	return {
+		removals,
+		updates
+	};
+}
+/** Replays a cached plan's removals/updates against a fresh `props` object, without re-running
+*  the rule pipeline that originally produced the plan. */
+function applyPlan(props, removals, updates) {
+	const hasRemovals = removals.size > 0;
+	const hasUpdates = Object.keys(updates).length > 0;
+	if (!hasRemovals && !hasUpdates) return props;
+	const next = {};
+	iterate.forEachEntry(props, (k, v) => {
+		if (!removals.has(k)) next[k] = v;
+	});
+	Object.assign(next, updates);
+	return next;
 }
 //#endregion
-//#region ../../lib/contract/src/aria/spec/roles/live-region.ts
-const LIVE_REGION_ROLES = /* @__PURE__ */ new Map([
-	["alert", "assertive"],
-	["status", "polite"],
-	["log", "polite"],
-	["timer", "off"]
+//#region ../../lib/contract/src/aria/spec/attributes/aria-relevant-tokens.ts
+const VALID_RELEVANT_TOKENS = /* @__PURE__ */ new Set([
+	"additions",
+	"removals",
+	"text",
+	"all"
 ]);
-const ATOMIC_REQUIREMENTS = requiredAttributeByRole(LIVE_REGION_ROLES.keys(), "aria-atomic");
 //#endregion
 //#region ../../lib/contract/src/aria/spec/attributes/aria-value-types.ts
 const ARIA_VALUE_TYPES = /* @__PURE__ */ new Map([
@@ -1745,24 +1821,6 @@ const ARIA_VALUE_TYPES = /* @__PURE__ */ new Map([
 	}]
 ]);
 //#endregion
-//#region ../../lib/contract/src/aria/spec/attributes/aria-relevant-tokens.ts
-const VALID_RELEVANT_TOKENS = /* @__PURE__ */ new Set([
-	"additions",
-	"removals",
-	"text",
-	"all"
-]);
-//#endregion
-//#region ../../lib/contract/src/aria/spec/elements/heading-implicit-levels.ts
-const HEADING_IMPLICIT_LEVELS = /* @__PURE__ */ new Map([
-	["h1", 1],
-	["h2", 2],
-	["h3", 3],
-	["h4", 4],
-	["h5", 5],
-	["h6", 6]
-]);
-//#endregion
 //#region ../../lib/contract/src/aria/spec/elements/focusable.ts
 function parseTabIndex(raw) {
 	if (typeof raw === "number") return Number.isInteger(raw) ? raw : void 0;
@@ -1813,24 +1871,156 @@ function isPotentiallyFocusable(tag, props) {
 	}
 }
 //#endregion
-//#region ../../lib/contract/src/aria/aria-policy-engine.ts
+//#region ../../lib/contract/src/aria/spec/elements/heading-implicit-levels.ts
+const HEADING_IMPLICIT_LEVELS = /* @__PURE__ */ new Map([
+	["h1", 1],
+	["h2", 2],
+	["h3", 3],
+	["h4", 4],
+	["h5", 5],
+	["h6", 6]
+]);
+//#endregion
+//#region ../../lib/contract/src/aria/spec/validators/required-properties-validator.ts
 const NO_VIOLATIONS = [{ valid: true }];
-const NO_VARIANT_KEYS = /* @__PURE__ */ new Set();
-function isIntrinsicTag(tag) {
-	return isString(tag);
+function requiredAttributeByRole(roles, attribute) {
+	return Object.fromEntries([...roles].map((role) => [role, [attribute]]));
 }
-function omitProp(obj, key) {
-	const { [key]: _, ...rest } = obj;
-	return rest;
+/**
+* Reports missing attributes required by an element's effective ARIA role.
+*
+* Shared by validators that differ only in their role-to-attribute mapping and diagnostic
+* generation.
+*/
+function checkRequiredAttributes(requirement, { props, effectiveRole }) {
+	if (!effectiveRole) return NO_VIOLATIONS;
+	const requiredAttributes = requirement.attributesByRole[effectiveRole];
+	if (!requiredAttributes) return NO_VIOLATIONS;
+	const results = [];
+	for (const attribute of requiredAttributes) {
+		if (attribute in props) continue;
+		results.push({
+			valid: false,
+			fixable: false,
+			severity: "warning",
+			attribute,
+			diagnostic: requirement.diagnosticFor(attribute, effectiveRole)
+		});
+	}
+	return results;
 }
+//#endregion
+//#region ../../lib/contract/src/aria/spec/roles/live-region.ts
+const LIVE_REGION_ROLES = /* @__PURE__ */ new Map([
+	["alert", "assertive"],
+	["status", "polite"],
+	["log", "polite"],
+	["timer", "off"]
+]);
+const ATOMIC_REQUIREMENTS = requiredAttributeByRole(LIVE_REGION_ROLES.keys(), "aria-atomic");
+//#endregion
+//#region ../../lib/contract/src/aria/spec/roles/name-prohibited.ts
+const NAME_PROHIBITED_ROLES = /* @__PURE__ */ new Set([
+	"caption",
+	"code",
+	"deletion",
+	"emphasis",
+	"generic",
+	"insertion",
+	"none",
+	"paragraph",
+	"presentation",
+	"strong",
+	"subscript",
+	"superscript"
+]);
+const NAME_PROHIBITED_ATTRIBUTES = ["aria-label", "aria-labelledby"];
+//#endregion
+//#region ../../lib/contract/src/aria/spec/roles/name-required.ts
+const NAME_REQUIRED_ROLES = /* @__PURE__ */ new Set(["img"]);
+//#endregion
+//#region ../../lib/contract/src/aria/spec/roles/required-properties.ts
+const REQUIRED_ARIA_PROPERTIES = {
+	combobox: ["aria-expanded"],
+	option: ["aria-selected"],
+	slider: ["aria-valuenow"],
+	scrollbar: ["aria-controls", "aria-valuenow"],
+	spinbutton: ["aria-valuenow"]
+};
+//#endregion
+//#region ../../lib/contract/src/aria/value-validation.ts
+/**
+* ARIA attribute value type system: what counts as a valid value for a given
+* {@link AriaValueType}, and how to describe what was expected when it isn't. Extracted from
+* `AriaPolicyEngine` — these three functions are cohesive on their own (they're describing a
+* type system, not policy), and `#checkAriaAttributeValues` (kept in `aria-policy-engine.ts`
+* alongside every other rule implementation — see that file's own pipeline) is now just a thin
+* caller of {@link isValidAriaValue}/{@link describeExpected}.
+*/
+/**
+* Strict numeric coercion for ARIA attribute values. Unlike `parseFloat`/`parseInt`, the whole
+* string must be a number — `"12abc"` is rejected, not read as `12` — and an empty / whitespace
+* string is rejected rather than coerced to `0` the way `Number("")` would.
+*
+* Exported (not local to `isValidAriaValue`) because `AriaPolicyEngine.#checkRedundantAriaLevel`
+* also needs it, independent of the general ARIA value-type check this module otherwise exists
+* for — `aria-level`'s "redundant" check is about comparing a numeric attribute value to a
+* known implicit level, not about validating the value's type.
+*/
 function strictNumeric(value) {
-	if (typeof value === "number") return Number.isFinite(value) ? value : void 0;
-	if (typeof value !== "string") return void 0;
+	if (isNumber(value)) return Number.isFinite(value) ? value : void 0;
+	if (!isString(value)) return void 0;
 	const trimmed = value.trim();
 	if (trimmed === "") return void 0;
 	const n = Number(trimmed);
 	return Number.isFinite(n) ? n : void 0;
 }
+/** Returns whether `value` satisfies `type`'s own value-type constraint (boolean/tristate/
+*  number/integer/enum) — the WAI-ARIA attribute value type system, independent of which
+*  attribute or role it's being checked for. */
+function isValidAriaValue(value, type) {
+	switch (type.kind) {
+		case "boolean": return value === "true" || value === "false" || value === true || value === false;
+		case "tristate": return value === "true" || value === "false" || value === "mixed" || value === true || value === false;
+		case "number": return strictNumeric(value) !== void 0;
+		case "integer": {
+			const n = strictNumeric(value);
+			if (isUndefined(n) || !Number.isInteger(n)) return false;
+			if (isDefined(type.min) && n < type.min) return false;
+			if (isDefined(type.max) && n > type.max) return false;
+			return true;
+		}
+		case "enum": return isString(value) && type.values.has(value);
+	}
+}
+/** Describes what a valid value for `type` looks like, for use in an invalid-value diagnostic
+*  message (e.g. `aria-valuenow` got `"abc"`, expected "a finite number"). */
+function describeExpected(type) {
+	switch (type.kind) {
+		case "boolean": return "\"true\" or \"false\"";
+		case "tristate": return "\"true\", \"false\", or \"mixed\"";
+		case "number": return "a finite number";
+		case "integer": {
+			const parts = ["an integer"];
+			if (isDefined(type.min) && isDefined(type.max)) parts.push(`between ${type.min} and ${type.max}`);
+			else if (isDefined(type.min)) parts.push(`≥ ${type.min}`);
+			else if (isDefined(type.max)) parts.push(`≤ ${type.max}`);
+			return parts.join(" ");
+		}
+		case "enum": return [...type.values].map((v) => `"${v}"`).join(", ");
+	}
+}
+//#endregion
+//#region ../../lib/contract/src/aria/aria-policy-engine.ts
+const VALID_RESULT = [{ valid: true }];
+const NO_VARIANT_KEYS = /* @__PURE__ */ new Set();
+function isIntrinsicTag(tag) {
+	return isString(tag);
+}
+function omitProp(obj, key) {
+	const { [key]: _, ...rest } = obj;
+	return rest;
+}
 var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 	#extraRules;
 	#variantKeys;
@@ -1963,73 +2153,20 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 			else this.warn(d);
 		});
 	}
-	static #createPlanKey(tag, props) {
-		if (!isIntrinsicTag(tag)) return null;
-		const parts = [tag];
-		if (typeof props.role === "string") parts.push(`role:${props.role}`);
-		if (tag === "input" && typeof props.type === "string") parts.push(`type:${props.type}`);
-		if (tag === "img") parts.push(`alt:${props.alt === "" ? "empty" : "present"}`);
-		const ariaEntries = [];
-		iterate.forEachEntry(props, (k, v) => {
-			if (!k.startsWith("aria-")) return;
-			if (!isString(v) && !isNumber(v) && typeof v !== "boolean") return;
-			ariaEntries.push(`${k}:${String(v)}`);
-		});
-		if (ariaEntries.length > 0) parts.push(...ariaEntries.sort());
-		return parts.join("|");
-	}
-	static #extraRulesKeySuffix(extraRules, props) {
-		const parts = [];
-		for (const rule of extraRules) {
-			const readsProps = rule.readsProps;
-			if (!isNonNull(readsProps)) return null;
-			for (const propKey of readsProps) {
-				const v = props[propKey];
-				if (v !== void 0 && !isString(v) && !isNumber(v) && typeof v !== "boolean") return null;
-				parts.push(`x:${propKey}:${String(v)}`);
-			}
-		}
-		return parts.sort().join("|");
-	}
-	static #computePlan(inputProps, resultProps) {
-		const removals = /* @__PURE__ */ new Set();
-		const updates = {};
-		iterate.forEachKey(inputProps, (key) => {
-			if (!(key in resultProps)) removals.add(key);
-		});
-		iterate.forEachEntry(resultProps, (key, resultVal) => {
-			if (inputProps[key] !== resultVal) updates[key] = resultVal;
-		});
-		return {
-			removals,
-			updates
-		};
-	}
-	static #applyPlan(props, removals, updates) {
-		const hasRemovals = removals.size > 0;
-		const hasUpdates = Object.keys(updates).length > 0;
-		if (!hasRemovals && !hasUpdates) return props;
-		const next = {};
-		iterate.forEachEntry(props, (k, v) => {
-			if (!removals.has(k)) next[k] = v;
-		});
-		Object.assign(next, updates);
-		return next;
-	}
 	validate(tag, props, extraProps) {
 		const ruleProps = extraProps ?? props;
-		const baseKey = AriaPolicyEngine.#createPlanKey(tag, props);
+		const baseKey = createPlanKey(tag, props);
 		let key = baseKey;
 		if (this.#extraRules.length > 0) {
-			const suffix = AriaPolicyEngine.#extraRulesKeySuffix(this.#extraRules, ruleProps);
+			const suffix = extraRulesKeySuffix(this.#extraRules, ruleProps);
 			key = isNonNull(baseKey) && isNonNull(suffix) ? `${baseKey}|${suffix}` : null;
 		}
 		if (!isNull(key)) {
 			const cached = this.#planCache.get(key);
-			if (cached !== void 0) {
+			if (isDefined(cached)) {
 				if (cached.violations.length > 0) this.report(cached.violations);
 				return {
-					props: AriaPolicyEngine.#applyPlan(props, cached.removals, cached.updates),
+					props: applyPlan(props, cached.removals, cached.updates),
 					violations: cached.violations
 				};
 			}
@@ -2037,7 +2174,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		const result = this.#extraRules.length ? AriaPolicyEngine.#evaluateWithRules(tag, props, this.#extraRules, extraProps, this.#variantKeys) : AriaPolicyEngine.evaluate(tag, props);
 		if (result.violations.length > 0) this.report(result.violations);
 		if (!isNull(key)) {
-			const { removals, updates } = AriaPolicyEngine.#computePlan(props, result.props);
+			const { removals, updates } = computePlan(props, result.props);
 			const plan = {
 				removals,
 				updates,
@@ -2128,7 +2265,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 	];
 	static #checkInvalidRoleOverride({ tag, props, implicitRole }) {
 		const role = props.role;
-		if (!implicitRole || !role || role === implicitRole) return NO_VIOLATIONS;
+		if (!implicitRole || isUndefined(role) || role === implicitRole) return VALID_RESULT;
 		if (isStrongImplicitRole(tag) && role === "region") {
 			const diagnostic = HtmlDiagnostics.implicitRoleOverride(tag, implicitRole, role);
 			return [{
@@ -2139,11 +2276,11 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 				diagnostic
 			}];
 		}
-		return NO_VIOLATIONS;
+		return VALID_RESULT;
 	}
 	static #checkRedundantRole({ tag, props, implicitRole }) {
 		const role = props.role;
-		if (!implicitRole || !role || role !== implicitRole) return NO_VIOLATIONS;
+		if (!implicitRole || isUndefined(role) || role !== implicitRole) return VALID_RESULT;
 		const diagnostic = HtmlDiagnostics.implicitRoleRedundant(tag, implicitRole);
 		return [{
 			valid: false,
@@ -2154,8 +2291,8 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		}];
 	}
 	static #checkStandaloneRegion({ tag, props, implicitRole }) {
-		if (props.role !== "region") return NO_VIOLATIONS;
-		if (!hasStandaloneRole(tag)) return NO_VIOLATIONS;
+		if (props.role !== "region") return VALID_RESULT;
+		if (!hasStandaloneRole(tag)) return VALID_RESULT;
 		const diagnostic = HtmlDiagnostics.standaloneRegionOverride(tag, implicitRole ?? tag);
 		return [{
 			valid: false,
@@ -2166,7 +2303,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		}];
 	}
 	static #checkInvalidAriaAttributes({ tag, props, effectiveRole }) {
-		if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
+		if (effectiveRole === "none" || effectiveRole === "presentation") return VALID_RESULT;
 		const results = [];
 		iterate.forEachEntry(props, (key) => {
 			if (!key.startsWith("aria-")) return;
@@ -2183,63 +2320,33 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		});
 		return results;
 	}
-	static #isValidAriaValue(value, type) {
-		switch (type.kind) {
-			case "boolean": return value === "true" || value === "false" || value === true || value === false;
-			case "tristate": return value === "true" || value === "false" || value === "mixed" || value === true || value === false;
-			case "number": return strictNumeric(value) !== void 0;
-			case "integer": {
-				const n = strictNumeric(value);
-				if (n === void 0 || !Number.isInteger(n)) return false;
-				if (type.min !== void 0 && n < type.min) return false;
-				if (type.max !== void 0 && n > type.max) return false;
-				return true;
-			}
-			case "enum": return typeof value === "string" && type.values.has(value);
-		}
-	}
-	static #describeExpected(type) {
-		switch (type.kind) {
-			case "boolean": return "\"true\" or \"false\"";
-			case "tristate": return "\"true\", \"false\", or \"mixed\"";
-			case "number": return "a finite number";
-			case "integer": {
-				const parts = ["an integer"];
-				if (type.min !== void 0 && type.max !== void 0) parts.push(`between ${type.min} and ${type.max}`);
-				else if (type.min !== void 0) parts.push(`≥ ${type.min}`);
-				else if (type.max !== void 0) parts.push(`≤ ${type.max}`);
-				return parts.join(" ");
-			}
-			case "enum": return [...type.values].map((v) => `"${v}"`).join(", ");
-		}
-	}
 	static #checkAriaAttributeValues({ props, effectiveRole }) {
-		if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
+		if (effectiveRole === "none" || effectiveRole === "presentation") return VALID_RESULT;
 		const results = [];
 		iterate.forEachEntry(props, (key, value) => {
 			if (!key.startsWith("aria-")) return;
 			const type = ARIA_VALUE_TYPES.get(key);
 			if (!isNonNull(type)) return;
-			if (AriaPolicyEngine.#isValidAriaValue(value, type)) return;
+			if (isValidAriaValue(value, type)) return;
 			results.push({
 				valid: false,
 				fixable: true,
 				severity: "warning",
 				attribute: key,
-				diagnostic: AriaDiagnostics.invalidAttributeValue(key, value, AriaPolicyEngine.#describeExpected(type)),
+				diagnostic: AriaDiagnostics.invalidAttributeValue(key, value, describeExpected(type)),
 				fix: AriaPolicyEngine.#makeRemoveAttributeFix(key)
 			});
 		});
 		return results;
 	}
 	static #checkRedundantAriaLevel({ tag, props, effectiveRole }) {
-		if (effectiveRole === "none" || effectiveRole === "presentation") return NO_VIOLATIONS;
+		if (effectiveRole === "none" || effectiveRole === "presentation") return VALID_RESULT;
 		const implicitLevel = HEADING_IMPLICIT_LEVELS.get(tag);
-		if (!isNonNull(implicitLevel)) return NO_VIOLATIONS;
+		if (!isNonNull(implicitLevel)) return VALID_RESULT;
 		const raw = props["aria-level"];
-		if (!isNonNull(raw)) return NO_VIOLATIONS;
+		if (!isNonNull(raw)) return VALID_RESULT;
 		const n = strictNumeric(raw);
-		if (n === void 0 || n !== implicitLevel) return NO_VIOLATIONS;
+		if (n === void 0 || n !== implicitLevel) return VALID_RESULT;
 		return [{
 			valid: false,
 			fixable: true,
@@ -2250,7 +2357,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		}];
 	}
 	static #checkNameProhibitedRoles({ props, effectiveRole }) {
-		if (!effectiveRole || effectiveRole === "none" || effectiveRole === "presentation" || !NAME_PROHIBITED_ROLES.has(effectiveRole)) return NO_VIOLATIONS;
+		if (!effectiveRole || effectiveRole === "none" || effectiveRole === "presentation" || !NAME_PROHIBITED_ROLES.has(effectiveRole)) return VALID_RESULT;
 		const results = [];
 		for (const key of NAME_PROHIBITED_ATTRIBUTES) {
 			if (!(key in props)) continue;
@@ -2266,9 +2373,9 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		return results;
 	}
 	static #checkNameRequiredRoles({ tag, props, effectiveRole }) {
-		if (!effectiveRole || !NAME_REQUIRED_ROLES.has(effectiveRole)) return NO_VIOLATIONS;
-		if ("aria-label" in props || "aria-labelledby" in props) return NO_VIOLATIONS;
-		if (tag === "img" && typeof props.alt === "string" && props.alt.length > 0) return NO_VIOLATIONS;
+		if (!effectiveRole || !NAME_REQUIRED_ROLES.has(effectiveRole)) return VALID_RESULT;
+		if ("aria-label" in props || "aria-labelledby" in props) return VALID_RESULT;
+		if (tag === "img" && isString(props.alt) && props.alt.length > 0) return VALID_RESULT;
 		return [{
 			valid: false,
 			fixable: false,
@@ -2281,12 +2388,12 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		diagnosticFor: (attribute, role) => AriaDiagnostics.requiredProperty(attribute, role)
 	};
 	static #checkRequiredAriaProperties(context) {
-		if (!isNonNull(context.props.role)) return NO_VIOLATIONS;
+		if (!isNonNull(context.props.role)) return VALID_RESULT;
 		return checkRequiredAttributes(AriaPolicyEngine.#requiredAriaPropertiesRule, context);
 	}
 	static #checkAriaHiddenOnFocusable({ tag, props }) {
-		if (props["aria-hidden"] !== "true" && props["aria-hidden"] !== true) return NO_VIOLATIONS;
-		if (!isPotentiallyFocusable(tag, props)) return NO_VIOLATIONS;
+		if (props["aria-hidden"] !== "true" && props["aria-hidden"] !== true) return VALID_RESULT;
+		if (!isPotentiallyFocusable(tag, props)) return VALID_RESULT;
 		return [{
 			valid: false,
 			fixable: false,
@@ -2296,7 +2403,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		}];
 	}
 	static #checkPresentationalAriaAttributes({ tag, props, effectiveRole }) {
-		if (effectiveRole !== "none" && effectiveRole !== "presentation") return NO_VIOLATIONS;
+		if (effectiveRole !== "none" && effectiveRole !== "presentation") return VALID_RESULT;
 		const results = [];
 		iterate.forEachEntry(props, (key) => {
 			if (!key.startsWith("aria-")) return;
@@ -2313,10 +2420,10 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 		return results;
 	}
 	static #checkMissingLiveRegion({ effectiveRole, props }) {
-		if (!effectiveRole) return NO_VIOLATIONS;
+		if (!effectiveRole) return VALID_RESULT;
 		const impliedLive = LIVE_REGION_ROLES.get(effectiveRole);
-		if (!impliedLive) return NO_VIOLATIONS;
-		if ("aria-live" in props) return NO_VIOLATIONS;
+		if (!impliedLive) return VALID_RESULT;
+		if ("aria-live" in props) return VALID_RESULT;
 		return [{
 			valid: false,
 			fixable: true,
@@ -2356,8 +2463,8 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 	};
 	static #checkInvalidAriaRelevant({ props }) {
 		const relevant = props["aria-relevant"];
-		if (relevant === void 0) return NO_VIOLATIONS;
-		if (typeof relevant !== "string") return NO_VIOLATIONS;
+		if (isUndefined(relevant)) return VALID_RESULT;
+		if (!isString(relevant)) return VALID_RESULT;
 		const tokens = relevant.trim().split(/\s+/);
 		const invalid = tokens.filter((t) => !VALID_RELEVANT_TOKENS.has(t));
 		if (invalid.length > 0) return [{
@@ -2376,7 +2483,7 @@ var AriaPolicyEngine = class AriaPolicyEngine extends InvariantBase {
 			diagnostic: AriaDiagnostics.relevantSuperseded(),
 			fix: AriaPolicyEngine.#normalizeRelevantAllFix
 		}];
-		return NO_VIOLATIONS;
+		return VALID_RESULT;
 	}
 };
 //#endregion
@@ -4680,6 +4787,23 @@ function applyMergePolicy(key, slotVal, childVal) {
 	return policyHandlers[classifyProp(key, slotVal, childVal)](slotVal, childVal);
 }
 //#endregion
+//#region ../../adapters/react/src/shared/to-react-factory-options.ts
+/** React-specific additions on top of `FactoryOptions`. */
+const REACT_FIELD_VALIDATORS = {
+	slotComponent: (v) => v === void 0 || isFunction(v) || isObject(v),
+	filterProps: (v) => v === void 0 || isFunction(v),
+	artifact: (v) => v === void 0 || isObject(v)
+};
+/**
+* Type guard narrowing a concrete contract `C` down to `C & ReactFactoryOptions` — the type
+* `buildRuntime` is declared against. Single-generic, matching `createContractComponent`'s own
+* `C extends ReactFactoryOptions` (Phase 2 of the `defineContract` refactor — was 6 independent
+* generics). See `isFactoryOptionsLike` for what this does and doesn't validate.
+*/
+function isReactFactoryOptions(options) {
+	return isFactoryOptionsLike(options, REACT_FIELD_VALIDATORS);
+}
+//#endregion
 //#region ../../adapters/react/src/shared/merge-refs.ts
 function mergeRefs(...refs) {
 	return mergeRefsCore(...refs);
@@ -5062,4 +5186,4 @@ function buildRuntime(options, defaultSlotComponent, normalizeChildren) {
 	};
 }
 //#endregion
-export { invariant as _, getElementRef as a, Slottable as c, finalizeComponent as d, SLOT_NAME as f, defineContractComponent as g, isString as h, makeCloneSlotChild as i, applyDisplayName as l, isObject as m, render as n, getPropsRef as o, isFunction as p, applySlot as r, hasWarningGetter as s, buildRuntime as t, mergeRefs as u };
+export { getElementRef as a, Slottable as c, isReactFactoryOptions as d, finalizeComponent as f, invariant as g, isString as h, makeCloneSlotChild as i, applyDisplayName as l, isFunction as m, render as n, getPropsRef as o, SLOT_NAME as p, applySlot as r, hasWarningGetter as s, buildRuntime as t, mergeRefs as u };