依存はグラフ — import が解決される形

巡回の形は実機の出力に出ます。root が mid1 と mid2 を、両方が leaf を import する菱形です。

=== 5. DFS evaluation order. graph: root -> mid1 -> leaf, root -> mid2 -> leaf ===
--- node d_root.mjs ---
EVAL: leaf
EVAL: mid1
EVAL: mid2
EVAL: root
EVAL: root body
exit=0

読み取れることが2つあります。順序が後行順です。root の本文が走る前に依存が全部終わっており、奥へ降りきってから戻りながら片付ける DFS の形が出ています。

もう1つ。EVAL: leaf が1回しか出ていません。 2箇所から import されているのに評価は1回。合流があるグラフでは、訪問済みを覚えないと同じ頂点を何度も処理します。仕様の step 2 と同型の門番が、評価側にも効いています。

同じ形の循環を2通り組みました。違うのは、跨いで読むものが export let の値か関数宣言かだけです。

=== 2. ESM cycle: node main.mjs ===
b.mjs starting
file:///w/b.mjs:4
console.log('in b.mjs, aDone =', aDone);
                               ^
 
ReferenceError: Cannot access 'aDone' before initialization
  at file:///w/b.mjs:4:34
  at ModuleJob.run (node:internal/modules/esm/module_job:561:25)
(以下略)
exit=1
 
=== 4. ESM cycle with function declarations (hoisted): node main2.mjs ===
b2 start
b2 calls aFn: a
b2 done
a2 start
a2 calls bFn: b
a2 done
main2 start
main2 end
exit=0
 
=== 1. CommonJS cycle: node main.js ===
main starting
a starting
b starting
in b, a.done = false
b done
in a, b.done = true
a done
in main, a.done = true, b.done = true
exit=0

真ん中の実行では b2 calls aFn: a と、循環の相手の関数を正常に呼べています。 最後まで走り切って exit=0。リンクは成功しており、循環は弾かれていません。

上が落ちたのは、まだ初期化されていない束縛を読んだからです。Cannot access 'aDone' before initialization — 名前が無いのではなく、まだ値が入っていない。原因は TDZ(初期化前アクセス)です。なお b.mjs starting が先に出ている点も DFS の証拠です。

一番下は同じ循環を CommonJS で組んだもの(入力は Node.js v24 docs の Cycles 節のコードそのまま。出力は docs の予告と1バイト違わず一致)。未完成の姿を渡したまま、エラーも警告も出さず exit=0 です。

esbuild 0.25.10 で確かめます。lib.js に used / unusedA / unusedB の3関数を置き、entry.js は used だけを import。unusedB は unusedA を呼びます。

(() => {
// lib.js
function used() {
  return "USED";
}
 
// entry.js
console.log(used());
})();

unusedA も unusedB も消えました。 unusedB が unusedA を呼ぶので unusedA には「呼び出し元がある」ように見えますが、unusedB 自体がどこからも到達されないため、両方まとめて到達不能になります。到達可能性は推移的です。仕様が Link を transitively resolving all module dependencies と書いたときの推移と同じ語です。

同じ形を CommonJS で書くと結果が変わります。

  var require_lib = __commonJS({
  "lib.cjs"(exports) {
    exports.used = function() {
      return "USED";
    };
    exports.unusedA = function() {
      return "UNUSED_A";
    };
  }
});
 
// entry-cjs.js
var { used } = require_lib();
console.log(used());

unusedA が丸ごと残り、中身は __commonJS というラッパー関数に包まれています。どの名前が使われるか実行するまで確定しないので、残して実行時に解決するしかないという形です。