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 私有 scalar、RFC 向量與 1,000 次迭代、低階拒絕、非規範輸入與復原
兩種 Delphi 架構也通過 11 個未改動的原始 ladder 與 recipient-envelope 消費方法；實際編譯器閉包已按目前發行組合稽核
一般 checked 主控台驗收請執行 Tests/Linux/Run-CheckedCryptoAcceptance.py；Tests/Linux/CheckedCryptoAcceptance.en-us.md 說明編譯器命令與獨立向量產生器
這些檢查確立了文件化的向量與拒絕行為；不代表常數時間執行或側通道認證