@quolu/lattice 0.41.1 → 0.42.1

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.1",
+  "version": "0.42.1",
   "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/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

@@ -14,7 +14,9 @@ function renderNoteContext(context) {
       : '<p class="note-warning">安全上表示できない要素を除外しました。</p>';
     const correction = note.correction_state === 'superseded'
       ? `訂正済み（後継 ${note.superseded_by.slice(0, 12)}…）` : '現行';
-    return `<article class="work-log-entry"><header><span>${escapeHtmlText(note.recorded_at)}</span><span>${escapeHtmlText(correction)}</span></header><div class="work-log-body">${rendered.html}</div>${filtering}<p class="work-log-origin">来歴: ${escapeHtmlText(note.origin_plan_version)}/${escapeHtmlText(note.origin_task_id)}・記録者 ${escapeHtmlText(`${note.actor.host}/${note.actor.agent}`)}</p></article>`;
+    // UTCのまま埋め、閲覧者の現地時刻への変換はブラウザ側へ委ねる（title属性に原文を残す）。
+    const stamp = `<time datetime="${escapeHtmlAttribute(note.recorded_at)}" title="${escapeHtmlAttribute(note.recorded_at)}" data-utc-stamp>${escapeHtmlText(note.recorded_at)}</time>`;
+    return `<article class="work-log-entry"><header>${stamp}<span>${escapeHtmlText(correction)}</span></header><div class="work-log-body">${rendered.html}</div>${filtering}<p class="work-log-origin">来歴: ${escapeHtmlText(note.origin_plan_version)}/${escapeHtmlText(note.origin_task_id)}・記録者 ${escapeHtmlText(`${note.actor.host}/${note.actor.agent}`)}</p></article>`;
   }).join('');
   const overflow = context.overflow_count === 0 ? ''
     : `<p class="note-warning">ほか ${context.overflow_count}件は上限のため省略。全履歴: <code>${escapeHtmlText(context.full_history_command)}</code></p>`;
@@ -60,20 +62,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 +131,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 +197,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}

package/src/todo-gantt-html.mjs

@@ -150,6 +150,12 @@ const CONTROLLER = `
   root.addEventListener('pointermove',event=>{if(event.pointerId===resizePointerId)setSplit(event.clientX);});
   root.addEventListener('pointerup',finishResize);root.addEventListener('pointercancel',finishResize);
   root.addEventListener('keydown',event=>{if(event.key==='Escape'){event.preventDefault();showOverview();applyLane(null);return;}const laneChip=event.target.closest('.summary-lane[data-lane-key]');if(laneChip&&(event.key==='Enter'||event.key===' ')){event.preventDefault();toggleLane(laneChip.dataset.laneKey);return;}const node=event.target.closest('[data-node-key]');if(node&&(event.key==='Enter'||event.key===' ')){event.preventDefault();select(node.dataset.nodeKey);}});
+  // 記録時刻はUTCで埋まっている。閲覧者の地域とlocaleを知っているのはブラウザだけなので、
+  // ここで現地時刻へ直す。scriptが動かなければ埋め込んだUTCがそのまま読める。
+  for(const stamp of root.querySelectorAll('time[data-utc-stamp]')){
+    const parsed=new Date(stamp.getAttribute('datetime'));
+    if(!Number.isNaN(parsed.getTime()))stamp.textContent=parsed.toLocaleString();
+  }
   showPanel('overview');
 })();
 `;