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

[1.0, 999999, ':', '^\\s*module\\s+(\\w+)', 'agent_handoff', 'autoformalize', 'context', 'converged_to_proved', 'cost_usd', 'counterexample', 'ebmc', 'elapsed_sec', 'error', 'failed', 'from', 'iteration_count', 'model', 'other', 'outcomes', 'prove_count', 'proved', 'refutation_summary', 'refuted', 'run_result', 'run_subtype', 'run_type', 'sdk_orchestration', 'session_close', 'session_id', 'session_open', 'sink', 'solve', 'sorry_count', 'status', 'succeeded', 'task_id', 'theorem', 'to', 'total_cost_usd', 'trigger', 'unknown', 'vertical', 'wall_time_seconds', 'witness']