语义 HTML：审核和测试流程
提供语义 HTML 的手动和自动检查、测试夹具、验收标准和修复指导。该参考规范确定了采用边界、失败行为和可观察证据，同时允许配置环境特定的限制。
包状态： 参考上下文已准备好供人工审查。合同和测试场景已完成，但不保证采用实现已通过测试。
决策
对于语义 HTML，优先采用原生语义，并制定文档化的键盘和焦点合同。将该模块视为由代表性的正面、边界、拒绝、失败和恢复案例构建的发布和回归合同。此包为参考合同：采用团队必须根据自身环境中的证据选择数值限制、提供者、管辖区和运营负责人。
范围
- 本测试模块描述的语义 HTML 参与者、输入、输出、状态、策略或模式版本及外部可见结果。
- 主要和备选接口、后台工作、缓存、集成、支持路径及可触发相同边界的证据。
- 应用参考规范所需的采用特定配置、部署、恢复和验证职责。
模块外
- 为每个采用者选择通用供应商、框架、管辖区、数值阈值、保留期或服务级别目标。
- 声称已针对下游实现运行打包场景，或该参考授予法律、安全或无障碍认证。
合同
- 在视觉界面传达名称、角色、值、状态和关系的任何地方，均应以编程方式暴露。
- 每个操作均可通过键盘操作且无陷阱，焦点顺序遵循阅读和交互顺序。
- 异步状态或错误应被宣布，且不应意外移动焦点，恢复指导应与受影响控件关联。
- 在适用情况下，内容和操作应在缩放、文本间距、重排、强制颜色、减少动画和平台文本缩放下保持。
- 记录每次决策运行的夹具版本、环境、配置、观察结果和证据位置。
- 报告中应区分产品失败、依赖失败、测试基础设施失败和证据不确定。
- 使用语义匹配交互的原生元素，保持标题层级、地标、列表、表格、标签、描述和文档顺序，方可添加 ARIA。
- 客户端渲染后验证无障碍树和键盘行为，不使用角色修复因脚本破坏的原生行为元素。
实施指导
- 构建覆盖风险类别的最小确定性夹具集，隐私安全审查后再添加生产派生案例。
- 在选择框架或供应商细节前，建模语义 HTML 的输入、输出、参与者、状态、不变量、副作用和证据。
- 将适用的语义 HTML 合同或策略版本与物料状态一同存储，以便迁移、重放和支持决策可追溯。
- 引入受控部署路径，比较预期与观察结果，保持经过测试的恢复路径直至采用证据完整。
失败处理和保障措施
- 若无法保持语义或焦点，交互不得仅以视觉行为发布；缺陷仍阻止发布。
- 无效或矛盾的语义 HTML 状态将被拒绝或隔离；实现绝不猜测扩大权限或重复效果的值。
- 重试有界且使用持久身份；耗尽后，工作达到可检查的终态并有责任人。
验证和运营
- 从干净状态运行测试套件两次，确认排序、重试和并行执行不改变判决。
- 按合同版本监控语义 HTML 成功、拒绝、验证失败、依赖失败、重试耗尽和恢复情况，不含敏感负载维度。
- 策略、模式、依赖、迁移或边界变更后，重新运行配对的正负夹具并保存结果证据。
采用假设
- 示例中的名称和值为具体夹具，不是通用默认；采用者通过文档化证据和所有权替换。
- 采用系统能提供认证身份、持久操作或记录版本、有界遥测和受控变更路径。
本包中看似可执行的示例为夹具和验收合同。先运行集合验证器检查结构和元数据，再在目标仓库中翻译并执行场景，最后记录实现证据。