Documents and source code for the HiStar policy weaver.