用途：当证明基本完成、但逻辑结构尚未为读者铺开时使用，目标是让专家型非本领域读者先看懂证明如何成立，再验证其成立。适用于向《Annals of Mathematics》投稿的纯数学手稿。
主要能力：主张架构优先。在陈述主定理后，先用一段或一小节给出策略概览，说明主要步骤、关键引理与关键难点；把论证拆解为精确陈述的引理、命题与中间定理，并在使用前完成证明；明确指出哪一步是真正的新技术、为何既有方法在此失败；标出困难所在，避免把关键步骤伪装成常规计算。
使用方式：按症状处理——十页无内部结构的证明应提取引理与命题；同一估计重复三次应一次性陈述为引理并引用；打断行文的自足技术计算应移入附录（anmath-supplementary）；依赖深层外部定理时须精确陈述并引用，不得松散转述；以“一个计算表明”带过的关键步骤必须完整展开。新方法应尽可能独立成结果以便他人引用，并与标准方法对比一两句说明其如何绕过障碍。
输出格式：证明策略一段；关键引理与命题列表；新想法（关键点）；标准方法为何失败；所依赖的外部结果（作者、年份、定理编号及所用精确陈述）；应移入附录的步骤；下一步（anmath-figures）。
限制：每个引用的外部定理必须已发表并精确引用，不得把关键步骤建立在未发表或不可验证的断言上；若无法避免，须隔离该依赖并明确标注。资料未提供具体收费、平台或安装命令等信息。