@quolu/lattice 0.35.0 → 0.36.0

package/README.ja.md

@@ -197,7 +197,34 @@ lattice todo migrate --input <extraction.json> --serialization-reviewed
 `active_set`と`next_ready`で観測できます。
 ToDo完了は軽量確認までで、所属ToDoが全てdoneになったPhaseは`gate_ready`となり、`todo phase review`後に
 required evidenceを束縛した`todo phase accept`で重監査の判断を記録します。監査回数やPhase数を自動追加する
-機能ではありません。Phase状態は
+機能ではありません。
+
+**監査の既定は「有り」です。** phaseを持たないplanも終端に重監査が要ります（予約Phase
+`terminal-audit`を暗黙に1つ持ちます）。全taskがdoneになった状態は「完走」ではなく`gate_ready`＝
+**監査待ち**であり、工程図のlive scopeはそのplanのToDoを畳みません——完走扱いで図から消えることが
+「閉じた」の可視表現なので、監査の記録なしにそこへ行かせません。作成時に拒否はせず、
+`todo migrate`／`plan create`の結果と最後のdoneのadvisoryで`terminal_audit_required`を通知します。
+**終端監査はToDoのdispatch可否へ影響しません**（Phaseは重監査の順序だけを制御し、開始順はToDo DAGが決めます）。
+規約は[ADR 0147](docs/adr/0147-audit-is-on-by-default.md)が正です。
+
+```bash
+lattice todo phase status --plan <key>   # phase無しplanでも暗黙Phaseを返す（implicit: true）
+lattice todo phase review --plan <key> --phase terminal-audit --reason <text>
+lattice todo phase accept --plan <key> --phase terminal-audit --input <file>
+```
+
+誤ってphase無しで作ったplanへ後からPhaseを被せる場合は、`revise-phase`の
+`state_policy: acquire_phase`でdone状態を保ったまま獲得できます（未割当→割当の向きだけを許し、
+既にphaseを持つtaskの付け替えは拒否します）。
+
+契約のJSON Schemaは各入口から取れます。入力が合わないときは、違反フィールドのpathが
+error detailの`violation_path`へ載ります（配列のソート違反は`/tasks/1`のようにindexまで名指しします）。
+
+```bash
+lattice plan create --schema --json            # 既定は最新v3
+lattice todo revise-phase --schema --json
+lattice plan show <plan_key> --json            # planのtask・依存・phase・状態を1コマンドで読む
+```Phase状態は
 `lattice todo phase status --plan <key>`、閲覧中に進捗が更新される工程表は
 `lattice todo gantt serve --port 0`で確認できます。live viewerはloopback-only、read-onlyで、
 `/projects/<project_id>/`というproject固有URLを返します。別projectからそれぞれ起動すれば、独立port・独立SSE経路で同時表示できます。

package/README.md

@@ -150,6 +150,14 @@ point of use.
 transform that cannot be verified is not adopted. A finding that cannot be independently
 re-derived is not recorded.
 
+**Heavy audit is on by default.** A plan without explicit phases still carries an implicit
+terminal audit: every task being done means `gate_ready` — *awaiting audit* — not finished. The
+live dependency diagram refuses to fold such a plan away, because folding is how the product
+says "closed", and nothing gets there without an evidence-bound `phase accept`. Creation is never
+rejected over it; the requirement is reported instead. And the audit gate never touches dispatch:
+phases order reviews, the ToDo DAG orders work
+([ADR 0147](docs/adr/0147-audit-is-on-by-default.md)).
+
 ## Patent
 
 The design in this repository is the subject of a Japanese patent application:

package/bin/lattice.mjs

