言容 1.0.0

言容 1.0.0

摘要

1.0.0 定义言容首个稳定公共 API：六类有界容器、确定顺序、空值安全结果、显式资源预算，以及不会修改来源列的集合与变换算法。

容器

• 栈、队列、双端队列、有序集合和优先队列新增限制为与最大项，默认硬边界为 100000 项。
• 栈、队列、双端队列和优先队列新增结构化无异常移出或查看入口。
• 双端队列改为双缓冲与半量重平衡，两端操作保持摊还常数时间。
• 稳定优先队列新增取出项、查看项、有序快照和安全优先级范围。
• LRU 新增尝试读取、尝试查看、读取或、写入详情、剩余容量和项快照；读取会触碰，只看不会触碰。

算法

• 新增对称差、拉链全部、划分、分组、频次、旋转和稳定排序。
• 原有与新增算法都有同名受限入口，支持输入、输出和通用相等比较预算。
• 稳定排序使用归并排序，拒绝非逻辑、自反或运行中发现的双向矛盾比较器。
• 所有算法返回新外层列，不修改来源；顺序由首次出现、输入顺序或稳定比较明确决定。

错误与安全

• 公开错误详情，稳定恢复YANRONG_逻辑代码并保留源误诊断。
• 无异常入口统一返回{「成功」，「值」，「错误」}，真实空值不再与失败混淆。
• 容器、优先级、输入、输出、比较和回调错误都在修改公开状态前失败。
• 包无第三方依赖，也无文件、网络、环境、进程或原生扩展权限。

兼容性与迁移

• 最低言序为 1.1.6，构建目标为字节码。
• 0.1 的核心类与八个算法入口保持名称、参数顺序和基本结果语义。
• 队列内部压缩和 LRU 内部键位不再公开；请使用正常队列操作和缓存查询 API。
• 超过安全边界的旧调用现在返回YANRONG_LIMIT，应按业务规模分批或收紧上游输入。
• 建议锁定v1.0.0，版本范围使用^1.0，并提交言序.lock。

验证

• 7 个规格文卷通过，覆盖正常、边界、空值、错误、无效配置、容量、资源、回调、稳定顺序、往返和失败原子性。
• 全部规格、3 个示例和 4 个性能回归文卷均通过字节码 VM 执行。
• 7 个规格与 3 个示例的树解释器和字节码 VM 可观察结果完全一致。
• 全部言序文卷通过格式与静态检查，生成 API 无漂移。
• 默认 VM 步数预算内完成 4096 次双端交错操作、1024 项稳定排序、768 项频次和 128 个互异值去重。
• 锁图重建与 Release YXB 构建通过。

已知限制

• 泛型集合相等不使用哈希，有序集合、LRU、去重、分组和频次最坏为二次时间，并受比较预算保护。
• 快照和算法结果为浅外层复制，不递归复制复合项目。
• 言容只能检查比较器的返回类型、自反性和已遇到值对的双向矛盾，无法证明任意回调的传递性或纯度。