Remove Composition Invariant = Is_persistent_validity: is_persistent implies context = Void.
Probably the simplest solution is to relax the Invariant but one other approach is to add another episode_persistent category which instructs the implementer to use persistent-type commit strategy but without removing context.
I support removal of the invariant, we are currently forced to use event compositions for facility based persistent compositions.
If the need is there, I agree we should relax the invariant
I agree to remove the constraint and add a explanation to the specs where it is recommended (or more common) to use or not use the context for persistent compose, so implementers have some kind of guidance (less constraints = more freedom points = interpretation dependency = might lead to implementation issues).
I've now moved SPECRM-26, which addresses this, into Release-1.0.4