用途：该技能是 ctf-sandbox-orchestrator 的下游专项技能，仅在后者已激活并已建立沙箱假设、节点归属与证据优先级后使用；若尚未满足，应先回到 ctf-sandbox-orchestrator。适用于决定性行为依赖请求时序、异步顺序、锁缺口或陈旧状态的场景。除用户明确要求英文外，回复使用简体中文。
主要能力：识别可变状态（数据行、缓存键、队列载荷、会话字段、计数器或文件）；用最小并发序列和固定时序假设复现问题；在只改变一个变量的前提下采集一次基线运行与一次竞态运行；分别追踪读取、检查、写入、入队与提交边界；从干净重置状态证明最终状态漂移。
使用方式：先映射可变边界，记录事务范围、锁行为、重试逻辑、幂等键、缓存失效与队列交接，标注读-检查-写被拆分到不同请求、工作进程或服务的位置，并将每个边界绑定到精确时间戳或序列号。再复现时序窗口，构造带受控延迟、重复请求或重排工作进程执行的确定性并发输入，在相同载荷下比较接受与拒绝路径，记录顺序变化时翻转的条件。最后归约为决定性竞态链：请求 A 与 B 的顺序 -> 陈旧检查或锁缺口 -> 冲突写入 -> 最终能力或产物，并说明根因是缺少锁、幂等性弱、陈旧缓存读取、异步提交延迟还是重试副作用。若路径变为队列主导，则移交队列工作进程漂移技能。
需保留内容：可变键、事务边界、锁行为与幂等标记；基线与竞态运行的时间戳或序列化轨迹；一条可最小复现的并发序列以证明漂移。
限制：资料未提供具体安装命令、平台支持、收费方式或效果保证；该技能依赖上游 ctf-sandbox-orchestrator 的上下文，不能独立使用。