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

[120, 'acceptance_criteria', 'axiom_audit_match', 'banned', 'compiles', 'error', 'errors', 'exception', 'file', 'full_proof', 'has_sorry', 'lean_code', 'lean_file', 'lean_proved', 'missing_fields', 'partial_proof', 'proved', 'refuted', 'score', 'sorry_count', 'status', 'target', 'timeout_sec', 'unknown']