summaryrefslogtreecommitdiff
path: root/docs/Design.md
diff options
context:
space:
mode:
authortanaka takashi <isazaka@gmail.com>2026-07-04 19:00:09 +0900
committertanaka takashi <isazaka@gmail.com>2026-07-04 19:00:09 +0900
commitaba6f5cf8001d23c99960f42143890644b7af36f (patch)
treef49bca588959569369469895d7d26b2cbfc08bd4 /docs/Design.md
parent61fa05ec0c4510f1cd437b5d672cd6fd7b996353 (diff)
ドキュメント整理
Diffstat (limited to 'docs/Design.md')
-rw-r--r--docs/Design.md26
1 files changed, 18 insertions, 8 deletions
diff --git a/docs/Design.md b/docs/Design.md
index 152f6ae..f370b74 100644
--- a/docs/Design.md
+++ b/docs/Design.md
@@ -5,8 +5,6 @@
本書は `tiny-convmem-mcp` の設計、実装済み契約、制約、I/O 予算、実装状況をまとめた正本である。
過去のプロトタイプ案と本書が矛盾する場合は、本書と公開ツールの実装を優先する。
-診断結果と次タスクは [Review.md](Review.md) を参照する。
-
## 2. 目的とスコープ
`tiny-convmem-mcp` は、会話メッセージをローカルに永続化し、MCP 経由で読み書き、更新、検索、削除できる単一プロセスの C17 サーバーである。
@@ -193,7 +191,7 @@ Release build で 20 B~1 MiB payload と 10,000 / 50,000 record corpus を測å
| 要望 | 状況 | 実装 |
|---|---|---|
-| バックアップ・export | 部分達成 | JSONL CLI と export view。import 完全性に既知課題あり |
+| バックアップ・export | 達成 | bounded transactional JSONL import、atomic file export、export view |
| 保存後の更新 | 達成 | delta update、identity 維持、revision conflict |
| 記憶の種類分け | 達成 | 6 kinds と検索 filter |
| 2段階保存 | 部分達成 | summary/source/relation 契約。自動 consolidation は host 責務 |
@@ -207,13 +205,25 @@ Release build で 20 B~1 MiB payload と 10,000 / 50,000 record corpus を測å
構造化 metadata、UPDATE、relation index、検索説明、context、sessions、CLI import/export、再起動時の dangling reference 処理まで実装済みである。
-継続的に再検証する項目は次のとおり。
+release時に継続して実行する回帰項目は次のとおり。
- MCP protocol E2Eと有効snapshot + PUT/DEL tail replay
-- snapshot temporary file 各段階の強制終了試験
-- compaction の flush/replace 前後と log/snapshot 間 crash matrix
- importの1 MiB escape round-trip、数値境界、streaming上限
-- live corpus増加時のmemory benchmark(retentionはv1対象外)
- data directory ACLとbackup保護の運用文書
-具体的な優先順位と完了条件は [Review.md](Review.md) に記載する。
+## 12. 将来対応事項
+
+現行v1の既知の設計上限と、将来版で判断・実装する事項を次に集約する。
+
+- **常駐メモリ:** 10k/50k/100k件とlarge-content corpusについて、起動、rebuild、検索反復後の
+ peak/steady working setを継続計測し、想定最大corpusとmemory budgetを決定する。その結果を基に
+ Message bodyのdisk-backed/lazy load、index圧縮、retentionのいずれかを選択する。
+- **crash recovery:** snapshot temporary fileの各書込み段階と、compactionのlog flush/replace、
+ log/snapshot置換間で強制終了するmatrix testを追加し、旧状態または新状態へ一貫して復旧することを
+ 確認する。exportの遅延flush/close errorも直接注入できるtest seamを追加する。
+- **保存時保護:** 組込み暗号化が必要になった場合は、暗号方式の導入前に鍵管理、nonce、format
+ version、既存log/snapshot/backupのmigrationとrecovery手順を設計する。現状はOS ACLと上位暗号化
+ filesystemを前提とする。
+- **記憶lifecycle:** 自動保存判断、自動要約・consolidation、tier移動、access reinforcement、decayは
+ host policyのままである。server側へ移す場合はread系0 write契約、retention、監査可能性を含めて
+ 新しい公開契約として設計する。