Which pipeline model gives Roslyn the clearest stable value boundary?

Which pipeline model gives Roslyn the clearest stable value boundary?

1. A record containing the needed strings and Boolean options
2. A record containing the target `INamedTypeSymbol`
3. A class containing the complete `Compilation`
4. A fresh array of every syntax node in the project