+ domain_check in runtime, + some docs changing

Change-Id: Ie5b989dd14700f02ba44eddb21eaa4e33f6c6615