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

[200000, '    </div>\n  </div>', '*', '--open', '--out', '</div>', '<div class="events">', '?', 'ARTEFACTS_SECTION', 'EBMC_SECTION', 'EVENTS_SECTION', 'GENERATED_AT', 'LAKE_SECTION', 'METADATA_CARDS', 'RUN_ID', '_templates', 'add_subparser', 'boundary', 'cmd_report', 'ebmc', 'end', 'error', 'event_type', 'failed', 'finished_at', 'generated', 'lake', 'license_subject', 'manifest.json', 'ok', 'open_browser', 'outcome', 'passed', 'payload', 'proved', 'refuted', 'render_report', 'replace', 'report', 'report.html.tmpl', 'run_id', 'seconds', 'sequence', 'session_close', 'session_open', 'start', 'started_at', 'status', 'store_true', 'succeeded', 'tier', 'total_cost_usd', 'traces.jsonl', 'utf-8', 'verdict', 'verdict-failed', 'verdict-proved', 'verdict-unknown', 'vertical']