csk.lispex-image/v1 형식은 크기가 제한된 소스 바이트를 정규 PNG 한 장 또는 순서가 고정된 PNG 페이지의 정규 ZIP으로 바꿉니다. 디코더는 구조, 무결성, 패리티, 재생성 검사를 모두 통과한 뒤에만 소스를 반환합니다.
현재 보장
- 형식은 image·inspection·profile·codebook 태그, 1304픽셀 너비, 팔레트, 페이지 배치, 고정 Huffman PNG 인코딩, 무압축 ZIP 문법, 페이지 순서, manifest 바이트를 고정합니다.
- 입력은 소스 1MiB, 리더 노드 16,384개, 리더 깊이 256, 32페이지로 제한됩니다. 잘못된 길이·오프셋 필드는 위험한 메모리 할당 전에 거부됩니다.
- 검사는 형식·프로필 식별자, 페이지 수, 정확한 소스 길이와 식별값, projection·Core·payload·page-set·페이지별 결속값을 공개합니다.
- Reed–Solomon 패리티는 바뀐 payload 심볼을 탐지하지만 복구하지 않습니다. 유효한 payload도 공급된 PNG 또는 ZIP 바이트와 정확히 똑같이 재생성되어야 합니다.
- 왕복 법칙은
decode(encode(source)) = source이며, 받아들인 모든 이미지에 대해encode(decode(image)) = image입니다.
경계
- 정규성은 해당 바이트가 하나의 정확한 리스펙스 이미지 표현임만 증명합니다. 소스 식별, 서명, 신뢰 정책, 요청 결속, 네이티브 재실행, 로컬 gate는 서로 다른 경계로 남습니다.
- 유효한 이미지에서 워터마크, 스테가노그래피 내성, 시각적 변형 내성, 오류 복구, 기밀성, 저자 신원, 악성 코드 안전성을 추론하면 안 됩니다.