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 更正)。
 
 ## 五、下一步