blob: 27ffa00d0d2b4f44025fa93fee2c7dd0f002f4a2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# <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
|
