@quolu/lattice 0.41.0 → 0.42.0

package/README.ja.md

@@ -61,8 +61,9 @@ lattice todo note --plan <key> --task <id> --message "既存parserを使い、fa
 lattice todo show --plan <key> --task <id> --json
 ```
 
-ローカル／公開の動的工程表は、選択したToDoの右ペインへ初期設計メモを表示します。追記note本文は
-ローカルだけに表示し、公開dashboardには含めません。project別HTMLの生成や再生成は不要です。
+動的工程表は、選択したToDoの右ペインへ初期設計メモと追記noteの本文を表示します。あわせて前提工程・
+後続工程それぞれの状態（未着手／作業中／完了／ブロック中）と、その工程の並列可否を示します。
+note本文を落とすのはrepo外へHTMLを出す公開配信面だけです。project別HTMLの生成や再生成は不要です。
 
 ### 変換の受入五条件
 

package/README.md

@@ -74,9 +74,11 @@ lattice todo note --plan <key> --task <id> --message "Use the existing parser; d
 lattice todo show --plan <key> --task <id> --json
 ```
 
-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 selected ToDo's detail pane shows the initial design memo and the append-only note bodies, plus the
+status of each prerequisite and dependent ToDo (pending, in progress, done, blocked) and whether the ToDo
+can run in parallel. Only a public distribution surface — HTML served outside the repository — drops note
+bodies. 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-dashboard.mjs

@@ -5,7 +5,7 @@ import path from 'node:path';
 
 import { readTodoStoreStable } from '../src/todo-store.mjs';
 import { projectTodoStatus } from '../src/todo-status.mjs';
