Flutterにおいて、ターゲットプラットフォームごとの差異を吸収する抽象レイヤーの名前はどれか。

Riverpodにおいて、外部から値を変更できない「読み取り専用」の状態を提供するプロバイダはどれか。