Executes a plan step by step, carrying values between calls (protocol v3)

Not tested yet: there is no evidence about this capability for this model in the store.

That gap is itself a result: it marks what we do not know.