实验 / 022
LLM 机制实验(五):改了历史,能否只重算变化的后缀?
27 个固定条件、81 个原始数组,验证最长相同前缀裁剪、位置同步、滑窗回退与作用域隔离。
实验结果
01 / 问题
27 个固定条件、81 个原始数组,验证最长相同前缀裁剪、位置同步、滑窗回退与作用域隔离。
方法
未训练双层 NumPy 模型,3 种子 × 9 条件;比较完整重算、正确裁剪与保留旧位置的负对照。
结果
27 例正确路径最大误差约 3.89e-16;9 个局部复用负对照产生明显误差,归档 81 个数组。
观察
修改第五个 Token 时 cut=4,继续阶段投影行数 48 对完整重算 72;滑窗部分命中必须回退。
结论
复用连续相同前缀需要同步 K/V、绝对位置、作用域和仍可用的缓存状态。
局限
无训练模型、tokenizer、GPU 或时延测量;计数不含预填充、哈希、查找与复制。作用域字符串不是认证。
复现
固定代码和原始记录见仓库;正文给出运行、独立审计和回放命令。
继续探索