YZF Sudoku 技巧说明 / Techniques

阅读说明

本文借鉴 Kazusa 的 tutorial 分层方式：先讲直观技巧，再讲局部标记、全标技巧、链、构造、秩理论、飞鱼和致命结构。YZF 这里不复刻长篇教程，而是把这些思想压缩成“软件里看到一步时该怎么看”。

已按当前后端 wired 技巧整理：源码的参考技巧表共有 70 项，其中 AHS-XY-Wing、AHS-W-Wing、AHS Chain 在当前源码中明确为 reference placeholders，因此暂不写入“已实现技巧”正文。

参考阅读：Kazusa Sudoku tutorial 与 HoDoKu Solving Techniques。本页吸收“先定义术语、再讲推理、最后给检查点”的写法，但不复刻图例，也不改写为内部算法文档。

接近 HoDoKu 的阅读方式 / HoDoKu-style Reading

HoDoKu 的技巧页好用，是因为它不是只列技巧名，而是按“定义 → 例子 → 为什么能删 → 如何寻找”组织。YZF 当前页面采用同样的用户阅读节奏：每张技巧卡都先说明结构，再说明数学逻辑，最后列出看盘和核对要点。

1. 先认结构

看高亮格、候选数、行列宫、链节点或集合外框，确认它确实是标题所说的结构。

2. 再读证明

找到它属于唯一落点、集合容量、base-cover、强弱链、唯一性反证或 rank 逻辑中的哪一类。

3. 最后核对结论

确认每一个出数/删数都被结构覆盖；动态解释按钮会把当前 step result 的格位和结论填进同一套模板。

动态样例教程 / Dynamic Step Tutorial

主界面把解释按钮固定放在使用手册按钮旁边；用户点击“提示一步”或在“可选步骤/解题路径”中点击某个步骤后，会读取当前 step result 的 title、kind、description、cells、candidates、actions、eliminations、nodes、edges、groups、rank 等字段，自动套用技巧模板，生成“为什么这一步能出数/删数”的动态说明；没有当前有效步骤时按钮保持禁用，不撑开盘面。

静态技巧页负责解释通用数学逻辑；动态样例负责把当前这一步的格位、候选数、删数、链节点、覆盖数量等填进去。这样用户看到的不是抽象词条，而是当前盘面对应的证明说明。

高亮与结论怎么看

推荐阅读顺序：先看步骤标题和 =/<>/=> 结论，再看盘面上被重点标出的结构，最后检查被划掉的候选数。这样不容易被复杂链路绕晕。

出数：r3c5=7 表示第 3 行第 5 列确定为 7。

删数：r3c5<>7 表示第 3 行第 5 列的 7 可以删除。

实线：通常表示强关系，两端至少一端成立。

虚线：通常表示弱关系，两端不能同时成立。

椭圆/外框：通常表示 ALS、AHS、Almost Fish、Exocet 辅助区域等组合节点。

guardian / fin：它们是“破坏标准结构的例外点”，删数通常只发生在共同可见或共同受限的位置。

数学逻辑怎么读 / How to Read the Proof

本版说明把每个技巧都补成“为什么能出数/删数”。读法建议是：先确认结构满足约束，再看它使用的是哪类证明：唯一落点、集合容量、base-cover 覆盖、强弱链反证、唯一解反证，或 rank/guardian 分支覆盖。只要结构和前提成立，结论就不是经验判断，而是由数独规则推出的必然结果。

唯一落点：某格或某数字没有第二种合法选择。
集合容量：n 个格锁住 n 个数字，其他位置无法再使用这些数字。
覆盖关系：base 必须放的数字全部被 cover 接住，cover 的剩余位置被排除。
强弱链/分支：所有真假分支都推出同一结论，或假设目标成立会导致矛盾。
唯一解：若某结构成立会产生两个可互换完成盘，这与谜题唯一解前提矛盾；因此唯一解题必须排除它。

按 Kazusa 教程思路阅读 YZF 技巧

Kazusa tutorial 的讲法不是简单列技巧名，而是按“从可见约束到候选集合，再到链、构造、秩、飞鱼和致命结构”的顺序递进。YZF 的技巧说明也按这个顺序补充用户级读法：你不需要知道程序怎么搜，只需要知道这一步在盘面上应当检查什么。

直观技巧：Full House、Single、Locked Candidates。先看行列宫的直接限制：某格只剩一个数，或某数只剩一个位置。

候选集合：Naked/Hidden Subset、ALS/AHS、Sue de Coq。先数“格子数”和“候选数”，确认集合锁住了哪些数字。

鱼与复杂鱼：X-Wing、Swordfish、Jellyfish、Finned Fish 仍按单数字 base-cover 读；Complex/Multi-Fish 改按 Kazusa 秩理论的强区域/弱区域覆盖读。

链理论：X-Chain、XY-Chain、AIC、ALS Chain、Force Chain、Whip/Braid。沿强弱关系交替读，重点看两端或矛盾点。

构造视角：普通 Wing 要看核心结构与附加支撑；Blossom Loop/绽放环按带动态/强制分支的 Rank 0 环读；Broken Wing、Broken Loop、Pattern Having No Solution 按 Guardian / Broken Pattern 读，不找普通 Wing 的枢纽。UR、BUG、AR、UL、XR、GSP 即使出现 guardian/guard 字样，也仍按 Kazusa 的唯一性/致命结构体系解释。Fireworks 按 Kazusa 的烟花数组体系解释，不默认归入 Guardian。

秩、飞鱼、致命结构：MSLS、SK Loop、Multi-Fish、Exocet、Oddagon、UR/UL/AR。重点区分 rank 覆盖、base-target 配额、negative-rank 出口/guardian 和唯一解前提；Oddagon 属于负秩无解矛盾，UR/BUG 才属于唯一性第二解反证。

负秩提醒：Kazusa 将 Guardian、Bivalue Oddagon、Trivalue Oddagon、Broken Loop 放在 Rank Logic 的 Negative Ranks 一带理解；其中 Oddagon/Tridagon 最好单独按奇数/负秩无解结构解释，不要并入 UR/BUG 唯一性，也不要按普通 Wing/Loop 模板读。

基础技巧 / Basic Techniques

对应 Kazusa tutorial 的“直观技巧”。读法是先看行、列、宫的已有数字，再确认目标格或目标数字是否已经被唯一化。

Full House 满格唯一

Kind: FullHouseCategory: BasicDifficulty: 1已接入 / wired

基本含义: 某一行、列或宫已经填了 8 个数字，只剩一个空格。
成立逻辑: 把该区域缺失的数字数出来；因为区域必须包含 1 到 9 各一次，缺的那个数只能进最后空格。
数学逻辑: 这是最直接的“区域完备性”推理：每一行、列、宫都必须恰好包含 1–9 各一次。若一个区域只剩一个空格，且其他 8 个数字已经出现，那么缺失数字没有第二个容器，只能填入该空格；否则该区域永远无法补齐。
看盘步骤: ① 看高亮的行/列/宫；② 找最后空格；③ 数缺失数字；④ 填入结论。
高亮阅读: 先看高亮区域，再看唯一空格；这是出数步骤，通常结论写成某格等于某数。
核对要点: 数一遍该行/列/宫是否确实只缺一个数字；不要把候选删数步骤误读成 Full House。

Hidden Single 隐藏唯一

Kind: HiddenSingleCategory: BasicDifficulty: 1已接入 / wired

基本含义: 某个数字在一个行、列或宫里只有一个可放位置，即使该格还有别的候选，它也必须填这个数字。
成立逻辑: 从数字出发检查同一区域：其他格要么已有冲突，要么候选已被排除，唯一剩下的位置承担该数字。
数学逻辑: 这是“某数字在某区域内唯一落点”的推理。一个区域最终必须出现一次该数字；如果除目标格外的所有位置都因同行、同列、同宫冲突而不能放它，那么把它填到目标格不是猜测，而是该区域满足规则的唯一方式。
看盘步骤: ① 锁定数字；② 看行/列/宫；③ 排除其他位置；④ 确认唯一落点。
高亮阅读: 高亮重点通常是“某区域 + 某数字 + 唯一落点”，不是该格只剩一个候选。
核对要点: 确认同一区域内该数字没有第二个合法位置；如果还有第二处，就不是 Hidden Single。

Naked Single 显性唯一

Kind: NakedSingleCategory: BasicDifficulty: 1已接入 / wired

基本含义: 某个空格只剩一个候选数。
成立逻辑: 从格子出发：同行、同列、同宫已经排除了其他 8 个数字，所以剩余候选必真。
数学逻辑: 这是“单元格候选集合缩成单元素”的推理。一个空格最终必须填一个数字；若其他 8 个数字都已被同行、同列、同宫排除，剩下的候选若再不成立，该格就无数可填，盘面矛盾。
看盘步骤: ① 看目标格；② 数候选；③ 确认只剩一个；④ 填入该数。
高亮阅读: 高亮会集中在目标格的唯一候选；这是出数，不是删除该候选。
核对要点: 检查该格候选是否真的只剩一个；若还有两个以上候选，就不能按 Naked Single 填。

Locked Candidates 锁定候选

Kind: LockedCandidatesCategory: BasicDifficulty: 2已接入 / wired

基本含义: 某数字在宫与行/列的交叉处被锁住，因此交叉线或交叉宫外的同数字候选可以删除。
成立逻辑: 如果一个宫内的某数字只能落在同一行/列，那么该行/列其他宫不能再放此数；反向也成立。
数学逻辑: 这是交叉区域的覆盖推理。若数字 d 在某宫内所有可能位置都落在同一行/列，那么该宫必须在这条线中完成 d；于是这条线在宫外的位置不能再放 d。反向同理：若一条线上的 d 全落在同一宫，宫内其他位置就失去放 d 的机会。
看盘步骤: ① 锁定一个数字；② 找它集中在哪个交叉区域；③ 分清本体与外部；④ 删除外部同数字。
高亮阅读: 高亮应分成锁定区域和删数区域：同一个数字在两个区域之间形成“范围锁定”。
核对要点: 确认删数不是锁定本体的一部分；删数必须在同一行/列或同一宫的外侧受影响区域。

数组与候选集合 / Subsets

对应局部标记与全标数组。核心不是“形状像不像”，而是若干格子/若干数字是否在同一个区域内互相锁定。

GSP GSP

Kind: GSPCategory: SubsetsDifficulty: 2已接入 / wired

