@quolu/lattice 0.46.2 → 0.48.0

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

@@ -8,6 +8,7 @@ import { fileURLToPath } from 'node:url';
 import { parseTree } from 'jsonc-parser';
 
 import {
+  TODO_COORDINATION_MODES,
   TODO_DESIGN_MEMO_PROMPT,
   canonicalizeTodoArtifact,
   digestTodoArtifact,
@@ -72,6 +73,7 @@ import {
 import {
   computeReadyFrontier,
   projectTodoBindings,
+  TODO_STATUS_DISPATCH_ONLY,
   projectTodoStatus,
 } from './todo-status.mjs';
 import {
@@ -103,6 +105,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,
@@ -117,7 +120,9 @@ import {
   readTodoNoteContext,
   readTodoNoteContextsForPlan,
   readTodoNoteEvents,
+  readTodoPlanNotesForStatus,
 } from './todo-note-store.mjs';
+import { readTodoParallelCandidatesForStatus } from './todo-parallel-candidates.mjs';
 
 const CLI_ERROR_SCHEMA = 'lattice.cli_error.v2';
 const DEFAULT_GANTT_SCOPE = 'live';
@@ -593,6 +598,9 @@ function designMemoProjection(task) {
  */
 async function startAdvisory({ repoRoot, store, projection, planKey, taskId }) {
   const artifact = await readTodoIndependenceArtifact({ repoRoot, store, planKey });
+  // 調整方式の宣言（ob03）。未宣言はnullで、「まだ選んでいない」を意味する。
+  const coordinationMode = store.members
+    .find(({ descriptor }) => descriptor.plan_key === planKey)?.coordination?.mode ?? null;
   if (artifact === null) {
     // 記録が無ければ鮮度を語る相手がいない。HEADを要求すると、commitがまだ無いrepoで
     // 「判定できない」でなく「startできない」になってしまう。
@@ -604,7 +612,7 @@ async function startAdvisory({ repoRoot, store, projection, planKey, taskId }) {
         .filter((task) => task.plan_key === planKey).map(({ task_id: id }) => id),
       self_unknowns: [{ kind: 'witness_missing', ref: 'no_independence_record' }],
       guidance: selectIndependenceGuidance({
-        coverage: 'missing', taskDeclared: false, taskStale: false,
+        coverage: 'missing', taskDeclared: false, taskStale: false, coordinationMode,
       }),
     };
   }
@@ -653,6 +661,7 @@ async function startAdvisory({ repoRoot, store, projection, planKey, taskId }) {
       conflictWithActive: conflictsWithActive[0]?.severability ?? null,
       conflictBetweenReady: readyConflict?.severability ?? null,
       verdictsAbsent: selfUnknowns.some(({ kind }) => kind === 'plan_verdicts_absent'),
+      coordinationMode,
     }),
   };
 }
@@ -684,7 +693,8 @@ async function startTask({
   repoRoot, env, planKey, taskId, overrideReason, parallelFrontier, serialConfirmed = false,
 }) {
   const store = await readTodoStore({ repoRoot });
-  const projection = projectTodoStatus(store);
+  // startはready判定にしかprojectionを使わず、resultを出力しない。
+  const projection = projectTodoStatus(store, TODO_STATUS_DISPATCH_ONLY);
   const readyTask = projection.next_ready.find((task) => (
     task.plan_key === planKey && task.task_id.toLowerCase() === taskId.toLowerCase()
   ));
@@ -826,6 +836,33 @@ async function phaseMutation({ repoRoot, env, planKey, phaseId, kind, payload })
   return result;
 }
 
+/**
+ * 調整方式を宣言する（ob03・オーナー裁定C①）。
+ *
+ * witnessが全planの暗黙義務だった時、「誰がやるか」が誰にも属さず、正確な案内が素通りされた。
+ * 起票後にこのコマンドで明示選択させ、eventのactorへ帰属を残す。宣言はdispatchを変えない
+ * ——未宣言でもready frontierは通常どおり出る（ADR 0160・ob04のProtected behavior）。
+ */
+async function independenceMode({ repoRoot, env, planKey, mode, reason }) {
+  const { event } = await appendTodoEvent({
+    repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }), planKey,
+    event: { kind: 'coordination_mode', actor: mutationActor(env), payload: { mode, reason } },
+  });
+  const result = {
+    schema: 'lattice.todo_coordination_mode_result.v1', project_id: event.project_id,
+    plan_key: event.plan_key, plan_version: event.plan_version,
+    mode: event.payload.mode, reason: event.payload.reason,
+    declared_by: event.actor, declared_at: event.recorded_at,
+    // 宣言はplan-scoped chainのheadを進める。lifecycle journalのheadは動かない——
+    // 「作業が進んだ」の意味をここへ混ぜないため、journal_head_digestは返さない。
+    sequence: event.sequence, event_digest: event.event_digest,
+    plan_scoped_head_digest: event.event_digest,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}
+
 async function phaseStatus({ repoRoot, planKey }) {
   const store = await readTodoStore({ repoRoot });
   const [member] = selectMembers(store, planKey);
@@ -972,7 +1009,8 @@ async function migrate({ repoRoot, inputRef, serializationReviewed = false }) {
 
   const imported = await appendTodoExtraction({ repoRoot, extraction });
   const result = {
-    schema: 'lattice.todo_migrate_result.v2',
+    // ob03: 調整方式の案内をv3で足す。ADR 0054のとおり既存versionへのin-place追加はしない。
+    schema: 'lattice.todo_migrate_result.v3',
     project_id: imported.plan.project_id,
     plan_key: imported.plan.plan_key,
     plan_version: imported.plan.plan_version,
@@ -1001,6 +1039,13 @@ async function migrate({ repoRoot, inputRef, serializationReviewed = false }) {
       required_state_policy: 'acquire_phase',
       next_action: `lattice todo revise-phase --plan ${imported.plan.plan_key} --input <phase-revision.json>`,
     } : null,
+    // ob03: 起票直後のplanは必ず調整方式が未宣言である。ここで案内しないと、選ぶ機会が
+    // 「誰も呼ぶ動機の無いdrilldown」にしか無くなる——前campaignの監査待ちと同じ形になる。
+    coordination_guidance: {
+      mode: null,
+      modes: [...TODO_COORDINATION_MODES],
+      next_action: `lattice todo independence mode --plan ${imported.plan.plan_key} --set <witness|conversation> --reason <text>`,
+    },
     result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
@@ -1277,7 +1322,13 @@ async function revisePhase({ repoRoot, env, planKey, inputRef }) {
 }
 
 async function status({ repoRoot }) {
-  return projectTodoStatus(await readTodoStore({ repoRoot }));
+  const store = await readTodoStore({ repoRoot });
+  return projectTodoStatus(store, {
+    planNotes: await readTodoPlanNotesForStatus({ repoRoot, store }),
+    parallelCandidates: await readTodoParallelCandidatesForStatus({
+      repoRoot, store, gitHead: currentHeadSha, changedPathsSince,
+    }),
+  });
 }
 
 async function adoptDashboardRoot({ repoRoot, env }) {
@@ -1323,32 +1374,44 @@ async function todoDetail({ repoRoot, planKey, taskId }) {
   return result;
 }
 
+/**
+ * `taskId === null`はplan単位note。task noteと違い宛先taskが無いので、
+ * 訂正できる相手はplan noteだけ、返すcontextも特定taskのものにできない。
+ */
 async function appendNote({ repoRoot, env, planKey, taskId, message, inputRef, supersedes }) {
   const store = await readTodoStore({ repoRoot });
   const [member] = selectMembers(store, planKey);
-  const task = selectNoteTask(member, taskId);
+  const task = taskId === null ? null : selectNoteTask(member, taskId);
   const body = inputRef === null ? message : await readNoteTextInput(repoRoot, inputRef);
-  const projectedBeforeAppend = await readTodoNoteContext({
-    repoRoot, store, planKey, taskId: task.task_id,
-  });
+  // 訂正はscopeを跨げない。plan noteはplan chainの中だけ、task noteは自分のtaskの中だけを
+  // 訂正できる。contextはplan noteも載せるので、task側はscopeで絞らないと跨げてしまう。
+  const eligibleSupersedes = task === null
+    ? (await readTodoNoteEvents({ repoRoot, planKey, scope: 'plan' })).events
+      .map(({ event_digest: digest }) => digest)
+    : (await readTodoNoteContext({ repoRoot, store, planKey, taskId: task.task_id }))
+      .history.filter(({ scope }) => scope === 'task').map(({ event_digest: digest }) => digest);
   const event = await appendTodoNote({
     repoRoot,
     projectId: store.project_id,
     planKey,
     planVersion: member.plan.plan_version,
-    taskId: task.task_id,
+    taskId: task?.task_id ?? null,
     actor: mutationActor(env),
     recordedAt: new Date().toISOString(),
     body,
     supersedes,
-    eligibleSupersedes: projectedBeforeAppend.history.map(({ event_digest: digest }) => digest),
+    eligibleSupersedes,
   });
-  const { context } = await readTodoNoteContext({ repoRoot, store, planKey, taskId: task.task_id });
+  // plan noteはどのtaskのcontextにも載るので、1つを選んで返すと嘘になる。全部読むなら
+  // `note list --plan <k>`。書けたことの証拠はeventそのものが持つ。
+  const context = task === null
+    ? null : (await readTodoNoteContext({ repoRoot, store, planKey, taskId: task.task_id })).context;
   const result = {
-    schema: 'lattice.todo_note_append_result.v1',
+    schema: 'lattice.todo_note_append_result.v2',
     project_id: store.project_id,
     plan_key: planKey,
-    task_id: task.task_id,
+    scope: task === null ? 'plan' : 'task',
+    task_id: task?.task_id ?? null,
     event,
     note_context: context,
     result_digest: '',
@@ -1361,7 +1424,10 @@ async function listNotes({ repoRoot, planKey, taskId }) {
   const store = await readTodoStore({ repoRoot });
   const [member] = selectMembers(store, planKey);
   const chain = await readTodoNoteEvents({ repoRoot, planKey });
-  let notes = chain.events;
+  const planChain = await readTodoNoteEvents({ repoRoot, planKey, scope: 'plan' });
+  // plan全体の一覧は両chainを返す。`full_history_command`がこの形を指す以上、片方でも
+  // 落とせば「full」と名乗りながら全部を取りに行けない。並びはcontextと同じくplanが先。
+  let notes = [...planChain.events, ...chain.events];
   let archived = [];
   let resolvedTaskId = null;
   if (taskId !== null) {
@@ -1370,17 +1436,20 @@ async function listNotes({ repoRoot, planKey, taskId }) {
     const projected = await readTodoNoteContext({
       repoRoot, store, planKey, taskId: task.task_id,
     });
-    notes = projected.history;
+    // `--task`は「そのtaskのnote」を問う形。plan noteはtaskのものではないので混ぜない
+    // ——欲しければ`--task`を外す。
+    notes = projected.history.filter(({ scope }) => scope === 'task');
     archived = projected.archived;
   }
   const result = {
-    schema: 'lattice.todo_note_list_result.v1',
+    schema: 'lattice.todo_note_list_result.v2',
     project_id: store.project_id,
     plan_key: planKey,
     requested_task_id: resolvedTaskId,
     notes,
     archived,
     note_head_digest: chain.head_digest,
+    plan_note_head_digest: planChain.head_digest,
     result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
@@ -1566,7 +1635,7 @@ async function independence({ repoRoot, requestedPlanKey }) {
     ? undefined : store.members.find(({ descriptor }) => descriptor.plan_key === planKey);
   const artifact = member === undefined
     ? null : await readTodoIndependenceArtifact({ repoRoot, store, planKey });
-  const active = projectTodoStatus(store).active_set
+  const active = projectTodoStatus(store, TODO_STATUS_DISPATCH_ONLY).active_set
     .filter((task) => task.plan_key === planKey);
   // HEADが進んでいる時だけdiffを取る。一致していれば宣言境界を見るまでもない。
   const changedPaths = artifact !== null && artifact.base_sha !== null
@@ -1606,6 +1675,9 @@ async function independence({ repoRoot, requestedPlanKey }) {
         .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'record_stale')),
       conflictWithActive: projected.frontier.conflicts_with_active[0]?.severability ?? null,
       conflictBetweenReady: projected.frontier.serialize_pairs[0]?.severability ?? null,
+      // 案内の正本は1つ（ADR 0130 Decision 1）。着手する人と読みに来た人が同じ状況について
+      // 違う文言を受け取らないよう、調整方式もここへ渡す。
+      coordinationMode: member?.coordination?.mode ?? null,
       verdictsAbsent: projected.frontier.unknown
         .some(({ unknowns }) => unknowns.some(({ kind }) => kind === 'plan_verdicts_absent')),
     }),
@@ -1871,6 +1943,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する。
@@ -2139,7 +2212,7 @@ async function notesForGantt({ repoRoot, store }) {
 
 async function independenceForGantt({ repoRoot, store }) {
   const frontier = computeReadyFrontier(store);
-  const status = projectTodoStatus(store);
+  const status = projectTodoStatus(store, TODO_STATUS_DISPATCH_ONLY);
   let currentBaseSha = null;
   const projections = [];
   for (const member of store.members) {
@@ -2526,6 +2599,20 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
       inputRef: argv[5] === '--input' ? argv[6] : null,
       supersedes: argv[8] ?? null,
     });
+  } else if ((argv.length === 5 || argv.length === 7) && argv[0] === 'note'
+    && argv[1] === '--plan' && isTodoIdentifier(argv[2])
+    && ['--message', '--input'].includes(argv[3])
+    && ((argv[3] === '--message' && argv[4].length > 0)
+      || (argv[3] === '--input' && isTodoRef(argv[4])))
+    && (argv.length === 5 || (argv[5] === '--supersedes' && isTodoDigest(argv[6])))) {
+    // `--task`省略でplan単位note。工程レベルの義務(順序制約・一度きりの観測が在ること)は
+    // 特定のtaskに属さない。
+    action = (repoRoot) => appendNote({
+      repoRoot, env, planKey: argv[2], taskId: null,
+      message: argv[3] === '--message' ? argv[4] : null,
+      inputRef: argv[3] === '--input' ? argv[4] : null,
+      supersedes: argv[6] ?? null,
+    });
   } else if (argv.length === 5 && argv[0] === 'note' && argv[1] === 'list'
     && argv[2] === '--plan' && isTodoIdentifier(argv[3]) && argv[4] === '--json') {
     action = (repoRoot) => listNotes({ repoRoot, planKey: argv[3], taskId: null });
@@ -2536,6 +2623,12 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
   } else if (argv.length === 5 && argv[0] === 'independence' && argv[1] === 'witness'
     && argv[2] === 'migrate' && argv[3] === '--plan' && isTodoIdentifier(argv[4])) {
     action = (repoRoot) => independenceWitnessMigrate({ repoRoot, planKey: argv[4] });
+  } else if (argv.length === 8 && argv[0] === 'independence' && argv[1] === 'mode'
+    && argv[2] === '--plan' && isTodoIdentifier(argv[3]) && argv[4] === '--set'
+    && TODO_COORDINATION_MODES.includes(argv[5]) && argv[6] === '--reason' && argv[7].length > 0) {
+    action = (repoRoot) => independenceMode({
+      repoRoot, env, planKey: argv[3], mode: argv[5], reason: argv[7],
+    });
   } else if (argv.length === 6 && argv[0] === 'independence' && argv[1] === 'compile'
     && argv[2] === '--plan' && isTodoIdentifier(argv[3]) && argv[4] === '--input') {
     action = (repoRoot) => independenceCompile({

package/src/todo-contracts.mjs

@@ -8,9 +8,35 @@ export const TODO_EVENT_KINDS = Object.freeze([
   // phase_review/accept/reject/reopenと同じv3 tail event shape(phase_id持ち)に収め、
   // 新しいevent schema版は作らない。
   'phase_close_unaudited',
+  // ob03: 調整方式(witness検証で並列するか、会話調整で行くか)の宣言。planに帰属する事実で
+  // taskにもPhaseにも属さないため、task_idもphase_idも持たない最初のkindになる。actorが
+  // 「誰が選んだか」の帰属を持つ——witnessが全planの暗黙義務だった時に帰属が無く、正確な
+  // 案内が素通りされたことへの是正である(オーナー裁定C①)。
+  'coordination_mode',
 ]);
+
+/** planへ帰属し、taskにもPhaseにも属さないevent kind。 */
+export const TODO_PLAN_SCOPED_EVENT_KINDS = Object.freeze(['coordination_mode']);
+
+/** 調整方式。witness=独立性を宣言し検証して並列する／conversation=会話で調整する。 */
+export const TODO_COORDINATION_MODES = Object.freeze(['witness', 'conversation']);
 export const TODO_NOTE_EVENT_SCHEMA = 'lattice.todo_note_event.v1';
-export const TODO_NOTE_CONTEXT_SCHEMA = 'lattice.todo_note_context.v1';
+/**
+ * plan単位のnote event。工程レベルの義務(順序制約・一度きりの観測が在ること)は特定のtaskに
+ * 属さないので、v1の`task_id`必須では書けない。v1は書き換えない——既存chainはhash連鎖で
+ * 固定済みであり、taskノートの挙動も digest も動かさない。
+ *
+ * v2は**別のchain file**(`plan-active.jsonl`)へ積む。同じchainへ混ぜると、旧CLIは
+ * 1 eventずつのbyte検証で chain全体を壊れと読み、noteの読みを前提条件とする`todo start`が
+ * 落ちる。しかもstoreへ書いたものは戻せない。分離すれば旧CLIはfileの存在に気づかず、
+ * task noteの読み書きは1バイトも変わらない。
+ */
+export const TODO_NOTE_EVENT_V2_SCHEMA = 'lattice.todo_note_event.v2';
+/**
+ * v2でnoteの`scope`とplan noteを載せる。v1のままでは`task_id`が identifier 必須・
+ * `full_history_command`が`--task <id>`込みの文字列と完全一致で、どちらもplan noteを表せない。
+ */
+export const TODO_NOTE_CONTEXT_SCHEMA = 'lattice.todo_note_context.v2';
 export const TODO_LIMITS = Object.freeze({
   tasksPerPlan: 512,
   edgesPerPlan: 2_048,
@@ -20,6 +46,9 @@ export const TODO_LIMITS = Object.freeze({
   narrativeSectionBytes: 262_144,
   noteBodyBytes: 16_384,
   noteContextBytes: 65_536,
+  // statusのplan_notes entryが載せる最新noteの件数。本文を載せない代わりに
+  // 「誰がいつ置いたか」だけを新しい順で数件出す（中身はnote listが持つ）。
+  statusPlanNoteLatest: 3,
 });
 
 const DIGEST = /^[0-9a-f]{64}$/;
@@ -100,15 +129,27 @@ const noteBody = (value) => typeof value === 'string' && value.length > 0
   && Buffer.byteLength(value, 'utf8') <= TODO_LIMITS.noteBodyBytes
   && !NOTE_FORBIDDEN_CONTROL.test(value);
 
-/** lifecycle journalとは独立したtask note event v1を検証する。 */
+/**
+ * lifecycle journalとは独立したnote eventを検証する。v1(task note)とv2(plan note)は
+ * 別chainへ積まれるが、検証器は両方を受ける——どちらのchainを読んでいるかはpathが決め、
+ * chainへ他scopeが混ざっていないことは`readTodoNoteEvents`が読み出し時に落とす。
+ * v1は`scope`を持たない——定義上taskであり、投影の側で明示`scope`へ正規化する。
+ */
 export function validateTodoNoteEvent(value) {
   try {
-    return exactRecord(value, [
+    const keys = [
       'schema', 'project_id', 'plan_key', 'task_id', 'plan_version', 'sequence',
       'previous_digest', 'actor', 'recorded_at', 'body', 'supersedes', 'event_digest',
-    ]) && value.schema === TODO_NOTE_EVENT_SCHEMA
+    ];
+    const planScoped = value?.schema === TODO_NOTE_EVENT_V2_SCHEMA;
+    return exactRecord(value, planScoped ? [...keys, 'scope'] : keys)
+      && (planScoped
+        // v2は今のところplan scopeだけを表す。phase scopeは配達面(audit_pending entry)を
+        // 持つtaskと同じ波で足す——書けるが届かない面を作らないため。
+        ? value.scope === 'plan' && value.task_id === null
+        : value.schema === TODO_NOTE_EVENT_SCHEMA && isTodoIdentifier(value.task_id))
       && isTodoIdentifier(value.project_id) && isTodoIdentifier(value.plan_key)
-      && isTodoIdentifier(value.task_id) && isTodoIdentifier(value.plan_version)
+      && isTodoIdentifier(value.plan_version)
       && Number.isSafeInteger(value.sequence) && value.sequence >= 1
       && (value.sequence === 1 ? value.previous_digest === null : isTodoDigest(value.previous_digest))
       && actor(value.actor) && isStrictTodoTimestamp(value.recorded_at) && noteBody(value.body)
@@ -120,12 +161,20 @@ export function validateTodoNoteEvent(value) {
   }
 }
 
+/**
+ * `scope`は投影が必ず埋める。読み手はここでv1/v2の区別を持たないので、`origin_task_id`が
+ * nullであることから「plan単位だ」を推論させない——型で表現していない区別は、exact検証を
+ * 通り抜けて受け手の解釈に落ちる。
+ */
 function noteContextEntry(value) {
   return exactRecord(value, [
-    'event_digest', 'origin_plan_version', 'origin_task_id', 'actor', 'recorded_at',
+    'event_digest', 'origin_plan_version', 'scope', 'origin_task_id', 'actor', 'recorded_at',
     'body', 'supersedes', 'superseded_by', 'correction_state',
   ]) && isTodoDigest(value.event_digest) && isTodoIdentifier(value.origin_plan_version)
-    && isTodoIdentifier(value.origin_task_id) && actor(value.actor)
+    && ['plan', 'task'].includes(value.scope)
+    && (value.scope === 'plan'
+      ? value.origin_task_id === null : isTodoIdentifier(value.origin_task_id))
+    && actor(value.actor)
     && isStrictTodoTimestamp(value.recorded_at) && noteBody(value.body)
     && (value.supersedes === null || isTodoDigest(value.supersedes))
     && (value.superseded_by === null || isTodoDigest(value.superseded_by))
@@ -139,17 +188,29 @@ export function validateTodoNoteContext(value) {
   try {
     if (!exactRecord(value, [
       'schema', 'project_id', 'plan_key', 'task_id', 'notes', 'note_head_digest',
-      'overflow_count', 'full_history_command', 'context_digest',
+      'plan_note_head_digest', 'overflow_count', 'full_history_command', 'context_digest',
     ]) || value.schema !== TODO_NOTE_CONTEXT_SCHEMA
       || !isTodoIdentifier(value.project_id) || !isTodoIdentifier(value.plan_key)
       || !isTodoIdentifier(value.task_id) || !Array.isArray(value.notes)
       || value.notes.length > TODO_LIMITS.tasksPerPlan || !value.notes.every(noteContextEntry)
       || !(value.note_head_digest === null || isTodoDigest(value.note_head_digest))
+      || !(value.plan_note_head_digest === null || isTodoDigest(value.plan_note_head_digest))
       || !isNonNegativeSafeInteger(value.overflow_count)
-      || value.full_history_command !== `lattice todo note list --plan ${value.plan_key} --task ${value.task_id} --json`
+      // contextはplan noteも載せるので、案内するのはplan全体を返す形でなければならない。
+      // `--task <id>`形はplan noteを落とすため、fullと名乗りながら全部を取りに行けなくなる。
+      || value.full_history_command !== `lattice todo note list --plan ${value.plan_key} --json`
       || !isTodoDigest(value.context_digest)
       || value.context_digest !== todoSelfDigest(value, 'context_digest')) return false;
-    if ((value.notes.length === 0) !== (value.note_head_digest === null)) return false;
+    // headはchainごとなので、同値もscopeで切る。task noteが空でplan noteが在る時に
+    // 「notesが非空なのにheadがnull」を壊れと読まないため。overflowで本文が落ちても
+    // headはchainの実在を述べ続ける——同値はnotesではなくoverflow込みの母集合で見る。
+    const scoped = (scope) => value.notes.some((note) => note.scope === scope);
+    if (value.overflow_count === 0) {
+      if (scoped('task') !== (value.note_head_digest !== null)) return false;
+      if (scoped('plan') !== (value.plan_note_head_digest !== null)) return false;
+    } else if (value.note_head_digest === null && value.plan_note_head_digest === null) {
+      return false;
+    }
     return value.notes.reduce((bytes, note) => bytes + Buffer.byteLength(note.body, 'utf8'), 0)
       <= TODO_LIMITS.noteContextBytes;
   } catch {
@@ -440,6 +501,11 @@ function validPayload(event) {
       && (payload.started_at === 'unknown_requires_evidence' || isStrictTodoTimestamp(payload.started_at))
       && validateTodoImportSource(payload.evidence);
   }
+  if (event.kind === 'coordination_mode') {
+    return exactRecord(payload, ['mode', 'reason'])
+      && TODO_COORDINATION_MODES.includes(payload.mode)
+      && nullableText(payload.reason) && payload.reason !== null;
+  }
   if (event.kind === 'start') return exactRecord(payload, ['override_reason']) && nullableText(payload.override_reason);
   if (event.kind === 'block') return exactRecord(payload, ['reason']) && nullableText(payload.reason) && payload.reason !== null;
   if (event.kind === 'unblock') return exactRecord(payload, []);
@@ -561,17 +627,21 @@ export function validateTodoEvent(value) {
       && validPhaseStateMigration(value.phase_state_migration);
     const phaseKind = ['phase_review', 'phase_accept', 'phase_reject', 'phase_reopen', 'phase_close_unaudited']
       .includes(value?.kind);
+    // planへ帰属するkindは、plan_genesisと同じくtask_idを持たない(v3/v4ではphase_idも持たない)。
+    // plan_genesisと違うのはjournalの途中に何度でも積めることで、最後の1件が現在の宣言になる。
+    const planScopedKind = TODO_PLAN_SCOPED_EVENT_KINDS.includes(value?.kind);
+    const planLevel = value?.kind === 'plan_genesis' || planScopedKind;
     return (v1 || v2 || v3 || v4) && isTodoIdentifier(value.project_id)
       && isTodoIdentifier(value.plan_key) && isTodoIdentifier(value.plan_version)
       && isNonNegativeSafeInteger(value.sequence) && nullableDigest(value.previous_digest)
       && TODO_EVENT_KINDS.includes(value.kind)
       && (v3 || v4
-        ? ((value.kind === 'plan_genesis' && value.task_id === null && value.phase_id === null)
+        ? ((planLevel && value.task_id === null && value.phase_id === null)
           || (phaseKind && value.task_id === null && isTodoIdentifier(value.phase_id))
-          || (!phaseKind && value.kind !== 'plan_genesis' && isTodoIdentifier(value.task_id)
+          || (!phaseKind && !planLevel && isTodoIdentifier(value.task_id)
             && value.phase_id === null))
-        : !phaseKind && ((value.kind === 'plan_genesis' && value.task_id === null)
-          || (value.kind !== 'plan_genesis' && isTodoIdentifier(value.task_id))))
+        : !phaseKind && ((planLevel && value.task_id === null)
+          || (!planLevel && isTodoIdentifier(value.task_id))))
       && actor(value.actor) && isStrictTodoTimestamp(value.recorded_at) && provenance(value.provenance)
       && validPayload(value) && isTodoDigest(value.event_digest)
       && value.event_digest === todoSelfDigest(value, 'event_digest');

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)}