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

[500, 'content', 'cycle', 'cycle\\s+#?(\\d+)', 'cycles_referenced', 'explanation', 'explanation_preview', 'grounded', 'hallucinated_signals', 'llm_explained', 'property', 'role', 'signals_hallucinated', 'signals_referenced', 'spec_pipeline', 'user', 'verification_status']