だいぶ考えがまとまってきました。 Rock Ridgeでは実際のファイル名とファイルIDが異なるため、ディレクトリレコードのファイルIDに基づく二分探索ができません。 このため、rock_ridge_file_sourceはディレクトリのトラバースに二分探索を使わないで済むよ…