3.1 Stencil 的 canonical 值#

先看离线回放导出的实际 Stencil。图中橙色是值 2，蓝色是值 6，灰色是捕获中仍存在的 128，暂不指定业务含义。503 之后角色主体已大面积写入 2；519 和 530 的 Eye/Face writer 逐步引入 6；541 用 Keep，值不变；560 的 Replace 把通过自身分支的像素写回正常角色形态；582 也是 Keep。

图 F3-1（RAW/DERIVED DISPLAY）。来源：EID 503、519、530、541、560、582 后同一 D32S8 资源的 Stencil aspect；处理：固定裁剪、离散值映射和 nearest-neighbor 缩放，未根据画面手绘 mask；支持的主张：捕获帧内确实出现 2、6、128，Face/Eye writer 引入 6，而 541 不改变 Stencil；不支持或尚未证明：值 128 的业务意义，以及只凭颜色外形给任何值命名。

正文始终说 canonical 2/6，而非 Reference 会把整个字节强制写成 2 或 6，原因是 D3D 的 Replace 受 write mask 约束：

1
NewStencil = (OldStencil & ~WriteMask) | (Reference & WriteMask)

正常角色 BasePass 用的是 reference=0x02、writeMask=0xFA：

1
New = (Old & 0x05) | 0x02

0xFA 没有覆盖 bit0 和 bit2，所以这两个位会从旧值保留下来。如果旧值在这些位上为零，结果就是 2；如果 bit0 原先是一，结果就是 3；如果 bit2 也有旧状态，结果还可能不是最简单的那个字母。Face/Eye writer 用的是 reference=0x06、writeMask=0xFE：

1
New = (Old & 0x01) | 0x06

这里保留了 bit0，并写入 0x02|0x04，所以清零前提下得到 6，bit0 保留时得到 7。EID 560 虽然 Reference 是 6，却配了 writeMask=0xFA，代进去一看还是：

1
New = (Old & 0x05) | 0x02

560 的 compare 在找一个分区，Replace 把通过后的像素重新收敛回正常角色的 0x02 相关状态。541 和 582 的 pass operation 都是 Keep，它们不会因为 write mask 非零就自动改值。Reference、compare 和写入是三件不同的事，不能看到一个十六进制数就当成整字节赋值。

3.2 541 的 Stencil 条件#

EID 541 的实际判定是：

1
(S & 0x1A) == (0x02 & 0x1A)

而：

1
0x1A = 0001 1010

mask 包含了 0x02、0x08、0x10，但不包含 0x04。所以：

1
0x02 & 0x1A = 0x02
2
0x06 & 0x1A = 0x02

canonical 2 和 6 都能通过，3 和 7 也是。这一事实直接排除了 compare mask 本身把 541 限定到 Face/Eye 状态的解释。541 在 Face/Eye writer 之后、两个 Bangs 表面分支之前，用完整 Bangs 几何、关深度写、Stencil Keep、无纹理声明，只写 RT1.B，这是一次控制量写入，具体语义需要看实际像素。

离线回放导出同一 RT1 在 EID 530 和 541 之后的结果。仅 B 通道变化，R/G/A 变化像素数为零。固定裁剪中有 46,612 个 B 像素变化，变化后值统一落到 127，变化前在 128 到 255 之间。变化包围脸上方刘海，也延伸到两侧发束和身体边缘可见区，覆盖范围来自完整 Bangs 几何投影。

图 F3-2（DERIVED FROM RAW）。来源：同一 ResourceId::1430951，EID 530 与 541 后的 RT1.B；处理：完全对齐的固定裁剪、UNORM 线性绝对差、非零差分 p99.5 共享上限与二值变化图；支持的主张：541 在完整 Bangs 投影覆盖的可见像素上把 RT1.B 改成近似 0.498 的常量，且只改变 B；不支持或尚未证明：该通道最终被哪个 shader 怎样消费，或是否应命名为刘海阴影。Claim：C-STENCIL-541-RT1B-FACT 与 C-STENCIL-541-SEMANTIC。

固定管线确认写了什么通道、在什么几何和深度条件下写；像素差分确认实际覆盖了哪里、数值怎样变化。但二者加起来仍不足以确认下游把它当成什么。后续 shader 若把 RT1.B 当遮蔽权重，可能影响脸部；若当通用角色控制位，也可能用于其他合成。最小闭环实验是追踪 RT1.B 的第一个读者，在固定帧中把该通道钳制为原值、0、1 三档，观察哪个输出阶段先变化。该实验尚未执行，标为 P0。

3.3 560 与 582：canonical 分区成立，全 8 位空间却有重叠#

两个表面分支的条件是：

1
EID 560: (S & 0x1E) != 0x06
2
EID 582: (S & 0x04) == 0x04

注意它们的 compare mask 不一样，所以不能看到 Equal/NotEqual 就说是全局补集。脚本枚举 S=0..255，结果挺有意思：

• 541 通过 32 个值；
• 560 通过 240 个值；
• 582 通过 128 个值；
• 560 与 582 同时通过 112 个值；
• 二者并集为全部 256 个值。

图 F3-D1（DERIVED NUMERIC）。来源：../../source-report/data/basepass-pipeline-state.json 中 541/560/582 的 compare function、reference 与 mask；处理：枚举 256 个字节并按 560-only、582-only、overlap、neither 离散着色；支持的主张：完整空间存在 112 个双命中状态，二者并集为 256；不支持或尚未证明：这是 PSO 状态空间，不是捕获画面中的像素覆盖。Claim：C-STENCIL-560-582。

看图时需区分协议允许的字母和所有理论字节。引擎前面的 writer 把角色像素约束到少量 canonical 状态；在这些状态中，分区清晰：

图 F3-D2（DERIVED NUMERIC）。来源：同一 PSO 数值与 stencil-truth-table-256.csv；处理：从完整枚举中只取 2、3、6、7，展示 pass/fail；支持的主张：在协议常用状态上，560 与 582 形成 normal-role / face-eye-role 的有效分区，541 对四者都通过；不支持或尚未证明：四个 canonical 值不能替代完整字节空间，也不能证明帧内只出现这四个值。

