stimeo-ui 0.3.0 → 0.5.0

package/dist/inspector/cli.d.ts

@@ -23,6 +23,14 @@ interface ControllerManifest {
     readonly targets: readonly string[];
     /** Value names (camelCase) declared via `static values`. */
     readonly values: readonly string[];
+    /**
+     * Authoring constraints for literal Stimulus Values (stage 1). Reflection can
+     * expose a Value's name and decoder, but not semantic bounds such as a
+     * strictly positive step, so those contracts stay explicit and reviewable.
+     */
+    readonly valueConstraints: readonly ValueConstraint[];
+    /** Statically decidable relationships between literal Stimulus Values. */
+    readonly valueRelations: readonly ValueRelation[];
     /**
      * Public action method names declared via `static actions`, wired by
      * consumers as `data-action="…-><identifier>#<action>"`.
@@ -57,6 +65,13 @@ interface ControllerManifest {
      * toolbar, radio group, …) are deliberately excluded.
      */
     readonly keyboard: readonly KeyboardRequirement[];
+    /**
+     * Host-element contracts (stage 3): scope or target elements that must avoid
+     * native interactive semantics the controller cannot safely compose with.
+     * A rule may explicitly admit non-submitting buttons when the controller
+     * delegates their native activation to the browser.
+     */
+    readonly hosts: readonly HostRequirement[];
     /**
      * Author-futile attributes (stage 3): ARIA the controller recomputes
      * wholesale at runtime, where an authored value can neither
@@ -328,6 +343,27 @@ interface KeyboardRequirement {
     /** Human-readable fix suggestion shown by the CLI (stage 4). */
     readonly suggestion: string;
 }
+/**
+ * A host-element contract (stage 3): the element carrying a controller or one
+ * of its targets must use semantics the controller can own without competing
+ * with another native interaction.
+ *
+ * `"non-interactive"` admits only generic, non-interactive elements.
+ * `"non-interactive-or-button"` additionally admits a `<button>` whose
+ * literal `type` is listed in {@link buttonTypes}. The explicit type matters:
+ * a missing or invalid button type defaults to `submit`, so treating it as an
+ * ordinary action button would silently submit an enclosing form.
+ */
+interface HostRequirement {
+    /** Target name; the empty string `""` means the controller scope element. */
+    readonly target: string;
+    /** Static host shapes the controller supports. */
+    readonly mode: "non-interactive" | "non-interactive-or-button";
+    /** Literal button types admitted by `"non-interactive-or-button"`. */
+    readonly buttonTypes?: readonly string[];
+    /** Human-readable fix suggestion shown by the CLI (stage 4). */
+    readonly suggestion: string;
+}
 /**
  * An author-futile attribute rule (stage 3): authoring any of {@link attrs} on
  * the {@link target} element draws a `managed-aria` **warning** — the
@@ -564,6 +600,45 @@ interface ConditionalTargetRule {
     /** Human-readable fix suggestion shown by the CLI (stage 4). */
     readonly suggestion: string;
 }
+/**
+ * A statically checkable numeric contract on one declared Stimulus Value.
+ *
+ * The Inspector decodes literals like Stimulus (`Number(raw.replace(/_/g,
+ * ""))`) before applying these bounds. ERB-generated values are undecidable and
+ * skipped rather than guessed.
+ */
+interface ValueConstraint {
+    /** Value name (camelCase, as declared in `static values`). */
+    readonly value: string;
+    /** Decoder family. Numeric bounds are the first supported semantic family. */
+    readonly type: "number";
+    /** Reject `NaN` and infinities when true. */
+    readonly finite?: boolean;
+    /** Require a decoded number strictly greater than this bound. */
+    readonly greaterThan?: number;
+    /** Human-readable fix suggestion shown by the CLI (stage 4). */
+    readonly suggestion: string;
+}
+/**
+ * A statically checkable relationship between two numeric Stimulus Values.
+ *
+ * Missing attributes use the controller's public defaults. If either authored
+ * value is dynamic, the Inspector skips the relation rather than guessing.
+ */
+interface ValueRelation {
+    /** Value on the left side of the comparison (camelCase). */
+    readonly left: string;
+    /** Supported numeric comparison. */
+    readonly operator: "less-than-or-equal";
+    /** Value on the right side of the comparison (camelCase). */
+    readonly right: string;
+    /** Effective left value when its attribute is absent. */
+    readonly leftDefault: number;
+    /** Effective right value when its attribute is absent. */
+    readonly rightDefault: number;
+    /** Human-readable fix suggestion shown by the CLI (stage 4). */
+    readonly suggestion: string;
+}
 /** Severity of a diagnostic. Only `error` affects the process exit code. */
 type DiagnosticSeverity = "error" | "warning";
 /**
@@ -571,7 +646,7 @@ type DiagnosticSeverity = "error" | "warning";
  * for testing, machine-readable output, and `data-stimeo-ignore` suppression
  * lists (which is why the set also exists as a runtime array).
  */
-declare const DIAGNOSTIC_CODES: readonly ["unknown-controller", "unknown-target", "unknown-value", "unknown-action-controller", "unknown-action-method", "orphan-target", "missing-required-target", "missing-conditional-target", "missing-aria", "invalid-aria-value", "keyboard-inaccessible", "unresolved-idref", "managed-aria", "composition-mismatch", "missing-companion", "undeclared-target", "cardinality-violation", "forbidden-aria", "unknown-ignore-code"];
+declare const DIAGNOSTIC_CODES: readonly ["unknown-controller", "unknown-target", "unknown-value", "invalid-value", "unknown-action-controller", "unknown-action-method", "orphan-target", "missing-required-target", "missing-conditional-target", "missing-aria", "invalid-aria-value", "keyboard-inaccessible", "invalid-host", "unresolved-idref", "managed-aria", "composition-mismatch", "missing-companion", "undeclared-target", "cardinality-violation", "forbidden-aria", "unknown-ignore-code"];
 /** See {@link DIAGNOSTIC_CODES}. */
 type DiagnosticCode = (typeof DIAGNOSTIC_CODES)[number];
 /**