# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/verify/plugin/suites.py
# hypothesis_version: 6.152.1

[0.0, 0.5, 5.0, 42.0, '__not_a_real_tier__', '__not_a_real_tool_', 'error', 'estimated_complexity', 'get', 'lean_proved', 'model_selection', 'model_selector', 'non_json', 'outcome', 'prompt_loader', 'proved', 'rationale', 'refuted', 'spec_draft_llm', 't1', 'theorem_id', 'tier_dispatch', 'tier_name', 'tier_registry', 'timeout', 'tool_registry', 'tool_selection', 'unknown', 'zero_sorry']