derive workflow pin contract from hutch pragma