def block.payload.allowed

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:493

import Base
import mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend as StorageBytes
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockBuilder.bend as ByteBlockBuilder

493# Checks record payload plus WAL framing through the shared byte block policy.
494def block.payload.allowed(record_bytes: Nat) -> Bool:
495  block.payload.decision(ByteBlockBuilder.decide(0n,
496    Nat.add(40n, record_bytes), U32.to_nat(StorageBytes.MAX_BLOCK_BYTES())))