Slang 编译器 Modifier/Attribute AST 参考文档的自动评审机制modifiers.md.review.md深度解析【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang本文聚焦 Slang 编译器项目中自动生成文档评审报告机制的实际运作以docs/generated/design/_meta/reviews/ast-reference/modifiers.md.review.md这份评审报告为例还原它如何校验docs/generated/design/ast-reference/modifiers.mdSlang AST 中Modifier/Attribute家族的 264 个具体类的参考文档的事实准确性、完整性、交叉引用与源一致性。读者将了解到评审报告的前置元数据front matter含义、8 个发现findings及其严重级别如何分类、每一项发现对应的证据与修复建议以及这套提示词契约prompt contract→ 生成 → 评审 → 修复的文档质量闭环在仓库中的完整链路。背景Slang 的 AST 文档家族与评审管线Slang 编译器的设计文档分为两类手工维护的docs/design/与自动生成的docs/generated/design/。后者按家族family组织其中ast-reference/目录下的页面base.md、declarations.md、expressions.md、modifiers.md、statements.md、types.md、values.md等是对 Slang AST 各类族的逐节点参考per-node reference服务对象是在 parser、checker 或后端 emit 中工作的贡献者。围绕这些生成页面仓库在docs/generated/design/_meta/下建立了完整的自动化质量管理设施prompts/每个目标文档对应的生成提示词以及公共契约_common.mdmanifest.yaml登记每个目标文档的watched_paths受监视路径、depends_on、size_cap_bytesregenerate.py提供show、digest、lint等命令gap-intake/、remediations/、reviews/分别存放缺口清单、修复报告与评审报告。modifiers.md.review.md正是reviews/ast-reference/下的评审报告之一评审对象是docs/generated/design/ast-reference/modifiers.md。评审报告的前置元数据Front Matter评审报告以 YAML front matter 开头字段语义如下字段值含义review_reporttrue标记本文件是评审报告reviewer_modelgpt-5.6-sol执行评审的模型标识reviewed_at2026-08-04T12:07:2200:00评审完成时间UTC秒级精度target_docast-reference/modifiers.md被评审文档target_doc_source_commit53b76e6d...被评审文档对应的源码提交target_doc_watched_paths_digest00900db2...评审时记录的受监视路径摘要后被判定为过期见 F-008source_commit53b76e6d...评审时的源码提交checklistfactual_accuracy: partial等 5 项各维度通过状态finding_count8发现总数severity_breakdowncritical: 0、major: 4、minor: 4、nit: 0严重级别分布其中checklist覆盖五个维度factual_accuracy事实准确性、cross_references交叉引用、completeness完整性、style_consistency风格一致性、source_alignment源一致性、front_matter_validityfront matter 有效性。本次评审中cross_references通过其余均为partial或fail。评审范围与方法报告 Items checked 部分列出了评审执行的具体动作这本身就构成了可复用的文档校验方法论受监视路径核验确认被评审文档的 7 个 watched files 与 2 个依赖文档均存在于53b76e6d提交评审时HEAD与该提交一致。类清单全量比对将source/slang/slang-ast-modifier.h中 FIDDLE 声明的全部 273 个类与被评审页面的节点表逐一比对——264 个具体类恰好各出现一次9 个抽象类全部被排除在节点表之外符合 AST reference family contract 的覆盖规则。事实抽查超过 10 处事实声明被抽查涵盖修饰符继承关系、UncheckedAttribute的解析构造、作用域名展平、可选逗号与双重方括号、GLSL layout 组标记、矩阵布局反置、GLSL binding 转换、内存限定符聚合、内建函数解析、work-graph 字段与拼写、可微性映射、可见性默认值、能力存储等。行号复核被评审页面唯一一处行号引用DifferentiableAttribute位于source/slang/slang-ast-modifier.h:1715-1762被重新推导验证实际类声明始于第 1720 行其成员与方法区间与引用一致。链接全量解析73 个相对链接21 个唯一目标全部在记录提交下解析成功所有链接的 heading anchor 均有效所有生成的对等页面都在 manifest 中。标识符扫描627 个反引号包裹的标识符 token 与 127 个方括号属性拼写全部对照源码扫描7 个整文件名亦逐一核验。摘要重算当前 7 文件 watched-path 摘要被重算为3390b4894a...与页面 front matter 中记录的00900db2...不符详见 F-008。8 项发现Findings逐条解析F-001major节点目录被拆成 26 张表违反单表契约位置## Nodes第 126-533 行。问题AST reference family contract 要求一张表、每行一个具体类docs/generated/design/_meta/prompts/_common.md:99-108但页面将 264 个具体类分散在 26 张子表中。覆盖面虽完整每个具体类恰好出现一次但要求的目录形态catalog shape缺失。证据_common.md明确要求 a single table with one row per concrete class。建议将 26 张表合并为一张五列表格保留类别顺序但不再添加表级标题。事实上modifiers.md按语义子族参数方向、可见性、矩阵布局、HLSL 语义、GLSL layout、可微性等分表组织每张表都带###子标题。这在可读性上是合理的但与统一契约冲突——这正是家族契约优先于单页美观的评审取向。F-002majorGrammar 列大量使用(none)掩盖了真实解析路径位置## Nodes的 Grammar 列。问题提示词契约规定(none)仅用于合成/内部节点ast-reference-modifiers.md:21-25但许多实际由 parser 或attribute_syntax产生的修饰符/属性被错误标为(none)例如ForceUnrollAttribute、MaxItersAttribute、GLSLBindingAttribute、NodeLaunchAttribute。证据source/slang/core.meta.slang:4381-4490注册了前三个示例的attribute_syntaxsource/standard-modules/experimental/workgraph.slang:17注册了NodeLaunchAttribute。建议逐格审计 Grammar 列——被解析的关键字修饰符链接到#modifiers被解析的方括号属性链接到#attributes-and-decorations仅对真正合成/内部的节点保留(none)。F-003majorKey fields 列有 15 行未使用name: Type形式位置## Nodes的 Key fields 列。问题契约强制name: Type形式_common.md:104-108但 15 行使用了无类型概念如optional unroll count、opcode (in args)、binding、max (in args)。证据继承的解析参数存储在AttributeBase::argssource/slang/slang-ast-modifier.h:804-815实际为 811-819 行的AttributeBase含attributeDecl、originalIdentifierToken、args: ListExpr*。建议将 15 个概念性单元格替换为真实字段的name: Type形式没有更具体存储字段时使用继承的args: ListExpr*。F-004majorlayout 修饰符未关联参数绑定角色位置## Notable nodes第 579-589 行与 688-702 行。问题提示词要求说明 layout 修饰符在参数绑定中的作用ast-reference-modifiers.md:47-55但页面只描述了 parser/checker 表示与旧类名的缺失从未把GLSLBindingAttribute的 binding/set 对或HLSLRegisterSemantic的 register/space token 与绑定角色联系起来。证据绑定数据声明于source/slang/slang-ast-modifier.h:481-495HLSLLayoutSemantic的registerName/componentMask与:1080-1087GLSLBindingAttribute的binding/set。建议在现有 layout 提示中补充表示层参数绑定的简洁说明语义规则则链接到语义检查页面docs/generated/design/pipeline/03-semantic-check.md。F-005minorTargetIntrinsicModifier的能力选择来源表述有误位置### TargetIntrinsicModifier and SpecializedForTargetModifier第 569-577 行。问题页面称谓词predicate当能力生效时when a capability is in effect起作用但能力选择来自targetToken谓词与scrutineeDeclRef是单独的门控传给 IR target-intrinsic decoration。证据source/slang/slang-ast-modifier.h:282-295TargetIntrinsicModifier的targetToken、definitionString、predicateToken、scrutineeDeclRefsource/slang/slang-lower-to-ir.cpp:13368-13404将目标能力与谓词/scrutinee 对分开构造。建议明确targetToken选择目标能力可选谓词利用其 scrutinee 声明守卫内建函数从谓词句子中删除能力表述。F-006minor拼写来源文件的归类不准确位置## Source第 47-58 行。问题页面将四个拼写文件都称为 core-module sources但workgraph.slang是实验性标准模块而非核心模块源。证据文件位于source/standard-modules/experimental/workgraph.slang其属性声明在第 17-51 行。建议将 four core-module sources 改为 four sources并区分三个 meta-module 文件与实验性标准模块。F-007minor包含生成过程叙事违反无编辑评论规则位置### Families named in the prompt but not present in the header第 688-702 行。问题关于页面被要求覆盖什么、提示词更正与未来再生成的内容属于工作流评论而非源码文档。三个类不存在的事实是有用的但生成历史叙述违反_common.md:74-81的 no-editorial-commentary 规则。建议保留这三个类不存在的事实性说明在相关 notable callout 中指明真实分组删除提示词历史与未来再生成的叙述。F-008minorwatched_paths_digest过期位置front matter 第 6 行。问题watched_paths_digest是合法十六进制但已过期——它是旧的三文件监视集的摘要当前 manifest 解析出 7 个文件regenerate.py digest ast-reference/modifiers.md返回3390b4894a127a22ac54d3fd216aa54aa11f8c940d5c28b9bed1c58dcd6a4e5b而非00900d…。证据docs/generated/design/_meta/manifest.yaml:415-429虽属于 diagnostics 条目但ast-reference/modifiers.md的 manifest 条目manifest.yaml:586-607确实列出 7 个 watched filesslang-ast-modifier.h、slang-ast-base.h、slang-parser.cpp、core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang另有 3 个 checker/诊断文件与 F-008 所述三文件→七文件的演进一致_common.md:22-35要求使用当前摘要。建议在下次允许的再生成时替换为 7 文件摘要评审期间不得手工编辑生成页面。无问题项No-issues notes评审同时确认了页面做对的部分这同样是文档质量的正面证据每个具体 FIDDLE 类恰好出现一次没有抽象 FIDDLE 类被错误纳入节点目录符合覆盖规则。关于[[a]]、可选逗号、::名称展平的解析断言与source/slang/slang-parser.cpp:933-1047一致。唯一的行号引用与所有相对链接在记录的源码提交下精确解析。从源码确认的核心概念供阅读被评审文档时参考评审所依据的目标文档docs/generated/design/ast-reference/modifiers.md本身对 Slang 的修饰符体系做了完整定义几个关键概念有助于理解评审发现Modifier 与 Attribute 的语法分界Modifier是无参数列表的关键字标记in、out、inout、const、static、uniform、globallycoherent、noperspective……每个都是独立的Modifier子类。Attribute使用[name(args)]语法继承自AttributeBase而AttributeBase本身继承Modifier如UnrollAttribute、NumThreadsAttribute等携带解析后的参数与后检查元数据。两者都挂在ModifiableSyntaxNode::modifiers上用findModifierT()/hasModifierT()遍历。AttributeBase在source/slang/slang-ast-modifier.h:810-820声明含attributeDecl: AttributeDecl*、originalIdentifierToken: Token与args: ListExpr*检查后的Attribute额外增加intArgVals: ListVal*。解析细节[[a]]、可选逗号与::展平ParseSquareBracketAttributes接受几种容易忽略的表面拼写属性组既可写[a]也可写[[a]]多个属性可共享一组属性间逗号可选因此[a, b]与[a b]解析相同。parseAttributeName会把::限定的名字展平为单个标识符——每个::替换为_这正是用户写[vk::binding(0)]能解析到注册名为vk_binding的AttributeDecl的原因开头的::变成开头的_。类族层级Family hierarchy目标文档用 mermaid 图展示了完整层级抽象中间类包括VisibilityModifier、GLSLLayoutModifierGroupMarker、HLSLSemantic、MatrixLayoutModifier、InterpolationModeModifier、AttributeBase、InheritanceControlAttribute等。两个值得注意的设计矩阵布局反置GLSLRowMajorLayoutModifier继承自ColumnMajorLayoutModifierGLSLColumnMajorLayoutModifier继承自RowMajorLayoutModifier——因为 Slang 从 GLSL 反着读矩阵约定。且两个 GLSL 类没有任何解析路径构造它们row_major/column_major关键字无论输入方言都解析进 HLSL 类。可微性映射非一对一DifferentiableAttribute是实践中抽象基类无自身attribute_syntax用户最常写的[Differentiable(order 0)]映射到BackwardDifferentiableAttribute与显式[BackwardDifferentiable(order 0)]相同只有[ForwardDifferentiable]映射到ForwardDifferentiableAttribute。修复管线remediation 报告与再生成闭环评审报告只是_meta质量闭环的一环。同级目录下还有remediations/ast-reference/modifiers.md.remediation.md修复报告记录针对 findings 的处置与gap-intake/ast-reference/modifiers.md.gap-intake.md缺口清单。regenerate.py提供show展开 watched paths、digest计算 watched_paths_digest、lint强制校验 front matter 文件的 Liquid 安全——禁止正文出现裸{{或{%否则 GitHub Pages 构建会失败这一限制源于一次导致站点构建中断五天的事故。评审发现的修复节奏是评审期间不得手工编辑生成页面而是在下次允许的再生成时依据 remediation 报告批量修正随后重新计算 digest 并更新 front matter。总结modifiers.md.review.md是 Slang 编译器文档自动化质量体系的一个缩影它展示了如何用程序化手段对一份 264 类的参考文档做全量核验类清单、标识符、链接、行号、摘要如何把偏差按严重级别归类并给出带源码证据的修复建议以及如何通过 front matter 元数据把评审锚定到具体提交与 watched-path 状态。对希望理解 Slang AST 修饰符家族、或希望为本项目类似生成文档建立评审机制的读者这份报告连同其目标文档docs/generated/design/ast-reference/modifiers.md、契约文件docs/generated/design/_meta/prompts/_common.md与docs/generated/design/_meta/prompts/ast-reference-modifiers.md、清单docs/generated/design/_meta/manifest.yaml以及核心源码source/slang/slang-ast-modifier.h、source/slang/slang-parser.cpp、source/slang/core.meta.slang、source/standard-modules/experimental/workgraph.slang构成了完整的研读路径。参考路径速查用途路径评审报告本文主体docs/generated/design/_meta/reviews/ast-reference/modifiers.md.review.md被评审的目标文档docs/generated/design/ast-reference/modifiers.md家族生成提示词docs/generated/design/_meta/prompts/ast-reference-modifiers.md公共契约含 AST reference family contractdocs/generated/design/_meta/prompts/_common.md文档清单watched paths / depends_ondocs/generated/design/_meta/manifest.yamlModifier 类声明source/slang/slang-ast-modifier.h解析入口parseAttributeName、ParseSquareBracketAttributessource/slang/slang-parser.cpp属性拼写注册attribute_syntaxsource/slang/core.meta.slang可微性属性拼写source/slang/diff.meta.slangVulkan 指针属性拼写source/slang/hlsl.meta.slangwork-graph 节点属性拼写实验性标准模块source/standard-modules/experimental/workgraph.slang【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
Slang 编译器 Modifier/Attribute AST 参考文档的自动评审机制：`modifiers.md.review.md` 深度解析
Slang 编译器 Modifier/Attribute AST 参考文档的自动评审机制modifiers.md.review.md深度解析【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang本文聚焦 Slang 编译器项目中自动生成文档评审报告机制的实际运作以docs/generated/design/_meta/reviews/ast-reference/modifiers.md.review.md这份评审报告为例还原它如何校验docs/generated/design/ast-reference/modifiers.mdSlang AST 中Modifier/Attribute家族的 264 个具体类的参考文档的事实准确性、完整性、交叉引用与源一致性。读者将了解到评审报告的前置元数据front matter含义、8 个发现findings及其严重级别如何分类、每一项发现对应的证据与修复建议以及这套提示词契约prompt contract→ 生成 → 评审 → 修复的文档质量闭环在仓库中的完整链路。背景Slang 的 AST 文档家族与评审管线Slang 编译器的设计文档分为两类手工维护的docs/design/与自动生成的docs/generated/design/。后者按家族family组织其中ast-reference/目录下的页面base.md、declarations.md、expressions.md、modifiers.md、statements.md、types.md、values.md等是对 Slang AST 各类族的逐节点参考per-node reference服务对象是在 parser、checker 或后端 emit 中工作的贡献者。围绕这些生成页面仓库在docs/generated/design/_meta/下建立了完整的自动化质量管理设施prompts/每个目标文档对应的生成提示词以及公共契约_common.mdmanifest.yaml登记每个目标文档的watched_paths受监视路径、depends_on、size_cap_bytesregenerate.py提供show、digest、lint等命令gap-intake/、remediations/、reviews/分别存放缺口清单、修复报告与评审报告。modifiers.md.review.md正是reviews/ast-reference/下的评审报告之一评审对象是docs/generated/design/ast-reference/modifiers.md。评审报告的前置元数据Front Matter评审报告以 YAML front matter 开头字段语义如下字段值含义review_reporttrue标记本文件是评审报告reviewer_modelgpt-5.6-sol执行评审的模型标识reviewed_at2026-08-04T12:07:2200:00评审完成时间UTC秒级精度target_docast-reference/modifiers.md被评审文档target_doc_source_commit53b76e6d...被评审文档对应的源码提交target_doc_watched_paths_digest00900db2...评审时记录的受监视路径摘要后被判定为过期见 F-008source_commit53b76e6d...评审时的源码提交checklistfactual_accuracy: partial等 5 项各维度通过状态finding_count8发现总数severity_breakdowncritical: 0、major: 4、minor: 4、nit: 0严重级别分布其中checklist覆盖五个维度factual_accuracy事实准确性、cross_references交叉引用、completeness完整性、style_consistency风格一致性、source_alignment源一致性、front_matter_validityfront matter 有效性。本次评审中cross_references通过其余均为partial或fail。评审范围与方法报告 Items checked 部分列出了评审执行的具体动作这本身就构成了可复用的文档校验方法论受监视路径核验确认被评审文档的 7 个 watched files 与 2 个依赖文档均存在于53b76e6d提交评审时HEAD与该提交一致。类清单全量比对将source/slang/slang-ast-modifier.h中 FIDDLE 声明的全部 273 个类与被评审页面的节点表逐一比对——264 个具体类恰好各出现一次9 个抽象类全部被排除在节点表之外符合 AST reference family contract 的覆盖规则。事实抽查超过 10 处事实声明被抽查涵盖修饰符继承关系、UncheckedAttribute的解析构造、作用域名展平、可选逗号与双重方括号、GLSL layout 组标记、矩阵布局反置、GLSL binding 转换、内存限定符聚合、内建函数解析、work-graph 字段与拼写、可微性映射、可见性默认值、能力存储等。行号复核被评审页面唯一一处行号引用DifferentiableAttribute位于source/slang/slang-ast-modifier.h:1715-1762被重新推导验证实际类声明始于第 1720 行其成员与方法区间与引用一致。链接全量解析73 个相对链接21 个唯一目标全部在记录提交下解析成功所有链接的 heading anchor 均有效所有生成的对等页面都在 manifest 中。标识符扫描627 个反引号包裹的标识符 token 与 127 个方括号属性拼写全部对照源码扫描7 个整文件名亦逐一核验。摘要重算当前 7 文件 watched-path 摘要被重算为3390b4894a...与页面 front matter 中记录的00900db2...不符详见 F-008。8 项发现Findings逐条解析F-001major节点目录被拆成 26 张表违反单表契约位置## Nodes第 126-533 行。问题AST reference family contract 要求一张表、每行一个具体类docs/generated/design/_meta/prompts/_common.md:99-108但页面将 264 个具体类分散在 26 张子表中。覆盖面虽完整每个具体类恰好出现一次但要求的目录形态catalog shape缺失。证据_common.md明确要求 a single table with one row per concrete class。建议将 26 张表合并为一张五列表格保留类别顺序但不再添加表级标题。事实上modifiers.md按语义子族参数方向、可见性、矩阵布局、HLSL 语义、GLSL layout、可微性等分表组织每张表都带###子标题。这在可读性上是合理的但与统一契约冲突——这正是家族契约优先于单页美观的评审取向。F-002majorGrammar 列大量使用(none)掩盖了真实解析路径位置## Nodes的 Grammar 列。问题提示词契约规定(none)仅用于合成/内部节点ast-reference-modifiers.md:21-25但许多实际由 parser 或attribute_syntax产生的修饰符/属性被错误标为(none)例如ForceUnrollAttribute、MaxItersAttribute、GLSLBindingAttribute、NodeLaunchAttribute。证据source/slang/core.meta.slang:4381-4490注册了前三个示例的attribute_syntaxsource/standard-modules/experimental/workgraph.slang:17注册了NodeLaunchAttribute。建议逐格审计 Grammar 列——被解析的关键字修饰符链接到#modifiers被解析的方括号属性链接到#attributes-and-decorations仅对真正合成/内部的节点保留(none)。F-003majorKey fields 列有 15 行未使用name: Type形式位置## Nodes的 Key fields 列。问题契约强制name: Type形式_common.md:104-108但 15 行使用了无类型概念如optional unroll count、opcode (in args)、binding、max (in args)。证据继承的解析参数存储在AttributeBase::argssource/slang/slang-ast-modifier.h:804-815实际为 811-819 行的AttributeBase含attributeDecl、originalIdentifierToken、args: ListExpr*。建议将 15 个概念性单元格替换为真实字段的name: Type形式没有更具体存储字段时使用继承的args: ListExpr*。F-004majorlayout 修饰符未关联参数绑定角色位置## Notable nodes第 579-589 行与 688-702 行。问题提示词要求说明 layout 修饰符在参数绑定中的作用ast-reference-modifiers.md:47-55但页面只描述了 parser/checker 表示与旧类名的缺失从未把GLSLBindingAttribute的 binding/set 对或HLSLRegisterSemantic的 register/space token 与绑定角色联系起来。证据绑定数据声明于source/slang/slang-ast-modifier.h:481-495HLSLLayoutSemantic的registerName/componentMask与:1080-1087GLSLBindingAttribute的binding/set。建议在现有 layout 提示中补充表示层参数绑定的简洁说明语义规则则链接到语义检查页面docs/generated/design/pipeline/03-semantic-check.md。F-005minorTargetIntrinsicModifier的能力选择来源表述有误位置### TargetIntrinsicModifier and SpecializedForTargetModifier第 569-577 行。问题页面称谓词predicate当能力生效时when a capability is in effect起作用但能力选择来自targetToken谓词与scrutineeDeclRef是单独的门控传给 IR target-intrinsic decoration。证据source/slang/slang-ast-modifier.h:282-295TargetIntrinsicModifier的targetToken、definitionString、predicateToken、scrutineeDeclRefsource/slang/slang-lower-to-ir.cpp:13368-13404将目标能力与谓词/scrutinee 对分开构造。建议明确targetToken选择目标能力可选谓词利用其 scrutinee 声明守卫内建函数从谓词句子中删除能力表述。F-006minor拼写来源文件的归类不准确位置## Source第 47-58 行。问题页面将四个拼写文件都称为 core-module sources但workgraph.slang是实验性标准模块而非核心模块源。证据文件位于source/standard-modules/experimental/workgraph.slang其属性声明在第 17-51 行。建议将 four core-module sources 改为 four sources并区分三个 meta-module 文件与实验性标准模块。F-007minor包含生成过程叙事违反无编辑评论规则位置### Families named in the prompt but not present in the header第 688-702 行。问题关于页面被要求覆盖什么、提示词更正与未来再生成的内容属于工作流评论而非源码文档。三个类不存在的事实是有用的但生成历史叙述违反_common.md:74-81的 no-editorial-commentary 规则。建议保留这三个类不存在的事实性说明在相关 notable callout 中指明真实分组删除提示词历史与未来再生成的叙述。F-008minorwatched_paths_digest过期位置front matter 第 6 行。问题watched_paths_digest是合法十六进制但已过期——它是旧的三文件监视集的摘要当前 manifest 解析出 7 个文件regenerate.py digest ast-reference/modifiers.md返回3390b4894a127a22ac54d3fd216aa54aa11f8c940d5c28b9bed1c58dcd6a4e5b而非00900d…。证据docs/generated/design/_meta/manifest.yaml:415-429虽属于 diagnostics 条目但ast-reference/modifiers.md的 manifest 条目manifest.yaml:586-607确实列出 7 个 watched filesslang-ast-modifier.h、slang-ast-base.h、slang-parser.cpp、core.meta.slang、hlsl.meta.slang、diff.meta.slang、workgraph.slang另有 3 个 checker/诊断文件与 F-008 所述三文件→七文件的演进一致_common.md:22-35要求使用当前摘要。建议在下次允许的再生成时替换为 7 文件摘要评审期间不得手工编辑生成页面。无问题项No-issues notes评审同时确认了页面做对的部分这同样是文档质量的正面证据每个具体 FIDDLE 类恰好出现一次没有抽象 FIDDLE 类被错误纳入节点目录符合覆盖规则。关于[[a]]、可选逗号、::名称展平的解析断言与source/slang/slang-parser.cpp:933-1047一致。唯一的行号引用与所有相对链接在记录的源码提交下精确解析。从源码确认的核心概念供阅读被评审文档时参考评审所依据的目标文档docs/generated/design/ast-reference/modifiers.md本身对 Slang 的修饰符体系做了完整定义几个关键概念有助于理解评审发现Modifier 与 Attribute 的语法分界Modifier是无参数列表的关键字标记in、out、inout、const、static、uniform、globallycoherent、noperspective……每个都是独立的Modifier子类。Attribute使用[name(args)]语法继承自AttributeBase而AttributeBase本身继承Modifier如UnrollAttribute、NumThreadsAttribute等携带解析后的参数与后检查元数据。两者都挂在ModifiableSyntaxNode::modifiers上用findModifierT()/hasModifierT()遍历。AttributeBase在source/slang/slang-ast-modifier.h:810-820声明含attributeDecl: AttributeDecl*、originalIdentifierToken: Token与args: ListExpr*检查后的Attribute额外增加intArgVals: ListVal*。解析细节[[a]]、可选逗号与::展平ParseSquareBracketAttributes接受几种容易忽略的表面拼写属性组既可写[a]也可写[[a]]多个属性可共享一组属性间逗号可选因此[a, b]与[a b]解析相同。parseAttributeName会把::限定的名字展平为单个标识符——每个::替换为_这正是用户写[vk::binding(0)]能解析到注册名为vk_binding的AttributeDecl的原因开头的::变成开头的_。类族层级Family hierarchy目标文档用 mermaid 图展示了完整层级抽象中间类包括VisibilityModifier、GLSLLayoutModifierGroupMarker、HLSLSemantic、MatrixLayoutModifier、InterpolationModeModifier、AttributeBase、InheritanceControlAttribute等。两个值得注意的设计矩阵布局反置GLSLRowMajorLayoutModifier继承自ColumnMajorLayoutModifierGLSLColumnMajorLayoutModifier继承自RowMajorLayoutModifier——因为 Slang 从 GLSL 反着读矩阵约定。且两个 GLSL 类没有任何解析路径构造它们row_major/column_major关键字无论输入方言都解析进 HLSL 类。可微性映射非一对一DifferentiableAttribute是实践中抽象基类无自身attribute_syntax用户最常写的[Differentiable(order 0)]映射到BackwardDifferentiableAttribute与显式[BackwardDifferentiable(order 0)]相同只有[ForwardDifferentiable]映射到ForwardDifferentiableAttribute。修复管线remediation 报告与再生成闭环评审报告只是_meta质量闭环的一环。同级目录下还有remediations/ast-reference/modifiers.md.remediation.md修复报告记录针对 findings 的处置与gap-intake/ast-reference/modifiers.md.gap-intake.md缺口清单。regenerate.py提供show展开 watched paths、digest计算 watched_paths_digest、lint强制校验 front matter 文件的 Liquid 安全——禁止正文出现裸{{或{%否则 GitHub Pages 构建会失败这一限制源于一次导致站点构建中断五天的事故。评审发现的修复节奏是评审期间不得手工编辑生成页面而是在下次允许的再生成时依据 remediation 报告批量修正随后重新计算 digest 并更新 front matter。总结modifiers.md.review.md是 Slang 编译器文档自动化质量体系的一个缩影它展示了如何用程序化手段对一份 264 类的参考文档做全量核验类清单、标识符、链接、行号、摘要如何把偏差按严重级别归类并给出带源码证据的修复建议以及如何通过 front matter 元数据把评审锚定到具体提交与 watched-path 状态。对希望理解 Slang AST 修饰符家族、或希望为本项目类似生成文档建立评审机制的读者这份报告连同其目标文档docs/generated/design/ast-reference/modifiers.md、契约文件docs/generated/design/_meta/prompts/_common.md与docs/generated/design/_meta/prompts/ast-reference-modifiers.md、清单docs/generated/design/_meta/manifest.yaml以及核心源码source/slang/slang-ast-modifier.h、source/slang/slang-parser.cpp、source/slang/core.meta.slang、source/standard-modules/experimental/workgraph.slang构成了完整的研读路径。参考路径速查用途路径评审报告本文主体docs/generated/design/_meta/reviews/ast-reference/modifiers.md.review.md被评审的目标文档docs/generated/design/ast-reference/modifiers.md家族生成提示词docs/generated/design/_meta/prompts/ast-reference-modifiers.md公共契约含 AST reference family contractdocs/generated/design/_meta/prompts/_common.md文档清单watched paths / depends_ondocs/generated/design/_meta/manifest.yamlModifier 类声明source/slang/slang-ast-modifier.h解析入口parseAttributeName、ParseSquareBracketAttributessource/slang/slang-parser.cpp属性拼写注册attribute_syntaxsource/slang/core.meta.slang可微性属性拼写source/slang/diff.meta.slangVulkan 指针属性拼写source/slang/hlsl.meta.slangwork-graph 节点属性拼写实验性标准模块source/standard-modules/experimental/workgraph.slang【免费下载链接】slangMaking it easier to work with shaders项目地址: https://gitcode.com/GitHub_Trending/sl/slang创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考