You may have already seen this, but in case you hadn’t already, a related CFAR technique is internal double crux: https://www.lesswrong.com/tag/internal-double-crux
You may have already seen this, but in case you hadn’t already, a related CFAR technique is internal double crux: https://www.lesswrong.com/tag/internal-double-crux