Well, here is one thing I noticed. That green tint is not only the lighted areas, but the shadows. And there is a huge difference between the still from the film and that on set photo. In the still from the film, the set behind Leia and R2 is more neutral. In the on set photo, the set is the same color as the foreground. It is also not lit the same and the smoke machine is not on. That means it was from a very different take or a rehearsal.
What I think has happened is not that the original shot was intended to be so green, but that there was a slight green cast to it and the process of O-neg to interprositive to internegative to print and the process of O-neg to color separation to Tech print both amplified the green cast to those scenes. That would explain why the interpositive struck in 1985 and used for the LD DE and GOUT lacks that green (not that they corrected for it, but that it wasn’t there).
So, for those after what the prints originally looked like, the green must stay. For those after what the interprositive and first generation prints would look like, the green is an error. The green also only seems to affect the darker and grayer colors. An adjustment to the green curve reduces the green (including in Darth Vader and the Stormtroopers guns in nearby scenes) and looks much better. So it isn’t an overall green tint, it is in a very specific range and it is in more than just these back corridor scenes as it impacts other dark features as well. So if you correct for the green in the dark areas only, it does not turn the corridors of the Tantive IV magenta.
Also, as to the color of red… today we have an abundance of LED lighting. Red LED’s are not necissarily the red we are used to. Incandescent red was never pure red. It has sort of an orangey cast to it. It is basically a slightly yellow light behind a red filter. All the red lights, such as instrument panels and wall details, should have that orangey tone rather than leaning toward the magenta like the Blu-ray does. From the reflections, this shot of Leia and R2 should definitely be more orangey red.