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

[0.75, 6.0, 100, 1200, 1800, '.dfy', '.lean', '.nki', '.py', '.sv', '.svh', '.v', '1.0', 'Classical.choice', 'Quot.sound', 'action_cred', 'admit', 'ask_operator', 'audit', 'audit_voices', 'auto_revise', 'bbr3', 'bio', 'bmc', 'bmc_k_bound', 'budget', 'bundle', 'counterexample', 'critical', 'custom', 'decide', 'ebmc_property_closer', 'generic_closer', 'halt', 'high', 'kernel', 'lean', 'lean_proof', 'low', 'medium', 'mutation_report', 'mutation_sweep', 'native_decide', 'neuron', 'nki_kernel_porter', 'proof', 'property', 'property_report', 'property_test_count', 'property_tests', 'propext', 'rtl_fix', 'simulator', 'sorry', 'spec_version', 'sysverilog', 'target_file', 'target_name', 'theorem', 'top_module', 'triple_audit', 'usd', 'vertical', 'wall_seconds']