Edge orientation (2-look OLL, step 1)
Make a cross on top: three cases (dot, line, L).
Source: Hand-written. The cases are edge-orientation patterns; each example is SpeedCubeDB's published setup for an OLL case with that edge pattern (OLL 2, 45, 44); the algorithms are the top-voted SpeedCubeDB algorithms for those OLLs, which orient the edges whatever the corners do. Every algorithm shown was checked by the logic engine; rejected ones are listed in docs/db-exclusions.md.