transitioner
sign_executable
validate_trivial