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

[100, 200, '"', '--', '.lean', '<plugin>', '\\b(sorry|admit)\\b', '\\bnative_decide\\b', '^\\s*axiom\\s+\\w+', 'axiom_decl', 'banned_construct', 'lemma ', 'macro ', 'macro_body_sorry', 'macro_rules', 'macro_sorry', 'macro_start_line', 'native_decide', 'proof_bypass', 'shape', 'theorem ']