Xinyu Zhang

磁盘驻留图向量索引的页布局决定一次搜索要读多少 SSD 页，而 Starling、MARGO 这类现有布局只从图和向量计算，不用查询日志。HyperPage 把一次已完成的 Search-R1 智能体运行中记录的扩展节点集合当作工作负载，在声明的内存预算下先为未被缓存命中的记录构造布局，再用验证步骤回放选出布局与热记录/页缓存之间的预算切分。在 1M 与 21M 段落索引、七个缓存预算上，它比 MARGO 少读 5.2% 到 21.2% 的页，缓存越小时优势越大。

磁盘驻留图向量索引的页布局决定一次搜索要读多少 SSD 页，而 Starling、MARGO 这类现有布局只从图和向量计算，不用查询日志。HyperPage 把一次已完成的 Search-R1 智能体运行中记录的扩展节点集合当作工作负载，在声明的内存预算下先为未被缓存命中的记录构造布局，再用验证步骤回放选出布局与热记录/页缓存之间的预算切分。在 1M 与 21M 段落索引、七个缓存预算上，它比 MARGO 少读 5.2% 到 21.2% 的页，缓存越小时优势越大。

带类别配额约束的向量检索此前只能靠固定访问预算或按平均召回率学习的停止规则，无法保证返回精确答案。CaST把停止规则限定在声明接口上的单调类，用固定序列二项检验校准，并用拉格朗日弱对偶给出该类最优代价的下界。在两个各含一百万条目的数据集上，风险水平0.03至0.10时其回放代价不超过类最优的1.132倍，95%置信度；在0.05风险目标下，其平均时延低于所测其他已校准规则。

带类别配额约束的向量检索此前只能靠固定访问预算或按平均召回率学习的停止规则，无法保证返回精确答案。CaST把停止规则限定在声明接口上的单调类，用固定序列二项检验校准，并用拉格朗日弱对偶给出该类最优代价的下界。在两个各含一百万条目的数据集上，风险水平0.03至0.10时其回放代价不超过类最优的1.132倍，95%置信度；在0.05风险目标下，其平均时延低于所测其他已校准规则。