This sounds like a wonderful FEP!
This article published two weeks ago mentions the issue (highlight mine) ..
Another example I personally encountered was a frustrating issue while implementing ActivityPub for this blog: updating a post propagated to Lemmy but not Mastodon. Despite the
Update
activity being accepted, Mastodon silently rejected it unless theupdated
timestamp changed—a logical but unofficial requirement. Developers must track down subtle implementation details that aren't formally documented, significantly complicating adoption and usage.

ActivityPub: The Good, the Bad and the Ugly | Blog by Dominik Chrástecký
ActivityPub is the best protocol available for interoperable federated social media—primarily because no other current federated protocols target social media, offer interoperability, and aren't deprecated.

(chrastecky.dev)
I'd write it off as a Mastodon-ism, but it's actually better to have that property present, so now it is.
So one that's becoming de-facto standard. Ideally if Mastodon introduces such logic, it is up to them to remember to inform the broader developer community via a FEP.
---
Aside: "If all we have is a Note .. "
Overall it is such a pity that everything is to be a Note
or else.. And the default pragmatic urge of most devs is to assign app-specific business logic to an existing or custom property within it, to create all the behavioral flavors. And then call it a day "my app works" and throw the protocol decay out in the ecosystem.
There are other improvements regarding revision control as long-time open issues, see e.g. @trwnh's https://socialhub.activitypub.rocks/t/exposing-edit-history-via-activitystreams/2930 (mastodon issue # dd. January 2023). In this issue @stevebate suggests previousversions
from the ForgeFed Vocabulary.
What do we do when we "Edit a Note
"? Is using the CRUD of ActivityStreams really the best option, or are we really "Creating a Revision
". Shouldn't ActivityPub have a proper way to Revision Control across the board?
If my new Fediverse app included both editable and non-editable posts, how I'd hack that in on top of the current mechanism? Just pondering this. It seems we go out of our way not to use the extension mechanism of ActivityPub as it was intended to be used, cramming everything in NoteCrud. Is that official best-practice for the future fediverse now, I wonder.
Many more examples seen in discussions. The ActivityPub specs state that you may ditch JSON-LD for plain JSON, but doesn't say that the whole idea of a semantic type model should be thrown out of the window as well. In https://socialhub.activitypub.rocks/t/distinguish-between-posts-and-direct-messages/2283 the example is people going out of their way not to define ChatMessage
in favor of Note
+ property-logic.