@usefragments/core 1.4.0 → 1.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (40) hide show
  1. package/dist/{chunk-CBSNXFOD.js → chunk-HXGE3O2F.js} +39 -1
  2. package/dist/chunk-HXGE3O2F.js.map +1 -0
  3. package/dist/codes/index.d.ts +2 -2
  4. package/dist/codes/index.js +1 -1
  5. package/dist/compiled-types/index.d.ts +1 -1
  6. package/dist/generate/index.d.ts +1 -1
  7. package/dist/{governance-DxdJV6lx.d.ts → governance-BLsyk56o.d.ts} +11 -0
  8. package/dist/index.d.ts +359 -139
  9. package/dist/index.js +349 -95
  10. package/dist/index.js.map +1 -1
  11. package/dist/react-types.d.ts +1 -1
  12. package/dist/registry.d.ts +18 -18
  13. package/dist/schemas/index.d.ts +1 -1
  14. package/dist/test-utils.d.ts +1 -1
  15. package/package.json +1 -1
  16. package/src/codes/codes.ts +9 -0
  17. package/src/conform.ts +5 -0
  18. package/src/facts/builders.ts +45 -1
  19. package/src/facts/facts.test.ts +30 -0
  20. package/src/facts/index.ts +6 -0
  21. package/src/facts/types.ts +61 -1
  22. package/src/governance.test.ts +26 -0
  23. package/src/identity/classify.test.ts +185 -0
  24. package/src/identity/classify.ts +257 -0
  25. package/src/identity/component-key.test.ts +32 -0
  26. package/src/identity/component-key.ts +35 -0
  27. package/src/identity/usage.ts +39 -0
  28. package/src/index.ts +25 -0
  29. package/src/rules/components-prefer-library.test.ts +48 -0
  30. package/src/rules/components-prefer-library.ts +16 -0
  31. package/src/rules/components-shadow-component.test.ts +145 -0
  32. package/src/rules/components-shadow-component.ts +81 -0
  33. package/src/rules/fix-availability.ts +1 -0
  34. package/src/rules/index.ts +7 -0
  35. package/src/rules/taxonomy.test.ts +16 -1
  36. package/src/rules/tiers.ts +7 -5
  37. package/src/schema.ts +15 -0
  38. package/src/types.ts +12 -0
  39. package/dist/chunk-CBSNXFOD.js.map +0 -1
  40. package/dist/{index-0lmh0Lbo.d.ts → index-h_yWj15D.d.ts} +8 -8
package/dist/index.d.ts CHANGED
@@ -1,10 +1,10 @@
1
- import { F as Finding, A as AgentFormat, E as EvidenceGrade, a as FindingFix } from './index-0lmh0Lbo.js';
2
- export { b as AGENT_FORMAT_SCHEMA_VERSION, c as AgentErrorEnvelope, d as AgentOutput, G as CanonicalGovernanceVerdict, e as EVIDENCE_ORDER, f as FindingReplaceClassTokenFix, g as FindingReplaceComponentFix, h as FindingReplaceImportFix, i as FindingReplacePropValueFix, j as FindingReplaceStyleValueFix, k as Fix, l as GovernanceVerdictMetadata, I as InspectClaim, m as InspectClaimTier, S as SuppressionDirective, V as ValidatorResult, n as Violation, o as agentErrorEnvelopeSchema, p as agentFormatSchema, q as agentIntegritySchema, r as agentOutputSchema, s as canBlock, t as factEvidenceSchema, u as factLocationSchema, v as findingFixSchema, w as findingReplaceClassTokenFixSchema, x as findingReplaceComponentFixSchema, y as findingReplaceImportFixSchema, z as findingReplacePropValueFixSchema, B as findingReplaceStyleValueFixSchema, C as findingSchema, D as fixSchema, H as governanceVerdictMetadataSchema, J as governanceVerdictSchema, K as normalizeFinding, L as normalizeSeverity, M as normalizeViolation, N as suppressionDirectiveSchema, O as validatorResultSchema, P as violationSchema } from './index-0lmh0Lbo.js';
1
+ import { F as Finding, A as AgentFormat, E as EvidenceGrade, a as FindingFix } from './index-h_yWj15D.js';
2
+ export { b as AGENT_FORMAT_SCHEMA_VERSION, c as AgentErrorEnvelope, d as AgentOutput, G as CanonicalGovernanceVerdict, e as EVIDENCE_ORDER, f as FindingReplaceClassTokenFix, g as FindingReplaceComponentFix, h as FindingReplaceImportFix, i as FindingReplacePropValueFix, j as FindingReplaceStyleValueFix, k as Fix, l as GovernanceVerdictMetadata, I as InspectClaim, m as InspectClaimTier, S as SuppressionDirective, V as ValidatorResult, n as Violation, o as agentErrorEnvelopeSchema, p as agentFormatSchema, q as agentIntegritySchema, r as agentOutputSchema, s as canBlock, t as factEvidenceSchema, u as factLocationSchema, v as findingFixSchema, w as findingReplaceClassTokenFixSchema, x as findingReplaceComponentFixSchema, y as findingReplaceImportFixSchema, z as findingReplacePropValueFixSchema, B as findingReplaceStyleValueFixSchema, C as findingSchema, D as fixSchema, H as governanceVerdictMetadataSchema, J as governanceVerdictSchema, K as normalizeFinding, L as normalizeSeverity, M as normalizeViolation, N as suppressionDirectiveSchema, O as validatorResultSchema, P as violationSchema } from './index-h_yWj15D.js';
3
3
  import { Severity } from './severity.js';
4
4
  export { SEVERITIES, SEVERITY_RANK, SEVERITY_WEIGHTS, SeverityLevel, compareSeverity, maxSeverity, severityLevel, severitySchema, sortBySeverity } from './severity.js';
5
5
  export { BridgeViolationInput, CODES, CodeCategory, CodeLifecycle, EXPLAIN_URL_BASE, FuiCode, bridgeSourceViolation, bridgeSourceViolations, byCode, byRuleId, explainUrlForCode } from './codes/index.js';
6
- import { c as ContractDomain, d as ContractCatalogInput, G as GovernanceSeverity, b as CompiledFragment, e as GovernedFragmentDefinition, R as ResolvedGovernedFragmentDefinition, f as GovernanceConfig, g as FragmentsConfig, T as TokenConfig, h as FragmentComponent, B as BlockDefinition, C as CompiledBlock, F as FragmentDefinition, a as FragmentDefinitionV2, S as StorybookFilterConfig, i as FigmaStringMapping, j as FigmaBooleanMapping, k as FigmaEnumMapping, l as FigmaInstanceMapping, m as FigmaChildrenMapping, n as FigmaTextContentMapping, o as RelationshipType, V as VariantRenderOptions, p as VariantLoader, q as CanonicalSource } from './governance-DxdJV6lx.js';
7
- export { A as AIMetadata, r as AccessibilityGovernanceBuilder, s as AppConfig, t as BaselineInfo, u as BoundingBox, v as CONTRACT_DOMAINS, w as CONTRACT_PREIMAGE_CAPABILITY_HEADER, x as CONTRACT_PREIMAGE_SCHEMA, y as CanonicalMappingStatus, z as CompiledFragmentsFile, D as CompiledRecipe, E as CompiledTokenData, H as CompiledTokenEntry, I as ComponentGovernanceBuilder, J as ComponentGovernanceRecord, K as ComponentRef, L as ComponentRelation, M as CompositionMetadata, N as ContractCanonicalMappingInput, O as ContractComponentInput, P as ContractIdentityPin, Q as ContractPolicyInput, U as ContractPreimage, W as ContractPropMappingInput, X as ContractTokenInput, Y as ContractWaiverInput, Z as ControlType, _ as DesignSystemConfig, $ as DiffResult, a0 as FigmaPropMapping, a1 as FragmentContract, a2 as FragmentExample, a3 as FragmentGenerated, a4 as FragmentGuidance, a5 as FragmentMeta, a6 as FragmentProvenance, a7 as FragmentUsage, a8 as FragmentVariant, a9 as GlobalGovernanceRecord, aa as GlobalJsxGovernanceRecord, ab as GlobalStyleGovernanceRecord, ac as GovernancePropValue, ad as InspectConfig, ae as LocalCanonicalDeclaration, af as LocalCanonicalResolveRule, ag as Manifest, ah as ObservedComponentUsage, ai as ObservedUsageProp, aj as PlayFunction, ak as PlayFunctionContext, al as PropDefinition, am as PropGovernanceBuilder, an as PropGovernanceOptions, ao as PropKey, ap as PropType, aq as RecipeDefinition, ar as RegistryOptions, as as RepoRelativePath, at as ScaleGovernanceRecord, au as Screenshot, av as ScreenshotConfig, aw as ScreenshotMetadata, ax as ServiceConfig, ay as SnapshotConfig, az as SnippetPolicyConfig, aA as Theme, aB as ThemeSeeds, aC as TokenSourceConfig, aD as TokenSourceFormat, aE as VerifyRequest, aF as VerifyResult, aG as Viewport, aH as componentGovernanceRecordSchema, aI as componentGovernanceRecordsSchema, aJ as contractComponentsFromFragments, aK as contractPolicyFromGovernanceConfig, aL as diffContractDomains, aM as g, aN as globalGovernanceRecordSchema, aO as globalJsxGovernanceRecordSchema, aP as globalStyleGovernanceRecordSchema, aQ as governanceConfigSchema, aR as governanceConfigWithLocalCanonical, aS as governanceSeveritySchema, aT as localCanonicalContractMappings, aU as normalizeGovernanceConfig, aV as projectContractPreimage, aW as scaleGovernanceRecordSchema, aX as verifiedContractPreimageFromPin } from './governance-DxdJV6lx.js';
6
+ import { c as ContractDomain, d as ContractCatalogInput, G as GovernanceSeverity, b as CompiledFragment, e as GovernedFragmentDefinition, R as ResolvedGovernedFragmentDefinition, f as GovernanceConfig, g as FragmentsConfig, T as TokenConfig, h as FragmentComponent, B as BlockDefinition, C as CompiledBlock, F as FragmentDefinition, a as FragmentDefinitionV2, S as StorybookFilterConfig, i as FigmaStringMapping, j as FigmaBooleanMapping, k as FigmaEnumMapping, l as FigmaInstanceMapping, m as FigmaChildrenMapping, n as FigmaTextContentMapping, o as RelationshipType, V as VariantRenderOptions, p as VariantLoader, q as CanonicalSource } from './governance-BLsyk56o.js';
7
+ export { A as AIMetadata, r as AccessibilityGovernanceBuilder, s as AppConfig, t as BaselineInfo, u as BoundingBox, v as CONTRACT_DOMAINS, w as CONTRACT_PREIMAGE_CAPABILITY_HEADER, x as CONTRACT_PREIMAGE_SCHEMA, y as CanonicalMappingStatus, z as CompiledFragmentsFile, D as CompiledRecipe, E as CompiledTokenData, H as CompiledTokenEntry, I as ComponentGovernanceBuilder, J as ComponentGovernanceRecord, K as ComponentRef, L as ComponentRelation, M as CompositionMetadata, N as ContractCanonicalMappingInput, O as ContractComponentInput, P as ContractIdentityPin, Q as ContractPolicyInput, U as ContractPreimage, W as ContractPropMappingInput, X as ContractTokenInput, Y as ContractWaiverInput, Z as ControlType, _ as DesignSystemConfig, $ as DiffResult, a0 as FigmaPropMapping, a1 as FragmentContract, a2 as FragmentExample, a3 as FragmentGenerated, a4 as FragmentGuidance, a5 as FragmentMeta, a6 as FragmentProvenance, a7 as FragmentUsage, a8 as FragmentVariant, a9 as GlobalGovernanceRecord, aa as GlobalJsxGovernanceRecord, ab as GlobalStyleGovernanceRecord, ac as GovernancePropValue, ad as InspectConfig, ae as LocalCanonicalDeclaration, af as LocalCanonicalResolveRule, ag as Manifest, ah as ObservedComponentUsage, ai as ObservedUsageProp, aj as PlayFunction, ak as PlayFunctionContext, al as PropDefinition, am as PropGovernanceBuilder, an as PropGovernanceOptions, ao as PropKey, ap as PropType, aq as RecipeDefinition, ar as RegistryOptions, as as RepoRelativePath, at as ScaleGovernanceRecord, au as Screenshot, av as ScreenshotConfig, aw as ScreenshotMetadata, ax as ServiceConfig, ay as SnapshotConfig, az as SnippetPolicyConfig, aA as Theme, aB as ThemeSeeds, aC as TokenSourceConfig, aD as TokenSourceFormat, aE as VerifyRequest, aF as VerifyResult, aG as Viewport, aH as componentGovernanceRecordSchema, aI as componentGovernanceRecordsSchema, aJ as contractComponentsFromFragments, aK as contractPolicyFromGovernanceConfig, aL as diffContractDomains, aM as g, aN as globalGovernanceRecordSchema, aO as globalJsxGovernanceRecordSchema, aP as globalStyleGovernanceRecordSchema, aQ as governanceConfigSchema, aR as governanceConfigWithLocalCanonical, aS as governanceSeveritySchema, aT as localCanonicalContractMappings, aU as normalizeGovernanceConfig, aV as projectContractPreimage, aW as scaleGovernanceRecordSchema, aX as verifiedContractPreimageFromPin } from './governance-BLsyk56o.js';
8
8
  import { z } from 'zod';
