praxis-kit 0.1.0 → 0.1.1

package/dist/{index-BIBd_iPD.d.ts → index-DiPzmjWW.d.ts}

@@ -810,12 +810,35 @@ type ControlProps<G extends PolymorphicGenerics, TAs extends ElementType> = Owne
  * Component-defined props always take precedence.
  */
 type IntrinsicPropsWithoutOwned<G extends PolymorphicGenerics, TAs extends ElementType> = Omit<IntrinsicJSXProps<TAs>, keyof ControlProps<G, TAs> | 'children'>;
+/**
+ * `data-*` attribute passthrough.
+ *
+ * React's `JSX.IntrinsicElements[tag]` prop types carry no `data-*` index — the JSX checker
+ * special-cases `data-*` at the call site instead — so `IntrinsicPropsWithoutOwned` (which is
+ * `Omit<JSX.IntrinsicElements[tag], …>`) has no `data-*` key either. A polymorphic component
+ * always renders to a host element (or forwards to one via `asChild`) and its runtime prop
+ * pipeline forwards `data-*` unchanged, so the extracted prop type must admit them: without this,
+ * a wrapper can't destructure a `data-*` the contract sets in `defaults` (`data-slot` is the
+ * common case — a styling hook every design system sets and overrides) — `ContractProps<typeof
+ * Component>['data-slot']` would be a type error even though `<Component data-slot="…" />` is
+ * accepted.
+ *
+ * The value type is `string | number | boolean | undefined` by deliberate choice — exactly what
+ * React serializes onto a `data-*` attribute (`true`/`false` render as the strings `"true"` /
+ * `"false"`, not omitted; `undefined` omits) and what survives praxis-kit's prop pipeline
+ * unchanged. It is intentionally tighter than the framework-neutral `unknown` the core contract
+ * uses, so a wrapper can destructure a `data-*` and forward it without a cast — the whole point.
+ */
+type DataAttribute = `data-${string}`;
+type DataAttributes = {
+  [key: DataAttribute]: string | number | boolean | undefined;
+};
 /**
  * Props shared by every rendering strategy.
  *
  * Each render mode contributes only its discriminating props.
  */
