export {
  buildClosureInventory,
  closureCaseKindsForRule,
  generateClosureCases,
  inventoryToScenarios,
} from "./build-closure-inventory.js";
export {
  detectUni082Violations,
  evaluateClosureScenarios,
  flattenClosureViolations,
} from "./evaluate-closure.js";
export { runClosureCheck } from "./run-closure-check.js";
export {
  CLOSURE_CASE_KINDS,
  CLOSURE_UNI_RULES,
  type ClosureCase,
  type ClosureCaseKind,
  type ClosureCheckInput,
  type ClosureCheckResult,
  type ClosureContractSpec,
  type ClosureInventory,
  type ClosureInventoryEntry,
  type ClosureInventorySpec,
  type ClosureUniRule,
  type ClosureViolationsByRule,
  type EnvironmentBinding,
  type EnvironmentBindingScenario,
  type ExtendedClosureScenario,
} from "./types.js";