pub fn check_program(
program: &Program,
policy: &Policy,
) -> Result<PolicyReport, Vec<PolicyViolation>>Expand description
Walk the program’s declared effects (gathered from fn signatures) and
verify them against policy. Run before any execution.