@quolu/lattice 0.38.1 → 0.39.0

package/src/todo-contracts.mjs

@@ -27,6 +27,8 @@ const IDENTIFIER = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
 const CONTROL = /[\u0000-\u001f\u007f]/u;
 const NOTE_FORBIDDEN_CONTROL = /[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/u;
 
+export const TODO_DESIGN_MEMO_PROMPT = 'あなたがこのToDoに対して、何も考えていないならば、設計メモに `NO_PLAN` と書いてください';
+
 export const isTodoDigest = (value) => typeof value === 'string' && DIGEST.test(value);
 export const isTodoIdentifier = (value) => typeof value === 'string' && IDENTIFIER.test(value);
 export const isNonNegativeSafeInteger = (value) => Number.isSafeInteger(value) && value >= 0;
@@ -157,6 +159,9 @@ export function validateTodoNoteContext(value) {
 
 const nullableDigest = (value) => value === null || isTodoDigest(value);
 const nullableText = (value) => value === null || (typeof value === 'string' && value.length > 0 && Buffer.byteLength(value) <= 16_384);
+export const isTodoDesignMemo = (value) => typeof value === 'string' && value.trim().length > 0
+  && Buffer.byteLength(value, 'utf8') <= TODO_LIMITS.noteBodyBytes
+  && !NOTE_FORBIDDEN_CONTROL.test(value);
 const actor = (value) => exactRecord(value, ['host', 'session', 'agent'])
   && [value.host, value.session, value.agent].every(isTodoIdentifier);
 const provenance = (value) => value === null || (exactRecord(value, ['source_commit', 'source_event_digest'])
@@ -246,6 +251,33 @@ function taskV4(value) {
     && isTodoIdentifier(value.phase_id);
 }
 
+function taskV5(value) {
+  return exactRecord(value, [
+    'task_id', 'title', 'lane', 'design_memo', 'narrative_ref', 'narrative_anchor',
+    'compile_binding', 'parent_task_id',
+  ]) && isTodoIdentifier(value.task_id) && nullableText(value.title) && isTodoIdentifier(value.lane)
+    && isTodoDesignMemo(value.design_memo)
+    && (value.narrative_ref === null || isTodoRef(value.narrative_ref))
+    && (value.narrative_anchor === null || (validateTodoNarrativeAnchor(value.narrative_anchor)
+      && value.narrative_ref === value.narrative_anchor.origin_plan_ref))
+    && compileBinding(value.compile_binding)
+    && (value.parent_task_id === null || isTodoIdentifier(value.parent_task_id));
+}
+
+function taskV6(value) {
+  return exactRecord(value, [
+    'task_id', 'title', 'lane', 'design_memo', 'narrative_ref', 'narrative_anchor',
+    'compile_binding', 'parent_task_id', 'phase_id',
+  ]) && isTodoIdentifier(value.task_id) && nullableText(value.title) && isTodoIdentifier(value.lane)
+    && isTodoDesignMemo(value.design_memo)
+    && (value.narrative_ref === null || isTodoRef(value.narrative_ref))
+    && (value.narrative_anchor === null || (validateTodoNarrativeAnchor(value.narrative_anchor)
+      && value.narrative_ref === value.narrative_anchor.origin_plan_ref))
+    && compileBinding(value.compile_binding)
+    && (value.parent_task_id === null || isTodoIdentifier(value.parent_task_id))
+    && isTodoIdentifier(value.phase_id);
+}
+
 function phaseV1(value) {
   return exactRecord(value, [
     'phase_id', 'title', 'gate_policy', 'predecessor_phase_ids', 'required_evidence_slots',
@@ -300,13 +332,18 @@ export function validateTodoPlan(value) {
     const taskValidator = value?.schema === 'lattice.todo_plan.v1' ? taskV1
       : value?.schema === 'lattice.todo_plan.v2' ? taskV2
         : value?.schema === 'lattice.todo_plan.v3' ? taskV3
-          : ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value?.schema) ? taskV4 : null;
+          : ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value?.schema) ? taskV4
+            : value?.schema === 'lattice.todo_plan.v6' ? taskV5
+              : value?.schema === 'lattice.todo_plan.v7' ? taskV6 : null;
     const planKeys = [
       'schema', 'project_id', 'plan_key', 'plan_version', 'predecessor_plan_digest',
       'tasks', 'hard_dependencies', 'joins', 'topology_digest', 'plan_digest',
     ];
-    if (['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value?.schema)) planKeys.push('phases');
-    if (value?.schema === 'lattice.todo_plan.v5') planKeys.push('phase_accept_dependencies');
+    if (['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7']
+      .includes(value?.schema)) planKeys.push('phases');
+    if (['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value?.schema)) {
+      planKeys.push('phase_accept_dependencies');
+    }
     if (!exactRecord(value, planKeys) || taskValidator === null || !isTodoIdentifier(value.project_id)
       || !isTodoIdentifier(value.plan_key) || !isTodoIdentifier(value.plan_version)
       || !nullableDigest(value.predecessor_plan_digest) || !Array.isArray(value.tasks)
@@ -319,9 +356,10 @@ export function validateTodoPlan(value) {
         && Array.isArray(join.after) && join.after.length > 0 && join.after.length <= TODO_LIMITS.tasksPerPlan
         && join.after.every(nodeRef) && nodeRef(join.before))
       || !isTodoDigest(value.topology_digest) || !isTodoDigest(value.plan_digest)
-      || (['lattice.todo_plan.v3', 'lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value.schema)
+      || (['lattice.todo_plan.v3', 'lattice.todo_plan.v4', 'lattice.todo_plan.v5',
+        'lattice.todo_plan.v6', 'lattice.todo_plan.v7'].includes(value.schema)
         && !validParentGraph(value.tasks))) return false;
-    if (['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value.schema)
+    if (['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value.schema)
       && (!Array.isArray(value.phases) || value.phases.length === 0
         || value.phases.length > TODO_LIMITS.tasksPerPlan || !value.phases.every(phaseV1)
         || value.phases.some((entry, index) => index > 0
@@ -329,7 +367,7 @@ export function validateTodoPlan(value) {
         || new Set(value.phases.map(({ phase_id }) => phase_id)).size !== value.phases.length
         || value.tasks.some(({ phase_id }) => !value.phases.some((phase) => phase.phase_id === phase_id))
         || !validPhaseGraph(value.phases))) return false;
-    if (value.schema === 'lattice.todo_plan.v5'
+    if (['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value.schema)
       && (!Array.isArray(value.phase_accept_dependencies)
         || value.phase_accept_dependencies.length > TODO_LIMITS.edgesPerPlan
         || !value.phase_accept_dependencies.every((edge) => exactRecord(edge, ['from', 'to'])
@@ -347,9 +385,9 @@ export function validateTodoPlan(value) {
     const topology = {
       project_id: value.project_id, plan_key: value.plan_key, plan_version: value.plan_version,
       tasks: value.tasks, hard_dependencies: value.hard_dependencies, joins: value.joins,
-      ...(['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(value.schema)
+      ...(['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value.schema)
         ? { phases: value.phases } : {}),
-      ...(value.schema === 'lattice.todo_plan.v5'
+      ...(['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value.schema)
         ? { phase_accept_dependencies: value.phase_accept_dependencies } : {}),
     };
     return value.topology_digest === digestTodoArtifact(topology)

package/src/todo-dashboard-registry.mjs

@@ -151,11 +151,11 @@ export async function readVisibleTodoDashboardProjects({
 
 export async function registerTodoDashboardActivity({
   repoRoot, projectId, displayName = projectId, sessionId, env = process.env,
-  now = new Date(),
+  now = new Date(), adopt = false,
 }) {
   if (!path.isAbsolute(repoRoot) || !identifier(projectId) || !identifier(sessionId)
     || typeof displayName !== 'string' || displayName.length === 0 || displayName !== displayName.trim()
-    || !(now instanceof Date) || !Number.isFinite(now.getTime())) {
+    || !(now instanceof Date) || !Number.isFinite(now.getTime()) || typeof adopt !== 'boolean') {
     throw new TypeError('dashboard activity is invalid');
   }
   const canonicalRoot = await realpath(repoRoot);
@@ -163,13 +163,27 @@ export async function registerTodoDashboardActivity({
   await mkdir(refs.root, { recursive: true, mode: 0o700 });
   await withLock(refs.lock, async () => {
     const current = validateRegistry(await readJson(refs.registry, { schema: REGISTRY_SCHEMA, projects: [] }));
+    const existing = current.projects.find((entry) => entry.project_id === projectId);
+    if (existing !== undefined && existing.repo_root !== canonicalRoot && !adopt) {
+      const error = new Error('project id is already owned by another canonical root');
+      error.code = 'PROJECT_ROOT_CONFLICT';
+      // 公開・CLI errorへlocal absolute pathを運ばない。project_idだけで人と機械が
+      // 衝突対象を特定でき、registry bytesはこの分岐より後で一切変更しない。
+      error.detail = { project_id: projectId };
+      throw error;
+    }
     const projects = current.projects.filter((entry) => entry.project_id !== projectId);
     projects.push({ project_id: projectId, display_name: displayName, repo_root: canonicalRoot,
       session_id: sessionId, last_seen_at: now.toISOString() });
     projects.sort((left, right) => left.project_id.localeCompare(right.project_id, 'en'));
     await atomicJson(refs.registry, { schema: REGISTRY_SCHEMA, projects });
   });
-  return { projectId, displayName, repoRoot: canonicalRoot, sessionId };
+  return { projectId, displayName, repoRoot: canonicalRoot, sessionId, adopted: adopt };
+}
+
+/** 配信元rootを移す唯一の明示入口。通常activity登録はこのflagを立てない。 */
+export async function adoptTodoDashboardActivity(options) {
+  return registerTodoDashboardActivity({ ...options, adopt: true });
 }
 
 function validDaemonDescriptor(descriptor) {

package/src/todo-gantt-html-independence.mjs

@@ -21,6 +21,16 @@ function renderNoteContext(context) {
   return `<section class="work-log"><h2>作業記録</h2>${entries}${overflow}<p class="work-log-head">note head: <code>${escapeHtmlText(context.note_head_digest ?? 'none')}</code></p></section>`;
 }
 
+function renderDesignMemo(task) {
+  if (typeof task.design_memo !== 'string') {
+    return '<section class="design-memo"><h2>設計メモ</h2><p class="note-warning">未登録（legacy ToDo）</p></section>';
+  }
+  const rendered = renderTodoMarkdown(task.design_memo);
+  const filtering = rendered.discarded.length === 0 ? ''
+    : '<p class="note-warning">安全上表示できない要素を除外しました。</p>';
+  return `<section class="design-memo"><h2>設計メモ</h2><div class="design-memo-body">${rendered.html}</div>${filtering}</section>`;
+}
+
 /**
  * 図の外が語るための独立性要約を、plan単位の投影から引ける形へ畳む（ADR 0129 Decision 3）。
  */
@@ -150,9 +160,10 @@ export function renderRightPane(
     const independenceNote = renderIndependenceNote(section.ref, node, independenceSummary);
     // Say it plainly when the reader will not find this ToDo on the diagram.
     const foldedNote = !folds.has(key) ? ''
-      : '<p class="fold-note">完走済みのため図には描いていません。図に出すには <code>lattice todo gantt --scope all</code> を実行してください。</p>';
+      : '<p class="fold-note">完走済みのため図には描いていません。図に出すには動的dashboardを <code>lattice todo gantt serve --port &lt;port&gt; --scope all</code> で起動してください。</p>';
     const workLog = notesEnabled ? renderNoteContext(section.noteContext) : '';
-    return `<article class="task-detail" data-detail-key="${escapeHtmlAttribute(key)}" hidden><header><span class="detail-status status-${escapeHtmlAttribute(section.state.status)}">${escapeHtmlText(status.mark)} ${escapeHtmlText(status.label)}</span><span class="detail-reference">${escapeHtmlText(taskReference(section, lookup))}</span></header><h1>${escapeHtmlText(section.task.title)}</h1><p class="detail-category"><strong>カテゴリ:</strong> ${escapeHtmlText(category)}</p>${categoryDescription}<p><strong>正規ID:</strong> <code>${escapeHtmlText(`${section.ref.plan_key}/${section.task.task_id}`)}</code></p>${blockedReason}${readiness}${independenceNote}${foldedNote}<section><h2>前提工程</h2>${renderRelationList(incoming.get(key), sectionByKey, lookup, '登録済みの前提工程はありません。', folds)}</section><section><h2>後続工程</h2>${renderRelationList(outgoing.get(key), sectionByKey, lookup, '登録済みの後続工程はありません。', folds)}</section>${workLog}<p class="anchor-status">${escapeHtmlText(anchorText)}</p><details class="task-diagnostics"><summary>開発者向け診断</summary><dl><dt>canonical ref</dt><dd><code>${escapeHtmlText(`${section.ref.project_id}/${section.ref.plan_key}/${section.task.task_id}`)}</code></dd><dt>anchor</dt><dd>${escapeHtmlText(section.anchorOutcome.anchored ? 'verified' : section.anchorOutcome.reason)}</dd></dl></details></article>`;
+    const designMemo = renderDesignMemo(section.task);
+    return `<article class="task-detail" data-detail-key="${escapeHtmlAttribute(key)}" hidden><header><span class="detail-status status-${escapeHtmlAttribute(section.state.status)}">${escapeHtmlText(status.mark)} ${escapeHtmlText(status.label)}</span><span class="detail-reference">${escapeHtmlText(taskReference(section, lookup))}</span></header><h1>${escapeHtmlText(section.task.title)}</h1><p class="detail-category"><strong>カテゴリ:</strong> ${escapeHtmlText(category)}</p>${categoryDescription}<p><strong>正規ID:</strong> <code>${escapeHtmlText(`${section.ref.plan_key}/${section.task.task_id}`)}</code></p>${blockedReason}${readiness}${independenceNote}${foldedNote}${designMemo}<section><h2>前提工程</h2>${renderRelationList(incoming.get(key), sectionByKey, lookup, '登録済みの前提工程はありません。', folds)}</section><section><h2>後続工程</h2>${renderRelationList(outgoing.get(key), sectionByKey, lookup, '登録済みの後続工程はありません。', folds)}</section>${workLog}<p class="anchor-status">${escapeHtmlText(anchorText)}</p><details class="task-diagnostics"><summary>開発者向け診断</summary><dl><dt>canonical ref</dt><dd><code>${escapeHtmlText(`${section.ref.project_id}/${section.ref.plan_key}/${section.task.task_id}`)}</code></dd><dt>anchor</dt><dd>${escapeHtmlText(section.anchorOutcome.anchored ? 'verified' : section.anchorOutcome.reason)}</dd></dl></details></article>`;
   }).join('');
   const taskIndex = renderTaskIndex(sections, lookup, folds, planActivity(readModel));
   return `<div class="right-toolbar"><button type="button" data-show-overview>概要</button><button type="button" data-show-selected hidden>選択工程へ戻る</button><button type="button" data-show-task-index>全工程一覧</button></div><div class="right-content">${overview}<div data-right-panel="details" hidden>${details}</div><section class="task-index" data-right-panel="task-index" hidden><h1>全工程</h1><p>Latticeに登録された全工程を現在の状態とともに表示しています。planは動いているものを最終活動の新しい順で上に、完走したものを古い順で下にまとめ、plan内は登録順です。</p>${taskIndex}</section></div>`;
@@ -172,7 +183,7 @@ export function renderDiagramLegend(presentation, layout = null, expandable = fa
   const foldNote = foldedCount === 0 ? ''
     : expandable
       ? '<p class="fold-note">後続に作業中・未着手が残っていない完了工程は図から外しています。生きた工程とその直接の前提工程は必ず描きます。上のバッジを押すと外した工程も含めて描きます。総数・進捗・最長依存鎖は外す前の全工程で数えています。</p>'
-      : '<p class="fold-note">後続に作業中・未着手が残っていない完了工程は図から外しています。生きた工程とその直接の前提工程は必ず描きます。外した工程は右の「全工程」から辿れ、図に出すには <code>lattice todo gantt --scope all</code> を実行してください。総数・進捗・最長依存鎖は外す前の全工程で数えています。</p>';
+      : '<p class="fold-note">後続に作業中・未着手が残っていない完了工程は図から外しています。生きた工程とその直接の前提工程は必ず描きます。外した工程は右の「全工程」から辿れ、図に出すには動的dashboardを <code>lattice todo gantt serve --port &lt;port&gt; --scope all</code> で起動してください。総数・進捗・最長依存鎖は外す前の全工程で数えています。</p>';
   const independenceLegend = layout.independence === null ? ''
     : '<span>∥ 独立検証済</span><span>⛓ 要直列</span><span>? 未検査</span>';
   // 独立性の記録がある間は「全件同時dispatchが既定」と無条件に述べない（ADR 0129 Decision 3）。

package/src/todo-gantt-html-shared.mjs

@@ -116,7 +116,8 @@ export function renderPhaseProgress(readModel) {
   const rows = [];
   const settledRows = [];
   for (const member of readModel.members) {
-    if (!['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(member.plan.schema)) continue;
+    if (!['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7']
+      .includes(member.plan.schema)) continue;
     // snapshot artifactの形式には縛られない導出ビュー(member.phases)を読む(ADR 0147)。
     const phases = new Map(member.phases.map((phase) => [phase.phase_id, phase]));
     for (const phase of member.plan.phases) {
@@ -130,7 +131,9 @@ export function renderPhaseProgress(readModel) {
       (SETTLED_PHASE_STATUS.includes(state.status) ? settledRows : rows).push(row);
     }
   }
-  const decoupled = readModel.members.some(({ plan }) => plan.schema === 'lattice.todo_plan.v5');
+  const decoupled = readModel.members.some(({ plan }) => (
+    ['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(plan.schema)
+  ));
   const guidance = decoupled
     ? 'ToDo完了とPhase受理は別です。Phaseは重監査の順序を表し、通常ToDoの開始順はToDo依存だけで決まります。'
     : 'ToDo完了とPhase受理は別です。<code>gate_ready</code>では後続Phaseはまだ解放されません。';

package/src/todo-gantt-layout.mjs

@@ -251,7 +251,7 @@ function readyTaskKeys(readModel, nodes, nodesByKey, incoming) {
         member.plan.project_id, member.plan.plan_key, phase.phase_id,
       ]), phase.status);
     }
-    if (member.plan.schema === 'lattice.todo_plan.v5') {
+    if (['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(member.plan.schema)) {
       for (const edge of member.plan.phase_accept_dependencies ?? []) {
         const target = refKey(refOf(edge.to, 'phase_accept_dependencies.to'));
         if (!nodesByKey.has(target)) {

package/src/todo-gantt-scope.mjs

@@ -59,7 +59,7 @@ const AUDIT_PENDING_PHASE_STATUSES = new Set(['gate_ready', 'reviewing', 'reject
 function auditPending(node) {
   if (!AUDIT_PENDING_PHASE_STATUSES.has(node.phase_status ?? null)) return false;
   const schema = node.plan_schema ?? null;
-  return schema !== 'lattice.todo_plan.v4' && schema !== 'lattice.todo_plan.v5';
+  return !['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(schema);
 }
 
 /**

package/src/todo-migration.mjs

@@ -3,6 +3,7 @@ import {
   exactRecord,
   isStrictTodoTimestamp,
   isTodoDigest,
+  isTodoDesignMemo,
   isTodoIdentifier,
   isTodoRef,
   todoSelfDigest,
@@ -15,6 +16,7 @@ import {
 
 export const TODO_EXTRACTION_SCHEMA = 'lattice.todo_extraction.v1';
 export const TODO_EXTRACTION_SCHEMA_V2 = 'lattice.todo_extraction.v2';
+export const TODO_EXTRACTION_SCHEMA_V3 = 'lattice.todo_extraction.v3';
 
 const V1_DISPOSITIONS = new Set([
   'register_pending',
@@ -93,14 +95,17 @@ function historicalStart(value) {
 }
 
 function extractionTask(value, schema) {
-  const v2 = schema === TODO_EXTRACTION_SCHEMA_V2;
+  const v2 = [TODO_EXTRACTION_SCHEMA_V2, TODO_EXTRACTION_SCHEMA_V3].includes(schema);
+  const v3 = schema === TODO_EXTRACTION_SCHEMA_V3;
   const keys = [
     'task_id', 'title', 'lane', 'narrative_ref', 'compile_binding', 'disposition',
     'completion', 'source', 'migration_context',
   ];
   if (v2) keys.push('start');
+  if (v3) keys.push('design_memo');
   if (!exactRecord(value, keys) || !isTodoIdentifier(value.task_id) || !boundedText(value.title)
     || !isTodoIdentifier(value.lane) || (value.narrative_ref !== null && !isTodoRef(value.narrative_ref))
+    || (v3 && !isTodoDesignMemo(value.design_memo))
     || value.compile_binding !== null || !(v2 ? V2_DISPOSITIONS : V1_DISPOSITIONS).has(value.disposition)
     || !sourceLocation(value.source) || !migrationContext(value.migration_context)) return false;
   if (!v2) return value.disposition === 'register_done' ? completion(value.completion) : value.completion === null;
@@ -126,7 +131,7 @@ function validateJoins(value) {
     && sortedStrictly(value, (join) => join.id);
 }
 
-const reject = (reason, path = '') => ({ valid: false, reason, path });
+const reject = (reason, path = '', detail = {}) => ({ valid: false, reason, path, ...detail });
 
 /** value自体がexactRecordの対象になれる素朴なobjectかどうか（配列・nullを除く）。 */
 function plainObject(value) {
@@ -175,10 +180,13 @@ export function explainTodoExtraction(value) {
   try {
     if (!plainObject(value)) return reject('not_an_object', '');
     const schema = value.schema;
-    if (![TODO_EXTRACTION_SCHEMA, TODO_EXTRACTION_SCHEMA_V2].includes(schema)) {
-      return reject('schema_mismatch', '/schema');
+    if (![TODO_EXTRACTION_SCHEMA, TODO_EXTRACTION_SCHEMA_V2, TODO_EXTRACTION_SCHEMA_V3].includes(schema)) {
+      return reject('schema_mismatch', '/schema', {
+        expected: TODO_EXTRACTION_SCHEMA_V3, actual: typeof schema === 'string' ? schema : null,
+      });
     }
-    const v2 = schema === TODO_EXTRACTION_SCHEMA_V2;
+    const v2 = [TODO_EXTRACTION_SCHEMA_V2, TODO_EXTRACTION_SCHEMA_V3].includes(schema);
+    const v3 = schema === TODO_EXTRACTION_SCHEMA_V3;
     const topKeys = [
       'schema', 'project_id', 'plan_key', 'plan_version', 'actor', 'recorded_at',
       'tasks', 'hard_dependencies', 'joins', 'extraction_digest',
@@ -199,11 +207,33 @@ export function explainTodoExtraction(value) {
         'start', 'completion', 'source', 'migration_context']
       : ['task_id', 'title', 'lane', 'narrative_ref', 'compile_binding', 'disposition',
         'completion', 'source', 'migration_context'];
+    if (v3) taskKeys.push('design_memo');
     for (const [index, task] of value.tasks.entries()) {
       const taskKeyCheck = explainKeys(task, taskKeys, `/tasks/${index}`);
       if (!taskKeyCheck.valid) return taskKeyCheck;
+      if (v3 && !isTodoDesignMemo(task.design_memo)) {
+        return reject('design_memo_required', `/tasks/${index}/design_memo`, {
+          task_id: isTodoIdentifier(task.task_id) ? task.task_id : null,
+          expected: 'non-empty Markdown or NO_PLAN',
+        });
+      }
+      if (task.disposition === 'register_done'
+        && task.completion?.done_mode !== 'historical_import') {
+        return reject('enum_mismatch', `/tasks/${index}/completion/done_mode`, {
+          task_id: isTodoIdentifier(task.task_id) ? task.task_id : null,
+          expected: 'historical_import', actual: task.completion?.done_mode ?? null,
+        });
+      }
+      if (!Array.isArray(task.migration_context?.notes)) {
+        return reject('expected_array', `/tasks/${index}/migration_context/notes`, {
+          task_id: isTodoIdentifier(task.task_id) ? task.task_id : null,
+          expected: 'array', actual: typeof task.migration_context?.notes,
+        });
+      }
       if (!extractionTask(task, schema)) {
-        return reject('task_shape_invalid', `/tasks/${index}`);
+        return reject('task_shape_invalid', `/tasks/${index}`, {
+          task_id: isTodoIdentifier(task.task_id) ? task.task_id : null,
+        });
       }
     }
     const sortCheck = explainSortedStrictly(value.tasks, (task) => task.task_id, '/tasks');
@@ -216,7 +246,9 @@ export function explainTodoExtraction(value) {
     if (!isTodoDigest(value.extraction_digest)) return reject('invalid_digest', '/extraction_digest');
     const expectedDigest = todoSelfDigest(value, 'extraction_digest');
     if (value.extraction_digest !== expectedDigest) {
-      return reject('extraction_digest_mismatch', '/extraction_digest');
+      return reject('extraction_digest_mismatch', '/extraction_digest', {
+        expected: expectedDigest, actual: value.extraction_digest,
+      });
     }
     const taskIds = new Set(value.tasks.map(({ task_id: taskId }) => taskId));
     const badParent = value.tasks.find((task) => task.source.parent_task_id === task.task_id
@@ -255,7 +287,7 @@ export function validateTodoExtraction(value) {
     if (!exactRecord(value, [
       'schema', 'project_id', 'plan_key', 'plan_version', 'actor', 'recorded_at',
       'tasks', 'hard_dependencies', 'joins', 'extraction_digest',
-    ]) || ![TODO_EXTRACTION_SCHEMA, TODO_EXTRACTION_SCHEMA_V2].includes(schema)
+    ]) || ![TODO_EXTRACTION_SCHEMA, TODO_EXTRACTION_SCHEMA_V2, TODO_EXTRACTION_SCHEMA_V3].includes(schema)
       || !isTodoIdentifier(value.project_id)
       || !isTodoIdentifier(value.plan_key) || !isTodoIdentifier(value.plan_version)
       || !actor(value.actor) || !isStrictTodoTimestamp(value.recorded_at)
@@ -317,7 +349,8 @@ export function compileTodoExtraction(value, repoRoot) {
       repositories: [{ repo_id: 'self', path: '.' }],
     },
     plan: {
-      schema: 'lattice.todo_plan.v2',
+      schema: value.schema === TODO_EXTRACTION_SCHEMA_V3
+        ? 'lattice.todo_plan.v6' : 'lattice.todo_plan.v2',
       project_id: value.project_id,
       plan_key: value.plan_key,
       plan_version: value.plan_version,
@@ -326,9 +359,13 @@ export function compileTodoExtraction(value, repoRoot) {
         task_id: task.task_id,
         title: task.title,
         lane: task.lane,
+        ...(value.schema === TODO_EXTRACTION_SCHEMA_V3
+          ? { design_memo: task.design_memo } : {}),
         narrative_ref: task.narrative_ref,
         narrative_anchor: null,
         compile_binding: null,
+        ...(value.schema === TODO_EXTRACTION_SCHEMA_V3
+          ? { parent_task_id: task.source.parent_task_id } : {}),
       })),
       hard_dependencies: value.hard_dependencies,
       joins: value.joins,

package/src/todo-revision.mjs

@@ -66,14 +66,14 @@ export function phaseTodoRevisionPlanVersion({
   projectId, planKey, predecessor, desiredPlan, taskMigration, phaseMigration,
 }) {
   const versionDigest = digestTodoArtifact({
-    schema: desiredPlan.schema === 'lattice.todo_plan.v5'
+    schema: ['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(desiredPlan.schema)
       ? 'lattice.phase_todo_revision_version.v2' : 'lattice.phase_todo_revision_version.v1', project_id: projectId,
     plan_key: planKey, predecessor, desired_topology: {
       schema: desiredPlan.schema, project_id: desiredPlan.project_id,
       plan_key: desiredPlan.plan_key, predecessor_plan_digest: desiredPlan.predecessor_plan_digest,
       tasks: desiredPlan.tasks, phases: desiredPlan.phases,
       hard_dependencies: desiredPlan.hard_dependencies, joins: desiredPlan.joins,
-      ...(desiredPlan.schema === 'lattice.todo_plan.v5'
+      ...(['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(desiredPlan.schema)
         ? { phase_accept_dependencies: desiredPlan.phase_accept_dependencies } : {}),
     }, task_migration: taskMigration, phase_migration: phaseMigration,
   });
@@ -295,8 +295,9 @@ export function validatePhaseTodoRevision(value) {
     if (!exactRecord(value, keys) || (!revisionV1 && !revisionV2 && !revisionV3)) return false;
     if (!isTodoIdentifier(value.project_id) || !isTodoIdentifier(value.plan_key)) return false;
     if (!validPredecessor(value.predecessor) || !validateTodoPlan(value.desired_plan)
-      || value.desired_plan.schema !== ((revisionV2 || revisionV3)
-        ? 'lattice.todo_plan.v5' : 'lattice.todo_plan.v4')
+      || !(revisionV3
+        ? ['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(value.desired_plan.schema)
+        : value.desired_plan.schema === (revisionV2 ? 'lattice.todo_plan.v5' : 'lattice.todo_plan.v4'))
       || value.desired_plan.project_id !== value.project_id
       || value.desired_plan.plan_key !== value.plan_key
       || value.desired_plan.predecessor_plan_digest !== value.predecessor.plan_digest
@@ -370,7 +371,7 @@ export function validateTodoRevision(value) {
       || !exactRecord(value, revisionV1 ? REVISION_V1_KEYS : REVISION_V2_KEYS)
       || !isTodoIdentifier(value.project_id) || !isTodoIdentifier(value.plan_key)
       || !validPredecessor(value.predecessor) || !validateTodoPlan(value.desired_plan)
-      || value.desired_plan.schema !== 'lattice.todo_plan.v3'
+      || !['lattice.todo_plan.v3', 'lattice.todo_plan.v6'].includes(value.desired_plan.schema)
       || value.desired_plan.project_id !== value.project_id
       || value.desired_plan.plan_key !== value.plan_key
       || value.desired_plan.predecessor_plan_digest !== value.predecessor.plan_digest
@@ -729,7 +730,7 @@ export function explainTodoRevision(value) {
     const predecessorCheck = explainPredecessor(value.predecessor);
     if (!predecessorCheck.valid) return predecessorCheck;
     if (!validateTodoPlan(value.desired_plan)) return reject('desired_plan_invalid', '/desired_plan');
-    if (value.desired_plan.schema !== 'lattice.todo_plan.v3') {
+    if (!['lattice.todo_plan.v3', 'lattice.todo_plan.v6'].includes(value.desired_plan.schema)) {
       return reject('desired_plan_schema_mismatch', '/desired_plan/schema');
     }
     if (value.desired_plan.project_id !== value.project_id) {
@@ -817,8 +818,9 @@ export function explainPhaseTodoRevision(value) {
     const predecessorCheck = explainPredecessor(value.predecessor);
     if (!predecessorCheck.valid) return predecessorCheck;
     if (!validateTodoPlan(value.desired_plan)) return reject('desired_plan_invalid', '/desired_plan');
-    const expectedPlanSchema = (revisionV2 || revisionV3) ? 'lattice.todo_plan.v5' : 'lattice.todo_plan.v4';
-    if (value.desired_plan.schema !== expectedPlanSchema) {
+    const expectedPlanSchemas = revisionV3 ? ['lattice.todo_plan.v5', 'lattice.todo_plan.v7']
+      : [revisionV2 ? 'lattice.todo_plan.v5' : 'lattice.todo_plan.v4'];
+    if (!expectedPlanSchemas.includes(value.desired_plan.schema)) {
       return reject('desired_plan_schema_mismatch', '/desired_plan/schema');
     }
     if (value.desired_plan.project_id !== value.project_id) {

package/src/todo-status.mjs

@@ -247,9 +247,9 @@ function buildTodoGraph(readModel) {
         status: state.status,
         blocked_reason: state.blocked_reason,
         plan_schema: member.plan.schema,
-        phase_id: ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(member.plan.schema)
+        phase_id: ['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(member.plan.schema)
           ? task.phase_id : null,
-        phase_status: ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(member.plan.schema)
+        phase_status: ['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(member.plan.schema)
           ? phases.get(task.phase_id)?.status : null,
         phase_ready: member.plan.schema !== 'lattice.todo_plan.v4'
           || phases.get(task.phase_id)?.status === 'active',
@@ -272,7 +272,7 @@ function buildTodoGraph(readModel) {
     for (const join of member.plan.joins) {
       for (const after of join.after) addPredecessor(after, join.before);
     }
-    if (member.plan.schema === 'lattice.todo_plan.v5') {
+    if (['lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(member.plan.schema)) {
       for (const edge of member.plan.phase_accept_dependencies) {
         const target = refKey(edge.to);
         if (!nodes.has(target)) fail('TODO_STATUS_INVALID_INPUT', 'todo_status_dependency_dangling');