Formal reviews cleanup#171

Merged

Malcolmnixon merged 4 commits into

mainfrom

formal-reviews-cleanup

May 4, 2026

Commits on May 4, 2026

Fix some verification scenarios and make sure the verification docs are in the review-sets.
Malcolmnixon
committed
Fix formal reviews
Malcolmnixon
committed
Add F-01 baseline-selection requirements and refactor connectors

Malcolmnixon
and
Copilot
committed
Updates based on reviews.

Malcolm Nixon
authored and
Malcolm Nixon
committed