# Honest-claims banned phrases (WA-06) — the list tools/honest_claims_lint.py enforces.
#
# One phrase per line, matched case-insensitively as a substring anywhere in a scanned
# file's text. Blank lines and lines starting with `#` are ignored.
#
# gebra statically analyzes serialized IR; it never executes workflows and proves nothing
# about runtime behavior. These phrases overstate that boundary — witness *presence* is
# provable, semantic termination never is. Extend this list when review catches a new
# overclaiming phrasing; never remove an entry to make a violation pass.
proves termination
verified agent behavior
formally verified
guarantees termination
guarantees
guaranteed to halt
cannot fail
proven correct
verified behavior

# Added at TOOL-04. PROPERTY-CATALOG-SPEC §B.1 names three phrasings banned in any P-08
# rendering; the third of them has been listed since TE-15.
proves determinism
guaranteed reproducible
# Singular forms of the bare entry above: listing the plural alone let the singular through
# (mid-plan audit, 2026-08-09). The bare singular word is deliberately NOT listed — §B.3's
# T-2 template must keep reproducing "…do NOT guarantee strict seed reproducibility"
# verbatim in *rendered* output, which no per-line pragma can reach. See the reasoning in
# docs/setups/TOOL-04.md of the development-process repository.
guarantee termination
we guarantee
guaranteeing
