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

[0.0, 0.7, 180, 200, 800, 2000, 4000, ' := ', '.', '.lean', '/', ':', ':=', ':= ', 'completion_tokens', 'drafter', 'empty_candidate', 'error', 'error:', 'error: build failed', 'finish_reason', 'no goals', 'reasoning_content', 'reasoning_len', 'round_temperature']