# 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', 'bmc_bounded', 'customer-facing', 'default', 'empirical', 'error', 'internal', 'kairos', 'lean_proved', 'opus', 'prompts_dir', 'proved', 'pyproject.toml', 'rb', 'refuted', 'timeout', 'tool', 'unknown']