@quolu/lattice 0.39.0 → 0.39.2

package/bin/lattice-dashboard.mjs

@@ -8,6 +8,7 @@ import { projectTodoStatus } from '../src/todo-status.mjs';
 import { ganttLiveHeadDigest, renderPublicTodoGanttForProject } from '../src/todo-cli.mjs';
 import {
   readVisibleTodoDashboardProjects,
+  todoDashboardMemberNeedsVisibility,
   writeTodoDashboardDaemonDescriptor,
 } from '../src/todo-dashboard-registry.mjs';
 import {
@@ -58,7 +59,9 @@ async function synchronize() {
   const active = await readVisibleTodoDashboardProjects({ env,
     projectHasActiveRun: async (entry) => {
       try {
-        const active = projectTodoStatus(await readCachedStore(entry.repo_root)).active_set.length > 0;
+        const store = await readCachedStore(entry.repo_root);
+        const active = projectTodoStatus(store).active_set.length > 0
+          || store.members.some(todoDashboardMemberNeedsVisibility);
         reportedStoreReadFailures.delete(entry.project_id);
         return active;
       } catch (error) {

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

@@ -47,7 +47,7 @@
     },
     "text": { "type": "string", "minLength": 1, "maxLength": 16384 },
     "designMemo": {
-      "type": "string", "minLength": 1, "maxLength": 262144, "pattern": "\\S",
+      "type": "string", "minLength": 1, "maxLength": 16384, "pattern": "\\S",
       "description": "Markdown design memo. Use the literal NO_PLAN only when no plan exists."
     },
     "nullableText": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/text" }] },

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

@@ -158,7 +158,7 @@
         "task_id": { "$ref": "#/$defs/identifier" },
         "title": { "$ref": "#/$defs/nullableText" },
         "lane": { "$ref": "#/$defs/identifier" },
-        "design_memo": { "type": "string", "minLength": 1, "maxLength": 262144, "pattern": "\\S" },
+        "design_memo": { "type": "string", "minLength": 1, "maxLength": 16384, "pattern": "\\S" },
         "narrative_ref": { "$ref": "#/$defs/nullableRepoRef" },
         "narrative_anchor": { "oneOf": [{ "type": "null" }, { "$ref": "#/$defs/narrativeAnchor" }] },
         "compile_binding": { "$ref": "#/$defs/compileBinding" },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.39.0",
+  "version": "0.39.2",
   "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",

package/src/cli-help.mjs

@@ -26,7 +26,7 @@ Commands:
   create --input <file> [--serialization-reviewed]
       # 依存グラフがほぼ一直線（serialization_ratioが閾値超）なら一度突き返す。
       # 再考した上でなお直列でよいなら --serialization-reviewed を付けて再実行する
-  create --schema --json             # 既定は最新版（v3）のJSON Schemaを返す
+  create --schema --json             # 既定は最新版（v4）のJSON Schemaを返す
   create --schema-version <1|2|3|4> --json
   show <plan_key> --json             # task・依存・phase・状態をplan本体から1コマンドで投影する
   compile --request <request.json>
@@ -182,6 +182,9 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo verify': 'todo verify [--plan <key>] [--json]',
   'todo snapshot': 'todo snapshot --rebuild --plan <key>',
   'todo gantt': 'todo gantt serve --port <port> [--scope live|all]  # 動的表示のみ。静的HTML生成は廃止',
+  'todo gantt serve': 'todo gantt serve --port <0..65535> [--scope live|all]  # loopback動的viewer',
+  'todo dashboard': 'todo dashboard adopt --json  # 配信元rootの衝突を明示的に解消',
+  'todo dashboard adopt': 'todo dashboard adopt --json  # 現在repoをproject_idの配信元として明示採用',
   '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>',

package/src/project-cli.mjs

@@ -7,6 +7,7 @@ import {
   TODO_DESIGN_MEMO_PROMPT,
   canonicalizeTodoArtifact,
   exactRecord,
+  explainTodoDesignMemo,
   isTodoDesignMemo,
   isStrictTodoTimestamp,
   isTodoDigest,
@@ -196,14 +197,16 @@ function statusResult(fields) {
   return result;
 }
 
-function invalidStatus({ cliVersion, repoRoot, reason }) {
+function invalidStatus({ cliVersion, repoRoot, reason, nextAction = null }) {
   return statusResult({
     cli: { available: true, version: cliVersion },
     project: repoRoot === null ? null : { root: repoRoot, git_head: gitHead(repoRoot), project_id: null },
     state: 'invalid',
     store: { ref: STORE_REF, absolute_path: repoRoot === null ? null : path.join(repoRoot, STORE_REF) },
     active_plans: [], active_runs: [], can_create_plan: false,
-    next_action: { command: repoRoot === null ? 'git status' : 'lattice todo verify', reason },
+    next_action: nextAction ?? {
+      command: repoRoot === null ? 'git status' : 'lattice todo verify', reason,
+    },
   });
 }
 
@@ -448,14 +451,43 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
   const repoRoot = resolveRepoRoot(cwd);
   if (repoRoot === null) throw new TodoStoreError('REPO_UNRESOLVED', 'git_toplevel_unresolved');
   const input = await readCanonicalInput(repoRoot, inputRef);
-  if (input?.schema !== MEMO_PHASE_CREATE_INPUT_SCHEMA
-    || !Array.isArray(input.tasks) || input.tasks.some((task) => !isTodoDesignMemo(task?.design_memo))) {
-    throw new TodoStoreError('DESIGN_MEMO_REQUIRED', 'plan_create_design_memo_required', undefined, {
-      prompt: TODO_DESIGN_MEMO_PROMPT,
+  if (input?.schema !== MEMO_PHASE_CREATE_INPUT_SCHEMA) {
+    throw new TodoStoreError('INPUT_INVALID', 'plan_create_schema_retired', undefined, {
+      violation_kind: 'const_mismatch', pointer: '/schema',
+      expected: MEMO_PHASE_CREATE_INPUT_SCHEMA,
+      actual: typeof input?.schema === 'string' ? input.schema : { type: typeof input?.schema },
+      next_action: CURRENT_CREATE_SCHEMA_COMMAND,
+    });
+  }
+  if (!Array.isArray(input.tasks)) {
+    throw new TodoStoreError('INPUT_INVALID', 'plan_create_schema_invalid', undefined, {
+      violation_kind: 'type', pointer: '/tasks', expected: { type: 'array', min_items: 1 },
+      actual: { type: input.tasks === null ? 'null' : typeof input.tasks },
       next_action: CURRENT_CREATE_SCHEMA_COMMAND,
     });
   }
-  if (!validateCreateInput(input)) throw new TodoStoreError('INPUT_INVALID', 'plan_create_schema_invalid');
+  const invalidMemoIndex = input.tasks.findIndex((task) => !isTodoDesignMemo(task?.design_memo));
+  if (invalidMemoIndex >= 0) {
+    const explained = explainTodoDesignMemo(input.tasks[invalidMemoIndex]?.design_memo);
+    throw new TodoStoreError('DESIGN_MEMO_REQUIRED', 'plan_create_design_memo_required', undefined, {
+      violation_kind: explained.reason, pointer: `/tasks/${invalidMemoIndex}/design_memo`,
+      expected: explained.expected, actual: explained.actual,
+      prompt: TODO_DESIGN_MEMO_PROMPT, next_action: CURRENT_CREATE_SCHEMA_COMMAND,
+    });
+  }
+  if (!validateCreateInput(input)) {
+    const digestValid = isTodoDigest(input.input_digest)
+      && input.input_digest === todoSelfDigest(input, 'input_digest');
+    throw new TodoStoreError('INPUT_INVALID', 'plan_create_schema_invalid', undefined, {
+      violation_kind: digestValid ? 'schema_or_topology_invalid' : 'input_digest_mismatch',
+      pointer: digestValid ? '/' : '/input_digest',
+      expected: digestValid ? { schema: MEMO_PHASE_CREATE_INPUT_SCHEMA }
+        : todoSelfDigest(input, 'input_digest'),
+      actual: digestValid ? { validation: 'failed' }
+        : { type: typeof input.input_digest, matches_canonical_input: false },
+      next_action: 'correct_the_reported_pointer_then_rerun_plan_create',
+    });
+  }
   // dispatch_shapeのgateはstore初期化より前に判定する（拒否時にstoreへ何も書かないため、
   // 再考後の再実行がplan_key_already_existsで詰まらない）。
   const dispatchShape = computeTodoDispatchShapeForPlan({
@@ -624,9 +656,15 @@ export async function runPlanShow({ cwd, planKey, stdout }) {
 }
 
 export function projectStatusFailure({ cwd, stdout, cliVersion, error }) {
+  const projectRootConflict = error?.code === 'PROJECT_ROOT_CONFLICT';
   const result = invalidStatus({
     cliVersion, repoRoot: resolveRepoRoot(cwd),
-    reason: `status_internal_failure:${error?.constructor?.name ?? 'Error'}`,
+    reason: projectRootConflict
+      ? 'project_root_conflict'
+      : `status_internal_failure:${error?.constructor?.name ?? 'Error'}`,
+    ...(projectRootConflict ? { nextAction: {
+      command: 'lattice todo dashboard adopt --json', reason: 'project_root_conflict',
+    } } : {}),
   });
   stdout.write(`${JSON.stringify(result)}\n`);
   return 1;

package/src/runtime-cli.mjs

@@ -2287,6 +2287,11 @@ export async function runManagedSupervisorDaemon({
         }
         activation = await activateController({ repoRoot, runId: request.request_id,
           adapterKind: legacyMeta.executor_adapter });
+        const activationDelayMs = process.env.NODE_ENV === 'test'
+          ? Number(process.env.LATTICE_INTERNAL_TEST_ACTIVATION_DELAY_MS ?? 0) : 0;
+        if (Number.isSafeInteger(activationDelayMs) && activationDelayMs > 0) {
+          await new Promise((resolve) => setTimeout(resolve, activationDelayMs));
+        }
         if (process.env.NODE_ENV === 'test'
           && process.env.LATTICE_INTERNAL_TEST_CONTROLLER_COUNT === '2') {
           additionalActivations = [await activateController({ repoRoot, runId: request.request_id,
@@ -3293,6 +3298,21 @@ export async function runManagedSupervisorDaemon({
         known = { ...known, state: 'in_progress', response: null };
       }
     }
+    // 初回activateがsocket timeoutを超えても、同一request_idの再照会を二重activateとして
+    // 実行しない。初回daemon（run_meta.v1）に残るin_progressは、activation代入前後のどちらでも
+    // 同じ処理がまだ走っている状態なのでunknownを返す。daemon再起動後（run_meta.v2）の
+    // in_progressだけは、直後のrecovery分岐がdurable ledgerから処理を再開する。
+    if (known?.state === 'in_progress' && controlRequest.operation === 'activate'
+      && !restarting) {
+      const events = await readBoundedJson(path.join(runDir, 'events.json'), 'run events').catch(() => []);
+      const journal = await eventStore.readEvents();
+      const result = buildControlResult({ operation: controlRequest.operation, outcome: 'unknown',
+        eventHeadDigest: events.at(-1)?.event_digest ?? null,
+        controlHeadDigest: journal.at(-1)?.event_digest ?? null, activeEpoch: 1,
+        unmet: ['RUN_OUTCOME_UNKNOWN', '同一request_idのactivateはまだ処理中'] });
+      return buildControlResponse(controlRequest, 'unknown', result,
+        journal.at(-1)?.event_digest ?? null);
+    }
     if (known !== null && controlRequest.operation === 'activate') {
       const active = await resolveActiveRuntimePaths({ runDir }).catch(() => null);
       if (active?.pointer?.activation_request_id === controlRequest.request_id

package/src/todo-cli.mjs

@@ -12,6 +12,7 @@ import {
   canonicalizeTodoArtifact,
   digestTodoArtifact,
   exactRecord,
+  explainTodoDesignMemo,
   isTodoDigest,
   isTodoDesignMemo,
   isTodoIdentifier,
@@ -1116,10 +1117,20 @@ async function migrateDryRun({ repoRoot, inputRef, serializationReviewed = false
   const extraction = await readMigrationInput(repoRoot, inputRef, { requireValid: false });
   const violations = [];
   const tasks = Array.isArray(extraction?.tasks) ? extraction.tasks : [];
-  const missingMemoIds = tasks.filter((task) => !isTodoDesignMemo(task?.design_memo))
-    .map((task) => task?.task_id).filter(isTodoIdentifier).slice(0, 64);
-  if (extraction?.schema !== TODO_EXTRACTION_SCHEMA_V3 || missingMemoIds.length > 0) {
-    violations.push({ code: 'design_memo_required', path: '/tasks', task_ids: missingMemoIds,
+  const invalidMemos = tasks.map((task, index) => ({
+    task, index, explained: explainTodoDesignMemo(task?.design_memo),
+  })).filter(({ explained }) => !explained.valid).slice(0, 64);
+  if (extraction?.schema !== TODO_EXTRACTION_SCHEMA_V3) {
+    violations.push({ code: 'schema_retired', path: '/schema', task_ids: [],
+      expected: TODO_EXTRACTION_SCHEMA_V3,
+      actual: typeof extraction?.schema === 'string' ? extraction.schema
+        : { type: typeof extraction?.schema },
+      next_action: 'lattice todo migrate --schema --json' });
+  }
+  for (const { task, index, explained } of invalidMemos) {
+    violations.push({ code: `design_memo_${explained.reason}`, path: `/tasks/${index}/design_memo`,
+      task_ids: isTodoIdentifier(task?.task_id) ? [task.task_id] : [],
+      expected: explained.expected, actual: explained.actual,
       prompt: TODO_DESIGN_MEMO_PROMPT, next_action: 'lattice todo migrate --schema --json' });
   }
   const schemaValid = extraction?.schema === TODO_EXTRACTION_SCHEMA_V3
@@ -1171,13 +1182,23 @@ async function migrateDryRun({ repoRoot, inputRef, serializationReviewed = false
           task_ids: error?.detail?.critical_path_task_ids ?? [],
           next_action: 'reconsider_parallel_seams_or_pass_serialization_reviewed' });
       }
+    } catch (error) {
+      plannedPlan = null;
+      dispatchShape = null;
+      violations.push({ code: error?.detail?.reason ?? 'topology_invalid', path: '/hard_dependencies',
+        task_ids: [], next_action: 'correct_extraction_topology' });
+    }
+    if (plannedPlan !== null && dispatchShape !== null) {
       violations.push(...extractionFreshnessViolations(repoRoot, extraction));
       let manifestPresent = false;
       try {
         const stats = await lstat(path.join(repoRoot, '.lattice', 'todo', 'manifest.json'));
         manifestPresent = stats.isFile() && !stats.isSymbolicLink();
       } catch (error) {
-        if (error?.code !== 'ENOENT') throw error;
+        if (error?.code !== 'ENOENT') {
+          throw new TodoStoreError('MIGRATION_DRY_RUN_IO_FAILED', 'manifest_status_unreadable',
+            undefined, { path: '.lattice/todo/manifest.json' });
+        }
       }
       if (manifestPresent) {
         const store = await readTodoStore({ repoRoot });
@@ -1190,9 +1211,6 @@ async function migrateDryRun({ repoRoot, inputRef, serializationReviewed = false
             next_action: 'choose_a_new_plan_key_or_use_revision' });
         }
       }
-    } catch (error) {
-      violations.push({ code: error?.detail?.reason ?? 'topology_invalid', path: '/hard_dependencies',
-        task_ids: [], next_action: 'correct_extraction_topology' });
     }
   }
   const bounded = violations.slice(0, 64);
@@ -2329,7 +2347,11 @@ async function ensureActiveProjectDashboard({ repoRoot, env }) {
     });
   } catch (error) {
     throw new TodoStoreError(error?.code ?? 'DASHBOARD_DAEMON_UNAVAILABLE',
-      'dashboard_daemon_ensure_failed', undefined, { project_id: store.project_id });
+      'dashboard_daemon_ensure_failed', undefined, {
+        project_id: store.project_id,
+        ...(typeof error?.detail?.next_action === 'string'
+          ? { next_action: error.detail.next_action } : {}),
+      });
   }
 }
 
@@ -2573,10 +2595,10 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
     action = (repoRoot) => serveGantt({
       repoRoot, port: Number(argv[3]), stdout, env, scope: argv[5],
     });
-  } else if (argv[0] === 'gantt') {
+  } else if (argv[0] === 'gantt' && argv[1] !== 'serve') {
     action = () => {
       throw new TodoStoreError('STATIC_GANTT_RETIRED', 'dynamic_dashboard_only', undefined, {
-        next_action: 'lattice todo status --json',
+        next_action: 'lattice todo gantt serve --port 0',
       });
     };
   } else if ((argv.length === 5 || argv.length === 6) && argv[0] === 'migrate'
@@ -2688,17 +2710,20 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
         next_action: 'lattice todo --help',
       });
     }
+    const argumentHelp = argv[0] === 'gantt' && argv[1] === 'serve'
+      ? 'lattice todo gantt serve --help'
+      : command === null ? 'lattice todo --help' : `lattice todo ${command} --help`;
     return typedArgumentFailure(stderr, 'INVALID_ARGUMENTS', 'todo_arguments_invalid', {
-      command, next_action: command === null ? 'lattice todo --help' : `lattice todo ${command} --help`,
+      command, next_action: argumentHelp,
     });
   }
 
   try {
     const repoRoot = resolveRepoRoot(cwd);
-    const manualServe = argv[0] === 'gantt' && argv[1] === 'serve';
+    const ganttCommand = argv[0] === 'gantt';
     const dashboardAdopt = argv[0] === 'dashboard' && argv[1] === 'adopt';
     const migrationDryRun = argv[0] === 'migrate' && argv.includes('--dry-run');
-    if (!manualServe && !dashboardAdopt && !migrationDryRun) {
+    if (!ganttCommand && !dashboardAdopt && !migrationDryRun) {
       await ensureActiveProjectDashboard({ repoRoot, env });
     }
     const result = await action(repoRoot);

package/src/todo-contracts.mjs

@@ -159,9 +159,34 @@ 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);
+/** 設計メモの拒否理由を、本文をerrorへ複製せずAIが訂正できる形で返す。 */
+export function explainTodoDesignMemo(value) {
+  const expected = {
+    type: 'string', non_whitespace: true,
+    max_characters: TODO_LIMITS.noteBodyBytes, max_utf8_bytes: TODO_LIMITS.noteBodyBytes,
+    forbidden_control_characters: false,
+  };
+  if (typeof value !== 'string') {
+    return { valid: false, reason: 'type', expected,
+      actual: { type: value === null ? 'null' : typeof value } };
+  }
+  const byteLength = Buffer.byteLength(value, 'utf8');
+  if (value.trim().length === 0) {
+    return { valid: false, reason: 'blank', expected,
+      actual: { byte_length: byteLength, non_whitespace: false } };
+  }
+  if (value.length > TODO_LIMITS.noteBodyBytes || byteLength > TODO_LIMITS.noteBodyBytes) {
+    return { valid: false, reason: 'too_large', expected,
+      actual: { character_length: value.length, byte_length: byteLength } };
+  }
+  if (NOTE_FORBIDDEN_CONTROL.test(value)) {
+    return { valid: false, reason: 'forbidden_control', expected,
+      actual: { byte_length: byteLength, contains_forbidden_control: true } };
+  }
+  return { valid: true };
+}
+
+export const isTodoDesignMemo = (value) => explainTodoDesignMemo(value).valid;
 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'])

package/src/todo-dashboard-registry.mjs

@@ -20,6 +20,7 @@ const REGISTRY_SCHEMA = 'lattice.todo_dashboard_registry.v1';
 const DAEMON_SCHEMA = 'lattice.todo_dashboard_daemon.v1';
 const DEFAULT_PORT = 0;
 export const TODO_DASHBOARD_STALE_MS = 2 * 60 * 60 * 1_000;
+const TODO_DASHBOARD_ATTENTION_PHASE_STATUS = new Set(['gate_ready', 'reviewing', 'rejected']);
 const LOCK_ATTEMPTS = 240;
 const LOCK_WAIT_MS = 25;
 const LOCK_STALE_MS = 30_000;
@@ -54,6 +55,12 @@ function validEntry(entry) {
     && Number.isFinite(Date.parse(entry.last_seen_at));
 }
 
+/** active taskが無くても、監査の判断待ち・棄却後なら公開工程から消してはいけない。 */
+export function todoDashboardMemberNeedsVisibility(member) {
+  return Array.isArray(member?.phases)
+    && member.phases.some(({ status }) => TODO_DASHBOARD_ATTENTION_PHASE_STATUS.has(status));
+}
+
 function validateRegistry(value) {
   if (value === null || typeof value !== 'object' || Array.isArray(value)
     || value.schema !== REGISTRY_SCHEMA || !Array.isArray(value.projects)
@@ -169,7 +176,10 @@ export async function registerTodoDashboardActivity({
       error.code = 'PROJECT_ROOT_CONFLICT';
       // 公開・CLI errorへlocal absolute pathを運ばない。project_idだけで人と機械が
       // 衝突対象を特定でき、registry bytesはこの分岐より後で一切変更しない。
-      error.detail = { project_id: projectId };
+      error.detail = {
+        project_id: projectId,
+        next_action: 'lattice todo dashboard adopt --json',
+      };
       throw error;
     }
     const projects = current.projects.filter((entry) => entry.project_id !== projectId);

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

@@ -95,7 +95,7 @@ export function renderIndependenceNote(ref, node, summary) {
 }
 
 export function renderRightPane(
-  sections, layout, presentation, readModel, notesEnabled = false, noteWarnings = [],
+  sections, layout, presentation, readModel, notesEnabled = false, noteWarnings = [], expandable = false,
 ) {
   const lookup = presentationLookup(presentation);
   const sectionByKey = new Map(sections.map((section) => [refKey(section.ref), section]));
@@ -160,7 +160,9 @@ 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">完走済みのため図には描いていません。図に出すには動的dashboardを <code>lattice todo gantt serve --port &lt;port&gt; --scope all</code> で起動してください。</p>';
+      : expandable
+        ? '<p class="fold-note">完走済みのため既定の図には描いていません。左上の「完走済み」バッジを押すと、このページ内で表示できます。</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) : '';
     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>`;

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

@@ -110,22 +110,46 @@ export function renderRelationList(relations, sectionByKey, lookup, emptyText, f
 }
 
 /** Phase states that are over: nothing is dispatched or judged under them again. */
-export const SETTLED_PHASE_STATUS = Object.freeze(['accepted', 'rejected']);
+export const SETTLED_PHASE_STATUS = Object.freeze(['accepted', 'closed_unaudited']);
+
+function phaseGuidance(planKey, phase) {
+  if (phase.status === 'gate_ready') return {
+    reason: '全ToDoは完了していますが、終端監査がまだ受理されていません。',
+    next: `lattice todo phase review --plan ${planKey} --phase ${phase.phase_id} --reason <text>`,
+  };
+  if (phase.status === 'reviewing') return {
+    reason: '終端監査を実施中です。受理または棄却の判断がまだ記録されていません。',
+    next: `lattice todo phase accept --plan ${planKey} --phase ${phase.phase_id} --input <file>`,
+  };
+  if (phase.status === 'rejected') return {
+    reason: '終端監査で棄却され、修正または再監査が必要です。',
+    next: `lattice todo phase reopen --plan ${planKey} --phase ${phase.phase_id} --reason <text>`,
+  };
+  return null;
+}
 
 export function renderPhaseProgress(readModel) {
   const rows = [];
   const settledRows = [];
   for (const member of readModel.members) {
-    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) {
-      const tasks = member.plan.tasks.filter((task) => task.phase_id === phase.phase_id);
+    // snapshot artifactの形式には縛られない導出ビュー(member.phases)を正本にする(ADR 0147)。
+    // plan.phasesは表示metadataだけを補い、暗黙terminal-auditやmetadata欠落を落とさない。
+    const metadata = new Map((member.plan.phases ?? []).map((phase) => [phase.phase_id, phase]));
+    for (const state of member.phases ?? []) {
+      const phase = metadata.get(state.phase_id) ?? {
+        phase_id: state.phase_id,
+        title: state.phase_id === 'terminal-audit' ? '終端監査（暗黙）' : state.phase_id,
+        gate_policy: 'heavy',
+      };
+      const tasks = metadata.has(state.phase_id)
+        ? member.plan.tasks.filter((task) => task.phase_id === state.phase_id)
+        : member.plan.tasks;
       const states = new Map(member.tasks.map((task) => [task.task_id, task.status]));
       const done = tasks.filter((task) => states.get(task.task_id) === 'done').length;
-      const state = phases.get(phase.phase_id);
-      const row = `<li class="phase-progress status-${escapeHtmlAttribute(state.status)}"><header><strong>${escapeHtmlText(phase.title ?? phase.phase_id)}</strong><span>${escapeHtmlText(state.status)}</span></header><p><code>${escapeHtmlText(`${member.plan.plan_key}/${phase.phase_id}`)}</code> — policy <code>${escapeHtmlText(phase.gate_policy)}</code> — ToDo ${done}/${tasks.length}</p><progress max="${tasks.length}" value="${done}">${done}/${tasks.length}</progress></li>`;
+      const guidance = phaseGuidance(member.plan.plan_key, state);
+      const guidanceMarkup = guidance === null ? ''
+        : `<p><strong>状態の意味:</strong> ${escapeHtmlText(guidance.reason)}</p><p><strong>次の一歩:</strong> <code>${escapeHtmlText(guidance.next)}</code></p>`;
+      const row = `<li class="phase-progress status-${escapeHtmlAttribute(state.status)}"><header><strong>${escapeHtmlText(phase.title ?? phase.phase_id)}</strong><span>${escapeHtmlText(state.status)}</span></header><p><code>${escapeHtmlText(`${member.plan.plan_key}/${phase.phase_id}`)}</code> — policy <code>${escapeHtmlText(phase.gate_policy)}</code> — ToDo ${done}/${tasks.length}</p>${guidanceMarkup}<progress max="${tasks.length}" value="${done}">${done}/${tasks.length}</progress></li>`;
       // A settled Phase is history. It stays reachable, but it does not push the
       // live ones off the first screen.
       (SETTLED_PHASE_STATUS.includes(state.status) ? settledRows : rows).push(row);

package/src/todo-gantt-html.mjs

@@ -56,6 +56,14 @@ function normalizeSections(readModel, narratives, anchorOutcomes, noteContexts)
       const narrative = supplied.get(refKey(ref));
       const markdown = narrative?.markdown ?? '';
       const narrativeRef = narrative?.narrative_ref ?? task.narrative_ref;
+      if (typeof task.design_memo === 'string') {
+        proseBytes += Buffer.byteLength(task.design_memo, 'utf8');
+        if (proseBytes > TODO_GANTT_PROSE_MAX_BYTES) {
+          throw new TodoGanttRenderError('TODO_SCALE_EXCEEDED', 'todo gantt embedded prose limit exceeded', {
+            prose_bytes: proseBytes, prose_limit: TODO_GANTT_PROSE_MAX_BYTES,
+          });
+        }
+      }
       // ToDos that share one narrative document count its bytes once.
       const documentKey = narrativeRef === null
         ? refKey(ref) : JSON.stringify([member.plan.plan_key, narrativeRef, digest(markdown)]);
@@ -175,6 +183,7 @@ export function renderTodoGanttHtml({
     : `<div data-diagram="live">${svg}</div><div data-diagram="expanded" hidden>${expandedSvg}</div>`;
   const rightPane = renderRightPane(
     normalized.sections, layout, presentation, readModel, noteContexts !== null, noteWarnings,
+    expandedSvg !== '',
   );
   const staticData = serializeJsonForScript({
     renderer_version: TODO_GANTT_RENDERER_VERSION,

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 !['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7'].includes(schema);
+  return !['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(schema);
 }
 
 /**

package/src/todo-migration.mjs

@@ -257,7 +257,26 @@ export function explainTodoExtraction(value) {
       return reject('parent_task_id_unresolved',
         `/tasks/${value.tasks.indexOf(badParent)}/source/parent_task_id`);
     }
-    if (!localRefsResolve(value)) return reject('local_ref_unresolved', '');
+    const excluded = new Set(value.tasks
+      .filter((task) => task.disposition.startsWith('exclude_'))
+      .map(({ task_id }) => task_id));
+    const excludedParent = value.tasks.find((task) => task.disposition.startsWith('register_')
+      && task.source.parent_task_id !== null && excluded.has(task.source.parent_task_id));
+    if (excludedParent !== undefined) {
+      return reject('registered_parent_task_id_unresolved',
+        `/tasks/${value.tasks.indexOf(excludedParent)}/source/parent_task_id`, {
+          task_id: excludedParent.task_id,
+          expected: 'task_id not excluded from the compiled plan',
+          actual: excludedParent.source.parent_task_id,
+        });
+    }
+    const localRefViolation = firstUnregisteredLocalRef(value);
+    if (localRefViolation !== null) {
+      return reject('local_ref_unresolved', localRefViolation.path, {
+        task_id: localRefViolation.task_id,
+        expected: 'registered task_id', actual: localRefViolation.task_id,
+      });
+    }
     // ここまでの個別検査を全て通過したのに`validateTodoExtraction`がfalseを返す状況は、
     // このexplainがまだ言い当てられない違反があるということ。捏造せず未特定と申告する。
     return { valid: true };
@@ -273,11 +292,25 @@ function registeredTaskIds(value) {
 }
 
 function localRefsResolve(value) {
+  return firstUnregisteredLocalRef(value) === null;
+}
+
+function firstUnregisteredLocalRef(value) {
   const registered = registeredTaskIds(value);
-  const local = (ref) => ref.project_id !== value.project_id || ref.plan_key !== value.plan_key
-    || registered.has(ref.task_id);
-  return value.hard_dependencies.every((edge) => local(edge.from) && local(edge.to))
-    && value.joins.every((join) => local(join.before) && join.after.every(local));
+  const unresolved = (ref) => ref.project_id === value.project_id && ref.plan_key === value.plan_key
+    && !registered.has(ref.task_id);
+  for (const [index, edge] of value.hard_dependencies.entries()) {
+    if (unresolved(edge.from)) return { path: `/hard_dependencies/${index}/from`, task_id: edge.from.task_id };
+    if (unresolved(edge.to)) return { path: `/hard_dependencies/${index}/to`, task_id: edge.to.task_id };
+  }
+  for (const [index, join] of value.joins.entries()) {
+    if (unresolved(join.before)) return { path: `/joins/${index}/before`, task_id: join.before.task_id };
+    const afterIndex = join.after.findIndex(unresolved);
+    if (afterIndex >= 0) {
+      return { path: `/joins/${index}/after/${afterIndex}`, task_id: join.after[afterIndex].task_id };
+    }
+  }
+  return null;
 }
 
 /** Exact, bounded validation for the AI-authored G4 intermediate artifact. */
@@ -303,6 +336,11 @@ export function validateTodoExtraction(value) {
     const taskIds = new Set(value.tasks.map(({ task_id }) => task_id));
     if (value.tasks.some((task) => task.source.parent_task_id === task.task_id
       || (task.source.parent_task_id !== null && !taskIds.has(task.source.parent_task_id)))) return false;
+    const excluded = new Set(value.tasks
+      .filter((task) => task.disposition.startsWith('exclude_'))
+      .map(({ task_id }) => task_id));
+    if (value.tasks.some((task) => task.disposition.startsWith('register_')
+      && task.source.parent_task_id !== null && excluded.has(task.source.parent_task_id))) return false;
     return localRefsResolve(value);
   } catch {
     return false;
@@ -326,7 +364,12 @@ export function todoExtractionImportSource(task) {
  */
 export function compileTodoExtraction(value, repoRoot) {
   if (!validateTodoExtraction(value)) {
-    throw new TodoStoreError('INVALID_TODO_EXTRACTION', 'schema_invalid');
+    const explained = explainTodoExtraction(value);
+    throw new TodoStoreError('INVALID_TODO_EXTRACTION', 'schema_invalid', undefined,
+      explained.valid ? undefined : {
+        violation_reason: explained.reason, violation_path: explained.path,
+        ...(explained.task_id === undefined ? {} : { task_id: explained.task_id }),
+      });
   }
   const unresolved = value.tasks
     .filter(({ disposition }) => disposition === 'unknown_requires_evidence')

package/src/todo-store.mjs

@@ -1933,7 +1933,9 @@ function localTaskRef(ref, plan, taskId) {
     && ref.task_id === taskId;
 }
 
-function taskSemantics(plan, taskId, idMap, { reconciliationMetadata = false } = {}) {
+function taskSemantics(plan, taskId, idMap, {
+  reconciliationMetadata = false, includeDesignMemo = false,
+} = {}) {
   const task = plan.tasks.find(({ task_id }) => task_id === taskId);
   if (!task) return null;
   const mapId = (id) => id === null ? null : idMap.get(id) ?? id;
@@ -1942,6 +1944,7 @@ function taskSemantics(plan, taskId, idMap, { reconciliationMetadata = false } =
     compile_binding: task.compile_binding,
   } : {
     task_id: mapId(task.task_id), title: task.title, lane: task.lane,
+    ...(includeDesignMemo ? { design_memo: task.design_memo } : {}),
     narrative_ref: task.narrative_ref, narrative_anchor: task.narrative_anchor ?? null,
     compile_binding: task.compile_binding, parent_task_id: mapId(task.parent_task_id ?? null),
   };
@@ -1967,7 +1970,7 @@ function taskSemantics(plan, taskId, idMap, { reconciliationMetadata = false } =
 }
 
 function phaseV3CarrySemantics(plan, taskId, taskIdMap, phaseIdMap,
-  { reconciliationMetadata = false } = {}) {
+  { reconciliationMetadata = false, includeDesignMemo = false } = {}) {
   const task = plan.tasks.find(({ task_id: id }) => id === taskId);
   if (task === undefined) return null;
   const mapTaskRef = (ref) => ref.project_id === plan.project_id && ref.plan_key === plan.plan_key
@@ -1982,8 +1985,12 @@ function phaseV3CarrySemantics(plan, taskId, taskIdMap, phaseIdMap,
     task_id: taskIdMap.get(task.task_id) ?? task.task_id, title: task.title, lane: task.lane,
     compile_binding: task.compile_binding,
     phase_id: mappedPhaseId,
-  } : { ...task,
+  } : {
     task_id: taskIdMap.get(task.task_id) ?? task.task_id,
+    title: task.title, lane: task.lane,
+    ...(includeDesignMemo ? { design_memo: task.design_memo } : {}),
+    narrative_ref: task.narrative_ref, narrative_anchor: task.narrative_anchor ?? null,
+    compile_binding: task.compile_binding,
     phase_id: mappedPhaseId,
     parent_task_id: task.parent_task_id === null ? null
       : taskIdMap.get(task.parent_task_id) ?? task.parent_task_id,
@@ -2013,14 +2020,16 @@ function phaseV3CarrySemantics(plan, taskId, taskIdMap, phaseIdMap,
 
 function validatePhaseV3Carry(previous, revision, migration, idMap, state) {
   const reconciliationMetadata = migration.state_policy === 'carry_reconciled_metadata';
+  const predecessorTask = previous.plan.tasks.find(({ task_id }) => task_id === migration.from_task_id);
+  const includeDesignMemo = !reconciliationMetadata && typeof predecessorTask?.design_memo === 'string';
   const phaseIdMap = new Map(revision.phase_migration
     .filter(({ from_phase_id, to_phase_id }) => from_phase_id !== null && to_phase_id !== 'removed')
     .map(({ from_phase_id, to_phase_id }) => [from_phase_id, to_phase_id]));
   const before = phaseV3CarrySemantics(previous.plan, migration.from_task_id, idMap, phaseIdMap,
-    { reconciliationMetadata });
+    { reconciliationMetadata, includeDesignMemo });
   const after = phaseV3CarrySemantics(revision.desired_plan, migration.to_task_id,
     new Map(), new Map(),
-    { reconciliationMetadata });
+    { reconciliationMetadata, includeDesignMemo });
   if (canonicalizeTodoArtifact(before.task) !== canonicalizeTodoArtifact(after.task)
     || canonicalizeTodoArtifact(before.incoming) !== canonicalizeTodoArtifact(after.incoming)) {
     fail('REVISION_INVALID', 'carry_semantics_changed', { from_task_id: migration.from_task_id });
@@ -2048,8 +2057,12 @@ function validateAcquirePhaseCarry(previous, revision, migration, idMap) {
   const phaseIdMap = new Map(revision.phase_migration
     .filter(({ from_phase_id, to_phase_id }) => from_phase_id !== null && to_phase_id !== 'removed')
     .map(({ from_phase_id, to_phase_id }) => [from_phase_id, to_phase_id]));
-  const before = phaseV3CarrySemantics(previous.plan, migration.from_task_id, idMap, phaseIdMap);
-  const after = phaseV3CarrySemantics(revision.desired_plan, migration.to_task_id, new Map(), new Map());
+  const predecessorTask = previous.plan.tasks.find(({ task_id }) => task_id === migration.from_task_id);
+  const includeDesignMemo = typeof predecessorTask?.design_memo === 'string';
+  const before = phaseV3CarrySemantics(previous.plan, migration.from_task_id, idMap, phaseIdMap,
+    { includeDesignMemo });
+  const after = phaseV3CarrySemantics(revision.desired_plan, migration.to_task_id, new Map(), new Map(),
+    { includeDesignMemo });
   if (before.task.phase_id !== null) {
     fail('REVISION_INVALID', 'acquire_phase_requires_unassigned_predecessor', { from_task_id: migration.from_task_id });
   }
@@ -2068,6 +2081,12 @@ function validateAcquirePhaseCarry(previous, revision, migration, idMap) {
 }
 
 function stateMigrationFor(previous, revision) {
+  if (['lattice.todo_plan.v6', 'lattice.todo_plan.v7'].includes(previous.plan.schema)
+    && !['lattice.todo_plan.v6', 'lattice.todo_plan.v7'].includes(revision.desired_plan.schema)) {
+    fail('REVISION_INVALID', 'design_memo_schema_downgrade', {
+      predecessor_schema: previous.plan.schema, desired_schema: revision.desired_plan.schema,
+    });
+  }
   const oldIds = previous.plan.tasks.map(({ task_id }) => task_id);
   const migrationIds = revision.task_migration.map(({ from_task_id }) => from_task_id);
   if (canonicalizeTodoArtifact([...oldIds].sort()) !== canonicalizeTodoArtifact([...migrationIds].sort())) {
@@ -2091,8 +2110,13 @@ function stateMigrationFor(previous, revision) {
       if (revision.schema === 'lattice.phase_todo_revision.v3') {
         validateAcquirePhaseCarry(previous, revision, migration, idMap);
       } else {
-        const before = taskSemantics(previous.plan, migration.from_task_id, idMap, {});
-        const after = taskSemantics(revision.desired_plan, migration.to_task_id, new Map(), {});
+        const predecessorTask = previous.plan.tasks
+          .find(({ task_id }) => task_id === migration.from_task_id);
+        const includeDesignMemo = typeof predecessorTask?.design_memo === 'string';
+        const before = taskSemantics(previous.plan, migration.from_task_id, idMap,
+          { includeDesignMemo });
+        const after = taskSemantics(revision.desired_plan, migration.to_task_id, new Map(),
+          { includeDesignMemo });
         if (canonicalizeTodoArtifact(before) !== canonicalizeTodoArtifact(after)) {
           fail('REVISION_INVALID', 'carry_semantics_changed', { from_task_id: migration.from_task_id });
         }
@@ -2100,10 +2124,14 @@ function stateMigrationFor(previous, revision) {
     } else if (revision.schema === 'lattice.phase_todo_revision.v3') {
       validatePhaseV3Carry(previous, revision, migration, idMap, state);
     } else {
+      const predecessorTask = previous.plan.tasks
+        .find(({ task_id }) => task_id === migration.from_task_id);
+      const includeDesignMemo = !reconciliationMetadata
+        && typeof predecessorTask?.design_memo === 'string';
       const before = taskSemantics(previous.plan, migration.from_task_id, idMap,
-        { reconciliationMetadata });
+        { reconciliationMetadata, includeDesignMemo });
       const after = taskSemantics(revision.desired_plan, migration.to_task_id, new Map(),
-        { reconciliationMetadata });
+        { reconciliationMetadata, includeDesignMemo });
       if (canonicalizeTodoArtifact(before) !== canonicalizeTodoArtifact(after)) {
         fail('REVISION_INVALID', 'carry_semantics_changed', { from_task_id: migration.from_task_id });
       }