状态机可通过 writer 约束输入字母，让两个本来有交叠的谓词在可达子集上表现为选择分支；但若将来另一个 pass 保留或设置了 0x08/0x10，同一套谓词组合可能进入双命中区。开发者用少量 bit 换来了跨材质路由，同时引入了一个维护约束：新增 Stencil 用途时必须检查已有的 compare mask，不能只检查 Reference。

3.4 两个 Bangs 分支的验证#

PSO 真值表只能说明哪些 Stencil 值会通过，不能把逻辑集合贴到角色上冒充真实 coverage。有了离线导出的相邻 attachment，就可以计算事件区间之后哪些 MRT 像素值确实发生了变化。EID 560 用 541 作前基线；EID 582 必须用 571 作前基线——Hair draw 夹在 560 和 582 之间，直接用 560 会把 Hair 对 MRT 的贡献错误归到后面那个 Bangs 分支。

计算对每个可读 MRT 做逐字节绝对差，再把任一通道发生变化的像素取并集。560 区间有 64,095 个变化像素，形成完整可见刘海/头发前部轮廓；582 区间在六个可读 attachment 上仅 319 个变化像素，集中在很小的脸域交界。EID 582 的 RT3 离线导出返回了 0 字节，脚本明确将其排除，未用其他通道复制或猜测填补。

图 F3-3（DERIVED FROM RAW，SOURCE-LIMITED）。来源：EID 541→560 与 571→582 的同尺寸 MRT 快照；处理：精确对齐、逐字节差分、跨可读 attachment 求并集、nearest-neighbor 二值显示，橙/蓝/粉分别表示 560-only、582-only、overlap；支持的主张：两个分支在实际 GBuffer 值变化上呈现大范围与小范围的不同覆盖；不支持或尚未证明：写回相同字节的 fragment 会被漏掉，EID 582 RT3 未纳入，因此这不是完整 fragment invocation mask。

把变化强度按同一 p99.5 上限显示，还能看到 560 覆盖更大且在多个 attachment 上都有明显变化，582 在可读通道上的增量非常局部。这符合同一 Bangs 几何按脸域状态选择不同 PS 的机制，但两个 PS 的具体公式差异仍需 DXIL 数据流或受控纹理/参数实验确定。

图 F3-4（DERIVED FROM RAW，SOURCE-LIMITED）。来源：同 F3-3；处理：七/六个可读 MRT 的最大绝对变化、共享显示上限与最终离散并集；支持的主张：EID 560 与 EID 582 不是相同输出的机械重复，二者在真实 attachment 上留下不同空间变化；不支持或尚未证明：聚合强度不提供每个 GBuffer 通道的业务语义，也不补回缺失的 EID 582 RT3。

至此可逐一排除三个常见误解。

“三次 draw 只是无意义的过绘制”：541 和 560/582 的深度写入、纹理声明和 RT write mask 完全不同，真实的 RT1.B 和 MRT 差分显示了不同结果，不成立。

“541 的 compare 将自身锁定到 Face/Eye”：0x1A 完全不测 0x04，canonical 2/6/3/7 全部通过，不成立。像素覆盖由几何、深度和已有缓冲共同决定，无法单从 compare mask 概括。

“560 和 582 是任意 Stencil 字节上的补集”：完整枚举有 112 个双命中状态，它们只在 writer 建立的 canonical 子集上呈现所需分区，不成立。

机制总结：Face/Eye writer 把 0x04 相关状态写入角色 Stencil，Bangs 随后用同一完整几何执行一次单通道控制写入，再用两个不同谓词选择表面 PS；560 把通过的 normal-role 像素收敛回 0x02 相关状态，582 保留 face/eye-role 状态。收益是无需切分刘海网格或准备另一套顶点数据，同一局部就能在脸域交界使用专门着色。代价是额外 draw、深度与 Stencil 依赖、MRT 带宽，以及 compare/write mask 的跨模块耦合。

这是一种可编程的角色分类方法。几何 section 负责粗粒度对象身份，Stencil bit 提供屏幕空间的局部上下文，专用 PS 决定怎样解释相同材质输入。相比把所有分支塞进一个 PS，这种方案更容易控制变体，可能也减少单次 shader 内的动态分支。但协议隐含在位掩码里，工具、文档和调试可视化必须跟上，否则一次看起来无害的新 bit 就可能破坏旧谓词。

3.5 Face/Eye writer 写入后续可读的关系#

Face 和 Eye 在此有两种身份。它们各自先以 ToonFace 表面材质写正常角色 payload，随后用原 section 范围执行 Stencil writer。后两次事件是 EID 519 和 530：Eye 使用 first_index=312297、index_count=1488，Face 使用 first_index=84564、index_count=13302；八个颜色 attachment 的 write mask 全部为零，Stencil 为 AlwaysTrue + Replace、reference=0x06、writeMask=0xFE。两个的像素 shader 都声明了两张纹理且带 discard，因此最终写入的 Stencil 轮廓还可能受材质裁切影响，不能简单等于 section 全部三角形投影。

writer 的职责很明确：未生成可见颜色，而是在已有几何可见性上留下一个能被后续 Bangs 查询的屏幕空间关系。代入前面的等价式，writer 在保留 bit0 的同时写入 0x02|0x04。0x02 维持角色大类，新增的 0x04 让这批像素进入 Bangs 的另一种 canonical 分区。可确认的是新增位参与了后续选择；进一步命名为眼睛遮挡、脸部阴影或 SDF 开关，则超出了固定状态能给出的语义。

F3-1 的实际字节计数：EID 519 后出现 1,506 个值 6 的像素，EID 530 后增加到 3,171 个，EID 541 后计数保持不变。这验证了三件事：第一，状态字母确实由帧内像素写出，不只是 PSO 上理论可能；第二，Eye 和 Face 的写入按命令顺序逐步累积；第三，541 的 Keep 未将 6 改回 2。只看终帧 Stencil 会丢失这种因果顺序。

