Notice that, the quoted RFC does not state the resource is not inaccessible after the operation, only that it is intended to be.
And perhaps I'm talking out of my ass, but the number of DELETE operations is likely vanishingly small for HTTP resources.
> That is, DELETE can be semantically correct, but POST would be more so.
DELETE is both more specific about intent and more specific about the idempotence of the operation, so, no, POST would be less semantically correct for any operation where DELETE is semantically correct.
> Notice that, the quoted RFC does not state the resource is not inaccessible after the operation, only that it is intended to be.
Actually, it says that success (2xx) series codes should not be returned unless the server intends to complete the operation, and further specifies that that 200/204 codes indicate that it has enacted the operation (differing in whether a response body is included) and 202 indicates that it has accepted the request but not enacted the operation yet.
> unless the server intends to complete the operation
A gerund; it intends to, without any guarantee of recency, to perform the operation. The very same problem that required the operation to be idempotent; it can't be guaranteed the operation is already done, only that it intends to complete in time. A 200 will only describe the status and does not require the description to be "deleted."
So what? All of that is consistent with the semantics of HTTP's DELETE method. From RFC 2616:
If you are going to say that the semantics of an HTTP method are not right for a particular scenario, there should be something in your description of the scenario that is inconsistent with the semantics of the HTTP method in question.