基本含义: GSP 使用唯一解前提或全局摆放对称性，排除某些看似可行但会构造第二解或等价变化的候选。
成立逻辑: 用户可以把它理解成一种“全局唯一性检查”：若某组候选按某种方式保留，会制造可替换的第二种完成方式；这与谜题唯一解前提矛盾。
数学逻辑: 这是基于唯一解的全局可替换性推理。若高亮结构允许一组候选互换而不影响其他格，则同一题会产生两个完成盘；这与谜题唯一解前提矛盾。因此在唯一解题中，破坏唯一性的候选组合必须被排除。
看盘步骤: ① 找高亮的成组位置；② 看它们是否形成可替换关系；③ 确认唯一解前提；④ 应用系统给出的删数。
高亮阅读: 高亮通常会标出一组互相呼应的位置；重点不是单个格子，而是整组位置的同步关系。
核对要点: 只在确认题目是唯一解时使用；若是多解/无解盘面，或 OCR 草稿尚未通过唯一性校验，GSP 类结论不应作为手工逻辑依据。

Naked Pair 显性数对

Kind: NakedPairCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内两个格子只含同一对候选。
成立逻辑: 这两个格子必须分别填这两个数字，因此该区域其他格不能再保留这两个候选。
数学逻辑: 这是鸽巢原理式的集合锁定：同一区域内 2 个格子的候选并集只有 2 个数字。由于这 2 个格子最终都要填数，且同一区域不能重复，这 2 个数字会被这些格子全部占用；区域内其他格若再保留这些数字，就会和这组格子的必需分配冲突。
看盘步骤: ① 找两个格；② 比较候选集合；③ 确认同一区域；④ 删除区域其他同候选。
高亮阅读: 高亮两个双值格和区域内被删的同候选。
核对要点: 两个格子必须在同一行、列或宫内，并且候选集合完全相同。

Naked Triple 显性三数组

Kind: NakedTripleCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内三个格子的候选总共只覆盖三个数字。
成立逻辑: 这三个数字会被这三个格子占完，所以区域其他格不能保留这些数字。
数学逻辑: 这是鸽巢原理式的集合锁定：同一区域内 3 个格子的候选并集只有 3 个数字。由于这 3 个格子最终都要填数，且同一区域不能重复，这 3 个数字会被这些格子全部占用；区域内其他格若再保留这些数字，就会和这组格子的必需分配冲突。
看盘步骤: ① 选三个格；② 合并候选；③ 确认只有三种数字；④ 删除区域外这些数字。
高亮阅读: 高亮三个格组成的集合；删数在集合外。
核对要点: 三个格不一定候选完全相同，但合并后的候选种类必须只有三个。

Hidden Pair 隐藏数对

Kind: HiddenPairCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内两个数字只出现在两个格子里。
成立逻辑: 这两个格子必须承担这两个数字，因此这两个格子里的其他候选可以删除。
数学逻辑: 这是显性数组的对偶推理：同一区域内 2 个数字只出现在 2 个格子里。该区域最终必须各出现一次这些数字，所以这 2 个格子必须承担它们；若这些格子还填了别的数字，就会导致目标数字没有足够位置落脚。
看盘步骤: ① 选两个数字；② 看它们只在哪两格出现；③ 锁定这两格；④ 删除两格内其他候选。
高亮阅读: 高亮重点是两个数字的唯一活动范围；删数发生在这两个格子内部。
核对要点: 不要按显性数对读：Hidden Pair 的目标是删掉目标格中的其他候选。

Hidden Triple 隐藏三数组

Kind: HiddenTripleCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内三个数字只出现在三个格子里。
成立逻辑: 这三个格子必须承担这三个数字，因此三个格子里的其他候选可以删除。
数学逻辑: 这是显性数组的对偶推理：同一区域内 3 个数字只出现在 3 个格子里。该区域最终必须各出现一次这些数字，所以这 3 个格子必须承担它们；若这些格子还填了别的数字，就会导致目标数字没有足够位置落脚。
看盘步骤: ① 选三个数字；② 找出现位置；③ 确认只有三格；④ 删除三格内其他候选。
高亮阅读: 高亮三个数字的覆盖格；删数在这些格子内部。
核对要点: 确认这三个数字没有出现在第 4 个格子；否则不构成隐藏三数组。

Naked Quad 显性四数组

Kind: NakedQuadCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内四个格子的候选总共只覆盖四个数字。
成立逻辑: 这四个数字会被四个格子占完，所以区域其他格不能保留这些数字。
数学逻辑: 这是鸽巢原理式的集合锁定：同一区域内 4 个格子的候选并集只有 4 个数字。由于这 4 个格子最终都要填数，且同一区域不能重复，这 4 个数字会被这些格子全部占用；区域内其他格若再保留这些数字，就会和这组格子的必需分配冲突。
看盘步骤: ① 选四格；② 合并候选；③ 确认四种数字；④ 删除区域外这些数字。
高亮阅读: 高亮四格集合；删数在同一区域的集合外。
核对要点: 确认格子数和候选种类数同为四，且全部在同一个行/列/宫。

Hidden Quad 隐藏四数组

Kind: HiddenQuadCategory: SubsetsDifficulty: 3已接入 / wired

基本含义: 同一区域内四个数字只出现在四个格子里。
成立逻辑: 这四个格子被四个数字占用，格内其他候选没有机会成立。
数学逻辑: 这是显性数组的对偶推理：同一区域内 4 个数字只出现在 4 个格子里。该区域最终必须各出现一次这些数字，所以这 4 个格子必须承担它们；若这些格子还填了别的数字，就会导致目标数字没有足够位置落脚。
看盘步骤: ① 选四个数字；② 看它们出现在哪些格；③ 确认只覆盖四格；④ 删除格内其他候选。
高亮阅读: 高亮四个数字及其所在格；结论通常是格内删数。
核对要点: 检查数字出现范围，而不是只看格子的候选数量。

鱼类技巧 / Fish

对应标准鱼、鳍鱼、退化鱼与复杂鱼。鱼类全程只讨论一个数字：base 区域提供必须出现的次数，cover 区域负责限制删数范围。

X-Wing 二阶鱼

Kind: XWingCategory: FishDifficulty: 4已接入 / wired

基本含义: 某数字在两个 base 行/列中的候选位置只落在同两个 cover 列/行。
成立逻辑: 两个 base 区域各需要一个该数字，而位置又全被两个 cover 区域接住，所以 cover 区域其他位置不能放该数字。
数学逻辑: 这是单数字的 base-cover 覆盖推理。选定 2 个 base 行/列后，每个 base 都必须放一次该数字；如果这些可能位置全部被 2 个 cover 列/行接住，那么这 2 个 cover 也会被这 2 个放置占满。因此 cover 中不属于鱼身的同数字候选没有机会成立，可以删除。
看盘步骤: ① 锁定一个数字；② 找 2 条 base；③ 确认只落在 2 条 cover；④ 删除 cover 外部同数字。
高亮阅读: 高亮通常是四角鱼身，删数在 cover 线的鱼身外。
核对要点: 全程只看一个数字；不要把不同数字混进鱼结构。

Swordfish 三阶鱼

Kind: SwordfishCategory: FishDifficulty: 4已接入 / wired

基本含义: 三阶鱼：某数字在三条 base 行/列中的候选只落在三条 cover 列/行。
成立逻辑: 三条 base 都必须放该数字，且只能分配到三条 cover 中，因此 cover 其他位置无机会。
数学逻辑: 这是单数字的 base-cover 覆盖推理。选定 3 个 base 行/列后，每个 base 都必须放一次该数字；如果这些可能位置全部被 3 个 cover 列/行接住，那么这 3 个 cover 也会被这 3 个放置占满。因此 cover 中不属于鱼身的同数字候选没有机会成立，可以删除。
看盘步骤: ① 锁定数字；② 找 3 条 base；③ 找 3 条 cover；④ 删除 cover 外部同数字。
高亮阅读: 高亮鱼身可能不是满 9 格；只要覆盖关系成立即可。
核对要点: 确认每条 base 至少有可用位置，且所有位置都被三条 cover 覆盖。

Jellyfish 四阶鱼

Kind: JellyfishCategory: FishDifficulty: 4已接入 / wired

基本含义: 四阶鱼：某数字在四条 base 行/列中的候选只落在四条 cover 列/行。
成立逻辑: 四条 base 需要四个该数字，而 cover 区域已经接住全部可能位置。
数学逻辑: 这是单数字的 base-cover 覆盖推理。选定 4 个 base 行/列后，每个 base 都必须放一次该数字；如果这些可能位置全部被 4 个 cover 列/行接住，那么这 4 个 cover 也会被这 4 个放置占满。因此 cover 中不属于鱼身的同数字候选没有机会成立，可以删除。
看盘步骤: ① 锁定数字；② 找 4 条 base；③ 确认候选只在 4 条 cover；④ 删除 cover 外部同数字。
高亮阅读: 高亮范围较大，读法仍与 X-Wing 相同：base 负责必须性，cover 负责删数。
核对要点: 不要被候选数量吓到；关键是是否只占用四条 cover。

Finned X-Wing 带鳍二阶鱼

Kind: FinnedXWingCategory: FishDifficulty: 4已接入 / wired

基本含义: 带鳍二阶鱼：标准二阶鱼旁边多出一个或多个 fin。
成立逻辑: 如果 fin 不成立，鱼成立；如果 fin 成立，能看见 fin 的目标候选也被排除。只有两种情况都能排除的位置才可删。
数学逻辑: 这是标准鱼加一个例外点 fin 的二分讨论。若 fin 不成立，剩余鱼身退化为 2 阶标准鱼，按 base-cover 逻辑删数；若 fin 成立，所有能直接看见 fin 的目标候选也不能成立。只有“鱼成立”和“fin 成立”两种情况下都会被排除的候选，才是安全删数。
看盘步骤: ① 找鱼身；② 找 fin；③ 看目标是否既受鱼约束又看见 fin；④ 只删共同区域。
高亮阅读: 高亮会区分鱼身和 fin；删数通常必须同时看见 fin，并位于 cover 影响范围内。
核对要点: 不能把普通 X-Wing 的所有 cover 外部候选都删掉；只删被 fin 共同约束的位置。

Finned Swordfish 带鳍三阶鱼

Kind: FinnedSwordfishCategory: FishDifficulty: 5已接入 / wired