一种更简单的替代设计是在 Bangs 像素 shader 中直接读 Face/Eye 的深度、材质 ID 或某张脸部 mask，然后动态判断。现有捕获无法证明开发者为何不这样做，但 Stencil 路由的工程收益可分析：writer 把复杂的几何/裁切判定压缩成一位，后续 compare 由固定管线完成；Bangs 的两个 PS 因此可分别编译，避免在一个 shader 内让所有像素携带相同分支和资源路径。代价是多了 writer draw、对顺序和深度状态更敏感，且 bit 的所有权必须跨材质协调。

Stencil writer 与 ToonFace 的具体面部着色是分开的。Face_D、Eye_D 的运行时身份属 near-identical decoded，Face/Eye MI 中的 SDF、阈值、视差和高光参数表明局部材质有专门输入；但 writer 的颜色 write mask 为零，不能用这两次事件证明这些输入如何形成最终脸色或眼睛高光。它们在本章的证据作用仅限于建立供刘海读取的 0x04 相关状态。材质画自己和材质给别的 section 留标签，是两件事。

3.6 几何、Depth 与事件顺序共同收缩覆盖#

如果 0x02 和 0x06 都通过了 541，为什么 F3-2 的变化仍呈现出具体的刘海投影形状？因为一个 draw 的实际写入集合是多个条件的交集：

1
observed writes
2
= rasterized Bangs fragments
3
∩ viewport/scissor
4
∩ depth-test pass
5
∩ stencil-test pass
6
∩ pixel-shader survival
7
∩ enabled RT channels

EID 541 重放完整 Bangs 索引范围，用 Back cull、GreaterEqual 深度测试、关深度写入、只开 RT1.B。捕获使用反向深度比较，GreaterEqual 的数值方向不能按传统 less-than 直觉解释；关键是它要求 Bangs 片元与已建立的深度关系成立。0x1A 仅排除了某些 Stencil 状态，几何投影和深度才把通过集合收缩到画面上实际可见的像素。541 的变化与脸/刘海交界有关这个推断，可以结合位置和顺序得出；但宣称它由 0x04 脸域位限定，与位运算直接冲突。

560 和 582 必须结合顺序理解。560 在 normal-role canonical 状态上写 Bangs 表面并打开深度写入；随后 EID 571 绘制 Hair 主体；582 再在 0x04 置位状态上画 Bangs 的另一分支。对 F3-3 做像素差分时，582 的基线必须是 571 之后，而非 560 之后。若跨过中间的 Hair draw，差分会把 Hair 对 MRT 的改变错误归到 582。这个基线选择决定了图展示的是事件增量还是一段混杂的命令区间。

两次 Bangs 表面 draw 共用相同的顶点 shader 短指纹 A288CE49…5BB3，像素 shader 分别为 3752BD13…DC2E 和 2FCB853D…40EC。几何变换路径保持一致，不同的 PS 搭配不同的 Stencil predicate 构成两个表面分支。这能排除第二次只是相同 PSO 的重复提交，但无法确定两个 PS 内部改变了法线、颜色、高光、透明度还是某个 payload 字段。

Depth 写入引入了一个容易忽略的耦合。560 通过后更新深度和 Stencil；582 需要在之后仍能通过自己的深度与 Stencil 条件。当前实际输出说明该排序在本帧成立，但不能由此推断交换两次 draw 仍等价。检验顺序是否为语义合同的最小实验：在可控 replay 中分别跳过 560、跳过 582、交换事件或仅禁用深度写入，随后比较 Stencil、各 MRT 与最终 Kuro Toon 输出。所有实验必须保持相机、姿态、裁剪、光源和曝光不变。

3.7 变化像素与执行像素的区分#

F3-3、F3-4 使用 attachment 差分。某个像素只有事件前后至少一个已导出字节不同时才进入变化集合。这一定义可复算、可审计，但存在三个盲区。

第一，shader 可能执行但写回的值与原来相同，此时差分为零，变化集合是可观测下界，并非 fragment invocation 的完整集合。第二，EID 582 的 RT3 导出为零字节，现有计算只汇总了六个可读 attachment；若 582 的主要差异落在缺失通道，319 个像素会严重低估其实际覆盖。第三，跨 attachment 的最大差分仅回答哪里有变化，不会自动给每个通道赋予 base color、normal、roughness 或自定义 payload 等业务含义。

Stencil 导出同样有不同边界。F3-1 是每个保存节点后的实际 Stencil 字节，能证明字母表和状态转移；F3-D1/D2 是固定管线 predicate 对 0..255 的确定性求值，能证明逻辑集合。前者未直接给出某个 draw 的 tested-pixel mask，后者未给出帧内每个屏幕位置持有的值。两类证据按坐标结合才能得到捕获级测试覆盖。

F3-2 对 RT1.B 的结论停在写入事实。变化后字节 127 对应 UNORM 约 0.498，可能是一个居中控制值，也可能只是量化后的编码常量。在拿到第一个 consumer 的读取、解码和扰动结果之前，不能把 0.498 直接解释为一半阴影、零中心偏移或布尔标记。数值可见不等于语义已知。保留这个边界，后续实验才具有判别力——不同候选语义对 0/0.498/1 的响应应该不同。

本章对四类图使用四种不同的动词：

把通过、持有、变化、执行混成一个覆盖，后续关于脸域、刘海阴影和材质分支的推理就多走了一步。

3.8 三次绘制的成本分配#

为什么不一次画完 Bangs？从捕获能确认的结构看，开发者把同一份工作拆成了三种成本轮廓。541 复用完整几何，但不采样纹理、不写深度、只写一个 8-bit 通道；560/582 复用同一个 VS 和七张声明的纹理，让固定管线先按状态筛选，再分别执行两个 PS。额外的 draw call 和几何重放换来了更窄的颜色带宽、更明确的 shader 变体，以及由 Stencil 预分类的局部执行域。