@@ -50,13 +50,21 @@ if (help !== null) {
     process.exitCode = projectCliFailure(process.stderr, error);
   }
 } else if (args.length === 5 && args[0] === 'plan' && args[1] === 'create'
-  && args[2] === '--schema-version' && ['2', '3'].includes(args[3]) && args[4] === '--json') {
+  && args[2] === '--schema-version' && ['1', '2', '3'].includes(args[3]) && args[4] === '--json') {
   const { projectCliFailure, runPlanCreateSchema } = await import('../src/project-cli.mjs');
   try {
     process.exitCode = await runPlanCreateSchema({ stdout: process.stdout, version: Number(args[3]) });
   } catch (error) {
     process.exitCode = projectCliFailure(process.stderr, error);
   }
+} else if (args.length === 4 && args[0] === 'plan' && args[1] === 'show'
+  && typeof args[2] === 'string' && args[2].length > 0 && args[3] === '--json') {
+  const { projectCliFailure, runPlanShow } = await import('../src/project-cli.mjs');
+  try {
+    process.exitCode = await runPlanShow({ cwd: process.cwd(), planKey: args[2], stdout: process.stdout });
+  } catch (error) {
+    process.exitCode = projectCliFailure(process.stderr, error);
+  }
 } else if (args.length === 2 && args[0] === 'factory-diagnostics' && args[1] === '--json') {
   const { buildFactoryDiagnostics } = await import('../src/factory-diagnostics.mjs');
   const diagnostics = await buildFactoryDiagnostics();

package/docs/bridge-setup.md

@@ -107,6 +107,19 @@ public hostname `lattice.kitepon.dev` を次のoriginへ対応付ける。
 3. **Cloudflare public HTTPS**: `https://lattice.kitepon.dev/projects/`がredirectなしで200となり、一覧から開いた
    `/projects/<project_id>/`のHTML titleが`Lattice — <project名> 依存工程図`である。
 
+公開viewerの404も、ブラウザとAPIの両契約を別々に確認する。未知URLへ`Accept: text/html`を
+付けたrequestはHTTP 404かつ`Content-Type: text/html`で、`noindex, nofollow`と
+`/projects/`、`https://kitepon.dev/`への戻り先を持つ。`Accept: application/json`では
+HTTP 404かつ`Content-Type: application/json`で、既存の
+`lattice.todo_gantt_http_error.v1`を返す。
+
+```bash
+curl --silent --show-error --include --header 'Accept: text/html' \
+  https://lattice.kitepon.dev/unknown
+curl --silent --show-error --include --header 'Accept: application/json' \
+  https://lattice.kitepon.dev/unknown
+```
+
 外部gateはHTMLだけで閉じず、各projectの
 `https://lattice.kitepon.dev/projects/<project_id>/events`も確認する。応答は200かつ
 `Content-Type: text/event-stream`で、接続直後に`event: state`と現在の`head_digest`を返さなければならない。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@quolu/lattice",
-  "version": "0.35.0",
+  "version": "0.36.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

@@ -26,8 +26,9 @@ Commands:
   create --input <file> [--serialization-reviewed]
       # 依存グラフがほぼ一直線（serialization_ratioが閾値超）なら一度突き返す。
       # 再考した上でなお直列でよいなら --serialization-reviewed を付けて再実行する
-  create --schema --json
-  create --schema-version <2|3> --json
+  create --schema --json             # 既定は最新版（v3）のJSON Schemaを返す
+  create --schema-version <1|2|3> --json
+  show <plan_key> --json             # task・依存・phase・状態をplan本体から1コマンドで投影する
   compile --request <request.json>
   compile --schema --json            # lattice.run_request.v1 の JSON Schema を出す
   verify --request <request.json> --plan <plan.json>
@@ -91,6 +92,9 @@ Write commands:
   revise --plan <key> --input <file>
   revise-phase --plan <key> --input <file>
   revise-set --input <file>
+  <revise|revise-phase|revise-set|migrate> --schema --json
+      # 実際に受理する最新契約のJSON Schemaを返す（storeを読まない）。
+      # 入力が契約に合わないときは、違反フィールドのpathがerror detailへ載る
   phase review --plan <key> --phase <id> --reason <text>
   phase <accept|reject> --plan <key> --phase <id> --input <file>
   phase reopen --plan <key> --phase <id> --reason <text> [--override-reason <text>]
@@ -135,7 +139,8 @@ registerはLATTICE_BRIDGE_REGISTRAR_SSH_HOSTとLATTICE_BRIDGE_REGISTRAR_SCRIPT
 const SUBCOMMAND_USAGE = Object.freeze({
   status: 'status --json',
   'session-context': 'session-context --json',
-  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <2|3> --json',
+  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <1|2|3> --json',
+  'plan show': 'plan show <plan_key> --json',
   'plan compile': 'plan compile --request <request.json> | --schema --json',
   'plan verify': 'plan verify --request <request.json> --plan <plan.json>',
   'run start': 'run start --request <request.json> --executor <adapter> | --schema --json',
@@ -177,10 +182,10 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo reopen': 'todo reopen --plan <key> --task <id> --reason <text> [--override-reason <text>]',
   'todo evidence': 'todo evidence promote --plan <key> --task <id> --evidence <file>',
   'todo evidence promote': 'todo evidence promote --plan <key> --task <id> --evidence <file>',
-  'todo revise': 'todo revise --plan <key> --input <file>',
-  'todo revise-phase': 'todo revise-phase --plan <key> --input <file>',
-  'todo revise-set': 'todo revise-set --input <file>',
-  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed]',
+  'todo revise': 'todo revise --plan <key> --input <file> | --schema --json',
+  'todo revise-phase': 'todo revise-phase --plan <key> --input <file> | --schema --json',
+  'todo revise-set': 'todo revise-set --input <file> | --schema --json',
+  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed] | --schema --json',
   'sensor init': 'sensor init [path] --json',
   'sensor sync': 'sensor sync [path] --json',
   'runtime-errors snapshot': 'runtime-errors snapshot [--after-cursor <n>] [--limit <n>] --json',

package/src/project-cli.mjs

@@ -22,6 +22,7 @@ import {
   buildTodoPlan,
   createTodoStoreWriter,
   initializeAuthoredTodoStore,
+  isPhaselessTodoPlanSchema,
   readTodoIndependenceArtifact,
   readTodoStore,
   TodoStoreError,
@@ -481,6 +482,9 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
       max_frontier_width: dispatchShape.max_frontier_width,
       serialization_ratio: dispatchShape.serialization_ratio,
     },
+    // ADR 0147裁定3: phase無し(v3)のplan createは拒否せず、終端監査が要ることを結果へ
+    // 明示するに留める。phase入力(v4/v5)ならfalse——既存のPhase gateがそのまま重監査を担う。
+    terminal_audit_required: isPhaselessTodoPlanSchema(member.plan.schema),
     result_digest: '',
   };
   result.result_digest = resultDigest(result);
