用途：阅读研究论文，定位理论薄弱之处，目标是发现可发表的理论缺口，而非做审稿式批评。有价值的缺口包括：方法在经验上有效但缺乏理论依据；理论存在但假设与实践不符；自然的泛化被留作开放问题。
主要能力：提供两种模式。完整缺口扫描执行步骤1至5；每周引理解剖针对单个引理运行紧凑协议。完整扫描先提取论文理论骨架（主张、显式/隐式/建模假设、保证类型），再逐一探查假设是否必要、现实、可收紧，探查保证是否紧、速率是否最优、是否匹配实际指标、渐近区间是否现实，然后识别结构性缺口（理论-实践缺口、缺失泛化、缺失联系、计算-统计权衡、鲁棒性），最后按可发表性与可处理性排序报告。
使用方式：引理解剖要求先冻结引理、命名依赖链（最多五步）、只弱化一个假设、预测首个断裂点、构造最小反例、最后再与作者讨论比较，并记录日志。输出以单一判定开头：BREAKS — CLAIM FALSE、BREAKS — PROOF ONLY、SURVIVES — HYPOTHESIS LOOKS WEAKENABLE 或 INCONCLUSIVE — NAME THE MISSING TEST。
适用场景：光谱图论、社区检测、GNN 理论或用户当前研究领域。
限制：不适用于用户自己的猜想、逐行形式化证明检查、面向会议的评审写作，以及没有证明或依赖结构主张的论文。需避免假缺口、琐碎缺口、事后洗白、模糊弱化、证明/主张混淆、过大反例和范围旅游。资料未提供安装命令、收费、平台或效果信息。