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

['cycle', 'machine_verified', 'property_name', 'signals_at_violation', 'signals_observed', 'total_cycles', 'transitions_count', 'verification_status', 'violations']