@lyse-labs/lyse 0.1.0-alpha.2 → 0.2.0-alpha.1

package/dist/rules/components-contracts-strictness.js

@@ -0,0 +1,372 @@
+import { existsSync, readFileSync, statSync } from "node:fs";
+import { join, relative, dirname } from "node:path";
+import fg from "fast-glob";
+import { parse as parseBabel } from "@babel/parser";
+import _traverse from "@babel/traverse";
+import { isPathExcluded } from "./_exclude.js";
+import { createLyseRule } from "./_rule-module.js";
+const traverse = (_traverse.default ??
+    _traverse);
+const RULE_ID = "components/contracts-strictness";
+const MAX_FILE_BYTES = 2_000_000;
+const VARIANT_PROP_RE = /^(variant|size|intent|color|tone|appearance|kind)$/i;
+const PASCAL_CASE_RE = /^[A-Z][a-zA-Z0-9]*$/;
+const FRAMEWORK_ALLOWED_PROPS = new Set([
+    "children",
+    "ref",
+    "key",
+    "asChild",
+    "as",
+]);
+function isPascalCase(name) {
+    return PASCAL_CASE_RE.test(name);
+}
+function classifyPropType(typeAnnotation) {
+    if (typeAnnotation.type === "TSAnyKeyword")
+        return "any";
+    if (typeAnnotation.type === "TSUnknownKeyword")
+        return "unknown";
+    if (typeAnnotation.type === "TSStringKeyword")
+        return "string";
+    return "other";
+}
+function collectPropFindings(componentName, typeMembers, findings) {
+    for (const member of typeMembers) {
+        if (member.type !== "TSPropertySignature")
+            continue;
+        const propSig = member;
+        if (propSig.key.type !== "Identifier")
+            continue;
+        const propName = propSig.key.name;
+        if (FRAMEWORK_ALLOWED_PROPS.has(propName))
+            continue;
+        const ann = propSig.typeAnnotation?.typeAnnotation;
+        if (!ann)
+            continue;
+        const kind = classifyPropType(ann);
+        const loc = propSig.loc?.start ?? { line: 1, column: 1 };
+        if (kind === "any" || kind === "unknown") {
+            findings.push({
+                componentName,
+                propName,
+                kind,
+                line: loc.line,
+                column: loc.column,
+            });
+            continue;
+        }
+        if (kind === "string" && VARIANT_PROP_RE.test(propName)) {
+            findings.push({
+                componentName,
+                propName,
+                kind: "string-variant",
+                line: loc.line,
+                column: loc.column,
+            });
+        }
+    }
+}
+/**
+ * Walk a parsed .tsx/.jsx source for exported PascalCase component declarations
+ * and collect their typed prop violations.
+ *
+ * Resolves prop type references to same-file interface / type-alias declarations.
+ * Cross-file references are skipped (v0.1 limitation, mirrors loaders/components.ts).
+ */
+export function scanComponentContracts(source) {
+    const findings = [];
+    let ast;
+    try {
+        ast = parseBabel(source, {
+            sourceType: "module",
+            plugins: ["typescript", "jsx"],
+            errorRecovery: true,
+        });
+    }
+    catch {
+        return { findings, componentCount: 0 };
+    }
+    const typeDeclarations = new Map();
+    try {
+        traverse(ast, {
+            TSInterfaceDeclaration(path) {
+                typeDeclarations.set(path.node.id.name, path.node.body.body);
+            },
+            TSTypeAliasDeclaration(path) {
+                const ann = path.node.typeAnnotation;
+                if (ann.type === "TSTypeLiteral") {
+                    typeDeclarations.set(path.node.id.name, ann.members);
+                }
+            },
+        });
+    }
+    catch {
+        return { findings, componentCount: 0 };
+    }
+    let componentCount = 0;
+    const resolveAndCollect = (componentName, params) => {
+        if (params.length === 0)
+            return;
+        const first = params[0];
+        let typeAnnotation;
+        if (first.type === "Identifier" &&
+            first.typeAnnotation?.type === "TSTypeAnnotation") {
+            typeAnnotation = first.typeAnnotation.typeAnnotation;
+        }
+        else if (first.type === "ObjectPattern" &&
+            first.typeAnnotation?.type === "TSTypeAnnotation") {
+            typeAnnotation = first.typeAnnotation.typeAnnotation;
+        }
+        if (!typeAnnotation)
+            return;
+        componentCount++;
+        if (typeAnnotation.type === "TSTypeLiteral") {
+            collectPropFindings(componentName, typeAnnotation.members, findings);
+            return;
+        }
+        if (typeAnnotation.type === "TSTypeReference") {
+            const ref = typeAnnotation;
+            if (ref.typeName.type !== "Identifier")
+                return;
+            const refName = ref.typeName.name;
+            const members = typeDeclarations.get(refName);
+            if (members) {
+                collectPropFindings(componentName, members, findings);
+            }
+        }
+    };
+    try {
+        traverse(ast, {
+            ExportNamedDeclaration(path) {
+                const decl = path.node.declaration;
+                if (!decl)
+                    return;
+                if (decl.type === "FunctionDeclaration") {
+                    const id = decl.id;
+                    if (id && isPascalCase(id.name)) {
+                        resolveAndCollect(id.name, decl.params);
+                    }
+                }
+                else if (decl.type === "VariableDeclaration") {
+                    for (const d of decl.declarations) {
+                        if (d.id.type !== "Identifier")
+                            continue;
+                        const name = d.id.name;
+                        if (!isPascalCase(name))
+                            continue;
+                        const init = d.init;
+                        if (init && init.type === "ArrowFunctionExpression") {
+                            resolveAndCollect(name, init.params);
+                        }
+                        else if (init && init.type === "FunctionExpression") {
+                            resolveAndCollect(name, init.params);
+                        }
+                    }
+                }
+            },
+            ExportDefaultDeclaration(path) {
+                const decl = path.node.declaration;
+                if (decl.type === "FunctionDeclaration") {
+                    const id = decl.id;
+                    const name = id?.name ?? "default";
+                    if (isPascalCase(name)) {
+                        resolveAndCollect(name, decl.params);
+                    }
+                }
+            },
+        });
+    }
+    catch {
+        return { findings, componentCount };
+    }
+    return { findings, componentCount };
+}
+// ---------------------------------------------------------------------------
+// package.json `types`/`typings` discovery
+// ---------------------------------------------------------------------------
+const PACKAGE_JSON_PATTERNS = [
+    "**/package.json",
+];
+function readJsonIfSmall(absPath) {
+    try {
+        const stat = statSync(absPath);
+        if (!stat.isFile())
+            return null;
+        if (stat.size > MAX_FILE_BYTES)
+            return null;
+        const raw = readFileSync(absPath, "utf8");
+        if (raw.trim().length === 0)
+            return null;
+        return JSON.parse(raw);
+    }
+    catch {
+        return null;
+    }
+}
+export function checkPackageJsonTypes(pkg, packageDir) {
+    const typesValue = typeof pkg.types === "string" ? pkg.types : null;
+    const typingsValue = typeof pkg.typings === "string" ? pkg.typings : null;
+    const declared = typesValue ?? typingsValue;
+    if (!declared) {
+        return { kind: "missing-types" };
+    }
+    const abs = join(packageDir, declared);
+    if (!existsSync(abs)) {
+        return { kind: "types-points-to-missing-file", typesPath: declared };
+    }
+    return { kind: "ok", typesPath: declared };
+}
+function looksLikePublishablePackage(pkg) {
+    if (pkg.private === true)
+        return false;
+    if (typeof pkg.name !== "string" || pkg.name.length === 0)
+        return false;
+    return (typeof pkg.main === "string" ||
+        typeof pkg.module === "string" ||
+        pkg.exports !== undefined ||
+        typeof pkg.types === "string" ||
+        typeof pkg.typings === "string");
+}
+function discoverPackageJsonFiles(ctx) {
+    if (!ctx.repoRoot)
+        return [];
+    let entries = [];
+    try {
+        entries = fg.sync(PACKAGE_JSON_PATTERNS, {
+            cwd: ctx.repoRoot,
+            absolute: false,
+            dot: false,
+            ignore: ["**/node_modules/**", "**/dist/**", "**/build/**", "**/.git/**"],
+            followSymbolicLinks: false,
+        });
+    }
+    catch {
+        return [];
+    }
+    const out = new Set();
+    for (const rel of entries) {
+        if (isPathExcluded(rel, ctx.excludePaths))
+            continue;
+        out.add(rel);
+    }
+    return Array.from(out).sort();
+}
+// ---------------------------------------------------------------------------
+// Rule evaluator
+// ---------------------------------------------------------------------------
+const evaluate = async (ctx, files) => {
+    const findings = [];
+    let opportunities = 0;
+    for (const f of files.ts) {
+        if (isPathExcluded(f.path, ctx.excludePaths))
+            continue;
+        if (!/\.(tsx|jsx)$/.test(f.path))
+            continue;
+        if (/\.(test|spec)\.(tsx?|jsx?)$/.test(f.path))
+            continue;
+        if (!/\bexport\b/.test(f.source))
+            continue;
+        const { findings: propFindings, componentCount } = scanComponentContracts(f.source);
+        opportunities += componentCount;
+        for (const pf of propFindings) {
+            if (pf.kind === "any" || pf.kind === "unknown") {
+                findings.push({
+                    ruleId: RULE_ID,
+                    axis: "components",
+                    severity: "error",
+                    location: { file: f.path, line: pf.line, column: pf.column },
+                    message: `Prop '${pf.componentName}.${pf.propName}' is typed '${pf.kind}' — AI agents cannot infer valid values`,
+                    suggestion: pf.kind === "any"
+                        ? `replace 'any' with a concrete type (string-literal union, interface, or imported type)`
+                        : `replace 'unknown' with a concrete type or refine with a runtime guard`,
+                });
+            }
+            else {
+                findings.push({
+                    ruleId: RULE_ID,
+                    axis: "components",
+                    severity: "warning",
+                    location: { file: f.path, line: pf.line, column: pf.column },
+                    message: `Variant-like prop '${pf.componentName}.${pf.propName}' is typed 'string' — use a string-literal union so AI agents know the allowed values`,
+                    suggestion: `change to a union like '"primary" | "secondary" | "ghost"'`,
+                });
+            }
+        }
+    }
+    if (ctx.repoRoot) {
+        const pkgJsonFiles = discoverPackageJsonFiles(ctx);
+        for (const rel of pkgJsonFiles) {
+            const abs = join(ctx.repoRoot, rel);
+            const data = readJsonIfSmall(abs);
+            if (!data)
+                continue;
+            if (!looksLikePublishablePackage(data))
+                continue;
+            const outcome = checkPackageJsonTypes(data, dirname(abs));
+            if (outcome.kind === "missing-types") {
+                findings.push({
+                    ruleId: RULE_ID,
+                    axis: "components",
+                    severity: "warning",
+                    location: { file: relative(ctx.repoRoot, abs) || rel, line: 1, column: 1 },
+                    message: `package.json is missing the 'types' (or 'typings') field — consumers and AI agents get no .d.ts surface`,
+                    suggestion: `add '"types": "./dist/index.d.ts"' (or the matching path for your build output)`,
+                });
+            }
+            else if (outcome.kind === "types-points-to-missing-file") {
+                findings.push({
+                    ruleId: RULE_ID,
+                    axis: "components",
+                    severity: "warning",
+                    location: { file: relative(ctx.repoRoot, abs) || rel, line: 1, column: 1 },
+                    message: `package.json 'types' points to '${outcome.typesPath}' which does not exist — build output is missing or path is wrong`,
+                    suggestion: `run the package build, or update the 'types' field to point at the produced .d.ts file`,
+                });
+            }
+        }
+    }
+    return { findings, opportunities };
+};
+export const rule = createLyseRule({
+    meta: {
+        axis: "components",
+        lyseRuleId: RULE_ID,
+        defaultSeverity: "warning",
+        shortDescription: "Component prop contracts must be strictly typed and .d.ts shipped",
+        fullDescription: "Scans exported PascalCase components in .tsx/.jsx files for lax TypeScript prop contracts that hinder AI-agent code generation: props typed `any` or `unknown` (error), and variant-like props (name matching variant/size/intent/color/tone/appearance/kind) typed plain `string` instead of a string-literal union (warning). Also checks each publishable package.json for a `types` or `typings` field and that the referenced file exists post-build (warning when missing).",
+        helpUri: "https://github.com/lyse-labs/lyse/blob/main/docs/rules/components-contracts-strictness.md",
+        rationale: `Why it matters
+
+AI coding agents and IDE tooling rely on TypeScript prop signatures to suggest valid usages. A prop typed \`any\` or \`unknown\` is a black hole — the agent has nothing to constrain its output and falls back to guesses. A variant prop typed plain \`string\` (\`variant: string\`) is just as bad: the agent has no way to know the component accepts only \`"primary" | "secondary" | "ghost"\` and will happily suggest \`variant="huge"\`.
+
+Shipping a \`.d.ts\` (declared via \`package.json\` \`types\` / \`typings\`) is the same problem at the package boundary: without a declaration file, downstream consumers and agents fall back to untyped any-mode and lose every guarantee the source code put in.
+
+The rule errors on \`any\` / \`unknown\` because those are silent footguns. It warns on variant-string and missing \`.d.ts\` because there are legitimate (if narrow) reasons to leave them, and because the auto-fix path differs from the unsafe types.`,
+        examples: [
+            {
+                good: `type ButtonVariant = "primary" | "secondary" | "ghost";\ninterface ButtonProps { variant: ButtonVariant; size: "sm" | "md" | "lg"; }\nexport function Button(props: ButtonProps) { return <button />; }`,
+                bad: `interface ButtonProps { variant: string; size: any; data: unknown; }\nexport function Button(props: ButtonProps) { return <button />; }`,
+            },
+            {
+                good: `{ "name": "@acme/ui", "main": "./dist/index.js", "types": "./dist/index.d.ts" }`,
+                bad: `{ "name": "@acme/ui", "main": "./dist/index.js" }`,
+            },
+        ],
+        allowlist: [
+            "framework-allowed props: `children`, `ref`, `key`, `as`, `asChild` (rest-spread `...rest` and ref-forwarded types are skipped)",
+            "private packages (`\"private\": true`) and non-publishable package.json files (no `name`/`main`/`module`/`exports`/`types`/`typings`)",
+            "test files (.test.tsx, .spec.tsx)",
+            "inline `// lyse-disable-next-line components/contracts-strictness` directive (handled by the global suppression engine)",
+        ],
+    },
+    defaultOptions: [],
+    create: () => ({ evaluate }),
+});
+export const _internal = {
+    scanComponentContracts,
+    checkPackageJsonTypes,
+    looksLikePublishablePackage,
+    VARIANT_PROP_RE,
+    FRAMEWORK_ALLOWED_PROPS,
+};
+//# sourceMappingURL=components-contracts-strictness.js.map

