I just realized that 'WITH RESULT VIEW' is for READ ONLY procedures - my mistake!
Conclusion: there really is no way to consume READ-WRITE procedures from a READ ONLY artifact, meaning that the entire call chain after a READ-WRITE procedure can only be other READ-WRITE procedures. Isnt this a kind of serious limitation?