Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
7f688f3
docs(interactive): register missing Phase 2 confirmed contract sources
rockyshi1993 Nov 12, 2026
65ab77d
docs(interactive): record PR14 merge, post-merge CI and formal source…
rockyshi1993 Nov 12, 2026
ba32d11
docs(interactive): fix formal source register Markdown formatting
rockyshi1993 Nov 12, 2026
8356409
docs(interactive): remove stray escapes in source register
rockyshi1993 Nov 12, 2026
c23e166
docs(interactive): close Markdown code spans in source register
rockyshi1993 Nov 12, 2026
8dd9035
docs(interactive): tidy original artifact upload checklist
rockyshi1993 Nov 12, 2026
5722afc
docs(interactive): finalize source register checklist formatting
rockyshi1993 Nov 12, 2026
b288ec1
docs(interactive): unblock independent Host OS work while preserving …
rockyshi1993 Nov 12, 2026
b8b1a07
docs(interactive): unblock independent Host OS work while preserving …
rockyshi1993 Nov 12, 2026
7fa0c3d
docs(interactive): verify recovered V0.3 requirements and isolate mis…
rockyshi1993 Nov 12, 2026
fa64896
docs(interactive): update source recovery gate after V0.3 verification
rockyshi1993 Nov 12, 2026
319eced
docs(interactive): fix remaining source recovery checklist numbering
rockyshi1993 Nov 12, 2026
16da8b4
docs(interactive): verify recovered V0.6-R5 confirmed technical design
rockyshi1993 Nov 12, 2026
99ac630
docs(interactive): record recovered V0.6-R5 source and pending confor…
rockyshi1993 Nov 12, 2026
9fe0e38
docs(interactive): close source recovery gate and define formal confo…
rockyshi1993 Nov 12, 2026
feb2427
docs(interactive): verify V0.6 handoff and register existing core PoC…
rockyshi1993 Nov 12, 2026
016ba26
docs(interactive): update roadmap with verified V0.6 and limited POC …
rockyshi1993 Nov 12, 2026
0388983
docs(interactive): add V0.3 V0.6-R5 conformance audit and P0-A execut…
rockyshi1993 Nov 12, 2026
d8aebf2
docs(interactive): distinguish formal T/R/S baselines from M6 and sec…
rockyshi1993 Nov 12, 2026
7ca31ce
docs(interactive): reconcile approved P0-A plan and M1-M5; correct Ma…
rockyshi1993 Nov 12, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 20 additions & 6 deletions docs/interactive-full-delivery-roadmap-2026-11-11.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,21 +3,23 @@
**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.

## 1. Current baseline

### 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

Expand All @@ -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。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 |
Expand All @@ -44,6 +46,18 @@ 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. 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 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

1. Freeze main SHA, PR heads, dependency lock hash, Node/npm versions and CI run IDs.
Expand Down
78 changes: 78 additions & 0 deletions docs/interactive-phase2-formal-source-register.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,78 @@
# FlowKit Interactive — Phase 2 正式契约原件追踪登记

**状态: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)

## 1. 目标原件

| 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` | `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-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。

## 2. 当前可读取的相关材料(仅二级证据)

| 材料 | 当前可读取位置/标识 | 能证明什么 | 不能替代什么 |
|---|---|---|---|
| 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 不是正式验收 | 不能替代正式契约 |
| 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 原始字节尚未读取。原件恢复步骤已完成,以下是正式符合性审查顺序:

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 与 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. 后续材料与边界

- **当前无需用户重新上传 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`。

---

**当前结论:** 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 安全工作可以继续,但不得越界修改冻结功能契约。
Loading