Image Format and Safety

The csk.lispex-image/v2 format carries up to 1 MiB of Lispex source in one byte-exact PNG or an ordered ZIP page set.

Byte-exact format

The format fixes its image, inspection, profile, and codebook tags; a 1304-pixel width; the Sunlit Amber palette; page geometry; fixed-Huffman PNG encoding; stored-ZIP grammar; page order; and manifest bytes.

The decoder accepts up to 1 MiB of source, 16,384 reader nodes, reader depth 256, and 32 pages. It validates lengths and offsets before allocation. Reed–Solomon parity detects changed payload symbols, and regeneration checks the exact supplied PNG or ZIP bytes.

decode(encode(source)) = source
encode(decode(image)) = image

Artifact roles

ProductRole
Lispex ImageCarries exact source bytes in a canonical PNG or page set
image inspectReports format, profile, page count, source identity, and commitments
image decodeReturns source after structure, integrity, parity, and regeneration checks
VouchConnects recovered source identity to authentication, request binding, re-execution, and a local gate
Host media workflowOwns visual presentation, resizing, distribution privacy, and access control

Lispex Images · Lispex Vouch overview

Image Format and Safety · Lispex