@quolu/lattice 0.37.0 → 0.38.1

package/src/cli-help.mjs

@@ -61,6 +61,8 @@ Commands:
 
 Read commands:
   status [--json]
+  show --plan <key> --task <id> --json  # 個別ToDoと最新bounded note contextを追加操作なしで返す
+  note list --plan <key> [--task <id>] --json  # note全履歴の診断面（通常read/startでは不要）
   bindings [--plan <key>] [--json]   # compile_binding付きTaskをTODO identityつきで投影する
   independence [--plan <key>] [--json]  # readyを検証済み並列・要直列・未検査へ分けて投影する
   seam-profile --plan <key> --file <path> [--json]  # 係争fileの切断コスト内訳を投影する（read-only）
@@ -73,6 +75,8 @@ Read commands:
   phase status --plan <key>
 
 Write commands:
+  note --plan <key> --task <id> (--message <text>|--input <file>)
+      # ToDoへ作業継続に必要な方針・調査結果・注意をappend-onlyで追記する
   migrate --input <extraction.json> [--serialization-reviewed]
       # 既存storeへplanを追加する（plan createは空store初期化専用）。
       # 依存グラフがほぼ一直線なら一度突き返し、再考後の --serialization-reviewed で通す
@@ -168,6 +172,9 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'run seam resolve': 'run seam resolve --run .lattice/runs/<id> --finding <digest> --input <seam-request.json>',
   '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 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>',
   'todo seam-profile': 'todo seam-profile --plan <key> --file <path> [--json]',

package/src/seam-cost.mjs

