프로젝트 소개

코토바(Kotoba)는 리스프 스타일 문법을 기반으로 하며 엄격한 효과 및 기능 검사 기능을 갖추고 있습니다. 프로그램은 타입이 지정된 중간 표현 형태인 체크된 KIR(checked KIR)로 변환되며, 이 과정에서 효과, 자원, 권한은 모든 아티팩트가 생성되기 전에 반드시 허용되어야 합니다. 아티팩트는 콘텐츠 주소 방식으로 관리되어 바이너리가 정확히 허용된 계산을 나타내도록 보장됩니다. 스택에는 웹 어셈블리 또는 네이티브 대상으로 컴파일하기 위한 CLI, 허용된 임포트만 바인딩하는 검증기(Tender), 그리고 코토바스(Kotobase) 저장소, 무라쿠모(Murakumo) 실행 환경, 이토나미(Itonami) 에이전트 작업을 위한 호스팅 서비스가 포함됩니다. 암호학적 경계는 하이브리드 X25519 + ML-KEM-768 암호화와 ML-DSA-65 서명을 요구하며, 포스트 쿼너럼 알고리즘을 기본 허용 최저선으로 설정합니다. ID는 패스키/웹인증(WebAuthn) 컨트롤러를 통해 관리되며 위임은 권한을 축소하는 방식만 가능합니다. 언어는 앰비언트 상호 운용성, 런타임 코드 로딩, 제한 없는 변경, 무제한 동시성을 제거하여 허용 표면을 작게 유지하고 감사 가능하게 만듭니다. 문서, 규정 준수 테스트, 머신 리더블 안전성 주장은 저장소 내에 존재하며, 프로젝트는 실패 시 닫힘(fail-closed), 점진적 개발을 강조합니다.