# Top-K — faithful port of SkyDiscover's TopKDatabase defaults (uncapped keep-all archive).
# Sections mirror the six core components.
seed: 0
general:
  max_iterations: 100
  inner_retry_times: 3      # SkyDiscover retries up to 3 propose+evaluate attempts per iteration (retry_times)
# population (TopKPopulation) is uncapped keep-all by default (SkyDiscover enforces no cap);
# set population.capacity to an int only if you need to bound the archive.
selection_policy:           # TopKPolicy
  num_inspirations: 4       # K — programs at ranks 2..K+1 used as context (num_context_programs)
proposer:
  max_tokens: 32000         # SkyDiscover LLMConfig.max_tokens (applies only to a model built from this preset)