From 13ec1114a75592f9218ec95bd951a042e2e22b28 Mon Sep 17 00:00:00 2001 From: pikastech Date: Wed, 22 Jul 2026 20:23:01 +0200 Subject: [PATCH] =?UTF-8?q?docs:=20=E5=9B=9E=E5=A1=AB=E5=B5=8C=E5=85=A5?= =?UTF-8?q?=E5=BC=8F=E9=AA=8C=E8=AF=81=E8=A7=84=E6=A0=BC=E6=8F=90=E4=BA=A4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- project-management/PJ2026-05/specs/PJ2026-05-pikapython.md | 2 +- project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md b/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md index d2527c7d..c848eb65 100644 --- a/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md +++ b/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md @@ -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 非性能边界和目标资源基准。 | 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。 diff --git a/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md b/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md index 41b7049e..b55e222f 100644 --- a/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md +++ b/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md @@ -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 资源基准。 | 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。