验证规则（对应测试用例中的优先级）：
Unfortunately, Lenovo isn't planning on turning this concept into a true retail device. But even so, I hope the company will at least consider bringing some of the modular laptop's features like its hot swappable ports to future products.，推荐阅读新收录的资料获取更多信息
From mathematical computation to a Von Neumann machine, the computation can be lowered through IRs and eventually to assembly code.，这一点在新收录的资料中也有详细论述
It still works, because the public key for the security key that signed our original JWT is still in the JWKS list.