@quolu/lattice 0.57.2 → 0.58.0

package/src/cli-help.mjs

@@ -77,11 +77,13 @@ Read commands:
   note list --plan <key> [--task <id>] --json  # note全履歴の診断面（通常read/startでは不要）
   bindings [--plan <key>] [--json]   # compile_binding付きTaskをTODO identityつきで投影する
   independence [--plan <key>] [--json]  # readyを検証済み並列・要直列・未検査へ分けて投影する
+  structure --schema --json  # plan定義後に入力する論理dataflow契約をstore非依存で返す
+  structure [--plan <key>] --json  # 保存済み構造をsensor再実行なしでfreshness・finding付き投影する
   seam-profile --plan <key> --file <path> [--json]  # 係争fileの切断コスト内訳を投影する（read-only）
   seam-proposal [--plan <key>] [--json]  # 記録済みseam提案をsensor無しで投影する
   verify [--plan <key>] [--json]
   snapshot --rebuild --plan <key>
-  gantt serve --port <port> [--scope live|all]  # 動的表示。静的HTML生成とstatusは廃止
+  gantt serve --port <port> [--scope live|all]  # 動的表示。opt-in済みplanは工程図と別の構造検査面を持つ
   phase status --plan <key>
 
 Write commands:
@@ -97,7 +99,7 @@ Write commands:
         # 既定は全ready同時dispatch。直列にするには理由の申告後、再考を経て --serial-confirmed が要る
   block --plan <key> --task <id> --reason <text>
   unblock --plan <key> --task <id>
-  done --plan <key> --task <id> --evidence <file>
+  done --plan <key> --task <id> --evidence <file>  # 構造対象taskはfresh realizationを要求する
   reopen --plan <key> --task <id> --reason <text> [--override-reason <text>]
   evidence promote --plan <key> --task <id> --evidence <file>
   dependency connect --from-plan <key> --from-task <id> --to-plan <key> --to-task <id> --reason <text>
@@ -105,6 +107,16 @@ Write commands:
   independence compile --plan <key> --input <file>  # witness setとsensorから並列可否を記録する
   independence witness migrate --plan <key>  # revision後の宣言をtask migrationで写す
   independence witness scaffold --plan <key> --input <draft>  # 下書きとfresh観測から宣言を書き出す
+  structure input --plan <key> --input <file> --dry-run --json
+      # plan identity・topology・unfinished task coverage・baseline祖先を無変更で検査する
+  structure input --plan <key> --input <file>
+      # 検査済みplanned sourceをcanonical refへ保存する。compile成功までは有効化しない
+  structure compile --plan <key> --input <file>
+      # source graph・Git provenance・ToDo DAGを結合する。consistent時だけplanへimmutableに有効化する
+  structure realize --plan <key> --task <id> --input <file>
+      # 実装後の構造をappend-onlyで記録してからtodo doneへ進む
+  structure finalize --plan <key> --json
+      # 全対象task完了後、最終HEADと全realizationを再結合する。fresh consistentだけterminal受理へ進む
   seam-proposal compile --plan <key>  # 並列可否記録と実sensorからseam提案を記録する
   seam-proposal apply --plan <key>  # 記録済み提案を隔離worktreeで適用し五条件で採否を決める
   seam-proposal land --plan <key> --names <file>  # 採用された変換を本ツリーへ着地させる
@@ -112,7 +124,7 @@ 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
+  <revise|revise-phase|revise-set|migrate|structure> --schema --json
       # 実際に受理する最新契約のJSON Schemaを返す（storeを読まない）。
       # 入力が契約に合わないときは、違反フィールドのpathがerror detailへ載る
   phase review --plan <key> --phase <id> --reason <text>
