Auto Language 设计文档总览与索引
本文档是
docs/design/的总入口，索引树内全部文档并标注分类与状态。 整理历史：2026-06-15 首次体系化（14 章版）→ 2026-08-28 Plan 467 全量重整 → 2026-08-28 Plan 468 需求级文档去序号化、按模块归位 → 2026-09-04 Plan 543 建立知识库生命周期与 current/target-state 分层。
知识资产分层（先读这个）
完整职责和 canonical-source 矩阵以 Design 27：Knowledge Base Lifecycle 为准。目录层仍保持 Design / Specs / Plans 三个主入口，ADR 位于模块架构文档，Generated Catalog 由后续工具生成。
| 层 | 目录 | 职责 | 回答的问题 |
|---|---|---|---|
| 设计层 | docs/design/（本目录） | 意图、方案、取舍、历史素材 | "为什么这样设计 / 打算怎么做" |
| 账本层 | docs/specs/ | 现状知识（project/module 树 + 6 段 spec ledger） | "现在是什么样、关键入口在哪" |
| 过程层 | docs/plans/（active + archive/ 438 篇） | 一次开发任务的完整时间线叙事 | "某次改动是怎么做的" |
各层互相引用不复制：设计文档描述意图并链接 specs 现状；specs 描述现状并溯源 (plan-NNN)； plans 记录过程并在收尾时经 /auto-plan:merge 把知识沉淀回 specs（范式详见 Design 27、autoplan-spec-ledger.md 与 specs/README.md）。
新增设计文档的归位规则（Plan 468 确立）
写新设计文档前先定性：
| 定性 | 判据 | 去向 |
|---|---|---|
| 域级章 | 覆盖一个大的技术域、长期伞形视图（如类型系统、UI 架构、知识生命周期） | 根级拿号（下一可用章号 34——33 已用于标准库运行时），在本索引登记 |
| 需求级/专题设计 | 服务于某条需求线或专题（特性、轨道、规范、研究输入） | 进对应模块子目录（autoui/、blueprints/、strategy/…），slug 命名不带号 |
| 流程体系类 | 开发范式、知识体系、流程设计 | 根级不拿号（与 plan-spec-hybrid-model.md、autoplan-spec-ledger.md 同列） |
封存号说明：17–19、21–26 已被历史文档用过并随 Plan 468 归位（对应关系见各子目录）， 不再复用——历史文献中的"Design NN"靠各文档头部的归位注记溯源。 注：autoui/desktop-shell.md（Design 25，曾用名 AutoShell/25-autoshell-dsl-unified-shell）已归位转正式 autoui/，届时 25 号一并封存。
分类总览
文档数量不再作为手工维护的架构事实；当前数量和目录清单应由后续 Generated Catalog 生成。
| 分区 | 数量 | 内容 |
|---|---|---|
| 一、语言核心 | 10（01–10） | 从源码到执行的语言本体设计 |
| 二、应用框架与生态 | 5（11–15）+ 1 子目录 | Shell / 并发 / 网络 / 开发工具 / AI 基础设施；标准库运行时方案见 Design 33，文档与在线体验线设计归 documents/ |
| 三、AutoUI 与 App 生成域 | 2 章 + 2 子目录 | 域级章 16/20；需求级设计归 autoui/（10）与 blueprints/（4） |
| 四、流程与知识体系 | 1 个域级章 + 2 个根级专题 | Knowledge Lifecycle、AutoPlan 账本、Plan+Spec v1 |
五、战略路线图 strategy/ | 13 | 生态版图伞形（三市场框架）/ Rust 脚本层 / 消费者 parity / C·Web·鸿蒙·Mobile·ROS2·Native·第三代互联网(Godot) 生态 / Python parity / Rust 库复刻 |
| 六、专题诊断（根级） | 4 | 方言体系诊断、VM 调试、ASH 设计总览（外仓主题）、[管道算子 ` |
七、附录 forge/ | 5 | AutoForge（已迁 auto-os 生态） |
八、历史素材 raw/ | 67 | 早期原始设计草稿（只读参考） |
| 0 | —（原在途 25-autoshell-dsl-unified-shell.md 已归位为 autoui/desktop-shell.md） |
历史文档曾维护人工“对账公式”；该公式随目录演进已失效，不再作为完整性门禁。
一、语言核心（01–10）
源码 (.at)
├─ 词法/语法 ──→ 10-language-syntax.md
├─ 类型系统 ──→ 02 / 03 / 04
├─ 编译管线 ──→ 01 / 09
├─ 数据结构 ──→ 07
└─ 执行后端 ──→ 05（VM 解释）/ 06（a2c/a2r 转译）| # | 文档 | 主题 |
|---|---|---|
| 01 | Architecture | 编译器管线、核心组件、AIE 增量编译 |
| 02 | Type System | 类型修饰符、推断、泛型、字符串、枚举、联合 |
| 03 | Error Handling | Option/Result/Panic、May<T>、后缀操作符 |
| 04 | Memory & Ownership | view/mut/move 三元组、hold、存储修饰符 |
| 05 | VM & Runtime | ABC ISA、ART、AutoVM、MicroVM、并发模型 |
| 06 | Code Generation | a2c、a2r、a2ark、a2jet、AutoGen、ASTL、FFI |
| 07 | Data Structures | Node、Atom、Obj、ListData、存储式列表 |
| 08 | UI Systems | AURA、场景编程、设计令牌、前后端通信 |
| 09 | Compiler | AIE、AutoCache、DCE、comptime、CLI、AI 原生 |
| 10 | Language Syntax | 点号表示法、函数、位运算、OOP、模块系统 |
二、应用框架与生态（11–15）
| # | 文档 | 主题 | 备注 |
|---|---|---|---|
| 11 | Shell Tools | AutoShell/ASH、coreutils、SmartCmd、管道 | 主体已迁独立仓 ../auto-shell |
| 12 | Concurrency | Task/Msg Actor 模型、async/await、.go 运算符 | |
| 13 | Networking | HTTP Server 标准库、async I/O、JSON/url | |
| 14 | Developer Tools | LSP、Web Playground、AutoLab、MCP Server | Playground 细化设计归 documents/ |
| 15 | AI Daemon Infrastructure | AutoOS 共享 LLM Harness、并发仲裁、Key Vault | 跨仓主题，实现在 auto-os 生态 |
| 28 | Rust Interop Architecture | Auto↔Rust 互操作：类型信息生命周期铁律、三时刻能力模型、编译预言机原则、430 管线实勘、双轨迁移模式 | 2026-09-07 立档；源 musk VM 轨 JSON 桥追问的全链定案，PLAN-591 的架构依据 |
| 31 | AutoScape / AutoWeb | Auto 原生浏览器与统一应用寻址运行时：URI/Intent/AppResolver、AppRealm/AppSession/AppProvider、AutoFrame/BrowsingContext、AutoWeb 部署模型、远程语义流；含术语×本地实现对照与差距分析 | 📝 Draft（2026-09-20 立档；外来设计输入融入重排版，v0.6 主打候选 M1 见其 §13） |
| 33 | Stdlib Runtime & HTTP | 标准库多后台装配现状、AutoUI API 三类传输、VM HTTP/task 风险、Axum/VM owner 边界与分阶段改良路线 | 📝 方案稿（696/699/705/707/724/727/729/730/734已交付；736部署实施中；738装配manifest待736合入） |
| 34 | VM Store 所有权与 Handler 阻塞纪律 | 决策工件：段执行/actor 双形态下的 store 所有权（Erlang vs Go 式）与 handler 阻塞纪律（类型化 vs ui_lint+段切预算）两案对比、迁移面评估与裁定建议 | 📝 决策工件（PLAN-702 T-07 产出，待用户裁定；不含实现） |
模块子目录：documents/——文档与在线体验大模块（website/书籍/Playground 线的需求级设计，slug 命名不带号；域级概要章待目录整体重组时补立，2026-09-07 用户裁定）。
在线体验演进：Website 在线体验与 UI Playground——2026-10-01 用户确认方向；v0.5 介绍/截图、v0.5.1 Web 桌面/app、Auto→Vue 预览和分批数据适配，待实施。
三、AutoUI 与 App 生成域
域级章（仅此四篇拿号）：
| # | 文档 | 主题 |
|---|---|---|
| 16 | App Generation & AI Authoring | Rung 1–5 分层战略、AI 生成工作流（域战略伞） |
| 20 | AutoUI Separation Architecture | AutoUI 分离架构：a2ui/ui_gen/host 分层（域架构锚点） |
| 29 | AutoUI Style & Theme System | 样式抽象与主题系统：ThemeRegistry 单一值源（partial override/extends 派生/hot-switch）+ style recipe 编译期组合宏；取代原 Design 19 值层（2026-09-09 立档） |
| 32 | AutoUI Repo Extraction | AutoUI 仓分离总方案（三件套+双插件缝）：方言插件（Dialect trait 补完）+ auto-man cargo 式插件缝 + 五阶段拆仓路线 + 函数级迁移勘定账。📝 方案稿（2026-09-20 立档待评审；DEBTS 拆仓-候选 登记，下一版规划实施） |
需求级设计子目录（各篇头部有归位注记，保留原 Design NN 对应）：
autoui/（需求级设计 + 索引）：shared-store(原18)、theming(19)、 examples-app-track(21)、base-styles(22)、virtual-desktop(23)、desktop-shell-and-launcher(24)、 a2ui-composer-analysis(原25)、image-viewer-pipeline(Plan 547)、025-gap-enumeration(16a)、 vm-frame-budget(VM 帧预算/空转渲染，PLAN-650 设计层)、 vm-loading-responsiveness(VM 加载响应性、CPU 段预算与 Init 调度，PLAN-708 r2 提议)、 component-time-and-events(嵌套组件时间源/多层交互契约，PLAN-652 设计层)、 universal-scroll-architecture(通用滚动架构 ScrollPane/ScrollContent 契约，设计先行 draft；Phase A+B+C 已立项 PLAN-656)、 editor-kernel(编辑器内核：rope 单写者版+统一 delta+back 分块读，PLAN-673 T-00 设计先行) ——L8 留架历史文档（归档不回改）；新增桌面程序设计一律落 auto-osdocs/design/（Stage B P-5 指针登记，2026-09-07；首例即 auto-os Design 01 Stage B 迁移定案，资产去向见 docs/plans/INDEX.md）autoui/autoui-mcp-test-fixture（AutoUI MCP 测试夹具协议，Plan 623）blueprints/（4 篇）：blueprints-first-class(原17) 为 Blueprint 层主设计（PLAN-639 更名，原 blocks/）， 配套 agent-generation-workflow / blueprint-package-format / datasource-convention
在途：25-autoshell-dsl-unified-shell.md——桌面 Shell 的 AutoUI 统一层（细化 Design 23/24， 服务 463/464/465 shell-track），稳定后归位 autoui/。
四、流程与知识体系
| 文档 | 主题 | 状态 |
|---|---|---|
| 27-knowledge-base-lifecycle | current/target-state、canonical source、ADR/Spec/Plan/Generated Catalog 生命周期 | ✅ 现行 canonical design（Plan 543） |
| autoplan-spec-ledger（原 26） | auto-plan 四技能范式 + 6 段账本 + 路径映射 | ✅ 现行（开发范式权威描述） |
| plan-spec-hybrid-model | Plan+Spec v1 五环流程（2026-07-23） | ⚠️ 已被取代（诊断与反模式清单仍有效） |
五、战略路线图（strategy/）
| 文档 | 主题 | 状态 |
|---|---|---|
| ecosystem-portfolio-strategy | 生态版图伞形总战略：动静结合第一优势（全生态设计原点）+ 三大市场（需求侧 3 + 供给侧 1）+ 寄生期合作层原则 + 优先级总表与不做清单（各分战略入口） | 📝 Draft（2026-09-06） |
| auto-as-rust-script-strategy | "Auto 作 Rust 脚本层"宣传与文档纲领 | ✅ Accepted（Plan 359） |
| rust-library-replication-roadmap | Rust 库复刻验证路线（parity 语料） | ✅ 现行（Plan 347/348/369） |
| python-parity-roadmap | Python parity 第三维度（use.py + a2py） | ✅ 现行（Plan 369 首批落地） |
| consumer-parity-strategy | Auto 作为库消费者（consumer-mode） | 📝 Draft |
| c-ecosystem-strategy | C 生态战略：一个底座、三个消费面（系统库消费者/嵌入式/内核） | 📝 Draft（2026-09-06，暂缓启动裁决与三重启触发条件在 §11） |
| web-ecosystem-strategy | Web 生态：契约独立 + Vue 主臂 + React 发射臂扩展时序 | 📝 Draft 骨架（2026-09-06，待扩充） |
| harmonyos-ecosystem-strategy | 鸿蒙：ArkTS 主线（仓颉/ABC/机器码不做）+ OpenHarmony OS 终态方向 | 📝 Draft 骨架（2026-09-06，待扩充；a2ark rebaseline 为该线首个 plan） |
| mobile-jetpack-strategy | 移动：Android+iOS 统一 Jetpack Compose（不做 SwiftUI），排鸿蒙后 | 📝 Draft 骨架（2026-09-06，待扩充） |
| ros2-ecosystem-strategy | ROS2：C 消费面生态绑定包（rcl 纯 C + IDL 生成），C 轨重启触发条件之一 | 📝 Draft 骨架（2026-09-06，待扩充） |
| native-backend-strategy | Native 编译：终局必做的自主执行底座 + 近期开发形态逃逸（理由 e agent 集群放大/fork-rustc「Versioned ABI」Stage 0.5 分期 A/B/C——命名定案规避 Stable ABI/四段路线/cranelift 预裁注） | 📝 Draft→细化中（2026-09-06 立稿；2026-09-08 补开发形态分水岭+复核定分期，见 Design 28 关联） |
| thirdgen-internet-strategy | 第三代互联网（AI+XR，曾用名"元宇宙/WEB3.0"）：三大市场之三，Godot/3D 引擎为入口（双形态优势 + 引擎侧静态缝合前提） | 📝 Draft 骨架（2026-09-06，待扩充） |
| script-mode-interop | 脚本模式互操作（AutoScript .as 糖→py 桥 lowering/错误模型/null 体系） | 📝 Draft（裁决闭环，待立项） |
六、专题诊断（根级）
| 文档 | 主题 |
|---|---|
| dialect-extension-diagnosis | 方言/语法扩展体系结构性问题诊断与改进方案 |
| vm-debugging | VM 调试方法论（ABC 汇编格式起步） |
| ash-design-summary | AutoShell(ASH) 设计总览（外仓主题，文首有新旧计划号对照） |
七、附录 forge/（AutoForge，工具本体已迁 auto-os 生态仓）
spec-categories · spec-driven-forge · spec-ui-and-relations · forge-specs-relay-frontend · agents-relay-orchestration
forge/ 的 Spec 分类思想（Goals/Architectures/Designs/Plans/Tests/Reviews）被 autoplan-spec-ledger 的 6 段账本继承。
八、历史素材（raw/，67 篇）
早期未经整理的原始设计草稿，是 01–15 章的素材来源，只读保留（个别被外仓引用， 如 auto-down 仓引用 raw/auto-down.md 的方言三逃逸符）。按文件名主题检索即可。
设计演进时间线（要点）
2024 Q1–Q4 语言核心：AST/VM/类型系统 → a2c/a2r → 泛型/枚举/模式匹配 → 内存模型
2025 Q1–Q4 UI 系统(AURA/a2ark/a2jet) → Shell → 并发(Task/Actor) → AIE/AutoCache
2026 Q1–Q2 ASH 分层架构 → LSP/MCP → 设计文档 00–15 章首次体系化(2026-06-15)
2026 Q6–Q8 App 生成战略(16) → AutoUI 域需求设计族(17–25, 后归位 autoui/blueprints)
→ 分离架构(20) → 虚拟桌面三部曲(23/24) → 范式收敛(Plan 467/468)
2026 Q9 documents 大模块目录建立：Playground 在线体验设计归位子目录（design 树
「根级章=大块+模块子目录」结构化的起点，整体重组待议）
→ 09-09 样式与主题系统立档（29：ThemeRegistry + style recipe，
取代原 Design 19 值层）
→ 09-20 AutoScape/AutoWeb 域章立档（31：ChatGPT 外来浏览器设计融入
重排版 + 本地差距分析/v0.6 分期建议）如何使用本目录
- 新开发者：01（管线）→ 10（语法）→ 感兴趣领域的章节。
- 贡献 AutoUI/桌面：16（战略）→ 20（架构）→ autoui/ 各专题 （虚拟桌面线：virtual-desktop → desktop-shell-and-launcher → desktop-shell[25]）。
- 查现状/关键代码入口：去 docs/specs/（本目录存意图，specs 存现状）。
- 查某次改动的来龙去脉：去 docs/plans/（最新全量审计；2026-09-01 起由 Plan 513 接任）。
- 新增设计文档：按"归位规则"节先定性再落位，写完在本索引登记。