export {
  independentOpReorderingCheck,
  localeInvariantStorageCheck,
  representationPreservingCheck,
  retryNonDuplicationCheck,
  serializationRoundTripCheck,
} from "./checks.js";

export {
  generateNoninterferenceCases,
  NONINTERFERENCE_DIMENSIONS,
  runNoninterferenceChecks,
} from "./noninterference.js";

export { runMetamorphicRelation } from "./run-metamorphic-relation.js";

export {
  METAMORPHIC_RELATION_CLASSES,
  type MetamorphicRelationClass,
  type MetamorphicRelationResult,
  type MetamorphicRelationSpec,
  type NoninterferenceCase,
  type NoninterferenceDimension,
  type NoninterferenceGenerationConfig,
  type NoninterferenceResult,
  type NoninterferenceSpec,
  type NoninterferenceViolation,
} from "./types.js";