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

['.dfy', '.lean', '.py', '.sv', '.svh', '.v', '<file>', '<top>', 'A', 'action_cred', 'bbr3', 'budget', 'budget.usd', 'budget.wall_seconds', 'defects', 'error', 'field', 'lean', 'message', 'must be an object', 'ok', 'severity', 'spec_schema.json', 'spec_version', 'stage', 'target_file', 'target_name', 'usd', 'vertical', 'wall_seconds', 'warning']