9
9
  import { RegistryArtifact, RegistryDependency, RegistryInstallReceipt } from './registry.js';
10
10
  export { REGISTRY_ARTIFACT_SCHEMA_VERSION, REGISTRY_INSTALL_RECEIPT_SCHEMA_VERSION, REGISTRY_MANIFEST_SCHEMA_VERSION, RegistryArtifactInput, RegistryComponent, RegistryComponentExport, RegistryDependencyType, RegistryEntrypoint, RegistryFile, RegistryFileContent, RegistryFileInput, RegistryFileRole, RegistryInstallProfile, RegistryInstallReceiptComponent, RegistryInstallReceiptFile, RegistryManifest, RegistryManifestDraft, RegistrySource, assertValidRegistryArtifact, buildRegistryArtifact, buildRegistryFile, computeRegistryHash, finalizeRegistryManifest, hashRegistryFileContent, registryArtifactDigest, registryArtifactSchema, registryComponentExportSchema, registryComponentSchema, registryDependencySchema, registryDependencyTypeSchema, registryEntrypointSchema, registryFileContentSchema, registryFileRoleSchema, registryFileSchema, registryFileSize, registryInstallProfileSchema, registryInstallReceiptComponentSchema, registryInstallReceiptFileSchema, registryInstallReceiptSchema, registryManifestCanonicalPreimage, registryManifestDraftSchema, registryManifestSchema, registrySourceSchema } from './registry.js';
@@ -120,6 +120,11 @@ interface ConformInput {
120
120
  filename?: string;
121
121
  /** deterministic (default) applies safe edits; none returns findings only. */
122
122
  apply?: "deterministic" | "none";
123
+ /** Explicit request to consolidate a known shadow into its canonical root. */
124
+ shadowConsolidation?: {
125
+ shadow: string;
126
+ canonicalTarget?: string;
127
+ };
123
128
  }
124
129
  interface ConformLocation {
125
130
  line?: number;
@@ -568,6 +573,145 @@ declare const catalogFixtureATokensDtcg: {
568
573
  };
569
574
  };
570
575
 
576
+ type RawHtmlPrecisionTier = "exact-html" | "html-advisory" | "input-type" | "role-reimpl" | "interactive-nonsemantic" | "icon-only";
577
+ interface RawHtmlCanonicalMatch {
578
+ canonical: string;
579
+ tier: RawHtmlPrecisionTier;
580
+ }
581
+ declare const RAW_HTML_CANONICAL_TAGS: readonly {
582
+ tagName: string;
583
+ canonical: string;
584
+ tier: "exact-html";
585
+ }[];
586
+ declare const RAW_HTML_ADVISORY_TAGS: readonly {
587
+ tagName: string;
588
+ canonical: string;
589
+ tier: "html-advisory";
590
+ }[];
591
+ declare const RAW_HTML_INPUT_TYPE_CANONICALS: readonly {
592
+ type: string;
593
+ canonical: string;
594
+ tier: "input-type";
595
+ }[];
596
+ declare const RAW_HTML_ROLE_CANONICALS: readonly {
597
+ role: string;
598
+ canonical: string;
599
+ tier: "role-reimpl";
600
+ }[];
601
+ declare function resolveCanonicalForRawHtml(tagName: string, inputType?: string): RawHtmlCanonicalMatch | null;
602
+ declare function resolveCanonicalForAriaRole(role: string): RawHtmlCanonicalMatch | null;
603
+ declare function isRawHtmlAdvisoryTier(tier: RawHtmlPrecisionTier): boolean;
604
+ /**
605
+ * Decide whether a per-component `htmlEquivalent` mapping (raw `tag` → a
606
+ * `canonical` component) may drive a bare-tag canonical-usage finding.
607
+ *
608
+ * The contract:
609
+ * - Low-frequency SEMANTIC tags (dialog, select, textarea, input, …) are always
610
+ * enforceable, so a custom-named component (`<dialog>` → Modal) still maps.
611
+ * - Common/ambiguous tags (button, a, …) enforce ONLY when the mapping AGREES
612
+ * with the framework's curated canonical for that tag — so `<button>` → Button
613
+ * fires, but `<button>` → Chip does not.
614
+ * - Generic structural containers (div, span) have no curated answer and are not
615
+ * semantic → never enforce.
616
+ *
617
+ * This is the guard that stops the canonical-usage flood: a library component
618
+ * being built on a `<div>` must not make every `<div>` a bespoke re-implementation
619
+ * of it (every `<div>` → Accordion, every `<span>` → Badge, every `<button>` → Chip).
620
+ */
621
+ declare function isEnforceableHtmlEquivalent(args: {
622
+ tag: string;
623
+ canonical: string;
624
+ inputType?: string;
625
+ /**
626
+ * The mapping is an EXPLICIT project declaration of this tag → component
627
+ * (provenance: `localCanonical.resolves`), not a low-confidence inferred
628
+ * `htmlEquivalent`. Explicit declarations enforce a specific interactive tag
629
+ * (`button`/`a`) against any canonical NAME — the agnosticism path — while
630
+ * inferred mappings stay name-gated to the curated canonical (the flood
631
+ * guard). Generic containers (`div`/`span`) are never enforceable even when
632
+ * explicit.
633
+ */
634
+ explicit?: boolean;
635
+ }): boolean;
636
+
637
+ type IdentityState = "canonical" | "variant" | "shadow" | "composite" | "external" | "unresolved";
638
+ type IdentityConfidence = "confirmed" | "likely" | "review";
639
+ interface CanonicalIdentityReference {
640
+ componentKey: string;
641
+ role: string;
642
+ }
643
+ interface LocalIdentityReference {
644
+ componentKey: string;
645
+ exportName: string;
646
+ }
647
+ interface ExternalIdentityReference {
648
+ localName: string;
649
+ source: string;
650
+ }
651
+ interface ResolvedIntrinsicIdentityRoot {
652
+ kind: "intrinsic";
653
+ tag: string;
654
+ hasRole: boolean;
655
+ interactive: boolean;
656
+ role?: string;
657
+ inputType?: string;
658
+ precisionTier?: RawHtmlPrecisionTier;
659
+ canonicalTargets: readonly CanonicalIdentityReference[];
660
+ }
661
+ type ResolvedIdentityRenderRoot = {
662
+ kind: "canonical";
663
+ localName: string;
664
+ target: CanonicalIdentityReference;
665
+ } | ResolvedIntrinsicIdentityRoot | {
666
+ kind: "external";
667
+ localName: string;
668
+ source: string;
669
+ } | {
670
+ kind: "mixed";
671
+ canonicalTargets: readonly CanonicalIdentityReference[];
672
+ localTargets: readonly LocalIdentityReference[];
673
+ externalTargets: readonly ExternalIdentityReference[];
674
+ intrinsics: readonly ResolvedIntrinsicIdentityRoot[];
675
+ unresolvedNames: readonly string[];
676
+ } | {
677
+ kind: "unresolved";
678
+ reason: string;
679
+ };
680
+ interface IdentityDecision {
681
+ componentKey: string;
682
+ decision: "sanctioned-wrapper" | "rejected-wrapper";
683
+ canonicalTarget?: string;
684
+ decisionId?: string;
685
+ }
686
+ interface ClassifyIdentityInput {
687
+ definition: {
688
+ componentKey: string;
689
+ exportName: string;
690
+ canonical: boolean;
691
+ };
692
+ renderRoot: ResolvedIdentityRenderRoot;
693
+ propSurfaceOverlap?: number;
694
+ stylingOwnership?: "visual-role" | "layout-only" | "none" | "unknown";
695
+ usageCounts?: {
696
+ importers?: number;
697
+ callSites?: number;
698
+ nestedElements?: number;
699
+ staticTextChildren?: number;
700
+ };
701
+ decisions?: readonly IdentityDecision[];
702
+ nameSimilarityTargets?: readonly string[];
703
+ }
704
+ interface IdentityClassification {
705
+ state: IdentityState;
706
+ confidence: IdentityConfidence;
707
+ canonicalTarget?: string;
708
+ }
709
+ /**
710
+ * Classify already-resolved identity evidence. AST and filesystem concerns stay
711
+ * in the extractor; this function is deterministic and browser-safe.
712
+ */
713
+ declare function classifyIdentity(input: ClassifyIdentityInput): IdentityClassification;
714
+
571
715
  /**
572
716
  * Fact IR — discriminated union of governance facts.
573
717
  *
@@ -1023,10 +1167,56 @@ interface CanonicalReplacementFact extends BaseFact {
1023
1167
  confidence: number;
1024
1168
  location?: FactLocation;
1025
1169
  }
1170
+ type ComponentDefinitionRenderRoot = {
1171
+ resolution: "canonical";
1172
+ canonical: string;
1173
+ importSource: string;
1174
+ } | {
1175
+ resolution: "intrinsic";
1176
+ tag: string;
1177
+ role?: string;
1178
+ interactive?: boolean;
1179
+ } | {
1180
+ resolution: "mixed";
1181
+ canonicals: string[];
1182
+ intrinsics: string[];
1183
+ } | {
1184
+ resolution: "external";
1185
+ importSource: string;
1186
+ } | {
1187
+ resolution: "unresolved";
1188
+ reason: string;
1189
+ };
1190
+ interface ComponentDefinitionFact extends BaseFact {
1191
+ kind: "component_definition";
1192
+ /** Index-compatible projection of `componentKey`. */
1193
+ componentId: ComponentId;
1194
+ file: string;
1195
+ exportName: string;
1196
+ componentKey: string;
1197
+ renderRoot: ComponentDefinitionRenderRoot;
1198
+ propSurface: string[];
1199
+ stylingChannel?: {
1200
+ module: string;
1201
+ ownsVisualRole: boolean;
1202
+ };
1203
+ }
1204
+ interface ComponentIdentityFact extends BaseFact {
1205
+ kind: "component_identity";
1206
+ /** Index-compatible projection of `componentKey`. */
1207
+ componentId: ComponentId;
1208
+ componentKey: string;
1209
+ state: IdentityState;
1210
+ confidence: IdentityConfidence;
1211
+ canonicalTarget?: string;
1212
+ decisionId?: string;
1213
+ evidence: FactId[];
1214
+ }
1026
1215
  type ComponentLevelFact = ComponentMetadataFact | ComponentCapabilityFact | PropMetadataFact;
