I don't think #4 applies to BIT-X anymore (correct me if I'm wrong).
You are right! Bitfury is providing hash power but is the hashpower locked to a certain amount in Bit-X, if not it can't be removed.

~~MZ~~
Currently, 1PH has been allocated to Bit-X, no specific requirements.
At this time, this is the only public trading place for BitFury's hashpower.