公開進度摘要

用一頁快速看懂 Roadmap 順序與實作進度。

Mycel 目前仍在窄版 first-client 主線上。`M2` 在目前窄版 replay/storage/rebuild 範圍內已完成收口， 因為 richer mixed content/metadata competing-branch classification、多文件 index-loss 後 rebuild proof，以及 richer metadata multi-variant rebuild/reporting proof 都已落地；因此現在的 active lane 已明確轉為 M3 / M4。`M3` 也已越過已落地的最終獨立 dual-role 收尾，接下來直接面對建立在目前 inspect/list/publish、per-document current-governance summaries 與 store index governance source/context 摘要基線之上的更廣 governance persistence、更完整的 governance tooling，以及 reader-facing profile ergonomics；再加上剩餘的 M4 session/capability/error-path interop proof，而更廣的 pre-HELLO / pre-root / pre-MANIFEST gating、 HEADS 先於 MANIFEST 建立 sync roots、 HEADS replace=true 後 stale root/dependency、stale snapshot 與 stale object WANT rejection、unadvertised WANT、unrequested OBJECT、unknown-sender 與 HELLO sender-identity mismatch rejection、 ERROR-before-HELLO acceptance、explicit ERROR-only 與 unreachable WANT proof，以及常設 messages-after-BYE rejection 與 missing-BYE warning handling 也都已補上。

  1. 維持 M2 在目前窄版 replay/storage/rebuild 範圍內的已關閉狀態，並以 richer mixed content/metadata competing-branch rebuild/reporting proof 作為基線。
  2. 在 accepted-head inspect/render、更清楚的 available-profile 與 profile-error feedback、editor-admission-aware profile base、bounded viewer score surfaces、初始 governance inspect/list/publish/current surfaces、persisted governance relationship summaries、per-document current-governance summaries，以及 store index governance source/context 摘要之上，謹慎擴張 M3 的 reader-plus-governance 工作流程；既然最終獨立 dual-role 收尾已落地，接下來就把更廣的 governance persistence、更完整的 governance tooling，以及超出目前初步打磨的 profile ergonomics 明確保留下來。
  3. 讓 M4 維持窄版範圍；現在更廣的 pre-HELLO / pre-root / pre-MANIFEST gating、HEADS 先於 MANIFEST 的 sync-root setup、HEADS replace=true 後的 stale root/dependency、stale snapshot 與 stale object WANT rejection、unadvertised WANT、unrequested OBJECT、unknown-sender 與 HELLO sender-identity mismatch rejection、ERROR-before-HELLO acceptance、explicit ERROR-only、unreachable WANT，以及 messages-after-BYE / missing-BYE coverage 都已有 proof，接下來把 peer-store sync proof 往剩餘的 session/capability/error-path interop closure 收斂。

里程碑時間線

這份 roadmap 是序列式推進的：後面的 phase 都假設前面的 phase 已經穩定。現在的重心是維持 M2 在目前窄版範圍內的已關閉狀態、M3 的謹慎擴張，以及剩餘的 M4 互通性 proof。

最小核心

M1

已關閉門檻
  • minimal-client proof 已保留為已完成的 checklist 歷史
  • Ready-to-Build Gate 仍維持全綠
  • 活躍工作已轉到 M2 / M3 / M4
最小核心

M2

已在目前窄版範圍內關閉
  • Replay 與 state_hash
  • Store rebuild、indexes、保留 ancestry context 的 render/store verification，以及多文件 index-loss 後 rebuild proof
  • Narrow write-path closure
  • 具更廣 structural coverage、較新 manual-curation smoke proof、更清楚 metadata merge 邊界、更完整 mixed content/metadata competing-branch 細節，且目前窄版範圍內已無剩餘收口缺口的 conservative merge authoring
閱讀器加治理

M3

早期部分完成
  • Accepted-head reader 工作流程
  • Bundle 與 store rendering，並保留 ancestry context
  • 具名 fixed-profile reading，並具備更清楚的 available-profile 與 profile-error feedback
  • 具備 editor-admission 感知的 inspect/render flows
  • head inspection 中的 bounded viewer score surfaces
  • Filtered governance inspect/list/publish 工作流程
  • Persisted governance reverse indexes
  • 在 view inspect / view list 裡可見的 persisted governance relationship summaries
  • 在 view current 裡提供的 per-document current-governance summaries
  • 在 store index 輸出裡可見的 governance source labels 與 current-view context 摘要
  • 剩餘工作：更廣的 governance persistence、更完整的 governance tooling，以及超出目前初步打磨的 profile ergonomics
