# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/spec/defaults.py
# hypothesis_version: 6.152.1

[0.0, 0.5, 1.0, 'bmc_bounded', 'drafter_model', 'ebmc', 'empirical', 'error', 'kind_unbounded', 'lean', 'lean_proved', 'prompts', 'proved', 'refuted', 'reviewer_model', 'spec_draft_llm', 'timeout', 'unknown', 'vertical']