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

[16000, '.', 'FAILED', 'REFUTED', 'UNKNOWN', 'bmc', 'bound', 'ebmc_verdict', 'elapsed_sec', 'exit_code', 'extra_args', 'function', 'kairos.sv.prove', 'mode', 'property_verdicts', 'proved', 'refuted', 'reset_expr', 'stderr_first_4k', 'str | Path | None', 'timed_out', 'timeout_sec', 'top_module', 'transcript_first_4k']