发表机构
Minerva CQ (Bourbaki Intelligent Systems, Inc.)（密涅瓦CQ（布尔巴基智能系统公司））
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究在受控领域改变语义缓存中答案重用对象，基于已解决对话需求的数学特征商。通过三个关系形成细化链，使管道输出不变，明确重用商，阐述支持层强度，包括多种特性及可计算性、可接受性等。
AI 中文摘要
语义缓存基于嵌入相似度定义答案重用：当相似度得分超过阈值时，两个话语共享存储的答案，且无授权、版本控制或两个需求相同原因的概念。本文改变了定义重用的对象：在受控领域，重用应基于已解决对话需求的数学特征商，而非相似性启发式。在已解决话语上的三个独立定义关系——读取同一性、解析同一性和重用同一性——形成一个细化链，在可根据部署日志检查的非退化条件下严格成立；管道输出沿链不变，重用同一性正是解析映射到受控答案分区的核，因此重用商是该分区诱导的话语端对象，而非其重新标记。重用同一性许可受控查询键及其认证答案空间；特定答案的重用需要解析同一性或适用性证书。支持层的确切强度如下所述：精确表示范式；作为设计运算符的连接聚合，具有无逃逸特征的闭包稳定单元；相对于不可信提议层的完整管道的完全可计算性；任意提议者的策略可接受性——且可证明不是事实基础或意图保真；以及在有限多个信息回复后终止的引出，在目标一致性下合理。
英文摘要
Semantic caching defines answer reuse on embedding similarity: two utterances share a stored answer when a similarity score clears a threshold, with no notion of authorization, versioning, or of what makes two demands the same. This note changes the object on which reuse is defined: in a governed domain, reuse should operate on a mathematically characterized quotient of resolved conversational demands, not on a similarity heuristic. Three independently defined relations on resolved utterances -- reading identity, resolution identity, and reuse identity -- form a refinement chain, strict under realized nondegeneracy conditions checkable on deployment logs; the pipeline's outputs are invariant along the chain, and reuse identity is exactly the kernel of the resolution map into the governed answer partition, so the reuse quotient is the utterance-side object that partition induces, not a relabeling of it. Reuse identity licenses the governed query key and its certified answer space; reuse of a particular answer requires resolution identity or an applicability certificate. The supporting layer is stated at exactly the strength proved: exact-denotation normal forms; join aggregation as a design operator, with closure-stable cells characterizing no-escape; total computability of the full pipeline relative to an untrusted proposal layer; policy admissibility for arbitrary proposers -- and provably not factual grounding or intent fidelity; and elicitation terminating after finitely many informative replies, sound under target consistency.
