Archive.lh.err: def of bend-kit-archive@0.5.1.0
Import: import bend-kit-archive@0.5.1.0/archive.bend as Archive
Lines 142-150 of bend-kit-archive@0.5.1.0/archive.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-archive@0.5.1.0/archive.bend&start_line=142&end_line=150

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

# Local file header (APPNOTE 4.3.7): it must agree with the central directory, and its data must end before the directory.
def lh.err(+l: List<&2, U32>, +method: U32, +nlen: U32, +packed: U32, +cdoff: U32, +lname: U32, +extra: U32) -> Maybe<&2, String>:
  +data = (lname + extra : U32)
  why(U32.is_eq(u32(l, 0), 67324752), "bad local header signature",
    why(Bool.not(encrypted(u16(l, 6))), "encrypted entries are unsupported",
      why(U32.is_eq(u16(l, 8), method), "local header method differs from the central directory",
        why(U32.is_eq(u16(l, 26), nlen), "local header name differs from the central directory",
          why(Bytes.fits(cdoff, lname, extra), "local header runs past the central directory",
            why(Bytes.fits(cdoff, data, packed), "entry data runs past the central directory", None{}))))))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-archive@0.5.1.0/archive.bend&name=encrypted
  https://jend.leeeet.dev/definition.txt?path=bend-kit-archive@0.5.1.0/archive.bend&name=u16
  https://jend.leeeet.dev/definition.txt?path=bend-kit-archive@0.5.1.0/archive.bend&name=u32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-archive@0.5.1.0/archive.bend&name=why
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=fits