@@ -224,6 +236,7 @@ const SUBCOMMAND_USAGE = Object.freeze({
   '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 structure': 'todo structure --schema --json | [--plan <key>] --json | input --plan <key> --input <file> [--dry-run --json] | compile --plan <key> --input <file> | realize --plan <key> --task <id> --input <file> | finalize --plan <key> --json',
   'todo seam-profile': 'todo seam-profile --plan <key> --file <path> [--json]',
   'todo seam-proposal': 'todo seam-proposal [--plan <key>] [--json] | compile --plan <key>',
   'todo verify': 'todo verify [--plan <key>] [--json]',

package/src/dag-chain.mjs

@@ -259,3 +259,40 @@ export function analyzeDagChains(
     topologicalOrder: order,
   };
 }
+
+/**
+ * 既存DAG正本と同じnormalize／cycle判定を使い、要求されたpairだけの到達性を返す。
+ * structure overlayが独自のnode／edge検証やcycle algorithmを持たないための狭い公開面。
+ */
+export function analyzeDagReachability(nodes, edges, pairs) {
+  if (!Array.isArray(pairs)) {
+    throw new DagChainError('DAG_INVALID_REACHABILITY_PAIRS', 'pairs must be an array');
+  }
+  const graph = normalizeGraph(nodes, edges);
+  topologicalOrder(nodes, graph.successors, graph.predecessors);
+  const nodeSet = new Set(nodes);
+  for (const pair of pairs) {
+    if (!Array.isArray(pair) || pair.length !== 2
+      || !nodeSet.has(pair[0]) || !nodeSet.has(pair[1])) {
+      throw new DagChainError(
+        'DAG_INVALID_REACHABILITY_PAIRS',
+        'each pair must be a [from, to] using graph nodes',
+      );
+    }
+  }
+  const reachedBySource = new Map();
+  for (const [from] of pairs) {
+    if (reachedBySource.has(from)) continue;
+    const reached = new Set([from]);
+    const pending = [from];
+    for (let cursor = 0; cursor < pending.length; cursor += 1) {
+      for (const successor of graph.successors.get(pending[cursor])) {
+        if (reached.has(successor)) continue;
+        reached.add(successor);
+        pending.push(successor);
+      }
+    }
+    reachedBySource.set(from, reached);
+  }
+  return pairs.map(([from, to]) => reachedBySource.get(from).has(to));
+}

package/src/project-cli.mjs

@@ -19,6 +19,7 @@ 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 { readTodoStructureFinalizationsForStatus } from './todo-structure-store.mjs';
 import { isTodoIndependenceLegacyMarker } from './todo-independence-contracts.mjs';
 import { selectIndependenceGuidance } from './todo-independence-guidance.mjs';
 import { ensureTodoDashboardActivity } from './todo-dashboard-registry.mjs';
@@ -273,6 +274,7 @@ async function resolveProjectState({ cwd, cliVersion }) {
     const todo = projectTodoStatus(store, {
       planNotes: await readTodoPlanNotesForStatus({ repoRoot, store }),
       parallelCandidates: await readTodoParallelCandidatesForStatus({ repoRoot, store, gitHead }),
+      structureFinalizations: await readTodoStructureFinalizationsForStatus({ repoRoot, store }),
     });
     const activeRuns = todo.active_set.map((entry) => ({
       plan_key: entry.plan_key, task_id: entry.task_id, label: entry.label,
@@ -283,14 +285,18 @@ async function resolveProjectState({ cwd, cliVersion }) {
       : todo.next_ready.length > 0
         ? { command: `lattice todo start --plan ${todo.next_ready[0].plan_key} --task ${todo.next_ready[0].task_id}${todo.next_ready.length > 1 ? ' --parallel-frontier' : ''}`,
           reason: todo.next_ready.length > 1 ? 'parallel_frontier_present' : 'next_ready_present' }
-        // 監査待ちが在る限り「残作業なし」と答えない。優先順位はactive_run > next_ready >
-        // audit_pending > なしで、ready frontierが在る間はADR 0063の並列開始コマンドが勝つ
+        // 監査／構造finalization待ちが在る限り「残作業なし」と答えない。優先順位は
+        // active_run > next_ready > structure finalization > audit_pending > なし。
+        // ready frontierが在る間はADR 0063の並列開始コマンドが勝つ
         // ——ここを監査で上書きするとdispatchが再直列化する。監査待ちはtodo statusの
         // audit_pending欄に常在するので、順位を下げても消えない。
         // commandはverbatim実行可能で読み取り専用のものにする。`phase review`は
         // `--reason <text>`のplaceholderを含みjournalを書き換えるので置かない
         // （`todo phase status`の結果には既に両分岐のguidanceが載っている）。
-        : todo.audit_pending.length > 0
+        : todo.structure_finalization_pending.length > 0
+          ? { command: todo.structure_finalization_pending[0].next_commands[0],
+            reason: 'structure_finalization_pending' }
+          : todo.audit_pending.length > 0
           ? { command: `lattice todo phase status --plan ${todo.audit_pending[0].plan_key}`,
             reason: 'audit_pending' }
           : { command: 'lattice todo status', reason: 'no_ready_task' };

package/src/runtime-pull-intake.mjs

@@ -681,8 +681,10 @@ export async function intakePullTask({ repoRoot, runDir, taskId, environment = p
           affected_tests: [], graph_evidence: [], witness_provenance: {}, manifest_digest: '',
         };
         manifest.manifest_digest = selfDigest(manifest, 'manifest_digest');
-        verdict.state = 'hold'; verdict.reason = 'boundary_unverified';
-        verdict.next_action = 'declare_and_recompile'; verdict.detail = { cause: error.code };
+        if (verdict.state !== 'hold') {
+          verdict.state = 'hold'; verdict.reason = 'boundary_unverified';
+          verdict.next_action = 'declare_and_recompile'; verdict.detail = { cause: error.code };
+        }
       }
       const constraint = verdict.state === 'none'
         ? planningConstraint(verdict.artifact, taskId, state, member) : null;
@@ -760,8 +762,10 @@ export async function intakePullTask({ repoRoot, runDir, taskId, environment = p
         affected_tests: [], graph_evidence: [], witness_provenance: {}, manifest_digest: '',
       };
       manifest.manifest_digest = selfDigest(manifest, 'manifest_digest');
-      verdict.state = 'hold'; verdict.reason = 'boundary_unverified';
-      verdict.next_action = 'declare_and_recompile'; verdict.detail = { cause: error.code };
+      if (verdict.state !== 'hold') {
+        verdict.state = 'hold'; verdict.reason = 'boundary_unverified';
+        verdict.next_action = 'declare_and_recompile'; verdict.detail = { cause: error.code };
+      }
     }
     const packet = packetFor({ meta: current.meta, taskId, baseSha, manifest });
     const worktreePath = await ensureScriptedWorktree({ repoRoot, runDir, packet });

package/src/sensor-adapter.mjs

@@ -277,7 +277,7 @@ async function resolveExactSymbol({ cwd, target, execute }) {
 }
 
 async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
-  const { id, operation, target } = query;
+  const { id, operation, target, exact_path: exactPath } = query;
   if (!OPERATIONS.has(operation)) {
     return { id, operation, outcome: 'unsupported' };
   }
@@ -332,6 +332,11 @@ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
   if (operation !== 'status' && (typeof target !== 'string' || target.length === 0)) {
     return { id, operation, outcome: 'unresolved' };
   }
+  if (Object.hasOwn(query, 'exact_path')
+    && (!['callers', 'callees'].includes(operation)
+      || typeof exactPath !== 'string' || exactPath.length === 0 || path.isAbsolute(exactPath))) {
+    return { id, operation, target, outcome: 'unresolved' };
+  }
 
   const command = {
     operation,
@@ -343,7 +348,8 @@ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
     args: operation === 'status'
       ? ['status', '.', '--json']
       : ['callers', 'callees'].includes(operation)
-        ? [operation, target, '--path', '.', '--limit', '200', '--json']
+        ? [operation, target, '--path', '.', '--limit', '200',
+          ...(exactPath === undefined ? [] : ['--exact-path', exactPath]), '--json']
         : [operation, target, '--path', '.', '--json'],
   };
   const result = await executeCommand(execute, command);

package/src/todo-chain.mjs

@@ -90,11 +90,7 @@ function normalizeOptions(options) {
   return { countCap, representativeLimit };
 }
 
-export function projectTodoChainV1(
-  mergedTodoTopology,
-  options,
-) {
-  const { countCap, representativeLimit } = normalizeOptions(options);
+function normalizeTodoTopology(mergedTodoTopology) {
   if (!isPlainObject(mergedTodoTopology)) {
     fail('TODO_CHAIN_INVALID_TOPOLOGY', 'mergedTodoTopology must be an object');
   }
@@ -145,6 +141,24 @@ export function projectTodoChainV1(
       );
     }
   }
+  return { refsByKey, edges };
+}
+
+/** structure等の消費側が同じToDo node／edge正本を使うためのlossless投影。 */
+export function projectTodoTopologyDagV1(mergedTodoTopology) {
+  const { refsByKey, edges } = normalizeTodoTopology(mergedTodoTopology);
+  return {
+    nodes: [...refsByKey].map(([key, ref]) => ({ key, ref: { ...ref } })),
+    edges: edges.map(([from, to]) => ({ from, to })),
+  };
+}
+
+export function projectTodoChainV1(
+  mergedTodoTopology,
+  options,
+) {
+  const { countCap, representativeLimit } = normalizeOptions(options);
+  const { refsByKey, edges } = normalizeTodoTopology(mergedTodoTopology);
 
   let analysis;
   try {