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

['*', '.', 'EVENT_SCHEMA_VERSION', 'EventEnvelope', 'PayloadSchemaError', 'REGISTRY', 'ValidationResult', 'acl2_proof_result', 'agent_message', 'allow', 'aristotle_complete', 'aristotle_dispatched', 'cbmc_check', 'cegar_terminated', 'context', 'cycle_prove_attempt', 'dafny_verify', 'ebmc_check', 'ebmc_verdict', 'enforcement_gates', 'event_type', 'flatten_result', 'fleet_orchestration', 'flow_config', 'function_inputs', 'id', 'integrity_violation', 'lake_build_result', 'lean_race_attempt', 'lean_solve_attempt', 'lean_tp_iteration', 'llm_call_failure', 'llm_call_success', 'loc', 'msg', 'orchestrate_step', 'orchestrate_summary', 'orchestration_choice', 'payload', 'phase_complete', 'phase_error', 'phase_start', 'plugin_type', 'port_ports_extracted', 'probe', 'prompt_built', 'proof_obligations', 'proof_summary', 'pure_rtl_eqy_verify', 'pure_rtl_slec_verify', 'r', 'retry_attempt', 'run_complete', 'run_id', 'run_start', 'run_subtype', 'run_type', 'schemas', 'sequence', 'session_close', 'session_id', 'session_open', 'smoke', 'sorry_attempt', 'sorry_closed', 'sorry_skipped', 'swarm_attempt', 'theorem_id', 'theorem_proving', 'tier_verdict', 'tool_call', 'trigger', 'utf-8', 'validate_payload', 'verify_proof_attempt', 'verus_verify']