Review Wizard Polish

• Claim cards in the wizard. Each claim now appears in a colored card with a soft tinted background and a primary-color accent stripe, making it easier to read at a glance.
• IEEE-formatted sources. The Sources section under each claim in the wizard now shows the full IEEE citation (author, year, title, etc.) — matching the Claim Citations sidebar — with a scrollable container so long lists stay contained.
• Keyboard shortcuts end-to-end. Press T / F / U to mark a claim True / False / Unknown, A / R to accept or reject a premise, S to skip, Enter to advance, and ⌫ (Backspace) to go back. Button labels now show the key hint.
• Verdict explainer is back. After evaluation, the results page again shows a plain-language definition of the verdict alongside a mini worked example and links to further reading — content that was lost in an earlier refactor.
• "View Results" instead of "Re-evaluate." Once you've run an evaluation, the Review section's main button becomes View Results, which opens the wizard directly on the results page.
• Collapsed details on the results page. The Conclusion / Supporting Premises / Constraint Premises sections are now hidden behind a "View Details" toggle so the verdict and summary are visible without scrolling past the breakdown.