package/dist/rules/components-contracts-strictness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"components-contracts-strictness.js","sourceRoot":"","sources":["../../src/rules/components-contracts-strictness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,MAAM,WAAW,CAAC;AAC3B,OAAO,EAAE,KAAK,IAAI,UAAU,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAUxC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,MAAM,QAAQ,GAAG,CACd,SAAgD,CAAC,OAAO;IACxD,SAAmC,CACrC,CAAC;AAEF,MAAM,OAAO,GAAG,iCAAiC,CAAC;AAClD,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,MAAM,eAAe,GAAG,qDAAqD,CAAC;AAC9E,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,UAAU;IACV,KAAK;IACL,KAAK;IACL,SAAS;IACT,IAAI;CACL,CAAC,CAAC;AAUH,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAwB;IAChD,IAAI,cAAc,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,cAAc,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,cAAc,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC/D,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAC1B,aAAqB,EACrB,WAA8B,EAC9B,QAAgC;IAEhC,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QACjC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QACpD,MAAM,OAAO,GAAG,MAA+B,CAAC;QAChD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAChD,MAAM,QAAQ,GAAI,OAAO,CAAC,GAAoB,CAAC,IAAI,CAAC;QACpD,IAAI,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACpD,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAEnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAEzD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,aAAa;gBACb,QAAQ;gBACR,IAAI;gBACJ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC;gBACZ,aAAa;gBACb,QAAQ;gBACR,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAc;IAEd,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE;YACvB,UAAU,EAAE,QAAQ;YACpB,OAAO,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC;YAC9B,aAAa,EAAE,IAAI;SACpB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC9D,IAAI,CAAC;QACH,QAAQ,CAAC,GAAG,EAAE;YACZ,sBAAsB,CAAC,IAAI;gBACzB,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/D,CAAC;YACD,sBAAsB,CAAC,IAAI;gBACzB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC;gBACrC,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACjC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAG,GAAuB,CAAC,OAAO,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,MAAM,iBAAiB,GAAG,CAAC,aAAqB,EAAE,MAAgB,EAAQ,EAAE;QAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACzB,IAAI,cAAoC,CAAC;QACzC,IACE,KAAK,CAAC,IAAI,KAAK,YAAY;YAC1B,KAAsB,CAAC,cAAc,EAAE,IAAI,KAAK,kBAAkB,EACnE,CAAC;YACD,cAAc,GACX,KAAsB,CAAC,cACzB,CAAC,cAAc,CAAC;QACnB,CAAC;aAAM,IACL,KAAK,CAAC,IAAI,KAAK,eAAe;YAC7B,KAAyB,CAAC,cAAc,EAAE,IAAI,KAAK,kBAAkB,EACtE,CAAC;YACD,cAAc,GACX,KAAyB,CAAC,cAC5B,CAAC,cAAc,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,cAAc;YAAE,OAAO;QAE5B,cAAc,EAAE,CAAC;QAEjB,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC5C,mBAAmB,CACjB,aAAa,EACZ,cAAkC,CAAC,OAAO,EAC3C,QAAQ,CACT,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC9C,MAAM,GAAG,GAAG,cAAmC,CAAC;YAChD,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;gBAAE,OAAO;YAC/C,MAAM,OAAO,GAAI,GAAG,CAAC,QAAyB,CAAC,IAAI,CAAC;YACpD,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9C,IAAI,OAAO,EAAE,CAAC;gBACZ,mBAAmB,CAAC,aAAa,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,QAAQ,CAAC,GAAG,EAAE;YACZ,sBAAsB,CAAC,IAAI;gBACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;gBACnC,IAAI,CAAC,IAAI;oBAAE,OAAO;gBAClB,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACxC,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;oBACnB,IAAI,EAAE,IAAI,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;4BAAE,SAAS;wBACzC,MAAM,IAAI,GAAI,CAAC,CAAC,EAAmB,CAAC,IAAI,CAAC;wBACzC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;4BAAE,SAAS;wBAClC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;wBACpB,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;4BACpD,iBAAiB,CAAC,IAAI,EAAG,IAAkC,CAAC,MAAM,CAAC,CAAC;wBACtE,CAAC;6BAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;4BACtD,iBAAiB,CAAC,IAAI,EAAG,IAA6B,CAAC,MAAM,CAAC,CAAC;wBACjE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,wBAAwB,CAAC,IAAI;gBAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;gBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACxC,MAAM,EAAE,GAAI,IAA8B,CAAC,EAAE,CAAC;oBAC9C,MAAM,IAAI,GAAG,EAAE,EAAE,IAAI,IAAI,SAAS,CAAC;oBACnC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBACvB,iBAAiB,CAAC,IAAI,EAAG,IAA8B,CAAC,MAAM,CAAC,CAAC;oBAClE,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;IACtC,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;AACtC,CAAC;AAED,8EAA8E;AAC9E,2CAA2C;AAC3C,8EAA8E;AAE9E,MAAM,qBAAqB,GAAG;IAC5B,iBAAiB;CAClB,CAAC;AAYF,SAAS,eAAe,CAAC,OAAe;IACtC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,IAAI,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,GAAG,cAAc;YAAE,OAAO,IAAI,CAAC;QAC5C,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAOD,MAAM,UAAU,qBAAqB,CACnC,GAAqB,EACrB,UAAkB;IAElB,MAAM,UAAU,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,MAAM,YAAY,GAAG,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,MAAM,QAAQ,GAAG,UAAU,IAAI,YAAY,CAAC;IAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACnC,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,8BAA8B,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,2BAA2B,CAAC,GAAqB;IACxD,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,OAAO,CACL,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAC5B,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ;QAC9B,GAAG,CAAC,OAAO,KAAK,SAAS;QACzB,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ;QAC7B,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,GAAgB;IAChD,IAAI,CAAC,GAAG,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,qBAAqB,EAAE;YACvC,GAAG,EAAE,GAAG,CAAC,QAAQ;YACjB,QAAQ,EAAE,KAAK;YACf,GAAG,EAAE,KAAK;YACV,MAAM,EAAE,CAAC,oBAAoB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,CAAC;YACzE,mBAAmB,EAAE,KAAK;SAC3B,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QACpD,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,MAAM,QAAQ,GAAG,KAAK,EACpB,GAAgB,EAChB,KAAkB,EACO,EAAE;IAC3B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;QACzB,IAAI,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC;YAAE,SAAS;QACvD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAC3C,IAAI,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACzD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,SAAS;QAE3C,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAE,GAAG,sBAAsB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACpF,aAAa,IAAI,cAAc,CAAC;QAEhC,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/C,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,OAAO;oBACjB,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE;oBAC5D,OAAO,EAAE,SAAS,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,QAAQ,eAAe,EAAE,CAAC,IAAI,yCAAyC;oBAChH,UAAU,EACR,EAAE,CAAC,IAAI,KAAK,KAAK;wBACf,CAAC,CAAC,wFAAwF;wBAC1F,CAAC,CAAC,uEAAuE;iBAC9E,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE;oBAC5D,OAAO,EAAE,sBAAsB,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,QAAQ,uFAAuF;oBACrJ,UAAU,EAAE,4DAA4D;iBACzE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,MAAM,YAAY,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAA4B,CAAC;YAC7D,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjD,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;oBAC1E,OAAO,EAAE,yGAAyG;oBAClH,UAAU,EAAE,iFAAiF;iBAC9F,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,8BAA8B,EAAE,CAAC;gBAC3D,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,OAAO;oBACf,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;oBAC1E,OAAO,EAAE,mCAAmC,OAAO,CAAC,SAAS,mEAAmE;oBAChI,UAAU,EAAE,wFAAwF;iBACrG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,IAAI,GAAS,cAAc,CAAC;IACvC,IAAI,EAAE;QACJ,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,OAAO;QACnB,eAAe,EAAE,SAAS;QAC1B,gBAAgB,EAAE,mEAAmE;QACrF,eAAe,EACb,mdAAmd;QACrd,OAAO,EACL,2FAA2F;QAC7F,SAAS,EAAE;;;;;;0PAM2O;QACtP,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,yMAAyM;gBAC/M,GAAG,EAAE,yIAAyI;aAC/I;YACD;gBACE,IAAI,EAAE,iFAAiF;gBACvF,GAAG,EAAE,mDAAmD;aACzD;SACF;QACD,SAAS,EAAE;YACT,gIAAgI;YAChI,uIAAuI;YACvI,mCAAmC;YACnC,yHAAyH;SAC1H;KACF;IACD,cAAc,EAAE,EAAE;IAClB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,sBAAsB;IACtB,qBAAqB;IACrB,2BAA2B;IAC3B,eAAe;IACf,uBAAuB;CACxB,CAAC"}

