@antprofuse/saddle-islands-minifish-test 0.1.4 → 0.1.6

package/SKILL.md

@@ -95,7 +95,7 @@ Minifish Web模拟器可能包含 minidev、lyra 与业务页面 frame。定位
 
 交接给产品研发前，逐项核对原始目标是否落成具体页面断言，而不只核对来源ID。共享断言可以复用，但每个场景必须有独立预期，能检测该场景正式目标所声明的错误，不额外继承祖先断言。不得以截图附件代替内容/行为断言，或以测试数量代替断言完备性。
 
-测试目录提供可直接执行的安装、设施自检、全量运行和单用例运行命令，以及必要目标配置。真实产物可用时运行完整套件；尚无产物时可先编写测试并完成静态自检，但明确接入实测待完成，由测试建设方继续跟进。报告区分产品失败、设施失败和未执行到的断言，不以放宽预期、跳过用例或补造业务输入解决产品失败。业务agent依据本Skill完成测试交付，Minifish研发使用其作为实现输入和验收条件；测试缺陷仍由测试建设方修复。
+测试目录提供公共设施自检、按范围运行及单用例运行入口和必要目标配置；工具与依赖由Owner在任务级统一准备，执行者直接消费。测试研发按目录逐项建设和复核覆盖，以编译、静态检查和测试设施正负控制验证测试本身；必要时轻量运行设施自检，验证计划构造和断言正负例，不要求业务页面执行。当前产品未实现或有缺陷时业务断言失败是合法结果，不能以产品全绿作为测试交付条件，也不能为检查语法或基本接入运行全量业务用例。业务测试的实际执行、失败分析、产品修复与复验由产品研发阶段完成；只有用户明确另行指定测试阶段的真实业务执行任务时才按该要求执行。尚无产物时可先编写测试并完成静态自检，明确实际接入尚未验证。报告区分产品失败、设施失败和未执行到的断言，不以放宽预期、跳过用例或补造业务输入解决产品失败。业务agent依据本Skill完成测试交付，Minifish研发使用其作为实现输入和验收条件；测试缺陷仍由测试建设方修复。
 
 按项目仓库权限提交；Skill源码维护不隐含发布授权。仅从已确认规则沉淀通用规范，业务未决值不得进入Skill默认值。
 
@@ -119,7 +119,7 @@ Minifish Web模拟器可能包含 minidev、lyra 与业务页面 frame。定位
 
 新建或迁移定位时读取 [专用语义锚点与公共观察能力](<references/semantic-anchors.md>)。统一以Spec目标路径声明 `data-anchor-id`，case只使用公共能力，不自行定位DOM；平台桥接集中维护。既有运行批次按固定输入完成，在明确迁移点接入。
 
-处理原型到原生组件的实现或验收时，读取本 Skill 的 [原生小程序断言方法](<references/native-miniapp-validation.md>)。该文包含按目标选择断言的操作表、rpx 独立换算、无盒包装、真实图片收据、滚动与遮罩等待规则，编写断言前必须消费；不重新试出已验证的基本方法。逐元素交接源条件、原生承载和可执行观察；设施用正负例自检；产品可用时用正式清单内对应 case 验证接入，产品未就绪不阻止独立测试定义建设。原型 HTML 实现树不作为小程序组件合同，单例通过不代表其他 case 通过。 业务控件不得依赖 HTML 标签定位：新策略通过公共工具解析专用语义锚点，再验证实际角色与承载；显示与隐藏定位须防错文案漏检，按参考中的原生承载正负例验证后交接。
+处理原型到原生组件的实现或验收时，读取本 Skill 的 [原生小程序断言方法](<references/native-miniapp-validation.md>)。该文包含按目标选择断言的操作表、rpx 独立换算、无盒包装、真实图片收据、滚动与遮罩等待规则，编写断言前必须消费；不重新试出已验证的基本方法。逐元素交接源条件、原生承载和可执行观察；设施用正负例自检；真实产品接入由产品研发阶段使用正式清单验证，测试研发交付可独立编译检查的测试定义与接入配置。原型 HTML 实现树不作为小程序组件合同，单例通过不代表其他 case 通过。 业务控件不得依赖 HTML 标签定位：新策略通过公共工具解析专用语义锚点，再验证实际角色与承载；显示与隐藏定位须防错文案漏检，按参考中的原生承载正负例验证后交接。
 
 ## 平台当前用户的测试边界
 
@@ -134,4 +134,8 @@ Minifish Web模拟器可能包含 minidev、lyra 与业务页面 frame。定位
 
 ## 迭代范围与无变更交付
 