基本含义: 带鳍三阶鱼：三阶鱼有额外 fin 破坏完整覆盖。
成立逻辑: fin 是例外点；不论 fin 真或鱼身成立，只有共同受限的目标候选可删。
数学逻辑: 这是标准鱼加一个例外点 fin 的二分讨论。若 fin 不成立，剩余鱼身退化为 3 阶标准鱼，按 base-cover 逻辑删数；若 fin 成立，所有能直接看见 fin 的目标候选也不能成立。只有“鱼成立”和“fin 成立”两种情况下都会被排除的候选，才是安全删数。
看盘步骤: ① 找三阶鱼骨架；② 标出 fin；③ 检查删数是否看见 fin；④ 应用共同删数。
高亮阅读: 高亮通常有 base、cover、fin 三类对象；先分清角色。
核对要点: 删数必须与 fin 有可见关系，不能按无鳍鱼扩大删数。

Finned Jellyfish 带鳍四阶鱼

Kind: FinnedJellyfishCategory: FishDifficulty: 5已接入 / wired

基本含义: 带鳍四阶鱼：四阶鱼骨架外存在 fin。
成立逻辑: 逻辑同带鳍鱼：fin 成立或鱼成立都会排除同一批候选。
数学逻辑: 这是标准鱼加一个例外点 fin 的二分讨论。若 fin 不成立，剩余鱼身退化为 4 阶标准鱼，按 base-cover 逻辑删数；若 fin 成立，所有能直接看见 fin 的目标候选也不能成立。只有“鱼成立”和“fin 成立”两种情况下都会被排除的候选，才是安全删数。
看盘步骤: ① 看四阶骨架；② 找 fin；③ 找 fin 与 cover 的交集影响；④ 删除交集内候选。
高亮阅读: 高亮范围可能很大，先看 fin 再看结论。
核对要点: 如果目标看不见 fin，通常不能被 finned fish 删除。

Complex Swordfish 复杂三阶鱼

Kind: ComplexSwordfishCategory: FishDifficulty: 7已接入 / wired

基本含义: 复杂三阶鱼允许 base/cover 使用行、列、宫等混合区域。
成立逻辑: 仍然只讨论一个数字；三组必须位置被三组覆盖区域接住，外部共同覆盖处产生删数。
数学逻辑: 这是把鱼推广为集合覆盖后的秩逻辑。base 集合要求放入若干个同数字实例，cover 集合负责接住这些实例；当 cover 的容量正好锁住 base 的全部可能位置时，cover 外或 cover 内多余位置会导致某个区域重复或某个 base 无法满足。复杂鱼的“复杂”不在结论，而在 base/cover 可由行、列、宫甚至组合区域共同构成。
看盘步骤: ① 锁定数字；② 分清 base 区域；③ 分清 cover 区域；④ 按覆盖关系删数。
高亮阅读: 高亮中的 base/cover 不一定是纯行列，可能含宫。
核对要点: 确认它还是同一个数字的覆盖问题，而不是链或数组。

Complex Jellyfish 复杂四阶鱼

Kind: ComplexJellyfishCategory: FishDifficulty: 7已接入 / wired

基本含义: 复杂四阶鱼是四阶规模的混合区域鱼。
成立逻辑: 四个 base 名额被四个 cover 区域控制，cover 多余位置可删；有 fin 时只删共同受限点。
数学逻辑: 这是把鱼推广为集合覆盖后的秩逻辑。base 集合要求放入若干个同数字实例，cover 集合负责接住这些实例；当 cover 的容量正好锁住 base 的全部可能位置时，cover 外或 cover 内多余位置会导致某个区域重复或某个 base 无法满足。复杂鱼的“复杂”不在结论，而在 base/cover 可由行、列、宫甚至组合区域共同构成。
看盘步骤: ① 锁定数字；② 数 base 与 cover；③ 看是否有 fin/自噬；④ 删除合法目标。
高亮阅读: 高亮可能跨行、列、宫；先按 base/cover 角色读。
核对要点: 不要只凭形状判断；复杂鱼的关键是覆盖计数。

Complex Squirmbag Fish 复杂五阶鱼

Kind: ComplexSquirmbagFishCategory: FishDifficulty: 7已接入 / wired

基本含义: 五阶复杂鱼，规模比 Jellyfish 更大，通常属于高级覆盖结构。
成立逻辑: 本质仍是一个数字在 base 与 cover 之间的名额分配；多余 cover 位置被排除。
数学逻辑: 这是把鱼推广为集合覆盖后的秩逻辑。base 集合要求放入若干个同数字实例，cover 集合负责接住这些实例；当 cover 的容量正好锁住 base 的全部可能位置时，cover 外或 cover 内多余位置会导致某个区域重复或某个 base 无法满足。复杂鱼的“复杂”不在结论，而在 base/cover 可由行、列、宫甚至组合区域共同构成。
看盘步骤: ① 锁定数字；② 数 base/cover；③ 区分本体、fin、删数；④ 只删结论列出的候选。
高亮阅读: 高亮较复杂，优先看结论位置是否在 cover 里且不属于必要结构。
核对要点: 手工核对时先确认同数字，再确认 base/cover 数量一致或秩条件允许。

Multi-Fish 多重鱼

Kind: MultifishCategory: Rank LogicDifficulty: 7已接入 / wired

基本含义: 多重鱼把多个鱼状覆盖组合起来看，可能同时涉及更复杂的覆盖关系。
成立逻辑: 用户可按秩理论读：若强区域提供的名额被弱区域覆盖，多余候选就没有空间成立。
数学逻辑: 这是把鱼推广为集合覆盖后的秩逻辑。base 集合要求放入若干个同数字实例，cover 集合负责接住这些实例；当 cover 的容量正好锁住 base 的全部可能位置时，cover 外或 cover 内多余位置会导致某个区域重复或某个 base 无法满足。复杂鱼的“复杂”不在结论，而在 base/cover 可由行、列、宫甚至组合区域共同构成。
看盘步骤: ① 看同数字覆盖；② 分清多组 base/cover；③ 找例外点；④ 核对删数只落在共同限制处。
高亮阅读: 高亮可能分层；不要把所有候选都看成普通鱼身。
核对要点: 检查删数是否在弱区域多余位置，且没有被标为 guardian/fin 的例外。

单数字结构 / Single Digit Patterns

对应同数链、BUG、烟花和单数字结构。阅读时先锁定一个数字，再看它在多个区域之间被迫如何摆放。

BUG+1 BUG+1

Kind: BUGOneCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: BUG+1 指全盘几乎全是双值格，只剩一个格子多一个候选。
成立逻辑: 若多出的候选也被去掉，盘面会接近双值循环并形成可互换的第二解；这与谜题唯一解前提矛盾，因此多出的候选通常被确认。
数学逻辑: BUG 的数学核心是双值图的奇偶平衡：若全盘所有未定格都是双值，且每个候选在每个区域中也恰好出现两次，就会形成一个可二染色的双解结构。这个第二解与谜题唯一解前提矛盾。BUG+1 只有一个额外候选能破坏这种双解；因此在唯一解前提下，该额外候选必须成立，或等价地删除同格其他候选。
看盘步骤: ① 看全盘双值状态；② 找唯一异常格；③ 找异常候选；④ 按结论出数或删数。
高亮阅读: 高亮重点是唯一的异常格和异常候选。
核对要点: 它依赖唯一解前提；先确认题目是唯一解，再确认除异常格外其他空格是否基本双值。

BUG + n BUG+n

Kind: BUGPlusNCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: BUG+n 是 BUG+1 的推广，盘面有多个额外候选或异常点。
成立逻辑: 这些额外候选必须破坏全双值致命形态；结论来自异常候选之间的共同约束。
数学逻辑: BUG+n 是 BUG+1 的推广。若去掉若干额外候选后会得到一个全双值、可互换的 BUG 双解结构，就会产生第二个完成盘，这与谜题唯一解前提矛盾。因此这些额外候选不可能全部为假；系统给出的删数来自“保持至少一个破坏点成立”之后对同格或同区域的排除。
看盘步骤: ① 看全盘双值骨架；② 找异常候选；③ 看异常之间关系；④ 应用共同结论。
高亮阅读: 高亮会标出多个异常点，不一定只有一个出数。
核对要点: 核对异常候选是否确实是防止 BUG 形态成立的必要点。

Skyscraper 摩天楼

Kind: SkyscraperCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: 同一个数字在两条平行行/列中各形成一个强对；一侧端点互相看见，另一侧两个端点就是“楼顶”。
成立逻辑: 摩天楼虽然可归入 Turbot Fish/特殊鱼形，但用户读法应优先按 X-Chain：两条强链之间用一个弱连接接起来，两个楼顶端点至少一真，因此能同时看见两个楼顶的同数字候选可删。
数学逻辑: 强链表示某行/列里该数字只有两个落点，所以两端至少一真。若第一个楼顶为假，则第一条强链迫使其底端为真；底端与另一底端互相看见，不能同真，所以另一底端为假；第二条强链再迫使第二个楼顶为真。反向同理，因此两个楼顶不可能同时为假。任何候选若同时看见两个楼顶，一旦它为真就会排除两个楼顶，违反“至少一真”，所以可删。
看盘步骤: ① 锁定一个数字；② 找两条平行行/列中的共轭对；③ 找互相看见的一侧端点；④ 把另一侧两个端点当作链端点；⑤ 删除同时看见两个链端点的同数字候选。
高亮阅读: 高亮通常像两座塔：底部是弱连接，顶部是两个至少一真的端点。不要按普通 X-Wing 的 base-cover 口径硬读。
核对要点: 确认两个强对各自确实只有两个该数字候选；确认底部端点互相看见；确认删数同时看见两个楼顶端点。

2-String Kite 双线风筝

Kind: TwoStringKiteCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: 同一个数字在一行和一列各形成一个强对，其中行强对的一端与列强对的一端落在同一宫内，形成风筝的连接点。
成立逻辑: 双线风筝也应优先按双强链理解：一条行强链、一条列强链，中间通过宫内弱连接相接，两个远端至少一真；因此同时看见两个远端的同数字候选可删。
数学逻辑: 若行强链的远端为假，则该行里另一个端点必须为真；这个端点与列强链在同宫的连接端互相看见，所以列连接端不能为真；列连接端为假后，列强链的远端必须为真。反向也成立，所以两个远端至少有一个为真。目标候选若同时看见这两个远端，它为真会同时排除两个远端，造成两条强链都无法满足，故可删。
看盘步骤: ① 锁定一个数字；② 找一条行共轭对；③ 找一条列共轭对；④ 确认一端在同一宫内互相看见；⑤ 删除同时看见两个远端的候选。
高亮阅读: 高亮像风筝：一条横向强链、一条纵向强链，宫内连接端是弱连接，两个远端是至少一真的端点。
核对要点: 确认行强对、列强对、宫内弱连接都针对同一个数字；删数必须同时看见两个远端，而不是只看见连接端。