这种选择并不天然更快。Bangs 有 29,307 个索引，三次提交会产生额外的顶点处理、状态切换和栅格化开销；Face/Eye writer 也有自己的 draw。反之，若让一个 PS 同时承担控制写入、普通刘海和脸域交互，可能需要更多资源绑定、动态分支和输出路径，wavefront 内不同像素的分歧也会增加。目前证据只能说明架构选了多 pass 预分类这一侧，从一帧捕获无法推导 GPU 时间优势。性能结论需要 event duration、管线统计和受控开关测试。

美术控制上的收益更直观。Face/Eye 声明屏幕空间关系，Bangs 决定自己如何响应；两者无需共享拓扑切割，也无需把脸域边界永久烘进刘海 UV。角色换姿态或相机运动后，关系由当帧几何和深度重新生成。若将来同一套 Bangs 材质用于另一张脸，只要 writer 和 consumer 对 bit 和 payload 的合同保持一致，协议即可复用。代价是这种关系在材质编辑器里不够直观：单看 Bangs MI 找不到 541 的常量写入，单看 Face MI 也看不到 582 的读取分支。

对于迁移和工具设计，关键在于可观察的层次。一个合格的调试视图应并排显示 section、当前 Stencil 字节、541 前后 RT1.B、560/582 可观测 MRT 增量，以及最终 resolve 差异，每层可单独冻结。这样才能判断错误来自几何映射、writer、predicate、局部 PS，还是全屏解释器。若在 Blender 中直接拿一张手绘脸部 mask 追踪终帧相似度，短期可能更快，但长期无法回答原协议在视角、姿态和遮挡变化下的工作方式。

本章确认了一组跨模块合同：Face/Eye 以无颜色写入建立 0x04 相关状态；541 在完整 Bangs 可见覆盖上只改 RT1.B，语义仍未闭合；560/582 在 canonical 状态上选择两个不同 PS；560 的 Replace 将其分支收敛回 0x02 相关状态；完整 8 位空间仍保留 112 个双命中值。这份合同足以指导下一轮 pixel history、consumer 追踪和行为重建，也表明开发者是在设计一套角色内部路由，而非将七个材质彼此孤立地堆在一帧中。

4.1 低四位是稳定的五区域字母表#

对 Cloth、Down、Up 三张原始 RGID PNG 逐像素枚举，原始字节分别有 15、15、13 种取值，但执行：

1
region = value & 0x0F
2
high_nibble = value >> 4

三张图的 region 都严格只出现 0、1、2、3、4。这是对 4,194,304 个字节逐一计算的结果，非凭文件名或颜色猜测。材质实例中存在 0_... 到 4_... 五组编号化参数，低四位作五区域选择器是目前最强解释。仍标为 inferred，原因是未在 Kuro Toon 内部定位到最终的索引语句——统计结构与参数结构对齐，尚不等于源码变量名已知。

图 F4-1（DERIVED）。来源：../fig/raw/source/textures/T_R2T1XigelikaMd10011Down_RGID.png；处理：原始字节、value & 0x0F、value >> 4 与低位离散着色，所有 mask 使用 nearest-neighbor；支持的主张：低四位形成清晰的 0–4 分区，高四位也携带非零结构；不支持或尚未证明：图没有给高位赋予任何开关名称，也没有证明低位在最终 resolve 中的具体采样代码。Claim：C-RGID-LOW-NIBBLE、C-RGID-HIGH-NIBBLE。

三件服装并排后，低位区域的共同语法更明显。编号沿 UV 岛和装饰结构交错出现，而非按整张贴图从左到右分块：主体面料、边缘、装饰带、金属或高亮局部可以在一个 section 内被重新分组。对美术生产而言，这比新增材质槽更轻：网格拓扑保持不变，换色或局部响应靠一张低成本索引纹理和五组参数完成。

图 F4-2（DERIVED）。来源：Cloth_RGID、Down_RGID、Up_RGID 的原始字节；处理：同一低四位公式、同一离散 palette、nearest-neighbor；支持的主张：三个 ToonCommon 实例共享 0–4 区域字母表，区域空间形状则由各自 UV 与资产决定；不支持或尚未证明：相同编号不意味着三个实例的颜色、Ramp、PBR 或发光参数数值相同。

区域编号不同于材质类型。编号 2 在 Down 上可能对应一块装饰，在 Cloth 上可能位于另一种织物岛；运行时实际取到的属性来自当前 MI 的第 2 组参数。低四位更像局部数组索引，非全角色统一的语义枚举。Blender 迁移时应保留数值索引和每个实例自己的参数表，勿将 0–4 硬编码为皮肤、金属、布料等跨资产名称。

性能方面，单字节区域图让一个 draw 处理多个局部外观，减少了 section 和 PSO 切换；代价是 shader 需要选择参数组，美术资产、MI 参数命名和调试工具必须对编号保持一致。若区域数量将来超过 16，低 nibble 的容量会成为硬限制。目前仅用五类，空间充足。

4.2 高四位的未知语义#

高位非零像素不是随机噪点。重新统计得到：

这些像素沿特定 UV 边缘和局部花纹分布，说明高位是资产结构的一部分，但业务含义未知。它可能是第二个索引、布尔标志组合、局部 Ramp 选择、描边或特效控制，也可能只是离线打包流程保留的字段。仅靠 1.8%、4.15%、2.22% 的频率无法在这些候选解释中裁决。

图 F4-3（DERIVED）。来源：三张原始 RGID；处理：(value >> 4) != 0 二值化与 Down 原图叠加，mask 采用 nearest-neighbor；支持的主张：高四位非零区域稀疏但空间上有组织，比例可由脚本复算；不支持或尚未证明：任何具体材质开关、Ramp 分支或轮廓语义。Claim：C-RGID-HIGH-NIBBLE。

