Procedural Contract

절차가 어떤 입력과 출력을 사용하고, 어떤 전제조건과 의존성을 거쳐 실행되며, 어떤 검증기로 결과를 확인하는지 나타내는 명세입니다. SkillZip은 interface, execution, verification의 세 측면을 압축 전후에 유지해 안전한 재사용을 보장합니다.