@quolu/lattice 0.32.0 → 0.34.0

package/src/seam-rewrite.mjs

@@ -21,6 +21,10 @@ function fail(reasons) {
  *
  * 複数行importがあるので`from '...'`で終わる行までを1文とする。束縛名は、移した先で
  * どのimportが要るかを語単位で判定するために使う。
+ *
+ * **書き換え本体はこれを使わない（sc-013）。** planSeamRewriteのimport面はsensorの
+ * AST観測（`joinImportSurface`）から受け取る。この正規表現走査が残っているのは
+ * seam-costのprofile投影（ESM限定とconfidenceで申告済み）のためだけである。
  */
 export function scanImportStatements(lines) {
   const statements = [];
@@ -41,7 +45,7 @@ export function scanImportStatements(lines) {
   return { statements, endIndex: statements.length === 0 ? -1 : statements.at(-1).end };
 }
 
-function importBindings(text) {
+export function importBindings(text) {
   const bindings = [];
   const namespace = /import\s+\*\s+as\s+([A-Za-z_$][\w$]*)/u.exec(text);
   if (namespace) bindings.push(namespace[1]);
@@ -59,10 +63,39 @@ function importBindings(text) {
 }
 
 /** 語として現れるか。string中やcomment中の一致も拾うが、余分なimportは害にならない。 */
-function mentions(text, name) {
+export function mentions(text, name) {
   return new RegExp(`(?<![\\w$])${name.replace(/[$]/gu, '\\$$')}(?![\\w$])`, 'u').test(text);
 }
 
+/**
+ * sensorの観測（`file-nodes`の`imports`と`import_bindings`）をimport文単位へ束ねる（sc-013）。
+ *
+ * importsは文の行範囲、import_bindingsは束縛ごとの`{local, form, imported, line}`で、
+ * 両者は行番号で結合できる（解決済み束縛はedge metadata、builtin等の未解決束縛は
+ * unresolved_refs由来——どちらもAST抽出であり、正規表現の再実装ではない）。
+ * どの文にも入らない束縛は`unassigned`として返し、黙って捨てない。
+ *
+ * @returns {{statements: Array<{startLine:number,endLine:number,bindings:string[]}>, unassigned: string[]}}
+ */
+export function joinImportSurface(importNodes = [], importBindings = []) {
+  const statements = importNodes
+    .filter((node) => Number.isSafeInteger(node?.startLine) && Number.isSafeInteger(node?.endLine)
+      && node.startLine >= 1 && node.endLine >= node.startLine)
+    .map((node) => ({ startLine: node.startLine, endLine: node.endLine, bindings: [] }))
+    .sort((left, right) => left.startLine - right.startLine);
+  const unassigned = [];
+  for (const binding of importBindings) {
+    if (typeof binding?.local !== 'string' || binding.local === '') continue;
+    const owner = Number.isSafeInteger(binding.line)
+      ? statements.find(({ startLine, endLine }) => binding.line >= startLine && binding.line <= endLine)
+      : undefined;
+    if (owner === undefined) { unassigned.push(binding.local); continue; }
+    if (!owner.bindings.includes(binding.local)) owner.bindings.push(binding.local);
+  }
+  for (const statement of statements) statement.bindings.sort(compareText);
+  return { statements, unassigned: [...new Set(unassigned)].sort(compareText) };
+}
+
 /**
  * 宣言の範囲を直前の連続コメント行まで広げる。
  *
@@ -85,28 +118,44 @@ function exportedBlock(raw) {
   return parts.join('\n');
 }
 
-/** 原pathでexport宣言だったか。移動先でexportを足したかではなく、元の姿を見る。 */
-function wasExported(raw) {
-  const declaration = raw.split('\n')
-    .find((line) => !COMMENT_LINE.test(line) && line.trim() !== '');
-  return declaration !== undefined && /^\s*export\s/u.test(declaration);
-}
+// 原pathでexport宣言だったかは、text走査でなくsensorのisExported（AST事実）で判定する
+// （sc-013）。extentと同じくfile-nodes由来で、symbolExtentsの各entryが持って来る。
 
-function relativeSpecifier(fromPath, toPath) {
-  const fromDir = fromPath.slice(0, fromPath.lastIndexOf('/') + 1);
-  return toPath.startsWith(fromDir) ? `./${toPath.slice(fromDir.length)}` : `./${toPath}`;
+/**
+ * repo相対path同士から、ESMが解決できる相対specifierを作る。
+ *
+ * 以前は行き先がfromの配下でない時に`./<repo相対>`を返しており、親ディレクトリや兄弟
+ * ディレクトリへの移動で**解決不能なspecifier**を生成していた（`src/a/x.mjs`→`src/b/y.mjs`で
+ * `./src/b/y.mjs`）。segment単位で共通prefixを外し、残りを`../`で遡って組み立てる。
+ */
+export function relativeSpecifier(fromPath, toPath) {
+  const fromSegments = fromPath.split('/').slice(0, -1);
+  const toSegments = toPath.split('/');
+  let shared = 0;
+  while (shared < fromSegments.length && shared < toSegments.length - 1
+    && fromSegments[shared] === toSegments[shared]) shared += 1;
+  const ascent = '../'.repeat(fromSegments.length - shared);
+  const descent = toSegments.slice(shared).join('/');
+  return ascent === '' ? `./${descent}` : `${ascent}${descent}`;
 }
 
 /**
  * 三面の変換後textを作る。
  *
+ * import面と各symbolのexport状態はsensorの観測を入力として受け取る（sc-013）。
+ * ここで正規表現によるimport再解析を行わない——言語理解はsensorが所有し、
+ * ここは決まった移動のtext組み立てだけを持つ。観測が無ければtyped理由で止める。
+ * 唯一残るtext走査は直前コメント行の巻き込み（extendUpward）で、sensorはcomment行の
+ * 範囲を記録しないため、これはtext組み立ての一部として保持する。
+ *
  * @param {object} options
  * @param {string} options.sourceText 原pathの現在の内容
  * @param {object} options.candidate `lattice.bounded_seam_candidate.v2`
- * @param {object} options.symbolExtents symbol名 -> `{startLine, endLine}`（1始まり・両端含む）
+ * @param {object} options.symbolExtents symbol名 -> `{startLine, endLine, isExported}`（1始まり・両端含む）
+ * @param {object} options.importSurface `joinImportSurface`の結果（`{statements, unassigned}`）
  * @returns {{files: object|null, reasons: string[]}} pathごとの変換後text
  */
-export function planSeamRewrite({ sourceText, candidate, symbolExtents } = {}) {
+export function planSeamRewrite({ sourceText, candidate, symbolExtents, importSurface } = {}) {
   if (typeof sourceText !== 'string' || sourceText.length === 0) return fail(['empty_source']);
   const lines = sourceText.split('\n');
   const surfaces = candidate?.surfaces ?? [];
@@ -124,8 +173,12 @@ export function planSeamRewrite({ sourceText, candidate, symbolExtents } = {}) {
         || extent.endLine < extent.startLine) {
         return fail([`symbol_extent_missing:${symbol}`]);
       }
+      // export状態はAST事実として要求する。無ければ推測せず止める（確実の門）。
+      if (typeof extent.isExported !== 'boolean') {
+        return fail([`symbol_export_status_missing:${symbol}`]);
+      }
       blocks.push({
-        symbol, path: surface.path, end: extent.endLine,
+        symbol, path: surface.path, end: extent.endLine, exported: extent.isExported,
         start: extendUpward(lines, extent.startLine),
       });
     }
@@ -138,7 +191,40 @@ export function planSeamRewrite({ sourceText, candidate, symbolExtents } = {}) {
     }
   }
 
-  const { statements, endIndex } = scanImportStatements(lines);
+  // import面はsensorの観測から。観測が無い・束縛の帰属が決まらない・importが先頭block
+  // の外にある——いずれも「たぶん大丈夫」で進まず、typed理由でAIへ渡す。
+  if (importSurface === null || typeof importSurface !== 'object'
+    || !Array.isArray(importSurface.statements)) {
+    return fail(['import_surface_missing']);
+  }
+  if (Array.isArray(importSurface.unassigned) && importSurface.unassigned.length > 0) {
+    return fail(importSurface.unassigned.map((name) => `import_binding_unassigned:${name}`));
+  }
+  const statements = [];
+  let cursor = 1;
+  for (const entry of [...importSurface.statements]
+    .sort((left, right) => left.startLine - right.startLine)) {
+    if (!Number.isSafeInteger(entry.startLine) || !Number.isSafeInteger(entry.endLine)
+      || entry.startLine < 1 || entry.endLine > lines.length || entry.endLine < entry.startLine
+      || !Array.isArray(entry.bindings)) {
+      return fail(['import_surface_missing']);
+    }
+    if (entry.startLine < cursor) return fail([`import_statement_ambiguous:${entry.startLine}`]);
+    for (let line = cursor; line < entry.startLine; line += 1) {
+      const text = lines[line - 1];
+      if (text.trim() !== '' && !COMMENT_LINE.test(text)) {
+        // 先頭block外のimport（ESMでは合法）は、残余headerの組み立てが機械では確実に
+        // できない。整形で解こうとせず止める。
+        return fail([`import_below_header:${entry.startLine}`]);
+      }
+    }
+    statements.push({
+      text: lines.slice(entry.startLine - 1, entry.endLine).join('\n'),
+      bindings: entry.bindings.filter((name) => typeof name === 'string' && name !== ''),
+    });
+    cursor = entry.endLine + 1;
+  }
+  const endIndex = cursor - 2;
   if (blocks.some((block) => block.start <= endIndex + 1)) {
     return fail(['symbol_inside_import_block']);
   }
@@ -152,7 +238,7 @@ export function planSeamRewrite({ sourceText, candidate, symbolExtents } = {}) {
     const raw = lines.slice(block.start - 1, block.end).join('\n');
     if (!bodyByPath.has(block.path)) bodyByPath.set(block.path, []);
     bodyByPath.get(block.path).push(exportedBlock(raw));
-    if (wasExported(raw)) {
+    if (block.exported) {
       if (!reExportByPath.has(block.path)) reExportByPath.set(block.path, []);
       reExportByPath.get(block.path).push(block.symbol);
     }

package/src/seam-verification.mjs

@@ -23,6 +23,10 @@ const sortedUnique = (values) => [...new Set(values)].sort(compareText);
  * 分割で外部の消費者が影響を受けるかは、原pathの公開面が変わったかで決まる。原pathが
  * 同じ名前を同じだけ出し続けるなら、原pathをimportしている側は一行も変わらない
  * （ADR 0137 Decision 3）。
+ *
+ * **ESM構文（`export function` / `export {}`）を正規表現で読むJS/TS限定の検査である。**
+ * 他言語のsourceに対しては公開名を1つも読めず、比較は実質空になる——「検証済み」を
+ * 主張しない（ADR 0145）。言語非依存の網は切断参照の計数（`severed`観測）が担う。
  */
 export function readExportSurface(text) {
   if (typeof text !== 'string') return [];
@@ -149,19 +153,38 @@ const CONDITIONS = Object.freeze([
  * @param {{preserved: boolean, missing: string[]}} options.exportSurface 公開面の比較
  * @param {boolean} options.focusedTestsPassed 変換後worktreeでのfocused test結果
  * @param {boolean} options.sensorFresh 変換後の再indexが新pathを収載したか
+ * @param {{observed: boolean, entries: Array<{file: string, name: string}>}|null} options.severed
+ *   切断参照の観測（ADR 0145）。`null`はfresh indexへ到達しなかった時で、その場合は
+ *   sensor_freshが先に落ちる。`observed: false`は観測の失敗であり「切断なし」へ丸めない。
  * @param {{targetResolved: boolean, before: number, after: number}} options.conflictPairs 競合対の増減
  * @param {{before: number|null, after: number|null}} options.waves 実行段階数の増減
+ *
+ * behavior_equivalentは2つの観測の合成である。(1) export面の比較——**ESM構文を正規表現で
+ * 読むのでJS/TS限定**。他言語のsourceに対しては常にpreservedを返す実質空の検査であり、
+ * 「検証済み」を主張しない。(2) 切断参照の計数——fresh indexのsymbol一覧に立つので、
+ * sensorが抽出できる言語なら効く。網の言語非依存部はこちらが担う。
  */
 export function evaluateSeamVerification(options = {}) {
   const {
-    exportSurface, focusedTestsPassed, sensorFresh, conflictPairs, waves,
+    exportSurface, focusedTestsPassed, sensorFresh, conflictPairs, waves, severed = null,
   } = options;
   const detail = {};
   const failures = [];
 
-  detail.behavior_equivalent = exportSurface?.preserved === true;
+  const surfacePreserved = exportSurface?.preserved === true;
+  // severedがnullのままここへ来るのはsensor_freshが落ちる経路だけ。fresh indexに到達したのに
+  // 観測が組めなかった（observed: false）は、切断なしではなく観測の欠落として落とす。
+  const severedObserved = severed === null || severed.observed === true;
+  const severedEntries = severed?.entries ?? [];
+  detail.behavior_equivalent = surfacePreserved && severedObserved && severedEntries.length === 0;
   if (!detail.behavior_equivalent) {
-    failures.push(`behavior_equivalent:${(exportSurface?.missing ?? []).join(',') || 'unknown'}`);
+    if (!surfacePreserved) {
+      failures.push(`behavior_equivalent:${(exportSurface?.missing ?? []).join(',') || 'unknown'}`);
+    }
+    if (!severedObserved) failures.push('behavior_equivalent:severed_observation_missing');
+    for (const entry of severedEntries) {
+      failures.push(`behavior_equivalent:severed_reference:${entry.file}:${entry.name}`);
+    }
   }
 
   detail.focused_tests_passed = focusedTestsPassed === true;

package/src/sensor-adapter.mjs

@@ -333,9 +333,14 @@ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
     operation,
     target,
     cwd,
+    // callers/calleesはCLI既定の20件で黙って切られる。fanoutの大きい関数では
+    // module値への参照（valueRef）が窓の外へ落ち、閉包が「完結した」と誤認する
+    // ——観測の打ち切りを「無い」へ丸めない。明示limitで引く。
     args: operation === 'status'
       ? ['status', '.', '--json']
-      : [operation, target, '--path', '.', '--json'],
+      : ['callers', 'callees'].includes(operation)
+        ? [operation, target, '--path', '.', '--limit', '200', '--json']
+        : [operation, target, '--path', '.', '--json'],
   };
   const result = await executeCommand(execute, command);
   if (result.code !== 0) {

package/src/todo-cli.mjs

@@ -861,6 +861,56 @@ async function independence({ repoRoot, requestedPlanKey }) {
   return result;
 }
 
+/**
+ * 切断コストの内訳を投影する（read-only、docs/plan_seam-cost.md）。
+ *
+ * 係争fileについて「何を共有しているから単純に切れないのか」を数えられる事実として出す。
+ * task別のsymbol帰属はwitness setのconcern_anchorsから取る——係争資源に対する宣言は
+ * そこに既に在り、ここで発明しない。閾値も可否判定も返さない。
+ *
+ * 投影であって記録ではない。sensorが進めば変わる値なので、artifactへ焼き込まず
+ * stdoutへ返すだけにする（ADR 0127のindependence記録と同じ線）。
+ */
+async function seamProfile({ repoRoot, planKey, filePath }) {
+  const witnessSet = await readTodoWitnessSet({ repoRoot, planKey });
+  if (witnessSet === null) {
+    throw new TodoStoreError('SEAM_PROFILE_UNAVAILABLE', 'witness_set_absent', undefined, {
+      plan_key: planKey, next_action: 'declare_witness_set',
+    });
+  }
+  const ownedSymbolsByTask = {};
+  for (const [taskId, witness] of Object.entries(witnessSet.manual_witness ?? {})) {
+    const symbols = (witness.concern_anchors ?? [])
+      .filter((anchor) => anchor.within?.target === filePath)
+      .flatMap((anchor) => anchor.symbols);
+    if (symbols.length > 0) ownedSymbolsByTask[taskId] = [...symbols].sort();
+  }
+  if (Object.keys(ownedSymbolsByTask).length < 2) {
+    // 帰属が2 task未満なら「切断のコスト」という問いが立たない。宣言が無いことを
+    // 空の内訳へ丸めず、何を書けば観測できるかを返す（ADR 0130の案内規律）。
+    throw new TodoStoreError('SEAM_PROFILE_UNAVAILABLE', 'concern_anchors_below_two_tasks', undefined, {
+      plan_key: planKey, file: filePath,
+      next_action: 'declare_concern_anchors_for_contested_file',
+    });
+  }
+  let sourceText;
+  try {
+    sourceText = await readFile(path.join(repoRoot, filePath), 'utf8');
+  } catch {
+    throw new TodoStoreError('SEAM_PROFILE_UNAVAILABLE', 'contested_file_unreadable', undefined, {
+      file: filePath,
+    });
+  }
+  const { computeSeamCostProfile } = await import('./seam-cost.mjs');
+  const { profile, reasons } = await computeSeamCostProfile({
+    repoRoot, sourcePath: filePath, sourceText, ownedSymbolsByTask,
+  });
+  if (profile === null) {
+    throw new TodoStoreError('SEAM_PROFILE_UNAVAILABLE', reasons[0] ?? 'profile_unavailable');
+  }
+  return profile;
+}
+
 async function seamProposalCompile({ repoRoot, planKey }) {
   requireCleanWorktree(repoRoot);
   const currentBaseSha = currentHeadSha(repoRoot);
@@ -1811,6 +1861,11 @@ export async function runTodoCli({ argv, cwd, stdout, stderr, env = process.env
       pathNames: await readSeamPathNames(repoRoot, argv[5]),
       land: true,
     });
+  } else if ((argv.length === 5 || argv.length === 6) && argv[0] === 'seam-profile'
+    && argv[1] === '--plan' && isTodoIdentifier(argv[2])
+    && argv[3] === '--file' && isTodoRef(argv[4])
+    && (argv.length === 5 || argv[5] === '--json')) {
+    action = (repoRoot) => seamProfile({ repoRoot, planKey: argv[2], filePath: argv[4] });
   } else if (argv.length === 4 && argv[0] === 'seam-proposal' && argv[1] === 'compile'
     && argv[2] === '--plan' && isTodoIdentifier(argv[3])) {
     action = (repoRoot) => seamProposalCompile({ repoRoot, planKey: argv[3] });