运行 validate.ps1 可以重复上述检查，并确认易源码里仍有关键合同标记，防止以后“不小心简化没了”。 还没有自动证明什么？ 没有在本次验证里启动可见本地服务器，所以没有声称门、灯、DMS ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results