E5 · 出版卷 27

证据卡片与来源检查

对象、位置、时间、方法、来源、质量与限制

学习目标

  • 解释“对象、位置、时间、方法、来源、质量与限制”的分析边界与证据边界。
  • 把地质任务转化为显式实体、视觉通道与状态转换。
  • 用普通与对抗夹具测试正确性、读取误差、不确定性表达和可访问性。
  • 使用合成证据产出一张来源检查卡与一条主张—证据遍历路径，并为每项变换辩护。

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

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

分析决定

确定审查者判断可见主张所需事实，并让它们距图形标记不超过一次操作。证据卡不是便利属性的提示框；它标识对象是什么、适用于何时何地、如何获得或派生、由哪个来源版本支持、存在哪些质量发现以及哪些限制约束使用。缺失事实保持显式，而不是从卡片消失。

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

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

科学内容

来源检查把可见派生物沿变换链连接回接收证据与审查决定。身份、支撑与版本是主信息，显示标签是次要信息。卡片区分断言值、计算值与解释，并区分“未记录”“不适用”与“受限”。主张引用具体证据对象；证据可支持、矛盾或与主张无关。导航必须双向且保留上下文。

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

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

视图与交互模型

使用类型化卡片模式，包含不可变对象标识符、对象类别、时空支撑、值与单位、状态、来源标识符与版本、派生活动与参数、责任角色、质量发现、不确定性、限制、相关主张与相关对象。界面按类型渲染字段，但不从名称猜测缺失语义。较长来源链显示为可展开图，同时提供简洁路径摘要与机器可读导出。

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

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

视觉不变量与约束

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

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

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

定量评价

对必需字段集合 R 与已填且语义有效字段集合 V，卡片完整率为 C=|R\cap V|/|R|；关键字段缺失必须单独报告，因为较高汇总值可能掩盖身份或版本缺失。还应测量来源检索成功率、遍历深度、失效链接率、主张覆盖率与复现成功率。值没有支撑和单位，或派生物缺少重建所需输入与活动时，卡片判定失败。

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

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

证据与不确定性

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

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

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

交互、状态与互操作

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

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

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

可访问性与响应式回退

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

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

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

治理与审查

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

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

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

整合检查点

一张来源检查卡与一条主张—证据遍历路径
一张来源检查卡与一条主张—证据遍历路径

把本图视为“对象、位置、时间、方法、来源、质量与限制”的推理地图。实线关系表示必需数据或状态转换；检查项暴露假设与失败路径；证据卡与静态路径使结果在交互场景之外仍可审查。任何元素都不代表具体产品、公司、个人或具名网站。

把一张来源检查卡与一条主张—证据遍历路径整合进累计 SYN-VIS 工作台。重跑此前任务、身份、图例、状态与回退夹具，记录哪些假设改变、哪些视图消费新状态，以及是否必须替代此前已接受结论。

合成演练示例

在 SYN-VIS-10 中选择一条边界时，初始界面只显示易读标签。修订证据卡显示稳定标识符、解释状态、空间支撑、来源观测、派生参数、审查状态与两条矛盾记录。一个来源版本缺失，因此卡片报告阻断性缺口，主张保持未解决。审查者从边界遍历到一个区间后返回，原选择与比较情景均不会丢失。

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

练习与考核

针对 SYN-VIS-10 建立一张来源检查卡与一条主张—证据遍历路径。保留接收数据包，并创建一个普通夹具、一个边界夹具、一个故意误导的表达、一个可访问性压力用例与一个证据未解决用例。提交任务模型、语义与视觉契约、序列化状态、可交互或可检查制品、静态回退、测量结果与发布决定。

验收条件：

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

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

常见失败模式

  • 把显示标签当作稳定证据身份。
  • 显示缺少支撑、单位或版本的值。
  • 把观测、计算与解释压平为一个字段。
  • 删除缺失字段而不是暴露其状态。
  • 打开来源详情时丢弃当前分析语境。

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

来源与延伸阅读