I think that this proposal is either premature or not needed.  (But did you have anything specific in mind.)  As you indicated, there are two separate subissues here.

1. NotImplemented: Issue 35712 added "It should not be evaluated in a boolean context" to its entry in Library/constant.rst, followed by the notice of deprecation and intended removal. I don't think we should document the possible future change a second time elsewhere.

I agree that if and when NotImplemented becomes an exception and 'bool(NotImplemented)' fails, then the exception should be added sentence you quoted.  But I think it possible that the warning will be left indefinitely (and think it should be) and would instead propose that the claim of future removal be removed.

2. 2nd and 3rd party invalidation:  I believe that several claims can be invalidated if one used special methods in ways not intended.  The all have the unwritten caveat 'as long as special methods are not abused'.  We have so far intentionally not added special mention of all such possible breakages.