This paper supplies proposed working-draft wording for the invalidation profile described in the design paper "An invalidation profile", P4418R0 [BS'26c]. The design paper states what the profile guarantees and why; this paper states the rules in the form the working draft needs, so that the two can be reviewed together and the wording can be handed to CWG and LWG once the design is approved. The wording is written against the current C++29 working draft N5054 and the profile framework of P3589R3. A companion paper, "Proposed wording for the initialization profile" [MW'26a], does the same for the initialization profile and shares its clause structure with this one.