Maintain verify design quality assurance matrix accuracy

[kiyotis]

Situation

The design doc §4 quality assurance matrix has two problems.

1. ⚠️ is undefined in the legend: The legend lists only three symbols — ✅ verified / ❌ not implemented / — not applicable. However ⚠️ is used in both the §3-1 verification status table and the §4 matrix without a legend entry.

2. QO1 section level matrix state is ambiguous: An implementation exists at verify.py L181-210, and TestCheckJsonDocsMdConsistency_QO1_Level is listed in the §4 test coverage table. Yet the matrix still shows ⚠️. It is unclear whether this is intentional (the ✅ promotion rule requires an independent QA review that has not occurred) or an oversight.

Pain

The matrix is the quality gate decision reference. Undefined symbols and mismatches between the matrix and the actual implementation undermine the reliability of third-party reviews.

Benefit

• Reviewers can interpret every symbol in the matrix without ambiguity
• The matrix accurately reflects the implemented verification state

Success Criteria

• The §4 legend includes a definition for ⚠️
• The §3-1 verification status table legend is updated consistently
• The QO1 section level matrix state matches reality (updated to ✅, or the reason for retaining ⚠️ is documented)