https://www.w3.org/Consortium/Process/Drafts/snapshots/2023-04#registering-objections says

A record of each Formal Objection against a decision regarding a publicly-available document must be made publicly available

It would be good to describe when the record must be made public. This ambiguity caused a problem with the formal objections to the DID recommendation, when @tantek posted Mozilla's objection publicly, while we left Google's responses only member-visible. The Team decided to make the record public much later than I'd expected, which meant that @tantek and Mozilla took more of the blame than they should have.

This doesn't need to be fixed for Process 2023.