クイズ — add Opcode

add のシグネチャ（<IT: ITy, H: ?Sized>）、?Sized の役割、popn_top! 内の unwrap_unchecked がガード前提で UB にならない理由、cold_path() の実行時挙動、wrapping_add がコンセンサスに要求される理由、本体が Ok(()) だけを返す理由を確認する。

組み立てとマクロ抽出にまたがる設計判断を問う 5 問。クイズはうなずきで通せない。 2 問以上落としたら、ドリルへ進む前に「add をステップで組み立てる」と「マクロを抽出する」に戻ること。