Sub-ticket of VENUS-385 Lean Coder Loop numbering out of order after 1fb09df (1,2,3,4,5,7,6) - item 6 is ambiguous · venus