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

[0.0, 1e-09, 256, 300, '(none provided)', '(none)', ', ', 'LeanProperty', 'NkiExtractionResult', 'NkiIterationOutcome', 'Spec.lean', '```', '```lean', 'bundle', 'error', 'extract_from_nki', 'extracted', 'gate1', 'kernel.py', 'not_run', 'proved', 'reference.py', 'refuted', 'rejected', 'unknown', 'verdict_outcome', 'verdict_reason', 'verify.py']