# <subject: imperative, <=72 chars>
#
# Why this change is needed — the problem, not the diff. The diff already
# shows what changed; it cannot show what you were solving.
#
# For a defect fix, say how it was found (test / lint / coverage / review).
# That records which verification activities are actually working.
#
# Class (keep exactly one):
#   Implementation only    behaviour already specified by an existing LLR
#   New behaviour          needs new LLR + parent HLR + tag + test
#   Requirement change     needs updated LLR/HLR + tests + trace matrix
#   Derived requirement    needs an entry in docs/requirements/derived.md
#   Defect fix             needs a regression test named for the violated LLR
#   Process/docs only      state that no source changed
#
Class:
Requirements:
Derived:
Verified:
#
# Before committing (docs/process.md §6):
#   cargo build
#   cargo clippy --all-targets -- -D warnings
#   cargo test
#   ./scripts/check-trace.sh