리스펙스는 닫혀 있고 점검 가능한 프로필을 택합니다. 호스트 의존 선택을 줄이고 제외 범위를 명시하며 모든 백엔드에 하나의 의미론 권위를 둡니다.
현재 보장
- 결정성은 테스트 편의가 아니라 언어 정체성의 일부입니다.
- 지원하지 않는 동작은 호스트 전역이나 플랫폼 라이브러리로 우회하지 않고 명시적으로 실패합니다.
- 증거는 이름 붙은 실행과 출처에 한정하며 증명으로 몰래 승격하지 않습니다.
경계
- 범위 제외는 모든 Scheme을 모방하겠다는 약속이 아니라 의도적인 호환성 결정입니다.
- 미래 백엔드는 프로필을 구현해야 하며 프로필을 재정의하지 않습니다.