+测试研发的验证必须能在产品尚未研发、没有小程序制品和模拟器的情况下完成：检查定义、来源映射、依赖闭包、编译和断言设施正负控制。轻量验证指测试机制自检，不以启动模拟器或执行业务页面为前提；模拟器上的真实业务执行属于小程序产品研发阶段。缺少产品或模拟器不构成测试研发交付阻塞，不能将接入实跑设为本阶段成功交付的必要条件。
+
+检查范围与检查方式分开决定：测试研发根据业务迭代自主选择全量或增量的目录遍历、定义审查、编译及静态检查，全量静态检查不等于全量业务运行。本阶段不以真实产品业务执行作为覆盖建设的默认步骤；必要的轻量验证使用不依赖产品制品的设施自检。产品研发负责真实业务测试执行与修复。
+
 阶段适用于新业务研发、已有业务的小范围变更和无业务变化的复核。按本轮目标与输入差异决定工作量；节点存在不等于必须修改代码、重建设计或重写测试，也不自动要求全量验证。优先复用仍有效成果和证据，对变更及其影响范围研发、验证。判定无需修改时交付依据、对应版本及必要检查结果，不能仅凭文件已存在认定完成；用户明确要求完整复核或全量测试时按该范围执行。无Git变更仍执行阶段交付门禁，基线与候选可以相同。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@antprofuse/saddle-islands-minifish-test",
-  "version": "0.1.4",
+  "version": "0.1.6",
   "description": "基于Islands正式输入与后端契约建设Minifish小程序黑盒测试，消费独立公共工具，不实现产品或Web前端测试。",
   "license": "MIT OR Apache-2.0",
   "files": [

package/references/islands-miniapp-case-tree.md

@@ -44,7 +44,7 @@
 
 隐藏不只指目标自身的隐藏开关，也可能由祖先进入其他分支造成。核正式目标及父分支依据，选择Spec中真实可达路径，并证明页面正常处于该分支；不能因为子组件未写隐藏条件就删除责任，也不能关闭浏览器或隐藏DOM冒充业务隐藏。不同父分支的准备不能强行合并成同一终态。
 
-独立制品固定实际验证的依赖版本，case与公共runner使用同一Playwright实例；不能通过仓外源码import再加载第二套Playwright。打包必要运行模块与资源闭包，声明环境依赖。发现成功不代表执行成功，需真实小程序运行验证。
+独立制品固定实际验证的依赖版本，case与公共runner使用同一Playwright实例；不能通过仓外源码import再加载第二套Playwright。打包必要运行模块与资源闭包，声明环境依赖。发现成功不代表执行成功；真实小程序执行结果由产品研发阶段验证，不作为测试研发交付前提。
 
 审计结果应显式写入仓外输出文件；不要假定任意reporter会持久化内存附件。图片和审计、日志、生成执行包不进入Git。内容断言通过不代表视觉对齐；对区域交付需汇总该区域全部适用目标，而不以单条标题测试或一张截图代替。
 
@@ -60,3 +60,9 @@ case合并与任务节点合并是两回事；用户要求case提效不能擅自
 账本同时保存原ID自身断言结果、准备/边界/清理状态及运行case整体结果。合并case某个独立目标失败，不应把其他已执行目标的观察事实覆盖为未执行；同样，目标局部通过不能掩盖无效准备、身份漂移或与其相关的请求边界失败。通过依据须说明本目标完整责任及其依赖已闭合，未能证明依赖独立时保未闭合，不猜测恢复通过。
 
 汇总工具或计数政策变化时，保留前后逐ID转换与原因，区分真实行为退化、证据适用性变化和统计变化。报告将缺少定义、准备未到达、断言未执行及已执行失败分开，不能只用一个“未验证”数字驱动任务安排。
+
+## 覆盖研发进度与运行范围
+
+遍历覆盖树时持续记录已处理原ID/本轮范围总ID、当前子树、待处理集合及具体阻碍。分别记录定义与来源审查、编译检查、实际执行的阶段进度，不用运行包进度冒充覆盖树研发进度。记录写指定任务执行记录目录，供Owner检查；多个原ID合为一个运行case时保映射和各自分母。已扫描不等于已覆盖，已编译不等于已执行，通过数只按真实断言结果计算。
+
+树遍历和编译静态检查可按迭代自主选择全量或增量，覆盖范围不限制为少量代表；它们与启动真实产品执行业务测试是不同阶段。测试研发先做编译、静态与定义控制，必要时通过不依赖产品或模拟器的设施控制验证计划构造和能检出原错误的反例；产品是否通过不是本阶段交付门槛。业务执行与修复交产品研发，不为语法检查全量跑业务；测试阶段承担全量真实业务执行须有用户明确指定的任务。