@quolu/lattice 0.38.0 → 0.39.0

package/src/cli-help.mjs

@@ -27,7 +27,7 @@ Commands:
       # 依存グラフがほぼ一直線（serialization_ratioが閾値超）なら一度突き返す。
       # 再考した上でなお直列でよいなら --serialization-reviewed を付けて再実行する
   create --schema --json             # 既定は最新版（v3）のJSON Schemaを返す
-  create --schema-version <1|2|3> --json
+  create --schema-version <1|2|3|4> --json
   show <plan_key> --json             # task・依存・phase・状態をplan本体から1コマンドで投影する
   compile --request <request.json>
   compile --schema --json            # lattice.run_request.v1 の JSON Schema を出す
@@ -69,15 +69,15 @@ Read commands:
   seam-proposal [--plan <key>] [--json]  # 記録済みseam提案をsensor無しで投影する
   verify [--plan <key>] [--json]
   snapshot --rebuild --plan <key>
-  gantt [--out <file>] [--scope live|all]  # 既定live: 完走した工程を図から除く（一覧には残る）
-  gantt status [--out <file>]
-  gantt serve --port <port> [--scope live|all]  # /projects/<project_id>/ をforeground配信
+  gantt serve --port <port> [--scope live|all]  # 動的表示。静的HTML生成とstatusは廃止
   phase status --plan <key>
 
 Write commands:
+  dashboard adopt --json  # 衝突したproject_idの配信元rootを現在repoへ明示的に移す
   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]
       # 既存storeへplanを追加する（plan createは空store初期化専用）。
       # 依存グラフがほぼ一直線なら一度突き返し、再考後の --serialization-reviewed で通す
   start --plan <key> --task <id> [--parallel-frontier|--override-reason <text> [--serial-confirmed]]
@@ -149,7 +149,7 @@ 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 <1|2|3> --json',
+  'plan create': 'plan create --input <file> [--serialization-reviewed] | --schema --json | --schema-version <1|2|3|4> --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>',
@@ -181,7 +181,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   'todo seam-proposal': 'todo seam-proposal [--plan <key>] [--json] | compile --plan <key>',
   'todo verify': 'todo verify [--plan <key>] [--json]',
   'todo snapshot': 'todo snapshot --rebuild --plan <key>',
-  'todo gantt': 'todo gantt [--out <file>] [--scope live|all] | status [--out <file>] | serve --port <port> [--scope live|all]',
+  'todo gantt': 'todo gantt serve --port <port> [--scope live|all]  # 動的表示のみ。静的HTML生成は廃止',
   'todo phase': 'todo phase <status|review|accept|reject|reopen|close-unaudited> --plan <key> [options]'
     + ' | baseline --reason <text> [--except <plan_key>]...',
   'todo phase status': 'todo phase status --plan <key>',
@@ -201,7 +201,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   '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',
+  'todo migrate': 'todo migrate --input <extraction.json> [--serialization-reviewed] | --input <extraction.json> --dry-run --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

