(리스펙스)

리스펙스는 결정 규칙의 의미와 입력과 런타임과 결과를 정확히 이름 붙일 수 있는 프로그램으로 다룹니다. Scheme에 가까운 언어를 유지하면서 프로덕션의 모든 선택을 명시적으로 드러냅니다.

다섯 가지 설계 원칙

언어 계약 하나 LISPEX-RUNTIME.md가 폼과 값과 프로시저와 진단과 실행 의미론을 정의합니다.
결정적 요청 정확한 소스와 명시적 입력은 이름 붙은 자원 프로필에서 결정적 관측을 만듭니다.
고정 문법 핵심 폼과 파생 폼은 하나의 정규 의미로 변환되고 내장 프로시저 205개 이름은 레지스트리 하나에서 나옵니다.
명시적 호스트 경계 호스트 애플리케이션이 데이터를 전달하고 결정을 소비합니다. 파일과 네트워크와 시계와 트랜잭션과 외부 행동이 애플리케이션 구조에 그대로 드러납니다.
타입이 있는 아티팩트 소스와 리스펙스 이미지와 Core IR과 바이트코드와 영수증과 인증 보고서와 재실행 보고서와 게이트 보고서는 각자 이름 붙은 질문과 소비자를 가집니다.

선택	제품 가치
고정 의미 프로필	반복 가능한 결과와 안정된 진단
명시적 입력과 호스트 경계	이식 가능한 규칙과 검토 가능한 애플리케이션 통합
정확한 소스 식별자	바이트 단위 검토와 이미지와 정책 허용 목록과 요청 결속
자원 프로필	예측 가능한 실행과 비교 가능한 관측
영수증과 바우치	지속되는 결정 기록과 게시자 인증과 현재 재실행과 로컬 승인

정확한 소스 + 명시적 입력
→ 기준 인터프리터 관측
→ 선택형 정규 이미지와 Core IR과 바이트코드
→ 영수증 또는 서명된 바우치 증거
→ 수신자 정책과 현재 재실행
→ 로컬 게이트
→ 호스트 애플리케이션 행동

각 화살표는 다음 변환을 소유한 제품을 가리킵니다. 무결성과 인증과 현재 실행과 정책과 업무 행동을 한 흐름에서 확인할 수 있습니다.

새 언어 폼은 언어 계약과 정규화기와 기준 런타임과 직접 행동 검사와 공개 문서에 한 변경으로 들어갑니다. 새 런타임 제품은 자체 식별자와 자원 프로필과 관측 범위를 가집니다. 이 구조는 공개 아티팩트의 정확한 의미를 유지하면서 리스펙스를 확장합니다.