javascript - 「循環」参照はWeakMapの「到達可能性」として扱われますか?

Question

function f() {
  const w = new WeakMap();
  const o = {};

  w.set(o, { v: o });

  return w;
}

const weakMap = f();

指定されたコードについて、唯一のweakMap項目が到達可能と見なされるかどうか? したがって、ガベージコレクションされるかどうか。

PS: この質問は、特定の実装ではなく、仕様の観点から尋ねられます。