YZF Sudoku 技巧说明 / Techniques

阅读说明

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

已按当前后端 wired 技巧整理：源码的参考技巧表共有 70 项，其中仅 AHS Chain 仍是 reference placeholder；AHS-XY-Wing 与 AHS-W-Wing 已接入实际 finder。

参考阅读：Kazusa Sudoku tutorial。本页采用“先定义术语、再讲推理、最后给检查点”的阅读结构，不复刻外部图例，也不改写为内部算法文档。

步骤解释阅读方式 / Step Explanation Reading Method

本技巧页不只列技巧名称，而是按“定义 → 当前结构 → 为什么能删或出数 → 如何核对”组织。每张技巧卡先说明结构，再说明数学逻辑，最后列出看盘和核对要点。

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 双解结构，就会产生第二个完成盘，这与谜题唯一解前提矛盾。因此这些额外候选不可能全部为假；系统给出的删数来自“保持至少一个破坏点成立”之后对同格或同区域的排除。
看盘步骤: ① 看全盘双值骨架；② 找异常候选；③ 看异常之间关系；④ 应用共同结论。
高亮阅读: 每个异常格只高亮该格真正多出的 Guardian 候选；不能把所有 Guardian 数字泛涂到每个异常格，否则 BUG+3 会被视觉误读成 BUG+5。
核对要点: 核对异常候选是否确实是防止 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

基本含义: 唯一环是唯一矩形的环状推广。主体由同一对致命数字沿行、列、宫约束形成连通的偶数闭环；每个参与约束恰好连接两个主体格，因此两数字可以交替互换。
成立逻辑: 若环上只剩两个致命数字交替排列，会产生另一种等价解；唯一解题必须保留至少一个破坏点。普通 Type 1–4 直接使用环内额外候选；External Guardians 则把破坏点放在环外，并证明外部守护候选至少一个为真。
数学逻辑: 主体的每格在初始候选 base_cand 与当前候选中都必须保留同一对致命数字；当前格可带额外候选，但不能缺少任一致命数字。选定一族行、列或宫作为 GuardianCover 后，若该族全部外部 Guardians 为假，每个 cover house 中两种致命数字都只剩两个主体格可放，区域完整性会迫使两格分别取这两个数字；再由连通二分主体得到仅有的两种互补着色。因此至少一个 Guardian 必真。External Test 1、2/4、3、3H 与 External XY-Wing 再分别结合单格保留、单数字共同可见、裸数组容量、隐性数组容量或两翼共同数字得到删数。
看盘步骤: ① 用初始候选与当前候选共同确认致命数字对；② 检查主体为偶数、连通、可二分，且每个参与行/列/宫恰有两个主体格；③ 核对 GuardianCover 族中，外部致命数字候选与 Guardians 完全一致；④ 按 External 子型核对共同可见、数组容量或双翼条件；⑤ 只应用后端给出的目标。
高亮阅读: ULBody 标出环主体，GuardianCover:Rows/Columns/Boxes 标出本次“全假即可恢复致命环”的覆盖族，Guardians / GuardiansA/B 标出外部破坏点；Test 3/3H 另标裸数组/隐性数组，XY-Wing 另标 WingA/B。候选色与整格角色不可混用。
核对要点: 确认题目唯一；主体必须是偶数、连通、可二分，原始提示格不得混入；每个主体格在 base_cand 和当前候选中均含完整致命数字对，额外候选允许。GuardianCover 必须与独立推导的覆盖族完全一致。普通 UL Type 1–4 保持优先；External 仅在严格主体、B8 守护前提和对应子型证明同时成立时输出。

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

