用途：在代码评审（含拉取请求）及聚焦生命周期审计中，对 DeepSeek Harness Cordis 插件及其入口可达的辅助代码做语义审查，聚焦所有权与生命周期。从导出的插件入口（apply 或由 Cordis 调用的具体默认导出）开始，追踪模块初始化、注册服务、监听器、effect、disposer 及可达的传递调用；排除无关辅助、构建工具、CLI 路径与测试作为发现目标。
主要能力：依据仓库约定、生命周期与 effect 的获取与释放、服务依赖跟踪与可用性、防御性模式（静默拆除与必需完成监听器）等事实来源，识别三类 P0 违规：一是单例模式，即身份或生命周期来自模块加载、静态字段、全局符号、隐藏缓存或 getInstance() 的进程级实例或可变状态所有者；二是未逆转副作用，即释放后仍留下监听器、注册、定时器、watcher、子 fiber、进程、连接、临时文件、订阅、环境补丁或异步工作；三是清理依赖在消费者完成前被释放。
使用方式：定位可变所有者、注册、资源获取与工作准入；通过实际上下文追踪所有权与清理，直到最后一次服务调用、事件发出、确认操作与持久写入；比较消费者完成与必需监听器、注册表、写入器、连接、域或传输变为不可用的时间；建立合法的失败交错与可观察影响，必要时用受控 promise 复现。当前变通方案为函数式 provider 插件配合一个 ctx.effect(function* () { ... }) 组合服务发布与资源 effect，并 yield 各注册返回的确切 disposer，最后 yield ctx.provide(name, service)。
适用场景与限制：仅报告已证实的上述三类 P0 违规，给出源码位置、插件根、消费者与资源所有者、失败交错、可观察影响、修正与确定性验收测试；不报告 vendored 代码缺陷、仅缺少注入、无可达消费者的可能延迟调用或有意抑制的可选通知。若未发现违规，应说明检查范围与证据缺口；调用方提供结构化输出模式时按其规则名与严重级别输出。