-type BaseProps<G extends PolymorphicGenerics, TAs extends ElementType> = IntrinsicPropsWithoutOwned<G, TAs> & ControlProps<G, TAs>;
+type BaseProps<G extends PolymorphicGenerics, TAs extends ElementType> = IntrinsicPropsWithoutOwned<G, TAs> & ControlProps<G, TAs> & DataAttributes;
 /** Standard rendering (`asChild` absent or false). */
 type NormalRenderMode = {
   asChild?: false;

package/dist/lit/index.d.ts

@@ -742,16 +742,32 @@ type GenericsOf<T extends HasGenerics<PolymorphicGenerics>> = T extends HasGener
  * makes that a type-level fact too, so `{ as: 'a' }` written against `ContractProps<T>` is a compile
  * error, not a silently-ignored no-op a caller could believe was doing something.
  *
+ * `data-*` attributes pass through (`DataAttributes` below). `_buildProps()` in
+ * `createContractComponent` scans every attribute set on the custom element into the pipeline, so
+ * `<praxis-button data-slot="…">` is real, forwarded input — a `data-*` a contract sets in
+ * `defaults` (`data-slot`, the near-universal styling hook) has to be a member of `ContractProps`
+ * for a consumer to type it. Other global/host attributes (`id`, `class`, `slot`, `aria-*`,
+ * `role`) are equally accepted on the element but are *not* part of this type: they are DOM
+ * globals a caller sets on the element directly, not part of a component's declared prop contract.
+ * `data-*` is the exception because contracts author it as an overridable prop.
+ *
  * ```ts
  * const Button = createContractComponent({ tag: 'button', name: 'Button', /* ... *\/ })
  *
  * type ButtonProps = ContractProps<typeof Button>
  * ```
  */
-type ContractProps<T extends HasGenerics<PolymorphicGenerics>> = Simplify<OmitIndexSignature<PropsOf<GenericsOf<T>>> & OmitIndexSignature<VariantProps<VariantsOf<GenericsOf<T>>>> & {
+type ContractProps<T extends HasGenerics<PolymorphicGenerics>> = Simplify<OmitIndexSignature<PropsOf<GenericsOf<T>>> & OmitIndexSignature<VariantProps<VariantsOf<GenericsOf<T>>>> & DataAttributes & {
   as?: never;
   recipe?: keyof RecipeOf<GenericsOf<T>>;
 }>;
+/**
+ * `data-*` attribute passthrough. The value type is `string | number | boolean | undefined` —
+ * what a `data-*` attribute serializes to (mirrors the React adapter's own `DataAttributes`).
+ */
+type DataAttributes = {
+  [key: `data-${string}`]: string | number | boolean | undefined;
+};
 //#endregion
 //#region ../../adapters/lit/src/create-contract-component.d.ts
 /**

package/dist/react/index.d.ts

@@ -1,4 +1,4 @@
-import { C as MergeRecords, E as AnyRecord, S as EmptyRecord, T as NoVariants, _ as ExtractPluginProps, a as PolymorphicProps, b as VariantMap, c as RenderCallbackProps, d as SlottableProps, f as mergeRefs, g as AnyClassPluginFactory, h as FactoryOptions, i as PolymorphicComponent, l as UnknownProps, m as AnyFactoryOptions, n as ContractProps, o as PolymorphicWithAsChild, p as defineContractComponent, r as ElementRef, s as PolymorphicWithRender, t as ReactFactoryOptions, u as Slottable, v as PolymorphicGenerics, w as NoPreset, x as ElementType, y as RecipeMap } from "../index-BIBd_iPD.js";
+import { C as MergeRecords, E as AnyRecord, S as EmptyRecord, T as NoVariants, _ as ExtractPluginProps, a as PolymorphicProps, b as VariantMap, c as RenderCallbackProps, d as SlottableProps, f as mergeRefs, g as AnyClassPluginFactory, h as FactoryOptions, i as PolymorphicComponent, l as UnknownProps, m as AnyFactoryOptions, n as ContractProps, o as PolymorphicWithAsChild, p as defineContractComponent, r as ElementRef, s as PolymorphicWithRender, t as ReactFactoryOptions, u as Slottable, v as PolymorphicGenerics, w as NoPreset, x as ElementType, y as RecipeMap } from "../index-DiPzmjWW.js";
 //#region ../../adapters/react/src/current/create-contract-component.d.ts
 /**
  * Creates a polymorphic React 19 component with praxis-kit contracts applied.

package/dist/react/legacy.d.ts

@@ -1,4 +1,4 @@
-import { C as MergeRecords, E as AnyRecord, S as EmptyRecord, T as NoVariants, _ as ExtractPluginProps, a as PolymorphicProps, b as VariantMap, c as RenderCallbackProps, d as SlottableProps, f as mergeRefs, g as AnyClassPluginFactory, h as FactoryOptions, i as PolymorphicComponent, l as UnknownProps, m as AnyFactoryOptions, n as ContractProps, o as PolymorphicWithAsChild, p as defineContractComponent, r as ElementRef, s as PolymorphicWithRender, t as ReactFactoryOptions, u as Slottable, v as PolymorphicGenerics, w as NoPreset, x as ElementType, y as RecipeMap } from "../index-BIBd_iPD.js";
+import { C as MergeRecords, E as AnyRecord, S as EmptyRecord, T as NoVariants, _ as ExtractPluginProps, a as PolymorphicProps, b as VariantMap, c as RenderCallbackProps, d as SlottableProps, f as mergeRefs, g as AnyClassPluginFactory, h as FactoryOptions, i as PolymorphicComponent, l as UnknownProps, m as AnyFactoryOptions, n as ContractProps, o as PolymorphicWithAsChild, p as defineContractComponent, r as ElementRef, s as PolymorphicWithRender, t as ReactFactoryOptions, u as Slottable, v as PolymorphicGenerics, w as NoPreset, x as ElementType, y as RecipeMap } from "../index-DiPzmjWW.js";
 //#region ../../adapters/react/src/legacy/create-contract-component.d.ts
 /**
  * Creates a polymorphic React component with praxis-kit contracts applied, for React 18 and

package/dist/web/index.d.ts

@@ -713,16 +713,32 @@ type GenericsOf<T extends HasGenerics<PolymorphicGenerics>> = T extends HasGener
  * makes that a type-level fact too, so `{ as: 'a' }` written against `ContractProps<T>` is a compile
  * error, not a silently-ignored no-op a caller could believe was doing something.
  *
+ * `data-*` attributes pass through (`DataAttributes` below). `_buildProps()` in
+ * `createContractComponent` scans every attribute set on the custom element into the pipeline, so
+ * `<praxis-button data-slot="…">` is real, forwarded input — a `data-*` a contract sets in
+ * `defaults` (`data-slot`, the near-universal styling hook) has to be a member of `ContractProps`
+ * for a consumer to type it. Other global/host attributes (`id`, `class`, `slot`, `aria-*`,
+ * `role`) are equally accepted on the element but are *not* part of this type: they are DOM
+ * globals a caller sets on the element directly, not part of a component's declared prop contract.
+ * `data-*` is the exception because contracts author it as an overridable prop.
+ *
  * ```ts
  * const Button = createContractComponent({ tag: 'button', name: 'Button', /* ... *\/ })
  *
  * type ButtonProps = ContractProps<typeof Button>
  * ```
  */
-type ContractProps<T extends HasGenerics<PolymorphicGenerics>> = Simplify<OmitIndexSignature<PropsOf<GenericsOf<T>>> & OmitIndexSignature<VariantProps<VariantsOf<GenericsOf<T>>>> & {
+type ContractProps<T extends HasGenerics<PolymorphicGenerics>> = Simplify<OmitIndexSignature<PropsOf<GenericsOf<T>>> & OmitIndexSignature<VariantProps<VariantsOf<GenericsOf<T>>>> & DataAttributes & {
   as?: never;
   recipe?: keyof RecipeOf<GenericsOf<T>>;
 }>;
+/**
+ * `data-*` attribute passthrough. The value type is `string | number | boolean | undefined` —
+ * what a `data-*` attribute serializes to (mirrors the React adapter's own `DataAttributes`).
+ */
+type DataAttributes = {
+  [key: `data-${string}`]: string | number | boolean | undefined;
+};
 //#endregion
 //#region ../../adapters/web/src/create-contract-component.d.ts
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "praxis-kit",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "type": "module",
   "sideEffects": false,
   "description": "Praxis Kit — HTML semantics, ARIA requirements, and component composition rules as executable contracts, shared across every framework adapter. The single npm package for all adapters and tooling.",
@@ -208,9 +208,9 @@
     "unplugin-solid": "^2.0.0",
     "vite": "^8.2.2",
     "vue": "^3.5.42",
-    "@praxis-kit/core": "0.0.0",
     "@praxis-kit/diagnostics": "0.0.0",
-    "@praxis-kit/primitive": "0.0.0"
+    "@praxis-kit/primitive": "0.0.0",
+    "@praxis-kit/core": "0.0.0"
   },
   "publishConfig": {
     "access": "public"