Checked 算术与密钥协商
Version 2.955.1 在 Delphi 和 Free Pascal 启用整数溢出与范围检查的情况下，保留了既有的 SHA3、SHAKE 和密钥协商 API
SHA3-256、SHA3-384、SHA3-512 和 SHAKE256 在空输入、rate 边界、多 block、流式更新和反复 SHAKE 提取下保持原有输出
P-256、P-384 和 P-521 交换在域实现有意按 modulo 2^64 工作的地方使用显式的低位字运算；高位于常量和 Montgomery 运算在 checked 32 位构建中依旧可用
Montgomery 共享密钥准入
HPDFX25519 和 HPDFX448 检查完整的规范输出字节，共享密钥全零时抛出 EInvalidOpException，包括内部 limb 非零的弱域表示
HPDFComputeKeyAgreementSecret 把这种拒绝转化为 False、空的 SharedSecret 和全新的 Issue；后续合法操作仍然可用
非规范 u 坐标继续遵循 RFC 7748 解码，包括 X25519 高位规则；零密钥检查对应 RFC 7748 第 6 节中的可选准入检查
验收
六个真实的原生目标各自通过 360 组独立 SHA3/SHAKE 比对和 101 个密钥协商用例，涵盖双向的全宽度 NIST 私有标量、RFC 向量与 1,000 次迭代、低阶拒绝、非规范输入和恢复
两种 Delphi 架构还通过了 11 个未改动的原始 ladder 和 recipient-envelope 消费方法；实际编译器闭包按当前发布组合做了审计
常规 checked 控制台验收运行 Tests/Linux/Run-CheckedCryptoAcceptance.py；Tests/Linux/CheckedCryptoAcceptance.en-us.md 描述了编译器命令和独立的向量生成器
这些检查确立了文档化的向量与拒绝行为；不构成常量时间执行或侧信道认证