1027
1216
  type PolicyFact = PropValueAvoidedFact | PropValueForbiddenFact | A11yNameRequiredFact | ScaleFact | ScaleValueFact | StyleRawColorForbiddenFact | StyleRawDimensionForbiddenFact | StylePropertyScaleFact | StyleFontSizeScaleFact | StyleCssVarsMustBeDefinedFact | ContractTokenFact | JsxUnknownPropsForbiddenFact | JsxInlineStyleForbiddenRawFact | JsxImportPathPreferredFact | JsxComponentPreferredFact | TokenDefinitionFact | TailwindPaletteAllowFact | TailwindPaletteDenyFact | TailwindUnknownClassEnabledFact | GovernanceRuleConfigFact;
1028
1217
  type UsageFact = UsageNodeFact | UsageComponentFact | UsageImportFact | UsagePropResolvedFact | UsageInlineStyleFact | UsageTextChildFact | StyleDeclarationFact | StyleUnsupportedFact | ClassNameLiteralFact | ClassNameDynamicFact | TailwindClassFact | ThemeDeclarationFact | SuppressionDirectiveFact | TailwindTokenResolvedFact | CanonicalCandidateFact | CanonicalMappingFact | StructuralConfidenceFact | CanonicalReplacementFact;
1029
- type Fact = ComponentLevelFact | PolicyFact | UsageFact;
1218
+ type IdentityFact = ComponentDefinitionFact | ComponentIdentityFact;
1219
+ type Fact = ComponentLevelFact | PolicyFact | UsageFact | IdentityFact;
1030
1220
  type FactKind = Fact["kind"];
1031
1221
  /** Narrows a Fact union by kind. */