@@ -4,8 +4,10 @@ import { lstat, open, realpath } from 'node:fs/promises';
 import path from 'node:path';
 
 import {
+  TODO_DESIGN_MEMO_PROMPT,
   canonicalizeTodoArtifact,
   exactRecord,
+  isTodoDesignMemo,
   isStrictTodoTimestamp,
   isTodoDigest,
   isTodoIdentifier,
@@ -42,8 +44,9 @@ const PLACEHOLDER_SHA = '0'.repeat(40);
 const CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v1';
 const PHASE_CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v2';
 const DECOUPLED_PHASE_CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v3';
-const CURRENT_CREATE_INPUT_SCHEMA = DECOUPLED_PHASE_CREATE_INPUT_SCHEMA;
-const CURRENT_CREATE_SCHEMA_COMMAND = 'lattice plan create --schema-version 3 --json';
+const MEMO_PHASE_CREATE_INPUT_SCHEMA = 'lattice.plan_create_input.v4';
+const CURRENT_CREATE_INPUT_SCHEMA = MEMO_PHASE_CREATE_INPUT_SCHEMA;
+const CURRENT_CREATE_SCHEMA_COMMAND = 'lattice plan create --schema-version 4 --json';
 const CREATE_RESULT_SCHEMA = 'lattice.plan_create_result.v1';
 
 function resolveRepoRoot(cwd) {
@@ -404,8 +407,10 @@ async function readCanonicalInput(repoRoot, inputRef) {
 }
 
 function validateCreateInput(value) {
-  const phaseInput = [PHASE_CREATE_INPUT_SCHEMA, DECOUPLED_PHASE_CREATE_INPUT_SCHEMA].includes(value?.schema);
-  const decoupledPhaseInput = value?.schema === DECOUPLED_PHASE_CREATE_INPUT_SCHEMA;
+  const phaseInput = [PHASE_CREATE_INPUT_SCHEMA, DECOUPLED_PHASE_CREATE_INPUT_SCHEMA,
+    MEMO_PHASE_CREATE_INPUT_SCHEMA].includes(value?.schema);
+  const decoupledPhaseInput = [DECOUPLED_PHASE_CREATE_INPUT_SCHEMA,
+    MEMO_PHASE_CREATE_INPUT_SCHEMA].includes(value?.schema);
   const keys = [
     'schema', 'project_id', 'plan_key', 'plan_version', 'actor', 'recorded_at',
     'tasks', 'hard_dependencies', 'joins', 'input_digest',
@@ -414,6 +419,7 @@ function validateCreateInput(value) {
   if (decoupledPhaseInput) keys.push('phase_accept_dependencies');
   if (!exactRecord(value, keys) || ![
     CREATE_INPUT_SCHEMA, PHASE_CREATE_INPUT_SCHEMA, DECOUPLED_PHASE_CREATE_INPUT_SCHEMA,
+    MEMO_PHASE_CREATE_INPUT_SCHEMA,
   ].includes(value.schema)
     || !isTodoIdentifier(value.project_id)
     || !isTodoIdentifier(value.plan_key) || !isTodoIdentifier(value.plan_version)
@@ -425,7 +431,8 @@ function validateCreateInput(value) {
     || value.tasks.some((task) => task?.narrative_anchor !== null || task?.compile_binding !== null)) return false;
   try {
     buildTodoPlan({
-      schema: decoupledPhaseInput ? 'lattice.todo_plan.v5'
+      schema: value.schema === MEMO_PHASE_CREATE_INPUT_SCHEMA ? 'lattice.todo_plan.v7'
+        : decoupledPhaseInput ? 'lattice.todo_plan.v5'
         : phaseInput ? 'lattice.todo_plan.v4' : 'lattice.todo_plan.v3', project_id: value.project_id,
       plan_key: value.plan_key, plan_version: value.plan_version,
       predecessor_plan_digest: null, tasks: value.tasks,
@@ -441,6 +448,13 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
   const repoRoot = resolveRepoRoot(cwd);
   if (repoRoot === null) throw new TodoStoreError('REPO_UNRESOLVED', 'git_toplevel_unresolved');
   const input = await readCanonicalInput(repoRoot, inputRef);
+  if (input?.schema !== MEMO_PHASE_CREATE_INPUT_SCHEMA
+    || !Array.isArray(input.tasks) || input.tasks.some((task) => !isTodoDesignMemo(task?.design_memo))) {
+    throw new TodoStoreError('DESIGN_MEMO_REQUIRED', 'plan_create_design_memo_required', undefined, {
+      prompt: TODO_DESIGN_MEMO_PROMPT,
+      next_action: CURRENT_CREATE_SCHEMA_COMMAND,
+    });
+  }
   if (!validateCreateInput(input)) throw new TodoStoreError('INPUT_INVALID', 'plan_create_schema_invalid');
   // dispatch_shapeのgateはstore初期化より前に判定する（拒否時にstoreへ何も書かないため、
   // 再考後の再実行がplan_key_already_existsで詰まらない）。
@@ -456,15 +470,16 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
     repoRoot, writer: createTodoStoreWriter({ caller: 'g5-authoring' }),
     projectId: input.project_id, repositories: [{ repo_id: 'self', path: '.' }],
     plan: {
-      schema: input.schema === DECOUPLED_PHASE_CREATE_INPUT_SCHEMA ? 'lattice.todo_plan.v5'
+      schema: input.schema === MEMO_PHASE_CREATE_INPUT_SCHEMA ? 'lattice.todo_plan.v7'
+        : input.schema === DECOUPLED_PHASE_CREATE_INPUT_SCHEMA ? 'lattice.todo_plan.v5'
         : input.schema === PHASE_CREATE_INPUT_SCHEMA
           ? 'lattice.todo_plan.v4' : 'lattice.todo_plan.v3', project_id: input.project_id,
       plan_key: input.plan_key, plan_version: input.plan_version,
       predecessor_plan_digest: null, tasks: input.tasks,
       hard_dependencies: input.hard_dependencies, joins: input.joins,
-      ...(input.schema === PHASE_CREATE_INPUT_SCHEMA
-        || input.schema === DECOUPLED_PHASE_CREATE_INPUT_SCHEMA ? { phases: input.phases } : {}),
-      ...(input.schema === DECOUPLED_PHASE_CREATE_INPUT_SCHEMA
+      ...([PHASE_CREATE_INPUT_SCHEMA, DECOUPLED_PHASE_CREATE_INPUT_SCHEMA,
+        MEMO_PHASE_CREATE_INPUT_SCHEMA].includes(input.schema) ? { phases: input.phases } : {}),
+      ...([DECOUPLED_PHASE_CREATE_INPUT_SCHEMA, MEMO_PHASE_CREATE_INPUT_SCHEMA].includes(input.schema)
         ? { phase_accept_dependencies: input.phase_accept_dependencies } : {}),
     },
     genesis: { actor: input.actor, recorded_at: input.recorded_at, provenance: null },
@@ -493,17 +508,18 @@ export async function runPlanCreate({ cwd, inputRef, stdout, serializationReview
 }
 
 /**
- * `--schema --json`（版指定なし）の既定はCURRENT_CREATE_INPUT_SCHEMAと同じv3にする。
+ * `--schema --json`（版指定なし）の既定はCURRENT_CREATE_INPUT_SCHEMAと同じv4にする。
  * 既定がv1のままだと、素の`--schema`を叩いたAIが古いv1（Phaseを表現できない）を
  * 受け取り、実運用で通らない入力を作ってしまう（実際に踏んだ）。
  * `--schema-version 1`は互換のため引き続き取得できる（bin/lattice.mjs側で許可）。
  *
- * 「どの版を返したか」は返すJSON Schema自身の`title`（例: `lattice.plan_create_input.v3`）が
+ * 「どの版を返したか」は返すJSON Schema自身の`title`（例: `lattice.plan_create_input.v4`）が
  * 既に機械可読に持っている。壊さずに追加の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
+export async function runPlanCreateSchema({ stdout, version = 4 }) {
+  if (![1, 2, 3, 4].includes(version)) throw new TypeError('unsupported plan create schema version');
+  const expected = version === 4 ? MEMO_PHASE_CREATE_INPUT_SCHEMA
+    : version === 3 ? DECOUPLED_PHASE_CREATE_INPUT_SCHEMA
     : version === 2 ? PHASE_CREATE_INPUT_SCHEMA : CREATE_INPUT_SCHEMA;
   const schemaUrl = new URL(`../docs/schemas/lattice.plan_create_input.v${version}.schema.json`, import.meta.url);
   const handle = await open(schemaUrl, fsConstants.O_RDONLY);
@@ -539,7 +555,8 @@ export async function runPlanShow({ cwd, planKey, stdout }) {
     });
   }
   const { plan, tasks, phases } = member;
-  const phaseInput = ['lattice.todo_plan.v4', 'lattice.todo_plan.v5'].includes(plan.schema);
+  const phaseInput = ['lattice.todo_plan.v4', 'lattice.todo_plan.v5', 'lattice.todo_plan.v7']
+    .includes(plan.schema);
   const stateByTaskId = new Map(tasks.map((state) => [state.task_id, state]));
   // snapshot artifactの形式(v1にはphasesキーが無い)には縛られない導出ビューを読む
   // (readTodoStoreが常に member.phases として埋める。ADR 0147)。

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