@quolu/lattice 0.38.1 → 0.39.0

package/README.ja.md

@@ -43,20 +43,26 @@ planを再コンパイルします。共有面が共有でなくなるので、
 
 人が手で切ったのではありません。**工程を並列化するために製品が切りました。**
 
-### 作業記憶はToDoと一緒に渡る
+### 設計メモと作業記憶はToDoと一緒に渡る
 
-AIは、次の担当が作業を続けるために必要な方針、棄却案、調査結果、注意、未解決事項をToDoへ追記できます。
-通常の`lattice todo show`と、成功するすべての`lattice todo start`は、元version／元task、訂正状態、
-note chain head、overflow、全履歴コマンドを含む最新のbounded `note_context`を自動で返します。
-次のAIが別のnote読取コマンドを知っている必要はありません。
+新しいToDoは、実装方針・調査結果・採用／棄却理由・注意・未解決事項をMarkdownで書いた
+`design_memo`を必ず持ちます。空欄やファイル参照だけでは登録できません。本当に何も考えていない場合だけ、
+正確なsentinel `NO_PLAN`を本文にします。Latticeはauthoring時に次の問いを返し、空欄のまま通しません。
+
+> If you have not thought through this ToDo, write exactly `NO_PLAN` in its design memo.
+
+通常の`lattice todo show`と、成功するすべての`lattice todo start`は、この初期設計メモを自動で返します。
+作業開始後に増えた方針、棄却案、調査結果、注意、未解決事項は、別のappend-only note chainへ追記できます。
+同じ通常読取は元version／元task、訂正状態、note chain head、overflow、全履歴コマンドを含む最新の
+bounded `note_context`も自動で返します。次のAIが別のnote読取コマンドを知っている必要はありません。
 
 ```bash
 lattice todo note --plan <key> --task <id> --message "既存parserを使い、fallbackは追加しない"
 lattice todo show --plan <key> --task <id> --json
 ```
 
-ローカルGanttでは、選択したToDoの右ペインへ同じ作業記録を表示します。公開Gantt／dashboardは契約として
-note本文を含めません。
+ローカル／公開の動的工程表は、選択したToDoの右ペインへ初期設計メモを表示します。追記note本文は
+ローカルだけに表示し、公開dashboardには含めません。project別HTMLの生成や再生成は不要です。
 
 ### 変換の受入五条件
 
@@ -128,11 +134,11 @@ lattice status --json
 
 `state`は`uninitialized | ready | active_run | invalid`のいずれかです。`uninitialized`は
 正常な未初期化状態で、`next_action`が正規の初期authoring入口を返します。初回planは
-新規planはPhase監査とToDo schedulingを分離する`lattice.plan_create_input.v3`のcanonical
+新規planはPhase監査とToDo schedulingを分離し、全ToDoに設計メモを持つ`lattice.plan_create_input.v4`のcanonical
 JSON+LFを用意し、次で作成します。既存v2/v4は互換契約として維持されます。
 
 ```bash
-lattice plan create --schema-version 3 --json
+lattice plan create --schema-version 4 --json
 ```
 
 ```bash
@@ -166,8 +172,8 @@ digestは手で計算しません。binary・config・capabilities・自己diges
 作業ツリーをcleanにすると同じrequestがそのまま通ります。
 
 TODO工程storeの読取は`lattice todo status`、`compile_binding`付きTaskの投影は
-`lattice todo bindings`、検証は`lattice todo verify`、表示生成は
-`lattice todo gantt`を使います。topology/source reconciliationは
+`lattice todo bindings`、検証は`lattice todo verify`、表示は動的dashboardを使います。
+個別HTMLの生成や再生成は不要です。topology/source reconciliationは
 `lattice todo revise --plan <key> --input <canonical-revision.json>`、Phase付きplanは
 `lattice todo revise-phase --plan <key> --input <canonical-phase-revision.json>`でsuccessor発行します。
 cross-plan topologyを同時に切り替える場合は
@@ -250,7 +256,7 @@ lattice todo phase baseline --reason <text> --except <監査したいplan_key>
 error detailの`violation_path`へ載ります（配列のソート違反は`/tasks/1`のようにindexまで名指しします）。
 
 ```bash