最小实验是建立高位值分层 A/B，而不是看图猜名称。固定相机、灯光与曝光，把高四位分别清零、保持原值、替换为单一值，低四位不变；在 BasePass GBuffer、Kuro Toon 输出和最终 SceneColor 三个阶段找第一个发生变化的资源。若变化在 BasePass 出现，高位可能参与局部 payload 写入；若 BasePass 不变而 Kuro resolve 变化，它更可能是下游解释字段；若全链无差别，还需检查当前变体是否消费它。

未知项落到操纵哪个变量、观察哪个最早输出、怎样算通过，而非在文章结尾列一堆名词。高位现保留为 unknown upper field。

4.3 Packed Normal：R/G 重建 Z#

Down_N、Up_N、Cloth_N 还有一个异常——B 通道最大值只有 4，而 R/G 呈现完整的法线式变化图。对 R/G 做：

1
x = 2R - 1
2
y = 2G - 1
3
z = sqrt(max(1 - x*x - y*y, 0))

三张图落在 XY 单位圆内的像素比例分别是 99.992394%、99.963474%、99.991226%，强烈支持 R/G 存切线空间 XY、Z 在使用时重建的行为模型。剩余极少量越界像素可由量化、边界或无效 UV 区域解释，脚本用 max(...,0) 保持数值稳定。

图 F4-4（DERIVED）。来源：Down_N.png 的 R/G；处理：UNORM→signed XY、单位半球 Z 重建与 RGB 显示，统一固定范围；支持的主张：R/G 形成可复算的法线 XY，重建后得到连续的单位半球可视化；不支持或尚未证明：这不是 shader 反编译结果，B/A 的业务用途仍未知，切线基与最终世界空间变换也未在图中恢复。Claim：C-NORMAL-XY。

专门展示错误地使用 B 这个候选，是因为离线 PNG 有四个通道，最自然的迁移错误就是把 RGB 直接连到 Normal。但 B 最大只有 4，映射到 signed 范围后几乎恒为 -1；再归一化会把大量法线压到错误半球。这个错误在静态材质球上可能只是光有点奇怪，容易被调灯光掩盖，但实际是系统性崩溃。

图 F4-5（DERIVED COUNTEREXAMPLE）。来源：同一 Down_N；处理：A 使用 R/G 重建 Z，B 把存储 B 映射为 Z 后归一化，C 为逐通道绝对差，D 为误差大于 1/255 的离散 mask；支持的主张：两种解释产生系统性而非局部误差，因此 Blender 迁移不能直接把 RGB 当完整法线；不支持或尚未证明：A 是证据支持的迁移假说，不是对原 shader 高级源码的逐句复原。

法线打包的开发收益：R/G 可用适合二维法线的压缩方案，B/A 留给其他低频控制或打包字段，下游统一重建 Z。成本是离线工具必须知道通道合同，边界像素需要安全钳制。若工具按普通 RGB 法线导入，结果可能看起来还能用，但后面所有 Ramp、specular 和 outline 调参都建立在错误基线上。

4.4 Cloth：家族内特例#

Cloth 的 PSO 和 MI 暴露了 NoCull、双面、discard、clip≈0.3333、FX 和 HDR emission 这些特征。它比 Up/Down 多了一组透明裁切和双面处理，但 section 仍进入 ToonCommon 家族、使用相同的 RGID/packed-normal 组织方式，并参与同一角色路由。把 Cloth 单独命名成另一套光照模型夸大了差异。

开发者选择了共享局部 payload 合同，在几何可见性和特效字段上派生变体。布料边缘需要 discard，薄片需要双面，装饰需要 emission——这些要求改变 BasePass 如何产生像素，但不必改变后续角色光照对 ToonCommon payload 的识别。这样既保留统一 resolve，也允许材质域内的必要特例。

代价在于变体数量。NoCull、masked、FX、emission 的组合可能生成更多 PSO；discard 还会影响 early-Z 效率。开发者似乎接受了这部分局部成本，以省去把衣片拆成更多 section。Blender 迁移也应先复刻同一家族变体的结构：公共 RGID/normal 解码放在一处，Cloth 仅在双面、alpha clip 和 emission 上加分支，而非复制整张网络。

Shading ID 12 只说明这是正常角色表面，不能独自决定每个区域的外观；ToonCommon payload 里的低位区域、参数组和重建法线提供了更细的解释输入。下一章 ToonHair 沿用相同原则，将二维区域控制扩展为 HM/HN/HR 的方向性行为。

5.1 HM：高分辨率局部权重#

HM 的 R/G/B 并非同一张灰度图的复制。Hair 和 Bangs 各通道的空间图案不同：某些发束集中在 R，另一些结构在 G/B，Alpha 基本恒定。这支持多通道 mask 或权重集合的解释，但不支持将任一通道直接命名为主高光、次高光或遮蔽。

图 F5-1（RAW CHANNELS）。来源：Hair_HM 与 Bangs_HM 原始 2048×2048 PNG；处理：RGBA 按固定 [0,255] 灰度拆分、共享显示范围；支持的主张：HM 是多通道且 Hair/Bangs 空间内容不同，足以提供发束级局部权重；不支持或尚未证明：各通道的 shader 变量名、混合公式和最终高光含义。Claim：C-HAIR-BEHAVIOR-MODEL。

HM 使用 2048 分辨率有其设计意图。高光位置随视角变化，但美术希望发束边界、局部弱化和装饰遮挡稳定贴在模型上，高分辨率 mask 可承载这种 UV 空间结构。若所有形状都由屏幕空间法线即时推导，美术很难精确控制某根发束；若把最终高光直接烘进颜色，视角变化又会失真。HM 介于两者之间：提供局部可控权重，让后续方向输入和参数决定动态部分。

5.2 HN：较低分辨率的二维输入#

HN 的 R/G 变化丰富，B/A 固定 255。将 R/G 映射到 [-1,1]，可确定性计算角度和长度，得到二维场可视化。这个场仅描述像素值分布，不声称它已经是切线、梳理方向或最终高光坐标。

