E5 · 出版卷 27

联动视图与交互状态

刷选、选择、过滤、共享标识符与撤销

学习目标

  • 解释“刷选、选择、过滤、共享标识符与撤销”的分析边界与证据边界。
  • 把地质任务转化为显式实体、视觉通道与状态转换。
  • 用普通与对抗夹具测试正确性、读取误差、不确定性表达和可访问性。
  • 使用合成证据产出一个带撤销与静态回放的确定性联动视图状态模型，并为每项变换辩护。

只有当学习者能够识别视觉主张、复现被检查状态、引用支配证据、解释不确定性，并证明必需回退方式仍可完成等价核心任务时，本章才算完成。没有状态、来源和评价证据的精美截图仍未经验证。

本章保持通用与机构中立，不使用真实公司、个人、资产、项目或可识别地点。证据保管角色、可视化设计角色、领域审查角色与发布审查角色等通用角色只描述责任，不暗示任何隶属关系。

分析决定

联动视图前，先定义哪些状态属于共享、局部、临时、持久或可发布。选择用于标识证据；过滤改变合格总体；焦点控制注意；可见性改变呈现；编辑改变领域对象。混淆这些状态会使计数与结论无法审计。每次交互都必须具有明确作用域、可逆路径和说明变化内容的文字描述。

选择布局或交互前，先写明预期结论以及支持或拒绝它所需的证据。识别比较基线，以及假阳性、假阴性与未解决结果的成本。只有观察者、输入、状态、预期输出与通过条件均被命名时，设计要求才可测试。

非目标应与目标同样认真记录。用于证据检查的视图不会自动具备编辑、发布或运行控制能力。限制作用域可防止表面便利的界面获得其证据与验证无法支持的权威。

科学内容

联动视图通过语义标识符与显式状态转换协调。在一个视图刷选集合会创建供其他视图消费的选择集合，而不会修改来源数据。过滤应组合为命名谓词，并发布当前总体计数。撤销通过逆操作或先前状态回放，并必须覆盖后果显著的变化，而不仅是相机移动。静态回放由序列化状态加快照或表格组成，无需交互也能保留分析结论。

区分数据语义与表达语义。即使不可见，地质对象仍保留身份、几何、支撑、状态与血缘；标记只在视图内具有位置、形状、色彩、纹理、透明度与交互状态。两者映射被版本化，可因聚合形成多对一，也可因多种表示形成一对多。

感知属于测量系统的一部分。位置、长度、面积、角度、色彩与深度的解码准确性不同，并受语境影响。应使用与任务相容且读取更准确的通道，克制强调，并验证读者看到预期顺序与区别，而不能依赖设计者的熟悉程度。

视图与交互模型

采用归约器式状态模型，让类型化事件变换不可变状态。状态包含数据集版本、共享选择标识符、命名过滤、活动情景、时间或深度范围、各视图相机与布局、焦点目标、历史指针和未解决错误。可见记录应从状态派生，而不是存储相互分叉副本。事件日志包含发起角色、时间戳、先前指纹、事件参数与结果指纹；私人探索笔记不进入发布状态。

来源数据、语义模型、分析变换、表达规范、交互状态与渲染输出应分层。每个边界具有输入契约、确定操作、结构化诊断与输出指纹。渲染绝不成为值或身份的权威存储；界面默认值也绝不补填缺失科学元数据。

状态模型支持干净初始状态、深链接、保存、恢复、撤销、重置、比较与静态导出。派生状态从规范输入重新计算。并发或延迟加载不能改变选择成员、过滤含义或情景身份；必需内容不可用时，视图暴露等待或失败状态，同时保留语境。

视觉不变量与约束

| 不变量 | 所需证据 | 失败行为 | | --- | --- | --- | | 语义身份在每个视图和状态中保持 | 稳定对象标识符与版本 | 阻止联动或把对象标为未解决 | | 视觉编码与声明的量和支撑一致 | 字段定义、单位、支撑与样式规则 | 修复契约前移除该编码 | | 观测、解释、备选与未知保持区分 | 认识状态与图例测试 | 保留状态并发出可见冲突 | | 过滤、选择、相机与情景状态可检查 | 序列化状态与总体计数 | 不发布无法解释的视图 | | 本章制品可复现 | 一个带撤销与静态回放的确定性联动视图状态模型的输入、变换、参数、测试与指纹 | 隔离派生物而不替换其来源 |

