端侧离线台账的设备时间可信性工程：墙钟与单调时钟分离、改时留痕与法定到期判定的能力边界
端侧离线台账没有可信的服务器授时，"现在几点"本身就是一条需要被质证的假设。本文以密旋科技 TagWorks 与 SlingGuard 的离线登记册为样本，区分墙钟、单调时钟与系统运行时长三种时间源各自能担保什么，梳理手动改时、自动校时跳跃、时区夏令时、跨零点边界与备份恢复时间倒退五类失效方式，并给出把判定函数纯函数化、UTC 存储与固定时区渲染、单调锚与时间纪律状态机、恢复后对账闸门四条工程线，最后如实划出"能检测与留痕、不能阻止"的能力边界。