> top-level binding that has not been
> introduced by a definition

この文ちゃんと訳すと
「(define使った関数)定義で導入されなかったトップレベルの束縛」
かな〜と思ってたんで、>>592は何を疑問に思ったのか判らんかった。

今回の現象(処理系依存の実装)も、そう直感に反する動きをしてないっぽいし。