Externalize root assumptions as explicit, testable…

Externalize root assumptions as explicit, testable statements; trace which decisions inherit from each root to make dependency visible.