You have the airspace in there, vented to eaves and ridge I assume, to use convection to keep the ceiling cool in summer. The air channel is where you r interior insulation layer ends, so of course there's not going to be any melt on your roof due to heat leakage because the convection is sweeping it out from under the roofing and you have a the rockwool layer further insul ating the roofing ( but not your interior). If the roof face has a southern exposure it will melt off frozen accumulations quite fast when the sun is shining, doesn't mean there is excessive heat leakage. But anyone who has s o much heat leakage that it melts ice and snow, and leaves it that way, is a fool throwing their money away. Sounds like your house was built for a pr edominantly cooling interior environmental control. The R-value of your cei ling is just the R2 of the wood plus thickness in inches of foam x 3.5 prob ably.