From f0babbca0b336129d0b20375a53a1918e6458f0e Mon Sep 17 00:00:00 2001 From: DslsDZC Date: Thu, 24 Sep 2026 10:00:13 +0800 Subject: [PATCH] =?UTF-8?q?docs(developer):=20=E4=B8=89=E5=A4=84=E9=99=88?= =?UTF-8?q?=E6=97=A7/=E5=8E=86=E5=8F=B2=E5=8A=A0=E6=B3=A8=E2=80=94?= =?UTF-8?q?=E2=80=94quickstart=20=E7=9B=AE=E5=BD=95=E8=A1=A8=E5=8E=BB?= =?UTF-8?q?=E6=8E=89=E5=B7=B2=E9=80=80=E5=BD=B9=E7=9A=84=20src/arch/linux/?= =?UTF-8?q?ld/=EF=BC=88=E6=94=B9=E6=8C=87=E4=B8=89=E8=BD=B4+=E7=BB=84?= =?UTF-8?q?=E5=90=88=E6=A0=B9=EF=BC=89=C2=B7=20faq=20.ccr=20=E7=89=88?= =?UTF-8?q?=E6=9C=AC=20v6=E2=86=92v9=EF=BC=88=E6=8C=87=20ccr=5Fio.cr::CCR?= =?UTF-8?q?=5FVERSION=20=E4=B8=BA=E5=87=86=EF=BC=89=C2=B7=20corec2=20?= =?UTF-8?q?=E6=AD=BB=E5=BE=AA=E7=8E=AF=E6=9D=A1=E7=9B=AE=E5=8A=A0=E4=BF=AE?= =?UTF-8?q?=E8=AE=A2=E6=B3=A8=EF=BC=88=E4=B8=8D=E5=86=8D=E9=98=BB=E5=A1=9E?= =?UTF-8?q?=EF=BC=8Ccorec2=3D=3Dcorec3=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/developer/faq.md | 4 +++- docs/developer/quickstart.md | 3 ++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/docs/developer/faq.md b/docs/developer/faq.md index 9b6e01d..57cc7a9 100644 --- a/docs/developer/faq.md +++ b/docs/developer/faq.md @@ -33,10 +33,12 @@ Rust 用借用检查在类型层保证内存安全,代价是学习曲线与表 **corec2 是什么?为什么我 check 会卡住?** corec2 = 自举的第二代前端产物(自编译验证用)。它曾有 tokenizer 死循环已知问题(全局变量注册缺陷,见 TODO)——日常开发请用 `./build/corec`,不要用 corec2。 +> 修订(2026-09-24):该问题**不再作为阻塞项**——`corec2` 链可跑通且逐字节稳定(`corec2 == corec3` IDENTICAL;由 `src/ci/run.sh` 的 `full-bootstrap` job 覆盖)。原文保留供追溯。 + ## 状态相关 **哪些功能还没实现?** -语言与编译器在活跃自举期。已知设计态/挂账:验证管线(规约证明)、平台桥(IO/时钟语义接口落地)、惰性求值、分布式、部署配置完整消费、.ccr 内容随 v6 段表推进。最新状态看仓库 TODO.md 与各文档头部"状态"。 +语言与编译器在活跃自举期。已知设计态/挂账:验证管线(规约证明)、平台桥(IO/时钟语义接口落地)、惰性求值、分布式、部署配置完整消费、.ccr 内容随 v9 段表推进(版本以 `src/compiler/ccr_io.cr` 的 `CCR_VERSION` 为准)。最新状态看仓库 TODO.md 与各文档头部"状态"。 **float 呢?** float 已退役(2026-08,dex/apx 定案)——精确小数用 `dex`,近似授权用 `apx`。历史遗留的 float 代码需迁移(见 ADR-0010)。 diff --git a/docs/developer/quickstart.md b/docs/developer/quickstart.md index d727a2a..8e0a646 100644 --- a/docs/developer/quickstart.md +++ b/docs/developer/quickstart.md @@ -52,12 +52,13 @@ fn main() -> int { | 路径 | 内容 | |---|---| | src/compiler/ | 编译器源码(用 Core 写)——前端 | -| src/arch/linux/ld/ | ELF 后端(指令编码/链接) | +| src/arch/ · src/format/ · src/os/ | 后端三轴(架构 × 格式 × OS):指令编码/寄存器分配/帧 · ELF 发射/链接 · 入口/调用序列/系统调用 | | src/stdlib/ | 标准库(io/fmt/collections/arena/…) | | examples/ | 示例程序(add/complex/pi/load_balancer 等,见 examples.md) | | tests/ | 测试三套(bootstrap/selfhost/suite) | > 注:examples/hello/ 目前是空骨架——用 add/ 或自建文件开始。 +> 注:本表原列 `src/arch/linux/ld/`(ELF 后端),该目录**已退役**——后端现按三轴分目录,组合根在 `src/targets/x86_64-linux/`(2026-09-24 更正)。 ## 五、下一步