All MicroEvals
这个方案怎样? # 02_STRUCTURE_ENGINE · 第四层:公共输出接口 版本:v0.9-rev2|状态:C...
Create MicroEval

这个方案怎样? # 02_STRUCTURE_ENGINE · 第四层:公共输出接口 版本:v0.9-rev2|状态:C...

Prompt

这个方案怎样? # 02_STRUCTURE_ENGINE · 第四层:公共输出接口 版本:v0.9-rev2|状态:CANDIDATE / 待审核 / 未冻结 / 未验证|范围:L08 输出的 02 输出包(产物名 `02_STRUCTURE_PACKAGE`) 本稿未获批准。批准前,本稿不构成可执行规则:Core 的 L05 对第四层未确定的部分不检查,L08 不自行补齐未确定的接口内容(Core rev10 §3 L05、L08)。 ## 标签 - 【承接】:引用现行层级已有明确依据的规则,不重述;第一层 v0.5 已冻结,第二层 Core rev10 为候选基线。 - [NP]:新增提议,待批准;批准前不得作为已启用规则。 - 【OPEN_GAP】:未决,不得补齐为规则。 证据与设计记录不属于本文件,见阶段一证据表,其内容不构成规则。 ## §1 职责与边界 1.1 【承接 Core rev10 §3 L08】L08 仅在 L07 判定 PASS 后输出。 1.2 【承接 Core rev10 §3 L08】L08 按本层已确定且获批准的规则封装输出,并挂载获得授权的 Module 扩展;不得自行补齐未确定的接口内容。 1.3 - 【承接 Core rev10 §3 L08】Core 不得自行新增第四层未声明的字段、适配器或第二套输出结构。 - [NP] 未经批准,不得新建双 Schema 或字段转换层。 1.4 [NP] L08 不生成内容,不重新验证,不修改 L02–L07 已定稿的结构产物。 1.5 [NP] 本层只规定 02 的输出包,不定义:TRANSFER_PACKAGE(适配器输出)、CONSUMPTION_LEVEL、L05 检查项与违规分类、L07 路由、Module 声明的内容与格式(属第三层)。 1.6 [NP] 02 的输出包与 TRANSFER_PACKAGE 不得混同。TO_03、TO_04 的字段清单分别确定,不合并为一份全局必需清单。 1.7 【承接 第一层 v0.5 §8.2】02 向下游交付上游数据时,不得修改、覆盖或删除原始数据;转换须建立独立派生产物。 ## §2 输出内容与授权 2.1 [NP] 02 输出只含两类内容:Core 公共内容(由 Core 拥有并定义),ACTIVE_MODULE 扩展(由 Module 拥有机制专属语义与取值,经授权后方可输出)。Core 公共内容目前为空(见 §4)。 2.2 [NP] 字段语义所有权与字段结构定义分开管理。字段路径、层级、类型、必需性、适用条件和空值规则,须由获准的有效输出契约明确规定。字段曾出现在旧版输出中,不代表其语义归属 Core;保留某一历史字段结构,也不代表所有 Module 必须采用相同的业务语义。 2.3 [NP] 下游消费需求不等于字段授权。字段须有明确的产生者、来源、含义及获准的输出依据;03 或 04 需要某字段,不代表 Core 必须生成该字段。 2.4 [NP] 02 输出保持单一、稳定,不因不同的下游消费者而出现多套竞争 Schema。 2.5 - 【承接 Core rev10 §1.1】Core 不包含机制专属的结构单元形态,机制专属内容由 ACTIVE_MODULE 提供。 - [NP] 因此,本层不预设 `Beat_Sequence`、`beat_id`、`constraint_content`、`derived_from` 为所有 Module 的固定公共字段;不因单个 Module 或样本使用过某字段,就认定其为公共字段。 ## §3 基本结构(候选) 本节全部为 [NP] 候选结构,批准前不得作为已启用规则。 3.1 [NP] 一次成功执行最多输出一个包,不输出部分结果包。 3.2 [NP] 最外层只有 `CORE_LAYER` 与 `ENHANCEMENT_LAYER` 两个键。`STRUCTURE_PACKAGE` 是产物名,不是外层键。 3.3 [NP] 最外层不含包名键、`TARGET`、`SOURCES`、`MODULE_ID`、版本等元数据。`MODULE_ID` 的包外处理方式不在本层规定(OUTPUT-02)。 3.4 [NP] 包内只含结构产物本体,不含说明性文字、会话笔记、偏好名、检查名、Module 内部说明。输出前后的说明句与围栏见 OUTPUT-17。 3.5 [NP] 字段归哪一层,由 ACTIVE_MODULE 声明。Module 字段直接挂载在两层之内,不另设扩展区或额外封装(OUTPUT-01)。 ## §4 必须输出的内容与公共字段准入 4.1 [NP] 必须输出:(a) §3 的基本结构;(b) 当前 ACTIVE_MODULE 声明为必需且已获授权的输出字段。 4.2 [NP] 公共字段区目前为空。字段进入公共字段区,须同时满足: - (a) 不属于某一 Module 的专属语义; - (b) 下游消费契约确实读取; - (c) 属于跨 Module 业务字段的,须有至少两个结构不同的 Module 的真实输出证明其语义、类型及结构一致;仅字段名相同不构成依据。 4.3 [NP] Core 自有字段不适用两个 Module 的实证要求,但须有明确的 Core 定义、所有权、产生依据及输出定义。在 Core 明确列出某字段为 Core 公共字段之前,不得自行将现有字段或七个运行元数据字段归入 Core 公共字段。 4.4 [NP] 单个 Module 或单个样本只能证明该范围内的字段存在和可用,不得单独证明跨 Module 公共性。字段升格为公共字段须经批准。 4.5 [NP] 本层不设 Beat 数量、FRICTION_ANCHOR 数量或其他结构分类的公共要求。适用的数量范围、分类及条件由 ACTIVE_MODULE 声明,L02 按其生成规则执行;需要由 L05 检查的 Module 专用检查,须满足 Core rev10 §4.2 的准入条件。 ## §5 数据保护与禁止输出 5.1 【承接 第一层 v0.5 §8.2、Core rev10 §1.3】02 对上游原始数据保持只读。输出上游字段时,只能按获准范围原样只读传递,不得修改、覆盖或删除原始值。 5.2 [NP] 上游原始字段的改写或归一化版本,不得以原字段名进入输出,须为原样只读拷贝,或独立命名的派生产物。由上游数据计算、转换或归纳而来的内容,须作为独立派生产物,不得伪装成或覆盖上游原始字段。 5.3 - 【承接 Core rev10 §3 L03、L04、L08】非正式草稿与会话笔记不得进入最终输出;L04 内部验证上下文只供 L05 读取,不向下游开放;L08 不得输出内部验证上下文。 - [NP] 本层进一步明确,内部验证上下文本身及其中仅为判据准备的复制或计算材料不得进入输出。获准的上游原始字段仍按 5.1 原样只读传递。 5.4 [NP] Core 运行状态不进入输出:L05 验证报告、检查记录与违规明细,L06 修复过程、修复记录与临时候选值,迭代计数,L07 路由状态。 5.5 [NP] 下游适配器的封装、标签及适配器自行构造的结构不属于 02 输出:`TARGET`、`SOURCES`、`INPUT_LAYER`、`FROM_0x`、`CONSUMPTION_LEVEL`、`OMITTED`,以及 `Beat_Sequence_Extras` 等。03 的 `VOICE_PROFILE`,04 的 `FINAL_SCRIPT`、`RUNTIME_PACKAGE`、`SCRIPT_MANIFEST`,同样不属于 02 输出。 5.6 - 【承接 Core rev10 §1.2、§3 L08】未经授权的字段不得输出。 - [NP] Module 声明本身不构成输出授权。 5.7 [NP] 对有效上游契约或获准的 ACTIVE_MODULE 声明确实规定为“调用方来源不可转移”的字段,L08 按该具体规定禁止输出。本层不建立通用标记语法,也不自行推定禁转范围;Module 不得借此扩大上游数据来源或突破第一层授权边界。 ## §6 Module 扩展字段授权准则 以下均为 [NP]。 6.1 每个扩展字段进入输出前,须有明确定义(路径、类型、内部结构、必需性、适用条件、空值规则)及来源依据(产出该字段的执行环节;含上游原样字段的须标明上游来源)。声明的内容清单与格式属第三层。 6.2 不得覆盖、删除、重命名或改变 Core 公共字段及其含义。 6.3 不得包含 §5 所列禁止内容。 6.4 保留 Module 定义的原有结构,L08 不得改写格式、归一化或摘要化。 6.5 含上游 01 原样字段时按 5.1 只读拷贝;含派生内容时按 5.2 作为独立产物隔离。 6.6 不得扩大输入来源(第一层 v0.5 §5.5),不得削弱 Core 不变量(Core rev10 §1.3)。 6.7 授权仅对记录的 Module、版本和测试范围有效,不自动升格为公共字段或 VERIFIED。 ## §7 下游兼容 7.1 本稿不确定 03、04 的字段消费契约(OUTPUT-15)。 7.2 [NP] 转交包和下游实际消费行为只能作为消费证据,不直接构成字段授权;实际接收或使用范围与消费契约不一致时,登记为接口缺口,不得据此扩大字段授权。 7.3 [NP] 兼容性按公共字段与当前 Module 获准的扩展字段共同判断:只有实际获得授权的字段满足消费方声明的读取要求,才可认定该 Module 在指定范围内接入。 ## §8 OPEN_GAP 以下事项均不构成规则,不得自行补齐。 | 编号 | 事项 | 未决内容与证据 | | :-- | :-- | :-- | | OUTPUT-01 | 字段归层规则 | 字段归 `CORE_LAYER` 还是 `ENHANCEMENT_LAYER` 的规则(声明属第三层)。03 契约把 `Topper_Beat_ID`、`Topper_Function`、`Unsolvable_Loop_Beat_ID` 写在 `ENHANCEMENT_LAYER`,与 R3.4 D3 和 02 输出样本(`CORE_LAYER`)不一致 | | OUTPUT-02 | 外层元数据 | §3.3 为提议;包身份、版本、Module 标识目前没有载体;`MODULE_ID` 的包外处理方式未决(R3.4 B8.5 为原架构的历史决定,不自动成为新架构规则) | | OUTPUT-03 | 公共字段集 | 本稿为空;`derived_from` 是否具有跨机制通用性;Core 自有字段须先有明确的 Core 定义 | | OUTPUT-04 | 七个运行元数据字段归属 | 归 Core、Module,还是 Materializer。02 资料与 04 V9.0 文件对这七个字段的来源描述不一致;Materializer 文件尚未取得 | | OUTPUT-05 | 公共说话方 / 发声载体字段 | 是否需要公共承载位置,或完全由各 Module 定义。04 契约声明 `RUNTIME_ROLE_BINDING` 必需;03 契约不读取 | | OUTPUT-06 | `Reveal_Control` 完整形状 | 已明确的仅 `Reveal_Pacing_Mode` 与条件必需的 `Reveal_Beat_ID`;`Source` 子键在 03、04 契约中均未提及;其余结构、取值范围、空值处理未决 | | OUTPUT-07 | Module 输出扩展声明的内容与格式 | 属第三层 | | OUTPUT-08 | 跨 Module 扩展授权与兼容 | 授权记录形式、版本范围、测试范围及兼容性记录方式 | | OUTPUT-09 | 空值与可选字段 | 不设通用 null 规则;空字符串、空数组、空对象如何判定未决。局部证据:TO_04 `RUNTIME_V2.5-MANUAL-9` 规定 `camera_energy`、`fake_exit_step`、`fake_exit_count` 的键必须存在、值为 null 合法;`weight`、`fn`、`beat_type`、`breakflag` 缺失或 null 均触发 HALT。该规则仅适用于该适配器及其声明字段,不自动推广 | | OUTPUT-10 | 派生数据命名规范 | 输出中派生内容的命名空间规则及与上游原始字段的隔离 | | OUTPUT-11 | 内部状态名称对应 | 适配器所列 `02_INTERNAL_VALIDATION_STATE` 与内部验证上下文是否同一对象;`Structure_Control_Applied` 出现在 02 输出样本中,两个适配器均排除,是否属于输出内容待核;核实前不据此扩大 §5.3 的禁入范围 | | OUTPUT-13 | Materializer 读取需求 | 其对 02 输出的读取字段清单 | | OUTPUT-15 | 下游字段消费契约 | 03、04 当前有效版本各自读取 02 的哪些字段,及字段级实际接入证据(R3.4 B8.4 已登记为 `FIELD_LEVEL_03_04_CONSUMPTION_CONTRACT`)。TO_03 实际转交的 Beat 字段范围大于 03 契约明确列出的读取字段范围;差异已确认,其对实际消费及兼容性的影响另行记录 | | OUTPUT-16 | 第五层信息传递 | 第五层中哪些经批准的信息只影响 02 结构生成,哪些需要透传给 03/04;如需透传,其授权范围、承载位置及下游消费方式。本层不规定第五层的引用位置 | | OUTPUT-17 | 输出前后的说明句、围栏与序列化格式 | 02 输出样本在 JSON 前有一句说明文字并用代码围栏包住,而 R3.4 B8.1(V19 标注未核对原文)要求不含解释性文字;02 样本为 JSON,转交包与 04 输出为 YAML 记法。是否规定序列化格式、如何处置说明句与围栏,未决 | OUTPUT-12、OUTPUT-14 编号已移出并保留,不复用。

Drag to resize
Drag to resize