長くなったのでgistで...

個人的には「仕様が怪しい気配がするが, 強いて言えばWEC: TFTである」という意見です.

RegExpのproperties of RegExp instancesを見ればわかりやすいのですが, instanceにpropertyがある場合はこのようなsectionに記述されます. で, 本来Errorもown propertyをきちんと書く必要があると思うのですが, properties of Error instanceはまさかのno special propertiesと言っています. ところが, Errorのconstructorのsectionでown propertyにsetするというように言っているので矛盾してるなあと思っており, で仕様が怪しいなあと思ったのです.
このspecialがinheritと言っているので, Error.prototypeにあるものと同じ名前上書きだから特に新しいものはないよーという意味で書いてあるなら一応筋が通りますが... RegExpのsectionと比べてちょっと怪しいなあという印象です.
ErrorはErrataでError#toStringの大規模変更やNativeErrorのconstructorのmessageのところに"own"が付け足されたり, 結構激しいので...

でも何も書いていない以上section 15の

Every other property described in this clause has the attributes { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true } unless otherwise specified.

に則りTFTなのではないかと思っています. 仕様が今のままで正しいとしても間違っているとしても, 何も指定していないということを鑑みれば, 現時点ではっきりと仕様厨が主張できるのはTFT案ではないかと. 仕様が間違っていて, Enumerable: trueなsectionが追加されるとなればひっくり返りますが...