# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/verify/plugin/detectors/stub_body.py
# hypothesis_version: 6.152.1

[200, '.c', '.lean', '.rs', '.sv', '.svh', '.ts', '.v', '<plugin>', 'None', 'NotImplementedError', 'TODO', 'fail', 'fail_message', 'function', 'implement later', 'implement once', 'not yet implemented', 'null_implementation', 'pass', 'pytest', 'pytest_fail_stub', 'raise_notimplemented', 'return_none_vs_anno', 'returns', 'shape', 'stub', 'stub_detection', 'todo']