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

[0.0, 1.0, -1500, 300, 600, 2000, '(none)', 'IterationOutcome', 'LeanExtractionResult', 'LeanProperty', 'Spec.hs', 'Spec.lean', '```', '```lean', 'clash-out', 'elapsed_sec', 'eqy', 'error', 'error_message', 'extract', 'extracted', 'feedback_preview', 'gate1_verdict', 'iteration', 'iterations_taken', 'not_run', 'proved', 'refuted', 'rejected', 'spec_lean_path', 'sv_file', 'top_module', 'unknown', 'verdict']