我所说的“已验证”是什么

“已验证”表示某个具体检查产生了可观察证据；它不等于更大的系统、生产环境或未来行为已经得到证明。

一个有用的结论会同时说明什么通过了、什么是推断、什么没有检查，以及什么仍然阻塞。