From 45e9456ea6e2af1b0bbaa50b98e133164cde53be Mon Sep 17 00:00:00 2001 From: pikastech Date: Tue, 21 Jul 2026 09:02:15 +0200 Subject: [PATCH] docs: activate PikaPython kernel specs --- .../PJ2026-05/specs/PJ2026-05-pikapython.md | 15 +++++++-------- .../PJ2026-05/specs/PJ2026-0501-v2-kernel.md | 13 ++++++------- .../specs/pikapython-capability-profiles.md | 8 ++++---- 3 files changed, 17 insertions(+), 19 deletions(-) diff --git a/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md b/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md index 73d6185a..9974a245 100644 --- a/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md +++ b/project-management/PJ2026-05/specs/PJ2026-05-pikapython.md @@ -5,11 +5,11 @@ | 版本 | 对应 commit id | 更新日期 | 变更说明 | | --- | --- | --- | --- | | v0.1 | `205e3a70` | 2026-07-21 | 创建 PikaPython 双路线战略、系统边界和全局验收规格。 | -| v0.2 | `d72a1f52` | 2026-07-21 | 待评审：明确 V2 重写优先、阶段性 parser 适配器、原子 capability、职责化实现命名和冷/热 benchmark 生命周期。 | +| v0.2 | `d72a1f52` | 2026-07-21 | 已批准：明确 V2 重写优先、阶段性 parser 适配器、原子 capability、职责化实现命名和冷/热 benchmark 生命周期。 | 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。 -v0.1 继续生效。v0.2 及其引用的 PIKA-CAP 在评审通过前只表示拟议终态，不改变当前实现合同。 +v0.2 及其引用的 PIKA-CAP v0.1 已批准生效，作为当前实现合同。 ## 正文 @@ -23,9 +23,8 @@ v0.1 继续生效。v0.2 及其引用的 PIKA-CAP 在评审通过前只表示拟 | 短名 | PikaPython | | 层级 | L0 总项目 | | 规格状态 | 已生效 | -| 当前生效版本 | v0.1 | -| 待评审修订 | v0.2 | -| 实现引用版本 | v0.2（评审通过后生效） | +| 当前生效版本 | v0.2 | +| 实现引用版本 | v0.2 | | 需求规格模板 | [ISO/IEC/IEEE 29148 需求规格模板](../../templates/iso-iec-ieee-29148-requirements-spec-template.md) | 本文采用 ISO/IEC/IEEE 29148 需求规格模板的项目裁剪版。 @@ -125,7 +124,7 @@ PikaPython 应形成一个可持续演进的嵌入式 Python 产品族： | 规格编号 | 短名 | 规格文档 | 适用范围 | | --- | --- | --- | --- | -| PIKA-CAP | 能力配置档 | [PikaPython 能力与配置档](pikapython-capability-profiles.md) | V1、V2、静态加速及后续内核；当前待评审。 | +| PIKA-CAP | 能力配置档 | [PikaPython 能力与配置档](pikapython-capability-profiles.md) | V1、V2、静态加速及后续内核。 | ### 5.2 目标路线关系 @@ -231,8 +230,8 @@ V2 和静态加速必须保持以下隔离： ## 8. 过程控制 -- v0.2 评审通过后，V2 内核实现引用 `PJ2026-0501 V2内核 v0.2`；在此之前继续遵循 v0.1 的生效合同。 -- V2 的 capability 和 profile 实现引用 `PIKA-CAP v0.1`，仅在该共享规范生效后将其作为实现合同。 +- V2 内核实现引用 `PJ2026-0501 V2内核 v0.2`。 +- V2 的 capability 和 profile 实现引用 `PIKA-CAP v0.1`。 - 静态加速实现引用 `PJ2026-0502 静态加速 v0.1`。 - 稳定需求变化先修改 SPEC，再进入代码或执行 issue。 - 当前状态、阶段 benchmark、PR 和阻塞统一进入 TaskTree、阶段报告或 GitHub issue。 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 59a62a8c..7d73f7c8 100644 --- a/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md +++ b/project-management/PJ2026-05/specs/PJ2026-0501-v2-kernel.md @@ -5,11 +5,11 @@ | 版本 | 对应 commit id | 更新日期 | 变更说明 | | --- | --- | --- | --- | | v0.1 | `205e3a70` | 2026-07-21 | 定义 V2 动态子集重写内核的架构原则、能力边界和量化验收合同。 | -| v0.2 | `d72a1f52` | 2026-07-21 | 待评审：明确阶段性 V1 parser 适配器、原子 capability、职责化实现命名、候选内核比较和 cold/warm benchmark 生命周期。 | +| v0.2 | `d72a1f52` | 2026-07-21 | 已批准：明确阶段性 V1 parser 适配器、原子 capability、职责化实现命名、候选内核比较和 cold/warm benchmark 生命周期。 | 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。 -v0.1 继续生效。v0.2 及其引用的 PIKA-CAP 在评审通过前只表示拟议终态，不改变当前实现合同。 +v0.2 及其引用的 PIKA-CAP v0.1 已批准生效，作为当前实现合同。 ## 正文 @@ -23,9 +23,8 @@ v0.1 继续生效。v0.2 及其引用的 PIKA-CAP 在评审通过前只表示拟 | 短名 | V2内核 | | 层级 | L1 方向 | | 规格状态 | 已生效 | -| 当前生效版本 | v0.1 | -| 待评审修订 | v0.2 | -| 实现引用版本 | v0.2（评审通过后生效） | +| 当前生效版本 | v0.2 | +| 实现引用版本 | v0.2 | | 需求规格模板 | [ISO/IEC/IEEE 29148 需求规格模板](../../templates/iso-iec-ieee-29148-requirements-spec-template.md) | | 上级规格 | [PJ2026-05 PikaPython 总规格](PJ2026-05-pikapython.md) | @@ -509,9 +508,9 @@ V2 作为路线和规格称谓，不得进入实现仓库的文件名或项目 ## 8. 过程控制 -- v0.2 评审生效后，V2 新增或修改的手写内核源码应标注 `SPEC: PJ2026-0501 V2内核 v0.2` 和文件职责。 +- V2 新增或修改的手写内核源码应标注 `SPEC: PJ2026-0501 V2内核 v0.2` 和文件职责。 - 自动生成、vendored、配置和二进制产物可不加源码头，但生成器或配置入口必须能追溯本规格。 - 架构选择必须记录候选方案、适用前提、benchmark 热点和资源影响；当前结果进入 TaskTree 或 issue，不进入 SPEC。 - 任何实现若让 V1 内部结构越过中性类型化 V2 IR 边界，必须先更新本规格或作为偏离停止合并。 -- PIKA-CAP 生效前，capability 和 profile 条款只用于评审，不改变当前实现合同。 +- capability 和 profile 实现引用 `PIKA-CAP v0.1`。 - 若后续决定引入 strict type、LLVM、JIT 或 native emitter，应归入独立静态加速规格，不得直接修改 V2 默认路线。 diff --git a/project-management/PJ2026-05/specs/pikapython-capability-profiles.md b/project-management/PJ2026-05/specs/pikapython-capability-profiles.md index 7d0a2f15..e44f07c1 100644 --- a/project-management/PJ2026-05/specs/pikapython-capability-profiles.md +++ b/project-management/PJ2026-05/specs/pikapython-capability-profiles.md @@ -4,7 +4,7 @@ | 版本 | 对应 commit id | 更新日期 | 变更说明 | | --- | --- | --- | --- | -| v0.1 | `d72a1f52` | 2026-07-21 | 待评审：建立原子 capability、显式依赖图和命名 profile 合同。 | +| v0.1 | `d72a1f52` | 2026-07-21 | 已批准：建立原子 capability、显式依赖图和命名 profile 合同。 | 修改历史只记录规格语义变更，不记录实现进度、阶段基线或一次性证据。 @@ -19,8 +19,8 @@ | 编号 | PIKA-CAP | | 短名 | 能力配置档 | | 层级 | L0 共享规范 | -| 规格状态 | 未生效 | -| 实现引用版本 | v0.1（待评审） | +| 规格状态 | 已生效 | +| 实现引用版本 | v0.1 | | 上级规格 | [PJ2026-05 PikaPython 总规格](PJ2026-05-pikapython.md) | | 需求规格模板 | [ISO/IEC/IEEE 29148 需求规格模板](../../templates/iso-iec-ieee-29148-requirements-spec-template.md) | @@ -229,6 +229,6 @@ profile 合同如下： - capability 和 profile 的目标事实源为 `config/pikapython-capabilities.yaml`； - SPEC 定义稳定语义和验收合同，owning YAML 定义启用状态、依赖映射、profile 根集合和资源预算； -- 本规范评审生效前只用于评审，不改变 V1、V2 或静态路线的当前实现合同； +- V1、V2 和静态路线按各自适用范围引用本规范； - 当前实现进度、benchmark 数值和一次性差异证据进入 TaskTree、阶段报告或 GitHub issue； - 改变 capability 语义、依赖或命名 profile 合同时必须先修订本规范。