feat(web-ui): PROOF9 terminology tooltips and glossary on Proof page (#470)#492

Merged

frankbria merged 2 commits intomainfrom

feat/issue-470-proof9-tooltips-glossary

Mar 24, 2026

Commits on Mar 24, 2026

feat(web-ui): PROOF9 terminology tooltips and glossary on Proof page (#470)
Test User
committed
fix: make PROOF9 tooltip triggers keyboard-accessible (aria-label + button)
Test User
committed