@quolu/lattice 0.46.2 → 0.47.0

package/src/seam-apply.mjs

@@ -356,7 +356,7 @@ export function seamConflictFromFinding({
  */
 export async function applySeamConflict({
   repoRoot, planKey, conflict, witnessSet, latticeBin, sharedPathFor,
-  executors, compileIndependence, pathNames = {},
+  executors, compileIndependence, pathNames = {}, precedences = [],
 } = {}) {
   const {
     sourcePath, taskIds, ownedSymbolsByTask, proposedPathByTask, affectedTests,
@@ -492,10 +492,10 @@ export async function applySeamConflict({
       : { targetResolved: !afterPairs.has(targetPair), before: beforePairs.size, after: afterPairs.size },
     waves: {
       before: measureWaveCount({
-        taskIds, conflictPairs: [...beforePairs].map((key) => key.split('\0')), executors,
+        taskIds, conflictPairs: [...beforePairs].map((key) => key.split('\0')), precedences, executors,
       }).waves,
       after: afterPairs === null ? null : measureWaveCount({
-        taskIds, conflictPairs: [...afterPairs].map((key) => key.split('\0')), executors,
+        taskIds, conflictPairs: [...afterPairs].map((key) => key.split('\0')), precedences, executors,
       }).waves,
     },
   });

package/src/seam-verification.mjs

@@ -111,9 +111,10 @@ export function buildPostTransformWitnessSet({ witnessSet, candidate, affectedTe
  * 独自の近似を持たない。変換前後を同じ規則で測らないと、改善したという主張が
  * 測り方の差で出てしまう。
  */
-export function measureWaveCount({ taskIds, conflictPairs, executors } = {}) {
+export function measureWaveCount({ taskIds, conflictPairs, precedences = [], executors } = {}) {
   const todos = sortedUnique(taskIds ?? []);
   if (todos.length === 0) return { waves: null, reason: 'no_todos' };
+  const todoSet = new Set(todos);
   const seen = new Set();
   const conflicts = [];
   for (const pair of conflictPairs ?? []) {
@@ -124,11 +125,24 @@ export function measureWaveCount({ taskIds, conflictPairs, executors } = {}) {
     seen.add(key);
     conflicts.push({ todo_ids: [left, right], resource_id: `pair-${conflicts.length}` });
   }
+  const precedenceSeen = new Set();
+  const scopedPrecedences = [];
+  for (const edge of precedences) {
+    const from = edge?.from_todo_id;
+    const to = edge?.to_todo_id;
+    if (!todoSet.has(from) || !todoSet.has(to) || from === to) continue;
+    const reason = typeof edge.reason === 'string' && edge.reason.trim() !== ''
+      ? edge.reason : 'plan_precedence';
+    const key = `${from}\0${to}\0${reason}`;
+    if (precedenceSeen.has(key)) continue;
+    precedenceSeen.add(key);
+    scopedPrecedences.push({ from_todo_id: from, to_todo_id: to, reason });
+  }
   const compiled = compileSchedulabilityGraphV2({
     schema_version: GRAPH_SCHEMA,
     todos,
     conflicts,
-    precedences: [],
+    precedences: scopedPrecedences,
     unknowns: [],
     capacity: Number.isSafeInteger(executors) && executors >= 1 ? executors : 1,
   });
@@ -138,6 +152,28 @@ export function measureWaveCount({ taskIds, conflictPairs, executors } = {}) {
   return { waves: compiled.plan.minimum_feasible_waves, reason: null };
 }
 
+/** todo planの順序制約をschedulability compilerのcanonical edgeへ写す。 */
+export function todoPlanPrecedences(plan) {
+  const edges = [];
+  for (const edge of plan?.hard_dependencies ?? []) {
+    edges.push({
+      from_todo_id: edge.from.task_id,
+      to_todo_id: edge.to.task_id,
+      reason: 'hard_dependency',
+    });
+  }
+  for (const join of plan?.joins ?? []) {
+    for (const after of join.after) {
+      edges.push({
+        from_todo_id: after.task_id,
+        to_todo_id: join.before.task_id,
+        reason: `join:${join.id}`,
+      });
+    }
+  }
+  return edges;
+}
+
 const CONDITIONS = Object.freeze([
   'behavior_equivalent',
   'focused_tests_passed',

package/src/todo-audit-pending.mjs

@@ -0,0 +1,91 @@
+/**
+ * 監査待ちPhaseの定義（ADR 0147／0148）。
+ *
+ * 「監査待ち」は同じ3状態の集合として、gantt scopeのfold判定・dashboardの表示判定へ
+ * 別々に書かれていた。status面にも同じ判定が要るので、定義をここへ一本化する——
+ * 集合が三重になれば、片方だけ更新された時に「図には出るがstatusには出ない」形の
+ * ずれが生まれる。ADR 0147が塞ごうとした事故と外形が同じになる。
+ *
+ * このmoduleが持つのは監査待ちの**定義**だけである。各消費者の方針
+ * （ganttのfold対象をどのplan世代へ限るか等）はここへ持ち込まない。
+ */
+
+/**
+ * 監査の判断がまだ着いていないPhase状態。
+ *
+ * - `gate_ready`: 所属ToDoが全てdoneで、監査待ち。
+ * - `reviewing`: 監査中（reviewは出たが、acceptもrejectも出ていない）。
+ * - `rejected`: 監査が通らず、要フォロー。
+ *
+ * `accepted`と`closed_unaudited`は含めない。どちらも判断が着いた終端状態で、
+ * 待っているものが無い（ADR 0148裁定4）。`active`も含めない——まだpending taskが
+ * 残っており、監査の地点へ到達していない。
+ */
+export const AUDIT_PENDING_PHASE_STATUSES = new Set(['gate_ready', 'reviewing', 'rejected']);
+
+/** そのPhase状態が監査待ちか。null／undefined／未知の値はfalse。 */
+export function isAuditPendingPhaseStatus(status) {
+  return AUDIT_PENDING_PHASE_STATUSES.has(status ?? null);
+}
+
+/**
+ * その監査待ち状態から実際に打てるコマンド。
+ *
+ * `src/todo-store.mjs`の遷移guardと一致させる——gate_readyからいきなりacceptはできず
+ * （`phase_gate_not_ready`）、reviewing以外からのrejectもできない（`phase_reject_binding_invalid`）。
+ * 実行すれば必ず弾かれる遷移を「次の一歩」として案内しない。
+ *
+ * 監査待ちでない状態を渡すのは呼び出し側の誤りなので、空配列へ丸めずに投げる。
+ * 呼ぶ前に`isAuditPendingPhaseStatus`で絞ること。
+ *
+ * @returns {string[]} 実行可能なコマンド行（1つ以上）
+ */
+export function auditPendingNextCommands(planKey, phaseId, status) {
+  const target = `--plan ${planKey} --phase ${phaseId}`;
+  if (status === 'gate_ready') {
+    return [
+      `lattice todo phase review ${target} --reason <text>`,
+      `lattice todo phase close-unaudited ${target} --reason <text>`,
+    ];
+  }
+  if (status === 'reviewing') {
+    return [
+      `lattice todo phase accept ${target} --input <file>`,
+      `lattice todo phase reject ${target} --input <file>`,
+    ];
+  }
+  if (status === 'rejected') {
+    return [`lattice todo phase reopen ${target} --reason <text>`];
+  }
+  const error = new Error(`phase status is not audit pending: ${status}`);
+  error.code = 'AUDIT_PENDING_STATUS_INVALID';
+  throw error;
+}
+
+/**
+ * store read model(`lattice.todo_store_read.v1`)の中の監査待ちPhaseを列挙する。
+ *
+ * `member.phases`はstoreが常に埋める導出ビューで、phase無しplanの暗黙terminal-audit Phaseも
+ * 同じ形で入っている(ADR 0147)。planの世代で分岐しないのはそのためである。
+ *
+ * 返すのは`plan_key`・`phase_id`・`status`だけにする。消費者ごとに要る付随情報
+ * (evidence slot、次コマンド、implicitかどうか)は形が違うので、ここで先回りして
+ * 詰め込まない。並び順はplan_key→phase_idで固定する——同じstoreからは同じ列が出る。
+ *
+ * @returns {Array<{plan_key: string, phase_id: string, status: string}>}
+ */
+export function auditPendingPhasesOf(readModel) {
+  const entries = [];
+  for (const member of readModel?.members ?? []) {
+    if (!Array.isArray(member?.phases)) continue;
+    for (const phase of member.phases) {
+      if (!isAuditPendingPhaseStatus(phase?.status)) continue;
+      entries.push({
+        plan_key: member.plan.plan_key, phase_id: phase.phase_id, status: phase.status,
+      });
+    }
+  }
+  return entries.sort((left, right) => (
+    left.plan_key < right.plan_key ? -1 : left.plan_key > right.plan_key ? 1
+      : left.phase_id < right.phase_id ? -1 : left.phase_id > right.phase_id ? 1 : 0));
+}

package/src/todo-cli.mjs

@@ -103,6 +103,7 @@ import {
 import { compileSeamProposalArtifact, declaredConcernSymbols } from './seam-proposal.mjs';
 import { collectSensorEvidence } from './sensor-adapter.mjs';
 import { applySeamProposal } from './seam-apply.mjs';
+import { todoPlanPrecedences } from './seam-verification.mjs';
 import {
   WITNESS_DRAFT_SCHEMA, buildWitnessObservationQuerySet, buildWitnessSet, serializeWitnessSet,
   validateWitnessDraft,
@@ -1871,6 +1872,7 @@ async function seamProposalApply({ repoRoot, planKey, pathNames = {}, land = fal
     latticeBin: fileURLToPath(new URL('../bin/lattice.mjs', import.meta.url)),
     sharedPathFor: (sourcePath) => sourcePath.replace(/(\.[^./]+)$/u, '.seam-shared$1'),
     executors: witnessSet.capacity.executors,
+    precedences: todoPlanPrecedences(member.plan),
     compileIndependence: {
       baseArtifact,
       // 変換後のworktreeで、写した宣言と再indexした索引から実compileする。

package/src/todo-dashboard-registry.mjs

@@ -7,6 +7,7 @@ import {
 import path from 'node:path';
 
 import packageJson from '../package.json' with { type: 'json' };
+import { isAuditPendingPhaseStatus } from './todo-audit-pending.mjs';
 
 /**
  * The version of the code in THIS process. A daemon loads its modules once at
@@ -20,7 +21,6 @@ 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;
@@ -59,7 +59,7 @@ function validEntry(entry) {
 /** active taskが無くても、監査の判断待ち・棄却後なら公開工程から消してはいけない。 */
 export function todoDashboardMemberNeedsVisibility(member) {
   return Array.isArray(member?.phases)
-    && member.phases.some(({ status }) => TODO_DASHBOARD_ATTENTION_PHASE_STATUS.has(status));
+    && member.phases.some(({ status }) => isAuditPendingPhaseStatus(status));
 }
 
 function validateRegistry(value) {

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

@@ -20,11 +20,15 @@ body{display:grid;grid-template-rows:minmax(0,1fr);height:100vh;margin:0;backgro
 .gantt-pane{display:grid;grid-template-rows:auto auto minmax(0,1fr);min-width:0;min-height:0;overflow:hidden;background:var(--surface-1)}
 .pane-divider{width:8px;cursor:col-resize;background:rgba(217,216,212,.5);touch-action:none}
 .diagram-toolbar{z-index:3;display:flex;align-items:center;gap:8px;padding:8px 16px;border-bottom:1px solid var(--border);background:var(--surface-2);color:var(--text-secondary)}
-.diagram-toolbar button{min-height:32px;padding:0 8px;border:1px solid var(--border);border-radius:4px;background:var(--surface-2);color:var(--text-primary);font:500 12px/1.6 system-ui,-apple-system,"Hiragino Sans","Yu Gothic UI",sans-serif}
+/* 監査待ちの札が入って以降、ツールバーは幅の奪い合いになる。操作系は縮ませない——
+   縮むと「等倍」「全体表示」が2行に折れて、押せるが読みにくい形になる。削るのは札の側で、
+   そちらはellipsisと件数の下限を持っている。 */
+.diagram-toolbar button{flex:0 0 auto;white-space:nowrap;min-height:32px;padding:0 8px;border:1px solid var(--border);border-radius:4px;background:var(--surface-2);color:var(--text-primary);font:500 12px/1.6 system-ui,-apple-system,"Hiragino Sans","Yu Gothic UI",sans-serif}
 .diagram-toolbar button:focus-visible{outline:2px solid var(--text-primary);outline-offset:2px}
 .zoom-readout{min-width:48px;text-align:center;font-size:12px;font-weight:500;font-variant-numeric:tabular-nums}
 .diagram-note{margin-left:auto;color:var(--text-secondary);font-size:12px;font-weight:500}
-.project-heading{margin-right:8px;color:var(--text-primary);font-size:13px;font-weight:650;white-space:nowrap}.status-symbol.status-in-progress{color:var(--accent)}.status-symbol.status-done{color:var(--good)}.status-symbol.status-blocked{color:var(--critical)}
+.project-heading{margin-right:8px;color:var(--text-primary);font-size:13px;font-weight:650;white-space:nowrap}
+.audit-pending-chip{flex:0 1 auto;min-width:9em;max-width:30em;overflow:hidden;padding:2px 8px;border:1px solid var(--critical);border-radius:9999px;background:var(--surface-1);color:var(--critical);font-size:12px;font-weight:650;white-space:nowrap;text-overflow:ellipsis}.status-symbol.status-in-progress{color:var(--accent)}.status-symbol.status-done{color:var(--good)}.status-symbol.status-blocked{color:var(--critical)}
 .diagram-legend{display:flex;flex-wrap:wrap;align-items:center;gap:8px 16px;padding:8px 16px;border-bottom:1px solid var(--border);background:var(--surface-1);color:var(--text-secondary);font-size:12px;font-weight:500}
 .diagram-legend>span{white-space:nowrap}.diagram-legend>p{flex:1 0 100%;margin:0;font-weight:400}
 .category-legend{margin-left:auto}.category-legend summary{cursor:pointer;color:var(--text-primary)}

package/src/todo-gantt-html.mjs

@@ -1,12 +1,13 @@
 import { createHash } from 'node:crypto';
 
+import { auditPendingPhasesOf } from './todo-audit-pending.mjs';
 import { serializeJsonForScript } from './todo-markdown-renderer.mjs';
 import { renderTodoGanttSvg, TODO_GANTT_STATUS_PRESENTATION } from './todo-gantt-svg.mjs';
 import { renderDiagramLegend, renderRightPane } from './todo-gantt-html-independence.mjs';
 import { escapeHtmlAttribute, escapeHtmlText, refKey } from './todo-gantt-html-shared.mjs';
 import { CSS } from './todo-gantt-html-style.mjs';
 
-export const TODO_GANTT_RENDERER_VERSION = 'lattice.todo_gantt_renderer.v18';
+export const TODO_GANTT_RENDERER_VERSION = 'lattice.todo_gantt_renderer.v19';
 export const TODO_GANTT_PROSE_MAX_BYTES = 8 * 1024 * 1024;
 export const TODO_GANTT_HTML_MAX_BYTES = 24 * 1024 * 1024;
 
@@ -17,6 +18,33 @@ function projectDisplayName(readModel, metadata) {
   return readModel.project_id;
 }
 
+/**
+ * 監査待ちPhaseをヘッダへ出す(ADR 0147／0148)。
+ *
+ * CLIのstdoutは1行のversioned JSONというADR 0049の公理があり、人が読むテキスト面が無い。
+ * 人が実際に見るのはこの図とdashboard(同じHTMLを配信する)なので、監査待ちはここへ出す。
+ * 全taskがdoneでも監査が済んでいなければ工程は閉じていない——図が「全部緑」に見えるのに
+ * ヘッダが無言なら、読み手は完了したと読む。
+ *
+ * 判断の着いたPhase(accepted／closed_unaudited)しか無ければ、この札は出ない。
+ *
+ * **出す文字列を有界にする。** ツールバーはpane幅で制約されていないので、長い札は縮まずに
+ * 行を押し広げ、ズーム操作を画面外へ追い出す(2026-08-08に実測)。CSSの`text-overflow`は
+ * ここでは発動しないため、頼れない。全plan名を並べる代わりに先頭1件＋残件数だけを出し、
+ * 全文は`title`に残す。件数(`監査待ち N件`)は常に見える——省略するのは内訳であって、
+ * 監査待ちの存在そのものではない。
+ */
+function renderAuditPendingChip(readModel) {
+  const pending = auditPendingPhasesOf(readModel);
+  if (pending.length === 0) return '';
+  const label = ({ plan_key: planKey, phase_id: phaseId, status }) => `${planKey}/${phaseId} (${status})`;
+  // 残件数は書かない——先頭の`N件`が既に全体を数えており、「ほかM件」はその引き算でしかない。
+  // 幅は有限なので、同じことを二度言う分だけplan名が削れる。
+  const text = `監査待ち ${pending.length}件: ${label(pending[0])}`;
+  const full = `監査待ち ${pending.length}件: ${pending.map(label).join(' · ')}`;
+  return `<span class="audit-pending-chip" title="${escapeHtmlAttribute(full)}">${escapeHtmlText(text)}</span>`;
+}
+
 export class TodoGanttRenderError extends Error {
   constructor(code, message, detail = {}) {
     super(message);
@@ -196,7 +224,7 @@ export function renderTodoGanttHtml({
     metadata,
     presentation,
   });
-  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}</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><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}</script></body></html>`;
+  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}</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}</script></body></html>`;
   const htmlBytes = Buffer.byteLength(html, 'utf8');
   if (htmlBytes > TODO_GANTT_HTML_MAX_BYTES) {
     throw new TodoGanttRenderError('TODO_SCALE_EXCEEDED', 'todo gantt HTML limit exceeded', {

package/src/todo-gantt-scope.mjs

@@ -26,6 +26,8 @@
  * the real plan, and measuring them on a narrowed graph would make them lie.
  */
 
+import { isAuditPendingPhaseStatus } from './todo-audit-pending.mjs';
+
 export const TODO_GANTT_SCOPES = Object.freeze(['live', 'all']);
 
 /**
@@ -50,14 +52,16 @@ function compareText(left, right) {
  * phase無しplanのtaskにはphase_idフィールド自体が無いため、そこでは暗黙Phaseの状態を
  * 埋める。フィールドが無い/nullの入力(既存test・素のnode)は従来どおり対象外(false)になる。
  *
- * 対象は`gate_ready`(全task doneで監査待ち)・`reviewing`(監査中)・`rejected`
- * (監査が通らず要フォロー)の3状態だけに絞る。`active`(一部taskがまだpending)は、
- * 他のtaskが図に残っている限りplanが未完了だと分かるので対象にしない——ここまで
+ * 監査待ちの状態集合そのものは`todo-audit-pending.mjs`が持つ(gate_ready・reviewing・rejected)。
+ * `active`(一部taskがまだpending)が入っていないことにここも依存している——ここまで
  * 広げると、完走していない枝の通常foldまで止めてしまい既存挙動を変える。
+ *
+ * 下のv4/v5除外は共有moduleへ移さない。あれは「監査待ちとは何か」の定義ではなく、
+ * ganttがどこまでfoldを止めるかという本moduleの方針である。移すと、宣言Phase planの
+ * fold挙動を他の消費者の都合で変えてしまう。
  */
-const AUDIT_PENDING_PHASE_STATUSES = new Set(['gate_ready', 'reviewing', 'rejected']);
 function auditPending(node) {
-  if (!AUDIT_PENDING_PHASE_STATUSES.has(node.phase_status ?? null)) return false;
+  if (!isAuditPendingPhaseStatus(node.phase_status)) return false;
   const schema = node.plan_schema ?? null;
   return !['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(schema);
 }

package/src/todo-independence-contracts.mjs

@@ -8,18 +8,20 @@ import {
 } from './todo-contracts.mjs';
 import {
   RUN_REQUEST_CLAIM_MODE,
+  RUN_REQUEST_DECLARATIVE_SCHEMA,
   RUN_REQUEST_SCHEMA,
   explainRunRequest,
   selfDigest as runtimeSelfDigest,
 } from './runtime-contracts.mjs';
 import { TODO_INDEPENDENCE_GUIDANCE_CODES } from './todo-independence-guidance.mjs';
 
-export const TODO_WITNESS_SET_SCHEMA = 'lattice.todo_witness_set.v3';
+export const TODO_WITNESS_SET_SCHEMA = 'lattice.todo_witness_set.v4';
 /**
- * まだ受理する旧witness set契約。v1はconcern anchorを、v2は創作宣言を持てないだけで、
- * 境界宣言としてはv3と同値である。既存宣言を書き換えさせないために読み口を残す。
+ * まだ受理する旧witness set契約。v3以前の厳密なcompile意味を変えず、
+ * 既存宣言を書き換えさせないために読み口を残す。
  */
 export const TODO_WITNESS_SET_LEGACY_SCHEMAS = Object.freeze([
+  'lattice.todo_witness_set.v3',
   'lattice.todo_witness_set.v2',
   'lattice.todo_witness_set.v1',
 ]);
@@ -30,9 +32,10 @@ export const TODO_WITNESS_SET_SCHEMAS = Object.freeze([
 /** 宣言できる欄はversionごとに違う。どの版から使えるかを1箇所で持つ。 */
 const CONCERN_ANCHOR_SCHEMAS = Object.freeze([
   TODO_WITNESS_SET_SCHEMA,
+  'lattice.todo_witness_set.v3',
   'lattice.todo_witness_set.v2',
 ]);
-const CREATES_SCHEMAS = Object.freeze([TODO_WITNESS_SET_SCHEMA]);
+const CREATES_SCHEMAS = Object.freeze([TODO_WITNESS_SET_SCHEMA, 'lattice.todo_witness_set.v3']);
 
 /** 1 taskが宣言できるconcern anchorの資源数と、資源あたりのsymbol数の上限。 */
 export const TODO_CONCERN_ANCHOR_LIMIT = 256;
@@ -127,7 +130,8 @@ function boundedText(value, maximumBytes = 4_096) {
 export function synthesizeWitnessRunRequest(witnessSet, { baseSha, requestId }) {
   const taskIds = Object.keys(witnessSet.manual_witness).sort(compareText);
   const request = {
-    schema: RUN_REQUEST_SCHEMA,
+    schema: witnessSet.schema === TODO_WITNESS_SET_SCHEMA
+      ? RUN_REQUEST_SCHEMA : RUN_REQUEST_DECLARATIVE_SCHEMA,
     request_id: requestId,
     repo: { base_sha: baseSha, root_kind: 'git' },
     capacity: witnessSet.capacity,
@@ -468,7 +472,7 @@ function unknownTaskEntry(value) {
  *
  * ready frontierを「検証済み並列グループ」「直列化すべき組」「未検査」へ分けた読み出し面。
  * v2は進行中ToDoとの競合（`conflicts_with_active`）と鮮度の内訳（`drift`）を加える。
- * `todo_status_result.v4`と`dispatch_frontier`は変更せず、加算の別面として持つ（ADR 0124の規律）。
+ * `todo_status_result`と`dispatch_frontier`は変更せず、加算の別面として持つ（ADR 0124の規律）。
  */
 export function validateTodoIndependenceProjection(value) {
   try {

package/src/todo-independence-guidance.mjs

@@ -241,36 +241,12 @@ export const TODO_INDEPENDENCE_WORKFLOW = Object.freeze([
  * のは、ADR 0130が禁じたものそのものである。
  */
 const SCAFFOLD_CATALOG = Object.freeze({
-  path_absent_declare_creates: {
-    message: '宣言したpathは不在と観測できている。そのToDoが作るなら、owns entryを{ path, creates: true }（下書きv2）にして再実行する。作らないなら、宣言しているpathが正しいか確かめる。',
-    next_action: 'declare_creates_then_retry',
-  },
-  creates_path_present: {
-    message: '創作を宣言したpathは既に存在する。作るのでなく変更するなら、creates宣言を外してpath名だけにする。',
-    next_action: 'drop_creates_then_retry',
-  },
-  creates_unverified: {
-    message: '創作宣言の裏付けが取れない。sensorの観測が「対象1件・依存test無し」の形になっていない。sensor syncで索引を取り直してから再実行する。',
-    next_action: 'sync_sensor_then_retry',
-  },
-  affected_tests_unobserved: {
-    message: '所有pathのaffected観測が取れていない。sensor syncで索引へ収載してから再実行する。',
-    next_action: 'sync_sensor_then_retry',
-  },
-  multiple_owned_paths_unsupported: {
-    message: 'affected_testsは宣言とfresh観測をbinding単位でexact比較するため、1 ToDoが複数pathを所有する宣言は今の契約で表現できない。ToDoを分けるか、所有を1 pathに絞る。',
-    next_action: 'split_todo_or_narrow_owns',
-  },
   anchor_outside_owned: {
     message: 'concern_anchorのwithinが、自分の所有pathを指していない。所有していない資源の内側に担当を主張できない。',
     next_action: 'align_anchor_with_owns',
   },
-  owns_empty: {
-    message: 'ownsが空のToDoがある。何を所有するかは判定の起点なので、道具が補わない。',
-    next_action: 'declare_owns_then_retry',
-  },
   draft_invalid: {
-    message: '下書きがlattice.todo_witness_draft契約を満たしていない。creates宣言を使うならschemaをv2にする。',
+    message: '下書きがlattice.todo_witness_draft契約を満たしていない。',
     next_action: 'fix_draft_schema_then_retry',
   },
 });
@@ -284,9 +260,7 @@ const SCAFFOLD_CATALOG = Object.freeze({
 export function selectWitnessScaffoldGuidance(reasons = []) {
   const codes = reasons.map((reason) => String(reason).split(':')[0]);
   const order = [
-    'draft_invalid', 'owns_empty', 'multiple_owned_paths_unsupported', 'anchor_outside_owned',
-    'path_absent_declare_creates', 'creates_path_present', 'creates_unverified',
-    'affected_tests_unobserved',
+    'draft_invalid', 'anchor_outside_owned',
   ];
   const code = order.find((candidate) => codes.includes(candidate));
   if (code === undefined) {

package/src/todo-status.mjs

@@ -1,3 +1,8 @@
+import {
+  AUDIT_PENDING_PHASE_STATUSES,
+  auditPendingNextCommands,
+  isAuditPendingPhaseStatus,
+} from './todo-audit-pending.mjs';
 import {
   exactRecord,
   isNonNegativeSafeInteger,
@@ -6,8 +11,9 @@ import {
   todoSelfDigest,
 } from './todo-contracts.mjs';
 import { todoLegacyReconciliationDigest } from './todo-revision.mjs';
+import { isPhaselessTodoPlanSchema, todoPhaseDefinitions } from './todo-store.mjs';
 
-export const TODO_STATUS_SCHEMA = 'lattice.todo_status_result.v4';
+export const TODO_STATUS_SCHEMA = 'lattice.todo_status_result.v5';
 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;
@@ -97,6 +103,25 @@ function blockedEntry(value) {
     && isTodoStatusBoundedText(value.reason, TODO_STATUS_REASON_LIMIT);
 }
 
+/**
+ * 監査待ちPhase 1件。
+ *
+ * task entryと紛れないよう`status`ではなく`phase_status`にする。状態集合は
+ * `todo-audit-pending.mjs`の定義をそのまま使う（ここで書き直さない）。
+ * `next_commands`を非空必須にしたのは、監査待ちなのに次の一手が空なら次アクション面として
+ * 無意味だからである（状態集合が閉じている以上、空になる枝は無い）。
+ */
+function auditPendingEntry(value) {
+  return exactRecord(value, [
+    'plan_key', 'phase_id', 'phase_status', 'implicit', 'required_evidence_slots', 'next_commands',
+  ]) && isTodoIdentifier(value.plan_key) && isTodoIdentifier(value.phase_id)
+    && AUDIT_PENDING_PHASE_STATUSES.has(value.phase_status)
+    && typeof value.implicit === 'boolean'
+    && boundedList(value.required_evidence_slots, isTodoIdentifier)
+    && 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',
@@ -150,16 +175,17 @@ function dispatchFrontierEntry(value, projectId, nextReady) {
     && value.frontier_digest === expected.frontier_digest;
 }
 
-/** todo status v4 wire shapeを検証し、digestも再計算する。 */
+/** todo status v5 wire shapeを検証し、digestも再計算する。 */
 export function validateTodoStatusResult(value) {
   try {
     return exactRecord(value, [
       'schema', 'project_id', 'active_set', 'next_ready', 'dispatch_frontier',
-      'blocked', 'member_heads', 'result_digest',
+      'blocked', 'audit_pending', '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.member_heads, memberHead)
+      && boundedList(value.blocked, blockedEntry) && boundedList(value.audit_pending, auditPendingEntry)
+      && boundedList(value.member_heads, memberHead)
       && isTodoDigest(value.result_digest)
       && value.result_digest === todoSelfDigest(value, 'result_digest');
   } catch {
@@ -167,6 +193,46 @@ export function validateTodoStatusResult(value) {
   }
 }
 
+/**
+ * memberの監査待ちPhaseを`audit_pending` entryへ起こす。
+ *
+ * 「監査待ちか」の判定は`todo-audit-pending.mjs`、Phase定義（slots）は`todo-store.mjs`の
+ * `todoPhaseDefinitions`が正本である。`plan.phases`を直接読むとphase無しplan(v1/v2/v3)と
+ * synthetic read modelで落ちるので読まない。
+ *
+ * dispatchへは一切流さない——ここで作るのは`member.phases`だけを見る別の列であり、
+ * nodes／incomingへは入れない（ADR 0062・ADR 0147裁定5）。
+ */
+function collectAuditPending(member, sink) {
+  const declared = todoPhaseDefinitions(member.plan);
+  // Phase plan(v4/v5/v7)なのに`plan.phases`が配列でない場合はここでtypedに落とす
+  // (素のTypeErrorで抜けさせない)。phase無しplanは常に暗黙Phase 1件が返るので該当しない。
+  if (!Array.isArray(declared)) {
+    fail('TODO_STATUS_INVALID_INPUT', 'todo_status_plan_phases_invalid', { plan_key: member.plan.plan_key });
+  }
+  const definitions = new Map(declared.map((entry) => [entry.phase_id, entry]));
+  const implicit = isPhaselessTodoPlanSchema(member.plan.schema);
+  for (const phase of member.phases ?? []) {
+    if (!isAuditPendingPhaseStatus(phase?.status)) continue;
+    const definition = definitions.get(phase.phase_id);
+    // 導出ビューに在ってplanに定義が無いPhaseは、状態とplanがずれている証拠である。
+    // slotsを空へ丸めるとgateが何を要求するか嘘を吐くので、fail closedにする。
+    if (definition === undefined) {
+      fail('TODO_STATUS_INVALID_INPUT', 'todo_status_phase_definition_missing', {
+        plan_key: member.plan.plan_key, phase_id: phase.phase_id,
+      });
+    }
+    sink.push({
+      plan_key: member.plan.plan_key,
+      phase_id: phase.phase_id,
+      phase_status: phase.status,
+      implicit,
+      required_evidence_slots: [...definition.required_evidence_slots],
+      next_commands: auditPendingNextCommands(member.plan.plan_key, phase.phase_id, phase.status),
+    });
+  }
+}
+
 /**
  * read modelからtask node・依存辺・phase gateを組み立てる。
  *
@@ -182,6 +248,7 @@ function buildTodoGraph(readModel) {
   const nodes = new Map();
   const incoming = new Map();
   const memberHeads = [];
+  const auditPending = [];
   // snapshot artifactの形式(v1にはphasesキーが無い)には縛られない導出ビューを読む
   // (readTodoStoreが常にmember.phasesとして埋める。ADR 0147)。
   const phaseStatuses = new Map(readModel.members.flatMap((member) => (
@@ -228,6 +295,7 @@ function buildTodoGraph(readModel) {
     const states = new Map(member.tasks.map((state) => [state.task_id, state]));
     // snapshot artifactの形式には縛られない導出ビュー(member.phases)を読む(ADR 0147)。
     const phases = new Map((member.phases ?? []).map((state) => [state.phase_id, state]));
+    collectAuditPending(member, auditPending);
     for (const task of member.plan.tasks) {
       const state = states.get(task.task_id);
       if (!plain(state) || !['pending', 'in-progress', 'blocked', 'done'].includes(state.status)) {
@@ -283,7 +351,11 @@ function buildTodoGraph(readModel) {
     }
   }
 
-  return { nodes, incoming, phaseAcceptIncoming, phaseStatuses, memberHeads };
+  auditPending.sort((left, right) => (
+    left.plan_key < right.plan_key ? -1 : left.plan_key > right.plan_key ? 1
+      : left.phase_id < right.phase_id ? -1 : left.phase_id > right.phase_id ? 1 : 0));
+
+  return { nodes, incoming, phaseAcceptIncoming, phaseStatuses, memberHeads, auditPending };
 }
 
 /** 先行完了とphase gateを満たしたpending taskだけがreadyになる。 */
@@ -320,7 +392,7 @@ export function computeReadyFrontier(readModel) {
 /** Canonical todo read modelからSessionStart向け現在地をread-only投影する。 */
 export function projectTodoStatus(readModel) {
   const graph = buildTodoGraph(readModel);
-  const { nodes, incoming, memberHeads } = graph;
+  const { nodes, incoming, memberHeads, auditPending } = graph;
 
   const activeSet = [];
   const nextReady = [];
@@ -352,7 +424,8 @@ export function projectTodoStatus(readModel) {
   blocked.sort(compareTaskEntries);
   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], ['member_heads', memberHeads],
+    ['active_set', activeSet], ['next_ready', nextReady], ['blocked', blocked],
+    ['audit_pending', auditPending], ['member_heads', memberHeads],
   ]) enforceListLimit(name, value);
 
   const result = {
@@ -362,6 +435,9 @@ export function projectTodoStatus(readModel) {
     next_ready: nextReady,
     dispatch_frontier: dispatchFrontier(readModel.project_id, nextReady),
     blocked,
+    // 監査待ちは`member.phases`だけから作った別の列で、dispatch(next_ready/dispatch_frontier)へは
+    // 影響しない。監査が進んでもfrontier_digestは動かない。
+    audit_pending: auditPending,
     member_heads: memberHeads,
     result_digest: '',
   };
@@ -386,8 +462,8 @@ export const TODO_BINDING_PROJECTION_SCHEMA = 'lattice.todo_binding_projection.v
  * `compiled_plan_digest`で`runtime_plan.v1`を、`base_sha`でrun requestのbaseを照合し、
  * plan→`executor_packet.v1`→`executor_receipt.v1`（`packet_digest`帰属）まで辿れる。
  *
- * `todo_status_result.v4`は変更しない。binding投影は加算の別面とし、v4を受理する
- * 既存hostを壊さない。
+ * binding投影は`todo_status_result`とは独立した加算の別面である（ADR 0124）。status側の
+ * version bump（v4→v5）はこの面の形を動かさない。
  */
 export function projectTodoBindings(readModel, { requestedPlanKey = null } = {}) {
   if (!plain(readModel) || readModel.schema !== 'lattice.todo_store_read.v1'

package/src/todo-store.mjs

@@ -278,6 +278,15 @@ function phasesOf(plan) {
   return isPhaselessTodoPlanSchema(plan.schema) ? [terminalAuditPhase()] : plan.phases;
 }
 
+// 終端監査Phaseの定義(required_evidence_slotsを含む)はterminalAuditPhase()の中だけに在り、
+// store外からは読めなかった。todo-status側で再導出すると「終端監査が何を要求するか」の定義が
+// 二重化するので、phasesOfをそのまま公開して定義の正本を1つに保つ。
+// 返るのは呼び手が渡したplan自身のphases(またはその場で作る暗黙Phase)であり、新たな内部状態は
+// 露出しない。
+export function todoPhaseDefinitions(plan) {
+  return phasesOf(plan);
+}
+
 function derivedPhaseStatus(plan, taskStates, phaseStates, phaseId) {
   const state = phaseStates.get(phaseId);
   // ADR 0148: closed_unauditedも他の終端状態と同じく確定済みとして扱う。ここへ足さないと、