-lattice plan create --schema --json            # 既定は最新v3
+lattice plan create --schema --json            # 既定は最新v4
 lattice todo revise-phase --schema --json
 lattice plan show <plan_key> --json            # planのtask・依存・phase・状態を1コマンドで読む
 ```Phase状態は
@@ -271,8 +277,8 @@ LANや外部reverse proxyから閲覧するoptional bridgeは既定で無効で
 工程図の既定表示は、後続に作業中・未着手が残っていない完了工程を図から除きます。まとめnodeも置かないため、
 完走したplanは図の場所を取りません。除いた工程は凡例の件数、右ペインの「全工程」一覧、各工程の詳細から
 辿れ、詳細の前提・後続は除外前の依存関係を示します。総数・進捗・最長依存鎖は除外前の全工程で数えます。
-凡例の件数バッジを押すと全工程を描いた図へ切り替わり、`lattice todo gantt --scope all`は最初から全件を
-描きます。表示規約は[ADR 0066](docs/adr/0066-gantt-live-scope-drops-finished-work.md)が正です。
+凡例の件数バッジを押すと全工程を描いた図へ切り替わります。表示規約は
+[ADR 0066](docs/adr/0066-gantt-live-scope-drops-finished-work.md)が正です。
 
 右ペインは概要・選択工程・全工程の3面で、いずれもToDo storeを表示します（元plan Markdown本文は
 再表示しません。元文書へは各工程の詳細が持つ行対応から辿ります）。全工程一覧は動いているplanを
@@ -280,8 +286,8 @@ LANや外部reverse proxyから閲覧するoptional bridgeは既定で無効で
 決着済みPhaseと図から外した工程は既定で畳み、開けば読めます。規約は
 [ADR 0067](docs/adr/0067-right-pane-shows-the-store-and-orders-by-activity.md)が正です。
 
-静的工程表は`lattice todo gantt status`で`current / stale / missing`を確認でき、HTMLまたは
-digest付きsidecarの欠落・改ざんはtyped failureになります。
+`lattice todo gantt`と`lattice todo gantt status`による静的工程表は廃止済みで、呼ぶと
+`STATIC_GANTT_RETIRED`が動的dashboardを案内します。
 dashboard daemonは起動時に読み込んだ版数をhealthで名乗り、installされた版と食い違えば`lattice status`の
 たびに新版daemonへ置き換わります。publishしただけで配信面が古いまま残ることはありません。
 入れ替えは新daemonが登録済み全projectのstoreを読み終えるまで待つため、`lattice status`の応答が

package/README.md

@@ -60,19 +60,23 @@ Nobody hand-refactored that file. The product cut it so the work could paralleli
 
 ### Task memory travels with the task
 
-An agent can append the decisions, rejected approaches, findings, cautions, and open questions needed
-to continue a ToDo. A normal `lattice todo show` and every successful `lattice todo start` return the
-latest bounded `note_context` automatically, including origin, correction state, chain head, overflow,
-and the full-history command. The next agent does not need to discover or remember a separate note
-lookup command.
+Every newly authored ToDo carries an initial Markdown design memo. Empty text and a file reference are
+not accepted; an agent with no plan must explicitly write `NO_PLAN`. Lattice asks:
+“あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください”.
+A normal `lattice todo show` and every successful `lattice todo start` return that memo automatically.
+
+After work begins, an agent can append decisions, rejected approaches, findings, cautions, and open
+questions. These remain a separate, append-only `note_context`, with origin, correction state, chain
+head, overflow, and the full-history command.
 
 ```bash
 lattice todo note --plan <key> --task <id> --message "Use the existing parser; do not add a fallback"
 lattice todo show --plan <key> --task <id> --json
 ```
 
-The same context appears in the selected ToDo's detail pane in a local Gantt. Public Gantt and
-dashboard rendering exclude note bodies by contract.
+The initial design memo appears in the selected ToDo's detail pane on both local and public dynamic
+dashboards. Public rendering excludes append-only note bodies by contract. Static per-project HTML is
+not generated; `lattice todo gantt serve` and the shared dashboard read the store dynamically.
 
 ### The five acceptance conditions
 

package/bin/lattice.mjs

@@ -50,7 +50,7 @@ if (help !== null) {
     process.exitCode = projectCliFailure(process.stderr, error);
   }
 } else if (args.length === 5 && args[0] === 'plan' && args[1] === 'create'
-  && args[2] === '--schema-version' && ['1', '2', '3'].includes(args[3]) && args[4] === '--json') {
+  && args[2] === '--schema-version' && ['1', '2', '3', '4'].includes(args[3]) && args[4] === '--json') {
   const { projectCliFailure, runPlanCreateSchema } = await import('../src/project-cli.mjs');
   try {
     process.exitCode = await runPlanCreateSchema({ stdout: process.stdout, version: Number(args[3]) });

package/docs/schemas/lattice.phase_todo_revision.v3.schema.json

@@ -16,7 +16,10 @@
     "project_id": { "$ref": "#/$defs/identifier" },
     "plan_key": { "$ref": "#/$defs/identifier" },
     "predecessor": { "$ref": "#/$defs/predecessor" },
-    "desired_plan": { "$ref": "#/$defs/desiredPlanV5" },
+    "desired_plan": { "oneOf": [
+      { "$ref": "#/$defs/desiredPlanV5" },
+      { "$ref": "#/$defs/desiredPlanV7" }
+    ] },
     "runtime_task_migration": { "$ref": "#/$defs/runtimeTaskMigration" },
     "task_migration": {
       "type": "array", "minItems": 1, "maxItems": 512,
@@ -156,6 +159,27 @@
         "phase_id": { "$ref": "#/$defs/identifier" }
       }
     },
+    "taskV6": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "task_id", "title", "lane", "design_memo", "narrative_ref", "narrative_anchor",
+        "compile_binding", "parent_task_id", "phase_id"
+      ],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/nullableText" },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "design_memo": {
+          "$ref": "#/$defs/text",
+          "description": "Markdown design memo. あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください"
+        },
+        "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
+        "narrative_anchor": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/narrativeAnchor" }] },
+        "compile_binding": { "$ref": "#/$defs/compileBinding" },
+        "parent_task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+        "phase_id": { "$ref": "#/$defs/identifier" }
+      }
+    },
     "phase": {
       "type": "object", "additionalProperties": false,
       "required": ["phase_id", "title", "gate_policy", "predecessor_phase_ids", "required_evidence_slots"],
@@ -195,6 +219,30 @@
         "plan_digest": { "$ref": "#/$defs/digest" }
       }
     },
+    "desiredPlanV7": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "schema", "project_id", "plan_key", "plan_version", "predecessor_plan_digest",
+        "tasks", "hard_dependencies", "joins", "phases", "phase_accept_dependencies",
+        "topology_digest", "plan_digest"
+      ],
+      "properties": {
+        "schema": { "const": "lattice.todo_plan.v7" },
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "plan_version": { "$ref": "#/$defs/identifier" },
+        "predecessor_plan_digest": { "$ref": "#/$defs/nullableDigest" },
+        "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskV6" } },
+        "hard_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/edge" } },
+        "joins": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/join" } },
+        "phases": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/phase" } },
+        "phase_accept_dependencies": {
+          "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/phaseAcceptDependency" }
+        },
+        "topology_digest": { "$ref": "#/$defs/digest" },
+        "plan_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
     "taskMigrationEntry": {
       "type": "object", "additionalProperties": false,
       "required": ["from_task_id", "to_task_id", "state_policy"],

package/docs/schemas/lattice.plan_create_input.v4.schema.json

@@ -0,0 +1,85 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/kitepon-rgb/Lattice/blob/main/docs/schemas/lattice.plan_create_input.v4.schema.json",
+  "title": "lattice.plan_create_input.v4",
+  "description": "Canonical initial authoring input for a phase-audited plan. Every task requires a design memo. あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください",
+  "$comment": "Runtime validation additionally enforces canonical JSON+LF bytes, sorted identifiers and edges, unique ids, combined task/phase acyclicity, byte bounds, non-empty design_memo, and input_digest.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema", "project_id", "plan_key", "plan_version", "actor", "recorded_at", "tasks", "phases", "hard_dependencies", "joins", "phase_accept_dependencies", "input_digest"],
+  "properties": {
+    "schema": { "const": "lattice.plan_create_input.v4" },
+    "project_id": { "$ref": "#/$defs/identifier" },
+    "plan_key": { "$ref": "#/$defs/identifier" },
+    "plan_version": { "$ref": "#/$defs/identifier" },
+    "actor": { "$ref": "#/$defs/actor" },
+    "recorded_at": { "$ref": "#/$defs/strictTimestamp" },
+    "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/task" } },
+    "phases": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/phase" } },
+    "hard_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/edge" } },
+    "joins": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/join" } },
+    "phase_accept_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/phaseAcceptDependency" } },
+    "input_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "identifier": { "type": "string", "pattern": "^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$" },
+    "digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "repoRef": { "type": "string", "minLength": 1, "maxLength": 1024 },
+    "strictTimestamp": { "type": "string", "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}\\.[0-9]{3}Z$" },
+    "nullableRepoRef": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/repoRef" }] },
+    "nullableIdentifier": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+    "actor": {
+      "type": "object", "additionalProperties": false, "required": ["host", "session", "agent"],
+      "properties": { "host": { "$ref": "#/$defs/identifier" }, "session": { "$ref": "#/$defs/identifier" }, "agent": { "$ref": "#/$defs/identifier" } }
+    },
+    "task": {
+      "type": "object", "additionalProperties": false,
+      "required": ["task_id", "title", "lane", "design_memo", "narrative_ref", "narrative_anchor", "compile_binding", "parent_task_id", "phase_id"],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "oneOf": [{ "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 16384 }] },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "design_memo": {
+          "type": "string", "minLength": 1, "maxLength": 16384,
+          "description": "Markdown design memo. あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください"
+        },
+        "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
+        "narrative_anchor": { "type": "null" },
+        "compile_binding": { "type": "null" },
+        "parent_task_id": { "$ref": "#/$defs/nullableIdentifier" },
+        "phase_id": { "$ref": "#/$defs/identifier" }
+      }
+    },
+    "phase": {
+      "type": "object", "additionalProperties": false,
+      "required": ["phase_id", "title", "gate_policy", "predecessor_phase_ids", "required_evidence_slots"],
+      "properties": {
+        "phase_id": { "$ref": "#/$defs/identifier" },
+        "title": { "oneOf": [{ "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 16384 }] },
+        "gate_policy": { "$ref": "#/$defs/identifier" },
+        "predecessor_phase_ids": { "type": "array", "items": { "$ref": "#/$defs/identifier" }, "uniqueItems": true },
+        "required_evidence_slots": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/identifier" }, "uniqueItems": true }
+      }
+    },
+    "nodeRef": {
+      "type": "object", "additionalProperties": false, "required": ["project_id", "plan_key", "task_id"],
+      "properties": { "project_id": { "$ref": "#/$defs/identifier" }, "plan_key": { "$ref": "#/$defs/identifier" }, "task_id": { "$ref": "#/$defs/identifier" }, "expected_topology_digest": { "$ref": "#/$defs/digest" } }
+    },
+    "phaseRef": {
+      "type": "object", "additionalProperties": false, "required": ["project_id", "plan_key", "phase_id"],
+      "properties": { "project_id": { "$ref": "#/$defs/identifier" }, "plan_key": { "$ref": "#/$defs/identifier" }, "phase_id": { "$ref": "#/$defs/identifier" }, "expected_topology_digest": { "$ref": "#/$defs/digest" } }
+    },
+    "edge": {
+      "type": "object", "additionalProperties": false, "required": ["from", "to"],
+      "properties": { "from": { "$ref": "#/$defs/nodeRef" }, "to": { "$ref": "#/$defs/nodeRef" } }
+    },
+    "phaseAcceptDependency": {
+      "type": "object", "additionalProperties": false, "required": ["from", "to"],
+      "properties": { "from": { "$ref": "#/$defs/phaseRef" }, "to": { "$ref": "#/$defs/nodeRef" } }
+    },
+    "join": {
+      "type": "object", "additionalProperties": false, "required": ["id", "after", "before"],
+      "properties": { "id": { "$ref": "#/$defs/identifier" }, "after": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/nodeRef" } }, "before": { "$ref": "#/$defs/nodeRef" } }
+    }
+  }
+}

package/docs/schemas/lattice.todo_extraction.v3.schema.json

@@ -0,0 +1,146 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/kitepon-rgb/Lattice/blob/main/docs/schemas/lattice.todo_extraction.v3.schema.json",
+  "title": "lattice.todo_extraction.v3",
+  "description": "AI-authored ToDo migration artifact. Every task carries a non-blank Markdown design_memo. If no plan exists, write NO_PLAN explicitly.",
+  "$comment": "あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください。Runtime validation also enforces UTF-8 byte bounds, exact keys, strict sort order, referential integrity, disposition consistency, and the canonical self-digest.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schema", "project_id", "plan_key", "plan_version", "actor", "recorded_at",
+    "tasks", "hard_dependencies", "joins", "extraction_digest"
+  ],
+  "properties": {
+    "schema": { "const": "lattice.todo_extraction.v3" },
+    "project_id": { "$ref": "#/$defs/identifier" },
+    "plan_key": { "$ref": "#/$defs/identifier" },
+    "plan_version": { "$ref": "#/$defs/identifier" },
+    "actor": { "$ref": "#/$defs/actor" },
+    "recorded_at": { "$ref": "#/$defs/strictTimestamp" },
+    "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/task" } },
+    "hard_dependencies": {
+      "type": "array", "maxItems": 2048,
+      "items": {
+        "type": "object", "additionalProperties": false, "required": ["from", "to"],
+        "properties": { "from": { "$ref": "#/$defs/nodeRef" }, "to": { "$ref": "#/$defs/nodeRef" } }
+      }
+    },
+    "joins": {
+      "type": "array", "maxItems": 128,
+      "items": {
+        "type": "object", "additionalProperties": false, "required": ["id", "after", "before"],
+        "properties": {
+          "id": { "$ref": "#/$defs/identifier" },
+          "after": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/nodeRef" } },
+          "before": { "$ref": "#/$defs/nodeRef" }
+        }
+      }
+    },
+    "extraction_digest": { "$ref": "#/$defs/digest" }
+  },
+  "$defs": {
+    "identifier": { "type": "string", "pattern": "^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$" },
+    "digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+    "repoRef": {
+      "type": "string", "minLength": 1, "maxLength": 1024,
+      "pattern": "^(?!/)(?!.*(?:^|/)\\.{1,2}(?:/|$))(?!.*\\\\)(?!.*[\\u0000-\\u001f\\u007f])[^/]+(?:/[^/]+)*$"
+    },
+    "text": { "type": "string", "minLength": 1, "maxLength": 16384 },
+    "designMemo": {
+      "type": "string", "minLength": 1, "maxLength": 262144, "pattern": "\\S",
+      "description": "Markdown design memo. Use the literal NO_PLAN only when no plan exists."
+    },
+    "nullableText": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/text" }] },
+    "strictTimestamp": {
+      "type": "string",
+      "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}\\.[0-9]{3}Z$"
+    },
+    "actor": {
+      "type": "object", "additionalProperties": false, "required": ["host", "session", "agent"],
+      "properties": {
+        "host": { "$ref": "#/$defs/identifier" },
+        "session": { "$ref": "#/$defs/identifier" },
+        "agent": { "$ref": "#/$defs/identifier" }
+      }
+    },
+    "nodeRef": {
+      "type": "object", "additionalProperties": false, "required": ["project_id", "plan_key", "task_id"],
+      "properties": {
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "expected_topology_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "sourceLocation": {
+      "type": "object", "additionalProperties": false,
+      "required": ["origin_plan_ref", "origin_line", "source_commit", "heading_path", "markdown_depth", "parent_task_id", "checkbox_state"],
+      "properties": {
+        "origin_plan_ref": { "$ref": "#/$defs/repoRef" },
+        "origin_line": { "type": "integer", "minimum": 1 },
+        "source_commit": { "type": "string", "pattern": "^(?:[0-9a-f]{40}|[0-9a-f]{64})$" },
+        "heading_path": { "type": "array", "maxItems": 32, "items": { "type": "string", "minLength": 1, "maxLength": 1024 } },
+        "markdown_depth": { "type": "integer", "minimum": 0, "maximum": 64 },
+        "parent_task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] },
+        "checkbox_state": { "enum": ["checked", "unchecked", "absent", "ambiguous"] }
+      }
+    },
+    "migrationContext": {
+      "type": "object", "additionalProperties": false,
+      "required": ["external_canonical_ref", "carry_over_ref", "h_required", "condition", "evidence_refs", "notes"],
+      "properties": {
+        "external_canonical_ref": { "$ref": "#/$defs/nullableText" },
+        "carry_over_ref": { "$ref": "#/$defs/nullableText" },
+        "h_required": { "type": "boolean" },
+        "condition": { "$ref": "#/$defs/nullableText" },
+        "evidence_refs": { "type": "array", "maxItems": 64, "items": { "type": "string", "minLength": 1, "maxLength": 4096 } },
+        "notes": { "type": "array", "maxItems": 64, "items": { "type": "string", "minLength": 1, "maxLength": 4096 } }
+      }
+    },
+    "historicalStart": {
+      "type": "object", "additionalProperties": false, "required": ["start_mode", "status", "started_at"],
+      "properties": {
+        "start_mode": { "const": "historical_import" }, "status": { "const": "in-progress" },
+        "started_at": { "oneOf": [{ "const": "unknown_requires_evidence" }, { "$ref": "#/$defs/strictTimestamp" }] }
+      }
+    },
+    "historicalCompletion": {
+      "type": "object", "additionalProperties": false, "required": ["done_mode", "completed_at"],
+      "properties": {
+        "done_mode": { "const": "historical_import" },
+        "completed_at": { "oneOf": [{ "const": "unknown_requires_evidence" }, { "$ref": "#/$defs/strictTimestamp" }] }
+      }
+    },
+    "task": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "task_id", "title", "lane", "design_memo", "narrative_ref", "compile_binding",
+        "disposition", "start", "completion", "source", "migration_context"
+      ],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/text" },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "design_memo": { "$ref": "#/$defs/designMemo" },
+        "narrative_ref": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/repoRef" }] },
+        "compile_binding": { "type": "null" },
+        "disposition": { "enum": ["register_pending", "register_in_progress", "register_done", "exclude_superseded", "exclude_compatibility_record", "unknown_requires_evidence"] },
+        "start": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/historicalStart" }] },
+        "completion": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/historicalCompletion" }] },
+        "source": { "$ref": "#/$defs/sourceLocation" },
+        "migration_context": { "$ref": "#/$defs/migrationContext" }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "disposition": { "const": "register_in_progress" } }, "required": ["disposition"] },
+          "then": { "properties": { "start": { "$ref": "#/$defs/historicalStart" }, "completion": { "type": "null" } } },
+          "else": {
+            "if": { "properties": { "disposition": { "const": "register_done" } }, "required": ["disposition"] },
+            "then": { "properties": { "start": { "type": "null" }, "completion": { "$ref": "#/$defs/historicalCompletion" } } },
+            "else": { "properties": { "start": { "type": "null" }, "completion": { "type": "null" } } }
+          }
+        }
+      ]
+    }
+  }
+}

package/docs/schemas/lattice.todo_revision.v2.schema.json

@@ -15,7 +15,12 @@
     "project_id": { "$ref": "#/$defs/identifier" },
     "plan_key": { "$ref": "#/$defs/identifier" },
     "predecessor": { "$ref": "#/$defs/predecessor" },
-    "desired_plan": { "$ref": "#/$defs/desiredPlanV3" },
+    "desired_plan": {
+      "oneOf": [
+        { "$ref": "#/$defs/desiredPlanV3" },
+        { "$ref": "#/$defs/desiredPlanV6" }
+      ]
+    },
     "task_migration": {
       "type": "array", "minItems": 1, "maxItems": 512,
       "items": { "$ref": "#/$defs/taskMigrationEntry" }
@@ -144,6 +149,41 @@
         "plan_digest": { "$ref": "#/$defs/digest" }
       }
     },
+    "taskV6": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "task_id", "title", "lane", "design_memo", "narrative_ref", "narrative_anchor", "compile_binding", "parent_task_id"
+      ],
+      "properties": {
+        "task_id": { "$ref": "#/$defs/identifier" },
+        "title": { "$ref": "#/$defs/nullableText" },
+        "lane": { "$ref": "#/$defs/identifier" },
+        "design_memo": { "type": "string", "minLength": 1, "maxLength": 262144, "pattern": "\\S" },
+        "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
+        "narrative_anchor": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/narrativeAnchor" }] },
+        "compile_binding": { "$ref": "#/$defs/compileBinding" },
+        "parent_task_id": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/identifier" }] }
+      }
+    },
+    "desiredPlanV6": {
+      "type": "object", "additionalProperties": false,
+      "required": [
+        "schema", "project_id", "plan_key", "plan_version", "predecessor_plan_digest",
+        "tasks", "hard_dependencies", "joins", "topology_digest", "plan_digest"
+      ],
+      "properties": {
+        "schema": { "const": "lattice.todo_plan.v6" },
+        "project_id": { "$ref": "#/$defs/identifier" },
+        "plan_key": { "$ref": "#/$defs/identifier" },
+        "plan_version": { "$ref": "#/$defs/identifier" },
+        "predecessor_plan_digest": { "$ref": "#/$defs/nullableDigest" },
+        "tasks": { "type": "array", "minItems": 1, "maxItems": 512, "items": { "$ref": "#/$defs/taskV6" } },
+        "hard_dependencies": { "type": "array", "maxItems": 2048, "items": { "$ref": "#/$defs/edge" } },
+        "joins": { "type": "array", "maxItems": 128, "items": { "$ref": "#/$defs/join" } },
+        "topology_digest": { "$ref": "#/$defs/digest" },
+        "plan_digest": { "$ref": "#/$defs/digest" }
+      }
+    },
     "taskMigrationEntry": {
       "type": "object", "additionalProperties": false,
       "required": ["from_task_id", "to_task_id", "state_policy"],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.38.1",
+  "version": "0.39.0",
   "description": "Schedulability compiler for multi-agent development: observe real code boundaries, refactor the conflicting seam, recompile the plan for parallel execution",
   "author": {
     "name": "Quo / クオ at kitepon.dev",
@@ -27,10 +27,12 @@
     "docs/schemas/lattice.plan_create_input.v1.schema.json",
     "docs/schemas/lattice.plan_create_input.v2.schema.json",
     "docs/schemas/lattice.plan_create_input.v3.schema.json",
+    "docs/schemas/lattice.plan_create_input.v4.schema.json",
     "docs/schemas/lattice.todo_revision.v2.schema.json",
     "docs/schemas/lattice.todo_revision_set.v3.schema.json",
     "docs/schemas/lattice.phase_todo_revision.v3.schema.json",
     "docs/schemas/lattice.todo_extraction.v2.schema.json",
+    "docs/schemas/lattice.todo_extraction.v3.schema.json",
     "docs/schemas/lattice.run_request.v1.schema.json",
     "docs/schemas/lattice.executor_packet.v1.schema.json",
     "docs/schemas/lattice.executor_receipt.v1.schema.json",

package/src/cli-help.mjs

@@ -27,7 +27,7 @@ Commands:
       # 依存グラフがほぼ一直線（serialization_ratioが閾値超）なら一度突き返す。
       # 再考した上でなお直列でよいなら --serialization-reviewed を付けて再実行する
   create --schema --json             # 既定は最新版（v3）のJSON Schemaを返す
-  create --schema-version <1|2|3> --json
+  create --schema-version <1|2|3|4> --json
   show <plan_key> --json             # task・依存・phase・状態をplan本体から1コマンドで投影する
   compile --request <request.json>
   compile --schema --json            # lattice.run_request.v1 の JSON Schema を出す
@@ -69,15 +69,15 @@ Read commands:
   seam-proposal [--plan <key>] [--json]  # 記録済みseam提案をsensor無しで投影する
   verify [--plan <key>] [--json]
   snapshot --rebuild --plan <key>
-  gantt [--out <file>] [--scope live|all]  # 既定live: 完走した工程を図から除く（一覧には残る）
-  gantt status [--out <file>]
-  gantt serve --port <port> [--scope live|all]  # /projects/<project_id>/ をforeground配信
+  gantt serve --port <port> [--scope live|all]  # 動的表示。静的HTML生成とstatusは廃止
   phase status --plan <key>
 
 Write commands:
+  dashboard adopt --json  # 衝突したproject_idの配信元rootを現在repoへ明示的に移す
   note --plan <key> --task <id> (--message <text>|--input <file>)
       # ToDoへ作業継続に必要な方針・調査結果・注意をappend-onlyで追記する
   migrate --input <extraction.json> [--serialization-reviewed]
+  migrate --input <extraction.json> --dry-run --json [--serialization-reviewed]
       # 既存storeへplanを追加する（plan createは空store初期化専用）。
       # 依存グラフがほぼ一直線なら一度突き返し、再考後の --serialization-reviewed で通す
   start --plan <key> --task <id> [--parallel-frontier|--override-reason <text> [--serial-confirmed]]
@@ -149,7 +149,7 @@ registerはLATTICE_BRIDGE_REGISTRAR_SSH_HOSTとLATTICE_BRIDGE_REGISTRAR_SCRIPT
 const SUBCOMMAND_USAGE = Object.freeze({
   status: 'status --json',
   'session-context': 'session-context --json',
-  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <1|2|3> --json',
+  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <1|2|3|4> --json',
   'plan show': 'plan show <plan_key> --json',
   'plan compile': 'plan compile --request <request.json> | --schema --json',
   'plan verify': 'plan verify --request <request.json> --plan <plan.json>',
@@ -181,7 +181,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo seam-proposal': 'todo seam-proposal [--plan <key>] [--json] | compile --plan <key>',
   'todo verify': 'todo verify [--plan <key>] [--json]',
   'todo snapshot': 'todo snapshot --rebuild --plan <key>',
-  'todo gantt': 'todo gantt [--out <file>] [--scope live|all] | status [--out <file>] | serve --port <port> [--scope live|all]',
+  'todo gantt': 'todo gantt serve --port <port> [--scope live|all]  # 動的表示のみ。静的HTML生成は廃止',
   'todo phase': 'todo phase <status|review|accept|reject|reopen|close-unaudited> --plan <key> [options]'
     + ' | baseline --reason <text> [--except <plan_key>]...',
   'todo phase status': 'todo phase status --plan <key>',
@@ -201,7 +201,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo revise': 'todo revise --plan <key> --input <file> | --schema --json',
   'todo revise-phase': 'todo revise-phase --plan <key> --input <file> | --schema --json',
   'todo revise-set': 'todo revise-set --input <file> | --schema --json',
-  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed] | --schema --json',
+  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed] | --input <extraction.json> --dry-run --json [--serialization-reviewed] | --schema --json',
   'sensor init': 'sensor init [path] --json',
   'sensor sync': 'sensor sync [path] --json',
   'runtime-errors snapshot': 'runtime-errors snapshot [--after-cursor <n>] [--limit <n>] --json',