def checksum_bad

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:440

import Base

440# --- Fail-closed batch checksum verdict (Task 3) ---
441# Any parse failure (checksum or otherwise) is a bad body: recovery treats
442# every reject as fatal, so the batch verdict stays consistent with parse.
443def checksum_bad(err: Maybe<&2, Error>) -> Bool:
444  match err:
445    case None{}:
446      False{}
447    case Some{_}:
448      True{}