- Format synthesis findings by agreement level for user-facing output - Add BDD tests for ordering, warning flags, empty state, and recommendations