全堆疊

M4

早期部分完成
  • Wire validation 與 OBJECT body 檢查
  • Session reachability 與 store-backed bootstrap
  • Peer-store 的 first-time / incremental sync proof
  • Capability-gated 的 SNAPSHOT_OFFER / VIEW_ANNOUNCE
  • localhost multi-process、re-sync idempotency、depth-N catchup 與 partial-doc selective sync proofs
  • 更廣的 pre-HELLO / pre-root / pre-MANIFEST gating
  • HEADS 先於 MANIFEST 的 sync-root setup，以及 HEADS replace=true 後的 stale root/dependency、stale snapshot 與 stale object WANT rejection
  • unadvertised WANT 與 unrequested OBJECT rejection
  • unknown-sender 與 HELLO sender-identity mismatch rejection
  • ERROR-before-HELLO acceptance，以及 explicit ERROR-only 與 unreachable WANT rejection proof
  • messages-after-BYE rejection 與 missing-BYE warning proof
  • 剩餘工作是更廣的 session/capability/error-path interop proof
全堆疊

M5

後續
  • Selective app-layer growth
  • Profiles on stable core
  • Limited surface expansion

Implementation Matrix

這張表把 checklist 壓成 section-level 狀態，讓我們快速看到哪些區塊已大致完成、哪些仍屬 partial、哪些仍在後續階段。

