procedure?は評価されるとclosure。
call/ccはそのclosureに現在の継続を第一引数として渡し呼び出す。
継続は「手続き」なので#tが返る。

まっとうな処理系ならlist?でも#fが返るだけでエラーにはならないはず。