# file: /home/azureuser/agents/platform/athanor-builder/solve/shared/stuck_detection.py
# hypothesis_version: 6.152.1

[0.0, 1e-09, 0.6, 0.7, 1.0, 2.0, 3.0, 5.0, '.lean', '>', 'StuckDetectorConfig', 'arguments', 'bash', 'budget_fraction', 'cost_cap_usd', 'cost_per_lemma_usd', 'cost_so_far', 'function', 'lemmas_closed', 'name', 'no_progress_turns', 'score', 'target_proof_path', 'tee', 'tool_calls', 'with open', 'write_text']