何と言われてもオブジェクトはオブジェクトだよ。ボクシングされた。
ローカルスコープで宣言された値型は値がスタックという領域に取られる。
参照型は参照がスタックに、値はヒープに取られる。
ボクシングされると値のコピーがヒープに作られ、その参照がスタックに残る。
アンボクシングされるとヒープからスタックに値が再びコピーされる。

> また、上記 (B) の個所で Main の構造体の実態 s は変更不可なのでしょうか？
無理だね。
やりたきゃ ref/out を使うんだが、まあそう言う場合大抵は構造体を使うべきところじゃない場面だ。