Slang 生成式文档质检实战target-pipelines 索引页 AI Review 报告深度解读【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang本篇围绕 Slang 仓库中一份由 AI 审阅器gpt-5.6-sol针对生成文档 target-pipelines/index.md 产出的 review 报告展开。该文档是 Slang 编译器每目标 IR 流水线系列的导航索引页报告记录了 5 项发现2 项 critical、1 项 major、2 项 minor及其源码级证据。读完本文你将理解Slang 生成文档体系如何以契约contract 审阅review双机制保证文档与源码一致如何对照slang-emit.cpp、slang-emit-metal.cpp、slang-code-gen.cpp等源码逐条核验文档断言以及导航索引页与目标页在内容边界上的严格区分原则。报告概览front matter 与检查结论该 review 报告位于 docs/generated/design/_meta/reviews/target-pipelines/index.md.review.md其 YAML front matter 记录了完整的审阅元数据字段值含义review_reporttrue标记该文件是审阅报告而非普通文档reviewer_modelgpt-5.6-sol执行审阅的模型reviewed_at2026-08-04T12:05:1300:00审阅时间戳target_doctarget-pipelines/index.md被审阅的目标文档target_doc_source_commit53b76e6d3009b8e6434d41573524c7ce5c499d23审阅所依据的源码提交source_commit同上源码基线一致避免漂移checklistfactual_accuracy: fail、cross_references: pass、completeness: partial、style_consistency: fail、source_alignment: fail、front_matter_validity: pass六个维度的通过/失败判定finding_count5共 5 项发现severity_breakdowncritical: 2, major: 1, minor: 2, nit: 0严重度分布值得注意target_doc_watched_paths_digest记录了该文档监视路径watched paths的内容摘要哈希——这是生成文档体系中文档-源码绑定的机制基础当被监视的源码路径发生变化时摘要失配即可判定文档过期需要重新生成。报告的 Summary 给出总体结论原文翻译该页面具备契约要求的章节顺序、完整的五目标对比表、合法的 front matter 与可解析的链接但已不再符合紧凑导航索引契约。有两处关于源码行为的陈述具有误导性Metal 的printf并非受metallib_3_2能力原子capability atom门控HLSL/CUDA 被点名的通道pass也并非其目标专属工作的全部。大量通道级细节还重复了索引契约明确划归子页面child page的内容。审阅器实际执行了哪些检查Items checked报告逐条列出了检查动作这些动作本身就是高可信度文档审阅的方法论参考通读了目标文档、通用契约 _common.md、该文档专属提示词 target-pipelines-index.md、全部 7 个已解析的监视文件以及regenerate.py show报告的全部 5 个depends_on目标页面对照提交53b76e6d...核验源码抽查了 18 项事实性断言——包括枚举值、emitter 选择、下游转换downstream transition、目标 legalizer、循环行为与RequiredLoweringPassSet重新推导re-derive了正文中全部 12 处行号引用确认每一处引用的行号/行范围都与记录的源码提交匹配在记录的提交上解析了全部 34 处相对链接出现23 个唯一目标确认生成页面引用均为 manifest 条目无一悬空检查了必需章节、对比表列与行、兄弟页面覆盖、front matter 键、风格基础项并核对了 14,148 字节的文档是否低于 32,768 字节的体积上限。五项发现Findings全量解析报告的核心是一张 5 行发现表。以下完整继承该表并逐条结合当前仓库源码展开佐证。ID严重度位置描述证据修复建议F-001critical## PagesMetal 条目第 41-46 行文档称 Metalprintf受metallib_3_2能力原子门控。实际上 emitter 遇到printf时只是记录了对 MSL 3.2 的需求下游代码在没有 metallib 原子时也会显式处理这一情形。slang-emit-metal.cpp:903-910调用requireMetalLanguageVersion(3, 2)与requireLogging()slang-code-gen.cpp:783-800说明printf即便没有 metallib 原子也输出 metal3.2并将 emitter 记录的语言版本并入下游编译选项。用下面的表述替换能力门控说法Metalprintf会使 emitter 要求 MSL 3.2并为下游编译启用 Metal logging。F-002critical## Cross-target comparisoncaveat第 126-134 行HLSL 和 CUDA 把工作散布在若干独立 switch arm 上而上述被点名的通道就是其全部这一句是错的。对比表只点名了 2 个 HLSL 例子和 1 个 CUDA 专属通道但编排器中还包含两个家族的更多目标专属调用。HLSL 还额外运行legalizeNonVectorCompositeSelectslang-emit.cpp:1493-1499与wrapStructuredBuffersOfMatricesslang-emit.cpp:1988-2001CUDA 还额外运行synthesizeActiveMaskslang-emit.cpp:2158-2164与legalizeEntryPointVaryingParamsForCUDAslang-emit.cpp:2249-2253。删除上述被点名的通道就是其全部这句话只说 HLSL 和 CUDA 使用多个目标专属 arm具体清单留给子页面。F-003major## Pages至## Filtering rules尤其第 27-58 行与 124-229 行索引页包含了逐通道的行为细节、门控实现、装饰器清理、扫描顺序、通道结果变更等内容实质性违反了导航索引契约并与子页面内容重复。_common.md:377-423定义了紧凑索引契约并禁止per-pass detailstarget-pipelines-index.md:8-14,70-75同样声明这不是目标页不得记录任何通道。将每个页面条目压缩为一个从句只保留必需的四阶段概览与对比表把 Filtering 一节缩短为目标 arm 提醒移除通道级 caveat 与RequiredLoweringPassSet深挖。F-004minor引言段第 12-23 行首段解释了页面覆盖内容却没有指明目标读者违反了通用内容规则与逐文档受众声明。_common.md:65-66要求首段同时说明覆盖什么与写给谁target-pipelines-index.md:12-14将读者定义为需要选择对应目标流水线页的开发者。补一句受众短语如面向需要选择相关目标流水线页的编译器开发者。F-005minor## PagesCUDA 条目第 53-58 行PyTorch/slangpy路径是 autodiff 的主要消费者因此该门控在 CUDA 上最重要是一个比较性使用断言被监视源码与依赖中并不存在该依据。源码只确立了目标无关的 autodiff 门控以及 CUDA/PyTorch 相关路径。slang-emit.cpp:1446-1453中的 autodiff/strip 分支不带任何 CUDA 专属条件被引用的源码中不存在任何消费者频率数据。删除main consumer与matters most只总结源码实际记录的 CUDA/PyTorch autodiff 关联。F-001 佐证Metalprintf的真实机制当前仓库的源码印证了报告的判断。在 slang-emit-metal.cpp 中Metal 源发射器MetalSourceEmitter在处理printf时调用m_extensionTracker-requireMetalLanguageVersion(SemanticVersion(3, 2)); m_extensionTracker-requireLogging();即它只是向扩展跟踪器extension tracker记录了一个 MSL 3.2 版本需求与 logging 需求而不是检查某个metallib_3_2能力原子是否存在。随后在 slang-code-gen.cpp 的下游选项组装处PassThroughMode::MetalC分支可以看到合并逻辑若目标能力推导出metallib_4_0则语言版本取 4.0否则读取MetalExtensionTracker::getRequiredMetalLanguageVersion()即 emitter 在发射printf时记录的值若高于当前值则提升若getRequiresLogging()为真则在下游编译选项中置位CompileOptions::Flag::EnableLogging。因此正确表述是printf触发的是一条emitter 记录 → 下游选项合并的单向数据流能力原子体系metallib_4_0等只提供上限参考不构成printf的前置门控。这正是报告中 F-001 判为 critical 的原因——索引页的表述会让读者误以为没有metallib_3_2原子时printf根本无法工作。F-002 佐证HLSL/CUDA 的目标专属通道不止点名的那几个Slang 的核心 IR 编排器linkAndOptimizeIR定义于 slang-emit.cpp当前仓库中行号为 1005文档当时记录的基线为第 1000 行——行号会随源码演进漂移这正是审阅规则要求重新推导行号而非照抄的原因。该函数内部按目标切换switch arm分发大量通道。报告指出对比表只列了示例HLSL 侧legalizeRayPayloadAccessQualifiersForHLSL、validateBarrierFlagsForHLSL均为示例实际还包括legalizeNonVectorCompositeSelectslang-emit.cpp:1493-1499与wrapStructuredBuffersOfMatricesslang-emit.cpp:1988-2001CUDA 侧lowerImmutableBufferLoadForCUDA存在于 slang-ir-cuda-immutable-load.cpp是该目标家族唯一的专属通道之一实际还包括synthesizeActiveMaskslang-emit.cpp:2158-2164与legalizeEntryPointVaryingParamsForCUDAslang-emit.cpp:2249-2253。这与 F-002 的修复建议一致索引页只能陈述散布在多个 arm 上这一结构性事实逐通道清点inventory属于各子页面hlsl.md、cuda.md 等的职责。F-003 佐证索引契约与页面契约的边界生成文档体系的宪法是 _common.md其中定义了两种契约Target-pipeline page contract约第 374-409 行规范 5 个目标页的章节骨架——Conditional gates表须按requiredLoweringPassSet.*标志、目标选项、能力检查分组Loops in the pipeline须逐字引用源码中的循环界并明确禁止已存在于05-ir-passes.md的逐通道行为解释。Target-pipeline index contract第 411 行起明确规定索引页不是目标页——它不记录任何通道章节必须按序为# Target Pipelines标题、一段引言、## Pages单句条目列表、## Shared shape一次讲清四阶段、点名linkAndOptimizeIR为共享编排器且行号须重新推导而非照抄、## Cross-target comparison五列对比表、## Filtering rules、## See also。F-003 所指的违规正是索引页写出了逐通道行为、门控实现、装饰器清理、扫描顺序、通道结果变更等页面契约专属内容。这也解释了为何style_consistency与source_alignment两项 checklist 同时为 fail——前者是写了不该写的后者是写错了该写的。F-004 / F-005 佐证受众声明与不编造比较级断言F-004 的依据是 _common.md 第 65-66 行的通用内容规则正文第一段必须用平实语言说明文档覆盖什么、目标读者是谁而 target-pipelines-index.md 第 12-14 行已将读者明确定义为落到target-pipelines/子树下、需要挑对目标页并理解为何所有页面共享同一四阶段形状的开发者。F-005 的依据可在 slang-emit.cpp 第 1446-1453 行附近核验autodiff 分支的elsearmstripAutoDiffDecorations不携带任何isCUDATarget之类的条件——它是目标无关的。PyTorch 是主要消费者、故 CUDA 上该门控最重要这类频率比较断言在源码中没有任何数据支撑属于审阅体系明令禁止的由代码结构之外的信息推断事实。被审阅文档本体target-pipelines 索引页讲了什么为让读者完整理解这些发现的语境这里概述被审阅文档 index.md 的结构该页自述为每个目标流水线页的导航枢纽服务需要挑对目标页的编译器开发者## Pages——五个兄弟页的单条目概述spirv.mdSPIR-V 直接发射路径emitSPIRVForEntryPointsDirectly加 spirv-link / spirv-val / spirv-opt 下游链唯一含迭代式通道的目标hlsl.mdHLSL 源 DXCDXIL/ fxcDXBytecode下游覆盖 work-graph 特性集与precise限定的发射差异metal.mdMetal 源 Applemetal编译器下游覆盖printf映射到 MSL 3.2 shader-logging使 emitter 要求 MSL 3.2 并为下游编译启用 Metal logging、1.0h/1.0f字面量后缀、覆盖计数器 32 位上限wgsl.mdWGSL 源 TintWGSL → SPIR-V下游覆盖precise诊断WGSL 无此关键字、bool→int 以select(T(0), T(1), cond)形式发射以及shouldEmitSwitchCaseTerminatingBreak()策略覆盖cuda.mdCUDA C 源/头文件 nvrtcPTX下游外加一个## Adjacent targets小节交叉链接 PyTorch / OptiX / host-CPP 路径。## Shared shape——四阶段公共骨架Phase A链接与入口点准备、Phase B特化与类型合法化、Phase C目标合法化、降级、phi 消除、Phase D发射与下游工具。并记录了两处刻意偏差cuda 页多出一个## Adjacent targets节spirv 页的第四阶段标题不同因为 SPIR-V 的合法化驱动器legalizeIRForSPIRV运行在发射步骤内部而非linkAndOptimizeIR内部。## Cross-target comparison——五目标对比表枚举值 / Phase C 入口 / Phase D emitter / 下游工具 / 是否有循环。其中关于 SPIR-V 循环的重要 caveat 同样可在源码核验slang-ir-spirv-legalize.cpp 第 3129-3150 行声明了kMaxIterations 8与kMaxFuncIterations 16但两个iterationCounter/funcIterationCount从未被自增while (changed iterationCounter kMaxIterations)实际退化为while (changed)——即循环跑至收敛convergence8/16 只是名义上声明、从未生效的上界。## Filtering rules——两类独立的通道缺席原因按目标过滤switch arm 被兄弟目标门控如isCUDATarget、target HLSL与按 IR 内容过滤RequiredLoweringPassSet的 34 个布尔标志由 slang-code-gen.h 中的结构体声明、由calcRequiredLoweringPassSet扫描模块填充且linkAndOptimizeIR会扫描两次以保证特化引入的构造也能触发门控。## See also——指向 AST→IR 降级、IR 通道目录、发射总览、目标/能力模型、IR 参考等文档。需要说明的是当前仓库中该索引页已更新front matter 显示generated_at: 2026-09-11、source_commit: 48c746dc...正文已按 F-001/F-005 的建议改写如 Metal 条目现在表述为 makes the emitter require MSL 3.2 and enable Metal logging for the downstream compileCUDA 条目已删除 main consumer 措辞F-002 的就是其全部表述也已改为 the passes named above are examples, not the full inventory——可见审阅发现被实际采纳并回灌到了生成文档中。这套契约 审阅机制对文档工程的可借鉴之处从该 review 报告及其引用的元文件中可以提炼出 Slang 生成文档体系docs/generated/design/_meta/的几条工程实践提示词即契约每个生成页面都有一份专属 prompt如 target-pipelines-index.md 通用规则 _common.md明确规定章节顺序、表格列序、体积上限32 KB、禁止内容与质量清单quality checklist使文档正确与否可机械判定审阅器以源码提交为基线source_commitwatched_paths_digest双重锚定所有行号引用必须重新推导并与记录提交逐行匹配链接必须在记录提交上解析成功——这消除了文档看起来对、实际对不上代码的常见漂移严重度分层驱动修复优先级2 项 critical事实性错误F-001/F-002优先于 1 项 major契约性越界F-003与 2 项 minor受众声明缺失、无依据比较级断言F-004/F-005每条发现都附带可点击定位的证据文件与行号修复建议可直接执行不写无法证实的事是硬性红线F-005 尤其典型——源码只能证明 autodiff 门控是目标无关的任何关于谁消费最多的推断都不允许写成文档事实。延伸阅读被审阅文档本体docs/generated/design/target-pipelines/index.md通用契约与索引契约docs/generated/design/_meta/prompts/_common.md、docs/generated/design/_meta/prompts/target-pipelines-index.md同一批审阅报告docs/generated/design/_meta/reviews/target-pipelines/ 下另有cuda.md.review.md、hlsl.md.review.md、metal.md.review.md、spirv.md.review.md、wgsl.md.review.md关键源码source/slang/slang-emit.cpplinkAndOptimizeIR行 1005 起、source/slang/slang-emit-metal.cpprequireMetalLanguageVersion/requireLogging行 941-942、source/slang/slang-code-gen.cppMetalC 下游选项合并行 770-789、source/slang/slang-ir-spirv-legalize.cppsimplifyIRForSpirvLegalization循环行 3129-3150、source/slang/slang-code-gen.hRequiredLoweringPassSet【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 Slang 生成式文档质检实战：target-pipelines 索引页 AI Review 报告深度解读
Slang 生成式文档质检实战target-pipelines 索引页 AI Review 报告深度解读【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang本篇围绕 Slang 仓库中一份由 AI 审阅器gpt-5.6-sol针对生成文档 target-pipelines/index.md 产出的 review 报告展开。该文档是 Slang 编译器每目标 IR 流水线系列的导航索引页报告记录了 5 项发现2 项 critical、1 项 major、2 项 minor及其源码级证据。读完本文你将理解Slang 生成文档体系如何以契约contract 审阅review双机制保证文档与源码一致如何对照slang-emit.cpp、slang-emit-metal.cpp、slang-code-gen.cpp等源码逐条核验文档断言以及导航索引页与目标页在内容边界上的严格区分原则。报告概览front matter 与检查结论该 review 报告位于 docs/generated/design/_meta/reviews/target-pipelines/index.md.review.md其 YAML front matter 记录了完整的审阅元数据字段值含义review_reporttrue标记该文件是审阅报告而非普通文档reviewer_modelgpt-5.6-sol执行审阅的模型reviewed_at2026-08-04T12:05:1300:00审阅时间戳target_doctarget-pipelines/index.md被审阅的目标文档target_doc_source_commit53b76e6d3009b8e6434d41573524c7ce5c499d23审阅所依据的源码提交source_commit同上源码基线一致避免漂移checklistfactual_accuracy: fail、cross_references: pass、completeness: partial、style_consistency: fail、source_alignment: fail、front_matter_validity: pass六个维度的通过/失败判定finding_count5共 5 项发现severity_breakdowncritical: 2, major: 1, minor: 2, nit: 0严重度分布值得注意target_doc_watched_paths_digest记录了该文档监视路径watched paths的内容摘要哈希——这是生成文档体系中文档-源码绑定的机制基础当被监视的源码路径发生变化时摘要失配即可判定文档过期需要重新生成。报告的 Summary 给出总体结论原文翻译该页面具备契约要求的章节顺序、完整的五目标对比表、合法的 front matter 与可解析的链接但已不再符合紧凑导航索引契约。有两处关于源码行为的陈述具有误导性Metal 的printf并非受metallib_3_2能力原子capability atom门控HLSL/CUDA 被点名的通道pass也并非其目标专属工作的全部。大量通道级细节还重复了索引契约明确划归子页面child page的内容。审阅器实际执行了哪些检查Items checked报告逐条列出了检查动作这些动作本身就是高可信度文档审阅的方法论参考通读了目标文档、通用契约 _common.md、该文档专属提示词 target-pipelines-index.md、全部 7 个已解析的监视文件以及regenerate.py show报告的全部 5 个depends_on目标页面对照提交53b76e6d...核验源码抽查了 18 项事实性断言——包括枚举值、emitter 选择、下游转换downstream transition、目标 legalizer、循环行为与RequiredLoweringPassSet重新推导re-derive了正文中全部 12 处行号引用确认每一处引用的行号/行范围都与记录的源码提交匹配在记录的提交上解析了全部 34 处相对链接出现23 个唯一目标确认生成页面引用均为 manifest 条目无一悬空检查了必需章节、对比表列与行、兄弟页面覆盖、front matter 键、风格基础项并核对了 14,148 字节的文档是否低于 32,768 字节的体积上限。五项发现Findings全量解析报告的核心是一张 5 行发现表。以下完整继承该表并逐条结合当前仓库源码展开佐证。ID严重度位置描述证据修复建议F-001critical## PagesMetal 条目第 41-46 行文档称 Metalprintf受metallib_3_2能力原子门控。实际上 emitter 遇到printf时只是记录了对 MSL 3.2 的需求下游代码在没有 metallib 原子时也会显式处理这一情形。slang-emit-metal.cpp:903-910调用requireMetalLanguageVersion(3, 2)与requireLogging()slang-code-gen.cpp:783-800说明printf即便没有 metallib 原子也输出 metal3.2并将 emitter 记录的语言版本并入下游编译选项。用下面的表述替换能力门控说法Metalprintf会使 emitter 要求 MSL 3.2并为下游编译启用 Metal logging。F-002critical## Cross-target comparisoncaveat第 126-134 行HLSL 和 CUDA 把工作散布在若干独立 switch arm 上而上述被点名的通道就是其全部这一句是错的。对比表只点名了 2 个 HLSL 例子和 1 个 CUDA 专属通道但编排器中还包含两个家族的更多目标专属调用。HLSL 还额外运行legalizeNonVectorCompositeSelectslang-emit.cpp:1493-1499与wrapStructuredBuffersOfMatricesslang-emit.cpp:1988-2001CUDA 还额外运行synthesizeActiveMaskslang-emit.cpp:2158-2164与legalizeEntryPointVaryingParamsForCUDAslang-emit.cpp:2249-2253。删除上述被点名的通道就是其全部这句话只说 HLSL 和 CUDA 使用多个目标专属 arm具体清单留给子页面。F-003major## Pages至## Filtering rules尤其第 27-58 行与 124-229 行索引页包含了逐通道的行为细节、门控实现、装饰器清理、扫描顺序、通道结果变更等内容实质性违反了导航索引契约并与子页面内容重复。_common.md:377-423定义了紧凑索引契约并禁止per-pass detailstarget-pipelines-index.md:8-14,70-75同样声明这不是目标页不得记录任何通道。将每个页面条目压缩为一个从句只保留必需的四阶段概览与对比表把 Filtering 一节缩短为目标 arm 提醒移除通道级 caveat 与RequiredLoweringPassSet深挖。F-004minor引言段第 12-23 行首段解释了页面覆盖内容却没有指明目标读者违反了通用内容规则与逐文档受众声明。_common.md:65-66要求首段同时说明覆盖什么与写给谁target-pipelines-index.md:12-14将读者定义为需要选择对应目标流水线页的开发者。补一句受众短语如面向需要选择相关目标流水线页的编译器开发者。F-005minor## PagesCUDA 条目第 53-58 行PyTorch/slangpy路径是 autodiff 的主要消费者因此该门控在 CUDA 上最重要是一个比较性使用断言被监视源码与依赖中并不存在该依据。源码只确立了目标无关的 autodiff 门控以及 CUDA/PyTorch 相关路径。slang-emit.cpp:1446-1453中的 autodiff/strip 分支不带任何 CUDA 专属条件被引用的源码中不存在任何消费者频率数据。删除main consumer与matters most只总结源码实际记录的 CUDA/PyTorch autodiff 关联。F-001 佐证Metalprintf的真实机制当前仓库的源码印证了报告的判断。在 slang-emit-metal.cpp 中Metal 源发射器MetalSourceEmitter在处理printf时调用m_extensionTracker-requireMetalLanguageVersion(SemanticVersion(3, 2)); m_extensionTracker-requireLogging();即它只是向扩展跟踪器extension tracker记录了一个 MSL 3.2 版本需求与 logging 需求而不是检查某个metallib_3_2能力原子是否存在。随后在 slang-code-gen.cpp 的下游选项组装处PassThroughMode::MetalC分支可以看到合并逻辑若目标能力推导出metallib_4_0则语言版本取 4.0否则读取MetalExtensionTracker::getRequiredMetalLanguageVersion()即 emitter 在发射printf时记录的值若高于当前值则提升若getRequiresLogging()为真则在下游编译选项中置位CompileOptions::Flag::EnableLogging。因此正确表述是printf触发的是一条emitter 记录 → 下游选项合并的单向数据流能力原子体系metallib_4_0等只提供上限参考不构成printf的前置门控。这正是报告中 F-001 判为 critical 的原因——索引页的表述会让读者误以为没有metallib_3_2原子时printf根本无法工作。F-002 佐证HLSL/CUDA 的目标专属通道不止点名的那几个Slang 的核心 IR 编排器linkAndOptimizeIR定义于 slang-emit.cpp当前仓库中行号为 1005文档当时记录的基线为第 1000 行——行号会随源码演进漂移这正是审阅规则要求重新推导行号而非照抄的原因。该函数内部按目标切换switch arm分发大量通道。报告指出对比表只列了示例HLSL 侧legalizeRayPayloadAccessQualifiersForHLSL、validateBarrierFlagsForHLSL均为示例实际还包括legalizeNonVectorCompositeSelectslang-emit.cpp:1493-1499与wrapStructuredBuffersOfMatricesslang-emit.cpp:1988-2001CUDA 侧lowerImmutableBufferLoadForCUDA存在于 slang-ir-cuda-immutable-load.cpp是该目标家族唯一的专属通道之一实际还包括synthesizeActiveMaskslang-emit.cpp:2158-2164与legalizeEntryPointVaryingParamsForCUDAslang-emit.cpp:2249-2253。这与 F-002 的修复建议一致索引页只能陈述散布在多个 arm 上这一结构性事实逐通道清点inventory属于各子页面hlsl.md、cuda.md 等的职责。F-003 佐证索引契约与页面契约的边界生成文档体系的宪法是 _common.md其中定义了两种契约Target-pipeline page contract约第 374-409 行规范 5 个目标页的章节骨架——Conditional gates表须按requiredLoweringPassSet.*标志、目标选项、能力检查分组Loops in the pipeline须逐字引用源码中的循环界并明确禁止已存在于05-ir-passes.md的逐通道行为解释。Target-pipeline index contract第 411 行起明确规定索引页不是目标页——它不记录任何通道章节必须按序为# Target Pipelines标题、一段引言、## Pages单句条目列表、## Shared shape一次讲清四阶段、点名linkAndOptimizeIR为共享编排器且行号须重新推导而非照抄、## Cross-target comparison五列对比表、## Filtering rules、## See also。F-003 所指的违规正是索引页写出了逐通道行为、门控实现、装饰器清理、扫描顺序、通道结果变更等页面契约专属内容。这也解释了为何style_consistency与source_alignment两项 checklist 同时为 fail——前者是写了不该写的后者是写错了该写的。F-004 / F-005 佐证受众声明与不编造比较级断言F-004 的依据是 _common.md 第 65-66 行的通用内容规则正文第一段必须用平实语言说明文档覆盖什么、目标读者是谁而 target-pipelines-index.md 第 12-14 行已将读者明确定义为落到target-pipelines/子树下、需要挑对目标页并理解为何所有页面共享同一四阶段形状的开发者。F-005 的依据可在 slang-emit.cpp 第 1446-1453 行附近核验autodiff 分支的elsearmstripAutoDiffDecorations不携带任何isCUDATarget之类的条件——它是目标无关的。PyTorch 是主要消费者、故 CUDA 上该门控最重要这类频率比较断言在源码中没有任何数据支撑属于审阅体系明令禁止的由代码结构之外的信息推断事实。被审阅文档本体target-pipelines 索引页讲了什么为让读者完整理解这些发现的语境这里概述被审阅文档 index.md 的结构该页自述为每个目标流水线页的导航枢纽服务需要挑对目标页的编译器开发者## Pages——五个兄弟页的单条目概述spirv.mdSPIR-V 直接发射路径emitSPIRVForEntryPointsDirectly加 spirv-link / spirv-val / spirv-opt 下游链唯一含迭代式通道的目标hlsl.mdHLSL 源 DXCDXIL/ fxcDXBytecode下游覆盖 work-graph 特性集与precise限定的发射差异metal.mdMetal 源 Applemetal编译器下游覆盖printf映射到 MSL 3.2 shader-logging使 emitter 要求 MSL 3.2 并为下游编译启用 Metal logging、1.0h/1.0f字面量后缀、覆盖计数器 32 位上限wgsl.mdWGSL 源 TintWGSL → SPIR-V下游覆盖precise诊断WGSL 无此关键字、bool→int 以select(T(0), T(1), cond)形式发射以及shouldEmitSwitchCaseTerminatingBreak()策略覆盖cuda.mdCUDA C 源/头文件 nvrtcPTX下游外加一个## Adjacent targets小节交叉链接 PyTorch / OptiX / host-CPP 路径。## Shared shape——四阶段公共骨架Phase A链接与入口点准备、Phase B特化与类型合法化、Phase C目标合法化、降级、phi 消除、Phase D发射与下游工具。并记录了两处刻意偏差cuda 页多出一个## Adjacent targets节spirv 页的第四阶段标题不同因为 SPIR-V 的合法化驱动器legalizeIRForSPIRV运行在发射步骤内部而非linkAndOptimizeIR内部。## Cross-target comparison——五目标对比表枚举值 / Phase C 入口 / Phase D emitter / 下游工具 / 是否有循环。其中关于 SPIR-V 循环的重要 caveat 同样可在源码核验slang-ir-spirv-legalize.cpp 第 3129-3150 行声明了kMaxIterations 8与kMaxFuncIterations 16但两个iterationCounter/funcIterationCount从未被自增while (changed iterationCounter kMaxIterations)实际退化为while (changed)——即循环跑至收敛convergence8/16 只是名义上声明、从未生效的上界。## Filtering rules——两类独立的通道缺席原因按目标过滤switch arm 被兄弟目标门控如isCUDATarget、target HLSL与按 IR 内容过滤RequiredLoweringPassSet的 34 个布尔标志由 slang-code-gen.h 中的结构体声明、由calcRequiredLoweringPassSet扫描模块填充且linkAndOptimizeIR会扫描两次以保证特化引入的构造也能触发门控。## See also——指向 AST→IR 降级、IR 通道目录、发射总览、目标/能力模型、IR 参考等文档。需要说明的是当前仓库中该索引页已更新front matter 显示generated_at: 2026-09-11、source_commit: 48c746dc...正文已按 F-001/F-005 的建议改写如 Metal 条目现在表述为 makes the emitter require MSL 3.2 and enable Metal logging for the downstream compileCUDA 条目已删除 main consumer 措辞F-002 的就是其全部表述也已改为 the passes named above are examples, not the full inventory——可见审阅发现被实际采纳并回灌到了生成文档中。这套契约 审阅机制对文档工程的可借鉴之处从该 review 报告及其引用的元文件中可以提炼出 Slang 生成文档体系docs/generated/design/_meta/的几条工程实践提示词即契约每个生成页面都有一份专属 prompt如 target-pipelines-index.md 通用规则 _common.md明确规定章节顺序、表格列序、体积上限32 KB、禁止内容与质量清单quality checklist使文档正确与否可机械判定审阅器以源码提交为基线source_commitwatched_paths_digest双重锚定所有行号引用必须重新推导并与记录提交逐行匹配链接必须在记录提交上解析成功——这消除了文档看起来对、实际对不上代码的常见漂移严重度分层驱动修复优先级2 项 critical事实性错误F-001/F-002优先于 1 项 major契约性越界F-003与 2 项 minor受众声明缺失、无依据比较级断言F-004/F-005每条发现都附带可点击定位的证据文件与行号修复建议可直接执行不写无法证实的事是硬性红线F-005 尤其典型——源码只能证明 autodiff 门控是目标无关的任何关于谁消费最多的推断都不允许写成文档事实。延伸阅读被审阅文档本体docs/generated/design/target-pipelines/index.md通用契约与索引契约docs/generated/design/_meta/prompts/_common.md、docs/generated/design/_meta/prompts/target-pipelines-index.md同一批审阅报告docs/generated/design/_meta/reviews/target-pipelines/ 下另有cuda.md.review.md、hlsl.md.review.md、metal.md.review.md、spirv.md.review.md、wgsl.md.review.md关键源码source/slang/slang-emit.cpplinkAndOptimizeIR行 1005 起、source/slang/slang-emit-metal.cpprequireMetalLanguageVersion/requireLogging行 941-942、source/slang/slang-code-gen.cppMetalC 下游选项合并行 770-789、source/slang/slang-ir-spirv-legalize.cppsimplifyIRForSpirvLegalization循环行 3129-3150、source/slang/slang-code-gen.hRequiredLoweringPassSet【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考