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

[0.0, 300, 'QuantizationResult', 'axiom_clean', 'banned', 'compiles', 'composite_verdict', 'elapsed_sec', 'eps_bound', 'error', 'has_sorry', 'precision_format', 'proved', 'refuted', 'unknown', 'verify']