If I visualise your network correctly, your plan is:
- put "stub" VRF networks connected only to the core into totally stub OSPF areas with one area number - OK with me
- put multihomed and/or backdoor-ed VRF networks into regular OSPF areas with unique area numbers - OK with me
- each OSPF area extends from core across SSG to VRF networks over separate logical link (802.1Q VLAN) - not sure if I get it right? In this case SSG won't be an ABR but your next question about summarization implies that.
Or is your plan to have a single SSG-core logical link in OSPF area 0? This would mean all traffic between VRF networks being routed by SSG as opposed to being routed by PE. SSG would be able to summarize in this case (but not _AUTO_summarize):
By default, an ABR does not aggregate routes sent from one area to another area.
Configuring an area range allows a group of subnets in an area to be consolidated
into a single network address to be advertised in a single summary link advertisement
to other areas. When you configure an area range, you specify whether to advertise
or withhold the defined area range in advertisements.
http://www.juniper.net/techpubs/software/screenos/screenos6.3.0/630_ce_Routing.pdf , page 59