본문으로 바로가기

The Software Factory 0.1 프리뷰

P03 실행 가능한 계약

작업을 다른 사람이나 에이전트에게 맡기고 결과를 수용할 조건이 필요한 상황에 적용을 검토한다. 말로 합의한 내용을 실행 단계에서 검증할 수 없다.

사전에 충분히 조건을 연결할 필요와 정형화·탐색 제한의 비용이 충돌한다.

입력과 출력과 권한과 완료 증거 및 실패 처리를 실행 계약에 명시한다. 이 원리는 이 책의 설계 제안이며 효과가 입증된 보편 법칙이 아니다.

입력·출력·권한·증거·실패 처리의 책임을 연결한다. 가정과 미결 판단을 나누고 시작·제한 시작·보류의 조건을 정한다. 변경 시 진행 중 작업의 적용 범위를 재확인한다.

정형화에 비용이 들며 새로운 문제의 탐색을 과도하게 제한할 수 있다. 입력을 준비하고 계약을 바꿀 때 진행 중 작업의 적용 범위를 다시 확인해야 한다. 반복 위임에서 누락 질문과 수용 분쟁을 줄일 필요가 있을 때 이 준비 부담을 감수한다.

실패 경계와 적용하지 않을 조건

섹션 제목: “실패 경계와 적용하지 않을 조건”

형식의 빈칸을 채워도 실제 권한과 검증이 맞지 않을 수 있다. 탐색은 배울 결과를 계약으로 정하며 완성품 기준을 일률 적용하지 않는다.

공개 자료의 확인 범위와 이 책의 해석·제안은 5장·6장·9장의 주장 메모와 출처 대장에 있다. 이 카드는 해당 장의 적용 구조를 정리했으며 새로운 사례·성과 수치·실행 검증을 추가하지 않았다.

연결 패턴: P02 정책과 계획의 분리·P04 검증 가능한 작업 단위·P06 증거 기반 완료.

한 작업을 사람과 서로 다른 에이전트가 같은 기준으로 수행할 수 있는지 본다.