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

['<plugin>', 'exists', 'file_not_found', 'function', 'getatime', 'getmtime', 'getsize', 'is_file', 'open', 'outcome', 'proved', 'read', 'read_bytes', 'read_text', 'readlines', 'score', 'shape', 'size', 'stat', 'verify']