# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/autoformalize/protocols.py
# hypothesis_version: 6.152.1

['ACCEPT', 'ACCEPT_WITH_CAVEATS', 'NEW_DISCOVERY', 'NOT_APPLICABLE', 'REJECT', 'REQUEST_REVISION', 'UNKNOWN', 'VERIFIED_NATIVELY', 'bmc_bounded', 'empirical', 'fabricated_coverage', 'hidden_reformulation', 'hidden_weakening', 'high', 'lazy_not_applicable', 'lean_proved', 'low', 'medium', 'missing_blind_spot', 'semantic_mismatch', 'tactic_brittleness']