Empty Rectangle 空矩形

Kind: EmptyRectangleCategory: Single DigitDifficulty: 6已接入 / wired

基本含义: 某个宫内的候选形成“空矩形”结构，并与外部强对配合。
成立逻辑: 宫内布局迫使该数字若不在一侧，就会通过外部强对落到另一端，从而排除目标。
数学逻辑: 这是一个短链式的强弱关系推理。两端候选由共轭对、空矩形或 ERI 结构连接：若一端为假，沿强弱关系会推出另一端为真；若一端为真则另一端是否真不重要。于是两端至少有一个为真，任何同时看见两端的同数字候选都不能成立。
看盘步骤: ① 锁定数字；② 看宫内空矩形；③ 找外部强对；④ 删除共同冲突点。
高亮阅读: 高亮会标出宫内空矩形、外部强链和删数点。
核对要点: 目标必须同时受宫内推理和外部强对约束。

ERI Pair ERI 对

Kind: ERIPairCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: ERI Pair 是两个 ERI 结构的配合，常用于同一个数字的远程删数。
成立逻辑: 每个 ERI 把宫内候选压缩成一个可推理入口；两个入口共同限制目标候选。
数学逻辑: 这是一个短链式的强弱关系推理。两端候选由共轭对、空矩形或 ERI 结构连接：若一端为假，沿强弱关系会推出另一端为真；若一端为真则另一端是否真不重要。于是两端至少有一个为真，任何同时看见两端的同数字候选都不能成立。
看盘步骤: ① 锁定数字；② 找两个 ERI；③ 看它们如何连接；④ 删除共同受限候选。
高亮阅读: 高亮通常有两个宫内结构和外部连接。
核对要点: 先确认两个 ERI 是否针对同一个数字，再看删数是否同时被两侧约束。

Fireworks 烟花

Kind: FireworksCategory: Single DigitDifficulty: 5已接入 / wired

基本含义: 烟花把一个宫角或交叉区域内的多个候选看成会向行列“发射”的集合。
成立逻辑: 若某些候选不能留在核心位置，就会被迫出现在对应行/列；这种同步限制可以产生删数。
数学逻辑: 按 Kazusa 的烟花数组口径，Fireworks 讨论的是一个宫角或交叉区域内候选向相关行列的承接关系：核心候选不能随意全部离开，否则对应数字在行、列或宫中的放置机会会被迫集中到有限出口。删数来自这些出口/承接关系的容量限制，而不是普通 Broken Wing 的 guardian 全假逻辑。只有后端输出明确说明为 guardian/broken-pattern 时，才按守护者证明补充阅读。
看盘步骤: ① 找烟花核心；② 看涉及数字集合；③ 分清 base/目标格；④ 删除被同步限制的候选。
高亮阅读: 高亮通常标出 fireworks 核心、base cell 和受影响的行列。
核对要点: 不要只看单个数字；烟花常同时讨论一组候选在交叉区域的去向。

翅膀类技巧 / Wings

对应 Wing、链理论与构造章节。这里要分清三类：XY/XYZ 是经典 pivot 分支；W/M/S/L/M3/Grouped M3 这类 FindAIC 输出更应按 AIC 多强链理解；WXYZ/VWXYZ 更接近 ALS-XZ 或 Bent Almost Set。不要把所有 Wing 都套成“枢纽 + 双翼”。

W-Wing W-Wing

Kind: WWingCategory: WingsDifficulty: 5已接入 / wired

基本含义: 两个含有同一候选的双值格，通过该候选在某区域中的强关系连接；用户读法更接近短 AIC。
成立逻辑: 两个端点不可能同时避开目标数字；因此能同时看见两个端点的该数字候选可删。
数学逻辑: Kazusa 的 W-Wing 讲法是从某个区域里目标数字的全部落点分支出发：每个落点都会推出一个同数字端点，因此这些端点至少一个为真；能同时看见所有端点的同数字候选可删。普通 W-Wing 是两个分支，多分支 W-Wing 可以是三个或更多分支。YZF 里若步骤来自 FindAIC，则还应按 AIC 压缩链核对每个强弱关系。
看盘步骤: ① 找两个双值格；② 找共同候选；③ 找连接强对；④ 删除两端共同看见的候选。
高亮阅读: 高亮两个双值格和中间强关系，删数看共同可见。
核对要点: 确认连接候选在某行/列/宫中形成强对，否则 W-Wing 不成立。

XY-Wing XY 翅膀

Kind: XYWingCategory: WingsDifficulty: 5已接入 / wired

基本含义: 一个双值枢纽格连接两个翼格，三个格子合起来包含 X、Y、Z 三个候选。
成立逻辑: 枢纽无论取哪一个值，都会迫使某个翼格取 Z；所以同时看见两个翼格的 Z 可删。
数学逻辑: XY-Wing 是三格两两共享候选的二分讨论。枢纽格只有 x/y 两种选择：若取 x，会迫使一个翅膀取 z；若取 y，会迫使另一个翅膀取 z。两种分支都让某个翅膀含 z，因此同时看见两个 z 翅膀的候选 z 必假。
看盘步骤: ① 找 pivot；② 找两个 wing；③ 确认共同数字 Z；④ 删除共同可见的 Z。
高亮阅读: 高亮 pivot 和两个 wing；删数是两个 wing 共同可见的 Z。
核对要点: 确认 pivot 能看见两个 wing，且两个 wing 不能互相随意替换角色。

XYZ-Wing XYZ 翅膀

Kind: XYZWingCategory: WingsDifficulty: 5已接入 / wired

基本含义: XYZ-Wing 类似 XY-Wing，但枢纽格通常含有三个候选 X/Y/Z。
成立逻辑: 若目标 Z 放在能看见所有关键格的位置，会与枢纽和翼格的必然选择冲突。
数学逻辑: XYZ-Wing 比 XY-Wing 多保留枢纽中的 z。若枢纽为 z，目标 z 被同格/同区域排除；若枢纽不是 z，则它在 x/y 两分支中迫使某个翅膀为 z。目标候选若同时受枢纽和两个翅膀限制，就在所有分支中都不能成立。
看盘步骤: ① 找三值 pivot；② 找两个相关 wing；③ 确认共同候选；④ 删除能看见关键点的目标。
高亮阅读: 高亮 pivot、两个 wing 和共同候选 Z。
核对要点: 删数通常必须看见 pivot 和相关 wing，比 XY-Wing 的共同可见条件更严格。

XYZ-Ring XYZ 环

Kind: XYZRingCategory: WingsDifficulty: 5已接入 / wired

基本含义: XYZ-Ring 是 Wing 形成闭环后的形态。
成立逻辑: 闭环会让某些候选在环上被强制分配，环外共同冲突候选可删，部分情形也能强化为出数。
数学逻辑: XYZ-Ring 把 XYZ-Wing 的分支闭合成环。环上候选的真假会被连续约束；若目标候选成立，会迫使环上出现重复、断链或某格无候选，因此目标候选与环的必然分配不相容。
看盘步骤: ① 找 pivot/wing；② 顺环读连接；③ 看闭环共同候选；④ 应用环外删数或出数。
高亮阅读: 高亮应能沿环读回起点。
核对要点: 确认这是闭环而不是普通三格 Wing；结论不要扩大到环外无关位置。

WXYZ-Wing WXYZ 翅膀

Kind: WXYZWingCategory: WingsDifficulty: 6已接入 / wired

基本含义: WXYZ-Wing 在 Kazusa 的 regular wing 体系里可按核心格多分支覆盖读；在 YZF 的高级说明里也可看成四候选的 ALS-XZ / Bent Almost Set 特例。
成立逻辑: 核心集合的格数与候选数只差 1，受限公共候选把分支锁住；目标候选若成立，会破坏所有合法分配。
数学逻辑: 把核心区域看成一个 almost locked set：若某个受限候选被排除或被某侧占用，剩余候选会被迫成为锁定分配。目标候选若同时看见所有可能承担目标数字的位置，或会让每个分支都无法完成这个锁定分配，就不能成立。因此 WXYZ-Wing 的删数本质来自 ALS-XZ/Bent Set 的容量与受限公共候选逻辑。
看盘步骤: ① 看核心集合；② 确认候选数比格数多 1；③ 找受限公共候选或弯曲集合的共同目标；④ 删除被所有合法分支排除的候选。
高亮阅读: 高亮可能包含 4 个以上格；先看集合边界与候选容量，再看目标候选，不要按普通双翼寻找 pivot。
核对要点: 检查目标是否被所有必要端点共同限制；如果只看见部分端点，删数不成立。

Broken Wing 破损翅膀

Kind: BrokenWingCategory: GuardianDifficulty: 5已接入 / wired

基本含义: Broken Wing 在 Kazusa 体系里应归到 Guardian Logic。它不是普通 XY/XYZ-Wing 的“枢纽 + 翼格”结构，只是历史名称里带 Wing。
成立逻辑: 先找 guardian / 守护者候选。若所有守护者都为假，剩余结构会变成全强链死环、无解图形、零秩容量冲突或某个致命结构主体；因此至少一个守护者必须为真。
数学逻辑: 这是反证式守护者证明：假设所有 guardian 都不成立，则坏结构被激活，盘面不可能完成。真实解必须避开这个坏结构，所以 guardian 集合中至少一个为真。任何同时看见全部 guardian 的同数字候选如果成立，就会排除所有 guardian，与“至少一个 guardian 为真”矛盾，因此可删。若只有一个 guardian，则它可直接出数。这个证明不需要寻找枢纽格。
看盘步骤: ① 找 guardian 候选；② 看 guardian 全假时剩下的坏结构；③ 判断结论候选是否会同时排除所有 guardian；④ 只删除被 guardian 集合共同排除的目标。
高亮阅读: 守护者通常是阻止坏结构成立的出口；高亮中的坏结构主体和 guardian 要分开看。不要把 Broken Wing 当作普通双翼图形。
核对要点: 重点核对“guardian 全假 ⇒ 坏结构成立”这一步，以及删数是否同时看见所有 guardian。UR、BUG、AR、UL、XR、GSP 不从唯一性体系挪走；若名称里出现 UR Guardian，应解释为“唯一性结构的破坏点/保护候选”，必须明确唯一解前提。只有 Broken Wing、Broken Loop、Pattern Having No Solution 这类才按普通 Guardian / Broken Pattern 读。

