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

[0.0, ',', '--dry-run', '--extra', '--force', '--list-verticals', '--max-cost', '--max-iter', '--only-phases', '--resume', '--skip-phases', '--target', '--verifier', '--vertical', '--workdir', '/opt/athanor/builder', 'BUILDER_ROOT', 'Evidence', 'MissingManifest', 'PhaseEvent', 'Result', 'SolveError', '_list_placeholder', 'athanor-solve-', 'axiom_audit_clean', 'completed', 'core', 'cost_usd', 'details', 'elapsed_sec', 'error', 'exception', 'exit_reason', 'iterations', 'kill_rate', 'list_verticals', 'manifest.json', 'message', 'mutants_killed', 'mutation_kill_rate', 'name', 'outcome', 'overall_passed', 'phases', 'property_verdicts', 'proved', 'proved_count', 'reason', 'refuted', 'run.sh', 'run_vertical', 'skipped', 'solve', 'source', 'stop_on_error', 'stopped', 'type', 'unknown']