图 F5-2（DERIVED）。来源：Hair_HN、Bangs_HN；处理：R/G 原通道、x=2R-1、y=2G-1、atan2(y,x) 色相和 length(xy) 灰度；支持的主张：HN 的有效变化集中于二维输入，Hair/Bangs 的方向结构不同；不支持或尚未证明：角度图是分析可视化，不等于运行时使用的向量空间或采样公式。

HN 为 512 而 HM 为 2048，合理推断是方向/坐标场比局部权重更平滑，低分辨率已足够；四倍边长差带来的内存和带宽节省显著。另一种可能是 HN 并非方向，而是两路独立标量。R/G 可视化仅证明二维结构，不能排除这种用法。最小实验应分别把 R、G 钳制到 0.5，在相同相机轨迹上比较高光是移动、变宽还是仅强度变化。

5.3 HR：四行查表#

512×4 的 HR 若按普通纹理缩略图显示，几乎是一条线。用 nearest-neighbor 放大并拆行后，四行各自有连续的颜色/强度变化，逐行平均曲线也各不相同。这种形态更接近四条一维 Ramp 或一个有四离散层的 lookup，而非给 UV 岛贴的二维图案。

图 F5-3（RAW/DERIVED）。来源：Hair_HR 512×4 原始 PNG；处理：nearest-neighbor 放大、四行分离与逐行 RGB 平均曲线；支持的主张：资源由四条可区分的横向查表组成，横轴可承载连续 lookup；不支持或尚未证明：哪一个参数选择行、横坐标怎样计算、返回值表示颜色还是强度。

四行设计的收益是把艺术曲线塞进极小纹理：shader 计算一个连续坐标，按某个离散类别选行，即可获得可编辑的色带或强度响应。对比把复杂曲线硬编码进 shader，Ramp 更容易被美术迭代；对比完整二维 LUT，512×4 的缓存和带宽代价极低。风险是采样精度、行间过滤和颜色空间必须严格设置，否则四行会互相污染或在不同工具中产生不一致。

5.4 运行时身份：同源不是同文件#

Hair_HN、Bangs_HN、Hair_HR 三项在解码像素层达到了 pixel-exact；Hair/Bangs 的 HM、FTM 等多项属于 near-identical decoded。下面直接比较 HM 的本地 PNG 和捕获 preview。Hair_HM 的差异极少，Bangs_HM 也只在少量字节上有 1 级误差——但这仍然不能写成文件哈希相同。

图 F5-4（DERIVED）。来源：本地 Hair_HM/Bangs_HM 与 EID 571 ResourceId::1197815、EID 560 ResourceId::1197795；处理：同尺寸精确对齐、UNORM 字节绝对差、共享差分显示和变化像素 mask；支持的主张：两组与本地资产高度同源且属于 near-identical decoded；不支持或尚未证明：解码近似不等于 PNG 文件、GPU 压缩块或资源容器 byte-exact。

名字相同或纹理相近不足以确认捕获绑定的就是离线解包的那一张；反过来，少量压缩误差也不该被错判为不同资产。3/8/8 分级保留了这种中间状态：零像素误差进 pixel-exact，极高相关加极小误差进 near-identical decoded，其余保持 unresolved。

5.5 安全的行为模型与它的边界#

目前证据允许写出的模型是：

1
HM：局部区域或权重
2
× HN：二维方向/坐标候选输入
3
→ Position / Width 参数：形状与位置控制
4
→ HR：一维连续查表与四行离散选择
5
→ 头发 payload，随后由角色 resolve 解释

箭头表示数据职责，非已确认的乘法次序。HM 和 HN 可能先混合，也可能各自影响坐标和幅度；Position/Width 可能在多个高光层上使用；HR 可能输出 RGB，也可能只是中间权重。这些不确定性应被保留。

从 Hair 到 Bangs，模型又多了一层屏幕空间上下文。Hair 主体在 EID 571 做一次表面写入；Bangs 除了 HM/HN/HR 型输入，还经历了 541 的 RT1.B 控制写入，以及 560/582 的 Stencil 分区。Bangs 是头发行为与脸域交互的复合实例，而非另一种独立头发材质。

方向性高光由可复用的 ToonHair 家族处理，脸部交界问题由 Stencil 和专用 pass 处理；Hair/Bangs 能共享大部分输入合同，又不让整个头发 shader 承载脸域分支。成本是 Bangs draw 增加、状态排序更严格、RT1.B 下游语义变得隐含。调试工具宜同时提供 HM/HN/HR 通道查看、Stencil canonical 值和 RT1.B consumer 跟踪，否则单看材质面板无法理解终帧。

Blender 复刻时，第一阶段仅实现证据支持的输入层：HM 四通道、HN.RG signed 解码、HR 四行 nearest/linear 采样选择、三组 Position/Width 参数容器。第二阶段用受控测试逐项确定通道作用，而非先调出一张相似截图再倒推公式。固定相机轨迹下的高光位置、宽度、强度和遮挡均分别对齐后，行为模型才可升级。

6.1 为何未合并为一个 outline draw#

Up 和 Down 完全共用 outline VS/PS，开发者未给每件衣物准备独立算法。但 Cloth 保留了 discard，Hair 用了另一份 VS，Bangs 和 Face 又各有变体，反壳并非无条件的统一法线膨胀。所有 section 遵守共同的反壳加 ID 13 输出协议，但在顶点扩张、裁切和局部参数读取上允许变体。

这样拆分的好处：第一，轮廓宽度或扩张方向可按部件控制，长发、身体衣片和脸部不必接受同一尺度。第二，Cloth 仍可丢弃不应产生壳层的像素，避免镂空或装饰区域被一圈实线封住。第三，原 section 和骨骼蒙皮关系被保留，轮廓随动画和局部变形移动，不依赖终帧边缘检测去重新猜测对象边界。

成本：角色在正常表面之后又提交六次完整 indexed draw，增加顶点处理、栅格化和状态切换；膨胀壳层还可能在凹面、细发束和相邻 section 接缝处穿插。分 section 调参能缓解问题，但也把资产规范、材质参数和 shader 变体绑得更紧。若某个 section 的顶点方向、蒙皮法线或宽度数据异常，错误会直接表现为局部轮廓断裂。

