@quolu/lattice 0.47.0 → 0.48.0

package/bin/lattice-dashboard.mjs

@@ -4,7 +4,7 @@ import { stat } from 'node:fs/promises';
 import path from 'node:path';
 
 import { readTodoStoreStable } from '../src/todo-store.mjs';
-import { projectTodoStatus } from '../src/todo-status.mjs';
+import { TODO_STATUS_DISPATCH_ONLY, projectTodoStatus } from '../src/todo-status.mjs';
 import { ganttLiveHeadDigest, renderTodoGanttForProject } from '../src/todo-cli.mjs';
 import {
   forgetTodoDashboardDaemonRecord,
@@ -61,7 +61,7 @@ async function synchronize() {
     projectHasActiveRun: async (entry) => {
       try {
         const store = await readCachedStore(entry.repo_root);
-        const active = projectTodoStatus(store).active_set.length > 0
+        const active = projectTodoStatus(store, TODO_STATUS_DISPATCH_ONLY).active_set.length > 0
           || store.members.some(todoDashboardMemberNeedsVisibility);
         reportedStoreReadFailures.delete(entry.project_id);
         return active;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.47.0",
+  "version": "0.48.0",
   "description": "Schedulability compiler for multi-agent development: observe real code boundaries, refactor the conflicting seam, recompile the plan for parallel execution",
   "author": {
     "name": "Quo / クオ at kitepon.dev",

package/src/cli-help.mjs

@@ -75,7 +75,7 @@ Read commands:
 
 Write commands:
   dashboard adopt --json  # 衝突したproject_idの配信元rootを現在repoへ明示的に移す
-  note --plan <key> --task <id> (--message <text>|--input <file>)
+  note --plan <key> [--task <id>] (--message <text>|--input <file>)
       # ToDoへ作業継続に必要な方針・調査結果・注意をappend-onlyで追記する
   migrate --input <extraction.json> [--serialization-reviewed]
   migrate --input <extraction.json> --dry-run --json [--serialization-reviewed]
@@ -190,7 +190,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'event verify': 'event verify --run .lattice/runs/<id>',
   'todo status': 'todo status [--json]',
   'todo show': 'todo show --plan <key> --task <id> --json',
-  'todo note': 'todo note --plan <key> --task <id> (--message <text>|--input <file>) | list --plan <key> [--task <id>] --json',
+  'todo note': 'todo note --plan <key> [--task <id>] (--message <text>|--input <file>) | list --plan <key> [--task <id>] --json',
   'todo note list': 'todo note list --plan <key> [--task <id>] --json',
   'todo bindings': 'todo bindings [--plan <key>] [--json]',
   'todo independence': 'todo independence [--plan <key>] [--json] | compile --plan <key> --input <file> | witness migrate --plan <key>',

package/src/project-cli.mjs

@@ -16,7 +16,9 @@ import {
   todoSelfDigest,
 } from './todo-contracts.mjs';
 import { projectTodoStatus } from './todo-status.mjs';
+import { readTodoPlanNotesForStatus } from './todo-note-store.mjs';
 import { projectIndependenceFrontier } from './todo-independence.mjs';
+import { readTodoParallelCandidatesForStatus } from './todo-parallel-candidates.mjs';
 import { isTodoIndependenceLegacyMarker } from './todo-independence-contracts.mjs';
 import { selectIndependenceGuidance } from './todo-independence-guidance.mjs';
 import { ensureTodoDashboardActivity } from './todo-dashboard-registry.mjs';
@@ -179,6 +181,7 @@ async function summarizeIndependence({ repoRoot, store, todo }) {
           .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,
+        coordinationMode: member.coordination?.mode ?? null,
       }),
       unreadable_reason: null,
       parallel_groups: projected.frontier.parallel_groups.map(({ task_ids: ids }) => [...ids]),
@@ -265,7 +268,10 @@ async function resolveProjectState({ cwd, cliVersion }) {
   }
   try {
     const store = await readTodoStore({ repoRoot });
-    const todo = projectTodoStatus(store);
+    const todo = projectTodoStatus(store, {
+      planNotes: await readTodoPlanNotesForStatus({ repoRoot, store }),
+      parallelCandidates: await readTodoParallelCandidatesForStatus({ repoRoot, store, gitHead }),
+    });
     const activeRuns = todo.active_set.map((entry) => ({
       plan_key: entry.plan_key, task_id: entry.task_id, label: entry.label,
     }));

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 {
@@ -118,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';
@@ -594,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できない」になってしまう。
@@ -605,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,
       }),
     };
   }
@@ -654,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,
     }),
   };
 }
