The novel David's Sling by Marc Stiegler features a hyper-rationality organization (kind of like a CFAR CEV) and this organization has a truth/argument-mapping process. Notably, it features both a software component as well as a skill/form that people are trained in. This could be considered to be the thing that Double Crux wants to evolve into.
You're thinking about this problem and you like to read novels, I would recommend it. It doesn't go into enough detail that I would say it's a necessary source though.