1032
1222
  type FactOfKind<K extends FactKind> = Extract<Fact, {
@@ -1076,6 +1266,22 @@ declare function makeComponentCapabilityFact(input: {
1076
1266
  componentId: ComponentId;
1077
1267
  capability: string;
1078
1268
  }): ComponentCapabilityFact;
1269
+ declare function makeComponentDefinitionFact(input: {
1270
+ file: string;
1271
+ exportName: string;
1272
+ componentKey: string;
1273
+ renderRoot: ComponentDefinitionFact["renderRoot"];
1274
+ propSurface: string[];
1275
+ stylingChannel?: ComponentDefinitionFact["stylingChannel"];
1276
+ }): ComponentDefinitionFact;
1277
+ declare function makeComponentIdentityFact(input: {
1278
+ componentKey: string;
1279
+ state: ComponentIdentityFact["state"];
1280
+ confidence: ComponentIdentityFact["confidence"];
1281
+ canonicalTarget?: string;
1282
+ decisionId?: string;
1283
+ evidence: FactId[];
1284
+ }): ComponentIdentityFact;
1079
1285
  declare function makeCanonicalCandidateFact(input: {
1080
1286
  componentId: ComponentId;
1081
1287
  canonical: string;
@@ -1788,8 +1994,8 @@ declare const bundleManifestComponentEntrySchema: z.ZodObject<{
1788
1994
  componentId: string;
1789
1995
  name: string;
1790
1996
  }[];
1997
+ tier: "core" | "composition";
1791
1998
  publicSlug: string | null;
1792
- tier: "composition" | "core";
1793
1999
  propCount: number;
1794
2000
  hasExamples: boolean;
1795
2001
  hasCompoundChildren: boolean;
@@ -1809,8 +2015,8 @@ declare const bundleManifestComponentEntrySchema: z.ZodObject<{
1809
2015
  componentId: string;
1810
2016
  name: string;
1811
2017
  }[];
2018
+ tier: "core" | "composition";
1812
2019
  publicSlug: string | null;
1813
- tier: "composition" | "core";
1814
2020
  propCount: number;
1815
2021
  hasExamples: boolean;
1816
2022
  hasCompoundChildren: boolean;
@@ -1918,8 +2124,8 @@ declare const bundleManifestSchema: z.ZodObject<{
1918
2124
  componentId: string;
1919
2125
  name: string;
1920
2126
  }[];
2127
+ tier: "core" | "composition";
1921
2128
  publicSlug: string | null;
1922
- tier: "composition" | "core";
1923
2129
  propCount: number;
1924
2130
  hasExamples: boolean;
1925
2131
  hasCompoundChildren: boolean;
@@ -1939,8 +2145,8 @@ declare const bundleManifestSchema: z.ZodObject<{
1939
2145
  componentId: string;
1940
2146
  name: string;
1941
2147
  }[];
2148
+ tier: "core" | "composition";
1942
2149
  publicSlug: string | null;
1943
- tier: "composition" | "core";
1944
2150
  propCount: number;
1945
2151
  hasExamples: boolean;
1946
2152
  hasCompoundChildren: boolean;
@@ -1962,8 +2168,8 @@ declare const bundleManifestSchema: z.ZodObject<{
1962
2168
  componentId: string;
1963
2169
  name: string;
1964
2170
  }[];
2171
+ tier: "core" | "composition";
1965
2172
  publicSlug: string | null;
1966
- tier: "composition" | "core";
1967
2173
  propCount: number;
1968
2174
  hasExamples: boolean;
1969
2175
  hasCompoundChildren: boolean;
@@ -2008,8 +2214,8 @@ declare const bundleManifestSchema: z.ZodObject<{
2008
2214
  componentId: string;
2009
2215
  name: string;
2010
2216
  }[];
2217
+ tier: "core" | "composition";
2011
2218
  publicSlug: string | null;
2012
- tier: "composition" | "core";
2013
2219
  propCount: number;
2014
2220
  hasExamples: boolean;
2015
2221
  hasCompoundChildren: boolean;
@@ -2211,9 +2417,9 @@ declare const bundleComponentShardSchema: z.ZodObject<{
2211
2417
  componentId: string;
2212
2418
  name: string;
2213
2419
  }[];
2420
+ tier: "core" | "composition";
2214
2421
  source: "design-system";
2215
2422
  publicSlug: string | null;
2216
- tier: "composition" | "core";
2217
2423
  relations: Record<string, unknown>[];
2218
2424
  publicId: string | null;
2219
2425
  usageGuidance: string;
@@ -2237,9 +2443,9 @@ declare const bundleComponentShardSchema: z.ZodObject<{
2237
2443
  componentId: string;
2238
2444
  name: string;
2239
2445
  }[];
2446
+ tier: "core" | "composition";
2240
2447
  source: "design-system";
2241
2448
  publicSlug: string | null;
2242
- tier: "composition" | "core";
2243
2449
  relations: Record<string, unknown>[];
2244
2450
  publicId: string | null;
2245
2451
  usageGuidance: string;
@@ -2268,9 +2474,9 @@ declare const bundleComponentShardSchema: z.ZodObject<{
2268
2474
  componentId: string;
2269
2475
  name: string;
2270
2476
  }[];
2477
+ tier: "core" | "composition";
2271
2478
  source: "design-system";
2272
2479
  publicSlug: string | null;
2273
- tier: "composition" | "core";
2274
2480
  relations: Record<string, unknown>[];
2275
2481
  publicId: string | null;
2276
2482
  usageGuidance: string;
@@ -2301,9 +2507,9 @@ declare const bundleComponentShardSchema: z.ZodObject<{
2301
2507
  componentId: string;
2302
2508
  name: string;
2303
2509
  }[];
2510
+ tier: "core" | "composition";
2304
2511
  source: "design-system";
2305
2512
  publicSlug: string | null;
2306
- tier: "composition" | "core";
2307
2513
  relations: Record<string, unknown>[];
2308
2514
  publicId: string | null;
2309
2515
  usageGuidance: string;
@@ -2850,8 +3056,8 @@ declare const mcpComponentSchema: z.ZodObject<{
2850
3056
  importPath?: string | undefined;
2851
3057
  publicRef?: string | undefined;
2852
3058
  sourcePath?: string | undefined;
2853
- publicSlug?: string | null | undefined;
2854
3059
  tier?: string | undefined;
3060
+ publicSlug?: string | null | undefined;
2855
3061
  packageName?: string | undefined;
2856
3062
  isCanonical?: boolean | undefined;
2857
3063
  sourceRepoFullName?: string | undefined;
@@ -2900,8 +3106,8 @@ declare const mcpComponentSchema: z.ZodObject<{
2900
3106
  accepts?: string[] | undefined;
2901
3107
  visibility?: "public" | "internal" | undefined;
2902
3108
  }[] | undefined;
2903
- publicSlug?: string | null | undefined;
2904
3109
  tier?: string | undefined;
3110
+ publicSlug?: string | null | undefined;
2905
3111
  relations?: {
2906
3112
  componentName: string;
2907
3113
  relationship: string;
@@ -3379,8 +3585,8 @@ declare const mcpSnapshotSchema: z.ZodObject<{
3379
3585
  importPath?: string | undefined;
3380
3586
  publicRef?: string | undefined;
3381
3587
  sourcePath?: string | undefined;
3382
- publicSlug?: string | null | undefined;
3383
3588
  tier?: string | undefined;
3589
+ publicSlug?: string | null | undefined;
3384
3590
  packageName?: string | undefined;
3385
3591
  isCanonical?: boolean | undefined;
3386
3592
  sourceRepoFullName?: string | undefined;
@@ -3429,8 +3635,8 @@ declare const mcpSnapshotSchema: z.ZodObject<{
3429
3635
  accepts?: string[] | undefined;
3430
3636
  visibility?: "public" | "internal" | undefined;
3431
3637
  }[] | undefined;
3432
- publicSlug?: string | null | undefined;
3433
3638
  tier?: string | undefined;
3639
+ publicSlug?: string | null | undefined;
3434
3640
  relations?: {
3435
3641
  componentName: string;
3436
3642
  relationship: string;
@@ -3670,8 +3876,8 @@ declare const mcpSnapshotSchema: z.ZodObject<{
3670
3876
  importPath?: string | undefined;
3671
3877
  publicRef?: string | undefined;
3672
3878
  sourcePath?: string | undefined;
3673
- publicSlug?: string | null | undefined;
3674
3879
  tier?: string | undefined;
3880
+ publicSlug?: string | null | undefined;
3675
3881
  packageName?: string | undefined;
3676
3882
  isCanonical?: boolean | undefined;
3677
3883
  sourceRepoFullName?: string | undefined;
@@ -3772,8 +3978,8 @@ declare const mcpSnapshotSchema: z.ZodObject<{
3772
3978
  accepts?: string[] | undefined;
3773
3979
  visibility?: "public" | "internal" | undefined;
3774
3980
  }[] | undefined;
3775
- publicSlug?: string | null | undefined;
3776
3981
  tier?: string | undefined;
3982
+ publicSlug?: string | null | undefined;
3777
3983
  relations?: {
3778
3984
  componentName: string;
3779
3985
  relationship: string;
@@ -6745,34 +6951,44 @@ declare const fragmentsConfigSchema: z.ZodObject<{
6745
6951
  }> | undefined;
6746
6952
  }>>;
6747
6953
  recognizedClassHelpers: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
6748
- }, "strip", z.ZodTypeAny, {
6749
- components?: string[] | undefined;
6750
- screenshots?: z.objectOutputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
6751
- tokens?: z.objectOutputType<{
6752
- include: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
6753
- sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
6754
- path: z.ZodEffects<z.ZodString, string, string>;
6755
- format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
6954
+ identity: z.ZodOptional<z.ZodObject<{
6955
+ decisions: z.ZodOptional<z.ZodArray<z.ZodObject<{
6956
+ component: z.ZodString;
6957
+ kind: z.ZodEnum<["sanction", "reject", "dismiss"]>;
6958
+ canonicalTarget: z.ZodOptional<z.ZodString>;
6959
+ reason: z.ZodOptional<z.ZodString>;
6960
+ decisionId: z.ZodOptional<z.ZodString>;
6756
6961
  }, "strip", z.ZodTypeAny, {
6757
- path: string;
6758
- format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
6962
+ kind: "sanction" | "reject" | "dismiss";
6963
+ component: string;
6964
+ reason?: string | undefined;
6965
+ canonicalTarget?: string | undefined;
6966
+ decisionId?: string | undefined;
6759
6967
  }, {
6760
- path: string;
6761
- format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
6968
+ kind: "sanction" | "reject" | "dismiss";
6969
+ component: string;
6970
+ reason?: string | undefined;
6971
+ canonicalTarget?: string | undefined;
6972
+ decisionId?: string | undefined;
6762
6973
  }>, "many">>;
6763
- packages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
6764
- exclude: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
6765
- themeSelectors: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
6766
- enabled: z.ZodOptional<z.ZodBoolean>;
6767
- format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
6768
- namespace: z.ZodOptional<z.ZodString>;
6769
- }, z.ZodTypeAny, "passthrough"> | undefined;
6770
- performance?: "strict" | "relaxed" | "standard" | {
6771
- preset?: "strict" | "relaxed" | "standard" | undefined;
6772
- budgets?: {
6773
- bundleSize?: number | undefined;
6774
- } | undefined;
6775
- } | undefined;
6974
+ }, "strip", z.ZodTypeAny, {
6975
+ decisions?: {
6976
+ kind: "sanction" | "reject" | "dismiss";
6977
+ component: string;
6978
+ reason?: string | undefined;
6979
+ canonicalTarget?: string | undefined;
6980
+ decisionId?: string | undefined;
6981
+ }[] | undefined;
6982
+ }, {
6983
+ decisions?: {
6984
+ kind: "sanction" | "reject" | "dismiss";
6985
+ component: string;
6986
+ reason?: string | undefined;
6987
+ canonicalTarget?: string | undefined;
6988
+ decisionId?: string | undefined;
6989
+ }[] | undefined;
6990
+ }>>;
6991
+ }, "strip", z.ZodTypeAny, {
6776
6992
  govern?: {
6777
6993
  components?: Record<string, {
6778
6994
  rules: ({
@@ -6948,6 +7164,33 @@ declare const fragmentsConfigSchema: z.ZodObject<{
6948
7164
  failOnWarnings: z.ZodOptional<z.ZodBoolean>;
6949
7165
  }, z.ZodTypeAny, "passthrough"> | undefined;
6950
7166
  } | undefined;
7167
+ components?: string[] | undefined;
7168
+ screenshots?: z.objectOutputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
7169
+ tokens?: z.objectOutputType<{
7170
+ include: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7171
+ sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
7172
+ path: z.ZodEffects<z.ZodString, string, string>;
7173
+ format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7174
+ }, "strip", z.ZodTypeAny, {
7175
+ path: string;
7176
+ format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7177
+ }, {
7178
+ path: string;
7179
+ format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7180
+ }>, "many">>;
7181
+ packages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
7182
+ exclude: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7183
+ themeSelectors: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
7184
+ enabled: z.ZodOptional<z.ZodBoolean>;
7185
+ format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7186
+ namespace: z.ZodOptional<z.ZodString>;
7187
+ }, z.ZodTypeAny, "passthrough"> | undefined;
7188
+ performance?: "strict" | "relaxed" | "standard" | {
7189
+ preset?: "strict" | "relaxed" | "standard" | undefined;
7190
+ budgets?: {
7191
+ bundleSize?: number | undefined;
7192
+ } | undefined;
7193
+ } | undefined;
6951
7194
  include?: string[] | undefined;
6952
7195
  exclude?: string[] | undefined;
6953
7196
  registry?: z.objectOutputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
@@ -7004,34 +7247,16 @@ declare const fragmentsConfigSchema: z.ZodObject<{
7004
7247
  }> | undefined;
7005
7248
  } | undefined;
7006
7249
  recognizedClassHelpers?: string[] | undefined;
7007
- }, {
7008
- components?: string[] | undefined;
7009
- screenshots?: z.objectInputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
7010
- tokens?: z.objectInputType<{
7011
- include: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7012
- sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
7013
- path: z.ZodEffects<z.ZodString, string, string>;
7014
- format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7015
- }, "strip", z.ZodTypeAny, {
7016
- path: string;
7017
- format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7018
- }, {
7019
- path: string;
7020
- format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7021
- }>, "many">>;
7022
- packages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
7023
- exclude: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7024
- themeSelectors: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
7025
- enabled: z.ZodOptional<z.ZodBoolean>;
7026
- format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7027
- namespace: z.ZodOptional<z.ZodString>;
7028
- }, z.ZodTypeAny, "passthrough"> | undefined;
7029
- performance?: "strict" | "relaxed" | "standard" | {
7030
- preset?: "strict" | "relaxed" | "standard" | undefined;
7031
- budgets?: {
7032
- bundleSize?: number | undefined;
7033
- } | undefined;
7250
+ identity?: {
7251
+ decisions?: {
7252
+ kind: "sanction" | "reject" | "dismiss";
7253
+ component: string;
7254
+ reason?: string | undefined;
7255
+ canonicalTarget?: string | undefined;
7256
+ decisionId?: string | undefined;
7257
+ }[] | undefined;
7034
7258
  } | undefined;
7259
+ }, {
7035
7260
  govern?: {
7036
7261
  components?: Record<string, {
7037
7262
  rules: ({
@@ -7207,6 +7432,33 @@ declare const fragmentsConfigSchema: z.ZodObject<{
7207
7432
  failOnWarnings: z.ZodOptional<z.ZodBoolean>;
7208
7433
  }, z.ZodTypeAny, "passthrough"> | undefined;
7209
7434
  } | undefined;
7435
+ components?: string[] | undefined;
7436
+ screenshots?: z.objectInputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
7437
+ tokens?: z.objectInputType<{
7438
+ include: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7439
+ sources: z.ZodOptional<z.ZodArray<z.ZodObject<{
7440
+ path: z.ZodEffects<z.ZodString, string, string>;
7441
+ format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7442
+ }, "strip", z.ZodTypeAny, {
7443
+ path: string;
7444
+ format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7445
+ }, {
7446
+ path: string;
7447
+ format?: "tailwind" | "auto" | "css" | "scss" | "dtcg" | undefined;
7448
+ }>, "many">>;
7449
+ packages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
7450
+ exclude: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
7451
+ themeSelectors: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
7452
+ enabled: z.ZodOptional<z.ZodBoolean>;
7453
+ format: z.ZodOptional<z.ZodEnum<["auto", "css", "scss", "dtcg", "tailwind"]>>;
7454
+ namespace: z.ZodOptional<z.ZodString>;
7455
+ }, z.ZodTypeAny, "passthrough"> | undefined;
7456
+ performance?: "strict" | "relaxed" | "standard" | {
7457
+ preset?: "strict" | "relaxed" | "standard" | undefined;
7458
+ budgets?: {
7459
+ bundleSize?: number | undefined;
7460
+ } | undefined;
7461
+ } | undefined;
7210
7462
  include?: string[] | undefined;
7211
7463
  exclude?: string[] | undefined;
7212
7464
  registry?: z.objectInputType<{}, z.ZodTypeAny, "passthrough"> | undefined;
@@ -7263,6 +7515,15 @@ declare const fragmentsConfigSchema: z.ZodObject<{
7263
7515
  }> | undefined;
7264
7516
  } | undefined;
7265
7517
  recognizedClassHelpers?: string[] | undefined;
7518
+ identity?: {
7519
+ decisions?: {
7520
+ kind: "sanction" | "reject" | "dismiss";
7521
+ component: string;
7522
+ reason?: string | undefined;
7523
+ canonicalTarget?: string | undefined;
7524
+ decisionId?: string | undefined;
7525
+ }[] | undefined;
7526
+ } | undefined;
7266
7527
  }>;
7267
7528
  /**
7268
7529
  * Schema for v2 composition metadata (promoted from ai)
@@ -8691,6 +8952,7 @@ declare const governedFragmentDefinitionSchema: z.ZodObject<{
8691
8952
  guidelines?: string[] | undefined;
8692
8953
  accessibility?: string[] | undefined;
8693
8954
  };
8955
+ govern?: ((...args: unknown[]) => unknown) | undefined;
8694
8956
  composition?: {
8695
8957
  pattern?: "compound" | "simple" | "controlled" | "wrapper" | undefined;
8696
8958
  subComponents?: string[] | undefined;
@@ -8706,7 +8968,6 @@ declare const governedFragmentDefinitionSchema: z.ZodObject<{
8706
8968
  constraints?: string[] | undefined;
8707
8969
  typeDetails?: Record<string, unknown> | undefined;
8708
8970
  }> | undefined;
8709
- govern?: ((...args: unknown[]) => unknown) | undefined;
8710
8971
  contract?: {
8711
8972
  composition?: {
8712
8973
  rule: {
@@ -8837,6 +9098,7 @@ declare const governedFragmentDefinitionSchema: z.ZodObject<{
8837
9098
  guidelines?: string[] | undefined;
8838
9099
  accessibility?: string[] | undefined;
8839
9100
  };
9101
+ govern?: ((...args: unknown[]) => unknown) | undefined;
8840
9102
  composition?: {
8841
9103
  pattern?: "compound" | "simple" | "controlled" | "wrapper" | undefined;
8842
9104
  subComponents?: string[] | undefined;
@@ -8852,7 +9114,6 @@ declare const governedFragmentDefinitionSchema: z.ZodObject<{
8852
9114
  constraints?: string[] | undefined;
8853
9115
  typeDetails?: Record<string, unknown> | undefined;
8854
9116
  }> | undefined;
8855
- govern?: ((...args: unknown[]) => unknown) | undefined;
8856
9117
  contract?: {
8857
9118
  composition?: {
8858
9119
  rule: {
@@ -10263,8 +10524,6 @@ declare const componentContractSchema: z.ZodObject<{
10263
10524
  accessibility?: string[] | undefined;
10264
10525
  };
10265
10526
  $schema: string;
10266
- status?: "experimental" | "stable" | "deprecated" | "beta" | undefined;
10267
- tokens?: string[] | undefined;
10268
10527
  preview?: {
10269
10528
  css?: string[] | undefined;
10270
10529
  theme?: "light" | "dark" | undefined;
@@ -10272,6 +10531,8 @@ declare const componentContractSchema: z.ZodObject<{
10272
10531
  wrapperModule?: string | undefined;
10273
10532
  wrapperExport?: string | undefined;
10274
10533
  } | undefined;
10534
+ status?: "experimental" | "stable" | "deprecated" | "beta" | undefined;
10535
+ tokens?: string[] | undefined;
10275
10536
  contract?: {
10276
10537
  compoundChildren?: Record<string, {
10277
10538
  description?: string | undefined;
@@ -10344,8 +10605,6 @@ declare const componentContractSchema: z.ZodObject<{
10344
10605
  accessibility?: string[] | undefined;
10345
10606
  };
10346
10607
  $schema: string;
10347
- status?: "experimental" | "stable" | "deprecated" | "beta" | undefined;
10348
- tokens?: string[] | undefined;
10349
10608
  preview?: {
10350
10609
  css?: string[] | undefined;
10351
10610
  theme?: "light" | "dark" | undefined;
@@ -10353,6 +10612,8 @@ declare const componentContractSchema: z.ZodObject<{
10353
10612
  wrapperModule?: string | undefined;
10354
10613
  wrapperExport?: string | undefined;
10355
10614
  } | undefined;
10615
+ status?: "experimental" | "stable" | "deprecated" | "beta" | undefined;
10616
+ tokens?: string[] | undefined;
10356
10617
  contract?: {
10357
10618
  compoundChildren?: Record<string, {
10358
10619
  description?: string | undefined;
@@ -10626,6 +10887,8 @@ declare function ruleComponentsForbiddenPropValue(ix: FactIndex): Finding[];
10626
10887
 
10627
10888
  declare function ruleComponentsPreferLibrary(ix: FactIndex): Finding[];
10628
10889
 
10890
+ declare function ruleComponentsShadowComponent(ix: FactIndex): Finding[];
10891
+
10629
10892
  /**
10630
10893
  * `props/invalid-value` — fires when a JSX prop is statically assigned a
10631
10894
  * value outside the component's declared enum values.
@@ -10817,8 +11080,8 @@ declare function ruleA11yRequiredAccessibleName(ix: FactIndex): Finding[];
10817
11080
  * cloud policy composer, and the UI rules editor. There is exactly one copy —
10818
11081
  * importers derive their defaults from it rather than re-listing rules (DRY).
10819
11082
  *
10820
- * Identifiers are stable: this introduces no new rule ids, it only attaches a
10821
- * tier label to existing ones.
11083
+ * Identifiers are stable: every newly registered rule must be classified here
11084
+ * in the same change.
10822
11085
  */
10823
11086
  type RuleTier = "contract" | "hygiene";
10824
11087
  /**
@@ -11248,6 +11511,15 @@ declare const RULES: readonly Rule[];
11248
11511
  */
11249
11512
  declare function runRules(ix: FactIndex): Finding[];
11250
11513
 
11514
+ interface ComponentIdentityUsage {
11515
+ usageCount: number;
11516
+ /** Number of distinct source files containing a usage. */
11517
+ blastRadius: number;
11518
+ nodes: UsageNodeFact[];
11519
+ }
11520
+ /** Join resolved component usages to their usage nodes once for rules and DX surfaces. */
11521
+ declare function indexComponentIdentityUsage(ix: FactIndex): ReadonlyMap<string, ComponentIdentityUsage>;
11522
+
11251
11523
  /**
11252
11524
  * Rule helpers — small internal queries shared by Phase 5 rules.
11253
11525
  *
@@ -11362,65 +11634,13 @@ declare function isEffectiveCanonicalSource(source: CanonicalSource): boolean;
11362
11634
  declare function hasEffectiveComponentVocabulary(options: Record<string, unknown> | undefined): boolean;
11363
11635
  declare function evaluateGovernanceIntegrity(input: GovernanceIntegrityInput): GovernanceIntegrityVerdict;
11364
11636
 
11365
- type RawHtmlPrecisionTier = "exact-html" | "html-advisory" | "input-type" | "role-reimpl" | "interactive-nonsemantic" | "icon-only";
11366
- interface RawHtmlCanonicalMatch {
11367
- canonical: string;
11368
- tier: RawHtmlPrecisionTier;
11637
+ interface ComponentKeyInput {
11638
+ repoRelativeFile: string;
11639
+ exportName: string;
11369
11640
  }
11370
- declare const RAW_HTML_CANONICAL_TAGS: readonly {
11371
- tagName: string;
11372
- canonical: string;
11373
- tier: "exact-html";
11374
- }[];
11375
- declare const RAW_HTML_ADVISORY_TAGS: readonly {
11376
- tagName: string;
11377
- canonical: string;
11378
- tier: "html-advisory";
11379
- }[];
11380
- declare const RAW_HTML_INPUT_TYPE_CANONICALS: readonly {
11381
- type: string;
11382
- canonical: string;
11383
- tier: "input-type";
11384
- }[];
11385
- declare const RAW_HTML_ROLE_CANONICALS: readonly {
11386
- role: string;
11387
- canonical: string;
11388
- tier: "role-reimpl";
11389
- }[];
11390
- declare function resolveCanonicalForRawHtml(tagName: string, inputType?: string): RawHtmlCanonicalMatch | null;
11391
- declare function resolveCanonicalForAriaRole(role: string): RawHtmlCanonicalMatch | null;
11392
- declare function isRawHtmlAdvisoryTier(tier: RawHtmlPrecisionTier): boolean;
11393
11641
  /**
11394
- * Decide whether a per-component `htmlEquivalent` mapping (raw `tag` a
11395
- * `canonical` component) may drive a bare-tag canonical-usage finding.
11396
- *
11397
- * The contract:
11398
- * - Low-frequency SEMANTIC tags (dialog, select, textarea, input, …) are always
11399
- * enforceable, so a custom-named component (`<dialog>` → Modal) still maps.
11400
- * - Common/ambiguous tags (button, a, …) enforce ONLY when the mapping AGREES
11401
- * with the framework's curated canonical for that tag — so `<button>` → Button
11402
- * fires, but `<button>` → Chip does not.
11403
- * - Generic structural containers (div, span) have no curated answer and are not
11404
- * semantic → never enforce.
11405
- *
11406
- * This is the guard that stops the canonical-usage flood: a library component
11407
- * being built on a `<div>` must not make every `<div>` a bespoke re-implementation
11408
- * of it (every `<div>` → Accordion, every `<span>` → Badge, every `<button>` → Chip).
11642
+ * Mint a clone- and platform-portable identity for one component definition.
11409
11643
  */
11410
- declare function isEnforceableHtmlEquivalent(args: {
11411
- tag: string;
11412
- canonical: string;
11413
- inputType?: string;
11414
- /**
11415
- * The mapping is an EXPLICIT project declaration of this tag → component
11416
- * (provenance: `localCanonical.resolves`), not a low-confidence inferred
11417
- * `htmlEquivalent`. Explicit declarations enforce a specific interactive tag
11418
- * (`button`/`a`) against any canonical NAME — the agnosticism path — while
11419
- * inferred mappings stay name-gated to the curated canonical (the flood
11420
- * guard). Generic containers (`div`/`span`) are never enforceable even when
11421
- * explicit.
11422
- */
11423
- explicit?: boolean;
11424
- }): boolean;
11644
+ declare function buildComponentKey({ repoRelativeFile, exportName }: ComponentKeyInput): string;
11425
11645
 
11426
- export { type A11yNameRequiredFact, AGENT_CONTEXT_RELATIVE_PATH, AgentFormat, BLOCKING_RULE_ALLOWLIST, BRAND, BlockDefinition, type Brand, type BuildAgentFormatInput, type BuildRegistryInstallPlanInput, type BundleArtifactMetadata, type BundleComponentShard, type BundleManifest, type BundleManifestComponentEntry, type BundleSchemaVersion, type BundleTarget, type BundleTokenFile, CATALOG_FIXTURE_A_FCID, type CSF2Story, type CSSGeneratorOptions, type CanonicalCandidateFact, Finding as CanonicalFinding, type CanonicalMappingFact, type CanonicalReplacementFact, CanonicalSource, type CheckStoryExclusionOpts, type CheckedSpacingValue, type ClassNameDynamicFact, type ClassNameDynamicReason, type ClassNameFact, type ClassNameLiteralFact, type ClassNameOrigin, CompiledBlock, type CompiledContractOutput, CompiledFragment, type ComplexityTier, type ComponentCapabilityFact, type ComponentContract, type ComponentFactInput, type ComponentId, type ComponentLevelFact, type ComponentMetadataFact, type CompositionAnalysis, type CompositionAuthoringEntry, type CompositionChildSelector, type CompositionConstraint, type CompositionGuideline, type CompositionPattern, type CompositionRegionSelector, type CompositionSuggestion, type CompositionWarning, type ConformChange, type ConformComponentMapping, type ConformConfidence, type ConformCoverage, type ConformInput, type ConformLocation, type ConformPropMapping, type ConformResult, type ConformSuggestion, type ConformToken, type ConformUnresolved, ContractCatalogInput, ContractDomain, type ContractStampPin, type ContractStampRecord, DEFAULTS, DEFAULT_ENHANCED_STYLE_PROPERTIES, DEFAULT_STYLE_PROPERTIES, type DTCGColorValue, type DTCGDimensionValue, type DTCGGroup, type DTCGToken, type DTCGTokenFile, type DTCGTokenType, type Decorator, type Defaults, type DeltaEMatch, type DesignSystemContext, type DesignToken, type DesignTokenParseOptions, type DiscoverComponentsOptions, type EnhancedStyleComparisonResult, type EnhancedStyleDiffItem, EvidenceGrade, type ExclusionReason, type ExclusionResult, FRAGMENTS_INTERNAL_RULE_IDS, type Fact, type FactEvidence, type FactId, FactIndex, type FactKind, type FactLocation, type FactOfKind, FigmaBooleanMapping, FigmaChildrenMapping, FigmaEnumMapping, FigmaInstanceMapping, FigmaStringMapping, FigmaTextContentMapping, type FigmaVariable, type FigmaVariableCollection, Finding, FindingFix, type Fragment, type FragmentAccessibility, FragmentComponent, type FragmentContextOptions, FragmentDefinition, FragmentDefinitionV2, type FragmentDoNotItem, type FragmentFigma, type FragmentIndex, type FragmentMeta as FragmentJsonMeta, type FragmentUsage as FragmentJsonUsage, type FragmentPattern, type FragmentRegistry, type FragmentRelated, FragmentsConfig, Severity as FuiSeverity, GovernanceConfig, type GovernanceIntegrityFamily, type GovernanceIntegrityFamilyId, type GovernanceIntegrityInput, type GovernanceIntegrityStatus, type GovernanceIntegrityVerdict, GovernanceSeverity, GovernedFragmentDefinition, type InferProps, type JsxComponentPreferredFact, type JsxImportPathPreferredFact, type JsxInlineStyleForbiddenRawFact, type JsxUnknownPropsForbiddenFact, type Loader, type McpBlock, type McpCapability, type McpComponent, type McpComponentExample, type McpComponentGuidance, type McpComponentMetadata, type McpComponentProp, type McpComponentRelation, type McpCompoundChild, type McpGuidancePattern, type McpPerformanceData, type McpPerformanceImport, type McpPerformanceSummary, type McpSnapshot, type McpSnapshotMetadata, type McpSnapshotSchemaVersion, type McpSourceType, type McpToken, type McpTokenData, type NearestByDeltaEOptions, type NormalizedStyleMap, type NormalizedToken, PRESET_NAMES, PROVE_DEFAULT_MAX_PASSES, PROVE_MAX_PASSES, type ParseTokensOptions, type ParsedToken, type PerformanceData as PerfData, type PerformanceSummary as PerfSummary, type PerformanceBudgets, type PerformanceConfig, type PolicyFact, type PresetRuleState, type PreviewConfig, type PreviewRuntimeOptions, type PreviewRuntimeState, type PreviewVariantLike, PreviewVariantRuntime, type PropMetadataFact, type PropValueAvoidedFact, type PropValueForbiddenFact, type ProveCallbacks, type ProveLoopResult, type ProveOptions, type ProvePass, type ProvePassSampling, type ProveResidual, type ProveSample, type ProveSamplerArgs, type ProveVerdict, RAW_HTML_ADVISORY_TAGS, RAW_HTML_CANONICAL_TAGS, RAW_HTML_INPUT_TYPE_CANONICALS, RAW_HTML_ROLE_CANONICALS, type RGB, type RGBA, RULES, RULE_TIER, type RawHtmlCanonicalMatch, type RawHtmlPrecisionTier, RegistryArtifact, type RegistryComponentEntry, RegistryDependency, type RegistryInstallPlan, RegistryInstallReceipt, type RegistryPropEntry, type RegistryWritePlan, RelationshipType, type ResolvedDTCGToken, ResolvedGovernedFragmentDefinition, type Rule, type RuleFn, type RuleTier, type SCSSGeneratorOptions, type ScaleFact, type ScaleValueFact, Severity, type SpacingResolutionScale, type SpacingTokenLookup, type Story, type StoryArgType, type StoryContext, type StoryMeta, type StoryModule, StorybookFilterConfig, type StructuralConfidenceFact, type StyleComparisonOptions, type StyleComparisonResult, type StyleCssVarsMustBeDefinedFact, type StyleDeclarationFact, type StyleDiffItem, type StyleFontSizeScaleFact, type StylePropertyScaleFact, type StyleRawColorForbiddenFact, type StyleUnsupportedFact, type SuppressionDirectiveFact, type TailwindClassFact, type TailwindModifier, type TailwindModifierKind, type TailwindPaletteAllowFact, type TailwindPaletteDenyFact, type TailwindResolutionSource, type TailwindResolvedKind, type TailwindResolvedValue, type TailwindTokenResolvedFact, type TailwindUnknownClassEnabledFact, type TailwindValue, type ThemeDeclarationFact, type ThemeParserResult, type TokenCategory, TokenConfig, type TokenDefinitionFact, type TokenFix, type TokenFormat, type TokenLookup, type TokenMatchRequest, type TokenMatchResult, type TokenParseError, type TokenParseOutput, type TokenParseResult, type TokenRegistry, type TokenRegistryMeta, type TokenUsageSummary, type UnsupportedStyleReason, type UsageComponentFact, type UsageFact, type UsageImportFact, type UsageInlineStyleFact, type UsageNodeFact, type UsagePropResolvedFact, type UsageTextChildFact, VariantLoader, aiMetadataSchema, analyzeComposition, asComponentId, assertPortableRegistryPath, blockDefinitionSchema, budgetBar, buildAgentFormat, buildRegistryInstallPlan, buildRegistryInstallReceipt, buildSpacingTokenLookup, bundleArtifactMetadataSchema, bundleComponentShardSchema, bundleManifestComponentEntrySchema, bundleManifestSchema, bundleSchemaVersionSchema, bundleTargetSchema, bundleTokenFileSchema, calculateDeltaE, canonicalJson, canonicalPreimage, catalogFixtureA, catalogFixtureAContractPayload, catalogFixtureATokensDtcg, checkStoryExclusion, clampMaxPasses, classifyComplexity, collectRegistryInstallDependencies, colorSimilarity, compareByVocabularyRank, compareColors, compareNumericValues, compareStyleValue, compareStyles, compareStylesWithTokens, compileBlock, compileComponentFacts, compileFragment, compileGlobalGovernanceFacts, compileRecipe, componentContractSchema, componentId, componentRelationSchema, compositionAuthoringEntrySchema, compositionMetadataSchema, compositionPatternSchema, containsTailwindV4Theme, contractHash, contractTierRuleIds, customerDefaultRuleStates, defineBlock, defineConfig, defineFragment, defineRecipe, detectSubComponentPaths, discoverComponents, dtcgTokenFileSchema, emptyConformResult, evaluateGovernanceIntegrity, executeVariantLoaders, factId, familyDistance, figma, figmaPropMappingSchema, formatBytes, formatStampHeader, formatStampPin, formatStampVersionHash, formatTokenSummary, fragmentBanSchema, fragmentContractSchema, fragmentDefinitionSchema, fragmentDefinitionV2Schema, fragmentGeneratedSchema, fragmentMetaSchema, fragmentProvenanceSchema, fragmentUsageSchema, fragmentVariantSchema, fragmentsConfigSchema, fragmentsPresetRuleStates, gatesCi, generateCSSCustomProperties, generateFigmaVariables, generateSCSSVariables, generateTailwindConfig, getComplianceBadge, getPreviewConfig, governedFragmentDefinitionSchema, hasEffectiveComponentVocabulary, hash64Hex, hexToRgb, hygieneTierRuleIds, inferTokenCategory, inferTokenGroup, isColorLike, isCompositionPattern, isConfigExcluded, isContractFile, isContractTierRule, isDTCGFile, isDenyEligible, isEffectiveCanonicalSource, isEnforceableHtmlEquivalent, isExportStory, isFigmaPropMapping, isForceIncluded, isPortableRepoPath, isRawHtmlAdvisoryTier, isReactComponent, lowerCompositionContract, makeA11yNameRequiredFact, makeCanonicalCandidateFact, makeCanonicalMappingFact, makeCanonicalReplacementFact, makeClassNameDynamicFact, makeClassNameLiteralFact, makeComponentCapabilityFact, makeComponentMetadataFact, makeContractTokenFact, makeFinding, makeJsxComponentPreferredFact, makeJsxImportPathPreferredFact, makeJsxInlineStyleForbiddenRawFact, makeJsxUnknownPropsForbiddenFact, makePropMetadataFact, makePropValueAvoidedFact, makePropValueForbiddenFact, makeScaleFact, makeScaleValueFact, makeStructuralConfidenceFact, makeStyleCssVarsMustBeDefinedFact, makeStyleDeclarationFact, makeStyleFontSizeScaleFact, makeStylePropertyScaleFact, makeStyleRawColorForbiddenFact, makeStyleUnsupportedFact, makeTailwindClassFact, makeTailwindPaletteAllowFact, makeTailwindPaletteDenyFact, makeTailwindTokenResolvedFact, makeTailwindUnknownClassEnabledFact, makeThemeDeclarationFact, makeTokenDefinitionFact, makeUsageComponentFact, makeUsageImportFact, makeUsageInlineStyleFact, makeUsageNodeFact, makeUsagePropResolvedFact, makeUsageTextChildFact, matchesGlob, mcpBlockSchema, mcpCapabilitySchema, mcpComponentExampleSchema, mcpComponentGuidanceSchema, mcpComponentMetadataSchema, mcpComponentPropSchema, mcpComponentRelationSchema, mcpComponentSchema, mcpCompoundChildSchema, mcpGuidancePatternSchema, mcpPerformanceDataSchema, mcpPerformanceImportSchema, mcpPerformanceSummarySchema, mcpSnapshotMetadataSchema, mcpSnapshotSchema, mcpSnapshotSchemaVersionSchema, mcpSourceTypeSchema, mcpTokenDataSchema, mcpTokenSchema, nearestByDeltaE, nearestSignedScaleValue, normalizeColor, normalizeConfigPath, normalizeRegistryRepoPath, normalizeStyleValue, normalizeToV1, normalizeTokenGroupComment, normalizeTokenValue, parseColor, parseColorToRgb, parseComponentContract, parseContractStamp, parseCssTokens, parseDtcgTokens as parseDTCGFile, parseDesignTokenContent, parseDtcgTokens, parseRgb, parseScssTokens, parseScssVariables, parseTailwindV4Theme, parseTokenFile, parseTokens, portableRepoPathError, propDefinitionSchema, proveCompliant, proveIssueCount, recipeDefinitionSchema, resolveCanonicalForAriaRole, resolveCanonicalForRawHtml, resolveConfiguredAppPath, resolveDesignTokenValue, resolveFigmaMapping, resolvePerformanceConfig, resolvePreviewRuntimeState, resolveProveVerdict, resolveSpacingValue, resolveTokenValue, rgbToHex, ruleA11yRequiredAccessibleName, ruleComponentsForbiddenPropValue, ruleComponentsPreferLibrary, ruleComponentsUnknownProp, ruleJsxPreferredComponent, ruleJsxPreferredImportPath, rulePropsInvalidValue, ruleStylesNoRawColor, ruleStylesNoRawDimensions, ruleStylesNoRawSpacing, ruleStylesNoRawTypography, ruleTailwindArbitraryColor, ruleTailwindArbitrarySpacing, ruleTailwindForbiddenPalette, ruleTailwindOffScaleSpacingToken, ruleTailwindRawColorViaToken, ruleTailwindUnknownClass, ruleThemeNoThemeCoupledLiteral, ruleTokensRequireDualFallback, runRules, selectedRegistryComponentNames, serializeContractStamp, setPreviewConfig, sha256Hex, sourceToRegistryTargetPath, storyModuleToFragment, storyNameFromExport, tierFor, toId, tokenIncludesFromConfig, topologyBase, usePreviewVariantRuntime, vocabularyRank };
11646
+ export { type A11yNameRequiredFact, AGENT_CONTEXT_RELATIVE_PATH, AgentFormat, BLOCKING_RULE_ALLOWLIST, BRAND, BlockDefinition, type Brand, type BuildAgentFormatInput, type BuildRegistryInstallPlanInput, type BundleArtifactMetadata, type BundleComponentShard, type BundleManifest, type BundleManifestComponentEntry, type BundleSchemaVersion, type BundleTarget, type BundleTokenFile, CATALOG_FIXTURE_A_FCID, type CSF2Story, type CSSGeneratorOptions, type CanonicalCandidateFact, Finding as CanonicalFinding, type CanonicalIdentityReference, type CanonicalMappingFact, type CanonicalReplacementFact, CanonicalSource, type CheckStoryExclusionOpts, type CheckedSpacingValue, type ClassNameDynamicFact, type ClassNameDynamicReason, type ClassNameFact, type ClassNameLiteralFact, type ClassNameOrigin, type ClassifyIdentityInput, CompiledBlock, type CompiledContractOutput, CompiledFragment, type ComplexityTier, type ComponentCapabilityFact, type ComponentContract, type ComponentDefinitionFact, type ComponentDefinitionRenderRoot, type ComponentFactInput, type ComponentId, type ComponentIdentityFact, type ComponentIdentityUsage, type ComponentKeyInput, type ComponentLevelFact, type ComponentMetadataFact, type CompositionAnalysis, type CompositionAuthoringEntry, type CompositionChildSelector, type CompositionConstraint, type CompositionGuideline, type CompositionPattern, type CompositionRegionSelector, type CompositionSuggestion, type CompositionWarning, type ConformChange, type ConformComponentMapping, type ConformConfidence, type ConformCoverage, type ConformInput, type ConformLocation, type ConformPropMapping, type ConformResult, type ConformSuggestion, type ConformToken, type ConformUnresolved, ContractCatalogInput, ContractDomain, type ContractStampPin, type ContractStampRecord, DEFAULTS, DEFAULT_ENHANCED_STYLE_PROPERTIES, DEFAULT_STYLE_PROPERTIES, type DTCGColorValue, type DTCGDimensionValue, type DTCGGroup, type DTCGToken, type DTCGTokenFile, type DTCGTokenType, type Decorator, type Defaults, type DeltaEMatch, type DesignSystemContext, type DesignToken, type DesignTokenParseOptions, type DiscoverComponentsOptions, type EnhancedStyleComparisonResult, type EnhancedStyleDiffItem, EvidenceGrade, type ExclusionReason, type ExclusionResult, type ExternalIdentityReference, FRAGMENTS_INTERNAL_RULE_IDS, type Fact, type FactEvidence, type FactId, FactIndex, type FactKind, type FactLocation, type FactOfKind, FigmaBooleanMapping, FigmaChildrenMapping, FigmaEnumMapping, FigmaInstanceMapping, FigmaStringMapping, FigmaTextContentMapping, type FigmaVariable, type FigmaVariableCollection, Finding, FindingFix, type Fragment, type FragmentAccessibility, FragmentComponent, type FragmentContextOptions, FragmentDefinition, FragmentDefinitionV2, type FragmentDoNotItem, type FragmentFigma, type FragmentIndex, type FragmentMeta as FragmentJsonMeta, type FragmentUsage as FragmentJsonUsage, type FragmentPattern, type FragmentRegistry, type FragmentRelated, FragmentsConfig, Severity as FuiSeverity, GovernanceConfig, type GovernanceIntegrityFamily, type GovernanceIntegrityFamilyId, type GovernanceIntegrityInput, type GovernanceIntegrityStatus, type GovernanceIntegrityVerdict, GovernanceSeverity, GovernedFragmentDefinition, type IdentityClassification, type IdentityConfidence, type IdentityDecision, type IdentityFact, type IdentityState, type InferProps, type JsxComponentPreferredFact, type JsxImportPathPreferredFact, type JsxInlineStyleForbiddenRawFact, type JsxUnknownPropsForbiddenFact, type Loader, type LocalIdentityReference, type McpBlock, type McpCapability, type McpComponent, type McpComponentExample, type McpComponentGuidance, type McpComponentMetadata, type McpComponentProp, type McpComponentRelation, type McpCompoundChild, type McpGuidancePattern, type McpPerformanceData, type McpPerformanceImport, type McpPerformanceSummary, type McpSnapshot, type McpSnapshotMetadata, type McpSnapshotSchemaVersion, type McpSourceType, type McpToken, type McpTokenData, type NearestByDeltaEOptions, type NormalizedStyleMap, type NormalizedToken, PRESET_NAMES, PROVE_DEFAULT_MAX_PASSES, PROVE_MAX_PASSES, type ParseTokensOptions, type ParsedToken, type PerformanceData as PerfData, type PerformanceSummary as PerfSummary, type PerformanceBudgets, type PerformanceConfig, type PolicyFact, type PresetRuleState, type PreviewConfig, type PreviewRuntimeOptions, type PreviewRuntimeState, type PreviewVariantLike, PreviewVariantRuntime, type PropMetadataFact, type PropValueAvoidedFact, type PropValueForbiddenFact, type ProveCallbacks, type ProveLoopResult, type ProveOptions, type ProvePass, type ProvePassSampling, type ProveResidual, type ProveSample, type ProveSamplerArgs, type ProveVerdict, RAW_HTML_ADVISORY_TAGS, RAW_HTML_CANONICAL_TAGS, RAW_HTML_INPUT_TYPE_CANONICALS, RAW_HTML_ROLE_CANONICALS, type RGB, type RGBA, RULES, RULE_TIER, type RawHtmlCanonicalMatch, type RawHtmlPrecisionTier, RegistryArtifact, type RegistryComponentEntry, RegistryDependency, type RegistryInstallPlan, RegistryInstallReceipt, type RegistryPropEntry, type RegistryWritePlan, RelationshipType, type ResolvedDTCGToken, ResolvedGovernedFragmentDefinition, type ResolvedIdentityRenderRoot, type ResolvedIntrinsicIdentityRoot, type Rule, type RuleFn, type RuleTier, type SCSSGeneratorOptions, type ScaleFact, type ScaleValueFact, Severity, type SpacingResolutionScale, type SpacingTokenLookup, type Story, type StoryArgType, type StoryContext, type StoryMeta, type StoryModule, StorybookFilterConfig, type StructuralConfidenceFact, type StyleComparisonOptions, type StyleComparisonResult, type StyleCssVarsMustBeDefinedFact, type StyleDeclarationFact, type StyleDiffItem, type StyleFontSizeScaleFact, type StylePropertyScaleFact, type StyleRawColorForbiddenFact, type StyleUnsupportedFact, type SuppressionDirectiveFact, type TailwindClassFact, type TailwindModifier, type TailwindModifierKind, type TailwindPaletteAllowFact, type TailwindPaletteDenyFact, type TailwindResolutionSource, type TailwindResolvedKind, type TailwindResolvedValue, type TailwindTokenResolvedFact, type TailwindUnknownClassEnabledFact, type TailwindValue, type ThemeDeclarationFact, type ThemeParserResult, type TokenCategory, TokenConfig, type TokenDefinitionFact, type TokenFix, type TokenFormat, type TokenLookup, type TokenMatchRequest, type TokenMatchResult, type TokenParseError, type TokenParseOutput, type TokenParseResult, type TokenRegistry, type TokenRegistryMeta, type TokenUsageSummary, type UnsupportedStyleReason, type UsageComponentFact, type UsageFact, type UsageImportFact, type UsageInlineStyleFact, type UsageNodeFact, type UsagePropResolvedFact, type UsageTextChildFact, VariantLoader, aiMetadataSchema, analyzeComposition, asComponentId, assertPortableRegistryPath, blockDefinitionSchema, budgetBar, buildAgentFormat, buildComponentKey, buildRegistryInstallPlan, buildRegistryInstallReceipt, buildSpacingTokenLookup, bundleArtifactMetadataSchema, bundleComponentShardSchema, bundleManifestComponentEntrySchema, bundleManifestSchema, bundleSchemaVersionSchema, bundleTargetSchema, bundleTokenFileSchema, calculateDeltaE, canonicalJson, canonicalPreimage, catalogFixtureA, catalogFixtureAContractPayload, catalogFixtureATokensDtcg, checkStoryExclusion, clampMaxPasses, classifyComplexity, classifyIdentity, collectRegistryInstallDependencies, colorSimilarity, compareByVocabularyRank, compareColors, compareNumericValues, compareStyleValue, compareStyles, compareStylesWithTokens, compileBlock, compileComponentFacts, compileFragment, compileGlobalGovernanceFacts, compileRecipe, componentContractSchema, componentId, componentRelationSchema, compositionAuthoringEntrySchema, compositionMetadataSchema, compositionPatternSchema, containsTailwindV4Theme, contractHash, contractTierRuleIds, customerDefaultRuleStates, defineBlock, defineConfig, defineFragment, defineRecipe, detectSubComponentPaths, discoverComponents, dtcgTokenFileSchema, emptyConformResult, evaluateGovernanceIntegrity, executeVariantLoaders, factId, familyDistance, figma, figmaPropMappingSchema, formatBytes, formatStampHeader, formatStampPin, formatStampVersionHash, formatTokenSummary, fragmentBanSchema, fragmentContractSchema, fragmentDefinitionSchema, fragmentDefinitionV2Schema, fragmentGeneratedSchema, fragmentMetaSchema, fragmentProvenanceSchema, fragmentUsageSchema, fragmentVariantSchema, fragmentsConfigSchema, fragmentsPresetRuleStates, gatesCi, generateCSSCustomProperties, generateFigmaVariables, generateSCSSVariables, generateTailwindConfig, getComplianceBadge, getPreviewConfig, governedFragmentDefinitionSchema, hasEffectiveComponentVocabulary, hash64Hex, hexToRgb, hygieneTierRuleIds, indexComponentIdentityUsage, inferTokenCategory, inferTokenGroup, isColorLike, isCompositionPattern, isConfigExcluded, isContractFile, isContractTierRule, isDTCGFile, isDenyEligible, isEffectiveCanonicalSource, isEnforceableHtmlEquivalent, isExportStory, isFigmaPropMapping, isForceIncluded, isPortableRepoPath, isRawHtmlAdvisoryTier, isReactComponent, lowerCompositionContract, makeA11yNameRequiredFact, makeCanonicalCandidateFact, makeCanonicalMappingFact, makeCanonicalReplacementFact, makeClassNameDynamicFact, makeClassNameLiteralFact, makeComponentCapabilityFact, makeComponentDefinitionFact, makeComponentIdentityFact, makeComponentMetadataFact, makeContractTokenFact, makeFinding, makeJsxComponentPreferredFact, makeJsxImportPathPreferredFact, makeJsxInlineStyleForbiddenRawFact, makeJsxUnknownPropsForbiddenFact, makePropMetadataFact, makePropValueAvoidedFact, makePropValueForbiddenFact, makeScaleFact, makeScaleValueFact, makeStructuralConfidenceFact, makeStyleCssVarsMustBeDefinedFact, makeStyleDeclarationFact, makeStyleFontSizeScaleFact, makeStylePropertyScaleFact, makeStyleRawColorForbiddenFact, makeStyleUnsupportedFact, makeTailwindClassFact, makeTailwindPaletteAllowFact, makeTailwindPaletteDenyFact, makeTailwindTokenResolvedFact, makeTailwindUnknownClassEnabledFact, makeThemeDeclarationFact, makeTokenDefinitionFact, makeUsageComponentFact, makeUsageImportFact, makeUsageInlineStyleFact, makeUsageNodeFact, makeUsagePropResolvedFact, makeUsageTextChildFact, matchesGlob, mcpBlockSchema, mcpCapabilitySchema, mcpComponentExampleSchema, mcpComponentGuidanceSchema, mcpComponentMetadataSchema, mcpComponentPropSchema, mcpComponentRelationSchema, mcpComponentSchema, mcpCompoundChildSchema, mcpGuidancePatternSchema, mcpPerformanceDataSchema, mcpPerformanceImportSchema, mcpPerformanceSummarySchema, mcpSnapshotMetadataSchema, mcpSnapshotSchema, mcpSnapshotSchemaVersionSchema, mcpSourceTypeSchema, mcpTokenDataSchema, mcpTokenSchema, nearestByDeltaE, nearestSignedScaleValue, normalizeColor, normalizeConfigPath, normalizeRegistryRepoPath, normalizeStyleValue, normalizeToV1, normalizeTokenGroupComment, normalizeTokenValue, parseColor, parseColorToRgb, parseComponentContract, parseContractStamp, parseCssTokens, parseDtcgTokens as parseDTCGFile, parseDesignTokenContent, parseDtcgTokens, parseRgb, parseScssTokens, parseScssVariables, parseTailwindV4Theme, parseTokenFile, parseTokens, portableRepoPathError, propDefinitionSchema, proveCompliant, proveIssueCount, recipeDefinitionSchema, resolveCanonicalForAriaRole, resolveCanonicalForRawHtml, resolveConfiguredAppPath, resolveDesignTokenValue, resolveFigmaMapping, resolvePerformanceConfig, resolvePreviewRuntimeState, resolveProveVerdict, resolveSpacingValue, resolveTokenValue, rgbToHex, ruleA11yRequiredAccessibleName, ruleComponentsForbiddenPropValue, ruleComponentsPreferLibrary, ruleComponentsShadowComponent, ruleComponentsUnknownProp, ruleJsxPreferredComponent, ruleJsxPreferredImportPath, rulePropsInvalidValue, ruleStylesNoRawColor, ruleStylesNoRawDimensions, ruleStylesNoRawSpacing, ruleStylesNoRawTypography, ruleTailwindArbitraryColor, ruleTailwindArbitrarySpacing, ruleTailwindForbiddenPalette, ruleTailwindOffScaleSpacingToken, ruleTailwindRawColorViaToken, ruleTailwindUnknownClass, ruleThemeNoThemeCoupledLiteral, ruleTokensRequireDualFallback, runRules, selectedRegistryComponentNames, serializeContractStamp, setPreviewConfig, sha256Hex, sourceToRegistryTargetPath, storyModuleToFragment, storyNameFromExport, tierFor, toId, tokenIncludesFromConfig, topologyBase, usePreviewVariantRuntime, vocabularyRank };