基本含义: 本项目的 Almost Triple 是宫线交区两侧的 ALS+AHS 容量结构，而不是通用 ALC。
成立逻辑: 显性待定侧决定三个活动数字中有几个必须落入宫线交区，另一侧的隐性承载格组接住其余数字。
数学逻辑: Single-Intersection 使用外侧 2 格/3 数 ALS 与另一侧 2 个 AHS 承载格，迫使交区恰占 1 个活动数字；Double-Intersection 使用外侧各 1 格，并要求三格交区全部含活动数字，迫使交区恰占 2 个。于是 ALS 同侧其余活动数字和 AHS 格中的额外候选没有容量保留。
看盘步骤: ① 选宫与相交行/列；② 核对 Box-ALS / Line-AHS 或反向 Branch；③ 区分 Single/Double-Intersection；④ 检查 ALS、交区、AHS 的精确格数；⑤ 应用删数。
高亮阅读: 活动交区候选、AHS 全部候选、ALS 全部候选与删数分别着色。
核对要点: Double-Intersection 必须是三格交区全部含活动数字，且两侧域外分别恰好 1 个 ALS 格和 1 个 AHS 承载格。

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 都会排除它的共同结果。
看盘步骤: ① 先读候选数组合@house；② 再看这些数字的全部可落格；③ 找受限公共位置/候选；④ 删除共同目标。
高亮阅读: 高亮重点是数字集合及其可落格，而不是显性候选集合。
核对要点: 确认这是“数字被困住”，不是“格子候选少”的 ALS 读法。扩展同数格位RCC必须列出Extra事件、最多三格的局部HLS，以及全部有效支撑位置。

AHS-XY-Wing AHS-XY 翅膀

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

基本含义: 三组AHS通常由两条严格rank-1 RCC连接；若外翼A与C之间还有第三条独立RCC，则升级为Triple-Linked Rank-0。
成立逻辑: 普通分支由枢纽互斥事件迫使至少一个外翼Extra成立；Triple-Linked分支只剩两个交替全局状态，三条链接容量闭合为Rank 0。
数学逻辑: 在(E_AX∨E_BX)、(E_CY∨E_BY)之外加入(E_AZ∨E_CZ)。端点事件与证明资源互斥、独立后，只剩两组交替状态；程序对全部合法AHS匹配求共同外部与结构内删数。
看盘步骤: ① 找枢纽AHS；② 核对X/Y；③ 确认枢纽事件与资源独立；④ 搜索并验证外翼RCC Z；⑤ 有Z时验证两个全局状态并应用Rank-0删数。
高亮阅读: X、Y、Z分别显示Extra事件、Hall/HLS见证和全部有效支撑位置；第三条RCC使用独立底色。
核对要点: 共享格若仍可取两组AHS共有数字，就不是Shared-Cell RCC。三条边、端点独立性及全局状态必须全部有效。

AHS-W-Wing AHS-W 翅膀

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

基本含义: 一个单格枢纽把全部候选完整分入A/B两侧；若两端AHS之间还有第三条独立RCC，则升级为Triple-Linked Rank-0。双值枢纽只是最小特例。
成立逻辑: 普通分支由枢纽分组强制至少一个端点Extra；Triple-Linked再加入端点RCC Z，只剩“枢纽A/B-Z”和“枢纽B/A-Z”两个交替状态。
数学逻辑: 逐数字支撑由全部合法AHS匹配计算。第三条端点RCC必须是独立rank-1关系；程序精确枚举两个Rank-0状态下的枢纽取值与两端匹配。
看盘步骤: ① 完整划分枢纽候选；② 核对两端HLS与支撑；③ 搜索端点RCC Z；④ 验证事件/资源独立和两个全局状态；⑤ 应用Rank-0或普通共同删数。
高亮阅读: A/B端与枢纽保留两种配对色；端点RCC Z使用第三种底色并单独显示见证。
核对要点: 候选覆盖、逐数字支撑、端点RCC、事件/资源独立和全局可行性缺一不可；端点重叠本身不能证明Rank 0。

链与强制链 / 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

