[{"data":1,"prerenderedAt":970},["ShallowReactive",2],{"navigation":3,"-design-type-system":239,"-design-type-system-surround":967},[4,159],{"title":5,"path":6,"stem":7,"children":8,"icon":10},"指南","\u002Fguide","00.guide\u002F00.index",[9,11,16,21,53,84,116,142],{"title":5,"path":6,"stem":7,"icon":10},"lucide:book",{"title":12,"path":13,"stem":14,"icon":15},"快速开始","\u002Fguide\u002Fgetting-started","00.guide\u002F01.getting-started","lucide:rocket",{"title":17,"path":18,"stem":19,"icon":20},"基础语法","\u002Fguide\u002Fbasic-syntax","00.guide\u002F02.basic-syntax","lucide:code-2",{"title":22,"path":23,"stem":24,"children":25,"icon":27},"数据类型","\u002Fguide\u002Fdata-types","00.guide\u002F03.data-types\u002F00.index",[26,28,33,38,43,48],{"title":22,"path":23,"stem":24,"icon":27},"lucide:database",{"title":29,"path":30,"stem":31,"icon":32},"基本类型","\u002Fguide\u002Fdata-types\u002Fbasic_types","00.guide\u002F03.data-types\u002F01.basic_types","lucide:type",{"title":34,"path":35,"stem":36,"icon":37},"复合类型","\u002Fguide\u002Fdata-types\u002Fcomposite_types","00.guide\u002F03.data-types\u002F02.composite_types","lucide:layers",{"title":39,"path":40,"stem":41,"icon":42},"类型推导","\u002Fguide\u002Fdata-types\u002Ftype_inference","00.guide\u002F03.data-types\u002F03.type_inference","lucide:brain-circuit",{"title":44,"path":45,"stem":46,"icon":47},"结构体","\u002Fguide\u002Fdata-types\u002Fstruct","00.guide\u002F03.data-types\u002F04.struct","lucide:box-select",{"title":49,"path":50,"stem":51,"icon":52},"内建类型表面","\u002Fguide\u002Fdata-types\u002Fbuilt-in-surface","00.guide\u002F03.data-types\u002F05.built-in-surface","lucide:wrench",{"title":54,"path":55,"stem":56,"children":57,"icon":59},"流程控制","\u002Fguide\u002Fcontrol-flow","00.guide\u002F04.control-flow\u002F00.index",[58,60,64,69,74,79],{"title":54,"path":55,"stem":56,"icon":59},"lucide:git-branch",{"title":61,"path":62,"stem":63,"icon":59},"if 表达式","\u002Fguide\u002Fcontrol-flow\u002Fif-expressions","00.guide\u002F04.control-flow\u002F01.if-expressions",{"title":65,"path":66,"stem":67,"icon":68},"for 循环","\u002Fguide\u002Fcontrol-flow\u002Ffor-loops","00.guide\u002F04.control-flow\u002F02.for-loops","lucide:repeat",{"title":70,"path":71,"stem":72,"icon":73},"break 和 continue","\u002Fguide\u002Fcontrol-flow\u002Fbreak-continue","00.guide\u002F04.control-flow\u002F03.break-continue","lucide:skip-forward",{"title":75,"path":76,"stem":77,"icon":78},"return","\u002Fguide\u002Fcontrol-flow\u002Freturn","00.guide\u002F04.control-flow\u002F04.return","lucide:corner-up-left",{"title":80,"path":81,"stem":82,"icon":83},"注意事项","\u002Fguide\u002Fcontrol-flow\u002Fnotes","00.guide\u002F04.control-flow\u002F05.notes","lucide:alert-triangle",{"title":85,"path":86,"stem":87,"children":88,"icon":90},"函数","\u002Fguide\u002Ffunctions","00.guide\u002F05.functions\u002F00.index",[89,91,96,101,106,111],{"title":85,"path":86,"stem":87,"icon":90},"lucide:braces",{"title":92,"path":93,"stem":94,"icon":95},"基础函数","\u002Fguide\u002Ffunctions\u002Fbasic-functions","00.guide\u002F05.functions\u002F01.basic-functions","lucide:function-square",{"title":97,"path":98,"stem":99,"icon":100},"参数与默认值","\u002Fguide\u002Ffunctions\u002Fadvanced-parameters","00.guide\u002F05.functions\u002F02.advanced-parameters","lucide:settings-2",{"title":102,"path":103,"stem":104,"icon":105},"匿名函数","\u002Fguide\u002Ffunctions\u002Fclosures","00.guide\u002F05.functions\u002F03.closures","lucide:curly-braces",{"title":107,"path":108,"stem":109,"icon":110},"内建函数","\u002Fguide\u002Ffunctions\u002Fbuiltin-functions","00.guide\u002F05.functions\u002F04.builtin-functions","lucide:box",{"title":112,"path":113,"stem":114,"icon":115},"main 函数","\u002Fguide\u002Ffunctions\u002Fmain-function","00.guide\u002F05.functions\u002F05.main-function","lucide:play",{"title":117,"path":118,"stem":119,"children":120,"icon":37},"模块化","\u002Fguide\u002Fmodules","00.guide\u002F06.modules\u002F00.index",[121,122,127,132,137],{"title":117,"path":118,"stem":119,"icon":37},{"title":123,"path":124,"stem":125,"icon":126},"导出","\u002Fguide\u002Fmodules\u002Fexport","00.guide\u002F06.modules\u002F01.export","lucide:upload",{"title":128,"path":129,"stem":130,"icon":131},"导入","\u002Fguide\u002Fmodules\u002Fimport","00.guide\u002F06.modules\u002F02.import","lucide:download",{"title":133,"path":134,"stem":135,"icon":136},"最佳实践","\u002Fguide\u002Fmodules\u002Fbest-practices","00.guide\u002F06.modules\u002F03.best-practices","lucide:check-circle-2",{"title":138,"path":139,"stem":140,"icon":141},"完整示例","\u002Fguide\u002Fmodules\u002Fcomplete-example","00.guide\u002F06.modules\u002F04.complete-example","lucide:file-code-2",{"title":143,"path":144,"stem":145,"children":146,"icon":148},"高级特性概述","\u002Fguide\u002Fadvanced","00.guide\u002F07.advanced\u002F00.index",[147,149,154],{"title":143,"path":144,"stem":145,"icon":148},"lucide:zap",{"title":150,"path":151,"stem":152,"icon":153},"泛型","\u002Fguide\u002Fadvanced\u002Fgenerics","00.guide\u002F07.advanced\u002F05.generics","lucide:git-merge",{"title":155,"path":156,"stem":157,"icon":158},"类型转换","\u002Fguide\u002Fadvanced\u002Ftype-conversion","00.guide\u002F07.advanced\u002F06.type-conversion","lucide:refresh-cw",{"title":160,"path":161,"stem":162,"children":163,"icon":15},"设计","\u002Fdesign","01.design\u002F00.index",[164,165,169,173,177,181,185,189,193,197,201,205,209,213,217,221,225,229,232,235],{"title":160,"path":161,"stem":162,"icon":15},{"title":166,"path":167,"stem":168},"CST 特性","\u002Fdesign\u002Fcst-features","01.design\u002F01.cst-features",{"title":170,"path":171,"stem":172},"注释关联规则","\u002Fdesign\u002Fcomment-association","01.design\u002F02.comment-association",{"title":174,"path":175,"stem":176},"错误处理","\u002Fdesign\u002Ferror-handling","01.design\u002F03.error-handling",{"title":178,"path":179,"stem":180},"代码优化","\u002Fdesign\u002Foptimization","01.design\u002F04.optimization",{"title":182,"path":183,"stem":184},"注释保留","\u002Fdesign\u002Fcomments","01.design\u002F05.comments",{"title":186,"path":187,"stem":188},"结构体设计","\u002Fdesign\u002Fstruct-design","01.design\u002F06.struct-design",{"title":190,"path":191,"stem":192},"comparable 约束设计","\u002Fdesign\u002Fcomparable-constraint","01.design\u002F07.comparable-constraint",{"title":194,"path":195,"stem":196},"文档分层约定","\u002Fdesign\u002Fdocumentation-convention","01.design\u002F08.documentation-convention",{"title":198,"path":199,"stem":200},"类型系统总纲","\u002Fdesign\u002Ftype-system","01.design\u002F09.type-system",{"title":202,"path":203,"stem":204},"泛型系统","\u002Fdesign\u002Fgenerics-system","01.design\u002F10.generics-system",{"title":206,"path":207,"stem":208},"值语义与共享语义","\u002Fdesign\u002Fvalue-and-sharing-semantics","01.design\u002F11.value-and-sharing-semantics",{"title":210,"path":211,"stem":212},"函数与调用","\u002Fdesign\u002Ffunctions-and-calls","01.design\u002F12.functions-and-calls",{"title":214,"path":215,"stem":216},"表达式与语句","\u002Fdesign\u002Fexpressions-and-statements","01.design\u002F13.expressions-and-statements",{"title":218,"path":219,"stem":220},"模块系统","\u002Fdesign\u002Fmodule-system","01.design\u002F14.module-system",{"title":222,"path":223,"stem":224},"渲染内建","\u002Fdesign\u002Frender-intrinsics","01.design\u002F15.render-intrinsics",{"title":226,"path":227,"stem":228},"Any 设计","\u002Fdesign\u002Fany-design","01.design\u002F16.any-design",{"title":49,"path":230,"stem":231},"\u002Fdesign\u002Fbuilt-in-types-surface","01.design\u002F17.built-in-types-surface",{"title":107,"path":233,"stem":234},"\u002Fdesign\u002Fbuilt-in-functions","01.design\u002F18.built-in-functions",{"title":236,"path":237,"stem":238},"内建结构体与运行时类型","\u002Fdesign\u002Fbuilt-in-structs-and-runtime-types","01.design\u002F19.built-in-structs-and-runtime-types",{"id":240,"title":198,"body":241,"description":927,"extension":962,"meta":963,"navigation":964,"path":199,"seo":965,"stem":200,"__hash__":966},"content\u002F01.design\u002F09.type-system.md",{"type":242,"value":243,"toc":926},"minimark",[244,248,260,263,267,270,280,283,297,300,320,323,326,346,349,352,373,376,390,393,396,401,404,408,425,429,436,440,450,453,456,460,487,493,500,504,525,528,532,539,542,546,553,558,562,568,573,576,580,586,589,603,606,620,622,625,628,645,648,671,674,677,681,687,691,694,705,709,716,720,723,726,729,749,752,755,758,827,830,836,839,842,890,893,896],[245,246,247],"p",{},"本文档作为 Dujie 类型系统的总纲，面向语言设计者和编译器开发者。",[245,249,250,251,255,256,259],{},"它的目标不是一次性定完所有细节，而是先建立统一的讨论边界、术语和问题拆分方式。后续涉及 ",[252,253,254],"code",{},"any","、",[252,257,258],{},"opt\u003CT>","、类型推导、类型转换、拷贝语义等问题时，都应以本文为入口，再拆分到专题设计文档。",[245,261,262],{},"泛型相关问题不在本文中深入展开。本文只在必要处说明“类型系统与泛型系统的边界”，具体的泛型参数、约束、推导和实例化规则，后续统一放到独立文档中讨论。",[264,265,266],"h2",{"id":266},"语言目标",[245,268,269],{},"当前将 Dujie 定位为：",[271,272,273,277],"ul",{},[274,275,276],"li",{},"只用于描述 UI 的 DSL 语言",[274,278,279],{},"当前不实现响应式系统，但不封死未来扩展空间",[245,281,282],{},"这个目标直接约束类型系统的取舍：",[271,284,285,288,291,294],{},[274,286,287],{},"优先保障组件描述、状态表达、属性传递和局部转换的易用性",[274,289,290],{},"优先支持文本、数值、布尔、容器、可选值和组件类型",[274,292,293],{},"不以通用系统编程语言为目标",[274,295,296],{},"不以底层二进制处理能力为核心目标",[264,298,299],{"id":299},"设计目标",[301,302,304,308,311,314,317],"steps",{"level":303},"4",[305,306,307],"h4",{},"提供稳定、可预测的静态类型检查",[305,309,310],{},"让常见 UI DSL 场景写法足够简洁",[305,312,313],{},"控制隐式规则数量，避免“看起来能写但解释不清”",[305,315,316],{},"将语言层面的类型规则与 Rust 后端实现细节分离",[305,318,319],{},"为后续泛型、约束和内建类型扩展保留空间",[264,321,322],{"id":322},"非目标",[245,324,325],{},"当前阶段不追求以下能力：",[271,327,328,331,334,337,340,343],{},[274,329,330],{},"复杂的全局 Hindley-Milner 式类型推导",[274,332,333],{},"用户自定义子类型体系",[274,335,336],{},"隐式自动装箱\u002F拆箱",[274,338,339],{},"依赖运行时反射完成常规类型检查",[274,341,342],{},"由 Rust 实现细节直接反向决定语言语义",[274,344,345],{},"面向底层二进制处理的完整原语集合",[264,347,348],{"id":348},"类型系统范围",[245,350,351],{},"本文讨论的类型系统范围包括：",[271,353,354,357,360,363,365,367,370],{},[274,355,356],{},"类型种类",[274,358,359],{},"类型语法",[274,361,362],{},"类型检查",[274,364,39],{},[274,366,155],{},[274,368,369],{},"内建特殊类型的语言语义",[274,371,372],{},"与泛型系统的边界",[245,374,375],{},"本文暂不直接规定：",[271,377,378,381,384,387],{},[274,379,380],{},"具体 CST \u002F AST 节点长什么样",[274,382,383],{},"Rust 代码生成的最终映射方式",[274,385,386],{},"标准库 API 的完整清单",[274,388,389],{},"泛型系统的完整规则",[245,391,392],{},"这些内容可以被本文约束，但不应反过来主导本文。",[264,394,395],{"id":395},"基本立场",[397,398,400],"h3",{"id":399},"_1-dujie-是静态类型语言","1. Dujie 是静态类型语言",[245,402,403],{},"变量、表达式、函数参数、函数返回值、结构体字段都应在编译期拥有明确类型。",[397,405,407],{"id":406},"_2-类型规则优先于运行时实现","2. 类型规则优先于运行时实现",[245,409,410,411,255,414,255,417,420,421,424],{},"例如某个类型最终映射为 Rust 的 ",[252,412,413],{},"Arc\u003CT>",[252,415,416],{},"Vec\u003CT>",[252,418,419],{},"Option\u003CT>"," 或 ",[252,422,423],{},"Box\u003Cdyn Any>","，这是实现策略，不应直接替代语言语义定义。",[397,426,428],{"id":427},"_3-显式优先于隐式","3. 显式优先于隐式",[245,430,431,432,435],{},"除非有非常强的收益和非常低的歧义，否则类型变化应通过显式语法表达。当前可暂时接受的隐式行为，只应限于明确、局部且容易解释的规则，例如 ",[252,433,434],{},"T -> opt\u003CT>"," 的局部提升。",[397,437,439],{"id":438},"_4-绑定可变性与类型身份分离","4. 绑定可变性与类型身份分离",[245,441,442,445,446,449],{},[252,443,444],{},"let"," \u002F ",[252,447,448],{},"var"," 首先描述绑定是否允许重新赋值，不应混同为“变量所属类型是否会变化”的另一套机制。变量一旦完成类型确定，后续赋值必须与该类型兼容。",[264,451,452],{"id":452},"类型分类",[245,454,455],{},"当前讨论中，Dujie 的类型至少可分为以下几类：",[397,457,459],{"id":458},"_1-基础类型","1. 基础类型",[271,461,462,467,472,477,482],{},[274,463,464],{},[252,465,466],{},"int",[274,468,469],{},[252,470,471],{},"float",[274,473,474],{},[252,475,476],{},"bool",[274,478,479],{},[252,480,481],{},"rune",[274,483,484],{},[252,485,486],{},"string",[245,488,489,490,492],{},"当前阶段只保留一个公开整数类型：",[252,491,466],{},"。",[245,494,495,496,499],{},"当前不把 ",[252,497,498],{},"byte"," 作为核心基础类型纳入默认类型系统范围。原因是 Dujie 的目标是 UI 描述和状态建模，而不是原始二进制处理语言。",[397,501,503],{"id":502},"_2-参数化容器类型","2. 参数化容器类型",[271,505,506,511,516,520],{},[274,507,508],{},[252,509,510],{},"list\u003CT>",[274,512,513],{},[252,514,515],{},"map\u003CK, V>",[274,517,518],{},[252,519,258],{},[274,521,522],{},[252,523,524],{},"iter\u003CT>",[245,526,527],{},"本文后续将这组类型统称为“容器类型”。",[397,529,531],{"id":530},"_3-名义类型","3. 名义类型",[271,533,534],{},[274,535,536],{},[252,537,538],{},"struct",[245,540,541],{},"结构体属于语言层的命名类型系统，不应只被视为某种容器的语法糖。\n它可以包含其他值，但不归入这里的“容器类型”。",[397,543,545],{"id":544},"_4-领域特殊类型","4. 领域特殊类型",[271,547,548],{},[274,549,550],{},[252,551,552],{},"widget",[245,554,555,557],{},[252,556,552],{}," 是为 UI DSL 提供的内建领域类型，需要与普通数据类型区分看待。",[397,559,561],{"id":560},"_5-边界类型","5. 边界类型",[271,563,564],{},[274,565,566],{},[252,567,254],{},[245,569,570,572],{},[252,571,254],{}," 的职责、边界和允许出现的位置需要单独收敛，不应草率地把它当成“万能类型”。",[264,574,575],{"id":575},"当前不优先引入的类型",[397,577,578],{"id":498},[252,579,498],{},[245,581,582,583,585],{},"在当前语言目标下，",[252,584,498],{}," 不是优先类型。",[245,587,588],{},"原因：",[271,590,591,594,597],{},[274,592,593],{},"UI DSL 的主数据模型不是字节流，而是文本、状态、属性和组件树",[274,595,596],{},"即使未来引入响应式能力，其核心问题仍然不是字节运算",[274,598,599,600,602],{},"过早引入 ",[252,601,498],{}," 会扩张数值类型设计、转换规则和容器语义",[245,604,605],{},"如果未来出现明确的二进制场景，例如资源加载、编码处理、哈希或网络协议边界，再单独讨论是否需要：",[271,607,608,612,617],{},[274,609,610],{},[252,611,498],{},[274,613,614],{},[252,615,616],{},"bytes",[274,618,619],{},"或更高层的二进制抽象类型",[264,621,372],{"id":372},[245,623,624],{},"类型系统总纲需要承认泛型系统会存在，但不在这里深入定义其完整机制。",[245,626,627],{},"当前只约定以下边界：",[271,629,630,633,636,639,642],{},[274,631,632],{},"本文可以讨论“哪些类型位置未来允许出现类型参数”",[274,634,635],{},"本文可以讨论“某类能力要求是否存在”",[274,637,638],{},"本文不展开泛型参数声明语法",[274,640,641],{},"本文不展开约束系统的完整定义",[274,643,644],{},"本文不展开泛型实参推导和实例化规则",[245,646,647],{},"例如：",[271,649,650,661],{},[274,651,652,255,654,255,656,255,658,660],{},[252,653,510],{},[252,655,515],{},[252,657,258],{},[252,659,524],{}," 这类参数化类型，会在本文中作为类型构造器讨论",[274,662,663,666,667,670],{},[252,664,665],{},"T: ..."," 这样的约束语法，以及 ",[252,668,669],{},"key"," 这类约束的正式定义，放入独立的泛型系统文档",[264,672,673],{"id":673},"语义层面需要分离的几个概念",[245,675,676],{},"当前文档中有一些概念容易混在一起，后续必须拆开定义：",[397,678,680],{"id":679},"_1-类型类别-vs-运行时表示","1. 类型类别 vs 运行时表示",[245,682,683,684,686],{},"“这是 ",[252,685,510],{},"” 与 “底层是否共享内存” 不是同一个问题。",[397,688,690],{"id":689},"_2-类型相等性-vs-类型兼容性","2. 类型相等性 vs 类型兼容性",[245,692,693],{},"需要区分：",[271,695,696,699,702],{},[274,697,698],{},"两个类型是否完全相同",[274,700,701],{},"某个值是否允许赋给某个目标类型",[274,703,704],{},"某个类型是否满足某个约束",[397,706,708],{"id":707},"_3-类型系统规则-vs-api-设计","3. 类型系统规则 vs API 设计",[245,710,711,712,715],{},"例如 ",[252,713,714],{},"scores[\"a\"]"," 缺失键时返回什么，既涉及类型，也涉及容器 API 设计。两者要分层处理，不能只靠示例暗示。",[397,717,719],{"id":718},"_4-用户可见语义-vs-实现优化","4. 用户可见语义 vs 实现优化",[245,721,722],{},"比如“拷贝是否共享底层数据”如果要成为语言承诺，就必须写成正式语义；如果只是实现优化，就不应在用户文档里作为核心分类反复出现。",[264,724,725],{"id":725},"当前建议的总方向",[245,727,728],{},"在细节未完全收敛前，类型系统总方向先按以下原则推进：",[301,730,731,734,737,743,746],{"level":303},[305,732,733],{},"以静态、显式、局部可推导为主",[305,735,736],{},"以名义类型和参数化类型为主，不引入复杂子类型体系",[305,738,739,740,742],{},"将 ",[252,741,254],{}," 视为边界能力，而不是常规建模手段",[305,744,745],{},"将类型推导限制在易解释的局部上下文中",[305,747,748],{},"将“值\u002F引用\u002F共享\u002F可变”等问题作为独立语义层处理，而不是先塞进类型名义体系",[264,750,751],{"id":751},"专题拆分与当前状态",[245,753,754],{},"当前总纲只保留稳定边界和术语，不再重复专题细则。",[245,756,757],{},"已经有明确专题承接的内容：",[301,759,760,768,778,791,798,807,820],{"level":303},[305,761,762,763],{},"值语义与共享语义：见 ",[764,765,767],"a",{"href":766},".\u002F11.value-and-sharing-semantics","11.value-and-sharing-semantics",[305,769,770,771,773,774],{},"函数参数、",[252,772,258],{},"、默认值和调用规则：见 ",[764,775,777],{"href":776},".\u002F12.functions-and-calls","12.functions-and-calls",[305,779,780,781,255,783,786,787],{},"字面量、表达式、语句、类型推导边界、",[252,782,524],{},[252,784,785],{},"panic"," 和语言级错误模型：见 ",[764,788,790],{"href":789},".\u002F13.expressions-and-statements","13.expressions-and-statements",[305,792,793,794],{},"模块、导入导出、路径规则和入口约束：见 ",[764,795,797],{"href":796},".\u002F14.module-system","14.module-system",[305,799,800,802,803],{},[252,801,552],{},"、组件函数和渲染内建边界：见 ",[764,804,806],{"href":805},".\u002F15.render-intrinsics","15.render-intrinsics",[305,808,809,811,812,815,816],{},[252,810,254],{}," 的定位、",[252,813,814],{},"is"," 收窄和动态边界：见 ",[764,817,819],{"href":818},".\u002F16.any-design","16.any-design",[305,821,822,823],{},"泛型系统：见 ",[764,824,826],{"href":825},".\u002F10.generics-system","10.generics-system",[245,828,829],{},"仍然值得继续单开文档细化的议题：",[831,832,833],"ol",{},[274,834,835],{},"类型转换与标准库格式化\u002F解析的分层",[245,837,838],{},"泛型相关内容继续独立处理，不并入本总纲。",[264,840,841],{"id":841},"与现有文档的关系",[271,843,844,850,855,860,865,870,875,883],{},[274,845,846,849],{},[252,847,848],{},"00.guide\u002F03.data-types"," 目前主要是面向使用者的说明，不是最终的设计依据",[274,851,852,854],{},[252,853,188],{}," 当前只覆盖结构体的一部分实现思路，不能替代整体类型系统设计",[274,856,857,859],{},[252,858,192],{}," 是历史设计记录，不能替代当前的泛型约束设计",[274,861,862,864],{},[252,863,212],{}," 收敛函数参数、默认值和调用规则",[274,866,867,869],{},[252,868,216],{}," 收敛字面量、控制流、运算、推导边界和语言级错误模型",[274,871,872,874],{},[252,873,220],{}," 收敛模块、导入导出、路径规则和入口约束",[274,876,877,879,880,882],{},[252,878,224],{}," 收敛 ",[252,881,552],{},"、组件函数和渲染内建边界",[274,884,885,879,887,889],{},[252,886,228],{},[252,888,254],{}," 的定位、边界和显式收窄规则",[264,891,892],{"id":892},"当前结论",[245,894,895],{},"当前阶段的工作方式保持不变：",[301,897,898,905,911,914,921],{"level":303},[305,899,900,901,904],{},"类型系统问题优先在 ",[252,902,903],{},"01.design"," 收敛",[305,906,907,910],{},[252,908,909],{},"09.type-system"," 只负责总纲、术语和专题边界",[305,912,913],{},"具体规则优先写入对应专题文档",[305,915,916,917,920],{},"不直接把当前 ",[252,918,919],{},"00.guide"," 的描述视为已经定案",[305,922,923,924],{},"每收敛一个专题，再决定是否同步修改 ",[252,925,919],{},{"title":927,"searchDepth":928,"depth":928,"links":929},"",2,[930,931,932,933,934,941,948,951,952,958,959,960,961],{"id":266,"depth":928,"text":266},{"id":299,"depth":928,"text":299},{"id":322,"depth":928,"text":322},{"id":348,"depth":928,"text":348},{"id":395,"depth":928,"text":395,"children":935},[936,938,939,940],{"id":399,"depth":937,"text":400},3,{"id":406,"depth":937,"text":407},{"id":427,"depth":937,"text":428},{"id":438,"depth":937,"text":439},{"id":452,"depth":928,"text":452,"children":942},[943,944,945,946,947],{"id":458,"depth":937,"text":459},{"id":502,"depth":937,"text":503},{"id":530,"depth":937,"text":531},{"id":544,"depth":937,"text":545},{"id":560,"depth":937,"text":561},{"id":575,"depth":928,"text":575,"children":949},[950],{"id":498,"depth":937,"text":498},{"id":372,"depth":928,"text":372},{"id":673,"depth":928,"text":673,"children":953},[954,955,956,957],{"id":679,"depth":937,"text":680},{"id":689,"depth":937,"text":690},{"id":707,"depth":937,"text":708},{"id":718,"depth":937,"text":719},{"id":725,"depth":928,"text":725},{"id":751,"depth":928,"text":751},{"id":841,"depth":928,"text":841},{"id":892,"depth":928,"text":892},"md",{},{},{"title":198,"description":927},"eb4a38-PmeAwoVpMU8q_F7w_ajHywPoWDkmIkd-93gg",[968,969],{"title":194,"path":195,"stem":196,"description":927,"children":-1},{"title":202,"path":203,"stem":204,"description":927,"children":-1},1776981319057]