>>923
> ・value-initializeでなくてもコンストラクターの完了したら
>  construct完了になるというのはどこから読み取った?

「constructorが完了したらconstructedである」という、単語の関連から可能な解釈であって、
どこから読み取ったということは無い。
「initializationが完了したらinitializedである」とか「modificationの対象はmodified」とかそういうの。

> ・constructの十分条件でなく必要条件が
>  value-initializedとどこから読み取った?

型を限定せずオブジェクト一般について、"constructed"となる条件は、上記の解釈と
>910で挙げた特記事項により、「コンストラクタが完了した、またはvalue-initializedされた」
と、2つの十分条件があり、他には無い(見当たっていない)。unsigned charについて言えば
前者は成立し得ないので、後者が必要(必要十分条件)になると判断した。