在导入、变换、状态转换、渲染、导出与回放阶段测试不变量。像素快照可发现意外布局变化，却不能证明身份、量、成员或可访问性。应组合语义断言、数值比较、任务结果、结构检查与选定图像比较。每个失败都报告对象、状态、规则、观测结果与预期条件。

硬失败只阻止受影响结论或派生物，绝不压低有效来源证据。警告说明后果与审查路径；信息发现不应显示成错误。严重性由科学与决策后果决定，而不是实现便利或受影响标记的视觉显著性。

定量评价

来源选择集合为 S，视图 v 中高亮集合为 H_v，分母非零时，联动完整率为 L_v=|S\cap H_v|/|S|，错误联动率为 F_v=|H_v\setminus S|/|H_v|。应测量传播延迟、事件顺序确定性、计数一致性、撤销深度与回放等价性。测试中重排独立事件并验证声明的冲突政策。大选择集合可在视觉上摘要，但精确成员必须仍可查询。

每项报告量都包含总体、支撑、单位、排除项、聚合、适用时的不确定性、评价状态与版本。若平均会掩盖后果显著的子组、设备模式、比例尺、情景或证据类别，应分层结果。若界面增加高信心错误或隐藏未解决证据，即使更快也不更好。

测试前定义参考答案与允许容差。当专业解释非唯一时，应评分证据检索、假设披露、备选比较与适当未解决行为，而不能假装只有一个几何正确答案。原始观察与汇总分数并存，使审查能够诊断任务为何失败。

证据与不确定性

采集、位置、分类、变换、解释、模型选择与视觉读取的不确定性应分开。加粗边界、透明曲面或宽包络并不天然自解释；视图与证据卡要标识不确定的量、时空支撑、构建方法、适用时的校准作用域，以及对当前决定的后果。

接收对象、合格语义视图、分析派生物与交付制品应作为不同版本保留。渲染标记引用精确派生物，并可追溯到输入与活动。矛盾证据保持可选择。元数据缺失或无效时返回未知、冲突或阻止状态，而不能触发猜测色彩、坐标、类别或置信度。

证据完整性与视觉清晰度分开评价。移除难处理记录可能让视图更整洁，却削弱科学结论。每项过滤都报告合格、可见、选中、排除与未解决计数及其理由。聚合保留成员链接，并暴露少数类别或窄要素何时在所选比例尺消失。

交互、状态与互操作

交互是分析状态的类型化变换。选择标识对象；过滤改变资格；焦点引导注意；相机与裁剪改变投影；情景切换解释数据包；编辑创建新领域版本。控件命名其改变的状态并显示结果。后果显著的变化带先后指纹进入历史，可撤销或回放。

视图交换稳定语义标识符、声明范围与状态事件，绝不把屏幕位置或色彩当作身份。接收视图没有对象表示时，应报告不可用而不是静默丢弃。计数与证据卡使审查者能够在平面、剖面、三维、柱状图和表格间核对同一选择。

保存的分析状态包含数据集版本、变换、分级与样式版本、过滤、选择、情景、相机、裁剪、布局与未解决发现。静态表示序列化该状态，并提供有序图形、图例、摘要与证据表。即使探索手势不再可用，也必须保留主张及其支撑。

可访问性与响应式回退

每个后果显著的状态与控件都具有程序化名称、角色、值与状态，并优先使用原生结构化元素。键盘顺序遵循分析序列；焦点可见且不被浮层遮挡。指针与触控目标具有非拖动替代。色彩、空间位置、悬停与动画绝不是身份、警告或不确定性的唯一载体。

复杂图形提供简洁用途与结论、关系的详细描述，以及底层结构化证据入口。状态变化只播报继续任务所需信息。密集场景提供搜索、分组与列表导航，而不是数千个无意义焦点。用户缩放与文字间距调整不能移除控件或证据。