package/dist/rules/registry.js

@@ -3,6 +3,7 @@ import { rule as rSpacing } from "./tokens-no-hardcoded-spacing.js";
 import { rule as rDtcgConformance } from "./tokens-dtcg-conformance.js";
 import { rule as rDescriptionCoverage } from "./tokens-description-coverage.js";
 import { rule as rShadowNative } from "./components-shadow-native.js";
+import { rule as rContractsStrictness } from "./components-contracts-strictness.js";
 import { rule as rNamingPascalCase } from "./naming-component-pascalcase.js";
 import { rule as rNamingHookPrefix } from "./naming-hook-prefix.js";
 import { rule as rA11y } from "./a11y-essentials.js";
@@ -10,12 +11,28 @@ import { rule as rStorybook } from "./storybook-coverage.js";
 import { rule as rAgentsMdQuality } from "./ai-surface-agents-md-quality.js";
 import { rule as rComponentManifestJson } from "./ai-surface-component-manifest-json.js";
 import { rule as rDsIndexExported } from "./ai-surface-ds-index-exported.js";
+import { rule as rMcpConfigPresent } from "./ai-surface-mcp-config-present.js";
+import { rule as rLlmsTxtStructure } from "./ai-surface-llms-txt-structure.js";
+import { rule as rShadcnRegistryValid } from "./ai-surface-shadcn-registry-valid.js";
+import { rule as rAgentInstructionFiles } from "./ai-surface-agent-instruction-files.js";
+import { rule as rAiTokensReserved } from "./ai-governance-ai-tokens-reserved.js";
+import { rule as rAiMarkerComponentPresent } from "./ai-governance-ai-marker-component-present.js";
+import { rule as rExplainabilityAffordance } from "./ai-governance-explainability-affordance.js";
+import { rule as rAiTokenRequiresMarker } from "./ai-governance-ai-token-requires-marker.js";
+import { rule as rAiLoadingErrorStates } from "./ai-governance-ai-loading-error-states.js";
+import { rule as rHumanControlAffordances } from "./ai-governance-human-control-affordances.js";
+import { rule as rAiMarkerAntiPatterns } from "./ai-governance-ai-marker-anti-patterns.js";
+import { rule as rAiContentLiveRegion } from "./ai-governance-ai-content-live-region.js";
+import { rule as rDisclaimerPresent } from "./ai-governance-disclaimer-present.js";
+import { rule as rFeedbackControlPresent } from "./ai-governance-feedback-control-present.js";
+import { rule as rValueGateDocPresent } from "./ai-governance-value-gate-doc-present.js";
 export const ruleObjects = [
     rColor,
     rSpacing,
     rDtcgConformance,
     rDescriptionCoverage,
     rShadowNative,
+    rContractsStrictness,
     rNamingPascalCase,
     rNamingHookPrefix,
     rA11y,
@@ -23,6 +40,21 @@ export const ruleObjects = [
     rAgentsMdQuality,
     rComponentManifestJson,
     rDsIndexExported,
+    rMcpConfigPresent,
+    rLlmsTxtStructure,
+    rShadcnRegistryValid,
+    rAgentInstructionFiles,
+    rAiTokensReserved,
+    rAiMarkerComponentPresent,
+    rExplainabilityAffordance,
+    rAiTokenRequiresMarker,
+    rAiLoadingErrorStates,
+    rHumanControlAffordances,
+    rAiMarkerAntiPatterns,
+    rAiContentLiveRegion,
+    rDisclaimerPresent,
+    rFeedbackControlPresent,
+    rValueGateDocPresent,
 ];
 export const ruleMap = new Map(ruleObjects.map((r) => [r.id, r]));
 //# sourceMappingURL=registry.js.map

package/dist/rules/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/rules/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,IAAI,IAAI,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,IAAI,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAG7E,MAAM,CAAC,MAAM,WAAW,GAAW;IACjC,MAAM;IACN,QAAQ;IACR,gBAAgB;IAChB,oBAAoB;IACpB,aAAa;IACb,iBAAiB;IACjB,iBAAiB;IACjB,KAAK;IACL,UAAU;IACV,gBAAgB;IAChB,sBAAsB;IACtB,gBAAgB;CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAe,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/rules/registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAChF,OAAO,EAAE,IAAI,IAAI,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,IAAI,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,IAAI,IAAI,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,IAAI,IAAI,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,IAAI,IAAI,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,IAAI,IAAI,yBAAyB,EAAE,MAAM,gDAAgD,CAAC;AACnG,OAAO,EAAE,IAAI,IAAI,yBAAyB,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,EAAE,IAAI,IAAI,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,IAAI,IAAI,wBAAwB,EAAE,MAAM,8CAA8C,CAAC;AAChG,OAAO,EAAE,IAAI,IAAI,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAC3F,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAAE,IAAI,IAAI,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AACnF,OAAO,EAAE,IAAI,IAAI,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,EAAE,IAAI,IAAI,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AAGzF,MAAM,CAAC,MAAM,WAAW,GAAW;IACjC,MAAM;IACN,QAAQ;IACR,gBAAgB;IAChB,oBAAoB;IACpB,aAAa;IACb,oBAAoB;IACpB,iBAAiB;IACjB,iBAAiB;IACjB,KAAK;IACL,UAAU;IACV,gBAAgB;IAChB,sBAAsB;IACtB,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,oBAAoB;IACpB,sBAAsB;IACtB,iBAAiB;IACjB,yBAAyB;IACzB,yBAAyB;IACzB,sBAAsB;IACtB,qBAAqB;IACrB,wBAAwB;IACxB,qBAAqB;IACrB,oBAAoB;IACpB,kBAAkB;IAClB,uBAAuB;IACvB,oBAAoB;CACrB,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAe,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/rules/tokens-dtcg-conformance.d.ts

@@ -1,5 +1,5 @@
-import type { Rule, RuleContext } from "../types.js";
-import { type DtcgDocument, type DtcgType } from "../tokens/dtcg-model.js";
+import type { Rule, RuleContext, Severity } from "../types.js";
+import { type DtcgDocument, type DtcgToken, type DtcgType } from "../tokens/dtcg-model.js";
 /**
  * Discovers DTCG-shaped JSON files under the repo:
  *   - `**\/*.tokens.json`
@@ -16,25 +16,46 @@ declare function looksLikeDtcg(data: unknown): boolean;
  * tokens that have `$value` but no `$type` when one is clearly inferable.
  */
 declare function inferTypeFromValue(value: unknown): DtcgType | null;
+interface ValueShape {
+    ok: boolean;
+    reason?: string;
+}
+declare function validateColorValue(value: unknown): ValueShape;
+declare function validateDimensionValue(value: unknown): ValueShape;
+declare function validateFontWeightValue(value: unknown): ValueShape;
+declare function validateDurationValue(value: unknown): ValueShape;
+declare function validateCubicBezierValue(value: unknown): ValueShape;
+declare function validateNumberValue(value: unknown): ValueShape;
+declare function validateFontFamilyValue(value: unknown): ValueShape;
+declare function validateStrokeStyleValue(value: unknown): ValueShape;
+declare function validateShadowValue(value: unknown): ValueShape;
+declare function validateTypographyValue(value: unknown): ValueShape;
+declare function validateBorderValue(value: unknown): ValueShape;
+declare function validateTransitionValue(value: unknown): ValueShape;
+declare function validateGradientValue(value: unknown): ValueShape;
+/**
+ * Dispatches to the right type-specific validator for a non-alias value.
+ * Returns null when the type has no validator or the value is an alias.
+ */
+declare function validateTypedValue(type: DtcgType, value: unknown): ValueShape | null;
+/**
+ * Per-token allowlist: a token may opt out of dtcg-conformance checks via
+ *
+ *     "$extensions": { "lyse": { "disable": ["tokens/dtcg-conformance"] } }
+ *
+ * This is the standard DTCG escape hatch — `$extensions` is reserved for
+ * tool-specific metadata.
+ */
+declare function isTokenDisabled(token: DtcgToken<unknown>): boolean;
+interface TokenIssue {
+    path: string;
+    severity: Severity;
+    message: string;
+    suggestion?: string;
+}
 interface WalkOutcome {
     tokenCount: number;
-    inheritedTypeConflicts: {
-        path: string;
-        groupType: DtcgType;
-        tokenType: DtcgType;
-    }[];
-    brokenAliases: {
-        path: string;
-        alias: string;
-    }[];
-    missingInferableTypes: {
-        path: string;
-        inferred: DtcgType;
-    }[];
-    shapeIssues: {
-        path: string;
-        reason: string;
-    }[];
+    issues: TokenIssue[];
 }
 declare function walkDocument(doc: DtcgDocument): WalkOutcome;
 export declare const rule: Rule;
@@ -43,5 +64,20 @@ export declare const _internal: {
     walkDocument: typeof walkDocument;
     looksLikeDtcg: typeof looksLikeDtcg;
     inferTypeFromValue: typeof inferTypeFromValue;
+    validateColorValue: typeof validateColorValue;
+    validateDimensionValue: typeof validateDimensionValue;
+    validateFontWeightValue: typeof validateFontWeightValue;
+    validateDurationValue: typeof validateDurationValue;
+    validateCubicBezierValue: typeof validateCubicBezierValue;
+    validateNumberValue: typeof validateNumberValue;
+    validateFontFamilyValue: typeof validateFontFamilyValue;
+    validateStrokeStyleValue: typeof validateStrokeStyleValue;
+    validateShadowValue: typeof validateShadowValue;
+    validateTypographyValue: typeof validateTypographyValue;
+    validateBorderValue: typeof validateBorderValue;
+    validateTransitionValue: typeof validateTransitionValue;
+    validateGradientValue: typeof validateGradientValue;
+    validateTypedValue: typeof validateTypedValue;
+    isTokenDisabled: typeof isTokenDisabled;
 };
 export {};