论文

从含糊话语到受治理的复用等价类:规范化、商不变性与条件可判定性

From ambiguous utterances to governed reuse classes: canonicalization, quotient invariance, and conditional decidability

AI 基础设施推理服务

摘要

语义缓存在嵌入相似度上定义答案复用:当相似度分数越过阈值,两条话语共享一个存储答案——没有授权、版本、以及“什么使两个请求相同”的概念。本笔记改变复用被定义的对象:在受治理的域中,复用应 operate 在经数学刻画 resolved 对话需求的商上,而非相似度启发式。三个独立定义的 resolved 话语上的关系——读取同一性、解决同一性与复用同一性——构成一条细化链,在可在部署日志上检验的现实非退化条件下为严格链;管线的输出沿该链不变,且复用同一性恰是进入受治理答案划分的解决映射的核——因此复用商是该划分在话语侧诱导的对象,而非其重新标记。复用同一性授予受治理的查询键及其认证的答案空间;复用特定答案则需要解决同一性或适用性证书。支撑层以恰被证明的强度陈述:精确指称的范式;作为设计算子的连接聚合,闭包稳定单元刻画“无路可逃”;相对不可信提议层的全管线可计算性;任意提议者的策略可采性——且可证明地不是事实锚定或意图保真;以及在目标一致性下可靠、经有限次有信息回复即终止的引出。