基本含义: 搜索器按 Cell、Region、UR 或 Triplet Oddagon 实体组织关键分支；显示时会把每条分支反向回放成正常 Forcing Chain。
成立逻辑: 每条显示分支都有一个单候选或 ALS 扇区端点，端点能够推出一组删数。系统对所有分支的端点删数集合求交集，只输出每条分支都能得到的共同删数。
数学逻辑: 设第 i 条分支端点能删除的候选集合为 Dᵢ，则最终输出 D₁∩D₂∩…∩Dₙ。无论真实解对应哪条强制分支，交集中的候选都会被排除。Cell、Region、UR、Triplet Oddagon 只描述搜索实体与分支来源；最终始终按各分支端点共同结论输出标准 Forcing Chain。
看盘步骤: ① 分别读每条反向回放链；② 找到各分支端点；③ 写出每个端点能删的候选；④ 只保留所有分支共有的删数。
高亮阅读: 高亮会覆盖多条分支；第一条链只是显示主分支，最终结论必须在全部分支端点中同时成立。
核对要点: 搜索器内部的失效状态只负责定位关键分支；用户级证明应逐条反向回放，并核对端点删数集合的交集。

Whip Whip

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

基本含义: Whip 是从待删目标候选为真开始的一条有序单主干证明。
成立逻辑: 每一步先排除一个左链接候选，再在当时已经更新的局面中迫使唯一右链接候选成立；最后使某格无候选，或使某数字在行、列、宫中无落点。
数学逻辑: Whip 的强关系不是预先固定的静态 AIC 强边，而可以依赖主干前面已经排除的候选。假设目标成立后，按记录顺序逐步更新候选；终止格或终止区域被排空，因此目标假设为假。
看盘步骤: ① 看被删目标；② 沿单主干按顺序读 OFF→ON；③ 每一步核对右链接在当时确实唯一；④ 核对终止格或区域被排空。
高亮阅读: 目标使用起点色，主干 ON/OFF 使用既有链配色，终止区域会显示被排除的支持候选。
核对要点: 不能跳过中间候选更新后直接把 Whip 当成静态强弱链；每条动态强关系都要在该步局面中成立。

g-Whip 分组 Whip

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

基本含义: g-Whip 与 Whip 使用同一单主干逻辑，但允许合法的同数字分组扇区作为节点。
成立逻辑: 分组节点整体表示一个逻辑候选，例如某数字在一组格中至少一处成立；它在主干中作为一个右链接或左链接节点参与动态传播。
数学逻辑: 除了节点可以是分组扇区外，g-Whip 与 Whip 相同：假设目标成立，依次排除左链接并强制右链接，最终排空一个格或区域。组内格不能被任意拆开选择。
看盘步骤: ① 看目标；② 把每个分组候选当成整体；③ 沿单主干核对；④ 确认终止排空。
高亮阅读: 分组扇区会整体着色；不要只取其中某一个格代替整个节点。
核对要点: 确认分组形状符合后端允许的行—宫或列—宫扇区，并且在当前局面中承担同一个逻辑命题。

Dynamic Chain 动态链

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

基本含义: 动态链从同一源候选的 ON/OFF 状态建立传播网络，并允许使用传播过程中动态形成的新关系。
成立逻辑: 实际输出分为 Dynamic Contradiction Chain 与 Dynamic Verity Chain；两者还都有普通与 Grouped 版本。
数学逻辑: Contradiction 分支中，某一个源状态同时推出同一候选 ON 与 OFF，因此该源状态不可能；源 ON 被否定则删目标，源 OFF 被否定则目标出数。Verity 分支中，源 ON 与源 OFF 两种完备状态都推出同一个 ON 或 OFF 结论，因此该共同结论无条件成立。
看盘步骤: ① 找源候选；② 区分 Contradiction 或 Verity；③ 分别读实际网络分支；④ 应用否定源状态或两状态共同结论。
高亮阅读: Grouped Dynamic Chain 中，组节点整体参与传播；分支树展示的是实际父路径，不要求是一条线。
核对要点: 不要把 Verity Chain 误写成单分支反证；它依赖源 ON/OFF 两种状态的共同结论。

