@quolu/lattice 0.57.2 → 0.58.0

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

@@ -1,4 +1,9 @@
 import { DOCUMENT_STATUS, SEVERABILITY_LABEL, escapeHtmlAttribute, escapeHtmlText, foldIndex, planActivity, presentationLookup, refKey, renderPhaseProgress, renderRelationList, renderSeamProposalOverview, renderTaskIndex, statusMarkup, taskReference } from './todo-gantt-html-shared.mjs';
+import {
+  hasTodoStructurePresentation,
+  renderTodoStructureNoscript,
+  renderTodoStructurePanel,
+} from './todo-gantt-structure.mjs';
 import { renderTodoMarkdown } from './todo-markdown-renderer.mjs';
 
 function renderNoteContext(context) {
@@ -136,6 +141,7 @@ export function renderIndependenceNote(ref, node, summary, status) {
 
 export function renderRightPane(
   sections, layout, presentation, readModel, notesEnabled = false, noteWarnings = [], expandable = false,
+  structurePresentation = null,
 ) {
   const lookup = presentationLookup(presentation);
   const sectionByKey = new Map(sections.map((section) => [refKey(section.ref), section]));
@@ -211,7 +217,9 @@ export function renderRightPane(
     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>`;
+  const structureButton = hasTodoStructurePresentation(structurePresentation)
+    ? '<button type="button" data-show-structure>構造検査</button>' : '';
+  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>${structureButton}</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>${renderTodoStructurePanel(structurePresentation)}${renderTodoStructureNoscript(structurePresentation)}</div>`;
 }
 
 export function renderDiagramLegend(presentation, layout = null, expandable = false) {

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

@@ -74,6 +74,14 @@ body{display:grid;grid-template-rows:minmax(0,1fr);height:100vh;margin:0;backgro
 .task-index-list{margin:0;padding:0;list-style:none}.task-index-list li+li{margin-top:8px}.task-index-list button{display:grid;width:100%;grid-template-columns:1.5rem auto minmax(0,1fr);gap:4px 8px;align-items:baseline}
 .task-index-status{grid-row:1 / span 2;color:var(--text-secondary);font-size:13.5px;text-align:center}.task-index-status.status-in-progress{color:var(--accent)}.task-index-status.status-done{color:var(--good)}.task-index-status.status-blocked{color:var(--critical)}
 .task-index-reference{color:var(--text-secondary);font-size:12px;white-space:nowrap}.task-index-list strong{font-size:13.5px;font-weight:600;overflow-wrap:anywhere}.task-index-blocked-reason{grid-column:2 / -1;color:var(--text-secondary);font-size:12px;overflow-wrap:anywhere}
+.structure-inspection>h1,.structure-noscript>h1{margin:0 0 8px;font-size:19px}.structure-inspection>p{color:var(--text-secondary)}
+.structure-plan{margin:18px 0;border:1px solid var(--border);background:var(--surface-1)}.structure-plan>summary{display:flex;flex-wrap:wrap;align-items:center;gap:6px 12px;padding:10px 12px;cursor:pointer;background:var(--surface-2)}.structure-plan>summary>code{font-weight:700}.structure-plan>summary>span{color:var(--text-secondary);font-size:12px}
+.structure-verdict{padding:1px 7px;border:1px solid var(--border);border-radius:9999px}.structure-verdict.verdict-consistent{border-color:var(--good);color:var(--good)}.structure-verdict.verdict-inconsistent,.structure-verdict.verdict-unreadable{border-color:var(--critical);color:var(--critical)}.structure-verdict.verdict-unknown,.structure-verdict.verdict-stale{border-color:var(--accent);color:var(--accent)}
+.structure-findings,.structure-graph,.structure-actions{margin:0;padding:12px;border-top:1px solid var(--border)}.structure-findings h3,.structure-graph h3{margin:0 0 8px;font-size:14px}.structure-findings ol,.structure-edge-list,.structure-actions ul,.structure-node details ul{margin:0;padding:0;list-style:none}
+.structure-finding{padding:9px;border-left:4px solid var(--accent);background:var(--surface-2)}.structure-finding+.structure-finding{margin-top:7px}.structure-finding.severity-error{border-left-color:var(--critical)}.structure-finding.severity-notice{border-left-color:var(--good)}.structure-finding>header{display:flex;justify-content:space-between;gap:10px}.structure-finding>p{margin:5px 0 0;color:var(--text-secondary);font-size:12px}.structure-finding-targets{display:flex;flex-wrap:wrap;align-items:center;gap:4px;margin-top:6px}
+.structure-finding-targets button,.structure-finding-edge-targets button,.structure-edge-list button{max-width:100%;padding:2px 5px;border:1px solid var(--border);background:var(--surface-1);cursor:pointer}.structure-finding-targets code,.structure-finding-edge-targets code,.structure-edge-list code{overflow-wrap:anywhere}.structure-finding-edge-targets{display:grid;gap:4px;margin-top:5px}.structure-finding-edge-targets button{text-align:left}
+.structure-node-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr));gap:8px}.structure-node{min-width:0;padding:9px;border:1px solid var(--border);border-left:4px solid var(--text-secondary);background:var(--surface-2);scroll-margin:56px}.structure-node.kind-task_transform{border-left-color:var(--accent)}.structure-node.kind-data{border-left-color:var(--critical)}.structure-node.kind-code,.structure-node.kind-source_symbol{border-left-color:var(--text-primary)}.structure-node.kind-external{border-left-color:var(--text-secondary)}.structure-node.kind-changeset{border-left-color:var(--good)}.structure-node.focused{outline:3px solid var(--critical);outline-offset:2px}.structure-node>header{display:flex;flex-wrap:wrap;justify-content:space-between;gap:4px 8px}.structure-node>header>span{font-weight:700}.structure-node>header>code{max-width:100%;overflow-wrap:anywhere;color:var(--text-secondary)}.structure-node>p{margin:5px 0;font-size:12px}.structure-node details{margin-top:6px}.structure-node details summary{cursor:pointer}.structure-node details li{overflow-wrap:anywhere}
+.structure-edge-list{display:grid;gap:5px}.structure-edge-list li{display:grid;grid-template-columns:auto minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:5px;padding:6px;background:var(--surface-2);scroll-margin:56px}.structure-edge-list li.focused{outline:3px solid var(--critical);outline-offset:2px}.structure-edge-list li>span:first-child{color:var(--text-secondary);font-size:11px}.structure-actions summary{cursor:pointer;font-weight:650}.structure-actions li+li{margin-top:5px}.structure-severity-error{color:var(--critical)}.structure-noscript{margin:16px 24px;padding:12px;border:1px solid var(--critical)}
 .todo-gantt text{font-family:system-ui,-apple-system,"Hiragino Sans","Yu Gothic UI",sans-serif;pointer-events:none}
 .todo-node .node-surface{fill:var(--surface-2);stroke:var(--border);stroke-width:1}
 .todo-node .node-meta{fill:var(--text-secondary);font-size:12px;font-weight:500}

package/src/todo-gantt-html.mjs

@@ -6,8 +6,9 @@ import { renderTodoGanttSvg, TODO_GANTT_STATUS_PRESENTATION } from './todo-gantt
 import { renderDiagramLegend, renderRightPane } from './todo-gantt-html-independence.mjs';
 import { escapeHtmlAttribute, escapeHtmlText, refKey } from './todo-gantt-html-shared.mjs';
 import { CSS, NESTED_CSS } from './todo-gantt-html-style.mjs';
+import { TODO_STRUCTURE_PRESENTATION_SCHEMA } from './todo-structure-presentation.mjs';
 
-export const TODO_GANTT_RENDERER_VERSION = 'lattice.todo_gantt_renderer.v19';
+export const TODO_GANTT_RENDERER_VERSION = 'lattice.todo_gantt_renderer.v20';
 export const TODO_GANTT_PROSE_MAX_BYTES = 8 * 1024 * 1024;
 export const TODO_GANTT_HTML_MAX_BYTES = 24 * 1024 * 1024;
 
@@ -135,6 +136,7 @@ const CONTROLLER = `
   const overviewPanel=root.querySelector('[data-right-panel="overview"]');
   const detailsPanel=root.querySelector('[data-right-panel="details"]');
   const taskIndexPanel=root.querySelector('[data-right-panel="task-index"]');
+  const structurePanel=root.querySelector('[data-right-panel="structure"]');
   const selectedReturnButton=root.querySelector('[data-show-selected]');
   const detailPanels=[...root.querySelectorAll('[data-detail-key]')];
   const nodes=[...root.querySelectorAll('[data-node-key]')];
@@ -157,7 +159,7 @@ const CONTROLLER = `
   const toggleLane=(key)=>applyLane(activeLaneKey===key?null:key);
   // Both diagrams ship in the page; the badge picks which one is on screen.
   const setExpanded=(next)=>{if(diagrams.length<2)return;expanded=next;for(const diagram of diagrams)diagram.hidden=(diagram.dataset.diagram==='expanded')!==expanded;svg=diagrams.find(diagram=>!diagram.hidden)?.querySelector('[data-gantt-svg]')??svg;baseWidth=Number(svg?.dataset.svgWidth??0);baseHeight=Number(svg?.dataset.svgHeight??0);if(expandToggle){expandToggle.setAttribute('aria-expanded',String(expanded));}if(toggleLabel){toggleLabel.textContent=expanded?toggleLabel.dataset.expandedLabel:toggleLabel.dataset.collapsedLabel;}setZoom(zoom);applyLane(activeLaneKey);syncSelection();scroller?.scrollTo(0,0);};
-  const showPanel=(name)=>{if(overviewPanel)overviewPanel.hidden=name!=='overview';if(detailsPanel)detailsPanel.hidden=name!=='details';if(taskIndexPanel)taskIndexPanel.hidden=name!=='task-index';if(selectedReturnButton)selectedReturnButton.hidden=name!=='task-index'||selectedKey===null;root.dataset.viewState=name;};
+  const showPanel=(name)=>{if(overviewPanel)overviewPanel.hidden=name!=='overview';if(detailsPanel)detailsPanel.hidden=name!=='details';if(taskIndexPanel)taskIndexPanel.hidden=name!=='task-index';if(structurePanel)structurePanel.hidden=name!=='structure';if(selectedReturnButton)selectedReturnButton.hidden=name!=='task-index'||selectedKey===null;root.dataset.viewState=name;};
   const syncSelection=()=>{for(const detail of detailPanels)detail.hidden=detail.dataset.detailKey!==selectedKey;for(const node of nodes){const selected=node.dataset.nodeKey===selectedKey;node.setAttribute('aria-selected',String(selected));node.classList.toggle('selected-node',selected);}for(const edge of edges){const selected=selectedKey!==null;edge.classList.toggle('selected-incident-edge',selected&&(edge.dataset.fromNodeKey===selectedKey||edge.dataset.toNodeKey===selectedKey));}};
   const showOverview=()=>{selectedKey=null;syncSelection();showPanel('overview');};
   const showTaskIndex=()=>showPanel('task-index');
@@ -167,6 +169,8 @@ const CONTROLLER = `
     const overviewButton=event.target.closest('[data-show-overview]');if(overviewButton&&root.contains(overviewButton)){showOverview();return;}
     const selectedButton=event.target.closest('[data-show-selected]');if(selectedButton&&root.contains(selectedButton)){showSelected();return;}
     const taskIndexButton=event.target.closest('[data-show-task-index]');if(taskIndexButton&&root.contains(taskIndexButton)){showTaskIndex();return;}
+    const structureButton=event.target.closest('[data-show-structure]');if(structureButton&&root.contains(structureButton)){showPanel('structure');return;}
+    const structureTarget=event.target.closest('[data-structure-target-id]');if(structureTarget&&root.contains(structureTarget)){const target=document.getElementById(structureTarget.dataset.structureTargetId);if(target&&root.contains(target)){for(const item of root.querySelectorAll('.structure-node.focused,.structure-edge-list li.focused'))item.classList.remove('focused');target.classList.add('focused');target.scrollIntoView({block:'center'});}return;}
     const expandButton=event.target.closest('[data-toggle-expanded]');if(expandButton&&root.contains(expandButton)){setExpanded(!expanded);return;}
     const selectButton=event.target.closest('[data-select-node-key]');if(selectButton&&root.contains(selectButton)){select(selectButton.dataset.selectNodeKey);return;}
     const zoomButton=event.target.closest('[data-zoom-action]');if(zoomButton&&root.contains(zoomButton)){const action=zoomButton.dataset.zoomAction;if(action==='in')setZoom(zoom<1&&zoom*1.25>=1?1:zoom*1.25,.001);else if(action==='out')setZoom(zoom>1&&zoom/1.25<=1?1:zoom/1.25,.001);else if(action==='reset')setZoom(1);else if(action==='fit'&&scroller){setZoom(Math.min(1,(scroller.clientWidth-16)/baseWidth),.001);scroller.scrollTo(0,0);}return;}
@@ -202,7 +206,7 @@ const NESTED_CONTROLLER = `
 
 export function renderTodoGanttHtml({
   readModel, layout, narratives = [], anchorOutcomes = [], presentation = null, metadata = {},
-  expandedLayout = null, noteContexts = null, noteWarnings = [],
+  expandedLayout = null, noteContexts = null, noteWarnings = [], structurePresentation = null,
 }) {
   if (readModel?.schema !== 'lattice.todo_store_read.v1' || !Array.isArray(readModel.members)) {
     throw new TypeError('readModel must be lattice.todo_store_read.v1');
@@ -218,6 +222,11 @@ export function renderTodoGanttHtml({
       || presentation.project_id !== readModel.project_id)) {
     throw new TypeError('presentation must be lattice.todo_gantt_presentation_model.v1');
   }
+  if (structurePresentation !== null
+    && (structurePresentation?.schema !== TODO_STRUCTURE_PRESENTATION_SCHEMA
+      || structurePresentation.project_id !== readModel.project_id)) {
+    throw new TypeError('structurePresentation must be lattice.todo_structure_presentation.v1');
+  }
   const normalized = normalizeSections(readModel, narratives, anchorOutcomes, noteContexts);
   const displayName = projectDisplayName(readModel, metadata);
   const hasHierarchy = layout?.hierarchy?.schema === 'lattice.todo_gantt_hierarchy.v1';
@@ -230,12 +239,13 @@ 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 !== '',
+    expandedSvg !== '', structurePresentation,
   );
   const staticData = serializeJsonForScript({
     renderer_version: TODO_GANTT_RENDERER_VERSION,
     metadata,
     presentation,
+    structure_presentation: structurePresentation,
   });
   const html = `<!doctype html><html lang="ja"><head><meta http-equiv="Content-Security-Policy" content="default-src 'none'; script-src 'unsafe-inline'; style-src 'unsafe-inline'"><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>Lattice — ${escapeHtmlText(displayName)} 依存工程図</title><style>${CSS}${hasHierarchy ? NESTED_CSS : ''}</style></head><body data-gantt-root data-view-state="overview"><main class="shell"><section class="gantt-pane" aria-label="${escapeHtmlAttribute(displayName)} 依存工程図"><div class="diagram-toolbar" role="group" aria-label="図のズーム"><strong class="project-heading">${escapeHtmlText(displayName)} 依存工程図</strong>${renderAuditPendingChip(readModel)}<button type="button" data-zoom-action="out" aria-label="縮小">−</button><button type="button" data-zoom-action="reset">等倍</button><button type="button" data-zoom-action="in" aria-label="拡大">＋</button><button type="button" data-zoom-action="fit">全体表示</button><output class="zoom-readout" data-zoom-output aria-live="polite">100%</output><span class="diagram-note">縦=依存段階（時間ではない）</span></div>${renderDiagramLegend(presentation, layout, expandedSvg !== '')}<div class="diagram-scroll" data-diagram-scroll tabindex="0" aria-label="縦方向を主にスクロール可能な依存工程図">${diagrams}</div></section><div class="pane-divider" data-pane-divider aria-hidden="true"></div><aside class="narrative-pane" aria-label="選択工程の詳細と全工程一覧">${rightPane}</aside></main><script type="application/json" id="todo-gantt-data">${staticData}</script><script>${CONTROLLER}${hasHierarchy ? NESTED_CONTROLLER : ''}</script></body></html>`;
   const htmlBytes = Buffer.byteLength(html, 'utf8');

package/src/todo-gantt-structure.mjs

@@ -0,0 +1,134 @@
+import { escapeHtmlAttribute, escapeHtmlText } from './todo-gantt-html-shared.mjs';
+import { TODO_STRUCTURE_PRESENTATION_SCHEMA } from './todo-structure-presentation.mjs';
+
+const KIND_LABEL = Object.freeze({
+  task_transform: '工程変換', data: 'データ', code: 'コード', source_symbol: '既存コード',
+  external: '外部契約', changeset: 'commit', constant: '定数', final_product: '最終成果',
+});
+const EDGE_LABEL = Object.freeze({
+  input: '入力', output: '出力', sink: '受渡し', source_edge: '既存コード関係',
+  realization: '実装commit',
+});
+
+function valid(presentation) {
+  return presentation?.schema === TODO_STRUCTURE_PRESENTATION_SCHEMA
+    && Array.isArray(presentation.plans);
+}
+
+export function hasTodoStructurePresentation(presentation) {
+  return valid(presentation) && presentation.plans.length > 0;
+}
+
+function nodeId(planIndex, nodeIndex) {
+  return `structure-node-${planIndex}-${nodeIndex}`;
+}
+
+function edgeId(planIndex, edgeIndex) {
+  return `structure-edge-${planIndex}-${edgeIndex}`;
+}
+
+function focusRefs(finding) {
+  return [...new Set([
+    ...(finding.task_ids ?? []).map((taskId) => `task:${taskId}`),
+    ...(finding.data_refs ?? []).map((ref) => ref.startsWith('external/')
+      ? `external:${ref.slice('external/'.length)}` : `data:${ref}`),
+    ...(finding.code_refs ?? []).map((ref) => `code:${ref}`),
+    ...(finding.commit_oids ?? []).map((oid) => `commit:${oid}`),
+  ])];
+}
+
+function renderTaskDetail(plan, node) {
+  const task = plan.tasks.find(({ task_id: taskId }) => taskId === node.task_id);
+  if (task === undefined) return '';
+  const changed = task.changed_fields.length === 0
+    ? 'plannedからの変更なし' : `変更: ${task.changed_fields.join(', ')}`;
+  const anchors = task.code_anchors.length === 0 ? ''
+    : `<details><summary>code anchor ${task.code_anchors.length}件</summary><ul>${task.code_anchors.map((anchor) => `<li><code>${escapeHtmlText(anchor.effect)}</code> <code>${escapeHtmlText(anchor.path)}</code>${anchor.symbol === null ? '' : ` · ${escapeHtmlText(anchor.symbol)}`}</li>`).join('')}</ul></details>`;
+  return `<p><strong>${escapeHtmlText(task.form)}</strong> · ${escapeHtmlText(changed)}</p><p>planned: ${escapeHtmlText(task.planned_outcome)}</p>${task.form === 'realized' ? `<p>effective: ${escapeHtmlText(task.effective_outcome)}</p>` : ''}${anchors}`;
+}
+
+function renderCommitDetail(plan, node) {
+  if (node.kind !== 'changeset') return '';
+  const oid = node.ref.slice('commit:'.length);
+  const commit = plan.provenance?.commits.find(({ commit_oid: commitOid }) => commitOid === oid);
+  if (commit === undefined) return '';
+  return `<details><summary>変更path ${commit.changes.length}件</summary><ul>${commit.changes.map((change) => `<li><code>${escapeHtmlText(change.change)}</code> ${escapeHtmlText(change.path)}</li>`).join('')}</ul></details>`;
+}
+
+function renderNaturalRef(node) {
+  if (node.kind !== 'source_symbol' || node.natural_ref === null) return '';
+  const natural = node.natural_ref;
+  const label = [natural.path, natural.name].filter((value) => typeof value === 'string').join(' · ');
+  return label === '' ? '' : `<p>${escapeHtmlText(label)}</p>`;
+}
+
+function renderNodes(plan, planIndex) {
+  const ids = new Map();
+  const nodes = plan.graph.nodes.map((node, index) => {
+    const id = nodeId(planIndex, index);
+    ids.set(node.ref, id);
+    const form = node.kind === 'task_transform' ? ` · ${node.form}` : '';
+    return `<article class="structure-node kind-${escapeHtmlAttribute(node.kind)}" id="${id}" data-structure-node-ref="${escapeHtmlAttribute(node.ref)}"><header><span>${escapeHtmlText(KIND_LABEL[node.kind] ?? node.kind)}</span><code>${escapeHtmlText(node.ref)}</code></header>${node.kind === 'task_transform' ? renderTaskDetail(plan, node) : ''}${renderCommitDetail(plan, node)}${renderNaturalRef(node)}${form === '' ? '' : `<p class="structure-form">${escapeHtmlText(form.slice(3))}</p>`}</article>`;
+  }).join('');
+  return { ids, markup: nodes };
+}
+
+function targetButton(ref, ids) {
+  const id = ids.get(ref);
+  return id === undefined
+    ? `<code>${escapeHtmlText(ref)}</code>`
+    : `<button type="button" data-structure-target-id="${escapeHtmlAttribute(id)}"><code>${escapeHtmlText(ref)}</code></button>`;
+}
+
+function renderFindings(plan, ids, edgeIds) {
+  if (plan.unreadable_reason !== null) {
+    return `<section class="structure-findings"><h3>読取不能</h3><p class="structure-severity-error">${escapeHtmlText(plan.unreadable_reason)}</p></section>`;
+  }
+  if (plan.findings.length === 0) {
+    return '<section class="structure-findings"><h3>指摘</h3><p>保存artifactに指摘はありません。</p></section>';
+  }
+  return `<section class="structure-findings"><h3>指摘 ${plan.findings.length}件</h3><ol>${plan.findings.map((finding) => {
+    const refs = focusRefs(finding);
+    const relation = refs.length === 0 ? ''
+      : `<div class="structure-finding-targets">${refs.map((ref) => targetButton(ref, ids)).join('<span aria-hidden="true">→</span>')}</div>`;
+    const implicatedEdges = plan.graph.edges.flatMap((edge, index) => {
+      if (!refs.includes(edge.from) || !refs.includes(edge.to)) return [];
+      const id = edgeIds.get(index);
+      return [`<button type="button" data-structure-target-id="${escapeHtmlAttribute(id)}">edge: ${escapeHtmlText(EDGE_LABEL[edge.kind] ?? edge.kind)} <code>${escapeHtmlText(edge.from)}</code> → <code>${escapeHtmlText(edge.to)}</code></button>`];
+    });
+    const edgeTargets = implicatedEdges.length === 0 ? ''
+      : `<div class="structure-finding-edge-targets">${implicatedEdges.join('')}</div>`;
+    return `<li class="structure-finding severity-${escapeHtmlAttribute(finding.severity)}"><header><strong>${escapeHtmlText(finding.code)}</strong><span>${escapeHtmlText(finding.severity)}</span></header>${relation}${edgeTargets}<p>次: <code>${escapeHtmlText(finding.next_action)}</code></p></li>`;
+  }).join('')}</ol></section>`;
+}
+
+function renderEdges(plan, ids, edgeIds) {
+  if (plan.graph.edges.length === 0) return '<p>保存artifactにedgeはありません。</p>';
+  return `<ol class="structure-edge-list">${plan.graph.edges.map((edge, index) => `<li id="${edgeIds.get(index)}" data-structure-edge-from="${escapeHtmlAttribute(edge.from)}" data-structure-edge-to="${escapeHtmlAttribute(edge.to)}"><span>${escapeHtmlText(EDGE_LABEL[edge.kind] ?? edge.kind)}</span>${targetButton(edge.from, ids)}<span aria-hidden="true">→</span>${targetButton(edge.to, ids)}</li>`).join('')}</ol>`;
+}
+
+function renderPlan(plan, planIndex) {
+  const { ids, markup: nodes } = renderNodes(plan, planIndex);
+  const edgeIds = new Map(plan.graph.edges.map((_, index) => [index, edgeId(planIndex, index)]));
+  const verdict = plan.verdict ?? plan.compiled_verdict ?? plan.coverage;
+  const finalization = plan.finalization === null ? ''
+    : `<span>finalization: ${escapeHtmlText(plan.finalization.status)}</span>`;
+  const actions = plan.next_actions.length === 0 ? ''
+    : `<details class="structure-actions"><summary>次の操作</summary><ul>${plan.next_actions.map((action) => `<li><code>${escapeHtmlText(action)}</code></li>`).join('')}</ul></details>`;
+  return `<details class="structure-plan" open><summary><code>${escapeHtmlText(plan.plan_key)}</code><span class="structure-verdict verdict-${escapeHtmlAttribute(verdict ?? 'unknown')}">${escapeHtmlText(verdict ?? 'unknown')}</span><span>${escapeHtmlText(plan.freshness)}</span>${finalization}</summary>${renderFindings(plan, ids, edgeIds)}<section class="structure-graph" aria-label="${escapeHtmlAttribute(`${plan.plan_key} 構造グラフ`)}"><h3>node</h3><div class="structure-node-grid">${nodes}</div><h3>edge</h3>${renderEdges(plan, ids, edgeIds)}</section>${actions}</details>`;
+}
+
+export function renderTodoStructurePanel(presentation) {
+  if (!hasTodoStructurePresentation(presentation)) return '';
+  return `<section class="structure-inspection" data-right-panel="structure" hidden><h1>構造検査</h1><p>工程依存図とは別の面です。task、data、code、external、commit provenanceを最終的な受渡しとして表示します。</p>${presentation.plans.map(renderPlan).join('')}</section>`;
+}
+
+/** script無効時にもfinding一覧だけは隠さず読めるfallback。 */
+export function renderTodoStructureNoscript(presentation) {
+  if (!hasTodoStructurePresentation(presentation)) return '';
+  const plans = presentation.plans.map((plan) => `<section><h2>${escapeHtmlText(plan.plan_key)} — ${escapeHtmlText(plan.verdict ?? plan.compiled_verdict ?? plan.coverage)}</h2>${plan.unreadable_reason === null
+    ? plan.findings.length === 0 ? '<p>指摘はありません。</p>'
+      : `<ol>${plan.findings.map((finding) => `<li><strong>${escapeHtmlText(finding.code)}</strong> (${escapeHtmlText(finding.severity)}) — <code>${escapeHtmlText(finding.next_action)}</code></li>`).join('')}</ol>`
+    : `<p>${escapeHtmlText(plan.unreadable_reason)}</p>`}</section>`).join('');
+  return `<noscript><section class="structure-noscript"><h1>構造検査の指摘</h1>${plans}</section></noscript>`;
+}

package/src/todo-status.mjs

@@ -22,12 +22,13 @@ import {
 } from './todo-store.mjs';
 
 /**
- * v6で`plan_notes`を足す。ADR 0054・0063の前例どおり既存versionへのin-place追加はしない。
+ * v7で`structure_finalization_pending`を足す。構造機能が未適用のplanでは空配列になり、
+ * dispatch面は変えない。ADR 0054・0063の前例どおり既存versionへのin-place追加はしない。
  *
  * plan単位noteは工程に属する義務で、taskへ着手した人のcontextには届くが、**まだ誰も
  * 着手していない工程の義務は、この欄が無いとどこにも出ない**。
  */
-export const TODO_STATUS_SCHEMA = 'lattice.todo_status_result.v6';
+export const TODO_STATUS_SCHEMA = 'lattice.todo_status_result.v7';
 export const TODO_DISPATCH_FRONTIER_SCHEMA = 'lattice.todo_dispatch_frontier.v1';
 export const TODO_STATUS_LIST_LIMIT = 2_000;
 export const TODO_STATUS_LABEL_LIMIT = 160;
@@ -234,6 +235,18 @@ function parallelCandidateEntry(value) {
       || value.serialize_pairs.length > 0);
 }
 
+function structureFinalizationPendingEntry(value) {
+  return exactRecord(value, ['plan_key', 'status', 'reason', 'stale_reasons', 'next_commands'])
+    && isTodoIdentifier(value.plan_key)
+    && ['missing', 'stale'].includes(value.status)
+    && isTodoStatusBoundedText(value.reason, TODO_STATUS_REASON_LIMIT)
+    && boundedList(value.stale_reasons,
+      (reason) => isTodoStatusBoundedText(reason, TODO_STATUS_LABEL_LIMIT))
+    && Array.isArray(value.next_commands) && value.next_commands.length > 0
+    && boundedList(value.next_commands,
+      (command) => isTodoStatusBoundedText(command, TODO_STATUS_REASON_LIMIT));
+}
+
 function memberHead(value) {
   return exactRecord(value, [
     'plan_key', 'plan_version', 'through_sequence', 'journal_head_digest',
@@ -287,17 +300,19 @@ function dispatchFrontierEntry(value, projectId, nextReady) {
     && value.frontier_digest === expected.frontier_digest;
 }
 
-/** todo status v6 wire shapeを検証し、digestも再計算する。 */
+/** todo status v7 wire shapeを検証し、digestも再計算する。 */
 export function validateTodoStatusResult(value) {
   try {
     return exactRecord(value, [
       'schema', 'project_id', 'active_set', 'next_ready', 'dispatch_frontier',
-      'blocked', 'audit_pending', 'plan_notes', 'coordination', 'parallel_candidates',
+      'blocked', 'audit_pending', 'structure_finalization_pending', 'plan_notes',
+      'coordination', 'parallel_candidates',
       'member_heads', 'result_digest',
     ]) && value.schema === TODO_STATUS_SCHEMA && isTodoIdentifier(value.project_id)
       && boundedList(value.active_set, activeTaskEntry) && boundedList(value.next_ready, taskEntry)
       && dispatchFrontierEntry(value.dispatch_frontier, value.project_id, value.next_ready)
       && boundedList(value.blocked, blockedEntry) && boundedList(value.audit_pending, auditPendingEntry)
+      && boundedList(value.structure_finalization_pending, structureFinalizationPendingEntry)
       && boundedList(value.plan_notes, planNoteEntry)
       && boundedList(value.coordination, coordinationEntry)
       && boundedList(value.parallel_candidates, parallelCandidateEntry)
@@ -535,6 +550,7 @@ export function computeReadyFrontier(readModel) {
  */
 export const TODO_STATUS_DISPATCH_ONLY = Object.freeze({
   planNotes: Object.freeze([]), parallelCandidates: Object.freeze([]),
+  structureFinalizations: Object.freeze([]),
 });
 
 /**
@@ -547,17 +563,23 @@ export const TODO_STATUS_DISPATCH_ONLY = Object.freeze({
  * 呼び出し元だけがそれを渡す。dispatch面しか見ない内部呼び出しは`TODO_STATUS_DISPATCH_ONLY`を使う。
  */
 export function projectTodoStatus(readModel, options = undefined) {
-  if (!exactRecord(options, ['planNotes', 'parallelCandidates'])
+  if (!(exactRecord(options, ['planNotes', 'parallelCandidates'])
+      || exactRecord(options, ['planNotes', 'parallelCandidates', 'structureFinalizations']))
     || !Array.isArray(options.planNotes)) {
     fail('TODO_STATUS_INVALID_INPUT', 'todo_status_plan_notes_missing');
   }
   if (!Array.isArray(options.parallelCandidates)) {
     fail('TODO_STATUS_INVALID_INPUT', 'todo_status_parallel_candidates_missing');
   }
+  if (options.structureFinalizations !== undefined
+    && !Array.isArray(options.structureFinalizations)) {
+    fail('TODO_STATUS_INVALID_INPUT', 'todo_status_structure_finalizations_invalid');
+  }
   const graph = buildTodoGraph(readModel);
   const { nodes, incoming, memberHeads, auditPending, coordination } = graph;
   const planNotes = [...options.planNotes];
   const parallelCandidates = [...options.parallelCandidates];
+  const structureFinalizations = [...(options.structureFinalizations ?? [])];
 
   const activeSet = [];
   const nextReady = [];
@@ -590,7 +612,8 @@ export function projectTodoStatus(readModel, options = undefined) {
   memberHeads.sort((left, right) => left.plan_key < right.plan_key ? -1 : left.plan_key > right.plan_key ? 1 : 0);
   for (const [name, value] of [
     ['active_set', activeSet], ['next_ready', nextReady], ['blocked', blocked],
-    ['audit_pending', auditPending], ['plan_notes', planNotes],
+    ['audit_pending', auditPending], ['structure_finalization_pending', structureFinalizations],
+    ['plan_notes', planNotes],
     ['coordination', coordination], ['parallel_candidates', parallelCandidates],
     ['member_heads', memberHeads],
   ]) enforceListLimit(name, value);
@@ -605,6 +628,9 @@ export function projectTodoStatus(readModel, options = undefined) {
     // 監査待ちは`member.phases`だけから作った別の列で、dispatch(next_ready/dispatch_frontier)へは
     // 影響しない。監査が進んでもfrontier_digestは動かない。
     audit_pending: auditPending,
+    // 全task done後、構造finalizationが無い／古いplanだけを別列へ出す。監査状態と
+    // dispatch状態を混ぜず、terminal受理へ進めない理由と正規コマンドを同時に示す。
+    structure_finalization_pending: structureFinalizations,
     // plan単位noteも同じく別の列である。noteの有無・件数はdispatchへ影響しないので、
     // next_ready・dispatch_frontier・frontier_digestはnoteを書いても1バイトも動かない。
     plan_notes: planNotes,