Hi Loic,
Great to know you are looking into this ; shaders are a very unique feature of IceSL :-)
When shaders are used to carve, there is unfortunately no easy way for us to do the interactive rendering. The reason is that shaders are applied to the slice, and during on screen rendering the slices do not exist.
This is why the rendering uses the checkerboard: To warn you that what you see is not the final result. After slicing, the paths are correct.
This is I think explained in the documentation, but an example such as yours above would be a great addition.
In the future, we could provide a 'slice explorer' tool, which would be a plane that you can move throughout the object to see the actual slice outline. Maybe we can do better, I'll try to give it more thoughts, but so far all solutions I can think of would require a couple seconds to render on screen.