package.bend checks

bend-keccak: pure stock-Bend Ethereum Keccak-256. MIT licensed. https://github.com/Giulio2002/bend-keccak This entry checks and bundles the complete public sponge refinement proof. Use keccak.bend from the same package for runtime-only imports. Input: four little-endian bytes per U32, plus logical byte length. Output: Some{eight little-endian U32 words}, exactly 32 digest bytes; None if logical length exceeds input capacity. Input is consumed. Proof: universal public packed-array API refinement to the independent packed sponge specification, including padding, absorption, rejection, and all words. Not a proof of cryptographic security, constant-time execution, the compiler, or hardware. Kernel, Base, compiler, native toolchain and CPU remain trusted. Full statement and limits: repository CORRECTNESS.md.