The green wall will be still illuminating the floor, but it shouldn't, because blue wall is occluding green wall.
That's something that's crossed my mind.
In Crassin's thesis, he explains cone tracing soft shadows:
He says that you would accumulate opacity values as well and once the value "saturates", you would stop the trace.
I guess saturates means opacity = 1;