Emitting missing accounts in simulation is basically the same as listing them in the IDL. Once branching enters, it really just calls for a language to express account requirements — which is the same idea I’ve outlined.
1 Like