@quolu/lattice 0.32.0 → 0.33.0

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] });