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

[0.0, 6.0, 1800, 'IMPURE_DETERMINISTIC', 'IMPURE_LOOKUP', 'IntentV1', 'KAIROS_CONFIG', 'ModelSelectorPlugin', 'PURE', 'PromptLoader', 'ToolRegistryPlugin', 'VerifierRegistry', 'axiom_violation', 'bmc_bounded', 'bmc_trace', 'compile_error', 'customer-facing', 'default', 'empirical', 'error', 'internal', 'kairos', 'kind', 'lean_proved', 'opus', 'other', 'payload', 'policy_diverge', 'process_failure', 'prompts_dir', 'proved', 'pyproject.toml', 'rb', 'refuted', 'summary', 'timeout', 'tool', 'unknown']