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

[1.0, '^\\s*module\\s+(\\w+)', 'context', 'converged_to_proved', 'counterexample', 'error', 'iteration_count', 'outcomes', 'proved', 'refutation_summary', 'refuted', 'run_result', 'session_id', 'sorry_count', 'sv_cbmc', 'task_id', 'theorem', 'total_cost_usd', 'trigger', 'unknown', 'witness']