praxis-kit 3.1.1 → 4.0.1

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,6 +1,7 @@
-import { RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
+import { Except, RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
 
-type AnyRecord = Record<string, unknown>;
+type StringMap<T = unknown> = Record<string, T>;
+type AnyRecord = StringMap<unknown>;
 
 type IntrinsicTag = keyof HTMLElementTagNameMap;
 
@@ -9,32 +10,165 @@ 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 NonEmptyArray<T> = [T, ...T[]];
+type Numberish = number | `${number}`;
+type Primitive = string | number | boolean;
+type AriaRole = KnownAriaRole | (string & {});
 type IntrinsicProps = AnyRecord & {
     role?: AriaRole;
 };
+type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
-type NonEmptyArray<T> = [T, ...T[]];
+declare enum DiagnosticCategory {
+    Contract = 0,
+    HTML = 1,
+    ARIA = 2,
+    Composition = 3,
+    Rendering = 4,
+    Accessibility = 5,
+    Performance = 6,
+    Internal = 7,
+    Deprecation = 8,
+    Lint = 9
+}
 
-type Numberish = number | `${number}`;
+declare enum DiagnosticCode {
+    MissingRequiredChild = "COMP1001",
+    InvalidParent = "COMP1002",
+    InvalidChild = "COMP1003",
+    UnexpectedChild = "COMP1004",
+    AmbiguousChild = "COMP1005",
+    CardinalityMin = "COMP1006",
+    CardinalityMax = "COMP1007",
+    PositionViolation = "COMP1008",
+    AllowedAsViolation = "COMP1009",
+    SlotExclusive = "SLOT1001",
+    SlotSingleChild = "SLOT1002",
+    SlotDiscardedChildren = "SLOT1003",
+    SlotRenderFn = "SLOT1004",
+    MissingAriaRelationship = "ARIA2001",
+    AriaViolation = "ARIA2002",
+    AriaAttributeInvalid = "ARIA2003",
+    AriaMissingLiveRegion = "ARIA2004",
+    AriaMissingAtomic = "ARIA2005",
+    AriaRelevantInvalidToken = "ARIA2006",
+    AriaRelevantSuperseded = "ARIA2007",
+    AriaInvalidRole = "ARIA2008",
+    AriaMissingAccessibleName = "ARIA2009",
+    AriaAttributeOnPresentational = "ARIA2010",
+    AriaHiddenOnFocusable = "ARIA2011",
+    AriaRequiredProperty = "ARIA2012",
+    AriaInvalidAttributeValue = "ARIA2013",
+    AriaRedundantLevelAttribute = "ARIA2014",
+    InvalidHeadingHierarchy = "HTML3001",
+    HtmlEmptyRole = "HTML3002",
+    HtmlImplicitRoleRedundant = "HTML3003",
+    HtmlImplicitRoleOverride = "HTML3004",
+    HtmlStandaloneRegionOverride = "HTML3005",
+    HtmlLandmarkRoleOverride = "HTML3006",
+    HtmlInvalidChild = "HTML3007",
+    InvalidRenderingTarget = "RENDER4001",
+    LintDeadCompoundKey = "LINT5001",
+    LintDeadCompoundValue = "LINT5002",
+    LintDeadCompoundNonLiteral = "LINT5003",
+    LintMissingStrict = "LINT5004",
+    LintInvalidDefaultKey = "LINT5005",
+    LintInvalidDefaultValue = "LINT5006",
+    LintInvalidDefaultNonLiteral = "LINT5007",
+    LintNegativeMin = "LINT5008",
+    LintNegativeMax = "LINT5009",
+    LintMaxLessThanMin = "LINT5010",
+    LintZeroMax = "LINT5011",
+    LintMultipleFirst = "LINT5012",
+    LintMultipleLast = "LINT5013",
+    LintMinSumExceedsCapacity = "LINT5014",
+    LintCardinalityViolation = "LINT5015",
+    LintAriaTagOverride = "LINT5016",
+    ContractUnknownVariantDim = "COMP1010",
+    ContractUnknownVariantValue = "COMP1011",
+    ContractUnknownRecipeKey = "COMP1012",
+    ContractInvalidVariantValue = "COMP1013",
+    TailwindMultipleDisplayProps = "CSS6001",
+    TailwindReservedLayoutLiteral = "CSS6002",
+    TailwindDeadVariantClass = "CSS6003",
+    PluginInvalidShape = "PLUGIN7001",
+    PluginPipelineReturnType = "PLUGIN7002",
+    InternalError = "INTERNAL9000"
+}
 
-type Primitive = string | number | boolean;
+interface SourcePosition {
+    line: number;
+    col: number;
+}
+interface SourceLocation {
+    file: string;
+    start: SourcePosition;
+    end?: SourcePosition;
+}
 
-type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
+declare enum Severity$1 {
+    Debug = 0,
+    Info = 1,
+    Warning = 2,
+    Error = 3,
+    Fatal = 4
+}
+
+interface DiagnosticSuggestion {
+    title: string;
+    description?: string;
+    fix?: string;
+}
 
-type StrictMode = boolean | 'warn' | 'async-warn' | 'throw';
+type Context = AnyRecord;
+type Metadata = AnyRecord;
+interface Diagnostic {
+    code: DiagnosticCode;
+    severity: Severity$1;
+    category: DiagnosticCategory;
+    message: string;
+    rationale?: string;
+    component?: string;
+    contract?: string;
+    location?: SourceLocation;
+    suggestions?: DiagnosticSuggestion[];
+    context?: Context;
+    metadata?: Metadata;
+}
 
-type CardinalityInput = {
-    min?: number;
-    max?: number;
+declare enum Enforcement {
+    Ignore = 0,
+    Report = 1,
+    Throw = 2
+}
+interface DiagnosticPolicy {
+    resolve(diagnostic: Diagnostic): Enforcement;
+}
+
+interface DiagnosticReporter {
+    report(diagnostic: Diagnostic): void;
+}
+
+type DiagnosticInput = Except<Diagnostic, 'severity'>;
+declare class Diagnostics {
+    private readonly reporter;
+    private readonly policy;
+    readonly active: boolean;
+    constructor(reporter: DiagnosticReporter, policy?: DiagnosticPolicy);
+    report(diagnostic: Diagnostic): Diagnostic;
+    warn(input: DiagnosticInput): Diagnostic;
+    error(input: DiagnosticInput): Diagnostic;
+    info(input: DiagnosticInput): Diagnostic;
+}
+
+type MinMax = {
+    min: number;
+    max: number;
 };
+type CardinalityInput = Partial<MinMax>;
 
 type ChildRuleMatch<T, U extends T = T> = (child: T) => child is U;
 
@@ -57,16 +191,6 @@ 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<{
@@ -75,18 +199,13 @@ type CompoundVariantConditions<V extends VariantMap> = Simplify<{
 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;
+    class: VariantValue;
 };
 
 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>;
 }
@@ -95,6 +214,11 @@ interface CVAVariants<V extends VariantMap> {
     variants?: V;
 }
 
+type StringToBoolean<T> = T extends 'true' | 'false' ? boolean : T;
+type VariantValue = string | string[];
+type VariantStates<K extends string = string> = Record<K, VariantValue>;
+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>;
 /**
  * A partial selection of variant states authored at factory definition time.
  *
@@ -104,7 +228,10 @@ interface CVAVariants<V extends VariantMap> {
 type VariantSelection<V extends VariantMap> = {
     [K in keyof V]?: keyof V[K];
 };
-
+type NormalizedVariantValue<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]?: NormalizedVariantValue<keyof V[K] & string>;
+};
 /**
  * A static, immutable map of named presets to partial variant selections.
  *
@@ -112,7 +239,6 @@ type VariantSelection<V extends VariantMap> = {
  * 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 {
@@ -145,7 +271,7 @@ type ClassPlugin<TProps extends AnyRecord = EmptyRecord> = Readonly<{
     readonly _pluginProps?: TProps;
 }>;
 
-type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, strict: StrictMode) => ClassPlugin<TProps>;
+type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, diagnostics: Diagnostics) => ClassPlugin<TProps>;
 
 type AriaContext = {
     readonly tag: IntrinsicTag;
@@ -178,8 +304,9 @@ type Severity = 'error' | 'warning' | (string & {});
 type AriaInvalidBase<M extends string = string> = {
     valid: false;
     severity: Severity;
-    message: M;
+    message?: M;
     attribute?: string;
+    diagnostic?: DiagnosticInput;
 };
 type AriaInvalidWithFix<M extends string = string> = AriaInvalidBase<M> & {
     fixable: true;
@@ -196,11 +323,11 @@ type AriaRule<C extends AriaContext = AriaContext> = (context: C) => readonly Ar
 type PropNormalizer = (props: Readonly<AnyRecord & IntrinsicProps>) => Partial<AnyRecord & IntrinsicProps>;
 
 type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
-    readonly strict?: StrictMode;
+    readonly diagnostics?: Diagnostics;
     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. */
+    /** Restricts the `as` prop to this set of tags. Violations route through diagnostics. */
     readonly allowedAs?: readonly TAllowed[];
 };