先压缩成最小状态机再验证 lesson state-machine verification prime 修改：20260424171825000 先把现象压缩成最小可转移状态表，再逐项核对；可生成性比直觉周期更可靠。