唯一性技巧 / Uniqueness

对应唯一性与致命结构理论。它们使用“合格题唯一解”作为前提，采用反证法阻止一个可互换、可反转的第二解形态成立。这里的“第二解”不是允许多解，而是说明该假设与唯一解前提矛盾。

Avoidable Rectangle 可避免矩形

Kind: AvoidableRectangleCategory: UniquenessDifficulty: 5已接入 / wired

基本含义: 可避免矩形通常出现在含有已填数或候选的矩形结构中，利用唯一解避免可交换形态。
成立逻辑: 如果某候选成立会导致两个解可互换，这与谜题唯一解前提矛盾；所以在唯一解题中它不能成立。
数学逻辑: 这是唯一解反证。若删数候选被保留或某些额外候选全被去掉，结构会退化成只含两个数字的可交换闭环；这会产生两个只在该结构内互换、其他格完全相同的完成盘。这与谜题唯一解前提矛盾，所以在唯一解题中必须保留破坏点，或删除会导致致命形态的候选。
看盘步骤: ① 找矩形四角；② 看候选对；③ 判断危险互换；④ 删除造成危险的候选。
高亮阅读: 高亮矩形四角和导致危险形态的候选。
核对要点: 只适用于唯一解题；先确认题目唯一，再确认矩形不是跨四宫导致推理失效的形态。

Unique Rectangle 唯一矩形

Kind: UniqueRectangleCategory: UniquenessDifficulty: 5已接入 / wired

基本含义: 唯一矩形使用四个分布在两行两列两个宫内的格子，避免两个数字形成可互换的第二解，并以此作为唯一解反证。
成立逻辑: 若额外候选被去掉后四格只剩同一对数字，就会出现两种互换完成方式；这与谜题唯一解前提矛盾，因此唯一解题不允许这种状态。
数学逻辑: 这是唯一解反证。若删数候选被保留或某些额外候选全被去掉，结构会退化成只含两个数字的可交换闭环；这会产生两个只在该结构内互换、其他格完全相同的完成盘。这与谜题唯一解前提矛盾，所以在唯一解题中必须保留破坏点，或删除会导致致命形态的候选。
看盘步骤: ① 找四角；② 确认两数字候选对；③ 找额外候选或目标；④ 删除会造成致命矩形的候选。
高亮阅读: 高亮四角、候选对和额外候选/删数。
核对要点: 确认四格必须在两行两列且只占两个宫；跨四宫或梯形不能直接套用。

UL 唯一环

Kind: UniqueLoopCategory: UniquenessDifficulty: 5已接入 / wired

基本含义: 唯一环是唯一矩形的环状推广，由一串双值格构成可交替互换的危险闭环。
成立逻辑: 若环上只剩两个数字交替排列，会产生另一种等价解；这与谜题唯一解前提矛盾，因此额外候选必须破坏该环。
数学逻辑: 这是唯一解反证。若删数候选被保留或某些额外候选全被去掉，结构会退化成只含两个数字的可交换闭环；这会产生两个只在该结构内互换、其他格完全相同的完成盘。这与谜题唯一解前提矛盾，所以在唯一解题中必须保留破坏点，或删除会导致致命形态的候选。
看盘步骤: ① 沿环找双值候选；② 确认可交替；③ 找异常候选；④ 按结论删数。
高亮阅读: 高亮沿环连接多个格，删数多在异常点或环内候选。
核对要点: 确认题目唯一；再确认环是偶数长度、交替可闭合，并且本结论确实依赖唯一解前提。

Extended Rectangle 扩展矩形

Kind: ExtendedRectangleCategory: UniquenessDifficulty: 5已接入 / wired

基本含义: 扩展矩形是唯一矩形的规格推广，危险结构不一定只有标准四格。
成立逻辑: 核心仍是避免一个可反转/可交换的候选形态构造第二解，从而与谜题唯一解前提矛盾。
数学逻辑: 这是唯一解反证。若删数候选被保留或某些额外候选全被去掉，结构会退化成只含两个数字的可交换闭环；这会产生两个只在该结构内互换、其他格完全相同的完成盘。这与谜题唯一解前提矛盾，所以在唯一解题中必须保留破坏点，或删除会导致致命形态的候选。
看盘步骤: ① 找扩展结构；② 看候选对/交换关系；③ 找破坏点；④ 删除危险候选。
高亮阅读: 高亮会比普通 UR 更大；先看候选对和互换路径。
核对要点: 不要只凭“像矩形”判断；必须能解释为什么会产生第二解，以及为什么这与唯一解前提矛盾。

Negative Rank: Oddagon / 负秩奇环结构

对应 Kazusa Rank Logic 里的 Negative Ranks。读法是先看奇数/负秩结构为什么本身无法满足，再看 guardian 或额外候选如何作为“出口”阻止坏结构完整成立。它靠无解/容量矛盾证明，不靠 UR/BUG 那种唯一解第二解反证。

Bivalue Oddagon 双值奇环

Kind: BivalueOddagonCategory: Negative Rank / OddagonDifficulty: 5已接入 / wired

基本含义: 双值奇环由一圈双值关系构成，若没有破坏点会造成奇数环/负秩无解矛盾；它不是唯一性技巧，不以“产生第二解”为主要证明。
成立逻辑: 奇环无法用两个值稳定交替闭合，因此必须存在某个 guardian/额外候选作为出口来打破它；若某候选会封死这些出口或强迫坏结构成立，它可删。
数学逻辑: Bivalue Oddagon 在 Kazusa 体系里属于 Rank Logic / Negative Rank。它是奇环不可二染色或负秩容量矛盾：奇数个双值格只围绕两个数字交替约束时，沿环传播真假会在回到起点时要求同一候选既真又假，或要求相邻位置同时取同一侧状态，因此完整坏结构无解。guardian/额外候选只是阻止坏结构成立的出口；若某候选会消灭所有出口或把盘面推入这个无解结构，它就可删。
看盘步骤: ① 沿环读双值关系；② 确认奇环；③ 找 guardian；④ 删除被所有必要条件排除的候选。
高亮阅读: 高亮环本体和 guardian；删数通常来自所有 guardian 的共同影响。
核对要点: 确认环长度和双值关系；不要把 guardian 当成普通环节点，也不要把它当成 UR/BUG 的唯一解第二解反证。

Triplet Oddagon 三数字奇环

Kind: TripletOddagonCategory: Negative Rank / OddagonDifficulty: 8已接入 / wired

基本含义: 三数字奇环把双值奇环推广到三个数字或三值结构，仍属于负秩/无解矛盾口径。
成立逻辑: 若三数字结构按危险方式闭合，会造成某个数字缺位、重复占位或局部容量无法满足；guardian 或异常候选承担的是“出口/破坏点”作用。
数学逻辑: Triplet/Trivalue Oddagon 是双值奇环的三数字推广，Kazusa 体系下仍归入 Rank Logic / Negative Rank。若高亮结构被限制成三数字的固定循环，沿奇数结构分配会在某处造成重复、缺位或容量不足；系统删数的含义是：该候选若成立，就会封死所有出口，或把结构推入这种不可完成的负秩状态。
看盘步骤: ① 看三数字集合；② 沿奇环读结构；③ 找 guardian/异常点；④ 应用共同结论。
高亮阅读: 高亮可能有三种候选和多个 guardian；先分清环数字集合。
核对要点: 核对结论是否来自全部 guardian/出口或必要分支，而不是只看其中一条线；同时确认它不是唯一性第二解证明。

ALS 技巧 / Almost Locked Sets

对应待定数组与 ALS 链。先把每个椭圆/外框当成一个集合节点，再看集合之间通过哪些受限候选连接。

Almost Pair 准数对

Kind: AlmostPairCategory: ALSDifficulty: 4已接入 / wired

基本含义: 准数对是 1 个格子多出 1 个候选的 ALS 最小形态，也可理解为“差一点成为锁定集合”。
成立逻辑: 若某个候选被外部条件排除，剩余候选会被迫在集合内锁定。
数学逻辑: Almost Pair 是“差一个条件就成为数对”的反证。若额外候选被排除或目标候选成立导致该集合退化为标准 Naked Pair，那么数对会锁住两个数字；与这个锁定冲突的候选必须删除。
看盘步骤: ① 看圈住的集合；② 数格子；③ 数候选种类；④ 看外部删数如何受集合限制。
高亮阅读: 高亮通常用外框/椭圆圈住集合。
核对要点: 检查集合内候选种类数是否比格子数多 1。

Almost Triple 准三数组

Kind: AlmostTripleCategory: ALSDifficulty: 4已接入 / wired

基本含义: 准三数组是格子数与候选数相差 1 的待定数组。
成立逻辑: 一旦某个受限候选被确定或排除，集合会退化为普通数组并产生删数。
数学逻辑: Almost Triple 同理：三个格的候选差一点被三个数字完全锁住。任何会迫使它成为标准三数组的分支，都会让集合外同数字候选失去机会；若所有可能分支都排除同一候选，该候选可删。
看盘步骤: ① 圈定 ALS；② 数格子/候选；③ 找受限公共候选；④ 应用外部删数。
高亮阅读: 高亮重点是整个 ALS，而不是每个候选单独成链。
核对要点: 确认所有格子在同一区域或同一 ALS 允许范围内。

Sue de Coq Sue de Coq

Kind: SueDeCoqCategory: ALSDifficulty: 5已接入 / wired

基本含义: Sue de Coq 是交叉区域中的候选集合锁定，常同时涉及一个宫和一条行/列。
成立逻辑: 交叉区候选会在宫侧与线侧分配，导致外部同候选没有空间保留。
数学逻辑: Sue de Coq 是交叉区域里的候选容量分配。交叉格、行/列余部、宫余部共同承担一组数字；若某个外部候选成立，就会让某一侧需要的数字数量超过可用格数，或让另一侧缺少必需数字，因此被删。
看盘步骤: ① 找交叉区域；② 看候选如何分组；③ 区分宫侧/线侧；④ 删除外部受限候选。
高亮阅读: 高亮会区分交叉区、宫侧和行/列侧。
核对要点: 确认删数落在相应宫或行/列的外部受限位置。

ALS-XZ ALS-XZ

