>sizeof(char) == 1
>sizeof(short int) >= 1
>なので符号さえ一致していれば、intにcharは収まる。

この例だと、それは正しい。
ただし、charとshortの関連についてはどこにも触れられてないはず。

char == 1byte
short >= 16bit
1byte == ローカルな文字セット内に１文字を保持しうる、とある。

1byte == 8bitとはどこにも触れられていない