38 lines
2.4 KiB
Markdown
38 lines
2.4 KiB
Markdown
# TASK-06 落实语言决定与修复语义矛盾
|
||
|
||
适用：用户明确改变语言规则、确定某项提案、要求全库统一写法，或文档出现相互冲突的断言。
|
||
|
||
必读：[语言核对地图](../references/language-map.md)、[语义契约](../references/semantic-contracts.md)、[DOC-013](../rules/DOC-013.md)、[DOC-015](../rules/DOC-015.md)、[DOC-016](../rules/DOC-016.md)、[DOC-021](../rules/DOC-021.md)。可用[TPL-05](../templates/TPL-05.md)记录影响。
|
||
|
||
## 确定决定的准确边界
|
||
|
||
用一句话复述已获得的决定，列出它改变的断言和没有随之确定的维度。例如“use 使用 atelier:shop.ui，atelier 是 workspace handle”确定 workspace 与路径的分隔形式；不会同时确定 handle 字符集、别名或冲突规则。
|
||
|
||
若用户只是要求解释得更清楚，先按现有规则改善文档。无法决定的新增语义保持具体未定状态，完成独立部分；仅当目标确实依赖新决定时请求最小必要澄清。
|
||
|
||
## 搜索影响面
|
||
|
||
| 改动类型 | 必查范围 |
|
||
| --- | --- |
|
||
| key 或 use 形式 | 身份、namespace、程序结构、调用示例、文法、术语和作者示范 |
|
||
| 阶段职责 | 阶段章、函数/数据/UI行为、术语、例子中的时机描述 |
|
||
| 函数或类结构 | 类型、表达式、调用、数据、相关产生式和所有调用点 |
|
||
| 官方组件来源 | UI 例子、程序结构说明、状态以及例子的导入条件 |
|
||
| 名称与术语 | 标题、正文、源码围栏、索引、链接文字；外部 URL 单独判断 |
|
||
|
||
先查固定旧写法，再查概念近义表述。纯字符串替换找不到“导入自动赋予访问权”这样的语义残留。
|
||
|
||
## 修改顺序
|
||
|
||
更新主要定义和明确受影响的状态，再同步形式文法和使用例子，随后更新术语、导航及作者资料。语法提案内部修订仍是提案；只有明确确认才改变状态。
|
||
|
||
为每个关键变化给一个前后对照，说明合法性或效果变化。反例可以保留旧写法并解释其错误；历史记录与外部来源不为了零命中被篡改。
|
||
|
||
## 完成条件
|
||
|
||
从规范、形式、例子三个方向核对一致性。保留用户决定的出处说明或任务记录，使后来作者能知道为何改变。无需将聊天全文塞入语言正文。
|
||
|
||
若发现已有规则互相冲突却没有决定依据，交付具体冲突与候选影响，不能凭写作偏好确认语义。
|
||
|
||
[任务入口](../SKILL.md)
|