Kind: ALSXZCategory: ALSDifficulty: 6已接入 / wired

基本含义: 两个 ALS 共享一个受限候选 X，并在另一个候选 Z 上共同限制目标。
成立逻辑: 若一个 ALS 不取 X，另一个就被迫取 X；由此 Z 在两侧至少一处成立，能同时看见两侧 Z 的目标可删。
数学逻辑: ALS 有 n 个格、n+1 个候选，必定“多一个候选”。两个 ALS 通过 restricted common 连接时，该公共候选不能在两个 ALS 中同时缺席，否则两边都会被迫各自占满而冲突；对于另一个共同候选 Z，凡是同时看见两个 ALS 内所有 Z 的位置，都不可能取 Z。
看盘步骤: ① 找两个 ALS；② 找 RCC/X；③ 找共同删数 Z；④ 删除同时看见两侧 Z 的目标。
高亮阅读: 高亮通常有两个 ALS、受限公共候选 X 和删数候选 Z。
核对要点: 确认 X 是受限公共候选：两侧 X 不能同时成立。

ALS-XY-Wing ALS-XY 翅膀

Kind: ALSXYWingCategory: ALSDifficulty: 6已接入 / wired

基本含义: ALS-XY-Wing 用三个 ALS 模拟 XY-Wing 的枢纽和两翼。
成立逻辑: 公共受限候选在 ALS 之间传递，使两个端点候选至少一真，从而删除共同可见目标。
数学逻辑: ALS-XY-Wing 是三个 ALS 的分支闭合。中间 restricted common 迫使左右 ALS 至少有一边提供目标候选 Z；因此任何同时看见两侧 Z 位置的候选 Z，没有一个分支能让它成立。
看盘步骤: ① 找三个 ALS；② 确认两条 RCC；③ 找端点共同候选；④ 删除共同可见目标。
高亮阅读: 高亮三个 ALS，读法类似 Wing，但节点是集合。
核对要点: 不要把 ALS 内所有候选都当成删数目标；只看链端共同候选。

ALS-W-Wing ALS-W 翅膀

Kind: ALSWWingCategory: ALSDifficulty: 6已接入 / wired

基本含义: ALS-W-Wing 用两个 ALS 和一个外部强关系连接。
成立逻辑: 外部强关系保证两侧 ALS 中某个候选至少一边发挥作用，从而排除共同目标。
数学逻辑: ALS-W-Wing 把 W-Wing 的双值格替换成 ALS。强链保证两侧 ALS 不可能同时失去关键公共候选；于是目标候选在两侧至少一侧会被占用，同时看见这些占用位置的目标候选可删。
看盘步骤: ① 找两个 ALS；② 找连接候选强对；③ 找共同目标候选；④ 删除共同可见目标。
高亮阅读: 高亮两个 ALS 与连接强对；删数看两端共同限制。
核对要点: 确认连接不是普通弱关系，而是足以支撑 W-Wing 的强关系。

ALS Chain ALS 链

Kind: ALSChainCategory: ALSDifficulty: 5已接入 / wired

基本含义: ALS Chain 是把多个 ALS 当作链节点，通过受限公共候选串联。
成立逻辑: 链端候选至少一端成立，或中间假设会传到端点产生矛盾，因此端点共同影响处可删。
数学逻辑: ALS Chain 是 ALS 之间 restricted common 的连续传递。若链头某候选为假，受限公共候选会逐段迫使下一段成立/失效，最终得到链尾候选为真；所以链头和链尾形成“至少一真”的关系，共同可见的同候选可删。
看盘步骤: ① 按顺序读 ALS；② 找每条 RCC；③ 看链端候选；④ 删除链端共同影响的目标。
高亮阅读: 高亮会有多个椭圆/外框；按顺序读 RCC，而不是逐格乱看。
核对要点: 核对相邻 ALS 的连接候选是否受限；链端结论是否只作用于共同可见位置。

Death Blossom 死亡花

Kind: DeathBlossomCategory: ALSDifficulty: 6已接入 / wired

基本含义: 死亡花由一个 stem 候选分叉到多个 ALS 花瓣。
成立逻辑: stem 的不同取值会迫使各花瓣承担候选，所有分支都排除同一目标时，该目标可删。
数学逻辑: Death Blossom 是多分支 ALS 反证。中心格若取任一候选，都会激活对应 ALS，并迫使同一个目标候选被某个 ALS 占用；因为中心格必取其中一个候选，所以目标候选在所有分支下都不能成立。
看盘步骤: ① 找 stem；② 看每个花瓣 ALS；③ 检查共同目标；④ 删除所有分支都排除的候选。
高亮阅读: 高亮通常有中心 stem 和多个 ALS 花瓣。
核对要点: 确认每个花瓣都能对同一删数候选给出约束。

AHS 技巧 / Almost Hidden Sets

对应隐性待定数组。AHS 更像从“数字被困在哪些格子”出发的 ALS；用户读法是先看数字集合，再看外部删数。

AHS-XZ AHS-XZ

Kind: AHSXZCategory: AHSDifficulty: 6已接入 / wired

基本含义: AHS-XZ 是隐藏待定集合版本的 XZ 逻辑。
成立逻辑: 若若干数字几乎只被困在一组格子里，公共受限数字会让端点候选至少一边成立。
数学逻辑: AHS 是 ALS 的对偶：n 个数字只分布在 n+1 个格中，必有一个格不承载这组数字。AHS-XZ 通过受限公共格/候选把两个 AHS 连接起来，使某些候选或格位不可能同时缺席；目标删数来自两个 AHS 都会排除它的共同结果。
看盘步骤: ① 选数字集合；② 看它们可落格；③ 找受限公共候选；④ 删除共同目标。
高亮阅读: 高亮重点是数字集合及其可落格，而不是显性候选集合。
核对要点: 确认这是“数字被困住”，不是“格子候选少”的 ALS 读法。

链与强制链 / Chains and Forcing

对应链理论、强制链和动态链。链不是让你猜答案，而是在比较两个端点或多条分支的必然后果。

X-Chain X 链

Kind: XChainCategory: ChainsDifficulty: 4已接入 / wired

基本含义: X-Chain 是只含一个数字的强弱交替链。
成立逻辑: 链头若假会一路推出链尾真，因此链头和链尾至少一个为真；共同可见的同数字候选可删。
数学逻辑: 链的数学逻辑是强弱关系交替。强关系表示“两端至少一真”，弱关系表示“两端至多一真”；从链头假设为假开始，真假会沿链传播到链尾为真。于是链头与链尾至少一真，凡是同时与两端冲突的候选都不能成立；若首尾是同一目标，还可能直接出数或删数。
看盘步骤: ① 锁定数字；② 从一端沿强弱交替读；③ 找另一端；④ 删除两端共同可见候选。
高亮阅读: 实线/虚线交替读；所有节点都是同一个数字。
核对要点: 确认链两端是同数字，并且删数能同时看见两端。

XY-Chain XY 链

Kind: XYChainCategory: ChainsDifficulty: 4已接入 / wired

基本含义: XY-Chain 使用一串双值格在不同数字之间传递。
成立逻辑: 每个双值格内部提供异数强关系，外部同数字可见提供弱关系；链端同数字至少一真。
数学逻辑: 链的数学逻辑是强弱关系交替。强关系表示“两端至少一真”，弱关系表示“两端至多一真”；从链头假设为假开始，真假会沿链传播到链尾为真。于是链头与链尾至少一真，凡是同时与两端冲突的候选都不能成立；若首尾是同一目标，还可能直接出数或删数。
看盘步骤: ① 找起点候选；② 沿双值格传递；③ 找同数字终点；④ 删除共同可见目标。
高亮阅读: 高亮多为双值格链，端点共同候选是删数目标。
核对要点: 确认中间格多为双值格；端点数字通常相同。

AIC 交替推理链

Kind: AICCategory: ChainsDifficulty: 4已接入 / wired

基本含义: AIC 是强弱关系交替的通用链，可含同数、异数、区块或集合节点。
成立逻辑: 强关系表示“前假则后真”，弱关系表示“两者不能同真”；交替后得到端点至少一真或矛盾结论。
数学逻辑: 链的数学逻辑是强弱关系交替。强关系表示“两端至少一真”，弱关系表示“两端至多一真”；从链头假设为假开始，真假会沿链传播到链尾为真。于是链头与链尾至少一真，凡是同时与两端冲突的候选都不能成立；若首尾是同一目标，还可能直接出数或删数。
看盘步骤: ① 找链头；② 按强弱交替读；③ 看链尾；④ 用端点共同影响或不连续点得结论。
高亮阅读: 按线型读：实线强、虚线弱；结论在箭头或 => 后。
核对要点: 检查强弱是否交替，链端是否支持给出的删数/出数。

Grouped AIC 分组 AIC

Kind: GroupedAICCategory: ChainsDifficulty: 4已接入 / wired

基本含义: Grouped AIC 把一组同候选格当成一个节点。
成立逻辑: 组节点代表“这组里至少有一个成立”或“这组不能与另一节点同真”，从而延续 AIC。
数学逻辑: 链的数学逻辑是强弱关系交替。强关系表示“两端至少一真”，弱关系表示“两端至多一真”；从链头假设为假开始，真假会沿链传播到链尾为真。于是链头与链尾至少一真，凡是同时与两端冲突的候选都不能成立；若首尾是同一目标，还可能直接出数或删数。
看盘步骤: ① 找组节点；② 当成整体读链；③ 看相邻强弱关系；④ 应用端点结论。
高亮阅读: 高亮可能是一片候选而不是单格；把它当成一个节点读。
核对要点: 确认组内候选属于同一数字和同一区域限制。

Complex AIC 复杂 AIC

Kind: ComplexAICCategory: ChainsDifficulty: 6已接入 / wired

基本含义: Complex AIC 允许 ALS、AHS、Almost Fish、Fireworks 等复杂节点进入链。
成立逻辑: 复杂节点内部提供一个可靠的强/弱关系，外部仍按 AIC 交替规则读。
数学逻辑: 链的数学逻辑是强弱关系交替。强关系表示“两端至少一真”，弱关系表示“两端至多一真”；从链头假设为假开始，真假会沿链传播到链尾为真。于是链头与链尾至少一真，凡是同时与两端冲突的候选都不能成立；若首尾是同一目标，还可能直接出数或删数。
看盘步骤: ① 找复杂节点；② 看节点间强弱；③ 沿链读到端点；④ 应用共同结论。
高亮阅读: 高亮会同时出现线和椭圆/外框；先把复杂结构压缩成节点。
核对要点: 不要要求每个节点都是单候选；重点是节点之间关系是否清楚。