@@ -488,7 +492,16 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
   return 0;
 }
 
-export async function runPlanCreateSchema({ stdout, version = 1 }) {
+/**
+ * `--schema --json`（版指定なし）の既定はCURRENT_CREATE_INPUT_SCHEMAと同じv3にする。
+ * 既定がv1のままだと、素の`--schema`を叩いたAIが古いv1（Phaseを表現できない）を
+ * 受け取り、実運用で通らない入力を作ってしまう（実際に踏んだ）。
+ * `--schema-version 1`は互換のため引き続き取得できる（bin/lattice.mjs側で許可）。
+ *
+ * 「どの版を返したか」は返すJSON Schema自身の`title`（例: `lattice.plan_create_input.v3`）が
+ * 既に機械可読に持っている。壊さずに追加のkeyを足す理由が無いので足さない。
+ */
+export async function runPlanCreateSchema({ stdout, version = 3 }) {
   if (![1, 2, 3].includes(version)) throw new TypeError('unsupported plan create schema version');
   const expected = version === 3 ? DECOUPLED_PHASE_CREATE_INPUT_SCHEMA
     : version === 2 ? PHASE_CREATE_INPUT_SCHEMA : CREATE_INPUT_SCHEMA;
@@ -504,6 +517,95 @@ export async function runPlanCreateSchema({ stdout, version = 1 }) {
   }
 }
 
+const PLAN_SHOW_RESULT_SCHEMA = 'lattice.plan_show_result.v1';
+
+/**
+ * `todo bindings`はcompile_binding付きtaskだけを投影するので、通常planでは空配列を返す。
+ * それを見て「planが空だ」と誤読された実績があるため、plan本体（task・依存・phase・状態）を
+ * 1コマンドで読める面を別に持つ。読み出しは既存store readerとtodo status projectionの
+ * 再利用に留め、journalを独自に再実装しない。
+ */
+export async function runPlanShow({ cwd, planKey, stdout }) {
+  const repoRoot = resolveRepoRoot(cwd);
+  if (repoRoot === null) throw new TodoStoreError('REPO_UNRESOLVED', 'git_toplevel_unresolved');
+  const store = await readTodoStore({ repoRoot });
+  const member = store.members.find(({ descriptor }) => descriptor.plan_key === planKey);
+  if (member === undefined) {
+    // 既存read commands（independence compile等）と同じcode/reasonを踏襲する。
+    // 未知のplan_keyを「store不整合」と同じ扱いにするのはこのCLI全体の既定であり、
+    // ここだけ別codeへ逸れると呼び出し側の分岐が増える。
+    throw new TodoStoreError('STORE_INCONSISTENT', 'plan_not_active', undefined, {
+      plan_key: planKey, next_action: 'check_active_plans_via_status',
+    });
+  }
+  const { plan, tasks, phases } = member;
+  const phaseInput = ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(plan.schema);
+  const stateByTaskId = new Map(tasks.map((state) => [state.task_id, state]));
+  // snapshot artifactの形式(v1にはphasesキーが無い)には縛られない導出ビューを読む
+  // (readTodoStoreが常に member.phases として埋める。ADR 0147)。
+  const phaseStatusById = new Map((phases ?? []).map((phase) => [phase.phase_id, phase.status]));
+
+  // 依存の本数: このplanの中でそのtaskへ入ってくるhard_dependencies辺と、joinで
+  // 合流するafter辺の合計。cross-plan参照は数えない（plan showは単一planの投影のため）。
+  const dependsOnCount = new Map(plan.tasks.map((task) => [task.task_id, 0]));
+  for (const edge of plan.hard_dependencies) {
+    if (edge.to.plan_key === planKey && dependsOnCount.has(edge.to.task_id)) {
+      dependsOnCount.set(edge.to.task_id, dependsOnCount.get(edge.to.task_id) + 1);
+    }
+  }
+  for (const join of plan.joins) {
+    if (join.before.plan_key === planKey && dependsOnCount.has(join.before.task_id)) {
+      dependsOnCount.set(join.before.task_id, dependsOnCount.get(join.before.task_id) + join.after.length);
+    }
+  }
+
+  const taskList = plan.tasks.map((task) => ({
+    task_id: task.task_id,
+    title: task.title,
+    lane: task.lane,
+    phase_id: phaseInput ? task.phase_id : null,
+    state: stateByTaskId.get(task.task_id).status,
+    depends_on_count: dependsOnCount.get(task.task_id) ?? 0,
+  }));
+
+  const phaseList = phaseInput ? plan.phases.map((phase) => ({
+    phase_id: phase.phase_id,
+    title: phase.title,
+    gate_policy: phase.gate_policy,
+    predecessor_phase_ids: phase.predecessor_phase_ids,
+    status: phaseStatusById.get(phase.phase_id) ?? null,
+  })) : [];
+
+  // dispatch形状はplan create時に既に計算している同じ関数を再利用する。
+  // critical path長・frontier幅を独自に計算し直さない。
+  const dispatchShape = computeTodoDispatchShapeForPlan({
+    projectId: plan.project_id, planKey,
+    taskIds: plan.tasks.map(({ task_id: taskId }) => taskId),
+    hardDependencies: plan.hard_dependencies, joins: plan.joins,
+  });
+
+  const result = {
+    schema: PLAN_SHOW_RESULT_SCHEMA,
+    project_id: plan.project_id,
+    plan_key: plan.plan_key,
+    plan_version: plan.plan_version,
+    plan_schema: plan.schema,
+    has_phases: phaseInput,
+    phases: phaseList,
+    tasks: taskList,
+    topology: {
+      task_count: dispatchShape.task_count,
+      critical_path_length: dispatchShape.critical_path_length,
+      max_frontier_width: dispatchShape.max_frontier_width,
+      serialization_ratio: dispatchShape.serialization_ratio,
+    },
+    result_digest: '',
+  };
+  result.result_digest = resultDigest(result);
+  stdout.write(`${JSON.stringify(result)}\n`);
+  return 0;
+}
+
 export function projectStatusFailure({ cwd, stdout, cliVersion, error }) {
   const result = invalidStatus({
     cliVersion, repoRoot: resolveRepoRoot(cwd),

package/src/todo-cli.mjs

@@ -37,6 +37,8 @@ import {
   applyTodoRevisionSet,
   createTodoStoreWriter,
   TodoStoreError,
+  isPhaselessTodoPlanSchema,
+  TERMINAL_AUDIT_PHASE_ID,
   readTodoIndependenceArtifact,
   readTodoSeamProposalArtifact,
   readTodoStore,
@@ -52,6 +54,7 @@ import {
 } from './todo-store.mjs';
 import {
   appendTodoExtraction,
+  explainTodoExtraction,
   validateTodoExtraction,
 } from './todo-migration.mjs';
 import {
@@ -97,6 +100,7 @@ import {
   validateWitnessDraft,
 } from './witness-scaffold.mjs';
 import {
+  explainPhaseTodoRevision, explainTodoRevision, explainTodoRevisionSet,
   parseTodoSourceRef, todoLegacyReconciliationDigest, validatePhaseTodoRevision,
   validateTodoRevision, validateTodoRevisionSet,
 } from './todo-revision.mjs';
@@ -113,6 +117,31 @@ const ACTOR_ENV_KEYS = Object.freeze([
   'LATTICE_TODO_ACTOR_AGENT',
 ]);
 
+/**
+ * `revise` / `revise-set` / `revise-phase` / `migrate`が実際に受理する最新契約のJSON
+ * Schemaを配布物から読む入口（`project-cli.mjs`の`runPlanCreateSchema`と同じ作法）。
+ *
+ * schemaを取る手段がCLIに無いと、AIはsrcを読んで必須keyを数えるしかなくなる
+ * （実運用で`phase_todo_revision.v3`の必須12 keyを試行錯誤で当てた）。storeは読まない
+ * ——`plan create --schema`と同じく決定的な出力・exit 0にする。
+ */
+const TODO_SCHEMA_COMMANDS = Object.freeze({
+  revise: { title: 'lattice.todo_revision.v2', file: 'lattice.todo_revision.v2.schema.json' },
+  'revise-set': { title: 'lattice.todo_revision_set.v3', file: 'lattice.todo_revision_set.v3.schema.json' },
+  'revise-phase': {
+    title: 'lattice.phase_todo_revision.v3', file: 'lattice.phase_todo_revision.v3.schema.json',
+  },
+  migrate: { title: 'lattice.todo_extraction.v2', file: 'lattice.todo_extraction.v2.schema.json' },
+});
+
+async function runTodoSchemaCommand(command, stdout) {
+  const spec = TODO_SCHEMA_COMMANDS[command];
+  const schemaUrl = new URL(`../docs/schemas/${spec.file}`, import.meta.url);
+  const schema = JSON.parse(await readFile(schemaUrl, 'utf8'));
+  if (schema?.title !== spec.title) throw new TypeError(`bundled ${command} schema invalid`);
+  stdout.write(`${JSON.stringify(schema)}\n`);
+}
+
 function usageFailure(stderr, argv) {
   const received = argv.length === 0 ? '(none)' : argv.join(' ').replace(/[\r\n]/gu, ' ');
   stderr.write(`lattice todo: unsupported command or arguments: ${received}\n`);
@@ -223,7 +252,11 @@ async function readMigrationInput(repoRoot, inputRef) {
     throw new TodoStoreError('INVALID_JSON', 'json_parse_failed');
   }
   if (!validateTodoExtraction(extraction)) {
-    throw new TodoStoreError('INVALID_TODO_EXTRACTION', 'schema_invalid');
+    // 「schema_invalid」だけでは何のfieldがどう壊れているか分からない（ADR 0130の案内規律）。
+    // explainは可否判定を変えず、診断だけを追加する。
+    const explained = explainTodoExtraction(extraction);
+    throw new TodoStoreError('INVALID_TODO_EXTRACTION', 'schema_invalid', undefined,
+      explained.valid ? undefined : { violation_reason: explained.reason, violation_path: explained.path });
   }
   return extraction;
 }
@@ -232,6 +265,7 @@ async function readRevisionInput(repoRoot, inputRef, {
   validate = validateTodoRevision,
   invalidCode = 'REVISION_INVALID',
   invalidReason = 'revision_schema_or_digest_invalid',
+  explain = explainTodoRevision,
 } = {}) {
   const canonicalRoot = await realpath(repoRoot);
   const absolute = path.resolve(canonicalRoot, inputRef);
@@ -268,7 +302,16 @@ async function readRevisionInput(repoRoot, inputRef, {
   try { revision = JSON.parse(text.slice(0, -1)); } catch {
     throw new TodoStoreError('INVALID_JSON', 'json_parse_failed');
   }
-  if (!validate(revision)) throw new TodoStoreError(invalidCode, invalidReason);
+  if (!validate(revision)) {
+    // 「schema_or_digest_invalid」だけでは何のfieldがどう壊れているか分からない
+    // （ADR 0130の案内規律）。explainは可否判定を変えず、診断だけを追加する。
+    // 呼び出し元がexplainを渡さない（phase decision入力等）場合はdetail無しのまま。
+    const explained = explain === null ? null : explain(revision);
+    throw new TodoStoreError(invalidCode, invalidReason, undefined,
+      explained === null || explained.valid ? undefined : {
+        violation_reason: explained.reason, violation_path: explained.path,
+      });
+  }
   if (text !== `${canonicalizeTodoArtifact(revision)}\n`) {
     throw new TodoStoreError(invalidCode, 'non_canonical_revision_bytes');
   }
@@ -373,6 +416,25 @@ function mutationActor(env) {
   return { host: entries[0].value, session: entries[1].value, agent: entries[2].value };
 }
 
+/**
+ * phase無しplanで、この変異の結果terminal-audit Phaseがgate_ready(全task done・未監査)に
+ * なっていれば助言を返す(ADR 0147)。doneの結果だけを見て機械的に判定するので、既にreview
+ * まで進んでいれば`gate_ready`ではなくなり、二重に案内しない。phase付きplanや、まだ
+ * pending taskが残っているplanではterminal-audit Phase自体が無い/gate_readyでないので、
+ * このヘルパはnullを返し既存の`advisory: null`の挙動を変えない。
+ */
+function terminalAuditDoneAdvisory(plan, phases) {
+  if (!isPhaselessTodoPlanSchema(plan.schema)) return null;
+  const phase = phases.find(({ phase_id }) => phase_id === TERMINAL_AUDIT_PHASE_ID);
+  if (phase?.status !== 'gate_ready') return null;
+  return {
+    terminal_audit_required: true, phase_id: TERMINAL_AUDIT_PHASE_ID, status: phase.status,
+    guidance: '全taskがdoneになった。このplanはphaseを持たないため、終端の重監査'
+      + '(todo phase review --plan <key> --phase terminal-audit → todo phase accept)を'
+      + '経るまで「閉じた」ことにはならない。',
+  };
+}
+
 async function mutate({
   repoRoot, env, planKey, taskId, kind, payload, evidenceRef, advisory = null,
 }) {
@@ -383,13 +445,18 @@ async function mutate({
   if (kind === 'done' && payload === 'evidence_promotion') {
     eventPayload = { done_mode: 'evidence_promotion', imported: true, evidence };
   }
-  const { event, snapshot } = await appendTodoEvent({
+  const { event, snapshot, plan, phases } = await appendTodoEvent({
     repoRoot,
     writer: createTodoStoreWriter({ caller: 'g5-authoring' }),
     planKey,
     event: { kind, task_id: taskId, actor, payload: eventPayload },
   });
   const task = snapshot.tasks.find(({ task_id: current }) => current === event.task_id);
+  // advisoryは呼び出し側(startTask)がstart用に既に組んでいればそれを尊重し、無ければ
+  // done時だけ終端監査の要否を調べる。block/unblock/reopenはnullのまま(既存挙動を変えない)。
+  // Phase状態はsnapshot(v1にはphasesキーが無い)でなく、appendTodoEventが別途返す
+  // 導出ビュー`phases`から読む。
+  const resolvedAdvisory = advisory ?? (kind === 'done' ? terminalAuditDoneAdvisory(plan, phases) : null);
   const result = {
     schema: 'lattice.todo_mutation_result.v2',
     project_id: event.project_id,
@@ -402,7 +469,7 @@ async function mutate({
     journal_head_digest: event.event_digest,
     snapshot_digest: snapshot.snapshot_digest,
     status: task.status,
-    advisory,
+    advisory: resolvedAdvisory,
     result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
@@ -599,6 +666,8 @@ async function phaseDecision({ repoRoot, env, planKey, phaseId, outcome, inputRe
   const input = await readRevisionInput(repoRoot, inputRef, {
     validate: (value) => validatePhaseDecisionInput(value, outcome),
     invalidCode: 'PHASE_DECISION_INVALID', invalidReason: 'phase_decision_schema_or_digest_invalid',
+    // phase decision入力はrevision契約と別形状。既定のrevision explainを誤って当てない。
+    explain: null,
   });
   const payload = outcome === 'accept'
     ? { review_event_digest: input.review_event_digest, decision_evidence: input.decision_evidence,
@@ -609,11 +678,13 @@ async function phaseDecision({ repoRoot, env, planKey, phaseId, outcome, inputRe
 }
 
 async function phaseMutation({ repoRoot, env, planKey, phaseId, kind, payload }) {
-  const { event, snapshot } = await appendTodoEvent({
+  const { event, snapshot, phases } = await appendTodoEvent({
     repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }), planKey,
     event: { kind, phase_id: phaseId, actor: mutationActor(env), payload },
   });
-  const phase = snapshot.phases?.find(({ phase_id: current }) => current === phaseId);
+  // snapshot.phasesはv1(phase無しplan)には存在しない。導出ビュー`phases`を見る
+  // (これは暗黙のterminal-audit Phaseにも常に埋まっている)。
+  const phase = phases.find(({ phase_id: current }) => current === phaseId);
   if (phase === undefined) throw new TodoStoreError('STORE_INCONSISTENT', 'phase_not_active');
   const result = {
     schema: 'lattice.phase_mutation_result.v1', project_id: event.project_id,
@@ -629,14 +700,16 @@ async function phaseMutation({ repoRoot, env, planKey, phaseId, kind, payload })
 async function phaseStatus({ repoRoot, planKey }) {
   const store = await readTodoStore({ repoRoot });
   const [member] = selectMembers(store, planKey);
-  if (!['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(member.plan.schema)) {
-    throw new TodoStoreError('PHASE_UNAVAILABLE', 'plan_has_no_phase_contract');
-  }
+  // ADR 0147以降、phase無しplan(v1/v2/v3)もreadTodoStoreが導出済みの暗黙terminal-audit
+  // Phaseをmember.phasesへ積んでいる(snapshot artifactの形式は変えない・v1にはphasesキーが
+  // 無いのでsnapshot.phasesは直接読まない)。ここでPHASE_UNAVAILABLEへ拒否せず、その暗黙Phase
+  // をそのまま返す——`implicit`で機械可読に「宣言されたPhaseではない」ことを示す。
+  const implicit = isPhaselessTodoPlanSchema(member.plan.schema);
   const result = {
     schema: 'lattice.phase_status_result.v1', project_id: store.project_id,
     plan_key: member.plan.plan_key, plan_version: member.plan.plan_version,
     journal_head_digest: member.journal.events.at(-1).event_digest,
-    phases: member.snapshot.phases, result_digest: '',
+    implicit, phases: member.phases, result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
   return result;
@@ -689,6 +762,10 @@ async function migrate({ repoRoot, inputRef, serializationReviewed = false }) {
       max_frontier_width: dispatchShape.max_frontier_width,
       serialization_ratio: dispatchShape.serialization_ratio,
     },
+    // ADR 0147裁定3: phase無しplanの作成は拒否せず、終端監査が要ることを結果へ明示するに
+    // 留める。extraction経由のmigrateは常にphase無しplan(todo_plan.v2)を作るが、将来の
+    // 拡張に備えisPhaselessTodoPlanSchemaで動的に判定する。
+    terminal_audit_required: isPhaselessTodoPlanSchema(imported.plan.schema),
     result_digest: '',
   };
   result.result_digest = todoSelfDigest(result, 'result_digest');
@@ -711,6 +788,7 @@ async function reviseSet({ repoRoot, env, inputRef }) {
     validate: validateTodoRevisionSet,
     invalidCode: 'REVISION_SET_INVALID',
     invalidReason: 'revision_set_schema_invalid',
+    explain: explainTodoRevisionSet,
   });
   return applyTodoRevisionSet({
     repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }), revisionSet,
@@ -722,6 +800,7 @@ async function revisePhase({ repoRoot, env, planKey, inputRef }) {
   const revision = await readRevisionInput(repoRoot, inputRef, {
     validate: validatePhaseTodoRevision, invalidCode: 'REVISION_INVALID',
     invalidReason: 'phase_revision_schema_or_digest_invalid',
+    explain: explainPhaseTodoRevision,
   });
   if (revision.plan_key !== planKey) throw new TodoStoreError('REVISION_INVALID', 'requested_plan_mismatch');
   return applyPhaseTodoRevision({ repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }),
@@ -1922,6 +2001,20 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
     throw new TypeError('runTodoCli optionsが不正');
   }
 
+  // `--schema --json`はstoreを読まない決定的な出力（`plan create --schema`と同じ規律）。
+  // 通常dispatchより前に処理し、repoRoot解決やdashboard daemon起動を経由させない。
+  if (argv.length === 3 && argv[1] === '--schema' && argv[2] === '--json'
+    && Object.hasOwn(TODO_SCHEMA_COMMANDS, argv[0])) {
+    try {
+      await runTodoSchemaCommand(argv[0], stdout);
+      return 0;
+    } catch (error) {
+      return typedFailure(stderr, {
+        code: 'INTERNAL_FAILURE', message: error?.constructor?.name ?? 'Error',
+      });
+    }
+  }
+
   let action = null;
   if ((argv.length === 1 && argv[0] === 'status')
     || (argv.length === 2 && argv[0] === 'status' && argv[1] === '--json')) {

package/src/todo-contracts.mjs

@@ -375,8 +375,8 @@ function validStateMigration(value) {
       'from_task_id', 'to_task_id', 'state_policy', 'state',
     ]) && isTodoIdentifier(entry.from_task_id)
       && (entry.to_task_id === 'removed' || isTodoIdentifier(entry.to_task_id))
-      && ['carry', 'carry_reconciled_metadata', 'reset_pending', 'removed'].includes(entry.state_policy)
-      && ((['carry', 'carry_reconciled_metadata'].includes(entry.state_policy)
+      && ['carry', 'carry_reconciled_metadata', 'reset_pending', 'removed', 'acquire_phase'].includes(entry.state_policy)
+      && ((['carry', 'carry_reconciled_metadata', 'acquire_phase'].includes(entry.state_policy)
         && entry.to_task_id !== 'removed' && validCarriedState(entry.state))
         || (entry.state_policy === 'reset_pending' && entry.to_task_id !== 'removed' && entry.state === null)
         || (entry.state_policy === 'removed' && entry.to_task_id === 'removed' && entry.state === null)))

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

@@ -117,7 +117,8 @@ export function renderPhaseProgress(readModel) {
   const settledRows = [];
   for (const member of readModel.members) {
     if (!['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(member.plan.schema)) continue;
-    const phases = new Map(member.snapshot.phases.map((phase) => [phase.phase_id, phase]));
+    // snapshot artifactの形式には縛られない導出ビュー(member.phases)を読む(ADR 0147)。
+    const phases = new Map(member.phases.map((phase) => [phase.phase_id, phase]));
     for (const phase of member.plan.phases) {
       const tasks = member.plan.tasks.filter((task) => task.phase_id === phase.phase_id);
       const states = new Map(member.tasks.map((task) => [task.task_id, task.status]));

package/src/todo-gantt-layout.mjs

@@ -153,7 +153,9 @@ function normalizeInput(readModel, chainProjection) {
     }
     const { plan } = member;
     const statusByTask = new Map(member.tasks.map((task) => [task.task_id, task]));
-    const statusByPhase = new Map((member.snapshot?.phases ?? [])
+    // snapshot artifactの形式(v1にはphasesキーが無い)には縛られない導出ビューを読む
+    // (readTodoStoreが常にmember.phasesとして埋める。ADR 0147)。
+    const statusByPhase = new Map((member.phases ?? [])
       .map((phase) => [phase.phase_id, phase.status]));
     for (const task of plan.tasks) {
       if (!plain(task) || typeof task.task_id !== 'string' || typeof task.lane !== 'string') {
@@ -174,7 +176,14 @@ function normalizeInput(readModel, chainProjection) {
         status: state.status,
         plan_schema: plan.schema ?? null,
         phase_id: task.phase_id ?? null,
-        phase_status: task.phase_id === undefined ? null : statusByPhase.get(task.phase_id) ?? null,
+        // ADR 0147: phase無しplan(task.phase_idが無い世代)も、終端に暗黙のterminal-audit
+        // Phaseを1つ持つ(todo-store.mjsのphasesOf/TERMINAL_AUDIT_PHASE_ID)。ここで素通しせず
+        // nullのままにすると、gantt scope側(todo-gantt-scope.mjs)が「監査未了のplanを畳まない」
+        // 判定に使える材料を一切受け取れない。'terminal-audit'はTERMINAL_AUDIT_PHASE_IDと同じ
+        // 予約IDで、phase_readyの判定(v4だけを見る既存分岐)には影響しない。
+        phase_status: task.phase_id === undefined
+          ? statusByPhase.get('terminal-audit') ?? null
+          : statusByPhase.get(task.phase_id) ?? null,
         phase_ready: plan.schema !== 'lattice.todo_plan.v4'
           || statusByPhase.get(task.phase_id) === 'active',
       });
@@ -236,7 +245,8 @@ function readyTaskKeys(readModel, nodes, nodesByKey, incoming) {
   const phaseStatuses = new Map();
   const phaseAcceptIncoming = new Map(nodes.map(({ key }) => [key, new Set()]));
   for (const member of readModel.members) {
-    for (const phase of member.snapshot?.phases ?? []) {
+    // snapshot artifactの形式には縛られない導出ビュー(member.phases)を読む(ADR 0147)。
+    for (const phase of member.phases ?? []) {
       phaseStatuses.set(JSON.stringify([
         member.plan.project_id, member.plan.plan_key, phase.phase_id,
       ]), phase.status);

package/src/todo-gantt-scope.mjs

@@ -38,10 +38,35 @@ function compareText(left, right) {
   return left < right ? -1 : left > right ? 1 : 0;
 }
 
+/**
+ * ADR 0147: phase無しplan(v1/v2/v3)は終端の暗黙Phase(terminal-audit)がacceptedになるまで
+ * 「閉じた」ことにならない。全taskがdoneでも監査未了なら、そのplanのToDoは生きた作業と同じ
+ * 扱い(distance 0)にして畳ませない——畳んでしまうと監査待ちであることが図から消え、
+ * ADR 0147が塞ごうとした「一度も重監査を通らず完走した」事故と外形が同じになる。
+ *
+ * v4/v5(phaseを宣言したplan)はこの判定の対象外にする——既存のPhase gateが重監査を担って
+ * おり、ここで同じ規律を足すとPhase単位の既存fold挙動を変えてしまう(非目標)。
+ * `phase_status`はレイアウト層(todo-gantt-layout.mjs)がplanの世代を問わず埋める。
+ * phase無しplanのtaskにはphase_idフィールド自体が無いため、そこでは暗黙Phaseの状態を
+ * 埋める。フィールドが無い/nullの入力(既存test・素のnode)は従来どおり対象外(false)になる。
+ *
+ * 対象は`gate_ready`(全task doneで監査待ち)・`reviewing`(監査中)・`rejected`
+ * (監査が通らず要フォロー)の3状態だけに絞る。`active`(一部taskがまだpending)は、
+ * 他のtaskが図に残っている限りplanが未完了だと分かるので対象にしない——ここまで
+ * 広げると、完走していない枝の通常foldまで止めてしまい既存挙動を変える。
+ */
+const AUDIT_PENDING_PHASE_STATUSES = new Set(['gate_ready', 'reviewing', 'rejected']);
+function auditPending(node) {
+  if (!AUDIT_PENDING_PHASE_STATUSES.has(node.phase_status ?? null)) return false;
+  const schema = node.plan_schema ?? null;
+  return schema !== 'lattice.todo_plan.v4' && schema !== 'lattice.todo_plan.v5';
+}
+
 /**
  * Forward distance from each node to the nearest live (non-done) node, over the
  * dependency DAG. A live node is at distance 0; a node with no live descendant
- * is at Infinity.
+ * is at Infinity. A done node whose plan's terminal audit (ADR 0147) has not
+ * been accepted is also pinned at distance 0 — it must not fold away silently.
  *
  * Edges always increase the wave (`assignWaves` is a longest-path layering), so
  * visiting nodes in descending wave order guarantees every successor is settled
@@ -54,7 +79,7 @@ function distanceToLive(nodes, edges, wave) {
   const ordered = [...nodes].sort((left, right) => wave.get(right.key) - wave.get(left.key)
     || compareText(right.key, left.key));
   for (const node of ordered) {
-    if (node.status !== 'done') {
+    if (node.status !== 'done' || auditPending(node)) {
       distance.set(node.key, 0);
       continue;
     }