用途:本技能面向已运行系统的探测,或为尚不可达的运行时准备有界交接;与在运行前探查需求的 spec-probes 互补。
开始前:需依次说明范围(如 PR diff、单个功能或整个产品)、探测面与停止谓词。探测须通过项目真实的 verify-<app> 驱动执行;若该驱动缺失,应把所需验证面报告为阻塞项,而非另寻路径。执行前须限定预算与后果下限,二者分别报告;缺少限制时应停下询问,不得自行发明或替代。
第一遍:在实机执行中盘点入口点,按形态选择类别,形成有界的对抗性假设,并在既定范围与停止谓词内依观察结果调整。类别表包含:畸形输入、极端规模、中断序列、重复与重放、过期状态、依赖失败、依赖缓慢、并发行为。只读查询不追问中断序列。开放式运行用 swarm 技能按入口点分派,工作者以 PASS、ISSUES 或 BLOCKED 加证据汇报。调用方给出的有限操作须保持原顺序与含义,一次执行一条、逐步决定下一条是否仍被授权;命令按字面完整执行一次,上下文不可用时报阻塞。计划性或不不可达的工作只列入有具体条件与可观察面的探测,并标记为未运行及原因。
第二遍:每条发现先视为假设。仅在同时满足三条时升级:可复现(从干净起点重放仍失败,或任务提供的已完成观察);真实调用方可到达(需指明调用方与从真实入口到失败的路径);维护者会接受修复(用户可见、影响数据或跨越安全隐私边界)。每条发现最终处于推广(修复)、驳回(说明理由)、缺口(可复现但不可达,须记录守卫名)或上报待问(涉及安全、隐私、认证、计费、数据留存或权限边界且无法自行判定)之一。
记录与交接:在树外维护一份每行一条探测的记录,包含入口点、类别、探测、状态及观察与证据 ID 或未运行原因;禁止写入时在回复中保留同样事实。执行后的探测脚手架可在获授权时提交;计划性、不可达或只读工作不创建脚手架,交接存于 findings.tsv。未经明确授权不得添加回归测试或实施修复;获授权时用 poteto-tdd 让每条推广发现对应一个先失败的测试,并逐条修复,不批量提交。报告范围、探测面、停止条件、已完成或未运行的工作、证据 ID 与最终处置;没有执行或任务提供的完成证据时,只报告阻塞与缺失事实,不得声称通过、发现或复现。