Braid Braid

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

基本含义: Braid 是从目标候选为真开始的分叉证明；与 Whip 的单主干不同，它允许多个替代左链接分支。
成立逻辑: 在每个分叉点，所有仍可能的左链接候选都必须被覆盖；每条支路再强制相应右链接或继续分叉。所有支路合起来排空终止格或区域，目标才可删除。
数学逻辑: Braid 证明的是完整分支树，不是挑一条能走通的路径。任一分叉点漏掉一个仍合法的候选，证明就不完备。若回放结构实际只有一条主干，源码会按证明形态重新命名为 Whip。
看盘步骤: ① 看目标；② 找主干与分叉点；③ 在每个分叉点核对全部替代候选；④ 确认所有支路共同排空终止约束。
高亮阅读: 主链与支持分支会分别显示；分支不是装饰，而是补齐主干无法独立覆盖的替代选择。
核对要点: 必须检查分叉完备性；不能只读第一条 chain branch。

g-Braid 分组 Braid

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

基本含义: g-Braid 是允许分组节点的 Braid。
成立逻辑: 分叉证明的完备性要求不变，只是某些候选位置由合法分组扇区整体表示。
数学逻辑: 每个分叉点仍须覆盖全部可能；分组节点作为一个逻辑命题参与某条支路。所有普通与分组支路合并后排空终止约束，目标可删。若最终只有单主干，则按实际证明命名为 g-Whip。
看盘步骤: ① 看目标；② 识别普通或分组节点；③ 核对每个分叉的全部支路；④ 核对终止排空。
高亮阅读: 先把每个组节点看成整体，再读分支树；不要把一个组拆成多条互相独立的支路。
核对要点: 同时检查分组合法性和分叉完备性。

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 与 Domino Loop 是同一技巧。本项目实际搜索固定 8 个分组链接段，按行、宫、列、宫交替闭合；每段可承载一个或多个数字。
成立逻辑: 几何段数固定为 8，但每个“数字 + house”组合分别计作一个 Link 名额。主体格 Truth 数与 8 段合计 Link 名额相等，形成严格 Rank 0。
数学逻辑: 设 8 段为 L₁…L₈，各段携带数字集合 Dᵢ。LinkSlotCount=Σ|Dᵢ|，并要求 CellCount=LinkSlotCount。标题中的“16 Links”表示数字-house Link 名额，不表示 16 个几何段。
看盘步骤: ① 确认 SegmentCount=8；② 读取每段数字组；③ 逐个计算数字-house Link 名额；④ 核对 CellCount=LinkSlotCount；⑤ 删除抢占 Link 容量的候选。
高亮阅读: LoopBody、8 个 Link 段与删数分层显示；一段内多个数字作为一个分组 Link 阅读。
核对要点: SK Loop 就是 Domino Loop；必须区分 8 个链接段与合计 Link 名额。

MSLS 多区域锁定集合

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

基本含义: 本项目有 Exact Rank-0 与 Advanced Rank-0 两条搜索路径；Advanced 还可带 Attachment。
成立逻辑: Exact 逐数字选最低成本行/列/宫覆盖；Advanced 还枚举浮动数字的行侧/列侧分配，并吸收被链接条件强制加入的 Attachment。
数学逻辑: Core 的 CellCount 与最终 LinkCount 相等时，Link 容量恰好满载。外部同 Link-house 候选抢占容量，内部多 Link 重复覆盖形成自噬超额。
看盘步骤: ① 确认 Core；② 比较覆盖成本；③ Advanced 分支核对浮动数字和 Attachment；④ 核对 CellCount=LinkCount；⑤ 应用外部或自噬删数。
高亮阅读: Core、Attachment、实际 Link、PermutableDigits 与删数分层显示。
核对要点: Exact、Advanced、Advanced with Attachment 是不同搜索路径，只解释当前实际 Branch。

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

