后端全绿，前端一崩。 JSON.parse 报 Unexpected token 'N' —— 数据里有个裸 NaN。 json.dumps 默认 allow_nan=True，0/0 就吐 NaN，可 JSON 规范里没这个值。 服务端读回去正常，测试全过，只有浏览器不认。 加 allow_nan=False，源头就抛，不用等前端崩。

把 version: 1.10 写进 config.yaml，读出来是 1.1。 YAML 把它当浮点数，尾零被吃掉 —— 1.10 和 1.1 在字符串里是两回事，在数字里是一回事，线上按 1.1 拉包。 更阴的是 NO / on / yes 会被解析成布尔，国家代码 NO 直接变 False。 版本号我现在一律加引号。

明确告诉你：给 agent 做记忆，不一定需要向量库。 先说清楚，这不是官方 benchmark。 是我自己在 M5 / 16GB 上跑的一套合成工单日志，100 万条。 数字只对这套数据成立。 测的是一个 4.6 MB 的 Rust 单二进制，leviathan。 思路很土 —— 把记录建成一个 SQLite 全文索引， 查询只返回排名前 5 条、带 id 的卡片。 01. 最反常识的一组数 同一个问题：「这台机器上次是怎么修的」 20 万条数据里，grep 捞这台机器的全历史 = 98.8 万 token leviathan = 316 token 差 3128 倍 再把数据加到 100 万条： grep 从 41.3 万涨到 213 万 token leviathan 从 316 涨到 318 数据翻了 5 倍，它塞进上下文的量几乎没动。 因为收窄发生在索引层， 不是「把全部读进上下文，再让模型自己挑」。 02. 代价也很实在 索引比源数据大 2.1 倍： 20 万条 69.7 MB → 151.7 MB 100 万条 348 MB → 741 MB 建索引 2.0s / 11.0s，查一次 11ms / 50ms。 磁盘换上下文，这笔账得自己算。 03. 我自己踩的坑，这条最值钱 默认配置，我跑了 40 次查询取 top 5，一共 200 张卡。 带真实处理结论的：0 张。 全是「fixed」「done」这种占位符。 原因不复杂：它的 title 权重是 2 倍， 而答案字段 resolution 只是普通文本 —— 「问题描述」永远压过「答案」。 改法就两处：给 resolution 加一条 rank boost， 把占位符写进 empty_values。 同样 40 次查询：145 / 200 张卡带真实结论。 它不会提醒你这个，得自己踩。 04. 什么时候别用 数据只有几千条，grep 就够了，别多引一个索引。 频繁写入不友好，改动映射就整库重建。 挂 MCP 的话每会话固定吃 644 token 的 schema，不常用就别挂。 有个小设计我很喜欢： 组名传模糊了它不猜，直接列候选 + exit 3。 这是我这一段的观察，不一定是普遍规律。 你们给自己的 agent 做记忆，是上向量库还是干脆 grep？

先说清楚，这不是我写的库，作者是 Vercel 那位 Rauch，三天前刚丢出来。 我只干了一件事：把它自己的 benchmark 原始数据扒下来，逐条验算。 结论有点反直觉。 01. 常识是「类型越严格，编译越慢，大项目别碰」。 它自己的 bench 把这话打脸了。 20,000 个文件、60.8 万行的证明版： TS 7 检查 6.78 秒。 同样 20,000 个文件、45.2 万行的普通布尔检查版： 1.17 秒。 贵 5.8 倍。 到这儿看着还是贵。 02. 真正反直觉的地方在单位成本，不在总成本。 989 个 name() 调用点 → 每点 0.288 毫秒。 19,997 个调用点 → 每点 0.280 毫秒。 代码库涨了 20 倍，单点价格几乎没动。 也就是说这套东西按「你用了几次」计费，不是按「你有多少代码」计费。 你一个小服务里只用 50 个点，就只付 50 个点的钱。 这事我以前真没想到。 03. 然后是那个前提。 TS 5.9 和 6.0，在 2 万文件这个规模上直接 OOM。 默认 4GB 堆，跑不完——它 bench 里那两行就是空的。 手动开到 16GB 堆才跑得动：19.67 秒、吃掉 6.4GB 内存。 同一份代码，TS 7 是 6.78 秒、4.7GB。 说白了，编译期安全这件事，门票是先换到 TS 7 的原生编译器。 04. 代价也一并写清楚，别只看单点便宜。 类型检查器要处理的类型数：34 万 → 364 万，10.7 倍。 类型实例化：49 万 → 850 万，17.3 倍。 代码行数本身也多出 35%——类型参数、证明变量、证明参数，全是手写的。 它自己在 README 里认了这个账：这部分开销是真的。 05. 最该知道的一条坑。 证明是可以伪造的。 `{} as UserIsProjectAdmin<U, P>` 能编译通过。 所以真正的防线不是类型系统，是它那个 lint 预设—— 拦住所有 `as`，再把 defineProof 锁死在 proofs/ 目录里。 类型系统只保证你没走错门，保证不了没人翻墙。 收个尾。 这是我扒它 bench 原始数据的一点观察，样本是合成代码库，不是真实业务。 真实项目里权限检查只占一小部分，比例会比这里的 5.8 倍好看得多。 不一定是普遍规律。 留个问题： 为了一个编译期就能拦住的越权 bug，你愿意把 tsc 换到 TS 7 吗？ #TypeScript #AI