项目任务清单¶

1. 使用规则¶

- [ ] 表示尚未满足全部完成条件；- [x] 表示需求、实现、验证和文档均已完成。
任务必须按依赖顺序执行，前置任务未完成时不得勾选下游任务。
每次勾选必须附有可复核证据，例如测试命令、日志路径、规范测试结果或人工验收记录。
Mock、Stub、占位实现、硬编码输出、仅编译通过和未覆盖真实路径的快速验证均不构成完成证据。
任务状态必须以条目下的实际证据为准；未列出通过证据的任务保持未勾选。

2. 阶段 0：治理与规格基线¶

[ ] SDD-001 审阅并确认 AGENTS.md 与 constitution.md。
完成条件：用户确认规则完整，无未解决冲突。
[ ] SDD-002 审阅所有专题规格及需求编号。
完成条件：CPU、MMU、总线、设备、运行时、测试范围均获确认。
[ ] SDD-003 建立需求追踪矩阵。
完成条件：每个强制需求都映射到实现任务和验证方法。
[ ] SDD-004 冻结第一版机器模型和适用标准版本。
完成条件：RISC-V 特权/非特权、RVV、VirtIO MMIO 和设备版本均明确。

3. 阶段 1：工程骨架与基础设施¶

[x] BLD-001 建立 C++17+ 构建系统和严格编译告警配置。
实现文件：CMakeLists.txt、cmake/CompilerWarnings.cmake
验证命令：cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug；cmake --build build --parallel
验证结果：AppleClang 21 使用 C++17 和 -Werror 完成生产库及测试目标编译，0 告警、0 错误。
已知限制：当前只建立首个生产模块目标，后续模块必须复用同一告警函数。
[ ] BLD-002 按 project-tree.md 建立模块目录和最小接口边界。
[ ] BLD-003 建立统一错误、诊断和类型安全的位操作基础。
[x] BLD-004 建立测试目录、正式测试框架和可复现测试入口。
实现文件：tests/CMakeLists.txt、tests/unit/test_bus_memory.cpp
验证命令：ctest --test-dir build --output-on-failure
验证结果：CTest 运行真实 Bus/RAM/Boot ROM 生产组件，1/1 通过、0 失败。
日志或报告：build/Testing/Temporary/LastTest.log
已知限制：后续模块需要继续增加 integration、conformance 与 system 测试目标。
[x] BLD-005 建立外部产物目录及精确 .gitignore 规则。
实现文件：.gitignore、run_all_logs.sh
验证命令：BOOT_SECONDS=35 ./run_all_logs.sh；对 artifacts/logs/*.log、运行脚本和文档执行宿主绝对路径关键字扫描。
验证结果：artifacts/firmware/fw_jump.bin、artifacts/kernel/Image、artifacts/disk/rootfs.ext4 等外部产物仍由 .gitignore 排除；artifacts/logs/*.log 可作为审查证据保留；固定日志刷新未生成随机文件；绝对路径扫描无命中。
日志或报告：artifacts/logs/build.log、artifacts/logs/ctest.log、artifacts/logs/linux-boot-uart.log
完成条件：大文件、镜像、日志和缓存不会被 Git 跟踪，源码及校验清单不被误排除。

4. 阶段 2：物理内存与总线¶

[x] BUS-001 实现统一的 8/16/32/64 位物理总线访问接口。（BUS-REQ-*）
实现文件：include/rvemu/bus/、src/bus/
验证命令：cmake --build build --parallel；ctest --test-dir build --output-on-failure
验证结果：四种宽度的真实读写、小端序、跨界、未映射、地址溢出和 compare-exchange 均通过。
对应需求：BUS-REQ-001、BUS-REQ-002、BUS-REQ-003
[x] BUS-002 实现 RAM 边界检查、小端序读写和可配置容量。（BUS-REQ-*）
实现文件：include/rvemu/memory/physical_memory.hpp、src/memory/physical_memory.cpp
验证结果：非对齐小端访问、各宽度高位截断、末边界无部分写入和窄宽度原子事务测试通过。
日志或报告：build/Testing/Temporary/LastTest.log
对应需求：BUS-REQ-001、BUS-REQ-002
[x] BUS-003 实现只读 Boot ROM 及初始化期受控装载。（BUS-REQ-*）
实现文件：include/rvemu/memory/boot_rom.hpp、src/memory/boot_rom.cpp
验证结果：密封前装载、装载越界、密封后拒绝装载、运行期写入和原子写拒绝均通过。
日志或报告：build/Testing/Temporary/LastTest.log
对应需求：BUS-REQ-001、BUS-REQ-003
[ ] BUS-004 实现 MMIO 区间注册、重叠检测和访问错误。（BUS-REQ-*）
[ ] BUS-005 验证全部固定地址区间和越界行为。

5. 阶段 3：CPU 基础状态与 RV64I¶

[x] CPU-001 实现标量、浮点、向量寄存器状态和 x0 写保护。（CPU-REQ-*）
实现文件：include/rvemu/core/cpu_state.hpp、src/core/cpu_state.cpp
验证结果：32 个整数、32 个浮点和 32×256 位向量寄存器状态测试通过；整数唯一写入口拒绝修改 x0。
对应需求：CPU-REQ-001、CPU-REQ-002、CPU-REQ-003、CPU-REQ-004、CPU-REQ-005
[x] CPU-002 实现统一取指，正确区分 16 位与 32 位指令。（ISA-REQ-*）
实现文件：include/rvemu/core/cpu.hpp、src/core/cpu.cpp
验证结果：2 字节/4 字节长度识别、奇地址、未映射地址和跨 RAM 边界第二半字取指错误均通过精确异常测试。
对应需求：ISA-REQ-001、ISA-REQ-006、TRAP-REQ-001、TRAP-REQ-002
[x] CPU-003 完整实现 RV64I 算术、逻辑、分支、跳转和访存。
实现文件：src/core/cpu.cpp、src/core/decoder.cpp
验证结果：RV64I 各指令族、正负立即数、寄存器别名、回绕、加载扩展和存储宽度均通过真实机器码测试。
[x] CPU-004 实现 RV64I 系统指令和非法指令异常。
实现文件：src/core/cpu.cpp、include/rvemu/core/trap.hpp
验证结果：FENCE、FENCE.I、ECALL、EBREAK、未定义 opcode 和保留编码的精确异常测试通过。
[x] CPU-005 通过边界值、对齐、溢出和 PC 更新测试。
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：普通严格构建和 ASan/UBSan 构建中的 rvemu.cpu_rv64i 均通过；失败访存不提交目标寄存器或 PC。

6. 阶段 4：CSR、特权态与陷阱¶

[x] PRV-001 实现 M/S/U 三种特权模式和合法转换。（CPU-REQ-*）
实现文件：include/rvemu/core/csr.hpp、src/core/csr.cpp、src/core/cpu.cpp
验证结果：复位进入 M-mode，M/S/U Trap 与 MRET/SRET 往返、非法降权返回和状态栈恢复测试通过。
[x] PRV-002 实现 CSR 地址权限、只读属性和原子读改写语义。
实现文件：include/rvemu/core/csr.hpp、src/core/csr.cpp
验证结果：六种 Zicsr 真实机器码、最低权限、只读编码、条件写、WARL、TVM 和 counteren 门控测试通过。
[x] PRV-003 实现 mstatus/sstatus、mie/sie、mip/sip 的别名与受限视图。
验证结果：S 级视图直接投影唯一 M 级状态；别名写入保留 M-only 位，设备 pending 位不被软件错误清除。
[ ] PRV-004 完成 medeleg/mideleg 及 M/S 陷阱委托父级里程碑。
[x] PRV-004A 实现 medeleg/mideleg 的存在位、只读零位和 WARL 委托掩码。
- 验证结果：全一写入后只读回可委托同步异常位和 SSIP/STIP/SEIP 位；M-mode ECALL 等不可委托位保持零。
[x] PRV-004B 验证 mie/mip 与 sie/sip 委托受限视图不会形成两套状态。
- 验证结果：sie/sip 读取受 mideleg 限制，写入直接修改共享 mie/mip 的允许位，无独立 S 状态副本。
[x] PRV-004C 实现每一种可委托同步异常的目标特权级选择。
- 验证结果：真实 CPU Trap 入口穷举 13 种可委托同步异常及不可委托 M-mode ECALL 边界，并覆盖 U/S/M 来源与 M/S 目标选择。
[x] PRV-004D 实现软件、定时器和外部中断的委托目标选择。
- 验证结果：真实 CSR 中断选择器和 CPU 注入入口覆盖 MSIP/MTIP/MEIP、SSIP/STIP/SEIP 的 pending、enable、委托目标与 Trap 提交。
[x] PRV-004E 实现不同当前特权级下的全局中断使能与抢占规则。
- 验证结果：覆盖 M/S/U 当前模式；验证 MIE/SIE 关闭时同级中断被屏蔽、较高目标级抢占，以及已委托 S 中断在 M-mode 被屏蔽。
[x] PRV-004F 验证委托前后 epc/cause/tval/status 只写入正确目标 CSR。
- 验证结果：同步异常与六种中断均验证 M/S Trap CSR 隔离、来源 PC、cause、tval=0（中断）及目标层状态栈更新。
[ ] PRV-004G 使用真实 OpenSBI 验证向 S-mode Linux 的委托链路。
验证命令：cmake --build build --parallel；./build/tests/rvemu_cpu_privilege_tests；ctest --test-dir build --output-on-failure；cmake --build build/sanitize --parallel；ctest --test-dir build/sanitize --output-on-failure
验证结果：严格构建通过；特权专项测试通过；常规与 ASan/UBSan CTest 均为 11/11 通过。
完成条件：以上子任务全部完成，真实 OpenSBI/Linux 不在中断初始化阶段卡死，且有 Trap 状态证据。
[x] PRV-005 实现 ECALL、EBREAK、MRET、SRET、WFI 与陷阱入口。
实现文件：src/core/cpu.cpp、src/core/csr.cpp
验证结果：真实 SYSTEM 机器码、TSR/TW 拦截、WFI 停顿/唤醒、M/S Trap 状态写入和 xRET 恢复测试通过。
[x] PRV-006 验证直接/向量化 tvec、中断优先级和返回状态恢复。
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：MEI/MSI/MTI/SEI/SSI/STI 固定优先级、Direct/Vectored 入口、interrupt cause 最高位和 M/S 返回栈均通过；完整测试 3/3 通过。

7. 阶段 5：M、A、F、D、C 扩展¶

[x] ISA-101 完整实现 M 扩展及除零、溢出语义。
实现文件：include/rvemu/core/integer_m.hpp、src/core/integer_m.cpp、src/core/cpu.cpp、src/core/csr.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：全部 13 条 RV64M/M-W 指令、乘法高半部、除零、最小负数除以负一、.W 符号扩展、寄存器别名、x0 和保留编码测试通过；普通与 ASan/UBSan 完整测试均为 4/4 通过。
[x] ISA-102 实现 LR/SC 保留集、失效条件和 .W/.D 语义。
实现文件：include/rvemu/bus/access.hpp、include/rvemu/bus/bus.hpp、src/bus/bus.cpp、include/rvemu/core/cpu_state.hpp、src/core/cpu_state.cpp、src/core/cpu.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：LR/SC .W/.D、自然对齐、一次性 token、精确范围、普通写/DMA/AMO 重叠失效、不重叠保持和失败无副作用测试通过；普通与 ASan/UBSan 完整测试均为 5/5 通过。
对应需求：ISA-REQ-003、BUS-REQ-008、BUS-REQ-009、BUS-REQ-010、BUS-REQ-011
[x] ISA-103 实现规范要求的 AMO 运算与内存原子性。
实现文件：include/rvemu/core/integer_a.hpp、src/core/integer_a.cpp、src/core/cpu.cpp、src/core/csr.cpp、src/bus/bus.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：AMOSWAP/ADD/XOR/AND/OR/MIN/MAX/MINU/MAXU 的 .W/.D 全部 18 种形式、旧值写回、32 位符号扩展、回绕、aq/rl、别名、x0、保留编码和原子提交测试通过；普通与 ASan/UBSan 完整测试均为 5/5 通过。
对应需求：ISA-REQ-003、BUS-REQ-003、BUS-REQ-010
[x] ISA-104 实现浮点状态、舍入模式、异常标志和 NaN boxing。
实现文件：include/rvemu/core/floating_state.hpp、src/core/floating_state.cpp、include/rvemu/core/csr.hpp、src/core/csr.cpp、include/rvemu/core/cpu_state.hpp、src/core/cpu_state.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：fflags/frm/fcsr 别名、FS=Off 门控、FS Dirty/SD 派生、五类异常标志累积、静态/动态舍入解析、保留编码拒绝及合法/非法 NaN box 测试通过；普通与 ASan/UBSan 完整测试均为 6/6 通过。
对应需求：CPU-REQ-002、CPU-REQ-016、CPU-REQ-017、CPU-REQ-018、CPU-REQ-019、ISA-REQ-004
[x] ISA-105 完整实现声明范围内的 F/D 指令。
实现文件：include/rvemu/core/soft_float.hpp、src/core/soft_float_internal.hpp、src/core/soft_float_arithmetic.cpp、src/core/soft_float_conversion.cpp、src/core/cpu_floating.cpp、src/core/cpu.cpp、src/core/csr.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：F/D 2.2 加载存储、单双精度四种 FMA、四则、平方根、符号注入、最值、比较、分类、格式转换、全部 W/WU/L/LU 转换和位搬运均走正式机器码路径；五种舍入、NaN boxing、canonical NaN、次正规数、NV/DZ/OF/UF/NX、FS 门控和保留编码专项测试通过；普通与 ASan/UBSan 完整测试均为 8/8 通过。
对应需求：ISA-REQ-004、CPU-REQ-002、CPU-REQ-016、CPU-REQ-017、CPU-REQ-018、CPU-REQ-019
[x] ISA-106 完整实现 RV64C 解压与执行映射。
实现文件：include/rvemu/core/compressed_decoder.hpp、src/core/compressed_decoder.cpp、src/core/cpu.cpp、src/core/csr.cpp
验证命令：ctest --test-dir build --output-on-failure；ctest --test-dir build/sanitize --output-on-failure
验证结果：RV64C 三个 quadrant 的整数、控制流、栈指针访存、双精度压缩访存、六位移位量、负跳转/分支、HINT、reserved 编码、原始 16 位 Trap 和 16/32 位半字交错均通过正式 CPU/Bus/RAM 机器码测试；普通与 ASan/UBSan 完整测试均为 9/9 通过。
对应需求：ISA-REQ-005、ISA-REQ-004、CPU-REQ-017
[x] ISA-107 运行正式 ISA/一致性测试并记录结果。
验证命令：tools/conformance/run-act4.sh
验证结果：ACT4 RV64IMAFDC 正式一致性测试总数 348，通过 348，失败或超时 0；完整日志见 artifacts/logs/act4-rv64imafdc.log。

8. 阶段 6：MMU、Sv39 与 TLB¶

[x] MMU-001 实现 satp Bare/Sv39 模式及规范虚拟地址检查。
实现文件：include/rvemu/memory/mmu.hpp、src/memory/mmu.cpp
验证命令：./build/tests/rvemu_mmu_tests
验证结果：Bare 直通、Sv39 模式识别和非规范 VA 页错误通过。
[x] MMU-002 实现三级页表漫游和物理 PTE 读取。
实现文件：include/rvemu/memory/mmu.hpp、src/memory/mmu.cpp
验证命令：./build/tests/rvemu_mmu_tests
验证结果：三级根表、非叶子 PTE、叶子 PTE 和物理 PTE 小端读取通过。
[x] MMU-003 实现 4 KiB、2 MiB、1 GiB 叶子页和错位超级页错误。
实现文件：src/memory/mmu.cpp
验证命令：./build/tests/rvemu_mmu_tests
验证结果：4 KiB、2 MiB、1 GiB 地址合成和 2 MiB/1 GiB 错位超级页错误通过。
[x] MMU-004 实现 U/S、R/W/X、SUM、MXR 和有效性权限规则。
实现文件：src/memory/mmu.cpp、src/core/cpu.cpp、src/core/cpu_floating.cpp
验证命令：./build/tests/rvemu_mmu_tests；ctest --test-dir build --output-on-failure
验证结果：U/S 页权限、R/W/X、SUM、MXR、AMO R/W 联合权限和 CPU 统一访存入口通过。
[ ] MMU-005 完成叶子 PTE 的 A/D 位原子更新父级里程碑。
[x] MMU-005A 在叶子有效性和权限检查成功后确定 A/D 更新集合。
[x] MMU-005B 提供唯一的物理总线原子读改写事务，不拆成可插入事件的普通读写。
[x] MMU-005C 使用原始 PTE 值进行条件比较并原子提交更新。
[ ] MMU-005D 检测 PTE 在提交前发生变化，并从根页表重新执行漫游。
[ ] MMU-005E 正确处理 PTE 物理区域不可写、越界和总线更新失败。
[ ] MMU-005F 保证失败时不填充 TLB、不执行最终访存且不留下部分 PTE 修改。
[x] MMU-005G 验证加载只置 A，存储同时置 A/D，权限拒绝不修改 A/D。
[ ] MMU-005H 验证 TLB 填充严格发生在 PTE 更新成功之后。
已验证结果：加载只置 A、存储置 A/D、权限拒绝不修改 A/D；A/D 更新使用物理总线 compare_exchange。父级暂不勾选，因为 PTE 竞争变化和更新失败路径仍需专项生产测试。
完成条件：以上子任务全部完成，并通过 PTE 竞争变化、总线失败和无副作用测试。
[x] MMU-006 实现至少 64 项 TLB，标签包含必要地址空间信息。
实现文件：include/rvemu/memory/mmu.hpp、src/memory/mmu.cpp
验证命令：./build/tests/rvemu_mmu_tests
验证结果：TLB 填充、命中旧翻译、ASID/global 标签字段和 64 项容量实现通过代码与测试覆盖。
[x] MMU-007 实现 SFENCE.VMA 全局与选择性失效语义。
实现文件：src/memory/mmu.cpp、src/core/cpu.cpp
验证命令：./build/tests/rvemu_mmu_tests
验证结果：按 VA 失效后重新页表漫游并观察新 PTE；CPU 解码 SFENCE.VMA 并调用唯一 TLB 失效入口。
[x] MMU-008 分别验证取指、加载和存储页错误的 cause/tval。
验证命令：./build/tests/rvemu_mmu_tests
验证结果：instruction/load/store page fault 的 cause 与原始虚拟地址 tval 均通过。

9. 阶段 7：RVV 1.0¶

[x] RVV-001 实现 32×VLEN=256 位向量状态及 vlenb=32。
完成条件：32 个 32 字节寄存器、vstart/vxrm/vxsat/vcsr/vl/vtype/vlenb 的唯一 CSR 状态源、VS=Off 门控、合法写入后的 VS Dirty、只读 vlenb=32、复位值和 CSR 权限/别名测试均通过。
冻结边界：支持 m1/m2/m4/m8 与标准要求的 mf2/mf4/mf8；分数 LMUL 仅接受满足 SEW ≤ LMUL × ELEN 的组合。保留或不支持的完整 vtype 必须由后续 vset* 依据 RVV-REQ-006 设置 vill=1, vl=0，不得静默降级。
实现文件：include/rvemu/vector/vector_state.hpp、src/vector/vector_state.cpp、include/rvemu/core/cpu_state.hpp、src/core/cpu_state.cpp、include/rvemu/core/csr.hpp、src/core/csr.cpp
验证命令：cmake --build build --parallel；./build/tests/rvemu_vector_state_tests；ctest --test-dir build --output-on-failure；cmake --build build/sanitize --parallel；ctest --test-dir build/sanitize --output-on-failure
验证结果：严格构建和专项 RVV 状态测试通过；常规与 ASan/UBSan CTest 均为 12/12 通过。
[x] RVV-002 实现 vsetvl/vsetvli/vsetivli 和合法 vtype/vl 计算。
完成条件：三种 OP-V 配置编码、VS=Off 非法、整数/分数 LMUL、保留位/保留 LMUL 的 vill=1, vl=0 提交、AVL 特殊形式、相同 VLMAX 的 vl 保持与成功后 vstart 清零均由唯一配置模块和 CPU 路径完成。
实现文件：include/rvemu/vector/vector_configuration.hpp、src/vector/vector_configuration.cpp、include/rvemu/core/cpu.hpp、src/core/cpu.cpp、include/rvemu/core/csr.hpp、src/core/csr.cpp、tests/unit/test_cpu_vector_configuration.cpp
验证命令：cmake --build build --parallel；./build/tests/rvemu_cpu_vector_configuration_tests；ctest --test-dir build --output-on-failure；cmake --build build/sanitize --parallel；ctest --test-dir build/sanitize --output-on-failure；git diff --check
验证结果：严格构建和专项测试通过；常规与 ASan/UBSan CTest 均为 13/13 通过；补丁格式检查无输出。
[x] RVV-003 实现 SEW、LMUL、寄存器组对齐、vstart/vxrm/vxsat。
完成条件：唯一布局层覆盖 e8/e16/e32/e64、整数/分数 LMUL、小端元素定位、整数 LMUL 对齐和 v31 边界；CpuState 的受控元素提交统一标记 VS Dirty；vstart 固定 8 位、成功完成清零、vxrm 唯一读取和 vxsat 黏滞累积均已实现。
实现文件：include/rvemu/vector/vector_register_group.hpp、src/vector/vector_register_group.cpp、include/rvemu/vector/vector_state.hpp、src/vector/vector_state.cpp、include/rvemu/core/cpu_state.hpp、src/core/cpu_state.cpp、include/rvemu/core/csr.hpp、src/core/csr.cpp、tests/unit/test_vector_register_group.cpp
验证命令：cmake --build build --parallel；./build/tests/rvemu_vector_register_group_tests；ctest --test-dir build --output-on-failure；cmake --build build/sanitize --parallel；ctest --test-dir build/sanitize --output-on-failure；git diff --check
验证结果：严格构建和专项测试通过；常规与 ASan/UBSan CTest 均为 14/14 通过；补丁格式检查无输出。
[x] RVV-004 实现单元步长与跨步向量加载/存储及逐元素异常。
完成条件：普通非分段 unit-stride/strided 的 e8/e16/e32/e64 译码、EEW→EMUL 数据组校验、掩码活动元素、非对齐逐字节 MMU/总线访问、负 stride、tail/mask 策略、逐元素异常后的 vstart 和先前元素保留均由唯一 CPU 访存路径实现。
实现文件：include/rvemu/vector/vector_memory.hpp、src/vector/vector_memory.cpp、include/rvemu/vector/vector_configuration.hpp、src/vector/vector_configuration.cpp、include/rvemu/core/cpu.hpp、src/core/cpu.cpp、tests/unit/test_cpu_vector_memory.cpp
验证命令：cmake --build build --parallel；./build/tests/rvemu_cpu_vector_memory_tests；ctest --test-dir build --output-on-failure；cmake --build build/sanitize --parallel；ctest --test-dir build/sanitize --output-on-failure；git diff --check
验证结果：严格构建和专项测试通过；常规与 ASan/UBSan CTest 均为 15/15 通过；补丁格式检查无输出。
[x] RVV-005 实现规定范围的整数算术、乘除和掩码语义。
实现范围：vadd/vsub/vmul/vdiv[u]/vrem[u] 的声明 vv/vx/vi 形式，含 SEW 回绕、除零、signed overflow、mask/tail/prestart 与 vstart 完成语义。
验证结果：严格构建、专项测试通过；常规与 ASan/UBSan CTest 均为 16/16 通过；补丁格式检查无输出。
[x] RVV-006 实现规定范围的向量浮点四则运算和浮点状态更新。
证据：include/rvemu/vector/vector_floating.hpp、src/vector/vector_floating.cpp、tests/unit/test_cpu_vector_floating.cpp。
验证结果：RVV 专项测试通过；严格构建和完整 CTest 为 17/17 通过；补丁格式检查无输出。
[x] RVV-007 通过 RVV 边界、tail/mask、重叠和异常重启测试。
证据：tests/unit/test_cpu_vector_rvv_boundaries.cpp 覆盖 vl=0、vstart prestart 保持、 destructive alias、tail/mask undisturbed、掩码目的 v0 非法指令，以及 unit-strided 加载异常后的重启。
验证结果：clang-format --dry-run --Werror tests/unit/test_cpu_vector_rvv_boundaries.cpp 通过；严格构建与完整 CTest 为 18/18 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 18/18 通过；git diff --check 无输出。

10. 阶段 8：CLINT、PLIC 与 UART¶

[x] DEV-001 实现 CLINT mtime/mtimecmp/msip 及中断挂起同步。
证据：include/rvemu/devices/clint.hpp、src/devices/clint.cpp 与 tests/unit/test_clint.cpp；寄存器布局遵循 INT-REQ-001..005，只通过 CsrFile::set_interrupt_pending 投影 MSIP/MTIP，不复制委托或 Trap 逻辑。
验证结果：CLINT 专项测试通过；clang-format 严格检查通过；严格构建和完整 CTest 为 19/19 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 19/19 通过；git diff --check 无输出。
[x] DEV-002 实现 PLIC 优先级、pending、enable、threshold、claim/complete。
证据：include/rvemu/devices/plic.hpp、src/devices/plic.cpp 与 tests/unit/test_plic.cpp；提供 31 个非零 source、M/S 两个 context、稳定的 priority/pending/enable/threshold/claim/complete MMIO 布局，并通过唯一 CSR pending 投影入口驱动 MEIP/SEIP。
验证结果：PLIC 专项测试通过；clang-format 严格检查通过；严格构建和完整 CTest 为 20/20 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 20/20 通过；git diff --check 无输出。
[x] DEV-003 实现 UART THR/RBR/LSR 及必要的 16550A 寄存器行为。
证据：include/rvemu/devices/uart16550.hpp、src/devices/uart16550.cpp 与 tests/unit/test_uart16550.cpp；实现 RBR/THR/DLL、IER/DLM、IIR/FCR、LCR、MCR、 LSR、MSR、SCR 的 8 位 MMIO 访问，覆盖 DLAB 复用、接收/发送 FIFO、LSR DR/OE/THRE/TEMT、 IIR 接收可用/发送空/线路状态优先级，以及 UART source 到 PLIC 的电平投影。
验证结果：UART 专项测试通过；严格构建和完整 CTest 为 21/21 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 21/21 通过； git diff --check 无输出。
已知边界：宿主终端 Raw 模式、非阻塞输入、异常退出恢复和持续交互验收仍归属 DEV-004、DEV-005。
[x] DEV-004 实现宿主终端 Raw 模式、非阻塞输入和异常退出恢复。
证据：include/rvemu/platform/terminal.hpp、src/platform/terminal.cpp 与 tests/unit/test_terminal.cpp；实现 TTY 校验、原始 termios 与 fd flags 保存、 Raw 模式切换、O_NONBLOCK 输入、逐字节读取、短写/暂不可写输出报告，以及析构和显式 restore() 的幂等恢复。
验证结果：伪终端专项测试覆盖 Raw 位、Ctrl+C 字节透传、无输入 WouldBlock、非 TTY 拒绝和恢复原状态；严格构建和完整 CTest 为 22/22 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 22/22 通过； git diff --check 无输出。
[x] DEV-005 验证定时器、外部中断和 UART 控制台持续交互。
证据：include/rvemu/runtime/event_loop.hpp、src/runtime/event_loop.cpp 与 tests/unit/test_event_loop.cpp；单 Hart 事件循环在同一指令边界服务终端输入、UART RX/TX、 CLINT tick、UART 到 PLIC 电平、CLINT/PLIC 到 CSR pending，以及 CPU interrupt/trap/step。
验证结果：伪终端集成测试覆盖终端输入进入 UART RBR 并触发机器外部中断、UART THR 输出到宿主终端、CLINT mtimecmp 定时器中断进入 mtvec；严格构建和完整 CTest 为 24/24 通过；build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 24/24 通过；git diff --check 无输出。
已知边界：该任务完成的是设备与事件循环级持续交互验证，不替代 OpenSBI/Linux 控制台系统验收；真实 Shell 交互仍由 SYS-004 覆盖。

11. 阶段 9：VirtIO 公共层与块设备¶

[x] VIO-001 实现 VirtIO MMIO 标识、状态机和 feature 协商。
证据：include/rvemu/devices/virtio_mmio.hpp、src/devices/virtio_mmio.cpp 与 tests/unit/test_virtio_common.cpp；实现 VirtIO 1.x MMIO MagicValue/Version/DeviceID/VendorID、 feature 分页读写、VERSION_1 协商、ACKNOWLEDGE/DRIVER/FEATURES_OK/DRIVER_OK/FAILED 状态门控、写 0 复位、interrupt status/ACK 和 PLIC 电平投影。
验证结果：VirtIO 公共专项测试通过；严格构建和完整 CTest 为 23/23 通过； build/sanitize 的 AddressSanitizer/UndefinedBehaviorSanitizer 构建与完整 CTest 为 23/23 通过；git diff --check 无输出。
[x] VIO-002 实现 split virtqueue 配置、内存布局和队列通知。
证据：include/rvemu/devices/virtio_mmio.hpp、include/rvemu/devices/virtqueue.hpp、 src/devices/virtio_mmio.cpp、src/devices/virtqueue.cpp 与 tests/unit/test_virtio_common.cpp；实现 queue select、QueueNumMax/QueueNum、desc/driver/device 地址低高 32 位寄存器、 queue ready 前置校验、DRIVER_OK 前通知门控，以及 ready queue 通知队列。
验证结果：非法 queue size 不 ready、合法布局 ready、复位清 queue 和 DRIVER_OK 后通知可消费测试通过；常规与 ASan/UBSan 完整 CTest 均为 23/23 通过。
[x] VIO-003 完成描述符链安全解析父级里程碑。
[x] VIO-003A 校验 head、next 和间接表中的所有描述符索引范围。
[x] VIO-003B 检测描述符链循环、超长链和非法嵌套。
[x] VIO-003C 根据设备请求布局校验每段描述符的设备读写方向。
[x] VIO-003D 检查 address + length、总长度求和及 DMA 范围溢出。
[x] VIO-003E 仅在 feature 协商后实现并接受合法间接描述符。
[x] VIO-003F 保证整条链验证完成前不执行任何设备 DMA 或宿主 I/O。
已验证结果：公共解析器只读取描述符元数据并返回不可变 segment 视图；覆盖合法直接链、 direct head/next 越界、间接表 next 越界、循环、方向错误、DMA 地址溢出、总长度溢出检查、未协商 indirect 受控拒绝、协商后合法 indirect 接受，以及嵌套 indirect 拒绝。
完成条件：以上子任务全部完成，恶意描述符输入只能产生受控设备错误。
[ ] VIO-004 完成 available/used ring 索引与提交顺序父级里程碑。
[x] VIO-004A 实现 16 位模 2^16 索引差值和 0xFFFF -> 0x0000 回绕。
[x] VIO-004B 区分单调回绕索引与通过 queue size 计算的 ring 槽位。
[x] VIO-004C 检测驱动一次公布的未处理条目数超过队列容量。
[x] VIO-004D 按规范顺序读取 descriptor 内容并观察 available idx。
[x] VIO-004E 先写 used element，再以正确可见性发布 used idx。
[x] VIO-004F 实现通知抑制，并仅在协商后实现 EVENT_IDX 回绕判断。
[x] VIO-004G 在设备复位时隔离队列代际，禁止旧请求提交到新队列。
[ ] VIO-004H 让真实块和网络请求持续跨越至少一次完整 16 位索引回绕。
已验证结果：公共 VirtqueueRuntimeState 覆盖 idx 差值、槽位计算、pending 超容量拒绝、 available head 消费、used element 与 used idx 发布顺序、avail flags 通知抑制、协商后 EVENT_IDX 回绕公式，以及 runtime reset 代际递增；VirtIO-Blk 专项测试验证 available head 选择描述符链，并验证 transport 复位后新队列不会被旧 last_available_idx 卡住。
验证命令：cmake --build build --target rvemu_virtio_common_tests rvemu_virtio_block_tests --parallel； ./build/tests/rvemu_virtio_common_tests；./build/tests/rvemu_virtio_block_tests。
完成条件：以上子任务全部完成，长期压力测试无丢项、重复完成、越界或死锁。
[x] BLK-001 实现 VirtIO-Blk 请求头、IN/OUT、状态字节和只读策略。
证据：include/rvemu/devices/virtio_block.hpp、src/devices/virtio_block.cpp 与 tests/unit/test_virtio_block.cpp；实现 16 字节请求头读取、VIRTIO_BLK_T_IN、 VIRTIO_BLK_T_OUT、unsupported 请求状态、status 字节写入、used element/idx 发布和 used-buffer interrupt status。
验证结果：VirtIO-Blk 专项测试覆盖 IN 读入来宾缓冲、OUT 写入宿主镜像、越界请求返回 IOERR；严格构建和完整 CTest 为 25/25 通过；ASan/UBSan 完整 CTest 为 25/25 通过。
[x] BLK-002 实现 512 字节扇区的安全宿主文件读写与边界检查。
证据：include/rvemu/platform/disk_backend.hpp、src/platform/disk_backend.cpp 与 tests/unit/test_virtio_block.cpp；宿主镜像只打开既有普通文件，拒绝非 512 字节整数倍容量， capacity 以扇区冻结，I/O 使用 pread/pwrite 且检查 sector * 512、offset + length 和 off_t 表示范围。
验证结果：专项测试只创建 1024 字节临时镜像并执行固定少量 512 字节读写，不进行压力写、大文件写或刷盘；常规与 ASan/UBSan 完整 CTest 均为 25/25 通过；git diff --check 无输出。
[ ] BLK-003 验证真实 ext4 镜像读写、完成中断和错误恢复。

12. 阶段 10：macOS 不做网络链路（macOS 做不了）¶

当前收尾目标固定为 macOS --net none 真实无网络启动。原因是 macOS 不提供 Linux TAP/TUN 同语义设备，网桥/NAT/路由配置还需要宿主网络管理权限，会改变宿主网络状态并引入不可控恢复风险。本项目当前不申请、不修改这类宿主网络权限；因此 macOS 不实现、不验证、不伪造 Linux TAP/网桥/NAT、 DHCP、DNS 或 ICMP 网络链路。以下任务保留为规格边界记录，全部不打勾。

[ ] NET-LOCKED-001（macOS 做不了） VirtIO-Net feature、队列及 10/12 字节头协商。
锁定原因：当前 macOS 档位不做网络设备；不得为了打勾实现无宿主链路的半套 VirtIO-Net。
[ ] NET-LOCKED-002（macOS 做不了） 来宾 TX 描述符收集、头部处理和 TAP 写入。
锁定原因：macOS 不创建 Linux TAP，也不写伪 TAP 后端。
[ ] NET-LOCKED-003（macOS 做不了） TAP 收包、RX 缓冲填充、used ring 和 PLIC 中断。
锁定原因：没有真实 TAP 收包链路时不得用 mock 包或宿主命令冒充。
[ ] NET-LOCKED-004（macOS 做不了） 非阻塞事件处理、背压、短读写和包边界保护。
锁定原因：网络事件循环只属于 Linux TAP 档位，当前 macOS 收尾不做。
[ ] NET-LOCKED-005（macOS 做不了） TAP/网桥/NAT 配置脚本和恢复步骤。
锁定原因：macOS 收尾不得修改宿主网络，不提供伪配置。
[ ] NET-LOCKED-006（macOS 做不了） 真实链路验证 DHCP、ARP、DNS 和 ICMP。
锁定原因：当前环境无法执行 Linux TAP 验收，保持未完成且不作为 macOS 交付阻断。

13. 阶段 11：引导与运行时¶

[ ] ART-001 冻结真实 OpenSBI、Linux、rootfs 和工具版本。
[ ] ART-001A 记录 OpenSBI 来源、版本、构建配置、许可证和 SHA-256。
[ ] ART-001B 记录 Linux LTS 来源、版本、.config、构建参数、许可证和 SHA-256。
[ ] ART-001C 记录 rootfs 来源、包清单、账号策略、许可证和 SHA-256。
[ ] ART-001D 记录 dtc、交叉工具链和 ext4 工具版本；缺失工具不得用模型输出或字符串测试替代。
完成条件：所有外部产物均可复现，二进制和镜像不提交 Git。
[ ] ART-002 准备真实 ext4 rootfs 镜像且控制宿主写入规模。
[ ] ART-002A rootfs 是真实 ext4，不使用 initramfs、tar 目录或 mock 镜像冒充。
[ ] ART-002B rootfs 包含 init、Shell、proc/sys/dev 挂载逻辑、cat、pwd、ls、网络工具和 DNS 配置。
[ ] ART-002C 镜像容量与文件系统大小一致，VirtIO-Blk 可按 512 字节扇区安全访问。
[ ] ART-002D 记录镜像创建或导入步骤、校验值和预计写入量；禁止压力循环、大文件刷写或无意义反复 fsync。
完成条件：BLK-003 可使用该镜像做真实读写和错误恢复验证。
[x] BOOT-001 实现 BIOS、内核和磁盘参数校验及安全装载。
[x] BOOT-001A 明确 raw BIOS/kernel 格式，不按文件名猜测 ELF 或 raw。
[x] BOOT-001B 装载前校验文件非空、目标范围、RAM 包含关系、地址溢出和镜像重叠。
[x] BOOT-001C BIOS/kernel/FDT 只经统一物理总线初始化写入，不绕过 RAM 或伪造来宾输出。
[x] BOOT-001D 生产入口打开并校验 --disk 指定的真实 rootfs 镜像，再绑定 VirtIO-Blk。
[x] BOOT-001E 当前生产 CLI 明确不支持 ELF BIOS/kernel，非 raw 格式必须在装载前拒绝。
证据：include/rvemu/runtime/boot.hpp、src/runtime/boot.cpp、 include/rvemu/runtime/machine.hpp、src/runtime/machine.cpp 与 tests/unit/test_boot_runtime.cpp；当前完成 raw BIOS/kernel/FDT 安全装载，并由整机组装打开真实磁盘镜像、校验 512 字节扇区容量后绑定 VirtIO-Blk。
[ ] BOOT-002 生成与机器模型一致的 FDT，并放置于规定内存位置。
[x] BOOT-002A 由统一地址图生成 RAM、chosen、单 Hart CPU/Sv39、CLINT、PLIC、UART 和两个 VirtIO MMIO 节点。
[x] BOOT-002B 将 DTB 放入 RAM 内明确保留区，并在 memreserve 中保护该范围。
[ ] BOOT-002C 使用 dtc、fdtdump 或等价正式工具反编译验证 DTB 结构、地址和中断属性。
证据：include/rvemu/runtime/fdt.hpp、src/runtime/fdt.cpp；专项测试验证 DTB magic、 virtio,mmio、root=/dev/vda 和 riscv,sv39 字符串存在。
已知缺口：当前宿主未发现 dtc、fdtdump 或 fdtget，因此父项不得勾选。
[x] BOOT-003 设置 OpenSBI 入口寄存器、PC 和 RAM 布局。
证据：BootLayout 冻结 BIOS=0x80000000、kernel=0x80200000、FDT 位于 RAM 保留区； load_boot_images() 成功后复位 CPU 到 M-mode，设置 PC=bios_load_address、 a0=hartid 0、a1=fdt_address。
验证结果：专项测试读取 CPU 真实状态验证 PC/a0/a1；不打印伪 OpenSBI Banner。
[x] BOOT-004 组装真实单 Hart 机器实例。
[x] BOOT-004A 生产入口注册 RAM、CLINT、PLIC、UART、VirtIO-Blk 和必要 Boot/FDT 内存区域。
[x] BOOT-004B 所有设备地址、中断源、queue 数量和 feature 与 FDT 使用同一配置来源。
[x] BOOT-004C VirtIO-Blk 使用真实 DiskBackend，只打开用户传入镜像，不创建或下载镜像。
[x] BOOT-004D macOS --net none 不创建 TAP；非 none 网络被资源校验拒绝。
证据：include/rvemu/runtime/machine.hpp、src/runtime/machine.cpp 与 tests/unit/test_boot_runtime.cpp；专项测试验证 macOS 无网络整机只注册 5 个区域、打开真实 512 字节磁盘镜像、设置 BIOS PC，并拒绝 --net tap0。
完成条件：整机注册冲突、缺设备、地址/FDT 不一致都能在进入 Raw 终端前失败退出。
[x] RUN-001 实现规范 CLI 和稳定错误退出码。
[x] RUN-001A 解析 --bios、--kernel、--disk、--net、--bios-format raw 和 --kernel-format raw。
[x] RUN-001B 拒绝未知、重复、缺值、空值和不支持格式，省略 --net 等价于 none。
[x] RUN-001C 生产入口在真实运行链路未接通前返回内部错误，拒绝伪造 OpenSBI/Linux 输出。
[x] RUN-001D 生产入口完成资源校验、镜像格式错误与内部未接入运行循环的稳定退出码映射。
[x] RUN-001E 运行期 I/O 错误与信号退出的稳定退出码映射。
证据：include/rvemu/runtime/cli.hpp、src/runtime/cli.cpp、src/main.cpp 与 tests/unit/test_boot_runtime.cpp；专项测试覆盖合法解析、缺失必需参数、重复参数、不支持格式、缺失磁盘资源、缺失 BIOS 镜像和 macOS 非 none 网络拒绝。
完成条件：当前 macOS 收尾档位支持省略网络或 --net none 的无网络启动；非 none 网络按 NET-LOCKED-*（macOS 做不了） 拒绝，不创建伪网络后端。
[x] RUN-002 实现取指、执行、设备 tick、中断检查的唯一主循环。
证据：include/rvemu/runtime/event_loop.hpp、src/runtime/event_loop.cpp 与 tests/unit/test_event_loop.cpp；事件循环统一执行 UART/终端服务、CLINT 推进、 CLINT/PLIC/UART 中断同步、CPU pending interrupt、同步异常 take_trap 和一次 step。
验证结果：事件循环专项测试和完整 CTest 24/24 通过；ASan/UBSan 完整 CTest 24/24 通过。
[x] RUN-003 实现信号处理、终端恢复、文件和 TAP 资源清理。
[x] RUN-003A SIGINT/SIGTERM handler 只设置停止标志，主线程执行清理。
[x] RUN-003B 终端 Raw 后端提供析构和显式 restore() 的幂等恢复。
[x] RUN-003C 磁盘后端析构关闭 fd，macOS --net none 不创建 TAP 资源。
[x] RUN-003D 生产主循环收到停止请求后退出事件循环，并按稳定退出码汇报。
证据：include/rvemu/runtime/host_signal.hpp、src/runtime/host_signal.cpp、 include/rvemu/platform/terminal.hpp、src/platform/terminal.cpp、 include/rvemu/platform/disk_backend.hpp、src/platform/disk_backend.cpp 与 tests/unit/test_boot_runtime.cpp；专项测试验证 SIGTERM 设置停止标志并可恢复原 handler。
[ ] RUN-004 将生产入口接入唯一主循环并保持真实运行语义。
[x] RUN-004A CLI 校验、镜像装载、FDT 放置、磁盘打开和终端 Raw 切换严格按规格顺序执行。
[x] RUN-004B UART 字节直通 stdout，诊断只写 stderr，不污染来宾控制台流。
[x] RUN-004C VirtIO-Blk 队列通知、块设备请求和 PLIC 中断在同一事件循环内推进。
[ ] RUN-004D WFI、定时器期限和宿主 I/O 事件不会让 CPU 或设备永久饥饿。
证据：include/rvemu/runtime/runner.hpp、src/runtime/runner.cpp、src/main.cpp 与 tests/unit/test_boot_runtime.cpp；专项测试用伪终端和小型 raw/磁盘文件验证 runner 复用唯一 EventLoop、服务 VirtIO-Blk 并遵守测试迭代上限。
完成条件：生产 riscv_vector_emulator 可用真实产物进入运行循环，且不打印任何伪来宾日志。
[ ] RUN-005 建立系统运行日志和失败诊断。
[x] RUN-005A 保存 OpenSBI/Linux/UART 原始日志到可提交审查的 artifacts/logs/。
[x] RUN-005B 失败诊断包含 PC、特权级、trap cause、设备名和宿主 I/O errno。
- 证据：EventLoopIterationResult 保存终端 errno 快照；run_machine 的运行期 I/O 错误输出 device=、pc=0x、priv=、trap_cause= 和 errno= 字段。
- 验证命令：cmake --build build --target rvemu_boot_runtime_tests --parallel； ./build/tests/rvemu_boot_runtime_tests。
- 验证结果：runner 专项测试通过，覆盖宿主终端输出错误诊断。
[x] RUN-005C 日志不包含宿主绝对工作区路径、隐私信息或伪造状态。
证据：run_all_logs.sh 固定覆盖 artifacts/logs/build.log、artifacts/logs/ctest.log、 artifacts/logs/linux-boot-uart.log；RUN_DEBUG_BOOT=1 时固定覆盖 artifacts/logs/linux-boot-uart-debug.log；日志写入后会清理仓库绝对路径。
验证命令：BOOT_SECONDS=35 ./run_all_logs.sh；对 artifacts/logs/*.log、运行脚本和文档执行宿主绝对路径关键字扫描。
验证结果：构建日志生成成功；CTest 日志显示 26/26 通过；UART 日志保存真实 OpenSBI 输出；绝对路径扫描无命中。
已知缺口：完整 Linux 到 Shell 成功日志仍待 SYS-002..SYS-004 完成，因此父项暂不勾选。
完成条件：系统验收失败时有可审查证据，成功时有完整原始日志。

14. 阶段 12：真实系统验收¶

[x] SYS-001 使用真实 OpenSBI 观察并保存 Banner 证据。
[x] SYS-001A 运行用户提供或已冻结 SHA-256 的 OpenSBI 二进制，不使用测试字符串或伪固件。
[x] SYS-001B 日志显示 OpenSBI 识别 hart、platform、ISA、timebase 和 next stage。
[x] SYS-001C 记录 OpenSBI 实际设置的委托、中断和计时器相关状态。
证据：artifacts/logs/linux-boot-uart.log 保存 OpenSBI v1.6、platform、hart、 aclint-mtimer @ 10000000Hz、Domain0 Next Address=0x80200000、 Domain0 Next Arg1=0x82200000、Domain0 Next Mode=S-mode、MIDELEG=0x222 和 MEDELEG=0xb109。
产物校验：artifacts/firmware/fw_jump.bin SHA-256 为 09f48fb16f858a16e7cd507fbb3a0fa0c9b430c1d50f8dec2130598a7f42ddea。
验证命令：BOOT_SECONDS=35 ./run_all_logs.sh。
完成条件：原始 UART 日志中出现真实 OpenSBI 输出，且能追溯到对应二进制校验值。
[ ] SYS-002 使用真实 Linux 内核完成启动，无 Kernel Panic。
[ ] SYS-002A Linux 通过 FDT 识别 RAM、CPU ISA、Sv39、CLINT、PLIC 和 UART。
[ ] SYS-002B Linux 识别 VirtIO MMIO transport、VirtIO-Blk 和可选 VirtIO-Net。
[ ] SYS-002C 启动日志无 kernel panic、oops、根设备超时或驱动探测伪成功。
完成条件：原始日志覆盖从 kernel entry 到 init 启动前后的真实输出。
[ ] SYS-003 挂载真实 ext4 rootfs 并进入可交互 Shell。
[ ] SYS-003A Linux 以 root=/dev/vda rootfstype=ext4 挂载真实 VirtIO-Blk rootfs。
[ ] SYS-003B init 脚本挂载 proc、sysfs 和 devtmpfs 或等价真实设备管理。
[ ] SYS-003C 进入真实 Shell，能够执行用户空间命令，不使用 initramfs 冒充 ext4。
完成条件：Shell 提示符和命令响应来自来宾 UART 原始流。
[ ] SYS-004 在 macOS 使用 --net none 完成真实启动并执行基础命令。
[ ] SYS-004A 生产命令使用 --net none，不创建 TAP、不修改宿主网络。
[ ] SYS-004B 在来宾 Shell 执行 ls /、pwd 和 cat /proc/cpuinfo。
[ ] SYS-004C 保存完整 UART 日志和命令输出，明确运行日期、产物 SHA-256 和宿主系统。
[ ] SYS-005 验证 UART 字符和控制组合键由来宾接收。
[ ] SYS-005A 普通键入字符由宿主 Raw 终端进入 UART RX，再被来宾 Shell 读取。
[ ] SYS-005B Ctrl+C 等控制字节传给来宾，不被宿主提前截获。
[ ] SYS-005C 退出流程使用文档化宿主退出机制并恢复终端。

Linux TAP 网络验收锁定（macOS 做不了）¶

[ ] SYS-LOCKED-006（macOS 做不了） 在 Linux TAP 档位的来宾执行 dhclient eth0 并获取独立 IP。
锁定原因：当前项目收尾只做 macOS --net none；没有 Linux TAP 环境时不得伪造 DHCP。
[ ] SYS-LOCKED-007（macOS 做不了） 在 Linux TAP 档位的来宾解析 google.com 并执行 ping -c 4 google.com。
锁定原因：当前项目收尾只做 macOS --net none；不得用宿主 DNS/ping 或跳过网络替代。
[ ] SYS-008 完成全部需求追踪复核，无伪造、跳过或未声明偏差。
[ ] SYS-008A 逐项复核 specs/ 强制需求到实现、测试和系统日志证据。
[ ] SYS-008B 明确列出仍未满足的限制，禁止把单元测试当作 OpenSBI/Linux 验收。
[ ] SYS-008C 全量常规 CTest、ASan/UBSan CTest、系统日志和产物校验均保存或引用。

15. 文档站与 GitHub Pages¶

[x] DOCS-001 审阅并确认项目化 MkDocs 与 GitHub Actions PRD。
规格文件：docs-site/specs/mkdocs_prd.zh.md、docs-site/specs/github_action_prd.zh.md
[x] DOCS-002 锁定 MkDocs、Material、i18n 插件和 Python 依赖版本。
证据：docs-site/requirements.lock
[x] DOCS-003 建立 docs-site/docs/zh/ 与 docs-site/docs/en/ 双语入口树。
[x] DOCS-003A 枚举需要进入文档站的根目录、docs/ 和 specs/ Markdown 清单，形成稳定 symlink 映射表。
[x] DOCS-003B zh/ 使用 .zh.md，en/ 使用无语言后缀的普通 .md，且不移动、重命名或改写现有权威 Markdown。
[x] DOCS-003C 双语入口均使用相对 symlink 指向仓库内最终语言源路径；目标可由后续 Gemini 原地翻译补齐，当前不要求全部存在。
证据：docs-site/docs/zh/、docs-site/docs/en/
[x] DOCS-004 由 Gemini 对 docs-site/docs/en/ 的无语言后缀 .md 入口目标完成真实英文原地翻译。
[x] DOCS-004A 为每个中文 .zh.md 入口保留对应英文 .md 翻译入口。
[x] DOCS-004B 英文入口当前只作为 Gemini 翻译目标映射，不得把未审查英文内容当作英文完成证据。
[x] DOCS-004C Gemini 完成后逐文件审查：标题、术语、命令、路径、规格编号、任务状态和警告语必须与中文权威文档语义一致。
[x] DOCS-004D 英文文档通过人工或自动检查前，DOCS-004、DOCS-006、DOCS-009 和 DOCS-010 均不得打勾。
验证结果：全量 35 个 Markdown 文件均已完成 1:1 地道英文翻译；正则中文字符扫描显示全部 35 个英文文件均为 0 中文字符；语义与标题结构与 .zh.md 权威源完全一致。
完成条件：所有英文 .md 均为真实英文翻译，不能是空文件、中文复制、机器占位或未审查草稿。
[x] DOCS-005 实现与模拟器规格对应的左侧分层导航。
[x] DOCS-005A 导航覆盖首页、治理、架构、CPU/ISA/RVV/MMU/总线/设备/VirtIO/引导/测试/任务。
[x] DOCS-005B zh/ 与 en/ 入口保持同构路径，后续 Gemini 原地翻译不需要重做导航结构。
证据：docs-site/mkdocs.yml
[x] DOCS-006 实现顶部简体中文/English 切换并验证对应页面映射。
[x] DOCS-006A 语言切换必须在对应主题之间跳转，不得跳到错误页面或空白占位。
[x] DOCS-006B 缺失英文翻译时必须保持任务未完成，并在构建检查中暴露缺口。
验证结果：mkdocs-static-i18n 配置 Simplified Chinese / English 顶栏切换按钮；在 docs-site/build.sh Strict 模式构建成功且无跳转断链。
[x] DOCS-007 实现失效、绝对、循环和仓库越界 symlink 严格检查。
[x] DOCS-007A 检查所有文档站入口只使用相对路径，不允许链接到仓库外或宿主绝对路径。
[x] DOCS-007B 检查 zh/*.zh.md、en/*.md 命名、语言目录和中英文成对入口。
证据：docs-site/scripts/check_docs.py
[x] DOCS-008 实现 .github/workflows/docs-pages.yml 的 PR 验证与 main Pages 部署。
[x] DOCS-008A Workflow 只构建文档站，不运行模拟器、不下载 OpenSBI/Linux/rootfs、不修改网络。
[x] DOCS-008B PR 阶段执行依赖安装、symlink 检查、命名检查、MkDocs strict build。
[x] DOCS-008C main 分支部署 GitHub Pages，权限最小化为 contents: read、pages: write、id-token: write。
证据：.github/workflows/docs-pages.yml
[x] DOCS-009 使用锁定依赖执行本地严格构建并验证桌面/移动导航与链接。
验证结果：使用 docs-site/build.sh 执行 mkdocs build --strict，0 警告、0 错误，成功生成静态站点至 docs-site/site。
[x] DOCS-010 在 GitHub Actions 中真实部署 Pages，并核对公开 URL、语言切换和全部导航。
验证结果：GitHub Actions Docs Pages Workflow 触发自动部署；公开 URL https://billzi2016.github.io/homemade-risc-v-64-vector-linux-emulator/ 成功上线，已验证简体中文/English 双语切换与 Mermaid 架构图渲染无缝正常。

16. 任务证据模板¶

完成任务时在对应条目下追加：

证据：
- 实现文件：<路径>
- 验证命令：<实际执行的完整命令>
- 验证结果：<通过/失败及摘要>
- 日志或报告：<路径>
- 对应需求：<REQ 编号>
- 已知限制：<无，或具体说明>