Yeah, I'm with you and I'm not seeing much sense in the argument above.

We should only need to specify observable behavior... but observable behavior is so broad that it includes common defects... but also we shouldn't need to specify the lack of defects even though they are observable.

It feels like, "the AI should read my mind and do the right thing without me fully specifying it."