praxis-kit 3.1.0 → 4.0.0

package/dist/codemod/index.js

@@ -241697,17 +241697,17 @@ Node text: ${this.#forgottenText}`;
   }
 });
 
-// ../codemod/src/index.ts
+// ../../tooling/codemod/src/index.ts
 import { fileURLToPath } from "url";
 
-// ../codemod/src/cli/usage.ts
+// ../../tooling/codemod/src/cli/usage.ts
 import { readFileSync } from "fs";
 var usage = readFileSync(new URL("./usage.md", import.meta.url), "utf8");
 function printUsage() {
   console.error(usage);
 }
 
-// ../codemod/src/cli/build-project.ts
+// ../../tooling/codemod/src/cli/build-project.ts
 var import_ts_morph = __toESM(require_ts_morph(), 1);
 function buildProject(glob, tsconfig) {
   const project = tsconfig ? new import_ts_morph.Project({ tsConfigFilePath: tsconfig }) : new import_ts_morph.Project({ skipAddingFilesFromTsConfig: true });
@@ -241715,7 +241715,7 @@ function buildProject(glob, tsconfig) {
   return project;
 }
 
-// ../codemod/src/cli/create-command.ts
+// ../../tooling/codemod/src/cli/create-command.ts
 function createCommand(command) {
   return (argv) => {
     const options = command.parse(argv);
@@ -241732,16 +241732,16 @@ function createCommand(command) {
   };
 }
 
-// ../codemod/src/cli/parse-options.ts
+// ../../tooling/codemod/src/cli/parse-options.ts
 import { parseArgs } from "util";
 
-// ../codemod/src/cli/constants.ts
+// ../../tooling/codemod/src/cli/constants.ts
 var DEFAULT_FROM = "createPolymorphicComponent";
 var DEFAULT_TO = "createContractComponent";
 var TS_ONLY_GLOB = "**/*.{ts,tsx}";
 var ALL_SOURCE_GLOB = "**/*.{ts,tsx,cts,mts,js,jsx,cjs,mjs}";
 
-// ../codemod/src/cli/options.ts
+// ../../tooling/codemod/src/cli/options.ts
 var sharedOptions = {
   "dry-run": { type: "boolean", default: false },
   verbose: { type: "boolean", default: false },
@@ -241755,7 +241755,7 @@ var tsconfigOption = {
   tsconfig: { type: "string" }
 };
 
-// ../codemod/src/cli/parse-options.ts
+// ../../tooling/codemod/src/cli/parse-options.ts
 function parseOptions(argv, options) {
   return parseArgs({ args: argv, options, strict: true }).values;
 }
@@ -241789,34 +241789,34 @@ var parseMigrateOptions = (argv) => parseRenameLikeOptions(argv, ALL_SOURCE_GLOB
 var parseRenameOptions = (argv) => parseRenameLikeOptions(argv, TS_ONLY_GLOB);
 var parseMigratePathsOptions = (argv) => parseBaseOptions(argv, ALL_SOURCE_GLOB);
 
-// ../codemod/src/utils.ts
+// ../../tooling/codemod/src/utils.ts
 function dryRunSuffix(isDryRun) {
   return isDryRun ? " (dry run \u2014 no files written)" : "";
 }
 
-// ../codemod/src/transforms/migrate-paths.ts
+// ../../tooling/codemod/src/transforms/migrate-paths.ts
 var import_ts_morph2 = __toESM(require_ts_morph(), 1);
 
-// ../codemod/src/transforms/constants.ts
+// ../../tooling/codemod/src/transforms/constants.ts
 var SPECIAL_CASES = {
   "@praxis-kit/eslint-plugin": "praxis-kit/eslint"
 };
 var PRAXIS_PACKAGE = /^(?:@praxis-kit|praxis-kit)\//;
 
-// ../codemod/src/transforms/resolve-replacement.ts
+// ../../tooling/codemod/src/transforms/resolve-replacement.ts
 function resolveReplacement(specifier) {
   if (!specifier.startsWith("@praxis-kit/")) return void 0;
   return SPECIAL_CASES[specifier] ?? specifier.replace("@praxis-kit/", "praxis-kit/");
 }
 
-// ../codemod/src/transforms/utils.ts
+// ../../tooling/codemod/src/transforms/utils.ts
 function logRewrite(isVerbose, isDryRun, message) {
   if (!isVerbose) return;
   const prefix = isDryRun ? "[dry-run] " : "";
   console.log(prefix + message);
 }
 
-// ../codemod/src/transforms/migrate-paths.ts
+// ../../tooling/codemod/src/transforms/migrate-paths.ts
 function rewriteModuleSpecifier(decl, options, filePath) {
   const specifier = decl.getModuleSpecifierValue();
   if (specifier === void 0) return 0;
@@ -241874,7 +241874,7 @@ function migratePathsInProject(project, options) {
   };
 }
 
-// ../codemod/src/transforms/rename.ts
+// ../../tooling/codemod/src/transforms/rename.ts
 var import_ts_morph3 = __toESM(require_ts_morph(), 1);
 function renameInProject(project, options) {
   const { from, to, isDryRun, isVerbose } = options;
@@ -241912,7 +241912,7 @@ function renameInProject(project, options) {
   };
 }
 
-// ../codemod/src/transforms/migrate.ts
+// ../../tooling/codemod/src/transforms/migrate.ts
 function migrate(project, options) {
   const renames = renameInProject(project, options);
   const paths = migratePathsInProject(project, options);
@@ -241924,25 +241924,25 @@ function migrate(project, options) {
   };
 }
 
-// ../codemod/src/commands/migrate.ts
+// ../../tooling/codemod/src/commands/migrate.ts
 var runMigrate = createCommand({
   parse: parseMigrateOptions,
   execute: migrate
 });
 
-// ../codemod/src/commands/migrate-paths.ts
+// ../../tooling/codemod/src/commands/migrate-paths.ts
 var runMigratePaths = createCommand({
   parse: parseMigratePathsOptions,
   execute: migratePathsInProject
 });
 
-// ../codemod/src/commands/rename.ts
+// ../../tooling/codemod/src/commands/rename.ts
 var runRename = createCommand({
   parse: parseRenameOptions,
   execute: renameInProject
 });
 
-// ../codemod/src/index.ts
+// ../../tooling/codemod/src/index.ts
 function main() {
   const [, , command, ...rest] = process.argv;
   if (!command || command === "--help" || command === "-h") {

package/dist/contract/index.d.ts

@@ -1,258 +1,2 @@
-import { RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
-
-type AnyRecord = Record<string, unknown>;
-
-type IntrinsicTag = keyof HTMLElementTagNameMap;
-
-type ElementType = IntrinsicTag | (string & {});
-
-declare const KNOWN_ARIA_ROLES: readonly ["alert", "alertdialog", "application", "article", "banner", "blockquote", "button", "caption", "cell", "checkbox", "code", "columnheader", "combobox", "complementary", "contentinfo", "definition", "deletion", "dialog", "document", "emphasis", "feed", "figure", "form", "generic", "grid", "gridcell", "group", "heading", "img", "insertion", "link", "list", "listbox", "listitem", "log", "main", "marquee", "math", "menu", "menubar", "menuitem", "menuitemcheckbox", "menuitemradio", "meter", "navigation", "none", "note", "option", "paragraph", "presentation", "progressbar", "radio", "radiogroup", "region", "row", "rowgroup", "rowheader", "scrollbar", "search", "searchbox", "separator", "slider", "spinbutton", "status", "strong", "subscript", "superscript", "switch", "tab", "table", "tablist", "tabpanel", "term", "textbox", "time", "timer", "toolbar", "tooltip", "tree", "treegrid", "treeitem"];
-type KnownAriaRole = (typeof KNOWN_ARIA_ROLES)[number];
-
-type AriaRole = KnownAriaRole | (string & {});
-
-type Booleanish = boolean | 'true' | 'false';
-
-type ClassName = string | string[];
-
-type EmptyRecord = Record<never, never>;
-
-type IntrinsicProps = AnyRecord & {
-    role?: AriaRole;
-};
-
-type NonEmptyArray<T> = [T, ...T[]];
-
-type Numberish = number | `${number}`;
-
-type Primitive = string | number | boolean;
-
-type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
-
-type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
-
-type CardinalityInput = {
-    min?: number;
-    max?: number;
-};
-
-type ChildRuleMatch<T, U extends T = T> = (child: T) => child is U;
-
-type ChildRulePosition = 'first' | 'last' | 'any';
-
-type ChildRuleInput<T = unknown, U extends T = T> = {
-    name: string;
-    match: ChildRuleMatch<T, U>;
-    cardinality?: CardinalityInput;
-    position?: ChildRulePosition;
-    /**
-     * Optional component-type reference for O(1) dispatch index.
-     * When provided for every rule, the matcher reads child.type instead of
-     * calling every match function on every child (O(n×m) → O(n+m)).
-     */
-    type?: unknown;
-};
-
-type ValidResult = {
-    valid: true;
-};
-
-type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
-
-type VariantValue$1 = string | string[];
-
-type VariantStates<K extends string = string> = Record<K, VariantValue$1>;
-
-type VariantMap<V extends string = string, K extends string = string> = Record<V, VariantStates<K>>;
-
-type VariantKey<V extends VariantMap, K extends keyof V> = StringToBoolean<keyof V[K] & string>;
-
-type RequireAtLeastOneIfNotEmpty<T> = keyof T extends never ? EmptyRecord : RequireAtLeastOne<T>;
-type CompoundVariantConditionValue<V extends VariantMap, K extends keyof V> = VariantKey<V, K> | NonEmptyArray<VariantKey<V, K>>;
-type CompoundVariantConditions<V extends VariantMap> = Simplify<{
-    [K in keyof V]: CompoundVariantConditionValue<V, K>;
-}>;
-type CompoundVariantRequiredConditions<V extends VariantMap> = RequireAtLeastOneIfNotEmpty<CompoundVariantConditions<V>>;
-type CompoundVariantBase<V extends VariantMap> = keyof V extends never ? EmptyRecord : CompoundVariantRequiredConditions<V>;
-type CompoundVariant<V extends VariantMap> = CompoundVariantBase<V> & {
-    class: VariantValue$1;
-};
-
-interface CVACompounds<V extends VariantMap> {
-    compoundVariants?: readonly CompoundVariant<V>[];
-}
-
-type VariantValue<K extends string> = string extends K ? Primitive : K extends 'true' | 'false' ? Booleanish : K extends `${number}` ? Numberish : K;
-type DefaultVariants<V extends VariantMap> = {
-    [K in keyof V]?: VariantValue<keyof V[K] & string>;
-};
-
-interface CVADefaults<V extends VariantMap> {
-    defaultVariants?: DefaultVariants<V>;
-}
-
-interface CVAVariants<V extends VariantMap> {
-    variants?: V;
-}
-
-/**
- * A partial selection of variant states authored at factory definition time.
- *
- * Uses `keyof V[K]` directly (not `VariantKey`) so TypeScript can eagerly
- * resolve the union at constraint-check time without deferred conditional types.
- */
-type VariantSelection<V extends VariantMap> = {
-    [K in keyof V]?: keyof V[K];
-};
-
-/**
- * A static, immutable map of named presets to partial variant selections.
- *
- * Presets are named bundles of variant props that callers activate by key,
- * avoiding the need to repeat variant combinations at each call site.
- */
-type RecipeMap<V extends VariantMap = VariantMap> = Readonly<Record<string, VariantSelection<V>>>;
-
-type RecipeTarget<TVariants extends VariantMap = VariantMap> = VariantSelection<TVariants>;
-
-interface BaseClassOptions {
-    baseClassName?: ClassName;
-}
-
-type ClassPipelineFn = (tag: unknown, props: AnyRecord, className?: ClassName, recipe?: string) => string;
-
-interface RecipeOptions<TVariants extends VariantMap = VariantMap> {
-    recipeMap?: Record<string, RecipeTarget<TVariants>>;
-}
-
-interface TagMapOptions {
-    tagMap?: TagMap;
-}
-
-type CompositionOptions<TVariants extends VariantMap = VariantMap> = Simplify<TagMapOptions & RecipeOptions<TVariants>>;
-
-type CVASystemOptions<TVariants extends VariantMap = VariantMap> = Simplify<CVAVariants<TVariants> & CVADefaults<TVariants> & CVACompounds<TVariants>>;
-
-type StyleOptions<TVariants extends VariantMap = VariantMap> = Simplify<BaseClassOptions & CVASystemOptions<TVariants>>;
-
-type ClassPipelineOptions<TVariants extends VariantMap = VariantMap> = Simplify<StyleOptions<TVariants> & CompositionOptions<TVariants>>;
-
-type OwnedPropKeys = ReadonlySet<string>;
-
-type ClassPlugin<TProps extends AnyRecord = EmptyRecord> = Readonly<{
-    pipeline: ClassPipelineFn;
-    ownedKeys?: OwnedPropKeys;
-    readonly _pluginProps?: TProps;
-}>;
-
-type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, strict: StrictMode) => ClassPlugin<TProps>;
-
-type AriaContext = {
-    readonly tag: IntrinsicTag;
-    readonly implicitRole: AriaRole | undefined;
-    readonly effectiveRole: string | undefined;
-    readonly props: ReadonlyDeep<IntrinsicProps>;
-};
-
-type RemoveAttributeFixKind = `removeAttribute:${string}`;
-type InjectLiveFixKind = `injectLive:${string}`;
-type FixKind = 'removeRole' | 'setRole' | 'normalizeRelevantAll' | RemoveAttributeFixKind | InjectLiveFixKind;
-
-type AriaFixResult = {
-    applied: false;
-    next: ReadonlyDeep<IntrinsicProps>;
-} | {
-    applied: true;
-    next: ReadonlyDeep<IntrinsicProps>;
-    previous: ReadonlyDeep<IntrinsicProps>;
-};
-type AriaFix = {
-    readonly kind: FixKind;
-    readonly priority?: number;
-    readonly source?: string;
-    readonly apply: (context: AriaContext) => AriaFixResult;
-};
-
-type Severity = 'error' | 'warning' | (string & {});
-
-type AriaInvalidBase<M extends string = string> = {
-    valid: false;
-    severity: Severity;
-    message: M;
-    attribute?: string;
-};
-type AriaInvalidWithFix<M extends string = string> = AriaInvalidBase<M> & {
-    fixable: true;
-    fix: AriaFix;
-};
-type AriaInvalidWithoutFix<M extends string = string> = AriaInvalidBase<M> & {
-    fixable: false;
-};
-type AriaInvalidResult<M extends string = string> = AriaInvalidWithFix<M> | AriaInvalidWithoutFix<M>;
-type AriaResult = ValidResult | AriaInvalidResult;
-
-type AriaRule<C extends AriaContext = AriaContext> = (context: C) => readonly AriaResult[];
-
-type PropNormalizer = (props: Readonly<AnyRecord & IntrinsicProps>) => Partial<AnyRecord & IntrinsicProps>;
-
-type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
-    readonly strict?: StrictMode;
-    readonly aria?: readonly AriaRule[];
-    readonly children?: readonly ChildRuleInput[];
-    readonly props?: readonly PropNormalizer[];
-    /** Restricts the `as` prop to this set of tags. Violations route through strict mode. */
-    readonly allowedAs?: readonly TAllowed[];
-};
-
-type StylingOptions<V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends RecipeMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord> = {
-    readonly base?: ClassName;
-    readonly variants?: V;
-    readonly defaults?: Partial<DefaultVariants<V>>;
-    readonly compounds?: readonly CompoundVariant<V>[];
-    readonly presets?: TPreset;
-    readonly tags?: Readonly<TagMap>;
-    readonly plugin?: ClassPluginFactory<TPluginProps>;
-    readonly precomputedClasses?: Readonly<Record<string, string>>;
-};
-
-type NormalizeFn<Props extends AnyRecord = AnyRecord> = {
-    normalize(props: Readonly<Props & IntrinsicProps>): Props & IntrinsicProps;
-}['normalize'];
-type AnyFactoryOptions = FactoryOptions<ElementType, AnyRecord, VariantMap, RecipeMap<VariantMap>, AnyRecord>;
-type FactoryOptions<TDefault extends ElementType = ElementType, Props extends AnyRecord = EmptyRecord, V extends Readonly<VariantMap> = Readonly<EmptyRecord>, TPreset extends RecipeMap<V> = Readonly<EmptyRecord>, TPluginProps extends AnyRecord = EmptyRecord, TAllowed extends ElementType = ElementType> = {
-    readonly tag?: TDefault;
-    readonly name?: string;
-    readonly defaults?: Partial<NoInfer<Props>>;
-    readonly normalize?: NormalizeFn<NoInfer<Props>>;
-    readonly styling?: StylingOptions<V, TPreset, TPluginProps>;
-    readonly enforcement?: EnforcementOptions<TAllowed>;
-};
-
-declare const activeProps: PropNormalizer;
-
-declare const disabledProps: PropNormalizer;
-
-declare const expandedProps: PropNormalizer;
-
-declare const invalidProps: PropNormalizer;
-
-declare const loadingProps: PropNormalizer;
-
-declare const pressedProps: PropNormalizer;
-
-declare const readonlyProps: PropNormalizer;
-
-declare const selectedProps: PropNormalizer;
-
-declare const activeContract: EnforcementOptions;
-declare const disabledContract: EnforcementOptions;
-declare const expandedContract: EnforcementOptions;
-declare const invalidContract: EnforcementOptions;
-declare const loadingContract: EnforcementOptions;
-declare const pressedContract: EnforcementOptions;
-declare const readonlyContract: EnforcementOptions;
-declare const selectedContract: EnforcementOptions;
-
-declare function mergeContracts(...contracts: readonly EnforcementOptions[]): EnforcementOptions;
-
-export { type AnyFactoryOptions, type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };
+export { AnyFactoryOptions, PropNormalizer, activeProps, disabledProps, expandedProps, invalidProps, loadingProps, pressedProps, readonlyProps, selectedProps } from '@praxis-kit/core';
+export { activeContract, disabledContract, expandedContract, invalidContract, loadingContract, mergeContracts, pressedContract, readonlyContract, selectedContract } from '@praxis-kit/core/contract';