I worry that this won’t have the effect you want. Some of the worst software I’ve ever used met all aspects of its specification because “be pleasant to use” could not be meaningfully captured in a formal spec.

I’m not sure what the solution to bad software is, but I don’t think it’s making the spec higher stakes.