Cell/Region Force Chain 格/区域强制链

Kind: CellRegionFCCategory: ChainsDifficulty: 7已接入 / wired

基本含义: 格/区域强制链从一个格子或区域的所有可能分支出发。
成立逻辑: 如果每个分支最终都得到同一个结论，该结论就不依赖分支选择，必然成立。
数学逻辑: Kazusa 的强制链说明强调它不是普通头尾取交集的链，而是完备分支推理。对某个格或区域，所有可能候选/位置必须有且只有一个成立；如果逐一假设每个分支后都会推出同一个删数或同一个出数，那么无论真实分支是哪一个，该共同结论都必然成立。归并强制链、鳍链、动态强制链只是分支组织方式不同。
看盘步骤: ① 找起始格/区域；② 分别读各分支；③ 找共同结果；④ 应用共同结果。
高亮阅读: 高亮会有多条分支；不要只看第一条链。
核对要点: 核对所有分支是否都指向同一删数或出数。

Whip Whip

Kind: WhipCategory: ChainsDifficulty: 7已接入 / wired

基本含义: Whip 是线性强制结构，像一条有方向的链，逐步排除起点候选。
成立逻辑: 假设目标候选成立会沿链迫使后续节点，最终导致某个必要候选无处可去。
数学逻辑: Whip 是“假设目标候选为真会走到矛盾”的线性反证链。链上每一层都用已知强弱关系逼迫下一步；若最终导致某格无候选、某区域某数字无位置，或同一区域重复，则最初目标候选不能为真，所以可以删除。
看盘步骤: ① 看被删候选；② 假设它成立；③ 沿主链读后果；④ 到矛盾处确认删除。
高亮阅读: 高亮主链为重点，通常有明确起点和终点矛盾。
核对要点: 顺着链方向读，不要把旁边无关候选纳入主链。

g-Whip 分组 Whip

Kind: GWhipCategory: ChainsDifficulty: 7已接入 / wired

基本含义: g-Whip 是带分组节点的 Whip。
成立逻辑: 分组节点表示多个位置共同承担一个候选，其他读法与 Whip 相同。
数学逻辑: g-Whip 把 Whip 的单格节点推广为分组节点。分组仍表示同一个逻辑命题，例如某数字在某一组格中至少一处成立；如果假设目标成立后，分组链最终造成区域无落点或候选冲突，目标候选就被反证删除。
看盘步骤: ① 看被删候选；② 沿分组主链读；③ 找矛盾点；④ 删除起点候选。
高亮阅读: 高亮会出现组节点；组节点当成一个整体。
核对要点: 确认分组候选位于同一区域约束内。

Dynamic Chain 动态链

Kind: DynamicChainCategory: ChainsDifficulty: 7已接入 / wired

基本含义: 动态链允许链中产生新的临时结论，再继续推理。
成立逻辑: 它仍是确定逻辑：每个临时后果都由前面假设强制推出，最终得到共同结论或矛盾。
数学逻辑: Dynamic Chain 允许在假设过程中继续使用中间推出的出数/删数。它的用户级逻辑仍是反证：假设某候选成立后，所有后续推理都是确定逻辑；若确定逻辑最终矛盾，则初始假设必假。
看盘步骤: ① 看起始假设；② 看动态推出的中间结论；③ 看最终矛盾/共同点；④ 应用结论。
高亮阅读: 高亮可能包含较长路径和多层分支。
核对要点: 用户核对时重点看最终共同结论，不必手工复原所有搜索路径。

Braid Braid

Kind: BraidCategory: ChainsDifficulty: 7已接入 / wired

基本含义: Braid 是比 Whip 更允许分支的强制证明。
成立逻辑: 目标候选若成立，会在多个可选路径中仍不可避免地走向矛盾，因此目标可删。
数学逻辑: Braid 是比 Whip 更宽的反证证明。假设目标候选成立后，每一层不只保留一条线性后继，而是允许多个候选共同承担“逃生分支”；若所有分支最终都被堵死，说明目标成立会让盘面无解，因此目标可删。
看盘步骤: ① 看被删候选；② 读主链；③ 查看旁支如何封堵替代选择；④ 到矛盾点确认删除。
高亮阅读: 高亮通常有主链和旁支；主链表示证明骨架，旁支表示必要支撑。
核对要点: 不要把所有分支都当成同一条线；按系统给出的主链/分支关系读。

g-Braid 分组 Braid

Kind: GBraidCategory: ChainsDifficulty: 7已接入 / wired

基本含义: g-Braid 是带分组节点的 Braid。
成立逻辑: 分组节点把多个候选位置合并为一个证明节点，帮助表达区域级强制关系。
数学逻辑: g-Braid 是 Braid 的分组版本。它把若干同数字同区域的位置合成一个节点，但证明目标不变：假设目标成立后，所有可能分支都被强制关系、弱关系和区域容量排除，最终没有合法完成方式。
看盘步骤: ① 看目标候选；② 找主链；③ 找分组/旁支；④ 确认所有逃路被封堵。
高亮阅读: 高亮可能更密集；先识别分组节点，再看主链/分支。
核对要点: 确认删数由整套 braid 证明，而非某单条弱连接独立推出。

Rank Logic / 覆盖计数逻辑

覆盖计数技巧要分两种口径：Multi-Fish/Complex Fish 可以按 Kazusa 秩理论的强区域/弱区域读；MSLS/SK Loop 优先按 David P Bird 的 Multi-Sector Locked Sets 口径读，也就是 Home/Away 数字集、NS/HS/DC 计数和潜在删数；Blossom Loop/绽放环按 Rank 0 的连续环/网中间形态读，重点看动态分支、强制/毛刺分支如何把弱关系补成强关系。

SK Loop SK 环

Kind: SKLoopCategory: Rank LogicDifficulty: 7已接入 / wired

基本含义: SK Loop 不按普通 AIC 环讲，优先看作 MSLS 的典型外观：四个宫形成矩形，宫内常有对角给定数，用来组成 Home set。
成立逻辑: 四宫矩形中的 Home/Away 覆盖把一批核心格锁成 Multi-Sector Naked/Hidden Set。核心格容量被 digit covers 用满后，额外候选不能成立。
数学逻辑: David P Bird 对 SK/MSLS 的解释是：先把数字分成 Home set 与 Away set，再把这些数字覆盖分配给若干行、列、宫。已给/已定数字从相应 house 的覆盖中扣除，只统计仍需安置的 digit covers。若所有候选都被覆盖的核心格数 NS 与 digit covers 数 DC 相等，就形成 MS-NS：NS 个格正好要容纳 DC 个必要数字，容量没有余量。若某个 potential elimination 成立，就会消耗一个必要覆盖，导致剩余 NS 格只能由更少 digit covers 填充，最终出现某格无数可填或某格要放两个数的矛盾。SK Loop 常见的“四宫矩形 + 对角给定数”只是这种 MSLS 平衡的容易识别形态。
看盘步骤: ① 找四宫矩形；② 看对角给定数是否组合出 Home set；③ 看 Home/Away 覆盖被分配到哪些行列宫；④ 核对 NS/HS/DC 是否平衡；⑤ 删除 potential eliminations。
高亮阅读: 先看被覆盖核心格和边缘的 digit cover 标注，不要只沿线圈方向读。
核对要点: 确认删数是部分覆盖格中的被覆盖候选、核心格中被覆盖两次的候选，或隐藏集合口径下的未覆盖额外候选；Almost/Rank 1 情况还要确认例外位置已经被定位。

MSLS 多区域锁定集合

Kind: MSLSCategory: Rank LogicDifficulty: 7已接入 / wired

基本含义: MSLS 是 Multi-Sector Locked Sets。Kazusa 将它放在秩理论“网”结构中理解；David P Bird 的 Home/Away、NS/HS/DC 口径则更适合用户手算核对。
成立逻辑: 设 NS 为所有候选都被覆盖的格数，HS 为至少一个候选被覆盖的格数，DC 为 digit covers 总数。通常有 HS ≥ DC ≥ NS。删数来自这些数量关系被锁定后，某候选成立会打破容量平衡。
数学逻辑: MSLS 先选择一组 Home 数字和互补 Away 数字，再给若干行、列、宫分配 Home/Away 覆盖。每个 house 中已经作为给定或已出数的数字不再需要放置，因此从覆盖中扣除。若 DC = NS，则核心格形成 Multi-Sector Naked Set：必要数字数量与核心格容量相等，所以部分覆盖格中的被覆盖候选、以及核心格中被覆盖两次的候选若成立，都会让剩余核心格无法被剩余 digit covers 填满。若 HS = DC，则形成 Multi-Sector Hidden Set：可容纳格容量正好等于必要数字数量，未覆盖的额外候选不能占位。Almost/Rank 1 形态允许一个例外名额；只有证明某删数不可能是那个例外时，才可删除。
看盘步骤: ① 看 Home/Away 或 Base/Roof 数字集；② 看哪些 house 被选中；③ 对每个 house 扣除给定/已定数字，得到 digit covers；④ 数 NS、HS、DC；⑤ 按 MS-NS、MS-HS 或 Almost 规则核对删数。
高亮阅读: 括号中的数字通常是某行/列/宫仍需放置的 digit covers；方括号核心格是 NS/HS 的主体；删数一般标在 potential eliminations 上。
核对要点: 不要只说“强弱区域等量”就结束；用户应能看到为什么 DC=NS 或 HS=DC 会让容量用满。若是 Rank 1，要额外确认唯一例外或 guardian 被正确处理。

Multi-Fish 多重鱼

Kind: MultifishCategory: Rank LogicDifficulty: 7已接入 / wired