6.2 ID 13：可解释性#

如果反壳只管画一圈固定黑色，最短路径可以是前向透明叠加或直接写 SceneColor。这里偏偏让壳层继续写角色 MRT，还用 ID 13 跟正常表面的 ID 12 区分。可以推断，开发者希望后续角色 resolve 能识别轮廓表面像素，而非把它当普通衣料、头发或皮肤重新照明。

但 ID 13 的内部公式仍未知。它可能选固定色，也可能改变受光、雾、环境反射或材质参数的读取方式；当前结构化状态只证明 ID 被打包，不提供 ID 12/13 在 EID 1377 内部的逐指令分支。RT5 对所有 outline draw 都关掉了写入，同样只能确认轮廓 payload 有意缺少或保留了该目标中的既有内容。

与屏幕空间边缘检测比，反壳对对象身份更稳定，也不会把脸部明暗分界误判为外轮廓；与单次整角色反壳比，六 section 提供了更细的美术控制。替代解释仍需保留：不同 VS 可能来自编译变体、顶点格式或蒙皮路径，不一定全对应肉眼可见的宽度差异；不同 PS 也可能仅为 discard 或资源布局服务。区分这些需要实际导出 outline-only、逐 section build-up，以及同一顶点在正常 VS 和 outline VS 后的位置差，目前标为 pending。

待补证据 F6-1｜ID 12/13 与反壳轮廓的实际 GBuffer 分布

需要： EID 582 后的 outline-off 基线、EID 599→608→619→631→642→653 的同资源逐步输出、outline-only 差分，以及经 DXIL/output signature 确认的 Shading ID 通道。

当前能确认： 六个 draw 精确复用六个 section，使用 Front Cull、写 ID 13，并统一关闭 RT5 写入；正常表面打包 ID 12。

当前不能确认： ID 12/13 的实际屏幕分布、各 section 可见宽度/颜色差异，以及顶点阶段的扩张方向、距离补偿或顶点色权重公式。采集合同见 capture-todo.md。

本章可闭合的是轮廓仍属于角色协议，非轮廓公式已还原。Blender 迁移时，第一版应保留六个材质区独立控制、Front Cull 反壳与 outline role ID 三项行为；具体膨胀算法作为候选实现，在固定相机距离与多个视角下比较，不能因某一张截图边缘接近就定案。

7.1 四个层次不能混为一谈#

把证据拆成四层：

Stencil bit 0x02 充当粗粒度路由标签。没有该位的场景像素交给标准 deferred 路径；带该位的角色协议像素交给 Kuro Toon resolve。上游 BasePass 写好 GBuffer、Stencil 和 Shading ID 即可；下游两个专用阶段各处理自己的域。

图 F7-1（RAW/DERIVED）。来源：EID 1377 后保存的 D32S8 Stencil 与 ResourceId::1430956 HDR 场景上下文；处理：在同一 2560×1440 Stencil byte 上分别计算 (S&0x02)==0 与 (S&0x02)==0x02，使用固定角色裁剪、nearest-neighbor 离散 mask 和共享 Reinhard→sRGB 上下文显示；支持的主张：C-LIGHT-1363-1377-ROUTE，捕获中 standard domain 为 2,956,118 像素、Toon domain 为 730,282 像素，overlap 为 0、union 为 3,686,400；不支持或尚未证明：tested coverage 不表示两套 shader 的亮度、计算量或内部公式，也不证明每个通过像素都产生非零 SceneColor 增量。

图中的两种颜色仅表示集合，非普通像素先变成橙色再被蓝色覆盖。同一角色附近同时有头发、衣物、背景和透明物，终帧颜色边界无法可靠替代 Stencil tested pixels。只有对保存的 byte 逐像素执行已确认的 predicate，才能回答两个 pass 实际被允许处理哪些位置。

7.2 前后差分#

EID 1363 和 1377 之间还有 EID 1369、1376，但 action signature 显示它们不写 ResourceId::1430956。同一 HDR 资源在 1363 后和 1377 后的差分，可以隔离这个区间内唯一一次 SceneColor 写入。这是完成 bit 0x02 清零域之后到再完成置位域之后的增量，而非两套光照在同一像素上的 A/B。

图 F7-2（DERIVED FROM RAW）。来源：EID 1363 与 1377 后同一 ResourceId::1430956 的线性 RGBA EXR；处理：精确配准、固定角色裁剪、共享 Reinhard→sRGB 显示，在线性 float 上计算 absolute diff，并以 epsilon 1e-6 生成变化像素；支持的主张：C-LIGHT-1363-1377-ROUTE，该区间变化像素比例为 0.19809434678819443，变化像素数 730,255，与 Toon tested domain 的规模高度一致，最大绝对通道差为 2.5712890625；不支持或尚未证明：差分不恢复 KuroToonShadingPixelShader 的内部计算，也不能把 ID 12 与 ID 13 的具体输出效果从总增量中分离。

730,255 个变化像素比 730,282 个 tested 像素少了 27 个，这不构成路由矛盾。通过 Stencil 只意味着 shader invocation 有资格作用于像素；输出可能恰好保持原值、被写成数值一样的结果，或者因为 epsilon 阈值没进入变化 mask。反过来说，两个数量接近也不等于逐像素一一对应——仍然应该用保存的 coverage 和 HDR 差分分别去描述。

F7-2 纠正的是事件级叙事，非替代 shader debug。它确认了 1377 向同一 SceneColor 写入了可见的角色域结果，且这段变化能与 bit 0x02 tested domain 对照；但未给出 ID 12 如何计算普通角色表面、ID 13 如何计算轮廓，也未证明二者仅差一个颜色常量。ID 12/13 更像是角色域内部的第二级解释键，而 Stencil bit 0x02 是进入角色 resolve 的第一级门。前者的逐像素分支仍是未知项。

