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

[0.0, 0.25, 1.0, 4.0, 5.0, 100, 120, 200, 300, 400, 500, 1024, 4000, '&select=id', '&select=payload', '(no detail)', '-C', '-czf', '.', '.athanor', '.athanor-ai.com', '.tar.gz', '/', '0-0', '1', '; ', 'ATHANOR_ORG_ID', 'ATHANOR_SYNC_TOKEN', 'Accept', 'Authorization', 'Content-Range', 'Content-Type', 'GET', 'KAIROS_NO_TRACE', 'KAIROS_TRACE_STRICT', 'PATCH', 'POST', 'Path', 'Path | None', 'Prefer', 'RECONCILE', 'Range', 'Range-Unit', 'SUPABASE_URL', 'TraceSink', '[]', '__no_session__', '__reconcile_drift__', '_target_filter', 'a', 'agent_count_mode', 'apikey', 'application/gzip', 'application/json', 'args', 'artifact_type', 'attempts', 'autoformalize', 'axiom_introducing', 'body', 'bound_near_limit', 'budget_exhausted', 'builder_model', 'builtin', 'captured_at', 'cegar', 'close_run', 'context', 'cost_usd', 'count=exact', 'db_unreachable', 'delta', 'differential_test', 'drift', 'dry_run', 'emitted', 'emitted_count', 'eq.athanor_sync', 'eq.true', 'escalation', 'event', 'event_schema_version', 'events.jsonl', 'exception_msg', 'exception_type', 'failed_at', 'filename', 'final_score', 'final_status', 'finished_at', 'fleet', 'function', 'function_inputs', 'generator_synthesis', 'id', 'id=eq.', 'in_db', 'in_db_count', 'is_active', 'items', 'kairos-sdk', 'kairos_workdir_', 'kind', 'length', 'limit', 'matched', 'method', 'model_selector', 'note', 'open_run', 'orchestrator', 'organization_id', 'other', 'outcome_verdict', 'payload', 'pipeline_version', 'plugin_type', 'plugin_verifier', 'preview_first_300', 'prompt_loader', 'provider', 'rb', 'replace', 'response_body', 'response_status', 'retry_attempt', 'return=minimal', 'reviewer_flagged', 'run_id', 'run_id=eq.', 'running', 'runs', 'scoring', 'sdk_agent_events', 'sdk_orchestration', 'select', 'session_id', 'sha256', 'size_bytes', 'skipped_empty', 'solve', 'solve-artifacts', 'solve_artifacts', 'solve_run', 'solve_run_id', 'solve_runs', 'spec_pipeline', 'started_at', 'status', 'storage_path', 'str | Path', 'succeeded', 'success', 'swarm', 'table', 'tar', 'target', 'theorem_id', 'theorem_proving', 'token_cost_usd', 'token_hash', 'tool_registry', 'trace_sink', 'trigger', 'true', 'truncated', 'updated_at', 'utf-8', 'verdict_diversity', 'verifier', 'vertical', 'wall_time_seconds', 'workdir.tar.gz', 'workdir_tarball', 'x-upsert', 'yes', '|']