Thanks for your sharing your thoughts. I really didn't know much about the hardfork procedures.
That would likely result in a split, no matter what subchain is longer, but only one of the sides owns the branding, has the exchange listings, and has the capacity to support core development.
In the above case, Sun's chain will likely emerge the ideal chain. Cheers!