호출자가 리더, 정규화, 런타임, 경고, 자원 결과를 구분할 수 있도록 안정 진단을 단계와 코드로 색인합니다.
현재 보장
- E300–E340은 미바인딩, 적용, 인자 수, 대입, 쌍·범위·타입·수치 오류, 값 컨텍스트, letrec, 사용자 오류, 예외 흐름, 만료 탈출을 다룹니다.
- E1xx는 리더·정적 정규화, W2xx·W3xx는 순서 있는 경고에 속합니다.
- ResourceLimit은 의도적으로 잡을 수 있는 E3xx 밖에 있으며 별도 결과로 보고됩니다.
안정 런타임 코드
| 코드 | 조건 | 단계 / catch 가능 |
|---|---|---|
| E300 / E303 | 미바인딩 읽기 / 미바인딩 set! | 런타임 / catch 가능 |
| E301 / E302 | 비프로시저 적용 / 인자 수 불일치 | 런타임 / catch 가능 |
| E310 / E311 / E312 | 쌍·리스트 도메인 / 범위·인덱스 / 프리미티브 타입 | 런타임 / catch 가능 |
| E313 / E314 | 0 나눗셈 / 비유한 생성 | 런타임 / catch 가능 |
| E320 / E321 | 값 개수 오용 / 미초기화 letrec 읽기 | 런타임 / catch 가능 |
| E330 / E331 / E332 | 사용자 오류 / 미처리 raise / 비연속 핸들러 반환 | 런타임 / 신호별 |
| E340 | 탈출 연속이 더 이상 활성 아님 | 런타임 / 소비 후 catch 가능 오류 |
| ResourceLimit | 선언된 재귀·자원 상한 | 자원 / E3xx로 catch 불가 |
경계
- 코드는 런타임 SSOT가 고정한 곳에서만 안정 계약입니다.