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

[100, '--.*$', '/-.*?-/', '@\\[implementedBy\\b', '@\\[init\\b', '\\bIO\\s*\\.\\s*FS\\b', '\\baxiom\\b', '\\bconstant\\b', '\\bopaque\\b', '\\bsorry\\b', '\\bunsafe\\b', '^', '^#exit\\b', '^\\s*import\\s+Lean\\b', 'clean', 'error', 'file', 'line', 'message', 'pattern', 'sorry_count', 'text', 'violations']