fix(builtins): four silent-wrong-answer contracts — min/max N-ary, predicate type-rejection, negative indices, directory SIGABRT (#312, #314, #316, #317)#454