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

[0.0, 0.75, 1.0, 6.0, 100, 120, 1024, 1200, 2000, 3600, 4096, '\x1b[0m', '\x1b[31m', '\x1b[32m', '#', '# Comment', '# Comment 2', '# Comment 3', '# Comment 4', '# Comment 5', '+', ',', '-', '--all-tasks', '--api-key', '--bound', '--budget-usd', '--category', '--chain-depth', '--clk', '--clock', '--counter-width', '--covers', '--cycles', '--description', '--difficulty', '--disable-iff', '--dry-run', '--encrypted', '--env', '--extra', '--extra-model', '--file', '--fleet', '--fleet-task', '--force', '--intent-json', '--intent-json-file', '--limit', '--list-verticals', '--max-cost', '--max-iter', '--max-mutants', '--metric', '--mode', '--model', '--name', '--no-color', '--only-phases', '--out-sva', '--output', '--patch', '--per-task', '--plaintext', '--platform', '--proof-backend', '--resume', '--rm', '--run', '--run-id', '--scoring', '--set', '--skip-phases', '--smv', '--spec', '--spec-config-path', '--target', '--task', '--tasks', '--timeout', '--timeout-sec', '--token', '--top', '--top-module', '--user', '--verbose', '--verifier', '--version', '--vertical', '--walltime-sec', '--workdir', '-C', '-c', '-cf', '-o', '-v', '.', '...', './', '.athanor', '.dfy', '.json', '.lean', '.proof', '/', '/opt/athanor/builder', '/workdir/data', '/workdir/data/', '0.000', '2023-06-01', ';;', '=', '?', 'ANTHROPIC_API_KEY', 'Also complete', 'Authorization', 'BUILDER_BIN', 'BUILDER_ROOT', 'Complete', 'Disable ANSI.', 'Environment slug', 'FAIL', 'GET', 'KEY=VALUE', 'List verified proofs', 'Manage configuration', 'Model to use', 'NEW_REFUTATION', 'NO_PROPOSALS', 'No proofs found.', 'No runs found.', 'Number of tasks', 'Output JSON path', 'PASS', 'PATH', 'PUBKEY_FPR', 'Path to Lean file', 'Path to spec.json', 'Path to student file', 'Platform URL', 'Runner name', 'SANDWICH_PROVED', 'SIGNAL', 'SINGLE_PROVED', 'Sync token', 'TOKEN', 'Task ID', 'Task slug', 'User-Agent', '\\{[\\s\\S]*\\}', '_', '__main__', '_lock', 'acceptance_criteria', 'anthropic-version', 'append', 'application/json', 'artifacts_expected', 'athanor', 'audit', 'audit_voices', 'backend', 'banned_tactics', 'bash', 'bmc', 'bmc_k_bound', 'bootstrap', 'bootstrap_sub', 'budget', 'budget_usd', 'bug_fix', 'build', 'bundle', 'calibrate', 'cat', 'cegar', 'cegar.sh', 'chain_depth', 'checks', 'claude-opus-4-6', 'clean', 'clk', 'command', 'compare', 'compilation', 'completed_at', 'config', 'config.json', 'content', 'content-type', 'core', 'counter_width', 'counterexample', 'created_at', 'customer_note', 'dafny', 'data', 'date', 'default', 'delta', 'description', 'disable_iff', 'dry_run', 'easy', 'ebmc', 'env', 'env_dir', 'environment', 'error', 'errors', 'estimate', 'eval-status', 'evaluate', 'extension', 'extra', 'extra_files', 'file', 'force', 'free_text', 'full', 'hard', 'hints', 'id', 'implementation', 'kernel_file', 'known_hypotheses', 'lean', 'lean4', 'lean_file', 'lean_filename', 'lean_proof', 'license.json', 'lint', 'list_verticals', 'local', 'max_cost', 'max_iter', 'max_mutants', 'max_tokens', 'mean', 'mean_score', 'medium', 'messages', 'metadata', 'mode_fleet', 'model', 'mutation_sweep', 'my_theorem_name', 'none', 'only_phases', 'operational', 'optimization', 'out_sva', 'output_match', 'overall', 'pairs', 'passed', 'path/to/target.lean', 'pathlib', 'per_task', 'preferred_lemmas', 'preflight', 'priority', 'proof', 'proof_backend', 'proof_template', 'proofs', 'property_test_count', 'property_tests', 'pubkey.asc', 'pull', 'quiet', 'refresh-ghcr', 'replace', 'reset', 'results', 'resume', 'retry_policy', 'role', 'root', 'run', 'run.sh', 'run_a', 'run_b', 'run_id', 'runs', 'score', 'score_a', 'score_b', 'scoring_config', 'scoring_metadata', 'set', 'simulation', 'simulator', 'skip_phases', 'solution_file', 'solve', 'sorry_count', 'spec', 'spec-%Y%m%dT%H%M%SZ', 'spec_config_path', 'spec_sub', 'spec_yaml', 'start', 'stats', 'status', 'stop', 'store_true', 'stream', 'stub_code', 'stub_filename', 'student_file', 'student_files', 'submit', 'summary', 'sv-cycle-swarm', 'sv-hb-graph', 'sv-invariants', 'sv-multi', 'sv-prove', 'sv-swarm', 'sv_file', 'sysverilog', 'tar', 'target_file', 'target_name', 'task', 'task-info', 'task_count', 'task_description', 'task_id', 'task_slug', 'tasks', 'template', 'terse', 'text', 'thresholds', 'time_seconds', 'timeout_sec', 'tool_calls_total', 'top', 'total', 'translation', 'triple_audit', 'usd', 'user', 'utf-8', 'verbose', 'verification', 'verify-bundle', 'version', 'vertical', 'verus', 'violations', 'w', 'wall_seconds', 'walltime_sec', 'wb', 'x-api-key', '~/.athanor', '—', '✓', '✗']