docs: 回填嵌入式验证规格提交

2026-07-22 20:23:01 +02:00
parent 1a4c4f6929
commit 13ec1114a7
2 changed files with 2 additions and 2 deletions
@@ -12,7 +12,7 @@
 | v0.6 | `573ca93f` | 2026-07-22 | 固定独立 binding prebuild、跨平台自有源码清单、目标工具链集成和 CMake 非权威边界。 |
 | v0.7 | `148c6431` | 2026-07-22 | 已批准：建立 PSL-1 至 PSL-8 通用语法等级和等级专用 VM 边界，并保留 capability 细粒度裁剪合同。 |
 | v0.8 | `d193338d` | 2026-07-22 | 已批准：建立双语开发者门户、在线工程生成器和非 AI 展示合同。 |
-| v0.9 | `待回填` | 2026-07-22 | 固定 YAML-first STM32/QEMU 嵌入式验证入口、QEMU 非性能边界和目标资源基准。 |
+| v0.9 | `1a4c4f69` | 2026-07-22 | 固定 YAML-first STM32/QEMU 嵌入式验证入口、QEMU 非性能边界和目标资源基准。 |

 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。

@@ -16,7 +16,7 @@
 | v0.10 | `68f1adda` | 2026-07-22 | 已批准：冻结语法闭包稳定性迭代、上游案例语义吸收、错误恢复和有限压力验收合同。 |
 | v0.11 | `dd2fdffb` | 2026-07-22 | 已批准：固定可配置前端规模宏、宏归因诊断、源码兼容矩阵和内存安全压力验收合同。 |
 | v0.12 | `4da80343` | 2026-07-22 | 已批准：拆分 runtime、benchmark fixture 和最终可执行产物资源口径，固定跨里程碑资源裁决合同。 |
-| v0.13 | `待回填` | 2026-07-22 | 固定 YAML-first STM32/QEMU 嵌入式验证路径、QEMU 非性能边界和目标侧 Flash/RAM 资源基准。 |
+| v0.13 | `1a4c4f69` | 2026-07-22 | 固定 YAML-first STM32/QEMU 嵌入式验证路径、QEMU 非性能边界和目标侧 Flash/RAM 资源基准。 |

 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。