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

[0.0, 0.5, 1.0, 25.0, 300, '(none registered)', '(none)', ',', ', ', ':', 'bmc_bounded', 'budget_usd', 'cache_ttl_sec', 'content', 'drafter_model', 'empirical', 'error', 'intent', 'json_object', 'kind_unbounded', 'lean', 'lean_proved', 'lookup', 'orchestrator_model', 'prompts', 'proved', 'refuted', 'registered_tiers', 'reviewer_model', 'role', 'spec_draft_llm', 'sv_cbmc', 'tier_dispatch', 'timeout', 'type', 'unknown', 'user', 'vertical', '{}']