38 lines
2.1 KiB
Markdown
38 lines
2.1 KiB
Markdown
# image-pixel-read-integrity Specification
|
||
|
||
## Purpose
|
||
TBD - created by archiving change repair-image-edit-pipelines. Update Purpose after archive.
|
||
## Requirements
|
||
### Requirement: Reading business pixels preserves source state
|
||
系统 SHALL 在读取业务 RGBA 时保留源 Image 的像素缓存、Alpha 模式、脏状态、Packed 内容和对象引用。读取 SHALL NOT 通过重载源图片覆盖当前有效内容。
|
||
|
||
#### Scenario: Dirty packed image is read
|
||
- **WHEN** 用户修改 Packed Image 像素但尚未重新 Pack，图片编辑工具读取该图片
|
||
- **THEN** 读取结果包含最近修改的 RGB/Alpha
|
||
- **AND** 源像素、脏状态及原 Packed 内容保持读取前状态
|
||
|
||
#### Scenario: Shared source is read before an edit is cancelled
|
||
- **WHEN** 两个对象共享同一 PREMUL Image，其中一个工具读取图片后取消或报错
|
||
- **THEN** 两个对象仍引用相同源数据，源像素缓存与呈现设置保持不变
|
||
|
||
### Requirement: Business pixel interpretation survives persistence
|
||
系统 SHALL 保留既有 PREMUL 结果默认值，并在即时读取、Pack 和 blend 保存重开后取得相同业务 RGB/Alpha。误差 SHALL 仅来自既有编码精度，完全透明 RGB SHALL 可以通过 Mask Add 恢复。
|
||
|
||
#### Scenario: Edited image is reopened and read repeatedly
|
||
- **WHEN** 含透明及半透明像素的编辑结果保存重开并被多次读取
|
||
- **THEN** 每次返回相同业务像素，结果 Alpha 模式保持 PREMUL
|
||
- **AND** 读取不会改变源缓存或产生累计颜色变化
|
||
|
||
#### Scenario: Floating point source is consumed
|
||
- **WHEN** 工具读取生成或加载的浮点图片，包括原生预乘 Alpha 数据
|
||
- **THEN** 返回值符合源编码的业务 RGBA 语义并保留当前有效精度
|
||
- **AND** 源图片的像素及模式保持不变
|
||
|
||
### Requirement: Temporary decoding data has bounded lifetime
|
||
系统 SHALL 在单次业务读取结束或失败时释放该读取拥有的临时图片数据。
|
||
|
||
#### Scenario: Repeated read or decode failure
|
||
- **WHEN** 用户重复触发读取，或读取中的解码发生错误
|
||
- **THEN** 不留下额外 Image 数据块，原图片及共享引用保持不变
|
||
|