Step through the classic Nussinov base-pair-maximisation
DP. The DP matrix fills diagonally; then the traceback commits one base pair at a time, and the
structure on the right is re-rendered with fornac
after each commit — so you literally watch the strand fold.