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

[160, '(none reported)', ', ', 'acceptance_criteria', 'axiom_audit_match', 'axiom_clean', 'axiom_leak', 'axiom_violation', 'banned', 'compile_error', 'compiles', 'counterexample', 'error', 'errors', 'exception', 'file', 'forbidden_axioms', 'full_proof', 'has_sorry', 'lake_project', 'lean_code', 'lean_file', 'lean_proved', 'missing_fields', 'module_path', 'no error output', 'partial_proof', 'proved', 'refuted', 'score', 'sorry_count', 'status', 'target', 'timeout_sec', 'unknown']