scripts/quality/property-seed.mjs

// Fixed seed for PR runs (deterministic). Nightly overrides via FC_SEED=random.
export const PROPERTY_SEED = 42424242;
export const PROPERTY_NUM_RUNS = 200;