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

[0.0, 100000, '...[truncated]', '0', '1', 'ATHANOR_SYNC_TOKEN', 'KAIROS_NO_TRACE', 'KAIROS_TRACE_FULL', 'a', 'anthropic', 'autoformalize', 'choices', 'completion_body', 'completion_tokens', 'content', 'cost_usd', 'create', 'elapsed_sec', 'emit', 'error', 'event', 'false', 'headline', 'info', 'input', 'input_tokens', 'llm_call', 'llm_call_failed', 'llm_call_failure', 'llm_call_success', 'message', 'messages', 'model', 'name', 'no', 'observe', 'off', 'ok', 'on', 'output_tokens', 'prompt_body', 'prompt_tokens', 'provider', 'run_id', 'sdk_orchestration', 'sequence', 'session_id', 'severity', 'solve', 'stage', 'text', 'theorem_proving', 'tokens_in', 'tokens_out', 'tool', 'tool_calls', 'tool_use', 'true', 'ts', 'type', 'usage', 'utf-8', 'yes']