/**
 * Fact IR — barrel exports.
 *
 * The fact IR turns governance config and component definitions into
 * content-addressed records that downstream rules query through `FactIndex`.
 * Phase 4 will add usage extractors that emit `usage_*` facts; Phase 5 will
 * add the first generic rules that consume them through the index.
 */

export type {
  ComponentId,
  FactId,
  Fact,
  FactKind,
  FactOfKind,
  FactLocation,
  CanonicalCandidateFact,
  CanonicalMappingFact,
  CanonicalReplacementFact,
  ComponentLevelFact,
  PolicyFact,
  UsageFact,
  ComponentMetadataFact,
  ComponentCapabilityFact,
  PropMetadataFact,
  PropValueAvoidedFact,
  PropValueForbiddenFact,
  A11yNameRequiredFact,
  ScaleFact,
  ScaleValueFact,
  StructuralConfidenceFact,
  StyleRawColorForbiddenFact,
  StylePropertyScaleFact,
  StyleFontSizeScaleFact,
  StyleCssVarsMustBeDefinedFact,
  JsxUnknownPropsForbiddenFact,
  JsxInlineStyleForbiddenRawFact,
  JsxImportPathPreferredFact,
  JsxComponentPreferredFact,
  TokenDefinitionFact,
  TailwindPaletteAllowFact,
  TailwindPaletteDenyFact,
  TailwindUnknownClassEnabledFact,
  GovernanceRuleConfigFact,
  UsageNodeFact,
  UsageComponentFact,
  UsageImportFact,
  UsagePropResolvedFact,
  UsageInlineStyleFact,
  UsageTextChildFact,
  StyleDeclarationFact,
  StyleUnsupportedFact,
  UnsupportedStyleReason,
  ClassNameLiteralFact,
  ClassNameDynamicFact,
  ClassNameFact,
  ClassNameOrigin,
  ClassNameDynamicReason,
	  TailwindClassFact,
	  TailwindModifier,
	  TailwindModifierKind,
	  SuppressionDirectiveFact,
	  TailwindResolvedKind,
  TailwindResolutionSource,
  TailwindResolvedValue,
  TailwindTokenResolvedFact,
  TailwindValue,
  ThemeDeclarationFact,
} from "./types.js";

export { componentId, asComponentId, factId, hash64Hex, canonicalJson } from "./ids.js";

export {
  makeComponentMetadataFact,
  makeComponentCapabilityFact,
  makePropMetadataFact,
  makePropValueAvoidedFact,
  makePropValueForbiddenFact,
  makeA11yNameRequiredFact,
  makeCanonicalCandidateFact,
  makeCanonicalMappingFact,
  makeCanonicalReplacementFact,
  makeScaleFact,
  makeScaleValueFact,
  makeStructuralConfidenceFact,
  makeStyleRawColorForbiddenFact,
  makeStylePropertyScaleFact,
  makeStyleFontSizeScaleFact,
  makeStyleCssVarsMustBeDefinedFact,
  makeContractTokenFact,
  makeJsxUnknownPropsForbiddenFact,
  makeJsxInlineStyleForbiddenRawFact,
  makeJsxImportPathPreferredFact,
  makeJsxComponentPreferredFact,
  makeTokenDefinitionFact,
  makeTailwindPaletteAllowFact,
  makeTailwindPaletteDenyFact,
  makeTailwindUnknownClassEnabledFact,
  makeGovernanceRuleConfigFact,
  makeUsageNodeFact,
  makeUsageComponentFact,
  makeUsageImportFact,
  makeUsagePropResolvedFact,
  makeUsageInlineStyleFact,
  makeUsageTextChildFact,
  makeStyleDeclarationFact,
  makeStyleUnsupportedFact,
  makeClassNameLiteralFact,
  makeClassNameDynamicFact,
  makeTailwindClassFact,
  makeThemeDeclarationFact,
  makeTailwindTokenResolvedFact,
} from "./builders.js";

export { FactIndex, matchesGlob } from "./fact-index.js";
export type { FactEvidence } from "./fact-index.js";

export { compileGlobalGovernanceFacts, compileComponentFacts } from "./compile.js";
export type { ComponentFactInput } from "./compile.js";