CI / checks (push) Successful in 56s
Add RC-008 for the Business Case after v3 added objective 6. Two defects found: objective 6 had no success criterion, and the Python version was worded differently in the assumption and the constraint. BC-001 v4 fixes both and is accepted; v3 is deprecated. The traceability matrix now points to RC-008. No issue closed: review and documentation only, no code changed.