# E-ROADMAP G0版（待批准基线 · 2026-09-20）

> 状态声明：本方案为"待批准基线"。负责人、具体日期与当前构建材料补齐前，不标为完整获批排期。
> 版本链：G0版取代此前所有路线讨论稿；与0918纯E化定版、#258六轮收敛定版完全兼容（本版是其收紧与执行细化）。

## 核心修正（保留初心，只改推进方式）
- E独立语言 → 自举 → 去C → 自主EOS，四层完成标准分开，不混为一个"完成"
- 当前唯一激活项：**G0 = 产物可信 + Phase 0最小数组检查链**（长度提取→静态越界检查→结构化诊断）
- struct维持Non-Goal，Region/Arena既定数据模型，C后端=过渡手段
- AI生成/验收三层隔离：规则授权 / 执行隔离 / 判定依据独立

## G0任务表（编号映射现有Phase0工单，不重复建池）
| 任务 | 交付物 | 状态 |
|---|---|---|
| G0-01/02 取证绑定 | 基准提交+二进制摘要+构建身份 | 进行中（elangc 1.6.15已带md5自报） |
| G0-03 长度状态 | 已知/未知/非数组三态（不以0混淆） | 0a执行中 |
| G0-04 最小长度提取 | 一种声明形式的len解析与传播 | 0a+0b-min |
| G0-05 常量下标检查 | E_BOUNDS+源码位置，负例执行前拒绝 | 0c |
| G0-06 独立回归 | 正/负/原程序测试，零未解释退化 | golden集 |
| G0-07 最小结果记录 | 构建/源码/规则/结果四绑定 | proof.json |

## Phase 0执行拆分（Plan B固定：缩范围不删步骤）
0a: 长度状态（AST三态标记）+ 0b-min: [T;N]字面量长度写入len + 0c: 常量下标 vs len检查+E_BOUNDS诊断
——变量下标/复杂长度表达式明确列为未覆盖（拒绝模式）。

## 路线依赖（G1→G6全图存档，当前仅G0激活）
G0 → G1(Region/Arena自举数据模型) → G2(E语义/E-IR/过渡后端) → G3-S(托管自举) → G4-full(EOS模块验收)+G5(自主执行链) → G6(自主EOS集成)
并行线：G4-早期模块反验 / G3-A(AI生成-修复-验收闭环) / M消费线
G5双约束：阶段门+日历门（日期由实际负责人填，未填=未闭环）

## 重试上限纪律
同一执行方式连续两次完整补丁未通过→停止重投喂→查规格完整性→补最小复现→升级执行者→缩覆盖→同标准重验。不得降低既定预期作为"修复"。