Area Status Milestone Current read
1. Repo and Build Setup Done M1 這一區現在屬於已關閉的 minimal-client gate；這裡已沒有活的 follow-up。
2. Object Types and IDs Done M1 必要的 v0.1 families 與 minimal-client role modeling 現在都保留為已關閉 gate 的 proof，不再是活的 checklist debt。
3. Canonical Serialization and Hashing Done M1 minimal gate 需要的 canonical rules 與 shared helper reuse 已關閉；post-M1 的 wire follow-up 現在屬於更廣的 M4 lane。
4. Signature Verification Done M1 / M4 minimal gate 所需的 object 與 wire signature verification 已關閉；更廣的 interop/error-path follow-up 仍在 M4。
5. Patch and Revision Engine Mostly done M2 Replay 與 state_hash 已到位；dependency verification、wrong-type 與 multi-hop ancestry proofs、sibling declared-ID determinism，以及 render-path ancestry context 都更完整。
6. Local State and Storage Mostly done M2 Store ingest、rebuild、indexes，以及可直接證明多文件 indexes 能在 index loss 後只靠 stored canonical objects 重建的 CLI proof 都已存在；local transport/safety policy 現在也會保存在獨立的 local policy file，而 rebuild smoke 會同時保留 replicated indexes 與 local policy state。
7. Wire Protocol Partial M4 Canonical wire-envelope parsing、field validation、RFC 3339 checks、minimal-message payload validation、sender checks、session sequencing/head tracking、reachability gating、store-backed bootstrap、OBJECT body verification、capability-gated optional-message handling、更廣的 pre-HELLO、pre-root 與 pre-MANIFEST gating、HEADS 先於 MANIFEST 的 sync-root setup、HEADS replace=true 後的 stale root/dependency、stale snapshot 與 stale object WANT rejection、unadvertised WANT 與 unrequested OBJECT rejection、unknown-sender 與 HELLO sender-identity mismatch rejection、ERROR-before-HELLO acceptance、explicit ERROR-only 與 unreachable WANT rejection proof、messages-after-BYE 與 missing-BYE warning proof，以及最小 peer-store sync driver 都已存在於 mycel-core；主要剩餘 interop 工作是更廣的 session/capability/error-path proof。
8. Sync Workflow Partial M4 Peer-store 驅動的 first-time 與 incremental sync 現在已透過 mycel-core、CLI 與 simulator positive-path coverage 證明 shared verify/store flow，並涵蓋 snapshot-assisted catch-up、announced-view fetching、localhost multi-process proof、re-sync idempotency、depth-N incremental catchup、partial-doc selective sync、更廣的 pre-HELLO / pre-root / pre-MANIFEST gating、HEADS 先於 MANIFEST 的 sync-root setup、HEADS replace=true 後的 stale root/dependency、stale snapshot 與 stale object WANT rejection、unadvertised WANT 與 unrequested OBJECT rejection、unknown-sender 與 HELLO sender-identity mismatch rejection、ERROR-before-HELLO acceptance、explicit ERROR-only 與 unreachable WANT rejection，以及 messages-after-BYE 與 missing-BYE warning handling；剩餘工作是更廣的 session/capability/error-path proof。
9. Views and Head Selection Mostly done M3 Deterministic selector core、具名 fixed-profile selection、較清楚的 available-profile summaries 與 profile-error feedback、分開的 editor/view admission-aware inspect/render flows、bounded viewer score channels、在 view inspect / view list 裡可見的 persisted governance relationship summaries、在 view current 裡提供的 per-document current-governance summaries、store index governance source/context 摘要，以及直接鎖定 shared-key / mixed-role dual-role admission、weight 與 support 關係的 core-level selector regressions 都已存在；現在剩下的 M3 缺口是更廣的 governance persistence、更完整的 governance tooling，以及超出目前初步打磨的 profile ergonomics。
10. Merge Generation Partial M2 Replay verification 與保守型 local merge-authoring profile 已存在，涵蓋 structural move/reorder、新 parent reparenting、簡單 composed parent-chain coverage、更廣的 nested structural matrix、更細的 direct/anchor-based placement reasons、更清楚的 metadata competing-branch 邊界，以及 richer mixed content/metadata competing-branch 細節；目前窄版 M2 的收口已完成，因此後續工作可留在 active M2 債務之外。
11. CLI or API Surface Partial M2 / M3 / M4 Verification、authoring、保守型 merge authoring、editor-admission-aware reader inspection/render、governance inspect/list/publish/current、persisted governance index query surfaces、在 view inspect / view list 裡可見的 persisted governance relationship summaries、store index governance source/context 摘要、transcript-backed sync pull，以及內部 sync peer-store 都已存在，並包含 optional snapshot/view flows、localhost multi-process proof、re-sync idempotency、depth-N catchup、partial-doc selective sync、更廣的 pre-HELLO / pre-root / pre-MANIFEST gating、HEADS 先於 MANIFEST 的 sync-root setup、HEADS replace=true 後的 stale root/dependency、stale snapshot 與 stale object WANT rejection、unadvertised WANT 與 unrequested OBJECT rejection、unknown-sender 與 HELLO sender-identity mismatch rejection、ERROR-before-HELLO acceptance、explicit ERROR-only 與 unreachable WANT rejection，以及 messages-after-BYE 與 missing-BYE warning handling；剩餘的 M4 gap 是更廣的 session/capability/error-path interop proof。
12. Interop Test Minimum Partial M1 / M2 / M4 Fixture isolation、reproducibility、更嚴格的 parser/replay smoke coverage、直接的 wire-envelope/signature/session tests、peer-store first-time / incremental sync proofs、optional-message coverage、localhost multi-process proof、re-sync idempotency coverage、depth-N incremental catchup coverage、partial-doc selective sync coverage、更廣的 pre-HELLO / pre-root / pre-MANIFEST gating coverage、HEADS 先於 MANIFEST 的 setup coverage、HEADS replace=true 後 stale root/dependency、stale snapshot 與 stale object WANT rejection 的 coverage、unadvertised WANT 與 unrequested OBJECT coverage、unknown-sender 與 HELLO sender-identity mismatch coverage、ERROR-before-HELLO acceptance coverage、explicit ERROR-only 與 unreachable WANT coverage，以及 messages-after-BYE 與 missing-BYE warning coverage 都已存在，但更廣的 session/capability/error-path cases 仍未完成。
13. Ready-to-Build Gate Done M1 minimal-client gate 已關閉；剩餘工作現在都改由 post-M1 follow-up checklist 追蹤，而不是留在這個 gate。

Source Files

這頁刻意只做摘要。真正的權威 wording 仍然在 repo 層級的 planning files 中。

Progress Source

這個公開頁面所依據的 Markdown 摘要來源。

Open PROGRESS.md

GitHub Adoption

Repo workflow 與 security adoption 的規劃文件，包含已啟用的 CodeQL default setup，以及已修復的第一批 workflow-permissions findings。

Open GITHUB-ADOPTION-PLAN.md