作者抛弃了基于token重叠的判定，采用更严格的规则：一个存储条目只有在能从可达前缀中逐字恢复时，才能被证明为惰性。