이미지 형식과 안전 경계

csk.lispex-image/v2 형식은 크기가 제한된 소스 바이트를 바이트 단위까지 정해진 PNG 한 장으로 바꾸거나, 순서가 고정된 PNG 페이지를 담은 ZIP으로 바꿉니다. 디코더는 구조, 무결성, 패리티, 재생성 검사를 모두 통과한 뒤에만 소스를 돌려줍니다.

이 순서로 생각하세요

  • 형식은 image·inspection·profile·codebook 태그, 1304픽셀 너비, Sunlit Amber 팔레트(#172A3A, #2F806F, #D18A43, #FFF1CF), 페이지 배치, 고정 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도 성립합니다.

흔한 오해

형식이 바이트 단위까지 정해져 있다는 사실이 증명하는 것은, 그 바이트가 정확한 리스펙스 이미지 표현 하나라는 사실뿐입니다. 소스 식별, 서명, 신뢰 정책, 요청 결속, 네이티브 재실행, 로컬 게이트 검사는 각각 다른 경계로 남습니다.

현재 경계

  • 유효한 이미지에서 워터마크, 스테가노그래피 내성, 시각적 변형 내성, 오류 복구, 기밀성, 저자 신원, 악성 코드 안전성을 추론하면 안 됩니다.

다음으로

실제로 쓰는 명령은 이미지 가이드에 있고, 이미지가 바우치 사슬에서 맡는 역할은 바우치 개요에 있습니다.

리스펙스 이미지 가이드 · 리스펙스 바우치 개요