响应式布局保留阅读与焦点顺序、共享状态、计数、图例和来源入口。窄屏下视图可堆叠或使用显式标签页，但隐藏面板仍可发现，其所选对象计数仍可见。静态回退记录当前状态与限制，并针对与交互版相同的任务—证据断言进行验证。

治理与审查

责任分配给通用角色：证据保管角色保留接收材料；领域审查角色定义地质含义与后果；可视化设计角色实现表达与状态；可访问性审查角色测试跨模式访问；独立验证角色质疑主张；发布审查角色接受、阻止或限定发布。任何角色都不能抹去矛盾证据，也不能在无记录审查时批准自身未解决硬失败。

若表达变更可能改变解释，就必须版本化：字段选择、变换、聚合、类别断点、色板、线型语法、投影、夸大、平滑、默认相机、裁剪、透明度、过滤、标注优先级或回退方式。回归夹具比较预期成员、几何、值、读取任务与可访问语义，而不只比较图像像素。

例外记录作用域、理由、证据、风险、批准角色、受影响版本与复审触发条件。例外不能通过改标签把未知变成已知，或把失败任务变成成功。承载本章的网站没有所有权或科学权威角色，只负责交付教程，也不属于科学证据链。

整合检查点

一个带撤销与静态回放的确定性联动视图状态模型
一个带撤销与静态回放的确定性联动视图状态模型

把本图视为“刷选、选择、过滤、共享标识符与撤销”的推理地图。实线关系表示必需数据或状态转换；检查项暴露假设与失败路径；证据卡与静态路径使结果在交互场景之外仍可审查。任何元素都不代表具体产品、公司、个人或具名网站。

把一个带撤销与静态回放的确定性联动视图状态模型整合进累计 SYN-VIS 工作台。重跑此前任务、身份、图例、状态与回退夹具，记录哪些假设改变、哪些视图消费新状态，以及是否必须替代此前已接受结论。

合成演练示例

SYN-VIS-08 联动平面、剖面、三维与表格视图。首个实现使用行位置，因此表格排序后会高亮错误空间对象。修订版使用稳定证据标识符，并报告各视图选择计数。过滤与选择分开显示，可独立清除。撤销恢复先前情景、过滤与相机状态。保存回放可重新生成相同成员与计数，静态表格则列出每条所选记录及理由。

  1. 保留接收证据，在不选择视觉形式的情况下声明目标决定。
  2. 解析身份、量、支撑、状态、合格总体与不确定性来源。
  3. 应用版本化变换、表达与状态转换，同时保留诊断。
  4. 测试答案、引用证据与回退，再带理由作出接受、阻止或未解决决定。

练习与考核

针对 SYN-VIS-08 建立一个带撤销与静态回放的确定性联动视图状态模型。保留接收数据包，并创建一个普通夹具、一个边界夹具、一个故意误导的表达、一个可访问性压力用例与一个证据未解决用例。提交任务模型、语义与视觉契约、序列化状态、可交互或可检查制品、静态回退、测量结果与发布决定。

验收条件：

  • 预期地质决定、合格证据与错误后果均显式声明。
  • 每个可见量都具有身份、支撑、单位、状态、变换与版本。
  • 观测、解释、备选、缺失与未知状态保持可区分。
  • 选择、过滤、相机、裁剪、情景与隐藏证据可检查、可回放。
  • 必需输入模式与静态回退均可得到相同核心答案并引用相同证据。
  • 全部阻断失败保持可见且机器可读；不覆盖任何来源证据。

安排结构化审查，让第二位审查者只接收提交数据包。审查者必须复现目标状态、回答任务、引用相同证据对象、识别主要限制并解释未解决结果。差异应记录为指向最早责任层的发现；修正制品采用替代方式更新，不得覆盖。

常见失败模式

  • 按行号或屏幕位置联动。
  • 把选择、过滤与可见性当作同义词。
  • 撤销只覆盖相机移动。
  • 静默丢弃某个视图中不可用的所选对象。
  • 发布没有静态回放的交互状态。

这些失败用外观或便利替代证据。应定位无依据假设最早进入的边界，恢复来源陈述与预期任务，使变换和状态显式，运行依赖夹具，并以替代方式更新受影响派生物。当视觉主张仍占主导时，在图后添加警告并不构成修复。

来源与延伸阅读