Home / Figures / Chapter 23

Figure 23.2: The verification gap made visible: the machine that mechanically sorts work into pass and fail sits on the coding bench and is only a dashed ghost on the other

Two benches: on the coding bench, code runs through a compiler and tests that sort it into pass and fail; on the research bench, the brief meets only a dashed ghost where a compiler for facts would be, and reading it shows fluency, not truth.
Figure 23.2 The verification gap made visible: the machine that mechanically sorts work into pass and fail sits on the coding bench and is only a dashed ghost on the other. For facts, there is no compiler.