From 7f688f30c47646ec5de1c312eb17bec4d485b130 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:20:23 +0900 Subject: [PATCH 01/20] docs(interactive): register missing Phase 2 confirmed contract sources --- ...teractive-phase2-formal-source-register.md | 63 +++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 docs/interactive-phase2-formal-source-register.md diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md new file mode 100644 index 0000000..bc6a6cb --- /dev/null +++ b/docs/interactive-phase2-formal-source-register.md @@ -0,0 +1,63 @@ +# FlowKit Interactive — Phase 2 正式契约原件追踪登记 + +**状态：BLOCKED — 等待用户重新提供正式原件。** +**登记日期：2026-11-12（UTC+8）** +**当前 main：** \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` +**关联设计：** [Trusted Host V2](./interactive-trusted-host-security-v2-design.md) · [完整路线图](./interactive-full-delivery-roadmap-2026-11-11.md) + +## 1. 目标原件 + +| ID | 应取得的正式原件 | 已知历史路径/版本线索 | 当前证据 | 状态 | +|---|---|---|---|---| +| SRC-01 | \`FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\` | \`01-CONFIRMED-REQUIREMENTS/FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\`；范围 T01–T34 | 2026-11-10 的 Grok 独立审查报告记载 SHA-256 前缀 \`3a0adc3e…6e703e\`，但没有原文件字节和完整哈希 | **BLOCKED** | +| SRC-02 | \`TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\` | 历史确认的 V0.6-R5 技术设计原件 | P0-A 确认记录和实施计划只引用版本/文件名，没有包含完整技术正文或完整哈希 | **BLOCKED** | +| SRC-03 | \`FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip\` | 历史确认交接包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | +| SRC-04 | \`FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\` | V0.6-R5 最终收敛复审包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | + +**重要区分：** Library 中可读的 \`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md\` 是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是已确认的 V0.6-R5 技术设计原件。该报告还记录了 V0.3-R2 Draft 的 SHA-256 前缀 \`92eff8d4…475520f8\`，不能把它当成 V0.6-R5。该报告提到的 ZIP 哈希前缀 \`8a2f679a…2ee5826\` 属于它所审查的历史交接包记录，不能未经原包核对就认定为 SRC-03 或 SRC-04。 + +## 2. 当前可读取的相关材料（仅二级证据） + +| 材料 | 当前可读取位置/标识 | 能证明什么 | 不能替代什么 | +|---|---|---|---| +| Grok V0.3-R2 独立审查报告 | Library：\`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md\` | 证明历史审查报告曾引用 V0.3 Confirmed 需求，并记录其 SHA 前缀、T01–T34 范围 | 不能替代需求正文、完整 SHA 或 V0.6-R5 技术设计 | +| P0-A 确认记录 | Library：\`00-APPROVAL-RECORD.md\` | 证明用户于 2026-11-10 确认 P0-A 实施计划，并将 Requirements V0.3 / Technical Design V0.6-R5 作为上游基线 | 不是需求或技术设计正文 | +| P0-A 实施计划 | Library：\`01-P0A-IMPLEMENTATION-PLAN-V0.1-CONFIRMED.md\` | 证明计划层的 M1–M6、31 项文件级工程任务和验收原则 | 计划明确要求需求 V0.3 优先于技术 V0.6-R5；不能用计划反向重建上游契约 | +| Stage 2 PoC 报告 | Library：\`STAGE2-POC-REPORT.md\` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | +| PR #14 / 当前路线图 | main：\`docs/interactive-trusted-host-security-v2-*.md\`、本登记 | 证明当前 Trusted Host V2 设计、Finding 和后续阶段记录 | 这些是后续安全设计和摘要，不是 2026-11-10 的原始批准契约 | + +## 3. 原件恢复后的验证步骤 + +收到文件后，按以下顺序执行，不得先改写内容： + +1. **字节级固定**：记录原始文件名、文件大小、格式、来源、收到时间和 SHA-256 完整值。 +2. **版本/批准状态核验**：确认标题、版本号、CONFIRMED 状态、用户确认记录、日期、变更记录和适用范围。 +3. **交接包完整性**：若提供 ZIP，先读取包内文件清单与 \`SHA256SUMS.txt\`，验证全部条目；再计算 ZIP 本身的 SHA-256。不能只比较前缀。 +4. **SRC-01 需求符合性**：按原文逐条提取 T01–T34 的原始措辞、阶段、约束和验收条件；不得以当前路线图同名编号代替。 +5. **SRC-02 技术符合性**：逐条核对 V0.6-R5 的 API、ABI、Program、Checkpoint、Store、Coordinator、Host、安全边界、错误语义和平台要求。 +6. **交叉追踪**：把原文条款映射到当前 main、PR #14 合并后的 Trusted Host 设计、M1–M6、T/S/C/TH/SEC/NAT 台账；记录 PASS、GAP、CONFLICT、NOT-IMPLEMENTED、OUT-OF-SCOPE。 +7. **独立复审**：对所有差异给出源码/原文证据链；不得自动修改正式需求或技术设计。需要修订时，先提出差异和建议，等待用户确认。 +8. **收口裁决**：只有原件完整、SHA 验证通过、逐条符合性矩阵完成并通过独立复审，才可将 F-07 和 Phase 2 正式契约符合性改为 PASS。 + +## 4. 对阶段的影响 + +- PR #14 已合并，代表 Trusted Host V2 **安全设计记录已入库**；不代表其与正式 V0.3/V0.6-R5 的符合性已证明。 +- F-01 与 F-R2-01 已在设计文档层面关闭。 +- F-02（Grok 原生工具绑定）和 F-04（Windows 跨账户/继承句柄隔离）仍需各自 PoC/OS 实测。 +- F-07 保持 **BLOCKED**。在本项目既定执行顺序中，先恢复并核验 SRC-01/SRC-02，再正式收口 Phase 2；**本登记未授权开始 Phase 3**。 +- 不得因为原件缺失而重写一份“新版 V0.3”或“新版 V0.6-R5”并冒充历史批准版本。 + +## 5. 需要用户重新提供的文件 + +请重新上传以下文件（至少前两份原始 Markdown）： + +1. \`FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\` +2. \`TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\) +3. 如方便，上传 \`FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip\` 及其原始 \`SHA256SUMS.txt\) +4. 如方便，上传 \`FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\) + +若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 + +--- + +**当前结论：** SRC-01 至 SRC-04 尚无可验证原始字节；当前相关报告、审批记录、实施计划和 PoC 报告仅作为二级线索保存。Phase 2 正式契约符合性维持 **BLOCKED**。 From 65ab77df55bdf9b0a097aeda87dc02cd5d01a4a9 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:20:54 +0900 Subject: [PATCH 02/20] docs(interactive): record PR14 merge, post-merge CI and formal source gate --- ...active-full-delivery-roadmap-2026-11-11.md | 20 +++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) diff --git a/docs/interactive-full-delivery-roadmap-2026-11-11.md b/docs/interactive-full-delivery-roadmap-2026-11-11.md index 5986bcb..f77498b 100644 --- a/docs/interactive-full-delivery-roadmap-2026-11-11.md +++ b/docs/interactive-full-delivery-roadmap-2026-11-11.md @@ -3,8 +3,8 @@ **Baseline date:** 2026-11-11 (UTC+8) **Repository:** `devcodex-labs/flowkit` **Historical Phase 0 baseline:** `ea2bb10893a9be2e5de3561fc9a660a6977ae15c` -**Current Phase 2 source baseline:** `9bac8f86347a405efe068f96423ae3e501005061` -**Current design branch:** `design/trusted-host-security-v2-20261111` (historical Phase 0/1 baseline remains immutable) +**Current main HEAD after PR #14:** `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` +**Phase 2 design record:** merged via PR #14 (docs-only; formal contract conformance remains conditional) > This document records the approved end-to-end route from the current M6/P0-A state through P0-B, P1, P2 and production delivery. It is a roadmap and traceability ledger, not evidence that deferred features have been implemented or passed. @@ -12,12 +12,14 @@ ### 1.1 Main and CI -- Current main HEAD after Phase 1: `9bac8f86347a405efe068f96423ae3e501005061`. -- Current main CI: [42998521531](https://github.com/devcodex-labs/flowkit/actions/runs/42998521531), 7/7 jobs successful. +- Current main HEAD after PR #14: `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd`. +- Post-merge main CI: [43132513659](https://github.com/devcodex-labs/flowkit/actions/runs/43132513659), **7/7 jobs successful** (Ubuntu/Windows × Node 22/24, Linux Host OS-user isolation × Node 22/24, website). +- PR #14 merge commit: `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd`; the merge adds only the reviewed Trusted Host V2 design/acceptance/review documentation. - M1–M5 implementation surfaces and S07 capacity work exist on main. Their presence is not a blanket claim that every M6/native-host gate is passed. - PR #8, #9 and #10 are merged. - PR #7 is **closed without merge** as superseded. PR #13 is **merged** into main with current-main M6 tests, correct project-root discovery and successful exact-HEAD CI. -- PR #12 is open Draft, head `c6b42a36050d885a37831cbdf0839428b2052c85`, based on `ea2bb10893a9be2e5de3561fc9a660a6977ae15c`. Its scripted C13–C20 tests and documentation CI passed; this does not pass C12/S13 native-host gates. +- PR #12 remains open Draft, head `c6b42a36050d885a37831cbdf0839428b2052c85`, based on `ea2bb10893a9be2e5de3561fc9a660a6977ae15c`. Its scripted C13–C20 tests and documentation CI passed; this does not pass C12/S13 native-host gates. +- PR #14 is **merged** as a docs-only conditional security design record. Merge does not authorize Phase 3 or claim Windows/Linux Secure Host, Grok native provenance, C12/S13 or M6 acceptance. ### 1.2 Evidence classes @@ -34,7 +36,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn |---|---|---|---| | 0 | Baseline freeze and traceability | Immutable baseline, full requirement/Finding/test ledger and evidence index | **Complete** — established in merged PR #13 | | 1 | M6 current-main test compatibility | PR #7 tests run against frozen current main; no Core semantic change hidden in test repair | **PASS, merged** — PR #13; main CI 7/7; four matrix cells 369/369, Linux isolation/M6 e2e 11/11 on Node 22/24; no production Core change | -| 2 | Trusted Host security design | Approved threat model, OS identity, IPC, key custody, Store ownership and provenance contract | **CONDITIONAL**：第三轮 Grok 定向复核已确认 F-01、F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL（后续 PoC/OS 实测），F-07 正式 V0.3/V0.6-R5 原文符合性仍 **BLOCKED**；PR #14 可作为明确标注限制的设计记录候选，尚未合并 | +| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；F-07 **BLOCKED**，等待正式需求/技术设计原件和完整 SHA-256。Phase 2 尚未正式收口；参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | | 3 | Trusted Host security implementation | Windows and Linux isolation, access-denial tests and secure Host operations pass | Pending | | 4 | Native Grok Build JS tool bridge | Grok Build itself calls FlowKit JS tools through Pending → model completion → JS submit/resume → Terminal | Pending | | 5 | M6 live-model complex acceptance | Applicable C01–C24 cases classified and evidenced at P/M/N levels; all M6 blockers closed | Pending | @@ -44,6 +46,12 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn | 9 | P2 Parallel any | Winner election, loser cancellation, late results and recovery pass | Deferred | | 10 | Production compatibility and release | Host matrix, SDK/types/CLI/package/docs/performance/security/release gates all pass | Deferred | +### 2.1 Phase 2 formal contract source gate + +PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7, but Phase 2 formal conformance is not closed because the original confirmed Requirements V0.3 and Technical Design V0.6-R5 bodies/full SHA-256 are not available in the current Library/Conversation or main repository. Existing approval records, implementation plan, POC report and independent-review report are secondary evidence only; they cannot replace the approved source documents. + +The exact source names, historical path/hash clues, available secondary records, re-upload request and verification procedure are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). **Do not begin Phase 3 until the user-provided original files are verified and the Phase 2 conformance matrix is independently reviewed.** This is the currently adopted execution order. + ## 3. Phase 0 — Baseline and traceability 1. Freeze main SHA, PR heads, dependency lock hash, Node/npm versions and CI run IDs. From ba32d11fa9b988dfd4f8b8bdc9a95a7f5ed0f7d2 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:21:34 +0900 Subject: [PATCH 03/20] docs(interactive): fix formal source register Markdown formatting --- ...teractive-phase2-formal-source-register.md | 32 +++++++++---------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index bc6a6cb..3e077c1 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -2,29 +2,29 @@ **状态：BLOCKED — 等待用户重新提供正式原件。** **登记日期：2026-11-12（UTC+8）** -**当前 main：** \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` +**当前 main：** `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` **关联设计：** [Trusted Host V2](./interactive-trusted-host-security-v2-design.md) · [完整路线图](./interactive-full-delivery-roadmap-2026-11-11.md) ## 1. 目标原件 | ID | 应取得的正式原件 | 已知历史路径/版本线索 | 当前证据 | 状态 | |---|---|---|---|---| -| SRC-01 | \`FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\` | \`01-CONFIRMED-REQUIREMENTS/FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\`；范围 T01–T34 | 2026-11-10 的 Grok 独立审查报告记载 SHA-256 前缀 \`3a0adc3e…6e703e\`，但没有原文件字节和完整哈希 | **BLOCKED** | -| SRC-02 | \`TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\` | 历史确认的 V0.6-R5 技术设计原件 | P0-A 确认记录和实施计划只引用版本/文件名，没有包含完整技术正文或完整哈希 | **BLOCKED** | -| SRC-03 | \`FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip\` | 历史确认交接包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | -| SRC-04 | \`FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\` | V0.6-R5 最终收敛复审包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | +| SRC-01 | `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` | `01-CONFIRMED-REQUIREMENTS/FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md`；范围 T01–T34 | 2026-11-10 的 Grok 独立审查报告记载 SHA-256 前缀 `3a0adc3e…6e703e`，但没有原文件字节和完整哈希 | **BLOCKED** | +| SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 历史确认的 V0.6-R5 技术设计原件 | P0-A 确认记录和实施计划只引用版本/文件名，没有包含完整技术正文或完整哈希 | **BLOCKED** | +| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 历史确认交接包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | +| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | V0.6-R5 最终收敛复审包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | -**重要区分：** Library 中可读的 \`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md\` 是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是已确认的 V0.6-R5 技术设计原件。该报告还记录了 V0.3-R2 Draft 的 SHA-256 前缀 \`92eff8d4…475520f8\`，不能把它当成 V0.6-R5。该报告提到的 ZIP 哈希前缀 \`8a2f679a…2ee5826\` 属于它所审查的历史交接包记录，不能未经原包核对就认定为 SRC-03 或 SRC-04。 +**重要区分：** Library 中可读的 `FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md` 是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是已确认的 V0.6-R5 技术设计原件。该报告还记录了 V0.3-R2 Draft 的 SHA-256 前缀 `92eff8d4…475520f8`，不能把它当成 V0.6-R5。该报告提到的 ZIP 哈希前缀 `8a2f679a…2ee5826` 属于它所审查的历史交接包记录，不能未经原包核对就认定为 SRC-03 或 SRC-04。 ## 2. 当前可读取的相关材料（仅二级证据） | 材料 | 当前可读取位置/标识 | 能证明什么 | 不能替代什么 | |---|---|---|---| -| Grok V0.3-R2 独立审查报告 | Library：\`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md\` | 证明历史审查报告曾引用 V0.3 Confirmed 需求，并记录其 SHA 前缀、T01–T34 范围 | 不能替代需求正文、完整 SHA 或 V0.6-R5 技术设计 | -| P0-A 确认记录 | Library：\`00-APPROVAL-RECORD.md\` | 证明用户于 2026-11-10 确认 P0-A 实施计划，并将 Requirements V0.3 / Technical Design V0.6-R5 作为上游基线 | 不是需求或技术设计正文 | -| P0-A 实施计划 | Library：\`01-P0A-IMPLEMENTATION-PLAN-V0.1-CONFIRMED.md\` | 证明计划层的 M1–M6、31 项文件级工程任务和验收原则 | 计划明确要求需求 V0.3 优先于技术 V0.6-R5；不能用计划反向重建上游契约 | -| Stage 2 PoC 报告 | Library：\`STAGE2-POC-REPORT.md\` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | -| PR #14 / 当前路线图 | main：\`docs/interactive-trusted-host-security-v2-*.md\`、本登记 | 证明当前 Trusted Host V2 设计、Finding 和后续阶段记录 | 这些是后续安全设计和摘要，不是 2026-11-10 的原始批准契约 | +| Grok V0.3-R2 独立审查报告 | Library：`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md` | 证明历史审查报告曾引用 V0.3 Confirmed 需求，并记录其 SHA 前缀、T01–T34 范围 | 不能替代需求正文、完整 SHA 或 V0.6-R5 技术设计 | +| P0-A 确认记录 | Library：`00-APPROVAL-RECORD.md` | 证明用户于 2026-11-10 确认 P0-A 实施计划，并将 Requirements V0.3 / Technical Design V0.6-R5 作为上游基线 | 不是需求或技术设计正文 | +| P0-A 实施计划 | Library：`01-P0A-IMPLEMENTATION-PLAN-V0.1-CONFIRMED.md` | 证明计划层的 M1–M6、31 项文件级工程任务和验收原则 | 计划明确要求需求 V0.3 优先于技术 V0.6-R5；不能用计划反向重建上游契约 | +| Stage 2 PoC 报告 | Library：`STAGE2-POC-REPORT.md` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | +| PR #14 / 当前路线图 | main：`docs/interactive-trusted-host-security-v2-*.md`、本登记 | 证明当前 Trusted Host V2 设计、Finding 和后续阶段记录 | 这些是后续安全设计和摘要，不是 2026-11-10 的原始批准契约 | ## 3. 原件恢复后的验证步骤 @@ -32,7 +32,7 @@ 1. **字节级固定**：记录原始文件名、文件大小、格式、来源、收到时间和 SHA-256 完整值。 2. **版本/批准状态核验**：确认标题、版本号、CONFIRMED 状态、用户确认记录、日期、变更记录和适用范围。 -3. **交接包完整性**：若提供 ZIP，先读取包内文件清单与 \`SHA256SUMS.txt\`，验证全部条目；再计算 ZIP 本身的 SHA-256。不能只比较前缀。 +3. **交接包完整性**：若提供 ZIP，先读取包内文件清单与 `SHA256SUMS.txt`，验证全部条目；再计算 ZIP 本身的 SHA-256。不能只比较前缀。 4. **SRC-01 需求符合性**：按原文逐条提取 T01–T34 的原始措辞、阶段、约束和验收条件；不得以当前路线图同名编号代替。 5. **SRC-02 技术符合性**：逐条核对 V0.6-R5 的 API、ABI、Program、Checkpoint、Store、Coordinator、Host、安全边界、错误语义和平台要求。 6. **交叉追踪**：把原文条款映射到当前 main、PR #14 合并后的 Trusted Host 设计、M1–M6、T/S/C/TH/SEC/NAT 台账；记录 PASS、GAP、CONFLICT、NOT-IMPLEMENTED、OUT-OF-SCOPE。 @@ -51,10 +51,10 @@ 请重新上传以下文件（至少前两份原始 Markdown）： -1. \`FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md\` -2. \`TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\) -3. 如方便，上传 \`FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip\` 及其原始 \`SHA256SUMS.txt\) -4. 如方便，上传 \`FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\) +1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` +2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\) +3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt\) +4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\) 若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 From 83564095469754926f0f624d51335a7735bc6269 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:21:47 +0900 Subject: [PATCH 04/20] docs(interactive): remove stray escapes in source register --- docs/interactive-phase2-formal-source-register.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index 3e077c1..d245d77 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -52,9 +52,9 @@ 请重新上传以下文件（至少前两份原始 Markdown）： 1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` -2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md\) -3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt\) -4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip\) +2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md) +3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt) +4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip) 若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 From c23e16630f5513fcea9b0b05d96e7fb00b4921dc Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:21:56 +0900 Subject: [PATCH 05/20] docs(interactive): close Markdown code spans in source register --- docs/interactive-phase2-formal-source-register.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index d245d77..14c5925 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -52,9 +52,9 @@ 请重新上传以下文件（至少前两份原始 Markdown）： 1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` -2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md) -3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt) -4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip) +2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md`) +3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt`) +4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip`) 若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 From 8dd903520c2eb0b904990ae7978a1e9dbc4d30b8 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:22:04 +0900 Subject: [PATCH 06/20] docs(interactive): tidy original artifact upload checklist --- docs/interactive-phase2-formal-source-register.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index 14c5925..6346e20 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -53,8 +53,8 @@ 1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` 2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md`) -3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt`) -4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip`) +3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` +4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` 若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 From 5722afc67e3f4223df7811074135c16dcfec4001 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:22:31 +0900 Subject: [PATCH 07/20] docs(interactive): finalize source register checklist formatting --- docs/interactive-phase2-formal-source-register.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index 6346e20..5d812e1 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -52,7 +52,7 @@ 请重新上传以下文件（至少前两份原始 Markdown）： 1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` -2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md`) +2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` 3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` 4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` From b288ec117a5e4fe43241c187e2acda8087ffea66 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:37:57 +0900 Subject: [PATCH 08/20] docs(interactive): unblock independent Host OS work while preserving F-07 --- docs/interactive-full-delivery-roadmap-2026-11-11.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/interactive-full-delivery-roadmap-2026-11-11.md b/docs/interactive-full-delivery-roadmap-2026-11-11.md index f77498b..e4247c1 100644 --- a/docs/interactive-full-delivery-roadmap-2026-11-11.md +++ b/docs/interactive-full-delivery-roadmap-2026-11-11.md @@ -36,7 +36,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn |---|---|---|---| | 0 | Baseline freeze and traceability | Immutable baseline, full requirement/Finding/test ledger and evidence index | **Complete** — established in merged PR #13 | | 1 | M6 current-main test compatibility | PR #7 tests run against frozen current main; no Core semantic change hidden in test repair | **PASS, merged** — PR #13; main CI 7/7; four matrix cells 369/369, Linux isolation/M6 e2e 11/11 on Node 22/24; no production Core change | -| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；F-07 **BLOCKED**，等待正式需求/技术设计原件和完整 SHA-256。Phase 2 尚未正式收口；参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | +| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；F-07 正式原件符合性 **BLOCKED**。该 BLOCKED 只限制历史契约符合性声明和涉及 Core/Program ABI/P0-A 语义的变更，**不阻断与既有语义独立的 H3-01 Host OS 隔离、H3-05 OS-only 安全负例及工具能力 PoC**。参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | | 3 | Trusted Host security implementation | Windows and Linux isolation, access-denial tests and secure Host operations pass | Pending | | 4 | Native Grok Build JS tool bridge | Grok Build itself calls FlowKit JS tools through Pending → model completion → JS submit/resume → Terminal | Pending | | 5 | M6 live-model complex acceptance | Applicable C01–C24 cases classified and evidenced at P/M/N levels; all M6 blockers closed | Pending | @@ -50,7 +50,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7, but Phase 2 formal conformance is not closed because the original confirmed Requirements V0.3 and Technical Design V0.6-R5 bodies/full SHA-256 are not available in the current Library/Conversation or main repository. Existing approval records, implementation plan, POC report and independent-review report are secondary evidence only; they cannot replace the approved source documents. -The exact source names, historical path/hash clues, available secondary records, re-upload request and verification procedure are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). **Do not begin Phase 3 until the user-provided original files are verified and the Phase 2 conformance matrix is independently reviewed.** This is the currently adopted execution order. +The exact source names, historical path/hash clues, available secondary records and verification procedure are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). Missing originals keep F-07 and formal conformance BLOCKED, but **are not a blanket stop on all further engineering**. H3-01/H3-05 OS-only work and the non-production Grok tool capability PoC may proceed in isolated branches without changing Core, Program ABI, SQLite schema or frozen P0-A semantics. Any change touching those frozen contracts, and the final Phase 2 conformance claim, must wait for original-source recovery or an explicitly user-approved replacement baseline. ## 3. Phase 0 — Baseline and traceability From b8b1a0740f8b1b55d10148f6ba432d513dd5b34c Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:38:02 +0900 Subject: [PATCH 09/20] docs(interactive): unblock independent Host OS work while preserving F-07 --- docs/interactive-phase2-formal-source-register.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index 5d812e1..a96ca37 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -44,12 +44,14 @@ - PR #14 已合并，代表 Trusted Host V2 **安全设计记录已入库**；不代表其与正式 V0.3/V0.6-R5 的符合性已证明。 - F-01 与 F-R2-01 已在设计文档层面关闭。 - F-02（Grok 原生工具绑定）和 F-04（Windows 跨账户/继承句柄隔离）仍需各自 PoC/OS 实测。 -- F-07 保持 **BLOCKED**。在本项目既定执行顺序中，先恢复并核验 SRC-01/SRC-02，再正式收口 Phase 2；**本登记未授权开始 Phase 3**。 +- F-07 保持 **BLOCKED**，但这不意味着工程工作全部停止。可继续实施与历史功能契约无关且可独立回滚的 H3-01 Host OS 身份/私有目录/密钥隔离，以及 H3-05 OS-only 负例；也可做不改生产代码的 Grok 工具能力 PoC。 +- 在正式原件恢复前，不得宣称 V0.3/V0.6-R5 符合性 PASS；不得修改 Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。H3-02/03/04 的生产接入应在其依赖 PoC 和相关安全设计复核通过后推进。 +- 正式原件恢复是关闭 F-07 和证明历史契约符合性的条件，不是继续所有独立安全工程工作的先决条件。 - 不得因为原件缺失而重写一份“新版 V0.3”或“新版 V0.6-R5”并冒充历史批准版本。 ## 5. 需要用户重新提供的文件 -请重新上传以下文件（至少前两份原始 Markdown）： +如你之后在历史下载或本地目录找到原件，可以提供以下文件以关闭 F-07；**现在不需要为了继续 H3-01/H3-05 而中断工作或重新制作文件**： 1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` 2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` @@ -60,4 +62,4 @@ --- -**当前结论：** SRC-01 至 SRC-04 尚无可验证原始字节；当前相关报告、审批记录、实施计划和 PoC 报告仅作为二级线索保存。Phase 2 正式契约符合性维持 **BLOCKED**。 +**当前结论：** SRC-01 至 SRC-04 尚无可验证原始字节；当前相关报告、审批记录、实施计划和 PoC 报告仅作为二级线索保存。Phase 2 正式契约符合性维持 **BLOCKED**；H3-01/H3-05 的独立 OS 安全工作可以继续，但不得越界修改冻结功能契约。 From 7fa0c3dac45f3dec5b1610f6f685cceddf5b34a3 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:41:47 +0900 Subject: [PATCH 10/20] docs(interactive): verify recovered V0.3 requirements and isolate missing V0.6-R5 --- ...teractive-phase2-formal-source-register.md | 27 ++++++++++--------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index a96ca37..020d781 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -1,6 +1,6 @@ # FlowKit Interactive — Phase 2 正式契约原件追踪登记 -**状态：BLOCKED — 等待用户重新提供正式原件。** +**状态：部分恢复 — SRC-01 已取得并完成 SHA-256/包内清单验证；SRC-02（V0.6-R5 技术设计原件）仍 BLOCKED。** **登记日期：2026-11-12（UTC+8）** **当前 main：** `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` **关联设计：** [Trusted Host V2](./interactive-trusted-host-security-v2-design.md) · [完整路线图](./interactive-full-delivery-roadmap-2026-11-11.md) @@ -9,18 +9,18 @@ | ID | 应取得的正式原件 | 已知历史路径/版本线索 | 当前证据 | 状态 | |---|---|---|---|---| -| SRC-01 | `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` | `01-CONFIRMED-REQUIREMENTS/FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md`；范围 T01–T34 | 2026-11-10 的 Grok 独立审查报告记载 SHA-256 前缀 `3a0adc3e…6e703e`，但没有原文件字节和完整哈希 | **BLOCKED** | -| SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 历史确认的 V0.6-R5 技术设计原件 | P0-A 确认记录和实施计划只引用版本/文件名，没有包含完整技术正文或完整哈希 | **BLOCKED** | -| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 历史确认交接包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | -| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | V0.6-R5 最终收敛复审包 | 当前可检索 Library/Conversation 未找到该文件 | **NOT FOUND** | +| SRC-01 | `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` | 用户上传的 `FlowKit-Interactive-Development-Handoff-For-Grok-2026-11-10(2).zip` 内部 `01-CONFIRMED-REQUIREMENTS/`；范围 T01–T34 | 已取得原文件 56,883 bytes；SHA-256 `3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e`；与 MANIFEST、SHA256SUMS 和历史审查报告前缀一致 | **VERIFIED** | +| SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 目标为历史确认的 V0.6-R5 技术设计原件 | 本次上传的 2026-11-10 交接 ZIP 不含此文件；只含 `FlowKit-Interactive-Technical-Design-Draft-V0.3-R2.md`（103,479 bytes，SHA-256 `92eff8d490213ac74f542639df0b7deaf459457d1553f3e78a2d7d6a475520f8`），MANIFEST 明确标记技术设计为 Draft V0.3-R2 / not yet confirmed | **BLOCKED** | +| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 历史确认的 V0.6-R5 交接包 | 本次上传的是不同名称的 `FlowKit-Interactive-Development-Handoff-For-Grok-2026-11-10(2).zip`；其 SHA-256 为 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826`，与历史审查报告记录的 ZIP 哈希前缀/后缀吻合，但包内 MANIFEST 证明它是 V0.3 requirements + V0.3-R2 technical draft 的审查交接包，不是 V0.6-R5 Confirmed Handoff | **NOT FOUND（已排除误认）** | +| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | V0.6-R5 最终收敛复审包 | 本次三个上传附件均未包含该文件或等价的原始归档 | **NOT FOUND** | -**重要区分：** Library 中可读的 `FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md` 是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是已确认的 V0.6-R5 技术设计原件。该报告还记录了 V0.3-R2 Draft 的 SHA-256 前缀 `92eff8d4…475520f8`，不能把它当成 V0.6-R5。该报告提到的 ZIP 哈希前缀 `8a2f679a…2ee5826` 属于它所审查的历史交接包记录，不能未经原包核对就认定为 SRC-03 或 SRC-04。 +**重要区分与已完成验证：** 用户单独上传的 `FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok(1).md`（55,392 bytes，SHA-256 `7efca5840151e3a1851b4fb590ec11780f56f53da691a02d770871cdf477646f`）是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是 V0.6-R5 技术设计原件。它记录的需求 SHA 前缀 `3a0adc3e…6e703e` 已由本次 ZIP 中的真实 V0.3 文件完整验证；Draft V0.3-R2 的 SHA-256 为 `92eff8d4…475520f8`。上传 ZIP 的完整 SHA-256 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826` 也与报告所记 ZIP 前缀/后缀吻合。该 ZIP 内 MANIFEST 的 `technical_design_status` 明确为 `Draft V0.3-R2, not yet confirmed`，因此不能把它当作 V0.6-R5。 ## 2. 当前可读取的相关材料（仅二级证据） | 材料 | 当前可读取位置/标识 | 能证明什么 | 不能替代什么 | |---|---|---|---| -| Grok V0.3-R2 独立审查报告 | Library：`FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok.md` | 证明历史审查报告曾引用 V0.3 Confirmed 需求，并记录其 SHA 前缀、T01–T34 范围 | 不能替代需求正文、完整 SHA 或 V0.6-R5 技术设计 | +| Grok V0.3-R2 独立审查报告 | 用户上传的同名 Markdown；另有 Library 副本 | 证明历史审查报告曾引用 V0.3 Confirmed 需求，并记录其 SHA 前缀、T01–T34 范围；本次已用原件核验完整需求 SHA | 不能替代 V0.6-R5 技术设计 | | P0-A 确认记录 | Library：`00-APPROVAL-RECORD.md` | 证明用户于 2026-11-10 确认 P0-A 实施计划，并将 Requirements V0.3 / Technical Design V0.6-R5 作为上游基线 | 不是需求或技术设计正文 | | P0-A 实施计划 | Library：`01-P0A-IMPLEMENTATION-PLAN-V0.1-CONFIRMED.md` | 证明计划层的 M1–M6、31 项文件级工程任务和验收原则 | 计划明确要求需求 V0.3 优先于技术 V0.6-R5；不能用计划反向重建上游契约 | | Stage 2 PoC 报告 | Library：`STAGE2-POC-REPORT.md` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | @@ -28,12 +28,12 @@ ## 3. 原件恢复后的验证步骤 -收到文件后，按以下顺序执行，不得先改写内容： +SRC-01 已完成字节级与包内完整性验证。剩余原件恢复后，按以下顺序执行，不得先改写内容： 1. **字节级固定**：记录原始文件名、文件大小、格式、来源、收到时间和 SHA-256 完整值。 2. **版本/批准状态核验**：确认标题、版本号、CONFIRMED 状态、用户确认记录、日期、变更记录和适用范围。 3. **交接包完整性**：若提供 ZIP，先读取包内文件清单与 `SHA256SUMS.txt`，验证全部条目；再计算 ZIP 本身的 SHA-256。不能只比较前缀。 -4. **SRC-01 需求符合性**：按原文逐条提取 T01–T34 的原始措辞、阶段、约束和验收条件；不得以当前路线图同名编号代替。 +4. **SRC-01 需求符合性**：已取得正式原文；下一步按原文逐条提取 T01–T34 的原始措辞、阶段、约束和验收条件，并对照当前 main。不得以当前路线图同名编号代替。 5. **SRC-02 技术符合性**：逐条核对 V0.6-R5 的 API、ABI、Program、Checkpoint、Store、Coordinator、Host、安全边界、错误语义和平台要求。 6. **交叉追踪**：把原文条款映射到当前 main、PR #14 合并后的 Trusted Host 设计、M1–M6、T/S/C/TH/SEC/NAT 台账；记录 PASS、GAP、CONFLICT、NOT-IMPLEMENTED、OUT-OF-SCOPE。 7. **独立复审**：对所有差异给出源码/原文证据链；不得自动修改正式需求或技术设计。需要修订时，先提出差异和建议，等待用户确认。 @@ -44,6 +44,8 @@ - PR #14 已合并，代表 Trusted Host V2 **安全设计记录已入库**；不代表其与正式 V0.3/V0.6-R5 的符合性已证明。 - F-01 与 F-R2-01 已在设计文档层面关闭。 - F-02（Grok 原生工具绑定）和 F-04（Windows 跨账户/继承句柄隔离）仍需各自 PoC/OS 实测。 +- SRC-01 / V0.3 需求原件已 VERIFIED；可以立即开展 T01–T34 的需求追踪与当前 main/设计符合性审查。 +- SRC-02 / V0.6-R5 技术设计原件仍 **BLOCKED**，因此技术设计版本符合性及完整 F-07 仍不能判 PASS。 - F-07 保持 **BLOCKED**，但这不意味着工程工作全部停止。可继续实施与历史功能契约无关且可独立回滚的 H3-01 Host OS 身份/私有目录/密钥隔离，以及 H3-05 OS-only 负例；也可做不改生产代码的 Grok 工具能力 PoC。 - 在正式原件恢复前，不得宣称 V0.3/V0.6-R5 符合性 PASS；不得修改 Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。H3-02/03/04 的生产接入应在其依赖 PoC 和相关安全设计复核通过后推进。 - 正式原件恢复是关闭 F-07 和证明历史契约符合性的条件，不是继续所有独立安全工程工作的先决条件。 @@ -51,10 +53,9 @@ ## 5. 需要用户重新提供的文件 -如你之后在历史下载或本地目录找到原件，可以提供以下文件以关闭 F-07；**现在不需要为了继续 H3-01/H3-05 而中断工作或重新制作文件**： +**目前无需重新上传 V0.3。** 若要关闭剩余的技术设计原件门禁，请寻找并提供以下文件；现在不需要为 H3-01/H3-05 中断工作： -1. `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` -2. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` +1. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` 3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` 4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` @@ -62,4 +63,4 @@ --- -**当前结论：** SRC-01 至 SRC-04 尚无可验证原始字节；当前相关报告、审批记录、实施计划和 PoC 报告仅作为二级线索保存。Phase 2 正式契约符合性维持 **BLOCKED**；H3-01/H3-05 的独立 OS 安全工作可以继续，但不得越界修改冻结功能契约。 +**当前结论：** SRC-01 已取得、SHA-256 已完整验证，且 2026-11-10 交接包 13/13 清单通过；SRC-02（V0.6-R5 正式技术设计）仍无可验证原始字节，SRC-03/04 仍未找到。Phase 2 的 V0.3 需求追踪可以继续，但完整正式技术契约符合性维持 **BLOCKED**；H3-01/H3-05 的独立 OS 安全工作可以继续，但不得越界修改冻结功能契约。 From fa6489690342cdc4d4f648a3d348a3aad4ba463c Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:42:00 +0900 Subject: [PATCH 11/20] docs(interactive): update source recovery gate after V0.3 verification --- docs/interactive-full-delivery-roadmap-2026-11-11.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/interactive-full-delivery-roadmap-2026-11-11.md b/docs/interactive-full-delivery-roadmap-2026-11-11.md index e4247c1..7518d4d 100644 --- a/docs/interactive-full-delivery-roadmap-2026-11-11.md +++ b/docs/interactive-full-delivery-roadmap-2026-11-11.md @@ -48,9 +48,9 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn ### 2.1 Phase 2 formal contract source gate -PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7, but Phase 2 formal conformance is not closed because the original confirmed Requirements V0.3 and Technical Design V0.6-R5 bodies/full SHA-256 are not available in the current Library/Conversation or main repository. Existing approval records, implementation plan, POC report and independent-review report are secondary evidence only; they cannot replace the approved source documents. +PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7. The original confirmed Requirements V0.3 has now been recovered from the user-uploaded 2026-11-10 handoff ZIP and its full SHA-256 and 13/13 package manifest entries verified. The confirmed Technical Design V0.6-R5 original is still absent; the same ZIP contains only Draft V0.3-R2, explicitly marked not yet confirmed. Therefore V0.3 requirement traceability can proceed now, while V0.6-R5 technical-design conformance and the complete F-07 closure remain BLOCKED. -The exact source names, historical path/hash clues, available secondary records and verification procedure are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). Missing originals keep F-07 and formal conformance BLOCKED, but **are not a blanket stop on all further engineering**. H3-01/H3-05 OS-only work and the non-production Grok tool capability PoC may proceed in isolated branches without changing Core, Program ABI, SQLite schema or frozen P0-A semantics. Any change touching those frozen contracts, and the final Phase 2 conformance claim, must wait for original-source recovery or an explicitly user-approved replacement baseline. +The exact source names, full hashes, archive evidence, secondary records and remaining recovery steps are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). Missing V0.6-R5 keeps full formal conformance BLOCKED, but **is not a blanket stop on all further engineering**. H3-01/H3-05 OS-only work and the non-production Grok tool capability PoC may proceed in isolated branches without changing Core, Program ABI, SQLite schema or frozen P0-A semantics. Any change touching those frozen contracts, and the final Phase 2 conformance claim, must wait for the V0.6-R5 original or an explicitly user-approved replacement baseline. ## 3. Phase 0 — Baseline and traceability From 319eced15c3798c48fda4ecf887f8b9ecc52dda5 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:42:56 +0900 Subject: [PATCH 12/20] docs(interactive): fix remaining source recovery checklist numbering --- docs/interactive-phase2-formal-source-register.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index 020d781..e83e18c 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -47,7 +47,7 @@ SRC-01 已完成字节级与包内完整性验证。剩余原件恢复后，按 - SRC-01 / V0.3 需求原件已 VERIFIED；可以立即开展 T01–T34 的需求追踪与当前 main/设计符合性审查。 - SRC-02 / V0.6-R5 技术设计原件仍 **BLOCKED**，因此技术设计版本符合性及完整 F-07 仍不能判 PASS。 - F-07 保持 **BLOCKED**，但这不意味着工程工作全部停止。可继续实施与历史功能契约无关且可独立回滚的 H3-01 Host OS 身份/私有目录/密钥隔离，以及 H3-05 OS-only 负例；也可做不改生产代码的 Grok 工具能力 PoC。 -- 在正式原件恢复前，不得宣称 V0.3/V0.6-R5 符合性 PASS；不得修改 Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。H3-02/03/04 的生产接入应在其依赖 PoC 和相关安全设计复核通过后推进。 +- 在 V0.6-R5 正式技术设计原件恢复并完成逐条审查前，不得宣称完整 V0.3/V0.6-R5 技术契约符合性 PASS；不得修改 Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。H3-02/03/04 的生产接入应在其依赖 PoC 和相关安全设计复核通过后推进。 - 正式原件恢复是关闭 F-07 和证明历史契约符合性的条件，不是继续所有独立安全工程工作的先决条件。 - 不得因为原件缺失而重写一份“新版 V0.3”或“新版 V0.6-R5”并冒充历史批准版本。 @@ -56,8 +56,8 @@ SRC-01 已完成字节级与包内完整性验证。剩余原件恢复后，按 **目前无需重新上传 V0.3。** 若要关闭剩余的技术设计原件门禁，请寻找并提供以下文件；现在不需要为 H3-01/H3-05 中断工作： 1. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` -3. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` -4. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` +2. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` +3. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` 若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 From 16da8b43d84c9c3be57d2066694f57e9e6ec04c2 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:51:05 +0900 Subject: [PATCH 13/20] docs(interactive): verify recovered V0.6-R5 confirmed technical design --- docs/interactive-phase2-formal-source-register.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index e83e18c..d2e7c1d 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -1,6 +1,6 @@ # FlowKit Interactive — Phase 2 正式契约原件追踪登记 -**状态：部分恢复 — SRC-01 已取得并完成 SHA-256/包内清单验证；SRC-02（V0.6-R5 技术设计原件）仍 BLOCKED。** +**状态：SRC-01 / V0.3 与 SRC-02 / V0.6-R5 均已找回并完成 SHA-256/包内清单验证；SRC-03、SRC-04 也已在资料空间目录中定位。** **登记日期：2026-11-12（UTC+8）** **当前 main：** `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` **关联设计：** [Trusted Host V2](./interactive-trusted-host-security-v2-design.md) · [完整路线图](./interactive-full-delivery-roadmap-2026-11-11.md) @@ -10,9 +10,9 @@ | ID | 应取得的正式原件 | 已知历史路径/版本线索 | 当前证据 | 状态 | |---|---|---|---|---| | SRC-01 | `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` | 用户上传的 `FlowKit-Interactive-Development-Handoff-For-Grok-2026-11-10(2).zip` 内部 `01-CONFIRMED-REQUIREMENTS/`；范围 T01–T34 | 已取得原文件 56,883 bytes；SHA-256 `3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e`；与 MANIFEST、SHA256SUMS 和历史审查报告前缀一致 | **VERIFIED** | -| SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 目标为历史确认的 V0.6-R5 技术设计原件 | 本次上传的 2026-11-10 交接 ZIP 不含此文件；只含 `FlowKit-Interactive-Technical-Design-Draft-V0.3-R2.md`（103,479 bytes，SHA-256 `92eff8d490213ac74f542639df0b7deaf459457d1553f3e78a2d7d6a475520f8`），MANIFEST 明确标记技术设计为 Draft V0.3-R2 / not yet confirmed | **BLOCKED** | -| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 历史确认的 V0.6-R5 交接包 | 本次上传的是不同名称的 `FlowKit-Interactive-Development-Handoff-For-Grok-2026-11-10(2).zip`；其 SHA-256 为 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826`，与历史审查报告记录的 ZIP 哈希前缀/后缀吻合，但包内 MANIFEST 证明它是 V0.3 requirements + V0.3-R2 technical draft 的审查交接包，不是 V0.6-R5 Confirmed Handoff | **NOT FOUND（已排除误认）** | -| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | V0.6-R5 最终收敛复审包 | 本次三个上传附件均未包含该文件或等价的原始归档 | **NOT FOUND** | +| SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff(1).zip` 内部 `FlowKit-Interactive-V0.6-R5-Confirmed/`；资料空间 `/FlowKit/TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 原文件 114,621 bytes；SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`；与交接 ZIP 内 SHA256SUMS 完整值一致；9/9 清单条目全部 PASS。相同文件也存在于 Core POC evidence ZIP 的 baseline/ 目录，SHA-256 完全相同 | **VERIFIED** | +| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 资料空间 `/FlowKit/FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip`；本轮用户上传同内容副本 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff(1).zip` | 资料空间目录存在原始命名记录；本轮上传副本 91,555 bytes，SHA-256 `2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549`，包含 V0.6-R5 正式原件，内部 9/9 SHA256SUMS 校验通过。资料空间原始条目的原始字节未单独导出，不声称其 ZIP 容器字节与上传副本完全相同 | **LOCATED / CONTENT VERIFIED VIA UPLOADED COPY** | +| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 资料空间 `/FlowKit/FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 已在资料空间目录定位，大小 171,006 bytes；当前文件读取接口未提供该 ZIP 的原始字节，因此尚未对其内部文件和 ZIP SHA-256 做验证。不是本轮已上传的 V0.6 Confirmed Handoff ZIP | **LOCATED / RAW BYTES NOT YET VERIFIED** | **重要区分与已完成验证：** 用户单独上传的 `FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok(1).md`（55,392 bytes，SHA-256 `7efca5840151e3a1851b4fb590ec11780f56f53da691a02d770871cdf477646f`）是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是 V0.6-R5 技术设计原件。它记录的需求 SHA 前缀 `3a0adc3e…6e703e` 已由本次 ZIP 中的真实 V0.3 文件完整验证；Draft V0.3-R2 的 SHA-256 为 `92eff8d4…475520f8`。上传 ZIP 的完整 SHA-256 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826` 也与报告所记 ZIP 前缀/后缀吻合。该 ZIP 内 MANIFEST 的 `technical_design_status` 明确为 `Draft V0.3-R2, not yet confirmed`，因此不能把它当作 V0.6-R5。 @@ -63,4 +63,4 @@ SRC-01 已完成字节级与包内完整性验证。剩余原件恢复后，按 --- -**当前结论：** SRC-01 已取得、SHA-256 已完整验证，且 2026-11-10 交接包 13/13 清单通过；SRC-02（V0.6-R5 正式技术设计）仍无可验证原始字节，SRC-03/04 仍未找到。Phase 2 的 V0.3 需求追踪可以继续，但完整正式技术契约符合性维持 **BLOCKED**；H3-01/H3-05 的独立 OS 安全工作可以继续，但不得越界修改冻结功能契约。 +**当前结论：** SRC-01（V0.3）与 SRC-02（V0.6-R5）正式原件均已找回并完成 SHA-256/清单验证；SRC-02 位于本轮上传的 Confirmed Handoff ZIP，9/9 条目通过。SRC-03 在资料空间已定位且有已验证内容副本；SRC-04 在资料空间已定位，但其 ZIP 原始字节尚未读取。原件恢复门禁已解除，下一步应直接开展 V0.3/V0.6-R5 逐条符合性核验，不再要求用户重新上传这两份文件；H3-01/H3-05 的独立 OS 安全工作可以继续，但不得越界修改冻结功能契约。 From 99ac6306c6b7ba12f6c545524490e56b906308f0 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:51:28 +0900 Subject: [PATCH 14/20] docs(interactive): record recovered V0.6-R5 source and pending conformance review --- docs/interactive-full-delivery-roadmap-2026-11-11.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/interactive-full-delivery-roadmap-2026-11-11.md b/docs/interactive-full-delivery-roadmap-2026-11-11.md index 7518d4d..fa5fa96 100644 --- a/docs/interactive-full-delivery-roadmap-2026-11-11.md +++ b/docs/interactive-full-delivery-roadmap-2026-11-11.md @@ -36,7 +36,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn |---|---|---|---| | 0 | Baseline freeze and traceability | Immutable baseline, full requirement/Finding/test ledger and evidence index | **Complete** — established in merged PR #13 | | 1 | M6 current-main test compatibility | PR #7 tests run against frozen current main; no Core semantic change hidden in test repair | **PASS, merged** — PR #13; main CI 7/7; four matrix cells 369/369, Linux isolation/M6 e2e 11/11 on Node 22/24; no production Core change | -| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；F-07 正式原件符合性 **BLOCKED**。该 BLOCKED 只限制历史契约符合性声明和涉及 Core/Program ABI/P0-A 语义的变更，**不阻断与既有语义独立的 H3-01 Host OS 隔离、H3-05 OS-only 安全负例及工具能力 PoC**。参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | +| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；V0.3 Requirements 与 V0.6-R5 Technical Design 原件均已找回并完成 SHA-256/包内清单验证。F-07 的“原件缺失”阻断已解除，**正式契约逐条符合性审查待执行**，在完成 T01–T34、S01–S14 及技术规范映射复核前，Phase 2 不宣称最终 conformance PASS。H3-01/H3-05 与 Grok 工具能力 PoC 可按既定隔离边界推进。参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | | 3 | Trusted Host security implementation | Windows and Linux isolation, access-denial tests and secure Host operations pass | Pending | | 4 | Native Grok Build JS tool bridge | Grok Build itself calls FlowKit JS tools through Pending → model completion → JS submit/resume → Terminal | Pending | | 5 | M6 live-model complex acceptance | Applicable C01–C24 cases classified and evidenced at P/M/N levels; all M6 blockers closed | Pending | @@ -48,7 +48,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn ### 2.1 Phase 2 formal contract source gate -PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7. The original confirmed Requirements V0.3 has now been recovered from the user-uploaded 2026-11-10 handoff ZIP and its full SHA-256 and 13/13 package manifest entries verified. The confirmed Technical Design V0.6-R5 original is still absent; the same ZIP contains only Draft V0.3-R2, explicitly marked not yet confirmed. Therefore V0.3 requirement traceability can proceed now, while V0.6-R5 technical-design conformance and the complete F-07 closure remain BLOCKED. +PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7. The confirmed Requirements V0.3 and confirmed Technical Design V0.6-R5 originals have both been recovered from the user's uploaded archives. V0.3 SHA-256 and the 13-entry Grok handoff manifest were verified; V0.6-R5 is 114,621 bytes with SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`, matching the 9-entry Confirmed Handoff SHA256SUMS (9/9 PASS). The separate Grok Development Handoff remains a V0.3-R2 draft review pack and must not be confused with the Confirmed Handoff. The source-missing portion of F-07 is closed; clause-by-clause conformance is now **PENDING REVIEW**, not PASS. Phase 2 remains open until that review is completed. The exact source names, full hashes, archive evidence, secondary records and remaining recovery steps are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). Missing V0.6-R5 keeps full formal conformance BLOCKED, but **is not a blanket stop on all further engineering**. H3-01/H3-05 OS-only work and the non-production Grok tool capability PoC may proceed in isolated branches without changing Core, Program ABI, SQLite schema or frozen P0-A semantics. Any change touching those frozen contracts, and the final Phase 2 conformance claim, must wait for the V0.6-R5 original or an explicitly user-approved replacement baseline. From 9fe0e3871df5dfdff0e8f6467bc0cace8d080798 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 10:52:53 +0900 Subject: [PATCH 15/20] docs(interactive): close source recovery gate and define formal conformance review --- ...teractive-phase2-formal-source-register.md | 42 +++++++++---------- 1 file changed, 19 insertions(+), 23 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index d2e7c1d..b6005c2 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -26,40 +26,36 @@ | Stage 2 PoC 报告 | Library：`STAGE2-POC-REPORT.md` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | | PR #14 / 当前路线图 | main：`docs/interactive-trusted-host-security-v2-*.md`、本登记 | 证明当前 Trusted Host V2 设计、Finding 和后续阶段记录 | 这些是后续安全设计和摘要，不是 2026-11-10 的原始批准契约 | -## 3. 原件恢复后的验证步骤 +## 3. 已完成的原件验证与待执行的符合性审查 -SRC-01 已完成字节级与包内完整性验证。剩余原件恢复后，按以下顺序执行，不得先改写内容： +SRC-01 和 SRC-02 的原件字节、SHA-256 与包内清单已验证；SRC-03 已定位并由上传副本验证内容；SRC-04 已定位但其 ZIP 原始字节尚未读取。原件恢复步骤已完成，以下是正式符合性审查顺序： -1. **字节级固定**：记录原始文件名、文件大小、格式、来源、收到时间和 SHA-256 完整值。 -2. **版本/批准状态核验**：确认标题、版本号、CONFIRMED 状态、用户确认记录、日期、变更记录和适用范围。 -3. **交接包完整性**：若提供 ZIP，先读取包内文件清单与 `SHA256SUMS.txt`，验证全部条目；再计算 ZIP 本身的 SHA-256。不能只比较前缀。 -4. **SRC-01 需求符合性**：已取得正式原文；下一步按原文逐条提取 T01–T34 的原始措辞、阶段、约束和验收条件，并对照当前 main。不得以当前路线图同名编号代替。 -5. **SRC-02 技术符合性**：逐条核对 V0.6-R5 的 API、ABI、Program、Checkpoint、Store、Coordinator、Host、安全边界、错误语义和平台要求。 -6. **交叉追踪**：把原文条款映射到当前 main、PR #14 合并后的 Trusted Host 设计、M1–M6、T/S/C/TH/SEC/NAT 台账；记录 PASS、GAP、CONFLICT、NOT-IMPLEMENTED、OUT-OF-SCOPE。 -7. **独立复审**：对所有差异给出源码/原文证据链；不得自动修改正式需求或技术设计。需要修订时，先提出差异和建议，等待用户确认。 -8. **收口裁决**：只有原件完整、SHA 验证通过、逐条符合性矩阵完成并通过独立复审，才可将 F-07 和 Phase 2 正式契约符合性改为 PASS。 +1. **原件固定（已完成）**：SRC-01 为 56,883 bytes；SRC-02 为 114,621 bytes；分别记录完整 SHA-256 和来源。 +2. **版本/批准状态核验（已完成）**：V0.6-R5 正文标明 2026-11-10 用户明确确认、冻结技术基线；确认只冻结设计，不等于代码实施授权。 +3. **交接包完整性（已完成）**：V0.6-R5 Confirmed Handoff 的 `SHA256SUMS.txt` 共 9 项，9/9 PASS；Core POC evidence ZIP 中同一 V0.6-R5 基线文件 SHA-256 完全相同。 +4. **V0.3 需求符合性（待执行）**：逐条提取 T01–T34 原始措辞、阶段、约束和验收条件，对照当前 main；不得以路线图同名编号代替。 +5. **V0.6-R5 技术符合性（待执行）**：逐条核对 API、ABI、Program、Checkpoint、Store、Coordinator、Host、安全边界、错误语义和平台要求。 +6. **交叉追踪（待执行）**：把原文条款映射到当前 main、PR #14 合并后的 Trusted Host 设计、M1–M6、T/S/C/TH/SEC/NAT 台账；逐项标记 PASS、GAP、CONFLICT、NOT-IMPLEMENTED、OUT-OF-SCOPE，并区分设计符合与实现状态。 +7. **独立复审（待执行）**：对所有差异给出源码/原文证据链；不得自动修改正式需求或技术设计。需要修订时，先提出差异和建议，等待用户确认。 +8. **收口裁决（待执行）**：只有逐条符合性矩阵完成并通过独立复审，才可将完整 Phase 2 正式契约符合性标为 PASS。 ## 4. 对阶段的影响 - PR #14 已合并，代表 Trusted Host V2 **安全设计记录已入库**；不代表其与正式 V0.3/V0.6-R5 的符合性已证明。 - F-01 与 F-R2-01 已在设计文档层面关闭。 - F-02（Grok 原生工具绑定）和 F-04（Windows 跨账户/继承句柄隔离）仍需各自 PoC/OS 实测。 -- SRC-01 / V0.3 需求原件已 VERIFIED；可以立即开展 T01–T34 的需求追踪与当前 main/设计符合性审查。 -- SRC-02 / V0.6-R5 技术设计原件仍 **BLOCKED**，因此技术设计版本符合性及完整 F-07 仍不能判 PASS。 -- F-07 保持 **BLOCKED**，但这不意味着工程工作全部停止。可继续实施与历史功能契约无关且可独立回滚的 H3-01 Host OS 身份/私有目录/密钥隔离，以及 H3-05 OS-only 负例；也可做不改生产代码的 Grok 工具能力 PoC。 -- 在 V0.6-R5 正式技术设计原件恢复并完成逐条审查前，不得宣称完整 V0.3/V0.6-R5 技术契约符合性 PASS；不得修改 Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。H3-02/03/04 的生产接入应在其依赖 PoC 和相关安全设计复核通过后推进。 -- 正式原件恢复是关闭 F-07 和证明历史契约符合性的条件，不是继续所有独立安全工程工作的先决条件。 +- SRC-01 / V0.3 与 SRC-02 / V0.6-R5 原件均 **VERIFIED**；正式原件缺失不再是阻断项。 +- F-07 的“原件不可得”问题已关闭；F-07 的实质符合性裁决转为 **PENDING REVIEW**，在完成逐条矩阵前不能标 PASS。 +- 下一步执行 T01–T34、V0.6-R5 §§1–18、R01–R22、S01–S14 的规范符合性与当前实现追踪。 +- H3-01/H3-05 OS-only 工作和 Grok 工具能力 PoC 可按既定隔离边界推进；H3-02/03/04 仍需各自依赖 PoC、设计复核和安全测试。 +- 在逐条符合性审查完成前，不得宣称完整 V0.3/V0.6-R5 技术契约符合性 PASS；不得借审查之名擅自修改正式需求、技术设计、Program ABI、Core API、SQLite Schema、P0-A 状态语义或扩张到 P0-B/P1/P2。 - 不得因为原件缺失而重写一份“新版 V0.3”或“新版 V0.6-R5”并冒充历史批准版本。 -## 5. 需要用户重新提供的文件 +## 5. 后续材料与边界 -**目前无需重新上传 V0.3。** 若要关闭剩余的技术设计原件门禁，请寻找并提供以下文件；现在不需要为 H3-01/H3-05 中断工作： - -1. `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` -2. 如方便，上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` 及其原始 `SHA256SUMS.txt` -3. 如方便，上传 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` - -若上传 ZIP，请保留原始包，不要重新压缩或修改文件后再提供，以免改变 SHA-256。 +- **当前无需用户重新上传 V0.3 或 V0.6-R5。** 两份正式原件均已在本轮资料中找到并验证。 +- SRC-04 `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` 已在 Library `/FlowKit/` 定位，大小 171,006 bytes；本轮任务不依赖该 ZIP 才能开始符合性审查。若后续需要逐条核对历史 R5 复审过程，再单独读取该归档。 +- 不能将 V0.3-R2 Draft 或任何摘要当作 V0.6-R5 正式设计；本登记引用的 V0.6-R5 正式文件 SHA-256 为 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`。 --- From feb2427da120fa7f89127d6441e7fa5614023680 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 11:00:43 +0900 Subject: [PATCH 16/20] docs(interactive): verify V0.6 handoff and register existing core PoC evidence --- ...teractive-phase2-formal-source-register.md | 20 +++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/docs/interactive-phase2-formal-source-register.md b/docs/interactive-phase2-formal-source-register.md index b6005c2..b41f1e7 100644 --- a/docs/interactive-phase2-formal-source-register.md +++ b/docs/interactive-phase2-formal-source-register.md @@ -11,8 +11,8 @@ |---|---|---|---|---| | SRC-01 | `FlowKit-Host-Driven-Interactive-Execution-Requirements-V0.3-Confirmed.md` | 用户上传的 `FlowKit-Interactive-Development-Handoff-For-Grok-2026-11-10(2).zip` 内部 `01-CONFIRMED-REQUIREMENTS/`；范围 T01–T34 | 已取得原文件 56,883 bytes；SHA-256 `3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e`；与 MANIFEST、SHA256SUMS 和历史审查报告前缀一致 | **VERIFIED** | | SRC-02 | `TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff(1).zip` 内部 `FlowKit-Interactive-V0.6-R5-Confirmed/`；资料空间 `/FlowKit/TECHNICAL-DESIGN-V0.6-R5-CONFIRMED.md` | 原文件 114,621 bytes；SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`；与交接 ZIP 内 SHA256SUMS 完整值一致；9/9 清单条目全部 PASS。相同文件也存在于 Core POC evidence ZIP 的 baseline/ 目录，SHA-256 完全相同 | **VERIFIED** | -| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 资料空间 `/FlowKit/FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip`；本轮用户上传同内容副本 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff(1).zip` | 资料空间目录存在原始命名记录；本轮上传副本 91,555 bytes，SHA-256 `2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549`，包含 V0.6-R5 正式原件，内部 9/9 SHA256SUMS 校验通过。资料空间原始条目的原始字节未单独导出，不声称其 ZIP 容器字节与上传副本完全相同 | **LOCATED / CONTENT VERIFIED VIA UPLOADED COPY** | -| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 资料空间 `/FlowKit/FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 已在资料空间目录定位，大小 171,006 bytes；当前文件读取接口未提供该 ZIP 的原始字节，因此尚未对其内部文件和 ZIP SHA-256 做验证。不是本轮已上传的 V0.6 Confirmed Handoff ZIP | **LOCATED / RAW BYTES NOT YET VERIFIED** | +| SRC-03 | `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff.zip` | 用户上传 `FlowKit-Interactive-V0.6-R5-Confirmed-Handoff(1).zip`；资料空间原始条目亦已定位 | 上传副本 91,555 bytes，SHA-256 `2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549`；内部 9/9 SHA256SUMS 校验通过；含正式 V0.6-R5、批准/PoC 计划、R5 独立收敛复审、需求追踪和静态验证记录 | **VERIFIED (uploaded archive bytes)** | +| SRC-04 | `FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 资料空间 `/FlowKit/FlowKit-Interactive-Final-Convergence-Review-V0.6-R5.zip` | 资料空间目录已定位该 ZIP（171,006 bytes，原始容器字节尚未读取）；但已上传的 V0.6 Confirmed Handoff 内含等价的 `R5-INDEPENDENT-CONVERGENCE-REVIEW.md`，11,213 bytes，SHA-256 `155a855769663f4d81d3e855a90c54e69106d56f1da43adbe48311e67daba56b`，且该文件在 Handoff 的 9/9 清单验证中通过 | **REVIEW CONTENT VERIFIED; SEPARATE ZIP RAW BYTES NOT VERIFIED** | **重要区分与已完成验证：** 用户单独上传的 `FlowKit-Interactive-Design-V0.3-R2-Independent-Review-Grok(1).md`（55,392 bytes，SHA-256 `7efca5840151e3a1851b4fb590ec11780f56f53da691a02d770871cdf477646f`）是对 **Technical Design Draft V0.3-R2** 的独立审查报告，不是 V0.6-R5 技术设计原件。它记录的需求 SHA 前缀 `3a0adc3e…6e703e` 已由本次 ZIP 中的真实 V0.3 文件完整验证；Draft V0.3-R2 的 SHA-256 为 `92eff8d4…475520f8`。上传 ZIP 的完整 SHA-256 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826` 也与报告所记 ZIP 前缀/后缀吻合。该 ZIP 内 MANIFEST 的 `technical_design_status` 明确为 `Draft V0.3-R2, not yet confirmed`，因此不能把它当作 V0.6-R5。 @@ -26,6 +26,22 @@ | Stage 2 PoC 报告 | Library：`STAGE2-POC-REPORT.md` | 证明历史 PoC 以 V0.3/V0.6-R5 为设计基线，并明确 PoC 不是正式验收 | 不能替代正式契约 | | PR #14 / 当前路线图 | main：`docs/interactive-trusted-host-security-v2-*.md`、本登记 | 证明当前 Trusted Host V2 设计、Finding 和后续阶段记录 | 这些是后续安全设计和摘要，不是 2026-11-10 的原始批准契约 | +## 2.1 核心技术 PoC 证据包（已恢复） + +| 项目 | 核验结果 | 证据边界 | +|---|---|---| +| 上传归档 | `FlowKit-Interactive-Core-POC-V0.6-R5-Evidence-2026-11-10(1).zip`，123,246 bytes，SHA-256 `a6b5201e8327463b57700174297bf986fbc4902c6ef6493710f1e8cac021f178` | 内部 MANIFEST 28/28 文件条目 PASS（另含 MANIFEST 本身） | +| 核心原型测试 | 最终 Node TAP 日志 22/22 PASS，0 FAIL | Linux x64 / Node v22.16.0；独立原型，不是 FlowKit 生产实现 | +| 崩溃恢复 | 9/9 SIGKILL 断点恢复至 succeeded、revision 7、Journal 8、Receipt 1 | 进程级本地 SQLite 实验，不代表 Windows/断电/多机器 | +| POC-01 | PARTIAL | 使用受限 JSON Fixture，尚未接入真实 FlowKit AST/Fields/Graph/Dataflow | +| POC-02/03/04 | PASS（限定本地进程范围） | SQLite Genesis/CAS/Journal、9 个进程杀点、双进程 Receipt 竞争和丢响应恢复 | +| POC-05/06/09 | PARTIAL | Registry 升级/GC、真实 Host/Model 权限与 ExecutorContext、长期写放大尚未完整验证 | +| POC-07 | BLOCKED（Human）；PARTIAL（Admin） | 没有真实独立 Human 审批来源；管理能力只有原型测试通道 | +| POC-08 | BLOCKED（完整矩阵） | 未完成 Node 22.13/24.22 × Windows/Ubuntu、TS 5.0.4 和现有 Standard 全量回归 | +| POC-F01–F05 | 仍有缺口 | 真实前端接入、Node/Windows Store 矩阵、Host 信任边界、完整 JCS 向量、代表性写放大 | + +**关键结论：** 已有 PoC 不能被称为“全部 POC-01–09 PASS”，也不需要从零重做。下一步应围绕 POC 报告明确的 PARTIAL/BLOCKED/Finding 做定向补验证；保留 22/22、9 个崩溃点及本地 CAS 证据，不把它们扩展解释为真实模型、Windows Host 或完整 T01–T34 已通过。 + ## 3. 已完成的原件验证与待执行的符合性审查 SRC-01 和 SRC-02 的原件字节、SHA-256 与包内清单已验证；SRC-03 已定位并由上传副本验证内容；SRC-04 已定位但其 ZIP 原始字节尚未读取。原件恢复步骤已完成，以下是正式符合性审查顺序： From 016ba26f253f41546cae0e8435b99ee5afb32433 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 11:01:56 +0900 Subject: [PATCH 17/20] docs(interactive): update roadmap with verified V0.6 and limited POC evidence --- docs/interactive-full-delivery-roadmap-2026-11-11.md | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/docs/interactive-full-delivery-roadmap-2026-11-11.md b/docs/interactive-full-delivery-roadmap-2026-11-11.md index fa5fa96..20de9e3 100644 --- a/docs/interactive-full-delivery-roadmap-2026-11-11.md +++ b/docs/interactive-full-delivery-roadmap-2026-11-11.md @@ -36,7 +36,7 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn |---|---|---|---| | 0 | Baseline freeze and traceability | Immutable baseline, full requirement/Finding/test ledger and evidence index | **Complete** — established in merged PR #13 | | 1 | M6 current-main test compatibility | PR #7 tests run against frozen current main; no Core semantic change hidden in test repair | **PASS, merged** — PR #13; main CI 7/7; four matrix cells 369/369, Linux isolation/M6 e2e 11/11 on Node 22/24; no production Core change | -| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL；V0.3 Requirements 与 V0.6-R5 Technical Design 原件均已找回并完成 SHA-256/包内清单验证。F-07 的“原件缺失”阻断已解除，**正式契约逐条符合性审查待执行**，在完成 T01–T34、S01–S14 及技术规范映射复核前，Phase 2 不宣称最终 conformance PASS。H3-01/H3-05 与 Grok 工具能力 PoC 可按既定隔离边界推进。参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) | +| 2 | Trusted Host security design and formal contract conformance | Approved threat model, OS identity, IPC, key custody, Store ownership, provenance and confirmed V0.3/V0.6-R5 conformance | **设计记录已合并**（PR #14；main CI 43132513659 7/7 PASS）；F-01/F-R2-01 **CLOSED**；F-02/F-04 仍 PARTIAL。V0.3 Requirements 与 V0.6-R5 Technical Design 均已恢复并完成完整 SHA-256/包内清单校验；V0.6 Confirmed Handoff 9/9、Core POC Evidence 28/28 文件条目 PASS。现有核心 PoC 为 **22/22 测试 PASS、9/9 进程级崩溃点恢复**，但仅为 Linux/Node 22.16 独立原型；POC-01/05/06/09 PARTIAL，POC-07 Human BLOCKED，POC-08 完整矩阵 BLOCKED。F-07 的原件缺失问题已关闭，正式契约符合性审查进入 **IN-PROGRESS**；在完成 T01–T34、R01–R22、S01–S14 及当前实现映射前，Phase 2 不宣称 conformance PASS。参见 [正式契约原件登记](./interactive-phase2-formal-source-register.md) 和 [V0.3/V0.6 符合性审查计划](./interactive-v03-v06-conformance-audit-plan.md) | | 3 | Trusted Host security implementation | Windows and Linux isolation, access-denial tests and secure Host operations pass | Pending | | 4 | Native Grok Build JS tool bridge | Grok Build itself calls FlowKit JS tools through Pending → model completion → JS submit/resume → Terminal | Pending | | 5 | M6 live-model complex acceptance | Applicable C01–C24 cases classified and evidenced at P/M/N levels; all M6 blockers closed | Pending | @@ -48,9 +48,15 @@ Never count P evidence as M or N. Never count a CI replay of recorded model turn ### 2.1 Phase 2 formal contract source gate -PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7. The confirmed Requirements V0.3 and confirmed Technical Design V0.6-R5 originals have both been recovered from the user's uploaded archives. V0.3 SHA-256 and the 13-entry Grok handoff manifest were verified; V0.6-R5 is 114,621 bytes with SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`, matching the 9-entry Confirmed Handoff SHA256SUMS (9/9 PASS). The separate Grok Development Handoff remains a V0.3-R2 draft review pack and must not be confused with the Confirmed Handoff. The source-missing portion of F-07 is closed; clause-by-clause conformance is now **PENDING REVIEW**, not PASS. Phase 2 remains open until that review is completed. +PR #14 is merged as a **conditional security design record**. The main post-merge CI passed 7/7. Both confirmed source originals have been recovered and verified: Requirements V0.3 is 56,883 bytes, SHA-256 `3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e` (13/13 Grok handoff manifest entries PASS); Technical Design V0.6-R5 is 114,621 bytes, SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba` (9/9 Confirmed Handoff SHA256SUMS entries PASS). The Core POC Evidence archive is SHA-256 `a6b5201e8327463b57700174297bf986fbc4902c6ef6493710f1e8cac021f178`, with 28/28 manifest entries PASS. Its final Node TAP is 22/22 PASS and crash matrix 9/9, but this is a limited Linux x64 / Node 22.16 independent prototype, not production FlowKit implementation or full acceptance. POC-01/05/06/09 remain PARTIAL, POC-07 Human BLOCKED, POC-08 full matrix BLOCKED. The source-missing portion of F-07 is closed; clause-by-clause conformance is now **IN-PROGRESS**, not PASS. Phase 2 remains open until that review is completed. -The exact source names, full hashes, archive evidence, secondary records and remaining recovery steps are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). Missing V0.6-R5 keeps full formal conformance BLOCKED, but **is not a blanket stop on all further engineering**. H3-01/H3-05 OS-only work and the non-production Grok tool capability PoC may proceed in isolated branches without changing Core, Program ABI, SQLite schema or frozen P0-A semantics. Any change touching those frozen contracts, and the final Phase 2 conformance claim, must wait for the V0.6-R5 original or an explicitly user-approved replacement baseline. +The exact source names, full hashes, archive evidence and audit procedure are registered in [interactive-phase2-formal-source-register.md](./interactive-phase2-formal-source-register.md). The next sequence follows V0.6-R5 §18 and the approved POC plan: preserve existing PoC results; run only the targeted follow-up experiments for PARTIAL/BLOCKED items; produce the module-level P0-A implementation plan and acceptance order; then obtain explicit user authorization before production code changes. H3-01/H3-05 OS-only work may proceed independently, while H3-02/03/04 and live Grok acceptance retain their own gates. + +### 2.2 Approved-source and PoC audit sequence + +The next work follows V0.6-R5 §18 and `APPROVAL-AND-POC-PLAN.md`: (1) recover/verify source originals — **complete**; (2) execute core-mechanism PoC — **limited PoC exists; remaining PARTIAL/BLOCKED gaps are the target**; (3) use actual evidence to prepare the P0-A module-level implementation plan, risks/dependencies and acceptance order; (4) obtain explicit user authorization before production code changes/PRs. + +The detailed review sequence and stop rules are in [interactive-v03-v06-conformance-audit-plan.md](./interactive-v03-v06-conformance-audit-plan.md). The existing 22/22 PoC must not be rerun as if it were the entire POC-01–09 suite, and must not be promoted to Windows, live-model, Human or full T01–T34 acceptance. ## 3. Phase 0 — Baseline and traceability From 03889836294c4d94907bd69354161fac49bb18b6 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 11:03:54 +0900 Subject: [PATCH 18/20] docs(interactive): add V0.3 V0.6-R5 conformance audit and P0-A execution plan --- ...eractive-v03-v06-conformance-audit-plan.md | 244 ++++++++++++++++++ 1 file changed, 244 insertions(+) create mode 100644 docs/interactive-v03-v06-conformance-audit-plan.md diff --git a/docs/interactive-v03-v06-conformance-audit-plan.md b/docs/interactive-v03-v06-conformance-audit-plan.md new file mode 100644 index 0000000..b518eba --- /dev/null +++ b/docs/interactive-v03-v06-conformance-audit-plan.md @@ -0,0 +1,244 @@ +# FlowKit Interactive — V0.3 / V0.6-R5 正式契约符合性审查计划 + +**状态：已批准进入审查；尚未形成符合性结论。** +**基线日期：2026-11-12（UTC+8）** +**当前 main：** \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` +**需求基线：** Requirements V0.3（已确认） +**技术基线：** Technical Design V0.6-R5（已确认） +**安全补充：** PR #14 Trusted Host V2（已合并的安全设计记录，不覆盖 V0.3/V0.6-R5） +**关联：** [正式原件登记](./interactive-phase2-formal-source-register.md) · [完整路线图](./interactive-full-delivery-roadmap-2026-11-11.md) + +## 0. 本次审查的目标与边界 + +目标不是重新设计 FlowKit，也不是把所有现有测试重新跑一遍，而是基于用户确认的两份正式原件，回答四个问题： + +1. V0.6-R5 是否逐条遵守更高优先级的 V0.3 需求？ +2. 当前 main 的真实代码、测试与已合并 PR #14 安全设计，分别符合、部分符合或偏离哪些正式条款？ +3. 2026-11-10 Core POC 已经证明了什么、没有证明什么；哪些 POC 缺口必须先补？ +4. 是否具备形成 P0-A 模块级实施计划的条件；若具备，实施顺序、依赖、风险和退出门禁是什么？ + +**权威层级：** +- Requirements V0.3 是最高业务需求，技术设计不能覆盖或擅自修改它。 +- Technical Design V0.6-R5 是已确认的统一技术规范；正文 §§1–18 是唯一规范性设计。 +- PR #14 Trusted Host V2 是后续安全设计补充，必须映射回 V0.3/V0.6-R5，不能静默改变 Program ABI、Core API、Checkpoint/Store 语义或 P0-A/P0-B/P1/P2 边界。 +- Core POC 报告是有限范围的运行证据，不是需求或技术规范，也不能把未实现范围判 PASS。 +- 当前 main 是实现核验对象；V0.3/V0.6-R5 中引用的 \`ea2df674f3d3fd7f2b0ba4b48eb21e3bd47c3a2c\` 是历史源码参照，不得与当前 main SHA 混为一谈。 + +本计划不授权修改已确认原件、Program ABI、Core API、SQLite Schema、P0-A 状态语义；不授权生产代码开发、PR 合并、发布或部署。任何正式契约变更先形成差异与建议，等待用户确认并独立版本化。 + +## 1. 已冻结的输入与证据 + +| 输入 | 固定身份 | 已知状态 | +|---|---|---| +| Requirements V0.3 | SHA-256 \`3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e\`；56,883 bytes | 已确认原件，归档校验通过 | +| Technical Design V0.6-R5 | SHA-256 \`09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba\`；114,621 bytes | 已确认原件，两个归档副本哈希一致 | +| V0.6 Confirmed Handoff ZIP | SHA-256 \`2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549\` | 内部 SHA256SUMS 9/9 PASS；包含批准/PoC 计划、R5 独立收敛复审、需求追踪与静态验证结果 | +| Core POC Evidence ZIP | SHA-256 \`a6b5201e8327463b57700174297bf986fbc4902c6ef6493710e8cac021f178\` | 内部 manifest 28/28 文件条目 PASS；最终 TAP 22/22；9 个 SIGKILL 断点 | +| V0.3 Grok Development Handoff ZIP | SHA-256 \`8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826\` | 仅含 V0.3-R2 technical draft，不是 V0.6 Confirmed Handoff | +| PR #14 | Merge commit \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` | Trusted Host V2 安全设计记录已合并；不等于安全实施通过 | +| 当前 main | \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` | 本次代码符合性核验的当前基线 | + +POC 报告的限定结论： +- POC-01 PARTIAL：使用受限 JSON Fixture，未接入真实 FlowKit AST/Fields/Graph/Dataflow。 +- POC-02 PASS（本地进程级）：SQLite Genesis/CAS/Journal、事务回滚。 +- POC-03 PASS（9 个进程级断点）：跨 Node 进程 SIGKILL 恢复。 +- POC-04 PASS（本地竞争）：双进程相同/冲突 Receipt、历史 Ack、丢响应恢复。 +- POC-05 PARTIAL：不可变 Program Registry 有限验证；升级、迁移、GC/灾备未验证。 +- POC-06 PARTIAL：namespace 与 Linux UID 文件拒绝有限验证；生产 Host/Model 隔离和 ExecutorContext 全链路未验证。 +- POC-07 BLOCKED（Human）/ PARTIAL（Admin）：没有真实独立 Human 审批来源。 +- POC-08 BLOCKED（完整矩阵）：尚未完成 Node 22.13/24.22 × Windows/Ubuntu、TS 5.0.4 与现有 Standard 全量回归。 +- POC-09 PARTIAL：只测简化 Fixture 的 CAS 写入与阶段预算。 +- POC-F04：完整 RFC 8785/JCS 测试向量尚未证明。 + +**证据纪律：** 22/22 是隔离原型测试结果，不是 POC-01–09 全部 PASS；9/9 是原型环境进程崩溃点，不是 Windows、断电、多机或真实模型 exactly-once 证明。 + +## 2. 审查工作流 + +### Step 1 — 原件与基线锁定（已完成） + +- [x] 两份正式文件 SHA-256 完整值已计算。 +- [x] V0.6 Confirmed Handoff 内部 9/9 SHA256SUMS 校验。 +- [x] Core POC Evidence 内部 28/28 文件条目校验。 +- [x] 两个独立归档中的 V0.3/V0.6 基线文件哈希一致。 +- [x] 当前 main、PR #14 merge commit 和 CI 记录已登记。 +- [ ] 将原始文件字节、归档哈希、当前 main SHA 和工具版本写入最终审查报告的不可变 Evidence Index。 + +### Step 2 — V0.3 需求逐条提取与验收语义锁定 + +逐条读取 V0.3 原文，不以路线图摘要代替： + +- T01–T10：P0-A 核心纯流程、Agent、Checkpoint、回执、身份和预检。 +- T11：没有 JS 执行工具时必须如实 BLOCKED。 +- T12–T14：Standard/包/类型/错误码兼容与 Agent 重试/失败语义。 +- T15–T23：P0-B 的验证、Action、Human、Loop、取消。 +- T24/T26：P1 Parallel all_succeeded。 +- T25：P2 any，业务预期未获专项确认。 +- T27：真实宿主 JS 工具链（包括 ChatGPT 专项）必须提供真实执行证据。 +- T28：源码、生成 JS、包、类型、文档、测试交叉一致。 +- T29–T34：崩溃、伪造、竞态、未知副作用、Standard/Interactive 差异、预算和隐私。 + +产物：\`V03-T01-T34-Requirement-Ledger\`。每条保留原始措辞、阶段、必要不变量、正例、负例、退出证据；不改编号、不重写正式需求。 + +### Step 3 — V0.6-R5 §§1–18 技术规范逐章审查 + +按正式正文唯一规范逐章核对： + +| V0.6 章节 | 必查内容 | 关键输出 | +|---|---|---| +| §1 | 产品边界、既有源码、非目标 | 是否扩张为 Server/模型网关/数据库/沙箱；是否保持内部引擎定位 | +| §2 | 十四条不可退化不变量、分层图、编译流水线、Program/Coordinator 边界 | Program 唯一控制流、可信 Registry、零 import、同字节加载 | +| §3 | 生命周期、Phase/Proposal 矩阵、持久化屏障、paused/取消 | 是否所有持久边界和恢复时序唯一可判定 | +| §4 | SDK API、Host 授权和恢复参数 | API 参数、能力对象、namespace 权限是否一致 | +| §5 | Program ABI V1、HostSubmission、Store/Registry/Runtime 类型 | 类型、判别联合、字段与实际源码/PR14 是否冲突 | +| §6 | ProgramRegistry、Run retain、升级/回滚/删除 | 原产物固定、旧 Run 兼容与 GC 是否有完整规则 | +| §7 | PublicTask、TrustedExecutorContext、回执接纳和 CertifiedEvent | 模型可见/可信执行器视图隔离；来源不能由模型自报 | +| §8 | CheckpointStore 五操作、事务、Journal、Receipt、单写者 | Genesis/CAS/历史 Ledger/丢响应/单 Dispatcher 约束 | +| §9 | SQLite V1 参考 Schema | DDL 与五操作/外键/namespace/事务边界一致；仅作为参考 Store | +| §10 | Agent、Condition、Action、Verification、Human、Loop、Parallel | 节点语义、失败分类、State 读写视图与阶段边界 | +| §11 | 多租户、JSON/JCS、安全边界和不可能承诺 | OS 身份、密钥/DB/审批来源与 Host 安全设计一致 | +| §12 | 错误码与失败归属 | 新 FK_I_* 不改旧 61 码；业务失败与设施错误不混淆 | +| §13 | 资源预算、性能、保留、宿主模式 | 2 MiB/128 stages 等是候选预算还是实测承诺；不得过度承诺 | +| §14 | Standard/Interactive 有意差异 | T33 对照范围和明确不等价项 | +| §15 | T01–T34、R01–R22、S01–S14、统一验收证据 | 编号、原意、章节、阶段与状态完整 | +| §16 | P0-A/P0-B/P1/P2 实施门禁 | 是否按阶段拒绝未实现能力；P0-A 的模块顺序和退出门槛 | +| §17 | R5 修订、残余风险、停机门槛 | 文档修订不被冒充代码/运行 PASS | +| §18 | 用户确认与后续顺序 | 先 PoC、再 P0-A 规划、再单独授权正式开发 | + +### Step 4 — 需求、技术设计和实现三方追踪 + +建立统一矩阵，至少包含： + +\`requirementId\`、\`sourceText\`、\`V0.6Section\`、\`designDecision\`、\`currentMainFiles\`、\`tests\`、\`PR14SecurityMapping\`、\`POCEvidence\`、\`designStatus\`、\`implementationStatus\`、\`evidenceTier\`、\`gap\`、\`owner\`、\`reentryGate\`。 + +必须分开回答： +- **需求符合性**：V0.6 有没有忠实实现 V0.3？ +- **设计完整性**：技术规范是否唯一、闭环、可实施？ +- **代码实现状态**：当前 main 实际实现到哪里？ +- **验证状态**：是否有真实运行证据？ + +不得将“设计覆盖”写成“代码已实现”，不得将“脚本/POC PASS”写成“真实宿主 PASS”。 + +### Step 5 — 历史反例和定向场景追踪 + +- R01–R22：逐项对照 V0.6 §15.2、相关 §3/§7/§8/§10；确认事故反例仍保留且有可执行验证入口。 +- S01–S14：逐项对照 §15.2.3；确认 Host、P0-A、P0-B、P1/P2 的边界和真实证据要求。 +- 不因 R5 独立审查称“设计修订已关闭”就把 R01–R22 测试状态改为 PASS。 + +### Step 6 — PR #14 Trusted Host V2 补充安全设计一致性 + +将 PR #14 的 TH-001–TH-030、SEC-01–SEC-19、NAT-01–NAT-15、F-01–F-07 作为**后续安全补充追踪**，不冒充 V0.3 原始 T 编号或 V0.6 的原始章节。 + +重点核对： +- Host/Model OS 主体、密钥、SQLite/WAL/SHM、进程句柄边界是否落实 V0.6 §7/§11。 +- 最小安全拓扑是否保持 V0.6 的无强制 Server/监听器/MCP 原则。 +- mTLS/Bridge 是否按实际部署可选，而不是无条件引入。 +- 模型候选结果、真实工具事件、HostSubmission、CertifiedEvent、Receipt 的身份绑定是否一致。 +- Outbox/Receipt 恢复是否符合 V0.6 §3/§7/§8 的原子提交语义。 +- F-02/F-04 的待实测项不得改成 PASS；C12/S13/N 层不得用文档/CI 代替。 + +### Step 7 — 复核已有 Core POC 证据并冻结剩余差距 + +不重跑已通过的原型测试来“刷绿”。逐条核对 POC-01–09 和 POC-F01–F05： + +| POC | 已有结果 | 下一步 | +|---|---|---| +| POC-01 | PARTIAL | 接入真实 FlowKit AST/Fields/Graph/Dataflow；真实 DSL → IR/JS；核对 Standard 对照和非法边 | +| POC-02 | 本地 PASS | 在目标 Node/OS 上复验真实 SQLite Genesis/CAS/Journal、事务回滚和持久性 | +| POC-03 | 9 个进程级断点 PASS | 补目标 OS/Node 矩阵和 Store 恢复；区分模型外部调用丢响应与纯本地崩溃 | +| POC-04 | 本地双进程 PASS | 在真实 Node/OS 矩阵复验竞争、历史 Receipt、丢响应和线性化读取 | +| POC-05 | PARTIAL | 验证 immutable artifact、Run retain、升级兼容矩阵、GC、备份/恢复和旧执行器保留 | +| POC-06 | PARTIAL | 真实 Host/Model OS 身份、私有 DB/Key/ExecutorContext/namespace ACL 负例 | +| POC-07 | Human BLOCKED / Admin PARTIAL | P0-A 只验证真实受权 adminTerminate；Human 属 P0-B，缺独立审批通道继续 BLOCKED | +| POC-08 | 完整矩阵 BLOCKED | Node 22.13.0/24.22.1 × Ubuntu 24.04/Windows 2025；TS 5.0.4；Standard 与包导出消费者回归 | +| POC-09 | PARTIAL | 用真实 P0-A Agent 重试、阶段预算、Checkpoint/Journal 测量 CAS、大小、耗时和写放大 | + +额外 POC-F04：为 JCS/I-JSON 子集准备 RFC 8785 测试向量、重复键/Unicode/数字边界/首次 await 前快照测试。 +额外 POC-F03：真实 OS 安全主体、Dispatcher 单写者与 admin 通道验证；不把 P0-B Human/Action 语义提前带入 P0-A。 + +### Step 8 — 形成正式符合性审查报告与独立复审 + +报告至少包含： +1. 原件身份、完整 SHA-256、归档校验和源码基线。 +2. V0.3 T01–T34 逐项矩阵。 +3. V0.6 §§1–18 逐章审查。 +4. R01–R22、S01–S14 追踪。 +5. 当前 main 文件/测试实现映射。 +6. PR #14 安全设计补充映射。 +7. POC-01–09 与 POC-F01–F05 证据边界。 +8. Findings（P0/P1/P2/P3）及可复现证据、最小修订、验收入口。 +9. 未实现、阻断、延期和不在范围的事项。 +10. Phase 2 收口裁决与 P0-A 规划准入建议。 + +先由本轮审查形成证据矩阵，再交 Grok Build 独立复核；不得让复审者只看摘要或只读上一轮结论。修订正式契约前必须取得用户确认。 + +## 3. 正式契约审查后的实施路线 + +### Step 9 — 定向 PoC 补验证（按依赖并行） + +- 真实 FlowKit 前端/IR PoC（POC-01）：优先。 +- SQLite/Node/Windows/Ubuntu/跨进程持久性矩阵（POC-02/03/04/08）。 +- Host OS 身份、私有 Store/Key/句柄和 admin 安全负例（POC-06/07；与 PR14 H3-01/H3-05 对齐）。 +- JCS 规范向量与严格 JSON（POC-F04）。 +- 代表性 Agent 重试、预算和写放大（POC-09）。 +- Registry/Retain/升级/恢复（POC-05）。 + +每个补验证保留源 Commit、Program Hash、Node/OS 版本、命令、原始日志和 PASS/PARTIAL/FAIL/BLOCKED；不能用 Linux 结果代替 Windows，也不能用 POC 代替生产实现。 + +### Step 10 — P0-A 模块级实施计划 + +依据已确认 V0.6 §16.1/§16.2 和补验证结果，交付： +- 模块/文件级范围与依赖图。 +- Frontend/Feature Gate/Resumable IR/IR Validator/JS Emitter。 +- Loader/同字节验证/ProgramRegistry/retain。 +- Canonical JSON/JCS/Checkpoint/Coordinator/Transition Journal/Receipt。 +- SQLite 参考 Store 适配器及五操作事务契约。 +- Host Runtime Binding/PublicTask/TrustedExecutorContext/HostSubmission/单 Dispatcher。 +- Trusted Host OS 权限、adminTerminate 和模型候选输入通道。 +- types、package exports、Standard 回归、集成/故障注入测试。 +- 每项关联 T/R/S/POC/TH/SEC/NAT、风险、回滚和退出标准。 + +**V0.6 §16 的 P0-A 范围**：共享 DSL 分析、Resumable IR、真实 JS Program ABI、可信 Registry/Store/Journal/Receipt、Condition/Terminal/基本 Agent（Skill + 同步纯 validateResult + 默认重试）、compileInteractive/start/complete/resume、受权 adminTerminate、namespace/结果投影和跨进程恢复。Action、独立 Verification、Human、Loop、Parallel 和 Agent 非纯 checkStep/verify 必须拒绝，不能提前开放。 + +### Step 11 — 用户明确授权后才开始 P0-A 正式代码开发 + +- 每个模块独立分支/PR。 +- 先编译器与纯 Condition/Terminal，再 Registry/Store/Journal，再 Coordinator/Agent，再 Host 安全接入。 +- 每个阶段先跑本地针对测试，再跑四平台/Node CI，再独立复审。 +- 每个 PR 只解决已确认范围；任何 ABI/Schema/语义变化先走变更审查。 +- P0-A 退出：T01–T14 中 A/Host、T29/T30/T34-A、S01–S07、S12-A、S14 的适用项有真实证据；Standard 全量回归通过；真实 JS Host 工具能力如不支持则明确 BLOCKED，不伪装完成。 + +### Step 12 — P0-B 顺序节点 + +实现 Agent 完整 checkStep/verify、Action/operationId/reconcile、普通 Verification、可信 Human 修订前缀、Loop、业务 cancel、可信 contextError/Trace。验收 T15–T23、T31–T33、S08–S12；Human 缺少独立可信审批通道时仍 BLOCKED。 + +### Step 13 — P1 Parallel all_succeeded + +实施前另行冻结 fail-fast/outstanding、分支迟到结果、State 写集合冲突与 Join 语义。通过 T24/T26 和 P1 专项测试后才可进入。 + +### Step 14 — P2 Parallel any + +T25 的赢家选择、未完成分支、迟到副作用、下游状态可见性必须重新形成独立设计并由用户确认。不得复用未经批准的 settle-outstanding 草案。 + +### Step 15 — 全量兼容、真实宿主与正式交付 + +按 T27/T28/T33/T34、S13/S14、PR14 C01–C24 和安全矩阵核验： +- Codex/Grok/Claude/ChatGPT 只有真实 JS/Node 工具路径才算宿主接入。 +- Standard/Interactive 有意差异透明。 +- Node/OS/TS/包导出/类型/文档/性能/安全回归完整。 +- C12/S13 必须有真实原生工具、来源绑定和 Host 安全证据。 +- 发布/部署另行授权，不因 P0-A/P0-B 完成自动进行。 + +## 4. 统一状态和停机规则 + +每条矩阵只能使用： +- \`PASS\`：有精确源码/原文和可复现运行证据。 +- \`GAP\`：设计或实现缺项，尚不一定构成冲突。 +- \`CONFLICT\`：与更高优先级已确认契约冲突。 +- \`NOT-IMPLEMENTED\`：设计存在但当前生产代码没有实现。 +- \`PARTIAL\`：仅部分路径或平台有证据。 +- \`BLOCKED\`：缺少必要工具/平台/信任来源或测试环境。 +- \`DEFERRED\`：由已确认阶段边界推迟到 P0-B/P1/P2。 + +最终只有在 T01–T34、V0.6 §§1–18、R01–R22、S01–S14、当前 main 和 PR14 安全补充均完成交叉追踪、重大 Findings 收敛并通过独立复审后，才可将正式契约符合性标为 PASS。 + +**本计划不改变 V0.3/V0.6-R5，也不自动授权 P0-A 代码开发。** V0.6 §18 明确要求：先根据 PoC 证据完成模块级 P0-A 计划，再由用户明确授权正式开发。 From d8aebf2dad9c048a9ef5b3421d9e1fabc4d7fa2e Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 11:05:12 +0900 Subject: [PATCH 19/20] docs(interactive): distinguish formal T/R/S baselines from M6 and security extensions --- docs/interactive-v03-v06-conformance-audit-plan.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/interactive-v03-v06-conformance-audit-plan.md b/docs/interactive-v03-v06-conformance-audit-plan.md index b518eba..e868511 100644 --- a/docs/interactive-v03-v06-conformance-audit-plan.md +++ b/docs/interactive-v03-v06-conformance-audit-plan.md @@ -52,6 +52,19 @@ POC 报告的限定结论： **证据纪律：** 22/22 是隔离原型测试结果，不是 POC-01–09 全部 PASS；9/9 是原型环境进程崩溃点，不是 Windows、断电、多机或真实模型 exactly-once 证明。 +## 1.1 编号体系的权威性与来源（不得混为一谈） + +| 编号体系 | 来源与性质 | 本次审查用途 | +|---|---|---| +| T01–T34 | 用户确认的 Requirements V0.3 正式验收需求 | **最高业务需求**；逐条保留原文和阶段 | +| R01–R22 | V0.6-R5 保留的历史技术反例 | 技术设计必须解释并有对应验证入口；不是新的用户需求 | +| S01–S14 | V0.6-R5 中的 Grok 定向验收场景 | 对应设计/实现阶段的定向验证；不因文档覆盖而 PASS | +| C01–C24 | 后续 M6/PR12 交付验收矩阵 | 当前交付/真实宿主验收扩展；**不是 V0.3 原始 T 需求，也不是 V0.6 原始 S 场景**，必须保留其自身来源和状态 | +| TH-001–TH-030 / SEC-01–SEC-19 / NAT-01–NAT-15 | PR #14 Trusted Host V2 安全设计 | 后续 Host 安全威胁/测试补充；映射到 V0.6 §7/§11、T27/S13 和 C 矩阵，不得回写成原始需求 | +| POC-01–POC-09 / POC-F01–F05 | 2026-11-10 核心机制 PoC 计划/报告 | 证明实际原型覆盖范围与未关闭差距，不改变正式需求编号 | + +**判定时必须保留来源层级**：若 C/TH/SEC/NAT 的后续安全验收与 T/V0.6 存在差异，先登记为补充要求或潜在冲突，不能悄悄改写 V0.3/V0.6。 + ## 2. 审查工作流 ### Step 1 — 原件与基线锁定（已完成） From 7ca31ce3d8cce36c3812c5a8b34e8b1acfa177b5 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 12 Nov 2026 12:01:32 +0900 Subject: [PATCH 20/20] docs(interactive): reconcile approved P0-A plan and M1-M5; correct Markdown code spans --- ...eractive-v03-v06-conformance-audit-plan.md | 54 ++++++++++--------- 1 file changed, 28 insertions(+), 26 deletions(-) diff --git a/docs/interactive-v03-v06-conformance-audit-plan.md b/docs/interactive-v03-v06-conformance-audit-plan.md index e868511..2c4e221 100644 --- a/docs/interactive-v03-v06-conformance-audit-plan.md +++ b/docs/interactive-v03-v06-conformance-audit-plan.md @@ -2,7 +2,7 @@ **状态：已批准进入审查；尚未形成符合性结论。** **基线日期：2026-11-12（UTC+8）** -**当前 main：** \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` +**当前 main：** `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` **需求基线：** Requirements V0.3（已确认） **技术基线：** Technical Design V0.6-R5（已确认） **安全补充：** PR #14 Trusted Host V2（已合并的安全设计记录，不覆盖 V0.3/V0.6-R5） @@ -15,14 +15,15 @@ 1. V0.6-R5 是否逐条遵守更高优先级的 V0.3 需求？ 2. 当前 main 的真实代码、测试与已合并 PR #14 安全设计，分别符合、部分符合或偏离哪些正式条款？ 3. 2026-11-10 Core POC 已经证明了什么、没有证明什么；哪些 POC 缺口必须先补？ -4. 是否具备形成 P0-A 模块级实施计划的条件；若具备，实施顺序、依赖、风险和退出门禁是什么？ +4. 对照已有 **P0-A 实施计划 V0.1 Confirmed**（M1–M6、31 项文件级任务）和当前 main 已实施的 M1–M5，哪些已具备可核验代码与测试、哪些仍属于 M6/Host 后续门禁？ **权威层级：** - Requirements V0.3 是最高业务需求，技术设计不能覆盖或擅自修改它。 - Technical Design V0.6-R5 是已确认的统一技术规范；正文 §§1–18 是唯一规范性设计。 - PR #14 Trusted Host V2 是后续安全设计补充，必须映射回 V0.3/V0.6-R5，不能静默改变 Program ABI、Core API、Checkpoint/Store 语义或 P0-A/P0-B/P1/P2 边界。 - Core POC 报告是有限范围的运行证据，不是需求或技术规范，也不能把未实现范围判 PASS。 -- 当前 main 是实现核验对象；V0.3/V0.6-R5 中引用的 \`ea2df674f3d3fd7f2b0ba4b48eb21e3bd47c3a2c\` 是历史源码参照，不得与当前 main SHA 混为一谈。 +- 当前 main 是实现核验对象；V0.3/V0.6-R5 中引用的 `ea2df674f3d3fd7f2b0ba4b48eb21e3bd47c3a2c` 是历史源码参照，不得与当前 main SHA 混为一谈。 +- **已有用户确认的 P0-A 实施计划 V0.1（2026-11-10），当前 main 亦已有 M1–M5 实施代码**。本轮不得重新生成第二份 P0-A 正式计划覆盖历史确认版，也不能把 PoC 时代的“未实施”直接投射为当前 main 状态；应建立既有 31 项任务、现有实现与未关闭 M6 门禁的对照。 本计划不授权修改已确认原件、Program ABI、Core API、SQLite Schema、P0-A 状态语义；不授权生产代码开发、PR 合并、发布或部署。任何正式契约变更先形成差异与建议，等待用户确认并独立版本化。 @@ -30,13 +31,13 @@ | 输入 | 固定身份 | 已知状态 | |---|---|---| -| Requirements V0.3 | SHA-256 \`3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e\`；56,883 bytes | 已确认原件，归档校验通过 | -| Technical Design V0.6-R5 | SHA-256 \`09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba\`；114,621 bytes | 已确认原件，两个归档副本哈希一致 | -| V0.6 Confirmed Handoff ZIP | SHA-256 \`2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549\` | 内部 SHA256SUMS 9/9 PASS；包含批准/PoC 计划、R5 独立收敛复审、需求追踪与静态验证结果 | -| Core POC Evidence ZIP | SHA-256 \`a6b5201e8327463b57700174297bf986fbc4902c6ef6493710e8cac021f178\` | 内部 manifest 28/28 文件条目 PASS；最终 TAP 22/22；9 个 SIGKILL 断点 | -| V0.3 Grok Development Handoff ZIP | SHA-256 \`8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826\` | 仅含 V0.3-R2 technical draft，不是 V0.6 Confirmed Handoff | -| PR #14 | Merge commit \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` | Trusted Host V2 安全设计记录已合并；不等于安全实施通过 | -| 当前 main | \`ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd\` | 本次代码符合性核验的当前基线 | +| Requirements V0.3 | SHA-256 `3a0adc3edb41869a6309bae29ec5496df00970c815f8dc16330a90cbf26e703e`；56,883 bytes | 已确认原件，归档校验通过 | +| Technical Design V0.6-R5 | SHA-256 `09f3a5698e238d10b80efb8e26d1c41e51b663ca620efa70815dd7b52f2106ba`；114,621 bytes | 已确认原件，两个归档副本哈希一致 | +| V0.6 Confirmed Handoff ZIP | SHA-256 `2deb5b3fa60ed3b7c2d29f028e33835c47aaa0a976e947de717128caf7326549` | 内部 SHA256SUMS 9/9 PASS；包含批准/PoC 计划、R5 独立收敛复审、需求追踪与静态验证结果 | +| Core POC Evidence ZIP | SHA-256 `a6b5201e8327463b57700174297bf986fbc4902c6ef6493710e8cac021f178` | 内部 manifest 28/28 文件条目 PASS；最终 TAP 22/22；9 个 SIGKILL 断点 | +| V0.3 Grok Development Handoff ZIP | SHA-256 `8a2f679a796234383b5108d58db16c1016a35c6110301bc4eb7e091ee2ed5826` | 仅含 V0.3-R2 technical draft，不是 V0.6 Confirmed Handoff | +| PR #14 | Merge commit `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` | Trusted Host V2 安全设计记录已合并；不等于安全实施通过 | +| 当前 main | `ae5fc5a42c67eb6e2c229d72ff4d9ac8e3aab3cd` | 本次代码符合性核验的当前基线 | POC 报告的限定结论： - POC-01 PARTIAL：使用受限 JSON Fixture，未接入真实 FlowKit AST/Fields/Graph/Dataflow。 @@ -90,7 +91,7 @@ POC 报告的限定结论： - T28：源码、生成 JS、包、类型、文档、测试交叉一致。 - T29–T34：崩溃、伪造、竞态、未知副作用、Standard/Interactive 差异、预算和隐私。 -产物：\`V03-T01-T34-Requirement-Ledger\`。每条保留原始措辞、阶段、必要不变量、正例、负例、退出证据；不改编号、不重写正式需求。 +产物：`V03-T01-T34-Requirement-Ledger`。每条保留原始措辞、阶段、必要不变量、正例、负例、退出证据；不改编号、不重写正式需求。 ### Step 3 — V0.6-R5 §§1–18 技术规范逐章审查 @@ -121,7 +122,7 @@ POC 报告的限定结论： 建立统一矩阵，至少包含： -\`requirementId\`、\`sourceText\`、\`V0.6Section\`、\`designDecision\`、\`currentMainFiles\`、\`tests\`、\`PR14SecurityMapping\`、\`POCEvidence\`、\`designStatus\`、\`implementationStatus\`、\`evidenceTier\`、\`gap\`、\`owner\`、\`reentryGate\`。 +`requirementId`、`sourceText`、`V0.6Section`、`designDecision`、`currentMainFiles`、`tests`、`PR14SecurityMapping`、`POCEvidence`、`designStatus`、`implementationStatus`、`evidenceTier`、`gap`、`owner`、`reentryGate`。 必须分开回答： - **需求符合性**：V0.6 有没有忠实实现 V0.3？ @@ -184,7 +185,7 @@ POC 报告的限定结论： 先由本轮审查形成证据矩阵，再交 Grok Build 独立复核；不得让复审者只看摘要或只读上一轮结论。修订正式契约前必须取得用户确认。 -## 3. 正式契约审查后的实施路线 +## 3. 已确认 P0-A 实施计划核对与后续路线 ### Step 9 — 定向 PoC 补验证（按依赖并行） @@ -197,9 +198,9 @@ POC 报告的限定结论： 每个补验证保留源 Commit、Program Hash、Node/OS 版本、命令、原始日志和 PASS/PARTIAL/FAIL/BLOCKED；不能用 Linux 结果代替 Windows，也不能用 POC 代替生产实现。 -### Step 10 — P0-A 模块级实施计划 +### Step 10 — 核对已确认 P0-A 实施计划 V0.1 与当前 M1–M5 -依据已确认 V0.6 §16.1/§16.2 和补验证结果，交付： +不是重新制定已确认的计划。对照 `01-P0A-IMPLEMENTATION-PLAN-V0.1-CONFIRMED.md`、`00-APPROVAL-RECORD.md` 和当前 M1–M5 源码/PR/CI，映射 31 项任务，记录已实现、已验收、缺口与 M6 尾项；只产生差异台账与有证据的补充执行计划。依据 V0.6 §16.1/§16.2 核对： - 模块/文件级范围与依赖图。 - Frontend/Feature Gate/Resumable IR/IR Validator/JS Emitter。 - Loader/同字节验证/ProgramRegistry/retain。 @@ -212,10 +213,11 @@ POC 报告的限定结论： **V0.6 §16 的 P0-A 范围**：共享 DSL 分析、Resumable IR、真实 JS Program ABI、可信 Registry/Store/Journal/Receipt、Condition/Terminal/基本 Agent（Skill + 同步纯 validateResult + 默认重试）、compileInteractive/start/complete/resume、受权 adminTerminate、namespace/结果投影和跨进程恢复。Action、独立 Verification、Human、Loop、Parallel 和 Agent 非纯 checkStep/verify 必须拒绝，不能提前开放。 -### Step 11 — 用户明确授权后才开始 P0-A 正式代码开发 +### Step 11 — 对尚未完成的 M6/Host 工作执行独立变更门禁 -- 每个模块独立分支/PR。 -- 先编译器与纯 Condition/Terminal，再 Registry/Store/Journal，再 Coordinator/Agent，再 Host 安全接入。 +- 已合并 M1–M5 不重复开发；只针对真实差异或未关闭的 M6/Host 工作实施独立改动，精确说明影响的正式要求。 +- 新增生产 Core/ABI/Schema 或改变被冻结语义，必须经过具体变更方案及用户批准；纯审查与测试不会扩大授权。 +- 尚未完成的 Host 隔离、模型来源、M6 原生工具调用只能按相应阶段和证据门禁实施。 - 每个阶段先跑本地针对测试，再跑四平台/Node CI，再独立复审。 - 每个 PR 只解决已确认范围；任何 ABI/Schema/语义变化先走变更审查。 - P0-A 退出：T01–T14 中 A/Host、T29/T30/T34-A、S01–S07、S12-A、S14 的适用项有真实证据；Standard 全量回归通过；真实 JS Host 工具能力如不支持则明确 BLOCKED，不伪装完成。 @@ -244,14 +246,14 @@ T25 的赢家选择、未完成分支、迟到副作用、下游状态可见性 ## 4. 统一状态和停机规则 每条矩阵只能使用： -- \`PASS\`：有精确源码/原文和可复现运行证据。 -- \`GAP\`：设计或实现缺项，尚不一定构成冲突。 -- \`CONFLICT\`：与更高优先级已确认契约冲突。 -- \`NOT-IMPLEMENTED\`：设计存在但当前生产代码没有实现。 -- \`PARTIAL\`：仅部分路径或平台有证据。 -- \`BLOCKED\`：缺少必要工具/平台/信任来源或测试环境。 -- \`DEFERRED\`：由已确认阶段边界推迟到 P0-B/P1/P2。 +- `PASS`：有精确源码/原文和可复现运行证据。 +- `GAP`：设计或实现缺项，尚不一定构成冲突。 +- `CONFLICT`：与更高优先级已确认契约冲突。 +- `NOT-IMPLEMENTED`：设计存在但当前生产代码没有实现。 +- `PARTIAL`：仅部分路径或平台有证据。 +- `BLOCKED`：缺少必要工具/平台/信任来源或测试环境。 +- `DEFERRED`：由已确认阶段边界推迟到 P0-B/P1/P2。 最终只有在 T01–T34、V0.6 §§1–18、R01–R22、S01–S14、当前 main 和 PR14 安全补充均完成交叉追踪、重大 Findings 收敛并通过独立复审后，才可将正式契约符合性标为 PASS。 -**本计划不改变 V0.3/V0.6-R5，也不自动授权 P0-A 代码开发。** V0.6 §18 明确要求：先根据 PoC 证据完成模块级 P0-A 计划，再由用户明确授权正式开发。 +**本计划不改变 V0.3/V0.6-R5，也不自动授权新的生产语义开发。** V0.6 §18 约定的前期计划阶段已完成：2026-11-10 有用户确认的 P0-A V0.1 实施计划，后续 M1–M5 已进入当前 main。本轮只评估已有成果与未关闭的 M6/Host 工作，不重开已完成里程碑。