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

['Authorization', 'Content-Type', 'POST', 'Prefer', 'SUPABASE_URL', 'agent_traces', 'apikey', 'application/json', 'autoformalize', 'axiom_introducing', 'bound_near_limit', 'builtin', 'cegar', 'context', 'event_type', 'id', 'model_selector', 'orchestrator', 'payload', 'plugin_type', 'plugin_verifier', 'prompt_loader', 'reviewer_flagged', 'run_id', 'run_subtype', 'run_type', 'scoring', 'sdk_orchestration', 'sequence', 'solve_run', 'spec_pipeline', 'swarm', 'theorem_id', 'tool_registry', 'trace_sink', 'trigger', 'utf-8', 'verdict_diversity', 'verifier']