type: screenshot

provider: manual

state: cap-blocked

actions:
select over-cap range
open export dialog

colorScheme: light

observed_state: cap-blocked

result: captured

method: runtime-observation

observation: 超限提示 toast 渲染，无可访问名称与 role（首轮）

interpretation: 与 c2 可感知要求矛盾的可访问性缺口——S3 finding 首轮证据（R4 修复后由 r2 条目取代）

scope: 单次运行, viewport 1280x800, 数据集 week-2026-32


type: a11y tree

observation: a11y 树中 toast 节点无名无 role（首轮）

interpretation: 可访问名称缺失证实 S3 finding（首轮）；R4 修复后由 r2 树取代


state: edge-timeout

actions: interrupt export mid-flight (sampled edge)

observed_state: edge-timeout

observation: 超时中断后错误态呈现并含原因与重试出口

interpretation: 采样边缘（超时中断）通过：失败态出口可执行


type: interaction trace

actions:
select last-week range
open export dialog
confirm export
wait download

observation: 选定 214 行触发行内导出，14.2s 后下载完成，CSV 214 行；进行中按钮 busy 禁重复（R4 修复后）

interpretation: 满足 c1 的 Then 子句（限时内完成且行数一致）；measurement 计时为印证不独立成立

scope: 单次运行, viewport 1280x800, Chromium, 数据集 week-2026-32


actions:
select over-cap range
open export dialog (post R4 fix)

observation: toast 节点带 role=alert 与可读名称（含超限数值 200,000）

interpretation: R4 修复后的 a11y 附接证据，印证 L6.2 pass（ADR-0016 附接到既有 user-risk 判据）


observation: 提示含「超出 200,000 行上限」与「按周导出」收窄建议（重评 r2）

interpretation: 满足 c2 的 Then 子句（剩余量与收窄建议）；依赖 assumed 字段 export.row_cap 成立


state: return-visible

actions:
start export
navigate away
navigate back
read progress and result

observed_state: return-visible

observation: 导出中离开 main-list 后返回，exporting 进度态可见，完成后结果可获知（R5 修订 capture plan 后重采）

interpretation: 满足 c3 的 Then 子句（进度与结果仍可获知）；首轮跨导航 session 丢失记 blocked 已按 invalidated 块登记