独立校验
顺序语义由 独立校验(oracle) 核对
独立校验 自己重解析一次比对配置,再逐键手算最终值而不复用页面算好的写者表;它还检查失败之后没有任何步骤被应用、overlay 落在最后一步。
装配舞台
左列是当前顺序下的每个解析步骤(含 overlay),右列是最终生效的配置键。实线=这一步的写入成为最终值;虚线=它写过但被后面的步骤覆写。悬停或键盘聚焦左列卡片,只看它自己的贡献。
谁写了哪一项
行是解析步骤(Bundle 按声明顺序,overlay 在最后),列是配置键。实心格是这一步成为该键的最终写者,空心格是它写了但被后面覆盖,空白是没触及。
解析后的配置
每个键都写明最终值和写它的那一步。没有任何步骤写过的键留空——那不是错误,是这份 Profile 没有声明它。
| 键 | 最终值 | 最终写者 |
|---|
独立校验
独立校验 自己重解析一次比对配置,再逐键手算最终值而不复用页面算好的写者表;它还检查失败之后没有任何步骤被应用、overlay 落在最后一步。
证据边界
完整文字替代
图里的每一格,这张表都逐行给出,包括这一步写了什么、哪些成为最终值、哪些被覆盖。
| 步 | 来源 | 类型 | 写入的键 | 成为最终值 | 被覆盖 | 是否应用 |
|---|