s, m

PROVIA 把各 actor 实际做过的步骤与自动机上被接受的进度分开，只在正确状态分支推进工序，并用 Shiryaev–Roberts 在验证集误报预算下把逐步错误概率变成报警。