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

[0.0, 0.2, 0.25, 0.3, 0.4, 0.5, 0.6, 1.0, 400, ' / ', '@\\[macro_sorry\\]', 'False\\.elim\\b', '\\b[a-z][a-z0-9_]+\\b', '\\bsorry\\b', '^\\s*axiom\\s+\\w', 'count', 'drift', 'empty summary', 'english_summary', 'fail', 'findings', 'i', 'idx', 'index', 'iter', 'j', 'k', 'len', 'length', 'm', 'n', 'nl_roundtrip', 'num', 'pass', 'primary', 'primary_summary', 'secondary', 'secondary_summary', 'size', 'skip', 'sorry tactic', 'step', 'type_sanity', 'vacuous_audit', 'warn', '○', '⚠', '✓', '✗']