文档维护：C1/C3/C6 行同步定案标记、§9.2 标注全部闭合、历史记录修正

Doc/isa/指令集优化.md

@@ -208,12 +208,12 @@
 
 | # | 项 | 说明 |
 |---|---|---|
-| C1 | 元数据段格式（原 A1） | 结构体/字符串表 schema——v1 预留但格式未定；建议 v1 定「0 长度占位段，schema 延后」 |
+| ~~C1~~ | ~~元数据段格式（原 A1）~~ | **已定案（U12）**：v1 0 长度占位（offset_meta=0），schema 延后 |
 | ~~C2~~ | ~~头 128B 布局终稿~~ | **已定案（U7 修正版）**：见 §2.5（offset_meta/max_stack/values_size 等） |
-| C3 | machine.toml `[[fb]]` 表 schema | fb_id/name/字段类型（含单/双字计数 width 列）细则——随 B3 定 |
+| C3 | machine.toml `[[fb]]` 表 schema | **字段/布局已定案**（指令集清单 §8.1）；`[[fb]]` **配置格式**并入 N5（machine.toml V2 schema，阶段 1） |
 | ~~C4~~ | ~~CALL/CAL 的 rd 恒 0 成文~~ | **已定案（U14）**：已写入指令编码.md §5 |
 | C5 | line1 推演重算 | 实施阶段（阶段 5）才需要 |
-| C6 | CTU/CTD/CTUD 字段表终稿 | pv/cv 定 INT/DINT 后，字段宽度/对齐/偏移终稿（随 B3 定） |
+| ~~C6~~ | ~~计数器字段表终稿~~ | **已定案**：指令集清单 §8.1（CTU 8B / DCTU 16B / CTUD 10B / DCTUD 16B） |
 
 ## 8. 待讨论（用户反问）
 
@@ -289,8 +289,8 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml
 - 整数除法语义 A 定案：除零返回被除数、MIN/-1 饱和、截断除法、MOD 符号随被除数（延续 V1 饱和算术家族）
 - A10 定案（B1/B2）：1 CAL + fb_id 16 位（查 [[fb]] 表）；V1 的 8 个 CAL_* opcode 作废
 - B4 定案：领域指令（运动控制/通信）不进指令集，一律 FB 库；无 EXT 服务指令
-- B3/B5 说明中待确认：单/双字计数编码（CAL type 位段）、op 位段预算
-- 未定项记录：C1 元数据段 / C2 头终稿 / C3 fb 表 schema / C4 rd 约定成文 / C5 line1 推演 / C6 计数器字段表
+- B3/B5 说明中待确认：单/双字计数编码、op 位段预算（均已随 U5/U6 定案）
+- 未定项记录：C1..C6（均已闭合：C1=U12、C2=U7、C3=字段表已定+配置格式入 N5、C4=U14、C5=实施阶段、C6=§8.1 字段表终稿）
 
 ## 9. 确认核验清单（2026-08-24 核对）
 
@@ -328,7 +328,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml
 | K25 | fmt 位段取消，形态全前缀分区（零查表） | 「010区也换成前缀编码，这样所有指令都统一了」 |
 | K26 | MOVE 只搬宽度，不管符号/浮点；类型不匹配编译期报错 | 「move指令只管宽度和搬运...类型不匹配，编译时就报错」 |
 
-### 9.2 待确认（用户未明确回答）
+### 9.2 待确认（用户未明确回答）——已全部闭合（2026-08-24）
 
 | # | 事项 | 当前文档写法 | 待表态 |
 |---|---|---|---|