Protocol.validate: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
Lines 768-781 of mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&start_line=768&end_line=781

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# Validates protocol identity, active generation, and payload size.
def validate(
  request: Request,
  expected_version: U32,
  active_generation: U32,
  max_payload_bytes: Nat
) -> Decision:
  match request:
    case Request{+version, +generation, +request_id, +operation, payload}:
      validate.sized(request_id, operation,
        U32.is_eq(version, expected_version),
        U32.is_eq(generation, active_generation),
        operation.request.valid(operation),
        Bytes.length(payload), max_payload_bytes)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=length
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=operation.request.valid
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=validate.sized