ISL(의도 명세 언어)이 LLM 코드 생성에서 Ambiguity Tax를 제거하는 구조적 계약 계층을 제시한다

Context

LLM을 창작 비서로 활용할 때 발생하는 불일치 코드의 비용을 Ambiguity Tax라 한다. 기존 프롬프트 엔지니어링은 모델의 해석에 희망을 두며 코드 생성 결과를 보장하지 못한다. 체계적 계약 계층의 부재가 기술 부채의 근본 원인이다.

Technical Solution

• ISL이 자연어 기반 계약 계층을 도입하여 LLM 코드 생성의 의미적 일관성을 확보한다
• Capabilities가 Trigger, Contract, Flow로 Observable Behavior를 정의한다
• Constraints가 RFC 2119 키워드(MUST, SHOULD, MAY)로 강제성 계층 구조를 형성한다
• Acceptance Criteria가 테스트 가능한 결과로 검증 기준을 설정한다
• Role 선언(Domain, Business Logic, Presentation)으로 Concern 분리과 로직 누출을 구조적으로 방지한다
• Boundary Rule로 구현 세부사항이 아닌 의도를 기술하여 대상 언어별 관용적 코드 생성을 가능하게 한다

Impact

Same spec, same behavior 원칙으로 LLM의 확률적 특성과 관계없이 Semantic Consistency를 보장한다.

Key Takeaway

결과를 제한하고 방법을 맡김으로써 LLM이 대상 환경에 맞는 관용적 코드를 생성하면서도 필수 제약조건을 준수하게 한다.