@@ -685,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()
   ));
@@ -827,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);
@@ -973,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,
@@ -1002,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');
@@ -1278,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 }) {
@@ -1324,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: '',
@@ -1362,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) {
@@ -1371,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');
@@ -1567,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
@@ -1607,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')),
     }),
@@ -2141,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) {
@@ -2528,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 });
@@ -2538,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-independence-guidance.mjs

@@ -10,6 +10,11 @@
 
 export const TODO_INDEPENDENCE_GUIDANCE_CODES = Object.freeze([
   'independence_no_ready_frontier',
+  // ob03: 調整方式の宣言に関する案内。witnessが全planの暗黙義務だった時、未compileの督促は
+  // 誰の受入条件でもない作業を指しており、正確なまま素通りされた。まず「どちらで行くか」を
+  // 選ばせ、選択の後にだけ督促する。
+  'coordination_mode_undeclared',
+  'coordination_conversation',
   'independence_unrecorded',
   'independence_task_undeclared',
   'independence_contract_superseded',
@@ -63,6 +68,14 @@ const CATALOG = Object.freeze({
     message: '着手候補が無いため、並列可否を述べる対象が無い。',
     next_action: 'none',
   }),
+  coordination_mode_undeclared: Object.freeze({
+    message: 'このplanは調整方式をまだ選んでいない。witness検証で並列するか、会話で調整するかが決まっていない。',
+    next_action: 'declare_coordination_mode',
+  }),
+  coordination_conversation: Object.freeze({
+    message: 'このplanは会話調整を選んでいる。並列可否は宣言と判定ではなく、卓の合意が持つ。',
+    next_action: 'none',
+  }),
   independence_unrecorded: Object.freeze({
     message: 'このplanの並列可否はまだ判定していない。競合が無いのではなく、記録が存在しない。',
     next_action: 'declare_witness_set_then_compile',
@@ -170,6 +183,7 @@ export function todoIndependenceGuidance(code, { severability = null } = {}) {
 export function selectIndependenceGuidance({
   coverage, taskDeclared, taskStale, conflictWithActive = null, conflictBetweenReady = null,
   contractSuperseded = false, readyCount = null, verdictsAbsent = false,
+  coordinationMode = 'witness',
 }) {
   // 着手候補が無いなら述べる対象が無い。ここを通さないと、readyが空のとき
   // 「未検査taskが1件も無い」が空虚に真になり、記録が古くても検証済みへ倒れる。
@@ -187,7 +201,16 @@ export function selectIndependenceGuidance({
   if (contractSuperseded) {
     return todoIndependenceGuidance('independence_contract_superseded');
   }
-  if (coverage === 'missing') return todoIndependenceGuidance('independence_unrecorded');
+  // 記録が無い時に何を言うかは、planがどちらの方式を選んだかで変わる（ob03・裁定C①）。
+  // 会話調整を選んだplanへ未compileを督促するのは、選択を尊重しないことになる。未宣言の
+  // planへ督促するのは、誰の受入条件でもない作業を指すことになる——それが8件で素通りされた
+  // 当のものである。督促が一級で出るのはwitnessを選んだplanだけとする。
+  // 既定を`witness`にしてあるのは、宣言を渡さない既存の呼び出し側の挙動を変えないためである。
+  if (coverage === 'missing') {
+    if (coordinationMode === 'conversation') return todoIndependenceGuidance('coordination_conversation');
+    if (coordinationMode === null) return todoIndependenceGuidance('coordination_mode_undeclared');
+    return todoIndependenceGuidance('independence_unrecorded');
+  }
   if (coverage === 'superseded') return todoIndependenceGuidance('independence_superseded');
   if (!taskDeclared) return todoIndependenceGuidance('independence_task_undeclared');
   if (taskStale) return todoIndependenceGuidance('independence_stale_for_task');