-import { ganttLiveHeadDigest, renderPublicTodoGanttForProject } from '../src/todo-cli.mjs';
+import { ganttLiveHeadDigest, renderTodoGanttForProject } from '../src/todo-cli.mjs';
 import {
   readVisibleTodoDashboardProjects,
   todoDashboardMemberNeedsVisibility,
@@ -90,7 +90,7 @@ async function synchronize() {
       displayName: entry.display_name,
       render: async ({ displayName }) => {
         const store = await readCachedStore(entry.repo_root);
-        const result = await renderPublicTodoGanttForProject({ repoRoot: entry.repo_root,
+        const result = await renderTodoGanttForProject({ repoRoot: entry.repo_root,
           stable: true, displayName, readModel: store });
         return {
           html: result.rendered.html,

package/package.json

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

package/src/cli-help.mjs

@@ -30,18 +30,14 @@ Commands:
   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> [--todo-plan <key>]
+  compile --request <request.json>
   compile --schema --json            # lattice.run_request.v1 の JSON Schema を出す
   verify --request <request.json> --plan <plan.json>
 `,
   run: `Usage: lattice run <command> [options]
 
 Commands:
-  start --request <request.json> --plan <compile-artifact.json> --executor <adapter>
-      # TODO storeと連携して同一repo writerを並列起動する場合のgate付き入口。
-      # artifactはplan compile --todo-plan <key>で現revisionへ束縛して発行する
   start --request <request.json> --executor <adapter>
-      # artifactを消費しない既存runtime互換入口
   start --schema --json              # lattice.run_request.v1 の JSON Schema を出す
   adapter register --input <descriptor.json>
   adapter register --schema --json   # 登録入力の JSON Schema を出す

package/src/runtime-cli.mjs

@@ -81,8 +81,6 @@ import { createRuntimeControlRequest, validateRuntimeControlResponse } from './r
 import { createRuntimeControlStore } from './runtime-control-store.mjs';
 import { createRuntimeGateStore } from './runtime-gate-store.mjs';
 import { acquireRuntimeLifecycleLock } from './runtime-lifecycle-lock.mjs';
-import { readTodoIndependenceArtifact, readTodoStore } from './todo-store.mjs';
-import { projectIndependenceFrontier } from './todo-independence.mjs';
 import {
   AdapterRegistryError,
   listRuntimeAdapters,
@@ -132,47 +130,6 @@ const CLI_ERROR_SCHEMA = 'lattice.cli_error.v2';
 const RUN_STORE_ROOT = ['.lattice', 'runs'];
 const RUN_REF = /^\.lattice\/runs\/([0-9A-Za-z](?:[0-9A-Za-z._-]{0,127}))$/u;
 const KNOWN_ADAPTERS = Object.freeze(['scripted', 'isolated-worktree', 'actual-agent']);
-
-function sameTextSet(left, right) {
-  return Array.isArray(left) && Array.isArray(right)
-    && left.length === right.length
-    && [...left].sort().every((value, index) => value === [...right].sort()[index]);
-}
-
-function compileArtifactBodyIsValid(artifact, request) {
-  const keys = ['schema', 'request_digest', 'plan', 'manifests', 'schedule', 'graph_digest',
-    'todo_plan_binding', 'result_digest'];
-  if (artifact === null || typeof artifact !== 'object' || Array.isArray(artifact)
-    || Object.keys(artifact).sort().join('\0') !== keys.sort().join('\0')
-    || artifact.schema !== COMPILE_RESULT_SCHEMA) return false;
-  const { result_digest: claimedDigest, ...body } = artifact;
-  if (claimedDigest !== digestArtifact(body) || artifact.request_digest !== request.request_digest
-    || !validateRuntimePlan(artifact.plan)
-    || !verifyRuntimePlanBinding({ plan: artifact.plan, request })) return false;
-  const nodeIds = artifact.plan.nodes.map((node) => node.todo_id);
-  if (artifact.manifests === null || typeof artifact.manifests !== 'object'
-    || Array.isArray(artifact.manifests)
-    || !sameTextSet(Object.keys(artifact.manifests), nodeIds)) return false;
-  return nodeIds.every((todoId) => validateRuntimeBoundaryManifest(artifact.manifests[todoId])
-    && artifact.manifests[todoId].manifest_digest === artifact.plan.manifest_digests[todoId]);
-}
-
-function todoPlanBindingFor(member) {
-  return {
-    project_id: member.plan.project_id,
-    plan_key: member.plan.plan_key,
-    plan_version: member.plan.plan_version,
-    topology_digest: member.plan.topology_digest,
-    plan_digest: member.plan.plan_digest,
-  };
-}
-
-function sameTodoPlanBinding(left, right) {
-  return left !== null && typeof left === 'object' && !Array.isArray(left)
-    && Object.keys(left).sort().join('\0') === ['project_id', 'plan_key', 'plan_version',
-      'topology_digest', 'plan_digest'].sort().join('\0')
-    && Object.entries(right).every(([key, value]) => left[key] === value);
-}
 /**
  * 自動escalationがlifecycle lockを待つ上限（ADR 0143）。
  *
@@ -439,27 +396,9 @@ async function compileFromRepo({ request, cwd, planRef, planEpoch, predecessorRe
   });
 }
 
-async function planCompile({ requestPath, todoPlanKey = null, cwd, stdout }) {
+async function planCompile({ requestPath, cwd, stdout }) {
   const request = await loadRequest(requestPath);
   await resolveRepoBinding(cwd, request);
-  let todoPlanBinding = null;
-  if (todoPlanKey !== null) {
-    const store = await readTodoStore({ repoRoot: cwd });
-    const member = store.members.find(({ descriptor }) => descriptor.plan_key === todoPlanKey);
-    if (member === undefined) {
-      throw new CliContractError('TODO_PLAN_NOT_ACTIVE', '指定されたTODO planはactiveではない', {
-        plan_key: todoPlanKey, next_action: 'select_an_active_todo_plan',
-      });
-    }
-    if (!sameTextSet(member.plan.tasks.map(({ task_id: taskId }) => taskId),
-      request.todos.map(({ todo_id: todoId }) => todoId))) {
-      throw new CliContractError('TODO_PLAN_TASK_MISMATCH',
-        'run requestのTODO集合がactive TODO planと一致しない', {
-          plan_key: todoPlanKey, next_action: 'compile_a_request_for_the_current_plan_revision',
-        });
-    }
-    todoPlanBinding = todoPlanBindingFor(member);
-  }
   const result = await compileFromRepo({
     request,
     cwd,
@@ -477,7 +416,6 @@ async function planCompile({ requestPath, todoPlanKey = null, cwd, stdout }) {
     manifests: result.manifests,
     schedule: result.schedule,
     graph_digest: result.graph_digest,
-    todo_plan_binding: todoPlanBinding,
   };
   artifact.result_digest = digestArtifact(artifact);
   stdout.write(`${JSON.stringify(artifact)}\n`);
@@ -588,8 +526,7 @@ async function readRunStore(runDir) {
     path.join(runDir, 'plan-compile-result.json'), 'plan compile result',
   );
   const request = await readBoundedJson(path.join(runDir, 'request.json'), 'run request');
-  const compileKeys = ['schema', 'request_digest', 'plan', 'manifests', 'schedule', 'graph_digest',
-    'todo_plan_binding', 'result_digest'];
+  const compileKeys = ['schema', 'request_digest', 'plan', 'manifests', 'schedule', 'graph_digest', 'result_digest'];
   const metaKeys = ['schema', 'run_id', 'executor_adapter', 'plan_digest'];
   const { result_digest: claimedCompileDigest, ...compileBody } = compileArtifact ?? {};
   const legacyMetaValid = meta !== null && typeof meta === 'object' && !Array.isArray(meta)
@@ -1153,76 +1090,7 @@ function isDistributedScriptedControllerActivation(activation) {
     ));
 }
 
-async function verifyRunStartGate({ request, compileArtifact, repoRoot }) {
-  if (!compileArtifactBodyIsValid(compileArtifact, request)) {
-    throw new CliContractError('INVALID_PLAN_ARTIFACT',
-      'compile artifactのdigest・request binding・plan/manifest bindingが不正', {
-        next_action: 'rerun_lattice_plan_compile_then_pass_its_artifact',
-      });
-  }
-  if (compileArtifact.todo_plan_binding === null) {
-    throw new CliContractError('COMPILE_ARTIFACT_UNBOUND',
-      'compile artifactがTODO plan revisionへ束縛されていない', {
-        next_action: 'rerun_lattice_plan_compile_with_todo_plan',
-      });
-  }
-  const store = await readTodoStore({ repoRoot });
-  const binding = compileArtifact.todo_plan_binding;
-  const member = store.members.find(({ descriptor }) => descriptor.plan_key === binding.plan_key);
-  if (member === undefined || !sameTodoPlanBinding(binding, todoPlanBindingFor(member))) {
-    throw new CliContractError('STALE_TODO_PLAN_BINDING',
-      'compile artifactのTODO plan version/digestが現在のactive revisionと一致しない', {
-        plan_key: binding.plan_key,
-        next_action: 'recompile_for_the_current_todo_plan_revision',
-      });
-  }
-  const taskIds = compileArtifact.plan.nodes.map(({ todo_id: todoId }) => todoId);
-  if (!sameTextSet(member.plan.tasks.map(({ task_id: taskId }) => taskId), taskIds)) {
-    throw new CliContractError('TODO_PLAN_TASK_MISMATCH',
-      'compile artifactのtask集合が現在のTODO planと一致しない', {
-        plan_key: binding.plan_key,
-        next_action: 'recompile_for_the_current_todo_plan_revision',
-      });
-  }
-  const independenceArtifact = await readTodoIndependenceArtifact({
-    repoRoot, store, planKey: binding.plan_key,
-  });
-  const currentHead = await runGit(['rev-parse', 'HEAD'], repoRoot);
-  if (currentHead.code !== 0) throw new CliContractError('REPO_UNRESOLVED', 'cwdのgit HEADを解決できない');
-  const currentBaseSha = currentHead.stdout.trim();
-  const projected = projectIndependenceFrontier({
-    artifact: independenceArtifact,
-    readyTaskIds: taskIds,
-    activeTaskIds: [],
-    plan: member.plan,
-    currentBaseSha,
-    changedPaths: null,
-  });
-  if (projected.coverage !== 'verified') {
-    throw new CliContractError('PARALLEL_GROUP_UNVERIFIED',
-      'TODO independence recordがverifiedではないため並列writerを起動できない', {
-        coverage: projected.coverage,
-        next_action: 'lattice todo independence compile --plan ' + binding.plan_key + ' --input <witness.json>',
-      });
-  }
-  for (const wave of compileArtifact.schedule.waves) {
-    if (wave.todo_ids.length < 2) continue;
-    const verified = projected.frontier.parallel_groups.some((group) => (
-      sameTextSet(group.task_ids, wave.todo_ids)
-    ));
-    if (!verified) {
-      throw new CliContractError('PARALLEL_GROUP_UNVERIFIED',
-        'compile artifactが同時dispatchするtask群はverified parallel groupではない', {
-          task_ids: wave.todo_ids,
-          coverage: projected.coverage,
-          unknown: projected.frontier.unknown,
-          next_action: 'compile_independence_for_the_current_plan_then_recompile_the_run_plan',
-        });
-    }
-  }
-}
-
-async function runStart({ requestPath, planPath = null, executorAdapter, cwd, stdout }) {
+async function runStart({ requestPath, executorAdapter, cwd, stdout }) {
   // --executor省略時の暗黙fallbackは持たない（Decision 8）。未知adapterはtyped reject。
   if (!KNOWN_ADAPTERS.includes(executorAdapter)) {
     throw new CliContractError('UNKNOWN_ADAPTER', `未知のexecutor adapter: ${executorAdapter}`);
@@ -1236,32 +1104,30 @@ async function runStart({ requestPath, planPath = null, executorAdapter, cwd, st
   await requireSafeRunAncestors(repoRoot);
   await requireIgnoredRunStore(repoRoot);
   await resolveRepoBinding(repoRoot, request);
-  let compileArtifact;
-  if (planPath === null) {
-    // 旧public入口はartifactを消費しないため、このgateの対象ではない。互換入口を
-    // 改変せず残し、TODO storeを持つ統合経路は下の--plan必須入口を使う。
-    const result = await compileFromRepo({
-      request, cwd: repoRoot, planRef: `plan-${request.request_id}-e1`, planEpoch: 1,
-      predecessorRefs: [],
-    });
-    if (result.outcome !== 'dispatchable') {
-      throw new CliContractError(result.code, 'dispatchable planを発行できない', result.detail);
-    }
-    compileArtifact = {
-      schema: COMPILE_RESULT_SCHEMA, request_digest: request.request_digest, plan: result.plan,
-      manifests: result.manifests, schedule: result.schedule, graph_digest: result.graph_digest,
-      todo_plan_binding: null,
-    };
-    compileArtifact.result_digest = digestArtifact(compileArtifact);
-  } else {
-    compileArtifact = await readBoundedJson(planPath, 'plan artifact');
-    await verifyRunStartGate({ request, compileArtifact, repoRoot });
+  const result = await compileFromRepo({
+    request,
+    cwd: repoRoot,
+    planRef: `plan-${request.request_id}-e1`,
+    planEpoch: 1,
+    predecessorRefs: [],
+  });
+  if (result.outcome !== 'dispatchable') {
+    throw new CliContractError(result.code, 'dispatchable planを発行できない', result.detail);
   }
+  const compileArtifact = {
+    schema: COMPILE_RESULT_SCHEMA,
+    request_digest: request.request_digest,
+    plan: result.plan,
+    manifests: result.manifests,
+    schedule: result.schedule,
+    graph_digest: result.graph_digest,
+  };
+  compileArtifact.result_digest = digestArtifact(compileArtifact);
   const events = initializeRunEvents({
     runId: request.request_id,
     request,
-    plan: compileArtifact.plan,
-    manifests: compileArtifact.manifests,
+    plan: result.plan,
+    manifests: result.manifests,
     recordedAt: new Date().toISOString().replace(/\.\d+Z$/u, '.000Z'),
   });
   const runDir = runStorePath(repoRoot, request.request_id);
@@ -1279,7 +1145,7 @@ async function runStart({ requestPath, planPath = null, executorAdapter, cwd, st
     schema: 'lattice.run_meta.v1',
     run_id: request.request_id,
     executor_adapter: executorAdapter,
-    plan_digest: compileArtifact.plan.plan_digest,
+    plan_digest: result.plan.plan_digest,
   };
   try {
     await writeJsonFile(path.join(temporaryDir, 'request.json'), request);
@@ -1299,7 +1165,7 @@ async function runStart({ requestPath, planPath = null, executorAdapter, cwd, st
     run_id: request.request_id,
     run_dir: path.relative(repoRoot, runDir),
     executor_adapter: executorAdapter,
-    plan_digest: compileArtifact.plan.plan_digest,
+    plan_digest: result.plan.plan_digest,
     events_digest: digestArtifact(events.map(({ event_digest: digest }) => digest)),
   };
   output.result_digest = digestArtifact(output);
@@ -4035,13 +3901,6 @@ export async function runRuntimeCli({ argv, cwd, stdout, stderr }) {
     && argv[0] === 'plan' && argv[1] === 'compile' && argv[2] === '--request'
     && typeof argv[3] === 'string' && argv[3].length > 0) {
     action = () => planCompile({ requestPath: path.resolve(cwd, argv[3]), cwd, stdout });
-  } else if (argv.length === 6
-    && argv[0] === 'plan' && argv[1] === 'compile' && argv[2] === '--request'
-    && typeof argv[3] === 'string' && argv[3].length > 0
-    && argv[4] === '--todo-plan' && typeof argv[5] === 'string' && argv[5].length > 0) {
-    action = () => planCompile({
-      requestPath: path.resolve(cwd, argv[3]), todoPlanKey: argv[5], cwd, stdout,
-    });
   } else if (argv.length === 6
     && argv[0] === 'plan' && argv[1] === 'verify'
     && argv[2] === '--request' && typeof argv[3] === 'string' && argv[3].length > 0
@@ -4062,15 +3921,6 @@ export async function runRuntimeCli({ argv, cwd, stdout, stderr }) {
       cwd,
       stdout,
     });
-  } else if (argv.length === 8
-    && argv[0] === 'run' && argv[1] === 'start'
-    && argv[2] === '--request' && typeof argv[3] === 'string' && argv[3].length > 0
-    && argv[4] === '--plan' && typeof argv[5] === 'string' && argv[5].length > 0
-    && argv[6] === '--executor' && typeof argv[7] === 'string' && argv[7].length > 0) {
-    action = () => runStart({
-      requestPath: path.resolve(cwd, argv[3]), planPath: path.resolve(cwd, argv[5]),
-      executorAdapter: argv[7], cwd, stdout,
-    });
   } else if (argv.length === 4
     && argv[0] === 'run' && argv[1] === 'activate'
     && argv[2] === '--run' && typeof argv[3] === 'string' && argv[3].length > 0) {

package/src/runtime-multi-epoch-store.mjs

@@ -215,8 +215,7 @@ async function replaceDurableJson(directory, name, value) {
 }
 
 function validateLegacyInputs({ request, compileArtifact, legacyMeta }) {
-  const compileKeys = ['schema', 'request_digest', 'plan', 'manifests', 'schedule', 'graph_digest',
-    'todo_plan_binding', 'result_digest'];
+  const compileKeys = ['schema', 'request_digest', 'plan', 'manifests', 'schedule', 'graph_digest', 'result_digest'];
   const metaKeys = ['schema', 'run_id', 'executor_adapter', 'plan_digest'];
   const compileBody = { ...compileArtifact };
   delete compileBody.result_digest;

package/src/todo-cli.mjs

@@ -2292,7 +2292,12 @@ export async function renderTodoGanttForProject({
   return { store, metadata, memberBindings, rendered };
 }
 
-/** 公開配信面はToDo本体の設計メモを表示し、append-only作業記録は除外する。 */
+/**
+ * 公開配信面はToDo本体の設計メモを表示し、append-only作業記録は除外する。
+ *
+ * loopbackのdashboardと`gantt serve`は公開配信面ではない。作業者本人が読む面なので
+ * 記録込みで描く。この入口はrepo外へHTMLを出す面が生えた時に使う。
+ */
 export async function renderPublicTodoGanttForProject(options = {}) {
   return renderTodoGanttForProject({ ...options, includeNotes: false });
 }
@@ -2306,7 +2311,7 @@ async function serveGantt({ repoRoot, port, stdout, env, scope = DEFAULT_GANTT_S
     port,
     render: async () => {
       const store = await readTodoStoreStable({ repoRoot });
-      const { rendered } = await renderPublicTodoGanttForProject({
+      const { rendered } = await renderTodoGanttForProject({
         repoRoot, stable: true, displayName: identity.displayName, scope, readModel: store,
       });
       return { html: rendered.html, head_digest: await ganttLiveHeadDigest({ repoRoot, store }) };

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

@@ -60,20 +60,59 @@ export function dispatchBasis(summary) {
   return `${parts.join('、')}。未検査は依存線が無くても並列可の根拠になりません。`;
 }
 
+const COVERAGE_REASON = Object.freeze({
+  missing: 'このplanには独立性の記録がまだありません。',
+  stale: '記録はありますが、その後のdiffで失効しています。',
+  superseded: '記録は旧plan versionのもので、現在のtopologyには読めません。',
+});
+
+/**
+ * 未検査を黙って消さない。記録が無い状態こそ最も警告が要る（ADR 0127）。
+ *
+ * 枠ごと消すと「競合なし」と読まれる。判定していないことと、次の一手を必ず言う。
+ */
+function unverifiedIndependence(planKey, coverage) {
+  const reason = COVERAGE_REASON[coverage] ?? COVERAGE_REASON.missing;
+  return `<p class="readiness-note"><strong>並列可否:</strong> 未検査です。競合が無いのではなく、まだ判定していません。${escapeHtmlText(reason)}宣言を書いて <code>lattice todo independence compile --plan ${escapeHtmlText(planKey)} --input &lt;ref&gt;</code> を通すと判定できます。</p>`;
+}
+
+function conflictItems(pairs) {
+  return pairs.map((pair) => `<li>${escapeHtmlText(pair.other)} — ${escapeHtmlText(SEVERABILITY_LABEL[pair.severability] ?? pair.severability)}（資源 ${escapeHtmlText(pair.detail)}）</li>`).join('');
+}
+
+/**
+ * 作業中の工程は自分がready frontierに居ないため、conflictの相手側として現れる。
+ * 「今これを動かしている間、何が同時に始められないか」がその工程での並列可否である。
+ */
+function activeIndependence(plan, taskId) {
+  const blocked = plan.conflicts_with_active
+    .filter((entry) => entry.active_task_id === taskId)
+    .map((entry) => ({
+      other: entry.ready_task_id, severability: entry.severability, detail: entry.detail,
+    }));
+  if (blocked.length > 0) {
+    return `<p class="readiness-note"><strong>並列可否:</strong> この工程が作業中のあいだ、次の着手候補は同時に始められません。</p><ul class="independence-conflicts">${conflictItems(blocked)}</ul>`;
+  }
+  if (plan.coverage !== 'verified') return unverifiedIndependence(plan.plan_key, plan.coverage);
+  return '<p class="readiness-note"><strong>並列可否:</strong> 着手済のため同時着手の判定対象ではありません。現在の着手候補に、この工程と競合するものはありません。</p>';
+}
+
 /** 個別ToDoについて、競合相手と切断可能性を言葉で示す。 */
-export function renderIndependenceNote(ref, node, summary) {
-  if (summary === null || node === undefined) return '';
-  const plan = summary.byPlan.get(ref.plan_key);
-  if (plan === undefined) return '';
+export function renderIndependenceNote(ref, node, summary, status) {
+  // 完了した工程は同時着手の判断材料ではない。ここだけは黙ってよい。
+  if (status === 'done') return '';
+  const plan = summary === null ? undefined : summary.byPlan.get(ref.plan_key);
+  if (plan === undefined) return unverifiedIndependence(ref.plan_key, 'missing');
   const taskId = ref.task_id;
-  const state = node.visibility.independence;
-  if (state === null) return '';
+  const state = node?.visibility?.independence ?? null;
+  if (state === null) {
+    if (status === 'in-progress') return activeIndependence(plan, taskId);
+    return '<p class="readiness-note"><strong>並列可否:</strong> まだ着手候補ではないため判定していません。前提工程が片付いて着手候補に入った時点で判定します。</p>';
+  }
   if (state === 'verified') {
     return '<p class="readiness-note"><strong>並列可否:</strong> 独立検証済です。記録時点の宣言境界では他のready工程と干渉しません。</p>';
   }
-  if (state === 'unknown') {
-    return '<p class="readiness-note"><strong>並列可否:</strong> 未検査です。競合が無いのではなく、まだ判定していません。</p>';
-  }
+  if (state === 'unknown') return unverifiedIndependence(plan.plan_key, plan.coverage);
   const pairs = [
     ...plan.serialize_pairs
       .filter((pair) => pair.task_ids.includes(taskId))
@@ -90,8 +129,7 @@ export function renderIndependenceNote(ref, node, summary) {
         detail: entry.detail,
       })),
   ];
-  const items = pairs.map((pair) => `<li>${escapeHtmlText(pair.other)} — ${escapeHtmlText(SEVERABILITY_LABEL[pair.severability] ?? pair.severability)}（資源 ${escapeHtmlText(pair.detail)}）</li>`).join('');
-  return `<p class="readiness-note"><strong>並列可否:</strong> 要直列です。</p><ul class="independence-conflicts">${items}</ul>`;
+  return `<p class="readiness-note"><strong>並列可否:</strong> 要直列です。</p><ul class="independence-conflicts">${conflictItems(pairs)}</ul>`;
 }
 
 export function renderRightPane(
@@ -157,7 +195,9 @@ export function renderRightPane(
     const readiness = node?.visibility.next_ready
       ? `<p class="readiness-note">ready frontierの一員です。${ready.length > 1 ? '他のready工程と同時着手できるかは下の並列可否で判断してください。' : '現在の唯一の着手候補です。'}</p>`
       : incoming.get(key).length === 0 ? '<p class="readiness-note">登録済みの前提工程はありません。図だけではdispatch可否を判定しません。</p>' : '';
-    const independenceNote = renderIndependenceNote(section.ref, node, independenceSummary);
+    const independenceNote = renderIndependenceNote(
+      section.ref, node, independenceSummary, section.state.status,
+    );
     // Say it plainly when the reader will not find this ToDo on the diagram.
     const foldedNote = !folds.has(key) ? ''
       : expandable

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

@@ -105,7 +105,10 @@ export function renderRelationList(relations, sectionByKey, lookup, emptyText, f
     // Say which ones the diagram does not draw, so the reader stops looking.
     const reference = folds.has(targetKey)
       ? `${taskReference(target, lookup)}（図では非表示）` : taskReference(target, lookup);
-    return `<li><button type="button" data-select-node-key="${escapeHtmlAttribute(targetKey)}"><strong>${escapeHtmlText(reference)}</strong><span>${escapeHtmlText(target.task.title)}</span></button>${join}</li>`;
+    // 前提が終わっているか、後続が動き出せるかは、相手の状態を見ないと判断できない。
+    const status = DOCUMENT_STATUS[target.state.status] ?? { mark: '?', label: '状態不明' };
+    const badge = `<span class="relation-status status-${escapeHtmlAttribute(target.state.status)}">${escapeHtmlText(`${status.mark} ${status.label}`)}</span>`;
+    return `<li><button type="button" data-select-node-key="${escapeHtmlAttribute(targetKey)}"><span class="relation-head">${badge}<strong>${escapeHtmlText(reference)}</strong></span><span>${escapeHtmlText(target.task.title)}</span></button>${join}</li>`;
   }).join('')}</ul>`;
 }
 

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

@@ -63,6 +63,7 @@ body{display:grid;grid-template-rows:minmax(0,1fr);height:100vh;margin:0;backgro
 .work-log-origin,.work-log-head,.note-warning{color:var(--text-secondary);font-size:12px;overflow-wrap:anywhere}.note-warning{color:var(--critical)}
 .gantt-warning{margin:16px 0;padding:12px;border:1px solid var(--critical);background:var(--surface-2)}.gantt-warning h2{margin:0 0 8px}.gantt-warning ul{margin:0;padding-left:20px}
 .relation-list button{display:flex;width:100%;flex-direction:column}.relation-list button span{font-weight:400}.relation-kind{display:block;margin-top:4px;color:var(--text-secondary);font-size:12px}
+.relation-head{display:flex;align-items:baseline;gap:6px;flex-wrap:wrap}.relation-status{color:var(--text-secondary);font-size:12px;font-weight:600;white-space:nowrap}.relation-status.status-in-progress{color:var(--accent)}.relation-status.status-done{color:var(--good)}.relation-status.status-blocked{color:var(--critical)}
 .task-diagnostics{margin:16px 0;color:var(--text-secondary);font-size:12px}.task-diagnostics summary{cursor:pointer;color:var(--text-primary);font-weight:600}.task-diagnostics dl{display:grid;grid-template-columns:auto 1fr;gap:4px 12px}.task-diagnostics dd{margin:0;overflow-wrap:anywhere}
 .task-index>h1{margin:0 0 8px;font-size:19px;font-weight:650;line-height:1.45}.task-index>p{margin:0 0 24px;color:var(--text-secondary)}
 .task-index-plan+.task-index-plan{margin-top:32px}.task-index-plan h2{margin:0 0 12px;font-size:16px;font-weight:600}.task-index-plan h2 code{font-size:inherit}