基本含义: Multi-Fish/复数鱼是 Kazusa 秩理论里的零秩强弱区域覆盖结构，是“鱼”的强弱区域视角推广，可以同时涉及多个数字和多类区域。
成立逻辑: 每个强区域都要求一个候选实例；弱区域最多容纳一个实例。当强区域数量与弱区域覆盖次数相等且候选被完整覆盖时，弱区域容量被占满，额外候选可删。
数学逻辑: Kazusa 的秩理论把强区域理解为“能且仅能填一个实例”，弱区域理解为“最多填一个实例”，rank 是最多容纳次数与实际必须填入次数的差。复数鱼把普通鱼的 base-cover 推广到多个数字、行、列、宫和格。若强区域数量与弱区域容量相等，结构内候选又被完整覆盖，就形成 Rank 0：任何弱区域中的额外候选若成立，都会占用本该留给必要实例的容量，从而造成弱区域超额或强区域无落点，因此可删。
看盘步骤: ① 看参与数字；② 数强区域；③ 数弱区域；④ 确认精确覆盖；⑤ 删除弱区域中的额外候选。
高亮阅读: 强区域通常按候选染色，弱区域按行/列/宫/格背景或外框显示；先按强弱区域读，不按普通单数字鱼形状读。
核对要点: 重点核对强弱区域数量是否锁住，以及删数是否位于弱区域覆盖的额外位置。

Blossom Loop 绽放环

Kind: BlossomLoopCategory: Rank LogicDifficulty: 7已接入 / wired

基本含义: 绽放环是一种介于标准连续环和网之间的 Rank 0 环状结构。它带有动态分支和强制/毛刺分支，分支像花朵一样从主环展开，因此称为绽放环。
成立逻辑: 标准绽放环中，每一处原本看似弱关系的位置，都可以通过动态链或强制链补成强关系；因此它能像连续环一样，对每个弱关系位置产生删数。
数学逻辑: 从秩理论看，环内强区域 Truth 表示至少一个候选为真，弱区域 Link 表示最多一个候选为真。标准绽放环的 Truth 数与 Link 数相等，即 Rank = 0，所以结构内真候选数量被上下界同时夹住：至少要满足所有 Truth，至多只能装入所有 Link。两者相等时，每个弱区域必须恰好有一个真候选。若外部候选成立并破坏某个弱区域或分支配额，就会导致 Truth 无法满足、Link 容量超限，或沿动态/强制分支绕回矛盾，因此该候选可删。
看盘步骤: ① 先找主环；② 标出动态分支与强制/毛刺分支；③ 检查分开和汇合的节点是否整体按强/弱区域连接；④ 数 Truth 与 Link 是否相等；⑤ 对每处弱关系按连续环式规则核对删数。
高亮阅读: 主环可先按连续环读；分支不是额外装饰，而是用来证明某些断点/弱关系在整体上可当强关系使用。动态分支按动态链读，强制分支按毛刺/多毛刺链读。
核对要点: 不要把绽放环写成普通 AIC Loop，也不要简单当成 Death Blossom 闭合版。关键是 Rank = 0，以及每个分支的分开、汇合节点能否把所有弱关系补成强关系。

Exocet 家族 / Exocet Family

对应 Kazusa 的 Exocet 体系，也参考上传的 JExocet Compendium / Junior Exocet Definition 系列资料。Exocet 不按普通鱼或普通链解释；先分清 base、target、cross lines / S cells、companion、mirror、guardian 等角色，再看 base 真数对如何被 target/cross 结构承接。

Junior Exocet Junior Exocet

Kind: JECategory: ExocetDifficulty: 8已接入 / wired

基本含义: Kazusa 的飞鱼基本推理从 base cells 的真数字对出发，证明 target/crossline 结构必须承接这些数字；Junior Exocet 的目标是证明两个 target cells 合起来必须持有与两个 base cells 相同的一对真数字。
成立逻辑: base cells 位于一条 mini-line，确定 base cross-line；另外两条平行 cross-lines 与 target/cross cells 形成 S-cell 容量限制。base 中真正成立的数字，必须在 target/cross 结构中得到相容承接。
数学逻辑: 对任一真正进入 base 的数字来说，它在三条 cross-lines 中需要满足固定的出现次数。普通 S cells 最多只能提供其中一部分承接，因此 target cells 必须提供缺少的必要落点。于是 target cells 中的非 base 数字可以删除；若某候选成立会破坏“base 真数对 = target 真数对”，使某个 base 数字无处安置，或让 S-cell/cross-line 容量超限，它就可删。
看盘步骤: ① 找 Base；② 找 Target；③ 找 Cross/Crossline/S cells；④ 核对 target 是否只承接 base 真数字；⑤ 按结论删除非 base 候选、共同可见候选、或不兼容 base-pair 的候选。
高亮阅读: Base、Target、Cross、Companion、Guardian 的角色必须分开看。不要看到 cross 区域就一概删除；只删结论列出的、破坏同步/配额关系的候选。
核对要点: 先确认 base 候选集合；再确认 target cells 合起来只能承接 base 真数对；最后核对每一个删数属于哪一类推论：非 base target 候选、共同可见删数、非 S-cell 删数、或 incompatible base pair 推出的删数。

Senior Exocet Senior Exocet

Kind: SeniorExocetCategory: ExocetDifficulty: 8已接入 / wired

基本含义: Senior Exocet 是 Junior Exocet 的扩展：target 可能从更大的 S-cell 集合中选出，有时还会嵌入交叉结构内部。
成立逻辑: 选择 base cells 的方式与 Junior 类似，但会选取扩展后的 S cells 与 target cells。每个 base 候选在剩余 S cells 中最多只能由两个 cover houses 承接，因此 target 仍必须提供必要承接。
数学逻辑: Senior Exocet 的证明仍是容量证明：base 真数字在三条 cross-lines 中需要满足固定次数，而普通 S cells 只能提供两次承接，所以 target cells 必须提供第三次承接。target 嵌入 cross 结构时，要区分 endo-target、cross cell、companion 和普通 S cell；若某候选让一个 base 数字无法获得 target 承接，或让 S-cell 容量超过允许次数，它就可删。
看盘步骤: ① 找 Base；② 区分 Target 与 Cross/S cells；③ 特别看 Endo-Target；④ 核对每个 base 候选是否能由两个 cover houses 加 target 完成承接；⑤ 只应用结论列出的删数。
高亮阅读: Senior 的高亮通常更复杂，但不要被形状带偏：仍按 base/target/S-cell/cross-line 的容量角色读。
核对要点: 不能把所有交叉格候选都删掉；只删除破坏 base-target 同步或 S-cell 容量限制的候选。

Weak Exocet Weak Exocet

Kind: WeakExocetCategory: ExocetDifficulty: 8已接入 / wired

基本含义: Weak Exocet 是条件较弱的 Exocet 形态，只保留部分 base-target 同步约束。
成立逻辑: 虽然不满足完整 Junior/Senior Exocet 的全部条件，但 base 中每一种可行真数对仍必须在 target/cross 结构中找到合法承接。只有在所有合法承接分支中都会冲突的候选才能删除。
数学逻辑: Weak Exocet 不能直接套完整 JE 的所有删数规则。它的证明是“所有可行分支覆盖”：枚举 base 可能真数对，每个分支都要求 target/cross 有相容安排。若某候选成立后，在每个分支里都会造成 target 无法承接、cross-line 容量超限，或某 base 数字无法放置，那么该候选可删。
看盘步骤: ① 找弱 Exocet 骨架；② 看缺失或弱化的是哪条条件；③ 找仍然成立的同步/容量关系；④ 只删除被所有可行分支共同排除的候选。
高亮阅读: 高亮会标出弱化后的 base/target/cross 关系；用户要特别关注“弱”在哪里。
核对要点: 结论通常比完整 JE 少；不要把 Weak Exocet 当成 Junior Exocet 自动扩展删数。

Exocet 扩展形态 Extension Notes

Kind: JE+ / Double JE / Almost JE / Mutant JECategory: ExocetDifficulty: 8+说明补充 / notes

基本含义: JE+、Double JE、Almost JE、Mutant JE 等都不是独立套普通鱼/链的技巧，而是在 Exocet base-target 同步证明上改变 object pair、target、cross-line 或 S-cell 条件。
成立逻辑: 扩展形态只继承被证明仍成立的推论。例如 Double JE 要先核对两个 JE2 子结构如何共存；JE+ 可能把 object cells 放进 AHS/locked candidate 约束；Almost JE 则通常需要 guardian 或例外候选维持条件。
数学逻辑: 这些扩展仍围绕同一件事：base 真数字必须由 target/cross 结构承接。扩展条件改变了承接方式或候选容量，因此可删候选必须逐条来自“所有相容安排都排除它”的证明，而不能从 Junior Exocet 全套规则照搬。
看盘步骤: ① 先确认标准 Exocet 骨架；② 再看扩展条件改变了哪些 target/object/cross 角色；③ 核对每个 guardian、locked member 或 incompatible base pair 是否真的被证明；④ 只应用输出结论。
核对要点: 扩展 Exocet 需要比普通 JE 更保守。动态解释会提示用户按当前 step result 的结论逐项核对，不自动补充未输出的删数。

兜底搜索 / Fallback

兜底搜索不是手工技巧。它只说明当前配置下没有找到可展示的逻辑步骤，程序改用搜索完成盘面。

BruteForce 暴力搜索

Kind: BruteForceCategory: FallbackDifficulty: 10已接入 / wired

基本含义: BruteForce 是搜索兜底，不是建议玩家学习的手工技巧。
成立逻辑: 当当前配置没有可展示逻辑时，程序可用搜索验证或完成盘面。
数学逻辑: BruteForce 不是人工技巧，而是穷举验证。它通过尝试候选并检查是否能完成全盘来判断结论；这种结论数学上可靠，但不提供适合手工复盘的局部结构证明。
看盘步骤: ① 确认这是兜底；② 不把它当技巧学习；③ 必要时调整技巧配置；④ 用它验证答案。
高亮阅读: 通常没有复杂高亮；结果更像完成解而非一步逻辑解释。
核对要点: 若你想坚持逻辑解题，应回到技巧配置，启用更多逻辑技巧或查看前一步。

当前仅作为参考占位的技巧

以下条目存在于技巧表中，用于保持参考项目顺序和前端过滤稳定；但 V405 搜索入口注释说明它们当前仍未 wired 为实际 finder，所以不放进“已实现技巧”正文。

AHS-XY-Wing AHS-XY 翅膀

Kind: AHSXYWingCategory: AHS占位 / placeholder

后续真正迁移后，可按 AHS-XZ 与 ALS-XY-Wing 的说明风格补充。

AHS-W-Wing AHS-W 翅膀

Kind: AHSWWingCategory: AHS占位 / placeholder

后续真正迁移后，可按 AHS-XZ 与 ALS-W-Wing 的说明风格补充。

AHS Chain AHS 链

Kind: AHSChainCategory: AHS占位 / placeholder

后续真正迁移后，可按 AHS-XZ 与 ALS Chain 的说明风格补充。