用途
该技能用于指导 Effect 项目中的测试开发工作。当需要新增或修改测试覆盖时使用，覆盖对象包括运行时行为（runtime behavior）和类型契约（type contracts）。具体触发场景包括：为行为、类型推断（inference）、可赋值性（assignability）或公开显示类型（displayed public types）添加或变更 Vitest 运行时覆盖或 Tstyche 契约。
主要能力
技能围绕两类测试分支组织工作：
- 运行时行为：对应 Vitest 覆盖，需阅读 runtime.md。
- 类型契约：对应 Tstyche 契约，需阅读 types.md。
部分改动可能同时涉及两个分支，因此需要在编辑前选择所有适用的分支。
使用方式
- 在编辑前，判断本次改动涉及哪些分支：仅运行时行为、仅类型契约，或两者兼有。
- 选择所有适用的分支。
- 若涉及运行时行为，阅读 runtime.md；若涉及类型契约，阅读 types.md。
- 为每个被改动的运行时行为和类型契约编写针对性的覆盖测试。
- 运行目标测试，确认通过。
- 运行适用的根检查（root checks），确认通过；若无法运行，则报告为不可运行。
完成标准
任务在满足以下条件时视为完成：
- 每个被改动的运行时行为和类型契约都有针对性的覆盖。
- 目标测试通过。
- 适用的根检查通过，或已报告为不可运行。
适用场景
适用于 Effect 仓库中涉及测试覆盖变更的开发任务，尤其是同时需要验证运行时行为与类型层面契约的改动。
限制
资料未提供该技能的具体安装命令、依赖版本、支持的平台范围、收费方式或价格信息。runtime.md 与 types.md 的具体内容、根检查的具体命令与范围，资料中均未提供。