Corner permutation (2-look PLL, step 1)

Put the corners in place: an adjacent swap or a diagonal swap.

Source: Hand-written. Each case is SpeedCubeDB's published setup for a PLL with that corner swap but different edges (Ga for adjacent, V for diagonal), so no listed algorithm is the setup reversed; the algorithms are top-voted SpeedCubeDB PLL algorithms that make the swap, checked here for the corners alone. Every algorithm shown was checked by the logic engine; rejected ones are listed in docs/db-exclusions.md.