# expect: DSDS-03
# rejectedBy: semantic
id: bad-checked-by
kind: component
name: Bad Checked By
description: A guideline claiming automated verification with no test/lint-rule ref to back it.
sections:
  - kind: guidelines
    for: all
    items:
      - statement: Always do the thing.
        level: must
        checkedBy: automated