7.3 两个 pass 的代价与收益#

把标准域和 Toon 域拆成两个全屏阶段，避免了在一个巨型 shader 里让每个像素都携带角色和非角色的大量分支。Stencil early test 先过滤像素，两套 PS 各自维持适合自己的资源布局和数学模型；普通场景继续使用成熟的延迟照明，角色则获得 Ramp、离散 ID、面部/头发控制量等专用解释空间。角色 shader 可以独立迭代，无需把风格化逻辑塞进所有场景材质。

代价是额外的全屏提交、更多 PSO 和资源绑定，以及一个必须横跨 BasePass、Stencil writer、outline 和 lighting resolve 保持一致的协议。任何一个上游 writer 漏写 0x02、错误保留旧 bit、或者把非角色对象标进了角色域，像素就会被送进错误的光照分支。边缘处的 MSAA、深度覆盖和透明合成也得另行处理。

替代架构包括单次 deferred shader 内按 Material ID 分支，或先统一照明再做纯颜色后处理。当前捕获证明本帧未选这两种方案，而是用了两个 Stencil 路由的 lighting pass。其动机（性能、着色自由度、引擎兼容或团队工作流）属于推断范畴，可确认的是机制和成本边界。

8.1 Toon 与 Reflection 分离的设计#

这条顺序体现了清晰的职责分配：角色明暗块、Ramp 和轮廓解释由 Kuro Toon 阶段负责；SSR、天空和环境一致性留给后面的场景级模块。这样角色可保持非写实的局部受光，同时金属装饰、光滑衣片或环境高亮仍有机会带来空间联系。若所有反射都在每个 Toon 材质内部各自实现，资源访问、质量开关和场景一致性将更难统一。

工程收益是模块复用：SSR 和 Reflection composite 服务整帧，角色仅需通过 GBuffer 提供足够的法线、粗糙度或其他候选控制字段。代价是一个 2560×1440 的四通道半精度浮点中间量会增加显存和带宽压力；角色 GBuffer 的字段约定必须与通用反射模块兼容。若 Toon resolve 产出的法线、粗糙度或 SceneColor 与后续模块预期不一致，角色可能出现亮度过高的反射、轮廓被环境污染或风格块面被连续高光破坏。

这里仍有多个替代解释。ResourceId::1430965 可以包含整帧 SSR，但角色在其中的实际贡献可能很小；某些角色材质也可能通过粗糙度、遮罩或后续条件基本拒绝了 SSR。1432 同时读环境和 GBuffer 输入，所以它的 SceneColor 增量不能直接等同于”SSR 贡献”，更不能泛化成每种角色材质都有明显屏幕空间反射。只有逐阶段 raw 输出和同 ROI 差分才能把 SSR intermediate、环境项和最终 composite 拆开。

待补证据 F8-1｜Kuro Toon、SSR 与 Reflection 的真实逐步输出

需要： EID 1377 后的 ResourceId::1430956、EID 1421 输出的 ResourceId::1430965、EID 1432 后的 ResourceId::1430956，均以线性 RGBA、相同 2560×1440 视口、固定角色 ROI 和共享显示变换导出，并计算可复算的 absolute diff。

当前能确认： 1421 写全分辨率 R16G16B16A16_FLOAT SSR 中间量；1432 读取它及 GBuffer／环境输入并写回同格式 SceneColor。

当前不能确认： 三阶段在角色各材质上的可见增量、SSR 与环境反射的独立占比，以及轮廓 ID 13 是否参与或抑制反射。采集合同见 capture-todo.md。

当前最强结论是资源级模块关系，非视觉贡献比例：Toon resolve、SSR generation 和 Reflection composite 在命令和资源上形成连续链，角色风格化结果未脱离后续场景合成。F8-1 的 raw 输出补齐前，不能将此链画成已观测的逐步成片，也不能仅凭事件顺序为任何材质指定反射强度。

9.1 P0 优先于画面调参#

P0 的项决定了如何解释其他所有证据。若 RT1.B 实际不是头脸衰减量，围绕刘海阴影搭建的 Blender 节点从根上就错了；若 12/13 不是 surface/outline 的真实 resolve 分支，outline 合成也不能按当前候选写死；若 560/582 的差异主要来自绑定而非算法，复制两套复杂网络只会加倍放大误差。

P0 内部存在依赖。RT1.B 需先闭合 writer-to-consumer，再讨论它参与哪个 Bangs PS；ID 12/13 需先定位实际 GBuffer 通道，再分析 outline 如何被 1377 解释；Outline VS 必须在轮廓宽度迁移之前确认扩张空间。这些问题均可通过 RDC replay、DXIL、PSO、资源和受控 A/B 直接回答。

P1 解决字段命名和帧尾贡献问题。高四位、N.B/A、unnamed MainPS 和 SSR 都可能影响视觉，但不会推翻已确认的 section、Stencil 和材质族框架。应在 P0 稳定后逐个做最小实验，避免在多个未知变量同时变化时解释最终 SceneColor。

P2 最后执行，因为 Blender 画面相似度只有在上游合同明确后才有诊断价值。原始证据缺失时应补充对应 raw capture、保留 pending，而非拿惯例填空。实验失败也应回填：无法定位 consumer、覆写无变化或跨帧不稳定，都是限定适用范围的证据。

9.2 通过标准#

每项实验需满足：第一，事件、ResourceId、shader hash、通道和像素坐标唯一锚定；第二，除目标变量外，相机、姿态、灯光、曝光、色彩管理与裁剪保持固定；第三，从最早可能变化的中间资源开始观察，不只看经过多级合成的终帧；第四，差分使用共享范围并保存原始 before/after 与 companion metrics；第五，结论仅覆盖实际验证的像素、section、变体和帧。

某个覆写让画面暗了一点不算通过；某个值在明确指令被读取、改变后首先影响 RTx.y、随后以可复算方式改变固定 ROI，才算通过。这个标准较保守，但能让 unknown 真正缩小，而非换一个更好听的名字。