@@ -244,9 +244,9 @@ export function classifySeamCost({
       // 盲点の申告（計画の不変条件4）。見えていないものを「共有なし」と言わない。
       // 3文字未満の名前（i, db等）はloop/parameterのnoiseが支配的なので辺にしない。
       value_ref_name_filter: 'names-under-3-chars-invisible-in-edges',
-      // 書き込み判定はTS/JS族のwasm経路だけが持つ。kernel経路（Rust）は未配線で、
-      // その索引では書き込みが読みに見える——盲点として申告する（sc-007で解消）。
-      write_distinction: 'ts-js-wasm-pipeline-only',
+      // TS/JS/ArkTS/Go/Python/Javaはwasmとkernelの両経路で同じwrite判定を持つ。
+      // それ以外のvalue-ref対応言語はmetadata.writeが未配線なので、範囲を明記する。
+      write_distinction: 'ts-js-arkts-go-python-java-all-routes',
       imports_analysis: 'esm-only',
       callees_truncated: [...new Set(truncatedSymbols)].sort(compareText),
       body_missing: [...new Set(bodyMissing)].sort(compareText),

package/src/todo-cli.mjs

@@ -104,6 +104,12 @@ import {
   parseTodoSourceRef, todoLegacyReconciliationDigest, validatePhaseTodoRevision,
   validateTodoRevision, validateTodoRevisionSet,
 } from './todo-revision.mjs';
+import {
+  appendTodoNote,
+  readTodoNoteContext,
+  readTodoNoteContextsForPlan,
+  readTodoNoteEvents,
+} from './todo-note-store.mjs';
 
 const CLI_ERROR_SCHEMA = 'lattice.cli_error.v2';
 const DEFAULT_GANTT_REF = '.lattice/generated/gantt.html';
@@ -111,6 +117,7 @@ const GANTT_DESCRIPTOR_SUFFIX = '.status.json';
 const MAX_GANTT_DESCRIPTOR_BYTES = 65_536;
 const DEFAULT_GANTT_SCOPE = 'live';
 const MAX_MIGRATION_INPUT_BYTES = 8_388_608;
+const MAX_NOTE_INPUT_BYTES = 16_384;
 const ACTOR_ENV_KEYS = Object.freeze([
   'LATTICE_TODO_ACTOR_HOST',
   'LATTICE_TODO_ACTOR_SESSION',
@@ -183,6 +190,43 @@ function selectMembers(store, requestedPlanKey) {
   return [member];
 }
 
+function selectNoteTask(member, requestedTaskId) {
+  const exact = member.plan.tasks.find(({ task_id: taskId }) => taskId === requestedTaskId);
+  if (exact !== undefined) return exact;
+  const folded = requestedTaskId.toLowerCase();
+  const matches = member.plan.tasks.filter(({ task_id: taskId }) => taskId.toLowerCase() === folded);
+  if (matches.length !== 1) {
+    throw new TodoStoreError('NOTE_TASK_NOT_FOUND', 'note_task_not_active', undefined, {
+      plan_key: member.plan.plan_key, task_id: requestedTaskId,
+    });
+  }
+  return matches[0];
+}
+
+async function readNoteTextInput(repoRoot, inputRef) {
+  if (!isTodoRef(inputRef)) throw new TodoStoreError('INPUT_UNREADABLE', 'input_path_outside_repo');
+  const canonicalRoot = await realpath(repoRoot);
+  const absolute = path.resolve(canonicalRoot, inputRef);
+  if (!within(canonicalRoot, absolute) || absolute === canonicalRoot) {
+    throw new TodoStoreError('INPUT_UNREADABLE', 'input_path_outside_repo');
+  }
+  let metadata;
+  try { metadata = await lstat(absolute); } catch {
+    throw new TodoStoreError('INPUT_UNREADABLE', 'input_missing');
+  }
+  if (metadata.isSymbolicLink() || !metadata.isFile() || metadata.size > MAX_NOTE_INPUT_BYTES) {
+    throw new TodoStoreError('INPUT_UNREADABLE', 'unsafe_or_oversized_note_input');
+  }
+  const resolved = await realpath(absolute);
+  if (resolved !== absolute || !within(canonicalRoot, resolved)) {
+    throw new TodoStoreError('INPUT_UNREADABLE', 'input_path_alias_or_escape');
+  }
+  const bytes = await readFile(resolved);
+  if (bytes.length > MAX_NOTE_INPUT_BYTES) throw new TodoStoreError('INPUT_TOO_LARGE', 'note_input_too_large');
+  try { return new TextDecoder('utf-8', { fatal: true }).decode(bytes); }
+  catch { throw new TodoStoreError('INPUT_UNREADABLE', 'note_input_invalid_utf8'); }
+}
+
 function taskRef(plan, taskId) {
   return { project_id: plan.project_id, plan_key: plan.plan_key, task_id: taskId };
 }
@@ -455,6 +499,7 @@ function terminalAuditDoneAdvisory(plan, phases) {
 
 async function mutate({
   repoRoot, env, planKey, taskId, kind, payload, evidenceRef, advisory = null,
+  noteContext = null,
 }) {
   const actor = mutationActor(env);
   const evidence = evidenceRef === null ? null : await readEvidenceInput(repoRoot, evidenceRef);
@@ -475,8 +520,12 @@ async function mutate({
   // Phase状態はsnapshot(v1にはphasesキーが無い)でなく、appendTodoEventが別途返す
   // 導出ビュー`phases`から読む。
   const resolvedAdvisory = advisory ?? (kind === 'done' ? terminalAuditDoneAdvisory(plan, phases) : null);
+  const includesNoteContext = kind === 'start';
+  if (includesNoteContext && noteContext === null) {
+    throw new TypeError('start mutation requires note context');
+  }
   const result = {
-    schema: 'lattice.todo_mutation_result.v2',
+    schema: includesNoteContext ? 'lattice.todo_mutation_result.v3' : 'lattice.todo_mutation_result.v2',
     project_id: event.project_id,
     plan_key: event.plan_key,
     plan_version: event.plan_version,
@@ -488,6 +537,7 @@ async function mutate({
     snapshot_digest: snapshot.snapshot_digest,
     status: task.status,
     advisory: resolvedAdvisory,
+    ...(includesNoteContext ? { note_context: noteContext } : {}),
     result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
@@ -655,13 +705,33 @@ async function startTask({
         });
     }
   }
-  const resolvedTaskId = readyTask?.task_id ?? taskId;
+  const member = store.members.find(({ descriptor }) => descriptor.plan_key === planKey);
+  if (member === undefined) throw new TodoStoreError('STORE_INCONSISTENT', 'plan_not_active');
+  const taskMatches = member.plan.tasks.filter(({ task_id: candidate }) => (
+    candidate.toLowerCase() === taskId.toLowerCase()
+  ));
+  if (taskMatches.length === 0) {
+    throw new TodoStoreError('TASK_NOT_FOUND', 'task_not_found', undefined, {
+      requested_task_id: taskId,
+    });
+  }
+  if (taskMatches.length > 1) {
+    throw new TodoStoreError('TASK_ID_AMBIGUOUS', 'task_id_case_ambiguous', undefined, {
+      requested_task_id: taskId,
+      matching_task_ids: taskMatches.map(({ task_id: candidate }) => candidate).sort(),
+    });
+  }
+  const resolvedTaskId = readyTask?.task_id ?? taskMatches[0].task_id;
+  // noteはjournal appendより前に読む。読めなければstart自体を止め、部分進行を作らない。
+  const { context: noteContext } = await readTodoNoteContext({
+    repoRoot, store, planKey, taskId: resolvedTaskId,
+  });
   // 助言はjournalへ書く前に確定させる。計算できないならstart自体を止める。
   const advisory = await startAdvisory({
     repoRoot, store, projection, planKey, taskId: resolvedTaskId,
   });
   return mutate({ repoRoot, env, planKey, taskId: resolvedTaskId, kind: 'start',
-    payload: { override_reason: overrideReason }, evidenceRef: null, advisory });
+    payload: { override_reason: overrideReason }, evidenceRef: null, advisory, noteContext });
 }
 
 function validatePhaseDecisionInput(value, outcome) {
@@ -928,6 +998,93 @@ async function status({ repoRoot }) {
   return projectTodoStatus(await readTodoStore({ repoRoot }));
 }
 
+async function todoDetail({ repoRoot, planKey, taskId }) {
+  const store = await readTodoStore({ repoRoot });
+  const [member] = selectMembers(store, planKey);
+  const task = selectNoteTask(member, taskId);
+  const state = member.tasks.find(({ task_id: current }) => current === task.task_id);
+  if (state === undefined) throw new TodoStoreError('STORE_INCONSISTENT', 'task_state_missing');
+  const { context } = await readTodoNoteContext({
+    repoRoot, store, planKey, taskId: task.task_id,
+  });
+  const result = {
+    schema: 'lattice.todo_detail_result.v1',
+    project_id: store.project_id,
+    plan_key: planKey,
+    plan_version: member.plan.plan_version,
+    task,
+    state,
+    note_context: context,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}
+
+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 body = inputRef === null ? message : await readNoteTextInput(repoRoot, inputRef);
+  const projectedBeforeAppend = await readTodoNoteContext({
+    repoRoot, store, planKey, taskId: task.task_id,
+  });
+  const event = await appendTodoNote({
+    repoRoot,
+    projectId: store.project_id,
+    planKey,
+    planVersion: member.plan.plan_version,
+    taskId: task.task_id,
+    actor: mutationActor(env),
+    recordedAt: new Date().toISOString(),
+    body,
+    supersedes,
+    eligibleSupersedes: projectedBeforeAppend.history.map(({ event_digest: digest }) => digest),
+  });
+  const { context } = await readTodoNoteContext({ repoRoot, store, planKey, taskId: task.task_id });
+  const result = {
+    schema: 'lattice.todo_note_append_result.v1',
+    project_id: store.project_id,
+    plan_key: planKey,
+    task_id: task.task_id,
+    event,
+    note_context: context,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}
+
+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;
+  let archived = [];
+  let resolvedTaskId = null;
+  if (taskId !== null) {
+    const task = selectNoteTask(member, taskId);
+    resolvedTaskId = task.task_id;
+    const projected = await readTodoNoteContext({
+      repoRoot, store, planKey, taskId: task.task_id,
+    });
+    notes = projected.history;
+    archived = projected.archived;
+  }
+  const result = {
+    schema: 'lattice.todo_note_list_result.v1',
+    project_id: store.project_id,
+    plan_key: planKey,
+    requested_task_id: resolvedTaskId,
+    notes,
+    archived,
+    note_head_digest: chain.head_digest,
+    result_digest: '',
+  };
+  result.result_digest = todoSelfDigest(result, 'result_digest');
+  return result;
+}
+
 async function bindings({ repoRoot, requestedPlanKey }) {
   return projectTodoBindings(await readTodoStore({ repoRoot }), { requestedPlanKey });
 }
@@ -1721,12 +1878,13 @@ function parseGanttDescriptor(bytes, descriptorRef) {
  * 一つの関数だけが組む。
  */
 export async function ganttLiveHeadDigest({ repoRoot, store }) {
-  const [independence, seamProposals] = await Promise.all([
+  const [independence, seamProposals, noteHeads] = await Promise.all([
     independenceForGantt({ repoRoot, store }),
     seamProposalsForGantt({ repoRoot, store }),
+    noteHeadsForGantt({ repoRoot, store }),
   ]);
   return digestTodoArtifact({
-    schema: 'lattice.todo_gantt_live_head.v1',
+    schema: 'lattice.todo_gantt_live_head.v2',
     manifest_digest: store.manifest.manifest_digest,
     independence: independence === null ? null : independence.map((entry) => ({
       plan_key: entry.plan_key,
@@ -1738,9 +1896,46 @@ export async function ganttLiveHeadDigest({ repoRoot, store }) {
       coverage: entry.coverage,
       projection_digest: digestTodoArtifact(entry),
     })),
+    note_heads: noteHeads,
   });
 }
 
+async function noteHeadsForGantt({ repoRoot, store }) {
+  const bindings = [];
+  for (const member of store.members) {
+    try {
+      const chain = await readTodoNoteEvents({ repoRoot, planKey: member.plan.plan_key });
+      bindings.push({ plan_key: member.plan.plan_key, note_head_digest: chain.head_digest, error: null });
+    } catch (error) {
+      if (typeof error?.code !== 'string' || !error.code.startsWith('NOTE_')) throw error;
+      bindings.push({ plan_key: member.plan.plan_key, note_head_digest: null, error: error.code });
+    }
+  }
+  return bindings;
+}
+
+async function notesForGantt({ repoRoot, store }) {
+  const contexts = [];
+  const warnings = [];
+  const headBindings = [];
+  for (const member of store.members) {
+    try {
+      const projected = await readTodoNoteContextsForPlan({
+        repoRoot, store, planKey: member.plan.plan_key,
+      });
+      contexts.push(...projected.contexts);
+      headBindings.push({
+        plan_key: member.plan.plan_key, note_head_digest: projected.note_head_digest,
+      });
+    } catch (error) {
+      if (typeof error?.code !== 'string' || !error.code.startsWith('NOTE_')) throw error;
+      warnings.push({ plan_key: member.plan.plan_key, code: error.code, message: error.message });
+      headBindings.push({ plan_key: member.plan.plan_key, note_head_digest: null });
+    }
+  }
+  return { contexts, warnings, headBindings };
+}
+
 async function independenceForGantt({ repoRoot, store }) {
   const frontier = computeReadyFrontier(store);
   const status = projectTodoStatus(store);
@@ -1829,7 +2024,7 @@ async function seamProposalsForGantt({ repoRoot, store }) {
 
 export async function renderTodoGanttForProject({
   repoRoot, stable = false, displayName = null, env = process.env, readModel = null,
-  scope = DEFAULT_GANTT_SCOPE,
+  scope = DEFAULT_GANTT_SCOPE, includeNotes = true,
 }) {
   const store = readModel
     ?? (stable ? await readTodoStoreStable({ repoRoot }) : await readTodoStore({ repoRoot }));
@@ -1839,9 +2034,11 @@ export async function renderTodoGanttForProject({
   const presentation = await loadTodoGanttPresentation({ repoRoot, readModel: store });
   const topology = mergedTopology(store);
   const chain = projectTodoChainV1(topology);
-  const [independence, seamProposals] = await Promise.all([
+  const [independence, seamProposals, notes] = await Promise.all([
     independenceForGantt({ repoRoot, store }),
     seamProposalsForGantt({ repoRoot, store }),
+    includeNotes ? notesForGantt({ repoRoot, store })
+      : { contexts: null, warnings: [], headBindings: [] },
   ]);
   const layout = layoutTodoGantt(store, chain, { scope, independence, seamProposals });
   // When the diagram hides history, the page also carries the full diagram so
@@ -1875,6 +2072,7 @@ export async function renderTodoGanttForProject({
     presentation_digest: presentation.presentation_digest,
     chain_digest: digestTodoArtifact(chain),
     layout_digest: digestTodoArtifact(layout),
+    note_bindings_digest: digestTodoArtifact(notes.headBindings),
     renderer_version: TODO_GANTT_RENDERER_VERSION,
     project_display_name: identity.displayName,
     folded_task_count: layout.scope.folded_task_count,
@@ -1887,10 +2085,17 @@ export async function renderTodoGanttForProject({
     anchorOutcomes,
     presentation,
     metadata,
+    noteContexts: notes.contexts,
+    noteWarnings: notes.warnings,
   });
   return { store, metadata, memberBindings, rendered };
 }
 
+/** 公開配信面は呼び出し側の既定値忘れに依存せず、常にnote本文を除外する。 */
+export async function renderPublicTodoGanttForProject(options = {}) {
+  return renderTodoGanttForProject({ ...options, includeNotes: false });
+}
+
 async function gantt({ repoRoot, outputRef, env, scope = DEFAULT_GANTT_SCOPE }) {
   const { store, metadata, memberBindings, rendered } = await renderTodoGanttForProject({
     repoRoot, env, scope,
@@ -1975,7 +2180,7 @@ async function serveGantt({ repoRoot, port, stdout, env, scope = DEFAULT_GANTT_S
     port,
     render: async () => {
       const store = await readTodoStoreStable({ repoRoot });
-      const { rendered } = await renderTodoGanttForProject({
+      const { rendered } = await renderPublicTodoGanttForProject({
         repoRoot, stable: true, displayName: identity.displayName, scope, readModel: store,
       });
       return { html: rendered.html, head_digest: await ganttLiveHeadDigest({ repoRoot, store }) };
@@ -2020,6 +2225,10 @@ async function ensureActiveProjectDashboard({ repoRoot, env }) {
 async function verify({ repoRoot, requestedPlanKey }) {
   const store = await readTodoStore({ repoRoot });
   const members = selectMembers(store, requestedPlanKey);
+  // note chainはlifecycle storeと独立だが、verifyは両方を検査する。破損を空扱いしない。
+  for (const member of members) {
+    await readTodoNoteEvents({ repoRoot, planKey: member.plan.plan_key });
+  }
   const verifiedSourceInventories = new Map();
   for (const member of members) {
     const unverified = member.tasks.find((task) => task.evidence_unverified);
@@ -2136,6 +2345,10 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
   if ((argv.length === 1 && argv[0] === 'status')
     || (argv.length === 2 && argv[0] === 'status' && argv[1] === '--json')) {
     action = (repoRoot) => status({ repoRoot });
+  } else if (argv.length === 6 && argv[0] === 'show'
+    && argv[1] === '--plan' && isTodoIdentifier(argv[2])
+    && argv[3] === '--task' && isTodoIdentifier(argv[4]) && argv[5] === '--json') {
+    action = (repoRoot) => todoDetail({ repoRoot, planKey: argv[2], taskId: argv[4] });
   } else if ((argv.length === 1 && argv[0] === 'bindings')
     || (argv.length === 2 && argv[0] === 'bindings' && argv[1] === '--json')) {
     action = (repoRoot) => bindings({ repoRoot, requestedPlanKey: null });
@@ -2143,6 +2356,26 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
     && argv[1] === '--plan' && isTodoIdentifier(argv[2])
     && (argv.length === 3 || argv[3] === '--json')) {
     action = (repoRoot) => bindings({ repoRoot, requestedPlanKey: argv[2] });
+  } else if ((argv.length === 7 || argv.length === 9) && argv[0] === 'note'
+    && argv[1] === '--plan' && isTodoIdentifier(argv[2])
+    && argv[3] === '--task' && isTodoIdentifier(argv[4])
+    && ['--message', '--input'].includes(argv[5])
+    && ((argv[5] === '--message' && argv[6].length > 0)
+      || (argv[5] === '--input' && isTodoRef(argv[6])))
+    && (argv.length === 7 || (argv[7] === '--supersedes' && isTodoDigest(argv[8])))) {
+    action = (repoRoot) => appendNote({
+      repoRoot, env, planKey: argv[2], taskId: argv[4],
+      message: argv[5] === '--message' ? argv[6] : null,
+      inputRef: argv[5] === '--input' ? argv[6] : null,
+      supersedes: argv[8] ?? 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 });
+  } else if (argv.length === 7 && argv[0] === 'note' && argv[1] === 'list'
+    && argv[2] === '--plan' && isTodoIdentifier(argv[3])
+    && argv[4] === '--task' && isTodoIdentifier(argv[5]) && argv[6] === '--json') {
+    action = (repoRoot) => listNotes({ repoRoot, planKey: argv[3], taskId: argv[5] });
   } 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] });

package/src/todo-contracts.mjs

@@ -9,6 +9,8 @@ export const TODO_EVENT_KINDS = Object.freeze([
   // 新しいevent schema版は作らない。
   'phase_close_unaudited',
 ]);
+export const TODO_NOTE_EVENT_SCHEMA = 'lattice.todo_note_event.v1';
+export const TODO_NOTE_CONTEXT_SCHEMA = 'lattice.todo_note_context.v1';
 export const TODO_LIMITS = Object.freeze({
   tasksPerPlan: 512,
   edgesPerPlan: 2_048,
@@ -16,11 +18,14 @@ export const TODO_LIMITS = Object.freeze({
   journalSegmentBytes: 1_048_576,
   snapshotBytes: 8_388_608,
   narrativeSectionBytes: 262_144,
+  noteBodyBytes: 16_384,
+  noteContextBytes: 65_536,
 });
 
 const DIGEST = /^[0-9a-f]{64}$/;
 const IDENTIFIER = /^[0-9A-Za-z](?:[0-9A-Za-z._-]{0,127})$/;
 const CONTROL = /[\u0000-\u001f\u007f]/u;
+const NOTE_FORBIDDEN_CONTROL = /[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/u;
 
 export const isTodoDigest = (value) => typeof value === 'string' && DIGEST.test(value);
 export const isTodoIdentifier = (value) => typeof value === 'string' && IDENTIFIER.test(value);
@@ -89,6 +94,67 @@ export function todoSelfDigest(value, field) {
   return digestTodoArtifact(projection);
 }
 
+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を検証する。 */
+export function validateTodoNoteEvent(value) {
+  try {
+    return exactRecord(value, [
+      '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
+      && isTodoIdentifier(value.project_id) && isTodoIdentifier(value.plan_key)
+      && isTodoIdentifier(value.task_id) && 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)
+      && (value.supersedes === null || isTodoDigest(value.supersedes))
+      && isTodoDigest(value.event_digest) && value.supersedes !== value.event_digest
+      && value.event_digest === todoSelfDigest(value, 'event_digest');
+  } catch {
+    return false;
+  }
+}
+
+function noteContextEntry(value) {
+  return exactRecord(value, [
+    'event_digest', 'origin_plan_version', '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)
+    && isStrictTodoTimestamp(value.recorded_at) && noteBody(value.body)
+    && (value.supersedes === null || isTodoDigest(value.supersedes))
+    && (value.superseded_by === null || isTodoDigest(value.superseded_by))
+    && ['current', 'superseded'].includes(value.correction_state)
+    && ((value.correction_state === 'current' && value.superseded_by === null)
+      || (value.correction_state === 'superseded' && isTodoDigest(value.superseded_by)));
+}
+
+/** 個別ToDo詳細とstart結果へ必ず同梱するbounded note contextを検証する。 */
+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',
+    ]) || 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))
+      || !isNonNegativeSafeInteger(value.overflow_count)
+      || value.full_history_command !== `lattice todo note list --plan ${value.plan_key} --task ${value.task_id} --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;
+    return value.notes.reduce((bytes, note) => bytes + Buffer.byteLength(note.body, 'utf8'), 0)
+      <= TODO_LIMITS.noteContextBytes;
+  } catch {
+    return false;
+  }
+}
+
 const nullableDigest = (value) => value === null || isTodoDigest(value);
 const nullableText = (value) => value === null || (typeof value === 'string' && value.length > 0 && Buffer.byteLength(value) <= 16_384);
 const actor = (value) => exactRecord(value, ['host', 'session', 'agent'])

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

@@ -1,4 +1,25 @@
 import { DOCUMENT_STATUS, SEVERABILITY_LABEL, escapeHtmlAttribute, escapeHtmlText, foldIndex, planActivity, presentationLookup, refKey, renderPhaseProgress, renderRelationList, renderSeamProposalOverview, renderTaskIndex, statusMarkup, taskReference } from './todo-gantt-html-shared.mjs';
+import { renderTodoMarkdown } from './todo-markdown-renderer.mjs';
+
+function renderNoteContext(context) {
+  if (context === null) {
+    return '<section class="work-log"><h2>作業記録</h2><p class="note-warning">作業記録を読み取れません。概要の読取警告を確認してください。</p></section>';
+  }
+  if (context.notes.length === 0) {
+    return '<section class="work-log"><h2>作業記録</h2><p>記録はありません。</p></section>';
+  }
+  const entries = context.notes.map((note) => {
+    const rendered = renderTodoMarkdown(note.body);
+    const filtering = rendered.discarded.length === 0 ? ''
+      : '<p class="note-warning">安全上表示できない要素を除外しました。</p>';
+    const correction = note.correction_state === 'superseded'
+      ? `訂正済み（後継 ${note.superseded_by.slice(0, 12)}…）` : '現行';
+    return `<article class="work-log-entry"><header><span>${escapeHtmlText(note.recorded_at)}</span><span>${escapeHtmlText(correction)}</span></header><div class="work-log-body">${rendered.html}</div>${filtering}<p class="work-log-origin">来歴: ${escapeHtmlText(note.origin_plan_version)}/${escapeHtmlText(note.origin_task_id)}・記録者 ${escapeHtmlText(`${note.actor.host}/${note.actor.agent}`)}</p></article>`;
+  }).join('');
+  const overflow = context.overflow_count === 0 ? ''
+    : `<p class="note-warning">ほか ${context.overflow_count}件は上限のため省略。全履歴: <code>${escapeHtmlText(context.full_history_command)}</code></p>`;
+  return `<section class="work-log"><h2>作業記録</h2>${entries}${overflow}<p class="work-log-head">note head: <code>${escapeHtmlText(context.note_head_digest ?? 'none')}</code></p></section>`;
+}
 
 /**
  * 図の外が語るための独立性要約を、plan単位の投影から引ける形へ畳む（ADR 0129 Decision 3）。
@@ -63,7 +84,9 @@ export function renderIndependenceNote(ref, node, summary) {
   return `<p class="readiness-note"><strong>並列可否:</strong> 要直列です。</p><ul class="independence-conflicts">${items}</ul>`;
 }
 
-export function renderRightPane(sections, layout, presentation, readModel) {
+export function renderRightPane(
+  sections, layout, presentation, readModel, notesEnabled = false, noteWarnings = [],
+) {
   const lookup = presentationLookup(presentation);
   const sectionByKey = new Map(sections.map((section) => [refKey(section.ref), section]));
   const nodeByKey = new Map(layout.nodes.map((node) => [refKey(node.ref), node]));
@@ -104,7 +127,9 @@ export function renderRightPane(sections, layout, presentation, readModel) {
   const dispatchSummary = `${readyHeadline}${independenceNote}`;
   const activeLinks = active.length === 0 ? '<p>作業中の工程はありません。</p>'
     : `<ul class="active-list">${active.map((section) => `<li><button type="button" data-select-node-key="${escapeHtmlAttribute(refKey(section.ref))}">${escapeHtmlText(taskReference(section, lookup))} — ${escapeHtmlText(section.task.title)}</button></li>`).join('')}</ul>`;
-  const overview = `<section class="right-overview" data-right-panel="overview"><h1>工程を選択してください</h1><p>左の依存工程図から工程を選ぶと、題名・状態・前提・後続を表示します。</p><div class="status-summary"><span>☐ 未着手 ${counts.pending}</span><span>▶ 作業中 ${counts['in-progress']}</span><span>✅ 完了 ${counts.done}</span><span>⛔ ブロック中 ${counts.blocked}</span></div>${dispatchSummary}${renderSeamProposalOverview(layout)}${renderPhaseProgress(readModel)}<h2>作業中</h2>${activeLinks}</section>`;
+  const noteWarningMarkup = noteWarnings.length === 0 ? ''
+    : `<section class="gantt-warning"><h2>作業記録の読取警告</h2><ul>${noteWarnings.map((warning) => `<li><code>${escapeHtmlText(warning.plan_key)}</code>: <strong>${escapeHtmlText(warning.code)}</strong> — ${escapeHtmlText(warning.message)}</li>`).join('')}</ul></section>`;
+  const overview = `<section class="right-overview" data-right-panel="overview"><h1>工程を選択してください</h1><p>左の依存工程図から工程を選ぶと、題名・状態・前提・後続を表示します。</p><div class="status-summary"><span>☐ 未着手 ${counts.pending}</span><span>▶ 作業中 ${counts['in-progress']}</span><span>✅ 完了 ${counts.done}</span><span>⛔ ブロック中 ${counts.blocked}</span></div>${noteWarningMarkup}${dispatchSummary}${renderSeamProposalOverview(layout)}${renderPhaseProgress(readModel)}<h2>作業中</h2>${activeLinks}</section>`;
   const details = sections.map((section) => {
     const key = refKey(section.ref);
     const node = nodeByKey.get(key);
@@ -126,7 +151,8 @@ export function renderRightPane(sections, layout, presentation, readModel) {
     // Say it plainly when the reader will not find this ToDo on the diagram.
     const foldedNote = !folds.has(key) ? ''
       : '<p class="fold-note">完走済みのため図には描いていません。図に出すには <code>lattice todo gantt --scope all</code> を実行してください。</p>';
-    return `<article class="task-detail" data-detail-key="${escapeHtmlAttribute(key)}" hidden><header><span class="detail-status status-${escapeHtmlAttribute(section.state.status)}">${escapeHtmlText(status.mark)} ${escapeHtmlText(status.label)}</span><span class="detail-reference">${escapeHtmlText(taskReference(section, lookup))}</span></header><h1>${escapeHtmlText(section.task.title)}</h1><p class="detail-category"><strong>カテゴリ:</strong> ${escapeHtmlText(category)}</p>${categoryDescription}<p><strong>正規ID:</strong> <code>${escapeHtmlText(`${section.ref.plan_key}/${section.task.task_id}`)}</code></p>${blockedReason}${readiness}${independenceNote}${foldedNote}<section><h2>前提工程</h2>${renderRelationList(incoming.get(key), sectionByKey, lookup, '登録済みの前提工程はありません。', folds)}</section><section><h2>後続工程</h2>${renderRelationList(outgoing.get(key), sectionByKey, lookup, '登録済みの後続工程はありません。', folds)}</section><p class="anchor-status">${escapeHtmlText(anchorText)}</p><details class="task-diagnostics"><summary>開発者向け診断</summary><dl><dt>canonical ref</dt><dd><code>${escapeHtmlText(`${section.ref.project_id}/${section.ref.plan_key}/${section.task.task_id}`)}</code></dd><dt>anchor</dt><dd>${escapeHtmlText(section.anchorOutcome.anchored ? 'verified' : section.anchorOutcome.reason)}</dd></dl></details></article>`;
+    const workLog = notesEnabled ? renderNoteContext(section.noteContext) : '';
+    return `<article class="task-detail" data-detail-key="${escapeHtmlAttribute(key)}" hidden><header><span class="detail-status status-${escapeHtmlAttribute(section.state.status)}">${escapeHtmlText(status.mark)} ${escapeHtmlText(status.label)}</span><span class="detail-reference">${escapeHtmlText(taskReference(section, lookup))}</span></header><h1>${escapeHtmlText(section.task.title)}</h1><p class="detail-category"><strong>カテゴリ:</strong> ${escapeHtmlText(category)}</p>${categoryDescription}<p><strong>正規ID:</strong> <code>${escapeHtmlText(`${section.ref.plan_key}/${section.task.task_id}`)}</code></p>${blockedReason}${readiness}${independenceNote}${foldedNote}<section><h2>前提工程</h2>${renderRelationList(incoming.get(key), sectionByKey, lookup, '登録済みの前提工程はありません。', folds)}</section><section><h2>後続工程</h2>${renderRelationList(outgoing.get(key), sectionByKey, lookup, '登録済みの後続工程はありません。', folds)}</section>${workLog}<p class="anchor-status">${escapeHtmlText(anchorText)}</p><details class="task-diagnostics"><summary>開発者向け診断</summary><dl><dt>canonical ref</dt><dd><code>${escapeHtmlText(`${section.ref.project_id}/${section.ref.plan_key}/${section.task.task_id}`)}</code></dd><dt>anchor</dt><dd>${escapeHtmlText(section.anchorOutcome.anchored ? 'verified' : section.anchorOutcome.reason)}</dd></dl></details></article>`;
   }).join('');
   const taskIndex = renderTaskIndex(sections, lookup, folds, planActivity(readModel));
   return `<div class="right-toolbar"><button type="button" data-show-overview>概要</button><button type="button" data-show-selected hidden>選択工程へ戻る</button><button type="button" data-show-task-index>全工程一覧</button></div><div class="right-content">${overview}<div data-right-panel="details" hidden>${details}</div><section class="task-index" data-right-panel="task-index" hidden><h1>全工程</h1><p>Latticeに登録された全工程を現在の状態とともに表示しています。planは動いているものを最終活動の新しい順で上に、完走したものを古い順で下にまとめ、plan内は登録順です。</p>${taskIndex}</section></div>`;

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

@@ -56,6 +56,12 @@ body{display:grid;grid-template-rows:minmax(0,1fr);height:100vh;margin:0;backgro
 .active-list,.relation-list{margin:0;padding:0;list-style:none}.active-list li+li,.relation-list li+li{margin-top:8px}
 .active-list button{width:100%}.anchor-status,.readiness-note,.category-description,.relation-empty{color:var(--text-secondary)}
 .task-detail>header{display:flex;flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:8px}.detail-status,.detail-reference{font-size:12px;font-weight:600}.detail-reference{color:var(--text-secondary)}
+.work-log{margin-top:24px;padding-top:1px;border-top:1px solid var(--border)}
+.work-log-entry{margin-top:10px;padding:12px;border:1px solid var(--border);border-left:4px solid var(--accent);background:var(--surface-2)}
+.work-log-entry>header{display:flex;flex-wrap:wrap;justify-content:space-between;gap:6px 12px;color:var(--text-secondary);font-size:12px;font-weight:600}
+.work-log-body{overflow-wrap:anywhere}.work-log-body pre{max-width:100%;overflow:auto;padding:8px;background:var(--surface-1)}.work-log-body code{overflow-wrap:anywhere}
+.work-log-origin,.work-log-head,.note-warning{color:var(--text-secondary);font-size:12px;overflow-wrap:anywhere}.note-warning{color:var(--critical)}
+.gantt-warning{margin:16px 0;padding:12px;border:1px solid var(--critical);background:var(--surface-2)}.gantt-warning h2{margin:0 0 8px}.gantt-warning ul{margin:0;padding-left:20px}
 .relation-list button{display:flex;width:100%;flex-direction:column}.relation-list button span{font-weight:400}.relation-kind{display:block;margin-top:4px;color:var(--text-secondary);font-size:12px}
 .task-diagnostics{margin:16px 0;color:var(--text-secondary);font-size:12px}.task-diagnostics summary{cursor:pointer;color:var(--text-primary);font-weight:600}.task-diagnostics dl{display:grid;grid-template-columns:auto 1fr;gap:4px 12px}.task-diagnostics dd{margin:0;overflow-wrap:anywhere}
 .task-index>h1{margin:0 0 8px;font-size:19px;font-weight:650;line-height:1.45}.task-index>p{margin:0 0 24px;color:var(--text-secondary)}