Vibe Coding 缓存正确性验收：键空间、失效事件与陈旧写围栏

性能问题出现后，AI 常建议在函数外放一个 Map，或给读取结果加几分钟 TTL。命中率很快上升，测试也更快，但用户改名后仍看到旧值、撤权后缓存继续返回数据、部署新 schema 后旧对象无法解析。缓存最危险的失败不是 miss，而是快速返回一个已经没有资格代表真相的值。

Web 分层缓存策略介绍常见层次，缓存 Revalidation 正确性深入 generation fence 与 singleflight。本篇把范围放在 Vibe Coding 功能验收：为一条具体读取路径画出键空间与所有改变真相的事件，再用时间线证明每次命中都符合当前权限、版本和新鲜度合同。

先写清权威源和允许陈旧度

每个缓存条目声明它派生自哪个权威源、用于什么读取、谁可以看、最长允许陈旧多久，以及源不可用时能否返回旧值。商品描述和权限判定的风险不同；“统一缓存五分钟”不是合同。授权、余额、配额和一次性状态通常需要更严格的同步或根本不缓存。

TTL 只是自动淘汰上限，不保证写入后立刻正确。若用户撤权必须即时生效，五秒 TTL 仍有五秒越权窗口；必须让撤权提交与失效拥有明确顺序，或在命中后重新检查不可缓存的授权事实。租户与授权数据边界是硬约束，命中率不能成为放宽理由。

同时定义缓存故障语义。缓存超时是旁路权威源、返回批准 stale 值，还是拒绝请求，由业务风险决定。不能捕获所有异常后返回空数组，因为“暂时未知”会被伪装成“确实没有数据”，并可能进入下一层负缓存。

列出结果函数的输入：资源 ID、租户、主体或授权 scope、locale、过滤与排序、分页、功能开关、schema、数据 generation 和算法版本。不是每项都直接拼入字符串，可以使用规范化摘要，但摘要输入必须完整且稳定。秘密和个人数据不进入可读 key 或普通指标标签。

故意构造只差一个维度的成对请求：两个租户同资源 ID、同用户不同角色、不同 locale、开关前后、旧新 schema、空值与缺失。它们若不应共享结果，就必须落到不同键或在命中后经过独立裁决。key builder 由单元与属性测试覆盖，不能让每个调用方手拼前缀。

HTTP 缓存还要遵守 RFC 9111 的共享与私有语义。no-cache 表示复用前需要验证，并不等于禁止存储；no-store 才要求不存储。Vary 维度、授权响应、ETag 与新鲜度要和 CDN、浏览器实际配置一起验收，不能只看应用内 Redis。

矩阵的行是创建、更新、删除、撤权、批量导入、后台回填、配置发布和回滚，列是进程内、分布式、CDN、浏览器及派生列表缓存。每格写触发事件、目标键或 generation、顺序、失败处理和验证探针。只覆盖常规 API 更新，会漏掉管理脚本和异步消费者。

Cache-aside 写入常见竞争是：旧读取 miss 后开始重建，更新提交并失效，旧重建最后又把过时值写回。解决需要版本或 generation 围栏，让发布动作比较当前真相身份，而不是只依靠先删缓存。热点合并可以减少重建，但 singleflight 不能自动保证结果属于最新一代。

事务与外部缓存无法简单原子提交时，先提交权威数据，再通过可靠 outbox 或可重放事件传播失效，并监测积压；事件重复应幂等，乱序按版本拒绝。若要求读己之写，可在响应路径更新带版本缓存、短期旁路或读取权威源，必须明确选哪一种。事务、幂等与副作用提供写入顺序基础。

Redis keyspace notifications 可以辅助观察键事件，但官方文档说明它基于 Pub/Sub 的 fire-and-forget 语义，客户端断开期间事件会丢失，因此不能单独作为正确性所需的可靠失效总线。任何通知机制都要用源版本和定期对账发现漏失效。

测试使用可控时钟和 barrier 编排：读取开始、源更新、失效、重建结束、第二次读取。覆盖写后读、删除后读、撤权并发、负缓存转正、源超时、缓存超时、事件重复与乱序、实例重启、部署新 schema 和回滚旧代码。断言返回值身份与版本，不只断言 hit 或 miss。

负缓存有独立 TTL 与失效路径。资源刚创建时必须清掉此前的 not-found；权限不足响应不应在缺少主体维度时共享。stale-while-revalidate 只用于明确允许陈旧的内容，并限制 stale 最大年龄；后台重建失败要可见，不能无限返回旧值。

观测记录 cache outcome、层级、年龄分桶、源 generation、重建结果和失效延迟，不把完整 key 放进高基数指标。命中率是成本信号，正确性信号包括版本不匹配拒绝、漏失效对账、旧写围栏和旁路结果。发现相关异常后以请求 ID 和受控诊断找具体键。

上线先对比缓存结果与权威结果但不影响用户，使用合成或经过隐私批准的小样本；一致后逐 cohort 启用。回滚必须考虑新旧代码是否读写兼容 key 和 value schema，必要时切 generation 而不是全库通配删除。最终矩阵及并发证明进入编程 Agent 改动验证门。

缓存正确性的核心不是“什么时候删键”，而是任何时刻都能说明一个值来自哪版真相、为何当前请求有权复用、变化后谁阻止旧值重新发布。把这些问题变成矩阵后，Vibe Coding 才能安全换取速度，而不是用 TTL 延迟暴露错误。