用途：面向实时缺陷、内存泄漏、竞态条件与性能回归的系统化调试，帮助推理复现、隔离与根因，并指导在 strace、eBPF、perf 等系统级工具间做选择。
核心原则：奥卡姆剃刀（从最简单解释入手）、二分搜索隔离问题区域、修改前保留现场证据、记录假设与已排除项。
工作流：理解预期与实际行为差异；可靠复现；定位代码位置；诊断根因；做最小修复；验证修复且无回归。
常见缺陷模式：TypeError/null 多为缺少空值检查；off-by-one 多为循环边界与数组索引；竞态多为异步时序与 await/promise 处理；导入错误多为路径与模块解析；类型不匹配多为函数签名；不稳定测试多为时序与共享状态。
故障点诊断：错误中出现的低值/零值/默认标识（如 page 0、id 0、空名、index -1、0.0.0.0、null UUID）常是未初始化或哨兵默认值，而非真实对象，应先确认标识来自真实成功路径。对资源耗尽类症状，应在失败调用点实测资源：CUDA/GPU OOM 读 cuMemGetInfo，ENOSPC 读 df，EMFILE 对比 fd 数与 ulimit -n，分配器/池满读 in_use 与 reserved、设备总量。测量优先于既有框架与看似合理的机制解释。
适用场景：诊断线上缺陷、内存泄漏、竞态、性能回归，以及系统级内存分析、性能剖析、strace/eBPF 跟踪与网络调试。
限制：资料未提供具体安装命令、平台支持范围、收费方式与效果数据；语言相关调试器命令与系统级工具细节需参见其 REFERENCE.md。