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

[0.0, 'KAIROS_TRACE_SINK', 'TraceSink', 'budget_exhausted', 'budget_usd', 'builtin', 'cache_hit', 'cost_tracker', 'cost_usd', 'details', 'ebmc_target', 'error', 'exception_type', 'fallback_reason', 'fallback_to', 'halted_at_tier', 'hops_completed', 'id', 'identifier', 'integrity_hash', 'integrity_version', 'integrity_violation', 'is_stub', 'lean_module', 'meta', 'model', 'name', 'noop', 'orchestration_choice', 'orchestrator', 'outcome', 'primary_model', 'proof_artifact_in', 'proved', 'rationale', 'reason', 'refuted', 'reviewer_flagged', 'sdk_orchestration', 'source', 'spec_pipeline', 'supabase', 'theorem_id', 'tier', 'tier_dispatch', 'tier_name', 'tier_verdict', 'tiers_completed', 'tiers_skipped', 'total_cost_usd', 'unknown', 'vacuous', 'verdicts_outcomes']