基本含义: Junior Exocet 以 Base 真数字由两侧 Target 承接为主干；同一搜索实体还执行多种独立检查。
成立逻辑: 基础 Base/Target/Cross 配额建立后，只应用实际触发的 Target Check、X-Rule、Mirror、Locked Member、True Base、JEPOM 等检查。
数学逻辑: 每个检查有独立前提和删数集合；没有输出的检查不得补入证明。JEPOM 是相容模板验证，Mirror、Locked Member、True Base 等分别约束承接关系。
看盘步骤: ① 确认 BaseCandidates；② 区分 Targets 与 Cross/S-cells；③ 读取每个 Check；④ 核对对应角色与删数；⑤ 应用实际结论。
高亮阅读: Base、Target Q/R、Cross、Mirror、Locked Member、True Base 等分层显示。
核对要点: 同一步可触发多个检查；动态教程必须完整列出实际 Check。

Senior Exocet Senior Exocet

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

基本含义: Senior Exocet 允许多格 Target、Endo Target、Target-line AHS 和调整后的 Cross-Line/S-cell 集合。
成立逻辑: 实际检查包括 Cross-Line Need、Target-House Lock、Non-Base Target Cleanup、True Base、Mirror、Incompatible Base、X-Rule、Potential Target Cover House 等。
数学逻辑: 各检查独立约束 Base→Target 承接和 S-cell 容量；只有实际触发的检查构成本步证明。
看盘步骤: ① 找 Base；② 区分 TargetGroup 与 Cross/S-cells；③ 读取所有 Check；④ 分别核对锁定、镜像、X-Rule、AHS 或覆盖宫条件；⑤ 应用删数。
高亮阅读: Base、TargetGroup A/B、Cross、Locked Non-base 与检查结果分层显示。
核对要点: 不能按外形补入未输出规则；每个删数必须追到具体 Check。

Weak Exocet Weak Exocet

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

基本含义: Weak Exocet 只保留当前弱结构可证明的部分 Base→Target 同步，并输出 WeakSeat、YLock 与实际触发的检查。
成立逻辑: Y-lock 表示某个基准数字锁定在 Y 区。Target Cells Check 是 T 格检查；Mirror Check 是 M 格检查，不是 T 邻规则。只有显式输出 Adjacent Target 时才称 T 邻。
数学逻辑: T 格检查删除目标格中的不兼容候选；Z 区检查删除 Z 格中的非基准候选；W 区检查删除满足容量条件位置中的基准候选；M 格检查利用 Target 与镜面节点删除不兼容候选。只合并本步实际输出的检查。
看盘步骤: ① 确认 BaseCandidates、Base 与 WeakSeat；② 核对 YLock/YArea；③ 读取 TCheckTargets、ZZoneTargets、WZoneTargets、MNodes/MCheckTargets；④ 只执行实际 Check；⑤ 应用对应删数。
高亮阅读: Base、Targets、Cross、WeakSeat、YArea、ZZone、WZoneTargets、MNodes 与各删数目标分层显示。
核对要点: 已有一条 Y-lock+Z 区真实样例和一条 T格+Z区+W区+M格多检查真实样例；Mirror Check 不能误写成 T 邻。

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 是 Verified-Solution Placement：先验证完整终解，再读取一个未解格的正确数字作为末端兜底。
成立逻辑: 优先选择候选数较少的未解格，并从 CompleteSolution 读取落数；不是把一次猜测包装成局部逻辑。
数学逻辑: 可靠性来自完整终解验证，而不是局部结构证明；本步只报告终解落数。
看盘步骤: ① 确认逻辑技巧无结果；② 完整求解并验证；③ 选择候选较少的未解格；④ 从终解读取并落数。
高亮阅读: 只显示所选格和最终落数，不制造枢轴、链、数组等局部结构。
核对要点: BruteForce 不参与技巧训练；坚持逻辑解题时应调整技巧配置或查看更早步骤。

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

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

AHS Chain AHS 链

Kind: AHSChainCategory: AHS占位 / placeholder

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