Start with the guard pattern, wire one tool call through policy, then inspect the resulting Proof Pack. These docs are arranged around that integration path.