Currently, it's possible to define an additional description for a rule (see attached screenshot1), and this description can be shown as tooltip in the compliance app of an analysis (tab rule checks -> individual rule compliance issues). However, there should be a way to see the formula and better yet edit the formula in the analysis though (including with variables)