跳转至

语义字面量字节预算验证

追踪 #3933(归属于 #4027)。所有已归一化的语义字面量和配置默认值均使用原始所有者。其单例路径在不使用 Set、排序或规范键序列化的情况下校验字符串/非有限数/负零。每个源码分析拥有一组有界的已遇到限制分类;覆盖度在评估后消费这些观察结果。这取代了仅查看保留绑定/返回值的递归扫描。未添加任何持久缓存。

正确性与覆盖范围

公共 CLI 和实际 stdio MCP 用例涵盖带引号字符串、已解析模板、等价拼接、成员接收者、一个仅配置的表达式语句以及一个小型精确控制。直接/默认的超大值变为 resource-limit 未知项,带部分应用覆盖度以及 javascript_semantic_primitive_bytes = 1048576。默认值内联携带 value_resource_limit,并有一个锚定到其配置节点的未知项。已知的 null/false/zero/empty 默认值保持精确。原始源码/摘要与 CLI/MCP 身份一致性得以保留。

成员和解构投影使用共享槽位所有者的带标签值。即使后续投影选择了健康的兄弟节点,已遇到的限制仍然可见:所选值保持精确的 7,而文件覆盖度为部分。这避免了仅从最终保留值推断完整性的做法。重复的原始默认值读取器和已被取代的保留值扫描均被移除。

边界控制在 174,762 个 UTF-16 单元(估算 1,048,574 个 JSON 字节)时接受,在 174,763 个(1,048,580 字节)时拒绝。实际运算修正了此前发布的 1,048,578 总数;单元计数边界断言本就正确。该估算按每单元六个字节加两个引号计算。它并未确认超过 1 MiB 的实际 ASCII JSON 大小,也未观察到 OOM。

最初的主基线复现了两次公共字面量失败,加法和小型控制通过。在独立领域复现之前,一个错误的可选限制数组控制被修正(2 失败/16 通过)。审查头 40b9d3c5 随后复现了额外的投影/默认值缺口(8 失败,25 通过)。首次审查修正通过了 65/66 个聚焦测试;一个倍增链现在如实地保留了额外遇到的表达式深度限制,因此其字节增长断言被更新以允许其他已记录限制。在恢复后的运行时上的先前验证:五个文件中的 66 个聚焦测试 和 36 个文件中的 932 个语义测试,领域覆盖有所重叠。大型线缆夹具保留 16 个单独接受的值以及至少此前的聚合 UTF-16 载荷,外加完整的 CLI/MCP 交付、类型化身份、空字符串和保留的追踪。输入从测试中重新生成。

端点身份兼容性

在 5808872 尝试的端点归一化通过了其新的本地用例和真实 Obsidian 控制,但未通过现有 CI 端点载荷验收工作流(该分片中 1 失败/1,573 通过/19 跳过)。它违反了既定的完整端点查找/追踪契约。此扩展已回滚;端点值是查找身份,位于归一化原始格之外。原始大型端点得以保留。修正后的公共验证在两个文件中通过 7/7;这在此前 66 用例的聚焦选择上增加了一个验收工作流(67 个不同用例,而非一次 67 用例调用)。其验收工作流现在还将该相同字符串作为导出的原始值进行归一化,要求在端点查找、两个追踪工作流和版本比较保持可用时绑定类型化值。先前的测量和失败的尝试保留在 JSON 记录中。生产源码恢复为与 38d263a 字节一致;932 测试语义运行属于该状态。在兼容性修正之后,最终完整的静态和文档门禁(五个一致性测试)均通过。

真实应用控制与成本

官方 Obsidian 1.14.4 ASAR,选定的 package.json 和 main.js。遵循 模块引用验证 中的获取/摘要和现有验证器命令。在每次修订中使用三个交替顺序的查询对,并保持 CLI 一致性。不执行应用程序代码。

最终修正保留了精确的基线完整父级/视图 Evidence ID、23 行事实摘要、源码覆盖度和未知项。对于参考工作流,静态 cl100k_base 任务成本在使用选定的 name/description/inputSchema 契约时保持 16,548,在使用完整目录投影时为 204,093。串行旧版读取也保持其原有成本。查询投影改进属于 #4097;这些是语义归一化和覆盖度的控制项。

完整真实验证器 之前 最终修正
已用秒数 33.394 32.949
CPU 秒数 33.016802 32.559187
cgroup 峰值字节 1,979,863,040 1,880,096,768

包括初始分析、两个查询臂、导出、CLI 一致性和分词器。单 CPU、8 GiB 硬上限、6 GiB 提前停止、无交换;清理已验证且无 OOM。内存包含已计费的文件缓存,而非求和后的 RSS。计数器在载荷退出时读取,而观察者仍存活。全新的 MCP 会话并不建立操作系统冷缓存条件。共享主机调度和文件系统/构建热状态不受控制。这一组前后对照既不能确立加速,也不能确立等价上限。静态 BPE 排除注释/输出模式、客户端渲染/重放、推理和最终答案;未运行托管代理。被验证的是 Linux 静态 ASAR 分析,而非实际 Electron 或其他平台。

紧凑记录、样本、源码哈希和先前尝试 将最初的不完整修正与最终测量分开保存。未归档任何可下载的应用程序或完整捆绑包。通过列出的公共测试复现边界结果,并复用上面链接的现有真实验证器和保留的 8 GiB 观察者。观察者哈希和影响结果的已触及源码哈希已固定在记录中。

本页原文 Markdown:在 AtomGit 查看·内容源自开源项目 rea2/rea