摘要
语义缓存定义了基于嵌入相似度的答案重用：当两个表达的相似度得分超过阈值时，它们共享一个存储的答案，但没有授权、版本控制或使两个需求相同的定义。这篇文章改变了重用定义的对象：在受控领域，重用应基于解决后的对话需求的数学特征化商，而非相似性启发式。
三种独立定义的关系——阅读身份、解析身份和重用身份——形成了一个细化链，在实现的非退化条件下严格成立；该管道的输出在链上是不变的，重用身份正是映射到受控答案分区的解析图的核心，因此重用商是由分区诱导的表达侧对象，而不是其重新标记。重用身份授权了受控查询键及其认证答案空间；特定答案的重用需要解析身份或适用性证书。
支持层的声明正好是经过证明的强度：精确标注的规范形式；作为设计操作的连接聚合，闭合稳定的单元表征无逃逸；相对于不可信提案层的完整管道的总可计算性；对任意提案者的政策可接受性——并且可证明不是基于事实的基础或意图的忠实性；以及在有限数量的有信息回复后终止的引导，在目标一致性下是合理的。
博主点评： 本文为语义缓存的重用机制提供了新的数学视角，强调了在受控环境中解析和重用身份的重要性。通过严格的定义和条件，作者成功避免了传统相似性方法的模糊性，为未来的研究指明了方向。整体思路严谨，具有很高的学术价值。