;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)
(defn double [n]
(+ n n))
(defn main []
(double 21))
-
소스 CID
bafkreiaeohkv2zu…IPFS CIDv1 · raw · hello.kotoba의 sha2-256 -
소스 SHA-256
0471d55d668ed5f9…여기에 표시된 정확한 파일의 sha-256 -
검증된 KIR SHA-256
92635333e1e0da86…컴파일러가 허용한 타입화되고 효과가 검사된 표현 -
아티팩트 식별 SHA-256
cfea3b89cc022a6b…소스, 정책, 컴파일러 계약 및 대상 ABI를 바인딩함
소스 CID는 hello.kotoba를 엽니다. SHA-256 다이제스트는 소스 바이트, 확인된 KIR, 아티팩트 식별자를 나타내며 IPFS 주소가 아닙니다.
안전 + 빠름 · AI 생성 소프트웨어용 빌드
안전한 코드. 기계 속도를 위해 구축됨.
Kotoba는 안전하고 초고속 AI 생성 소프트웨어를 위해 설계된 Lisp 형태의 언어입니다. 검사 가능한 프로그램, 명시적 권한 및 콘텐츠 주소 지정 아티팩트가 컴파일러 검사와 제어된 실행을 연결합니다.
이 호스트에서 모든 툴체인 중 가장 빠른 콜드 빌드.
11.75ms
Kotoba 소스에서 WebAssembly 아티팩트로, 프로세스 콜드 — 그 후 실행됨, 그리고 시계가 멈춘 후 확인된 답변.
프로세스 콜드 빌드 벽 시간(밀리초); 짧을수록 빠름. K=1 소스, 한 호스트에서 교차된 레인, 각 7 샘플.
모든 4 순서가 통과됨 퍼프게이트 완화되지 않은 기본 정책에 있으며 — 최소 5%이고 분리됨 자체 분산 — 호스트가 바빴더라도 순서가 유지됩니다. 이 호스트, 이 소스 크기 및 이 실행에 제한됨: 빌드 시간은 실행 속도, 소스가 커질수록 이점이 좁아지고, 출시된 바이너리는 엄격한 정확성 한계가 있습니다. 다섯 가지 벤치마크 모두 포함하여 Kotoba에 반하는 것들은 아래에 있습니다. 측정됨 2026-08-31 켜짐 Apple M4.
AI가 지속적으로 코드를 생성, 빌드, 테스트 및 재생성할 때 빌드 지연은 인프라 처리량이 됨.
암묵적 권한 없음
암묵적 파일시스템, 네트워크, 프로세스, 시계, 모델 또는 비밀 없음.
권한은 컴파일을 견딥니다
타입, 효과, 자원 및 대상 지원은 방출 전에 허용됩니다.
권한만 바인딩됨
호스트와 제공자는 구체적인 범위를 강제하고 결정을 기록합니다.
클래식 전용 다운그레이드 없음
새로운 암호화 및 게시 경계는 ML-KEM 또는 ML-DSA 증거를 요구하며, 제거된 PQ 자료는 거부합니다.
AI는 인간보다 더 빠르게 작성할 수 있습니다
생성된 코드는 유용할 수 있지만 요청이 노출하려 하지 않은 파일, 네트워크, 비밀, 프로세스, 모델 또는 결제 표면에 도달할 수 있습니다.
넓게 빌드하고 나중에 제한
범용 프로그램은 주변 의미론으로 시작합니다. 샌드박스, IAM, 컨테이너, 정책, 서명이 추가되어 의도된 경계를 복구합니다.
권한을 좁게 부여한 후 컴파일
효과와 권한은 허용된 계산의 일부입니다. 대상이 권한을 증명하고 바인딩할 수 없으면 아티팩트를 방출하거나 실행하지 않습니다.
Kotoba는 런타임 및 OS 격리를 보완하며; 해당 계층을 불필요하게 만들지 않습니다.
Lisp의 사고와 GP 2의 그래프 재작성, Rust의 규율이 만나는 곳
Kotoba는 작고 데이터 지향적이며 Clojure 형태의 언어입니다. 설계는 Lisp의 코드-데이터 전통을 기반으로 하며 GP 2의 규칙 기반 그래프 재작성, 권한, 효과, 리소스, 패키지 및 아티팩트 정체성에 대한 정적 규율과 함께.
읽을 수 있는 데이터로서의 코드
불변 값, 일반 함수, 명시적 데이터 및 조합 가능한 구문은 인간과 모델이 생성하고 검사하기 쉽습니다.
무슨 일이 일어날 수 있는지 말하기
효과, 기능, 자원, 종속성 및 대상은 배포 후 발견되는 놀라움이 아닌 허가를 위한 가시적 입력입니다.
언어는 적고 경계는 더 어려움
허용된 컴포넌트 표면에는 주변 상호운용성, 런타임 코드 로딩, 무제한 변경, 게스트 정의 매크로 또는 무제한 동시성이 없습니다.
안전 + 빠름 · AI 생성 소프트웨어용으로 구축됨.이것은 '해킹 불가능' 주장 아닌 격리 방향입니다. 컴파일러, 검증기, 런타임, 공급자, 정책 루트, 키 관리, OS 격리는 신뢰 컴퓨팅 기반에 남아 있습니다.
전체 계산에 걸친 보안
경계는 의도에서 실행까지 이어집니다. 각 단계는 권한을 좁히거나 검증하며; 이후 단계에서 권한을 새로 만들 수 없습니다.
선언적 의도
작고 Clojure 형태의 표면은 프로그램을 읽기 쉽게 유지하고 주변 탈출구를 배제합니다.
검사된 KIR
타입과 전이 효과는 대상 독립적이고 검사 가능한 표현이 됩니다.
권한 교차
요청, 위임, 로컬 정책, 리소스 및 대상 권한은 오직 좁힐 수만 있습니다.
아티팩트 주소 지정
코드, 의존성, 정책, 컴파일러 계약 및 대상 ABI가 계산의 정체성을 묶습니다.
호스트에 바인딩
런타임과 프로바이더는 허용된 기능만 바인딩하고, 유한 예산을 집행하며, 영수증을 발행합니다.
콘텐츠 동일성은 권한이 아닙니다.CID 검증, 서명, 폐기, 호스트 정책, 리소스 검사 및 OS 격리는 별도의 경계로 유지됩니다.
주변 호스트 평가 없는 Lisp 평가
Kotoba는 콘텐츠 주소 지정 데이터로 확인된 코드를 평가합니다. 익숙한 (eval request) 표면이 타입으로 낮아짐 :code/eval 능력; 소스 텍스트, 리더 폼, 네임스페이스 또는 호스트 객체를 절대 받지 않습니다.
어떤 코드?
CID는 해시 검증된 체크된 KIR 정의와 CID 전용 종속성 클로저를 선택합니다.
여기서 실행할 수 있나요?
정확한 인터페이스, 완전한 효과 행, 현재 허용량, 연료 및 감소하는 평가 깊이는 실행 전에 고정됩니다.
무엇이 돌아왔나요?
타입된 결과는 콘텐츠 주소 증거로 영구 저장됩니다. 해시는 소급하여 효과를 승인할 수 없습니다.
정체성, 권한 및 결과 증거는 세 가지 다른 사실입니다.
머신 계약: lang/typed-eval.edn. 컴파일러 와이어 기능: 30. 경계 적용은 여전히 일반적인 닫힌 모듈 클로저 적용입니다.
AI 우선 컴퓨팅 스택의 기본값
이들은 자격이 부여된 엔지니어링 주장입니다. 기본, 경계 준비, 부분적, 방향은 서로 다른 상태이며, 어느 것도 조용히 보편적으로 승격되지 않습니다.
더 빠르게 빌드. 더 빠르게 실행. 경계 유지.
Kotoba는 컴파일러 시작, 개발자 루프, 네이티브 런타임 및 작업 부문 측정을 정확한 결과 확인과 함께 공개합니다. 현재 속도 순위는 조용한 호스트 게이트가 통과될 때까지 보류되며; 보안 허용은 타이밍을 얻기 위해 제거되지 않습니다.
언어 제한 없는 저장소.
Kotobase는 콘텐츠 신원, 범위 읽기, 불변 기록, 제공자 중립 저장소를 사용합니다. 물리적 용량, 임대, 보존, 비용, 복제 및 실행 예산은 명확하며; 이는 무한 디스크 주장이 아닙니다.
기본값으로 포스트 양자 암호화.
모든 새로운 Kotoba 암호 경계는 ML-KEM 또는 ML-DSA 증거를 명명하고 고전적 전용 다운그레이드를 거부해야 합니다. 기존 Passkeys, 전송, 구현 및 키 관리자는 별도로 자격이 부여된 경계로 남아 있습니다.
인증 존재. 권한은 기본적으로 거부됨.
Passkey 정체성은 제어 경계에 속합니다. 검증된 정체성도 명시적 범위 부여가 로컬 정책과 호스트 검사를 통과하기 전까지 파일 시스템, 네트워크, 저장소, 모델, 비밀, 결제 또는 GPU 권한을 받지 않습니다.
좁힐 수만 있는 유연한 위임.
요청, 위임, 로컬 정책, 리소스 및 대상 범위가 교차합니다. 위임은 구성 및 감쇠될 수 있지만, 주변 권한을 생성하거나 발급자의 권한을 확장할 수 없습니다.
Web3 준비, 루트에서 체인 중립적.
안정적인 Kotoba 주체와 Passkey 컨트롤러가 기본입니다. CAIP-10 계정, ERC-1271, 및 ERC-6492는 명시적 연결 계정 증명입니다; 지갑 주소는 절대 조용히 저장소나 실행 권한이 되지 않습니다.
소유권이 허용하는 경우 제로 카피; 경계가 요구하는 경우 한 번 복사.
열 형식 바이트 뷰는 벡터, 직접 ByteBuffer, Uint8Array 백업을 유지합니다. Arrow 프로젝션은 권한 있는 Kotobase 레이크 경로를 통해 압축되지 않은 버퍼를 열 형식으로 유지할 수 있습니다. 네트워크 입력, 압축 해제, GPU 업로드 및 불변 영구 업데이트는 명명된 복사 경계로 남아 있습니다.
화살표 모양 데이터. 명시적 CPU SIMD 및 장치 네이티브 GPU 커널.
Apple M4에서 압축되지 않고 널이 아닌 Arrow float32 열은 하나의 WebAssembly 선형 메모리 백업을 유지했으며, Num은 빌린 값 슬라이스에 대해 명시적 v128 f32x4 커널을 실행하여 Arrow-to-SIMD 복사 없이 수행했습니다; 스칼라 꼬리가 나머지 행을 덮었습니다. 동일한 262,147 요소 규모 작업 및 아티팩트의 세 번의 자격 실행에서 해당 SIMD 커널은 스칼라 Wasm보다 3.66-3.72x 빠르게 완료되었습니다. 이는 커널 및 호스트 결과이며 일반 런타임 주장이 아닙니다. 동일한 제한된 열 경로는 또한 CPU 뷰를 통해 하나의 ArrayBuffer를 유지하고, 하나의 측정된 WebGPU 업로드로 GPU 소유권 경계를 넘으며, Metal에서 실행되고, 하나의 4바이트 스칼라를 반환합니다. 널 가능 열, 다른 Arrow 데이터 유형, 통합 메모리 업로드 제거, 더 넓은 커널 및 범용 CPU/GPU 자격은 보류 중입니다.
AI 우선. 기본적으로 에이전트 안전.
Kotoba는 AI 에이전트 및 봇이 작성하거나 운영하는 프로그램을 위해 설계되었습니다. 모델이 강할수록 명시적 효과, 유한 자원, 능력 격리, 영수증, 호스트 강제가 더 중요해집니다.
AGI 준비 경계, AGI 주장이 아님.
이 아키텍처는 모델이 더 강력해짐에 따라 권한을 명확히 유지하도록 설계되었습니다. Kotoba는 여기서 AGI가 존재한다고 주장하지 않으며, 생성된 프로그램이 신뢰할 만하다고도, 격리가 컴파일러, 런타임, 제공자, 키 관리, OS 신뢰 컴퓨팅 기반을 제거한다고도 주장하지 않습니다.
기계 권한: lang/product-defaults.edn. 무제한 물리적 저장소, 모든 곳에서 제로 복사, 보편적 속도 순위, AGI 달성, 해킹 불가능은 여전히 금지된 절대 주장입니다.
AI가 작성한 Kotoba가 요청할 수 없는 것
| 경계 | 왜 부재하는가 |
|---|---|
compile, load, load-file, load-string, ns-resolve, read-string, require, resolve, use
|
구성 요소는 암묵적 프로세스 상태에서 코드나 권한을 생성할 수 없습니다. 소스 문자열, 리더 형식, 로드된 네임스페이스, 컴파일된 호스트 객체는 효과 추론된 적 없으며 정의 CID의 일부가 아닙니다. 허용된 `(eval request)` 작업은 별개입니다: :code/eval을 통해 CID로 이미 확인된 KIR를 선택하고 호스트에 의해 재승인됩니다. |
., .., import, new
|
임의 JVM/JS 객체 및 메서드 접근은 권한 승인 우회를 발생시킵니다. 부여 디스패치로 완화 불가: 상호 운용성은 guard-component-ability-call에 도달하지 않으므로 권한 교차, 영수증 및 폐기는 호출을 볼 수 없습니다. wasm32 ABI에서는 무의미(해당 경로 없음); 휴대용/신뢰 가능한 환경에서는 하위 집합 게이트가 유일한 경계입니다(별도의 VM 샌드박스는 주장되지 않음). |
alter-var-root, atom, binding, deref, dosync, ref, reset!, set!, swap!, var, volatile!
|
외부 변경 가능한 상태는 공급자 소유이며 권한/정책에 의해 중재됩니다; 컴포넌트 로컬 상태는 명시적으로 한정된 모델을 사용해야 합니다. 불변 조건은 AMBIENT이며, 변이 자체가 아닙니다. 2026-09-02 이후 이 판독은 한 가지가 아닌 두 가지 결과를 가집니다. 탈출하거나, 지속되거나, 함수를 넘는 셀은 공급자 소유이며 :state-kit-desugar 경로에 남아 있습니다 (효과 행은 :state를 보여주며, 인스턴스화 시 권한이 필요하고, 권한 핸들은 저장된 값으로 거부됩니다). 아무 것도 하지 않는 셀 -- (let [a (atom 0)] (swap! a + 1) @a) -- 는 호스트가 전혀 필요 없습니다: 로컬 상태 조각 1가 이를 일반 let 재바인딩으로 전개하여, 이를 관찰하는 것은 소유한 직선 코드뿐이며 런타임에 셀이 존재하지 않습니다. atom / swap! / reset! / deref는 따라서 전개를 통해 허용되며, 셀이 탈출하는 순간 거부됩니다. ref / dosync / volatile! / binding / var / alter-var-root / set!는 능력 모델이 결정되지 않아 거부되고 실패-폐쇄 상태를 유지합니다. |
agent, future, locking, pmap, send, send-off
|
컴포넌트 스케줄링 및 리소스는 테더 제어되고 제한되어야 합니다. 정의 CID나 위임된 권한은 CPU나 스케줄링을 측정하지 않습니다; 연료는 인스턴스별이며 주변 스레드는 이를 벗어날 수 있습니다. 하위 예산 연료가 있는 구조화된 스폰 능력은 설계 가능하지만 아직 결정되지 않았으며; 확장 경로는 없습니다. |
defmacro
|
안전한 구성 요소 표면은 실행 전에 정적으로 검사 가능해야 합니다. 완화 불가: 확장은 컴파일러 내부에서 코드 실행(빌드 시간)하며, 정의 CID 해시는 탈설탕화된 타입 KIR을 포함하므로, 무한 매크로는 조기 실행되고 소스 정체성을 검토할 수 없게 만듭니다. defdesugar(유한 순수 탈설탕화)는 허용된 대안으로 남아 있습니다. |
catch, throw, try
|
주변 throw/try/catch는 추적되지 않는 비지역 제어 흐름입니다: 범위를 벗어나 추론된 효과 행에 언급되지 않고 언와인드 의무를 건너뜁니다 (데이터스페이스 측면 철회는 아직 확인된 언와인드 없음). 금지는 주변 형태에 있습니다. 2026-09-02 이후로 타입화된 중단 능력은 정교화를 통해 헤드를 허용합니다: 효과가 추론된 행에 :abort로 나타나고 함수는 [:result T E]로 낮아지므로 주변 형태는 정교화 후 존재하지 않습니다. 슬라이스 2 (2026-09-02)는 :abort가 호출을 통해 전파되도록 하고 중단하는 피연산자 또는 테스트를 let 바인딩으로 A-정규화했습니다; 둘 다 불변성을 확장하지 않습니다, 전파된 중단은 호출자의 행에 있고 A-정규화된 것은 다른 위치의 동일한 정교화이기 때문입니다. 언와인드 전제 조건이 중요할 경우, 중단은 거부 상태로 유지됩니다 — 현재는 CALL뿐 아니라 throw에도 해당. |
이들은 lang/surface-status.edn에 명명된 보안 제약 조건이며, 로드맵에 없는 기능이 아닙니다.
경계가 첨부된 증명
Kotoba는 구현 증거를 시장 견인력과 분리하고 모든 안전 주장 옆에 잔여 위험을 유지합니다.
33 코어
내부 생산 도그푸딩
더 넓은 Kotoba 스택은 내부적으로 33 추론 코어를 실행합니다. 이는 팀이 자체 스택을 운영함을 증명하며, 고객 견인력, 유료 채택, 수익이 아닙니다.
8 주장
경계는 기계가 읽을 수 있음
안전성 주장은 '해킹 불가능' 슬로건으로 축소하지 않고 신뢰할 수 있는 컴퓨팅 기반, 부정적 증거, 잔여 위험을 명시합니다.
기본적으로 거부
권한 없음, 호스트 효과 없음
빈 정책은 파일 시스템, 네트워크, 프로세스, 시계, 모델 또는 비밀 권한을 부여하지 않습니다. 공급자는 구체적인 리소스 범위도 검증해야 합니다.
내부 생산 사용은 자체 검증 증거일 뿐입니다. 외부 고객, 유료 파일럿 또는 수익을 의미하지 않습니다.
다섯 벤치마크. 다섯 가지 다른 질문.
컴파일러 시작은 작은 소스 하나가 아티팩트가 되는 속도를 묻습니다. 빌드 확장은 소스가 더 이상 작지 않을 때 그 숫자가 어떻게 변하는지—그리고 아티팩트가 여전히 응답하는지 여부를 묻습니다. 개발자 루프는 해결, 검사, 빌드, 첫 결과를 분리합니다. 네이티브 런타임은 이미 빌드된 코드가 얼마나 빠르게 실행되는지 묻습니다. 작업 부하 도메인 스위트는 문자열, 컬렉션, 할당, I/O, 동시성, 작은 실제 애플리케이션이 어떻게 동작하는지 묻습니다. 결과는 다섯 가지 질문과 그 증거 상태를 모두 분리하여 유지합니다.
4 툴체인, 각각 21 실행
Kotoba 40.998 ms · Rust 126.422 ms · C 146.324 ms · JVM 961.248 ms 중앙값.
21 회전 프로세스 콜드 샘플 · load1 30.79 → 39.79 · 요구 ≤ 1 · 2026-08-29 · Apple M4
6 작업 부하 × 5 비교자
Amu 네이티브는 Rust, Clang / C11, Zig, Go c-shared, Swift와 하나의 공통 네이티브 호출 경계에서 테스트됩니다.
30/30 비교기/작업 부하 쌍 · 정확한 답변 검증됨
19 쌍 중 30
Amu 네이티브는 30 비교기/작업 쌍 중 19에서 최소 5%만큼 이기며, 자체 분산과 분리됩니다. 경계가 있는 가장 빠른 주장은 모든 쌍이 필요하므로 자격이 부여되지 않은 상태로 유지되며 — 수치는 정보 제공용 절반입니다.
그 쌍 중 적어도 2는 전혀 이길 수 없습니다. 좁은 산술에서 amu, Apple clang -O3 및 rustc -O3는 커널을 동일한 61 명령어 시퀀스로 컴파일합니다 — clang과 rustc는 바이트 단위로 동일하며, amu는 레지스터 번호만 다릅니다. 동일한 코드에 대한 5% 마진은 존재하지 않으므로, 제한된 주장은 단순히 충족되지 않은 것이 아니라 달성 불가능합니다.
5 호스트 자격 실행의 중앙값; 점수 범위는 19–20이며 19는 30 쌍 모두에서 자격을 갖췄습니다. 단일 잡음 샘플이 여러 쌍을 한 번에 실격시킬 수 있으므로 한 번 실행한 점수는 한 쌍에 대해 정확하지 않습니다.
busy-CPU 0.090 → 0.069 → 0.076 · 요구 ≤ 0.10 · 2026-09-07
11 툴체인 경로
의존성 해결, 검사, 클린 및 변경 없는 빌드, 그리고 프로세스-콜드 첫 결과가 별도로 기록됩니다.
7 샘플당 측정 단계 · load1 20.84 → 24.49 · 요구 ≤ 1
8 소스 크기
하나의 함수에서 같은 프로그램까지 2048, 호스트의 모든 툴체인에 의해 빌드되고 실행됨. 릴리스된 바이너리는 여기서 가장 낮은 콜드 스타트 비용과 정확성을 가집니다 128 함수 위의 상한.
시계가 멈춘 후 확인된 아티팩트 · load1 2.73 → 2.73 · 요구 ≤ 1 · 2026-08-31
6 도메인 × 6 런타임 경로
문자열, 컬렉션, 할당, 파일 I/O, 4-작업자 동시성, 요청-승인 정책 애플리케이션 커널은 정확성 검사를 거칩니다.
7 샘플이 프로세스 콜드 및 상각 경로 모두에 있음 · load1 13.87 → 12.38 · 순위 보류
소스가 커질 때 빌드 시간
위의 벤치마크는 한 화면에 맞을 만큼 작은 프로그램을 빌드합니다, 도구 체인이 얼마나 빨리 시작되는지 측정합니다. 이에 대해선 거의 말하지 않습니다 개발자가 실제로 기다리는 숫자, 즉 기울기. 이 다섯 번째 벤치마크는 점점 커지는 크기로 동일한 프로그램을 생성합니다 — K 독립적인 네 가지 연산 함수와 하나의 진입점이 모두 호출하며 — 호스트의 모든 툴체인에서 빌드합니다, 회전 순서.
그런 다음 시계가 멈춘 후 각 툴체인이 생성한 것을 실행합니다. 그 검사는 장식이 아닙니다. 아티팩트를 생성하는 가장 빠른 방법은 손상된 것을 내보내므로 작동이 중단된 레인은 그렇지 않으면 게시했을 것임 작동을 멈춘 바로 그 지점에서 최고의 수치를 기록합니다.
두 축 모두 로그 스케일입니다: 소스는 세 자릿수 범위를, 시간도 마찬가지입니다. 실행이 끝난 곳은 점으로, 해당 경로가 프로그램이 아닌 아티팩트를 생성한 곳은 십자, 툴체인이 빌드를 거부한 곳은 막대로 표시됩니다. 이 세 가지는 동일한 이벤트가 아니며 아래 두 실패도 동일한 실패가 아닙니다.
| 툴체인 / 타겟 | K=1 | K=32 | K=128 | K=129 | K=512 | K=1023 | K=1024 | K=2048 |
|---|---|---|---|---|---|---|---|---|
| Kotoba · 출시된 CLI · WebAssembly | 11.753 ms | 35.84 ms | 111.538 ms | 잘못된 아티팩트 | 잘못된 아티팩트 | 잘못된 아티팩트 | 빌드 실패 | 빌드 실패 |
| Kotoba / Amu · WebAssembly | 733.255 ms | 825.418 ms | 1123.04 ms | 1123.847 ms | 3380.63 ms | 9242.463 ms | 빌드 실패 | 빌드 실패 |
| Kotoba / Amu · 네이티브 aarch64-macos | 962.198 ms | 1509.84 ms | 2973.249 ms | 3000.243 ms | 10601.87 ms | 23725.327 ms | 빌드 실패 | 빌드 실패 |
| Rust / rustc · WebAssembly | 38.992 ms | 45.622 ms | 66.066 ms | 65.56 ms | 151.592 ms | 277.88 ms | 280.867 ms | 595.812 ms |
| Rust / rustc · 네이티브 호스트 | 56.023 ms | 62.849 ms | 82.107 ms | 82.277 ms | 159.519 ms | 261.586 ms | 260.934 ms | 469.277 ms |
| C / Clang · WebAssembly | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 | 도구 체인 없음 |
| C / Clang · 네이티브 호스트 | 29.078 ms | 30.442 ms | 35.765 ms | 36.581 ms | 60.594 ms | 104.992 ms | 101.728 ms | 223.232 ms |
| JVM / javac · JVM 클래스 | 171.53 ms | 197.998 ms | 237.582 ms | 238.611 ms | 316.795 ms | 378.252 ms | 377.591 ms | 454.632 ms |
judahnoMac-mini.local(Apple M4)에서 측정한 2026-08-31. K는 생성된 함수 수; Kotoba 소스는 9에서 14338줄까지 실행됩니다. 대상, ABI, 최적화 수준 및 런타임 계약이 레인마다 다르므로 개발자 피드백 지연에 관한 질문이며 동등 작업이 아닙니다. 호스트 부하 게이트가 실패(load1 2.73–2.73, 요구 ≤ 1)하여 이 실행의 관찰치이며 이식 가능한 수치가 아닙니다. 레인이 교차되어 순서는 별도로 자격이 부여됩니다.
노이즈 테스트를 통과하는 순서
비율은 순위가 아닙니다. 퍼프게이트 두 팔의 자체 분포 내 간격에 속하는 모든 순서를 거부합니다, 비율이 아무리 커 보여도, 샘플이 너무 적은 팔을 거부하거나 너무 많은 잡음. 기본 정책으로 이곳에서 실행되며 완화되지 않음 — 이 실행을 허용하기 위해 완화된 임계값은 벤치마크 측정이 될 것입니다 자체 임계값. 레인이 하나의 호스트에서 교차되기 때문에 간격 이 테스트를 통과하는 것은 호스트가 바쁠 때도 견딥니다.
| 크기 | 비교됨 | Kotoba배 빠름? | 격차 대 결합 분산 | 왜 안 되나요, 아니라면 |
|---|---|---|---|---|
| K=1 | C / Clang · 네이티브 호스트 | 예, 적격 | 17.1 ms 대 1.0 ms | — |
| K=1 | JVM / javac · JVM 클래스 | 예, 적격 | 160.8 ms 대 5.4 ms | — |
| K=1 | Rust / rustc · 네이티브 호스트 | 예, 적격 | 44.2 ms 대 0.6 ms | — |
| K=1 | Rust / rustc · WebAssembly | 예, 적격 | 27.1 ms 대 0.5 ms | — |
| K=32 | C / Clang · 네이티브 호스트 | 아니오 | 5.3 ms 대 1.0 ms | 임계값 이하 개선 |
| K=32 | JVM / javac · JVM 클래스 | 예, 적격 | 161.9 ms 대 1.2 ms | — |
| K=32 | Rust / rustc · 네이티브 호스트 | 예, 적격 | 26.7 ms 대 0.7 ms | — |
| K=32 | Rust / rustc · WebAssembly | 예, 적격 | 9.8 ms 대 0.6 ms | — |
| K=128 | C / Clang · 네이티브 호스트 | 아니오 | 75.8 ms 대 1.2 ms | 임계값 이하 개선 |
| K=128 | JVM / javac · JVM 클래스 | 예, 적격 | 126.2 ms 대 2.2 ms | — |
| K=128 | Rust / rustc · 네이티브 호스트 | 아니오 | 29.3 ms 대 1.4 ms | 임계값 이하 개선 |
| K=128 | Rust / rustc · WebAssembly | 아니오 | 45.8 ms 대 1.1 ms | 임계값 이하 개선 |
임계값 이하 개선은 Kotoba 경로가 해당 크기에서 전혀 더 빠르지 않았음을 의미합니다. 이점은 콜드 스타트에서 실제이며 자격이 부여되었고, C 대비 K=32에서, Rust 대비 K=128에서 사라졌습니다. 이 교차점이 결과이며 요약하지 않고 표시됩니다.
서로 다른 두 실패
이번 실행에서 세 개의 Kotoba 레인이 작동을 멈췄고, 이를 하나로 공개함 행이 잘못되었을 것입니다. 하나는 결함이고, 나머지 두 개는 선언됨 지정된 대로 정확히 시행되는 경계 및 이를 결함으로 보고 이는 컴파일러 대신 경계를 측정한다는 의미입니다.
| 관찰 | 읽기 |
|---|---|
| 릴리스된 kotoba CLI는 128 함수 이상에서 컴파일되지 않는 모듈을 방출합니다 | 결함이며, 하니스 내에서 검증해야 하는 이유입니다. K=129에서 호출은 함수 인덱스 128을 포함해야 하며, 이는 두 개의 LEB128 바이트가 필요한 첫 번째 값이고, 방출기는 하나만 씁니다. 바이트는 누락된 인코더가 아니라 사용되지 않은 인코더임을 나타냅니다: local.set 128는 80 01로 작성되고, 그 후 한 명령어 뒤의 call 128는 80로 작성됩니다. 잘린 피연산자 수는 정확히 K에서 128을 뺀 값입니다. 현재 컴파일러에는 없지만 — Amu는 K=129을 올바르게 빌드하며, 수정 사항은 이 릴리스 태그 이전부터 방출기의 기본 브랜치에 있었습니다. |
| 모든 Kotoba 경로는 기본 설정으로 빌드 시 K=512에서 트랩됩니다 | 결함이 아닙니다. Kotoba 모듈은 선언된 호출 연료 예산을 가지고 있으며 컴파일러 기본값은 512 호출입니다. 이 작업 부하는 K=512에서 이 한도를 초과하며 진입점은 512 리프를 호출합니다. 하니스는 1,048,576 단위를 명시적으로 선언하고 기록했습니다. C, Rust 및 Java에는 이를 높일 동등한 제한이 없습니다. |
| Amu는 1,024 함수 이상을 보유할 경우 모듈을 즉시 거부합니다 | 또한 결함이 아니며 첫 번째 행과 반대입니다. max-functions는 선언된 허용 한계로, 컴파일러가 kotoba.error/subset-reject로 중단하고 거부한 항목을 명명하며, 로드되지 않을 것을 출력하지 않습니다. 시끄러운 상한과 조용한 상한은 매우 다른 결과이며, 아티팩트를 실행하는 하니스만이 이를 구분합니다. 측정된 2026-09-07: 이는 전체 프로그램의 상한이며, 단일 모듈의 것이 아닙니다 — max-project-functions도 1,024이며 연결된 프로젝트에 대해 검사되므로 오늘날 어떤 모듈 배열도 2,048 함수 프로그램을 컴파일하지 않습니다. |
이것이 확립하는 것
| 질문 | 이번 실행의 답변 |
|---|---|
| 작은 모듈의 콜드 Kotoba 빌드는 얼마나 빠른가? | 출시된 CLI는 K=1를 11.753 ms 프로세스 콜드에 빌드하며, 아티팩트 실행 및 답변 확인 — 여기서 측정된 모든 경로 중 가장 빠른 첫 결과입니다. |
| 릴리스된 바이너리가 빌드할 수 있는 모듈 크기는? | 최대 128 함수. 그 이상은 느린 것이 아니라 잘못된 것이며, 이 하니스는 빠른 경로가 아닌 실패한 경로로 보고합니다. |
| 소스가 커져도 빌드 시간이 경쟁력을 유지합니까? | K=128를 통해 위 표에서 릴리스된 CLI가 Rust 및 C와 비교됩니다. 그 시점 이후로 올바른 모듈을 여전히 출력하는 유일한 Kotoba 컴파일러는 Amu이며, 이는 릴리스된 바이너리가 아닌 nbb에서 실행되고 측정된 모든 크기에서 대략 한 자릿수 느리므로 — 큰 크기에서는 빌드 속도가 현재 Kotoba 강점이 아니며, 이 페이지는 이를 다르게 주장하지 않습니다. |
| 소스가 처음부터 끝까지 얼마나 크게 빌드되었나요? | K=1023를 Amu를 통해 — 7163 줄의 Kotoba, 아티팩트 실행 및 답변 확인. 이는 선언된 1,024 한도에서 한 함수 부족이며, 다음 크기는 잘못 빌드되는 대신 거부됨. |
| 생성된 코드가 빠른가? | 여기서는 범위 밖 — 이것은 빌드를 측정하며 실행은 아닙니다. 위의 네이티브 런타임 스위트가 그 질문을 합니다. |
요점: 가장 작은 크기에서 공개된 바이너리는 여기 모든 비교 대상보다 소음 테스트를 통과하는 차이로 더 빠르며, 128 함수에서 엄격한 정확성 한계가 있습니다. 그 한도 없는 컴파일러는 모든 크기에서 대략 한 자릿수 느림 측정됨. 두 사실은 동일한 실행에서 나오며, 이를 발견한 하니스는 공개되어 있습니다, 그래서 실행에 동의하지 않을 수 있습니다.
각 네이티브 작업 부하가 실제로 걸리는 시간
아래 그리드는 두 팔 사이의 여유를 보고합니다. 이는 숫자입니다 perfgate 규칙은 켜져 있지만, 단독 백분율은 작업 부하는 5밀리초 또는 500밀리초 내에 실행되며, 그리고 그것은 숨깁니다 논쟁 중인 쌍과 무관한 쌍 사이의 차이. 이 패널들은 중앙값은 해당 마진이 계산된 값입니다. Amu 네이티브는 색칠된 차선입니다 모든 패널에서 — 첫 번째가 아닌 패널도 포함. 각 패널은 자신의 가장 느린 ARM에 맞춰 조정됨, 패널이 답하는 질문은 누가 해당 작업 부하에서 더 빠름.
좁은 산술
넓은 레지스터 압력
깊은 스필 압력
호출 보존
분기 + 호출 제어 흐름
루프 콜 백 엣지
5 호스트 자격 실행의 중앙값 밀리초; 짧을수록 빠름. 모든 암은 독립적으로 검사된 동일한 답변을 반환하며, 후보 중앙값은 작업량별 한 값입니다 — 이 스위트는 ABBA/BAAB 순서로 각 엔진 쌍을 회전시키므로 동일한 Amu 아티팩트가 작업량별로 한 번씩 시간 측정되고 각 암과 차례로 비교됩니다. 이 페이지의 다른 4개 벤치마크와 달리 이 벤치마크는 조용한 호스트 게이트를 통과(자격 호스트 부하)하여 이 호스트에 대한 수치이며 단순 관찰치가 아닙니다. 제한된 최속 주장은 여전히 모든 30 쌍이 필요하며, 아래 그리드가 이를 위한 것입니다.
모든 런타임 쌍, 승패 모두
제한된 주장은 전부 아니면 전무이므로 단일 자격 미달 쌍이 거짓으로 만듭니다. 그 판결만 게시하면 어떤 쌍이 논쟁 중인지 숨기므로 전체 그리드가 여기 있습니다. 셀은 해당 비교자에 대한 Amu 네이티브의 평균 향상입니다 해당 작업 부하에서; 양수는 Amu가 더 빠름을 의미하며, 체크는 쌍을 표시합니다 명확한 성능 게이트 — 최소 5% 및 팔 자체 확산과 분리됨.
| 작업 부하 | 러스트 | Clang / C11 | Zig | Go c-shared | 스위프트 |
|---|---|---|---|---|---|
| 좁은 산술 | +0.4% | -0.6% | +20.1% | +84.7% | -0.6% |
| 넓은 레지스터 압력 | +6.5% | +10.9% | +16.9% | +86.0% | +87.1% |
| 깊은 스필 압력 | +4.2% | +9.3% | +5.1% | +82.2% | +92.6% |
| 호출 보존 | -1.0% | -0.3% | +42.9% | +85.2% | +29.6% |
| 분기 + 호출 제어 흐름 | -2.6% | -7.1% | +43.8% | +85.2% | +25.1% |
| 루프 콜 백 엣지 | +0.8% | -0.1% | +32.4% | +17.2% | +24.8% |
각 셀은 중심선에서 자란 막대입니다: 오른쪽은 Amu 네이티브가 더 빠르고, 왼쪽은 느립니다. 두 방향은 별도로 스케일링됩니다 — 승리는 +93%까지, 패배는 −7%까지 확장되어 하나의 공유 스케일은 모든 논쟁 쌍을 동일한 보이지 않는 슬리버로 평탄화합니다. 부호는 선의 측면과 서명된 숫자에 의해 전달되므로 이 그리드의 판독은 두 색을 구분하는 데 의존하지 않습니다.
19 중 30 쌍이 자격을 갖춤 (중앙값 5; 매 실행마다 19) · 후보 42f092ea5b61 · Apple M4, 10 논리 CPU, 16 GiB
게시된 실행 후 최적화 제공
위의 날짜가 지정된 벤치마크는 변경 불가능합니다. 새로운 구현 조각은 동일 아티팩트 스위트가 다시 실행되어 자격 게이트를 통과할 때까지 별도로 나열됩니다.
| 표면 | 전달됨 | 증거 경계 |
|---|---|---|
| 네이티브 벡터 / 할당 | 제한된 비탈출 벡터 리터럴은 x86-64 및 AArch64에서 탈출 증명되고 스칼라 대체됩니다. | 211 백엔드 테스트 / 2,442 단언; 탈출 벡터는 검증된 호스트 ABI를 유지합니다. 아직 새로운 순위 타이밍 없음. |
| 문자열 SIMD | POSIX 검사된 동등성은 핸들 및 정규화된 UTF-8 검증 후 명시적 16 바이트 NEON 또는 SSE2 비교를 사용합니다. | 최적화된 어셈블리 및 두 네이티브 ISA 의미 벡터가 검증되었습니다. Windows는 별도로 고정되어 있으며; 지연 순위는 보류 중입니다. |
| 비동기 입출력 기능 | 루트 제한 최종 읽기/쓰기/목록/존재/삭제는 JVM에서 CompletableFuture, Node에서 fs.promises를 사용합니다. | JVM 및 Node 실제 파일 시스템 테스트 통과. 공개 독립형 Wasm 벤치마크는 아직 승인된 호스트 바인딩이 없어 I/O 셀은 N/A 상태입니다. |
| 구조적 동시성 | 경계가 있는 32-자식 실패-빠른 범위는 형제 취소, 자식 수명 탈출 방지를 하며 정식 Kotoba 상태로 유지됩니다. | 996 동등성 주장은 .kotoba 권한 및 CLJC 로드 경로 전반에 걸쳐 있습니다. 이는 구조화된 수명 의미론이며 OS 스레드 처리량 결과가 아닙니다. |
| Kotoba CLI | kotoba 테스트/빌드는 새 컴파일러 핀을 사용합니다; kotoba 컴파일은 봉인된 x86-64 및 AArch64 KEXE를 직접 생성합니다. | 공개 CLI 수명 주기 및 AArch64 벡터 아티팩트 검증됨. 네이티브 --run은 측정된 로더 영수증이 연결될 때까지 거부됨. |
컴파일러 시작, 네 개의 툴체인
한 작은 소스에 대한 프로세스 콜드 벽 시간(밀리초); 짧을수록 빠름. Apple M4에서 툴체인별 21 회전 샘플. 이 실행에서 호스트 부하 게이트가 실패하여, 이는 한 기계의 관찰치이며 순위가 아님.
| 툴체인 | 출력 | 중앙값 | p95 | 상대 경과 시간 |
|---|---|---|---|---|
| Kotoba | WebAssembly | 40.998 ms | 240.415 ms | 1× Kotoba |
| Rust / rustc | WebAssembly | 126.422 ms | 770.495 ms | 3.084× Kotoba |
| C / Clang | WebAssembly | 146.324 ms | 498.618 ms | 3.569× Kotoba |
| JVM / javac | JVM 클래스 | 961.248 ms | 2223.49 ms | 23.446× Kotoba |
KOTOBA 0.7.3 · RUSTC 1.97.1 · Homebrew clang 버전 22.1.7 · javac 24.0.2. Kotoba, Rust, C는 Wasm을 생성하고 javac는 클래스 파일을 생성합니다. 서로 다른 대상과 컴파일러 작업으로 인해 이는 스타트업 관찰이며 보편적인 순위가 아닙니다. 기록된 호스트 부하 게이트가 실패하여 표는 자격 있는 속도 순위가 아닙니다.
| 툴체인 / 타겟 | 해결 | 확인 | 깨끗한 빌드 | 변경 없음 빌드 | 시작 + 실행 | 클린 빌드 + 첫 결과 |
|---|---|---|---|---|---|---|
| Kotoba · WebAssembly | 해당 없음 | 231.75 ms | 62.906 ms | 42.332 ms | 57.253 ms | 142.644 ms |
| Rust / Cargo · arm64 macOS 네이티브 | 138.018 ms | 71.208 ms | 896.478 ms | 67.764 ms | 371.522 ms | 1299.171 ms |
| C / Clang · arm64 macOS 네이티브 | 해당 없음 | 90.446 ms | 121.838 ms | 77.905 ms | 327.741 ms | 453.685 ms |
| Zig · WebAssembly | 해당 없음 | 387.713 ms | 648.665 ms | 464.795 ms | 67.523 ms | 728.007 ms |
| TinyGo · arm64 macOS 네이티브 | 해당 없음 | 해당 없음 | 1059.624 ms | 395.305 ms | 203.169 ms | 1269.918 ms |
| Go · arm64 macOS 네이티브 | 43.553 ms | 6979.823 ms | 3499.277 ms | 150.902 ms | 247.051 ms | 3755.431 ms |
| Swift / SwiftPM · arm64 macOS 네이티브 | 1017.252 ms | 427.372 ms | 3695.557 ms | 1259.829 ms | 431.84 ms | 4016.271 ms |
| JVM / javac · JVM 클래스 | 해당 없음 | 해당 없음 | 805.822 ms | 739.957 ms | 76.252 ms | 882.074 ms |
| AssemblyScript · WebAssembly | 해당 없음 | 1074.197 ms | 895.187 ms | 1090.658 ms | 64.658 ms | 954.878 ms |
| .NET IL · .NET IL | 2309.472 ms | 해당 없음 | 4750.407 ms | 2141.103 ms | 79.248 ms | 4851.792 ms |
| .NET Native AOT · arm64 macOS 네이티브 AOT | 2236.962 ms | 해당 없음 | 11995.489 ms | 2707.907 ms | 375.7 ms | 12391.54 ms |
모든 방출된 아티팩트는 새로운 프로세스에서 42를 생성했습니다. 대상 및 런타임 계약은 다르며, 해당 없음은 결코 0이 아닙니다. 호스트 로드 게이트가 실패했으므로 이는 재현 가능한 관찰이며 언어 간 속도 순위가 아닙니다.
여섯 도메인, 나란히
각 패널은 자체 가장 느린 레인에 맞춰 스케일됩니다, 왜냐하면 패널이 묻는 질문이 답변은 해당 도메인에서 누가 더 빠른지이며, 도메인 간 비교가 아닙니다. 기타. Kotoba의 레인은 모든 패널에서 색칠된 하나입니다 — 포함하여 마지막인 패널. 독립 실행형 Wasm 아티팩트는 Node를 통해 실행됩니다 호스트는 모든 프로세스 콜드 샘플에서 해당 시작 비용을 지불하며, Rust, C 및 Go는 네이티브 바이너리로 실행; 대상에 주변 파일 시스템이나 스레드가 없는 경우 계약이 전혀 없으면 경로는 0이 아니라 부재입니다.
문자열
컬렉션
할당
입출력
동시성
실제 애플리케이션
프로세스 콜드 중앙값(밀리초 단위); 짧을수록 빠름. 호스트 부하 게이트 이번 실행에서 실패하여 이 패널들은 순위가 아닌 관찰입니다, 아래의 상각된 경로는 또 다른 이야기를 전합니다.
| 런타임 경로 | 문자열 | 컬렉션 | 할당 | 파일 I/O | 동시성 | 실제 앱 |
|---|---|---|---|---|---|---|
| Kotoba / Wasm + 타입된 JS 호스트 | 30.539 ms | 29.98 ms | 29.567 ms | 해당 없음 | 해당 없음 | 29.652 ms |
| 러스트 | 1.907 ms | 1.92 ms | 1.943 ms | 2.686 ms | 3.328 ms | 2.047 ms |
| C / Clang | 1.463 ms | 1.357 ms | 1.353 ms | 2.539 ms | 2.916 ms | 1.294 ms |
| Go | 1.974 ms | 1.852 ms | 1.962 ms | 6.577 ms | 3.377 ms | 1.964 ms |
| JVM / 자바 | 27.819 ms | 31.42 ms | 26.447 ms | 38.685 ms | 34.828 ms | 26.411 ms |
| 자바스크립트 / Node.js | 31.628 ms | 31.818 ms | 31.055 ms | 94.124 ms | 55.105 ms | 29.534 ms |
모든 샘플이 정확한 참조 체크섬을 반환했습니다. Kotoba는 생성된 Wasm과 선언된 타입 ABI를 사용합니다; 독립 실행형 타겟은 주변 파일 시스템이나 스레드 계약이 없으므로 해당 셀은 해당 없음으로 간주됩니다. 기록된 호스트 로드 게이트가 실패하여 중앙값은 관찰치이며 순위가 아닙니다.
| 런타임 경로 | 문자열 | 컬렉션 | 할당 | 파일 I/O | 동시성 | 실제 앱 |
|---|---|---|---|---|---|---|
| Kotoba / Wasm + 타입된 JS 호스트 | 0.351 ms | 0.039 ms | 0.066 ms | 해당 없음 | 해당 없음 | 0.048 ms |
| 러스트 | 0.028 ms | 0.002 ms | 0.003 ms | 1.217 ms | 1.456 ms | 0.002 ms |
| C / Clang | 0.02 ms | 0.001 ms | 0.003 ms | 1.61 ms | 1.558 ms | 0.001 ms |
| Go | 0.023 ms | 0.002 ms | 0.004 ms | 5.071 ms | 1.582 ms | 0.002 ms |
| JVM / 자바 | 0.433 ms | 0.051 ms | 0.064 ms | 17.175 ms | 5.589 ms | 0.043 ms |
| 자바스크립트 / Node.js | 0.336 ms | 0.033 ms | 0.067 ms | 68.507 ms | 7.771 ms | 0.032 ms |
각 더 큰 프로세스 내 배치는 선언된 작업량 승수로 나뉩니다. 이는 시작 비용을 분산시키지만 프로세스, VM 또는 Wasm 인스턴스화 비용을 완전히 제거하지 않으므로 완벽히 예열된 정상 상태 결과로 표시하지 않습니다. Kotoba의 순수 증감 맵 체인은 중간 벡터 없이 reduce로 융합됩니다; 검증된 하위 집합 외부의 콜백은 즉각적 실체화를 유지합니다.
| 질문 | 비교된 구현 | 현재 결론 |
|---|---|---|
| 작은 Wasm 컴파일 + 실행 | Kotoba, Rust, C, 및 JVM 툴체인 | 위에 게시된 네 가지 프로세스 콜드 중앙값; Kotoba/Rust/C만 Wasm 대상을 공유하며 일반 빌드 속도 순위는 주장하지 않습니다 |
| 소규모 프로젝트 개발자 루프 | Kotoba, Rust, C, Zig, TinyGo, Go, Swift, JVM, AssemblyScript, .NET IL 및 .NET Native AOT | 사용 가능한 단계별로 7개 샘플이 게시됨; 대상 차이와 실패한 호스트 부하 게이트로 인해 보편적 순위 불가 |
| 네이티브 정상 상태 실행 | Amu 네이티브 vs Rust, Clang / C11, Zig, Go c-shared, Swift | 모든 30 의미론적 비교 셀이 완성됨; 조용한 호스트 게이트 실패로 속도 순위 보류 |
| 문자열, 컬렉션, 할당, 입출력, 동시성 및 실제 앱 | Kotoba, Rust, C, Go, JVM, 그리고 JavaScript 런타임 경로 | 정확한 체크섬과 프로세스 콜드 및 분산 샘플이 공개됩니다; 독립형 Kotoba I/O 및 스레드는 해당 없음이며, 순수 요청 허용 애플리케이션은 측정됩니다; 실패한 로드 게이트는 순위를 보류합니다 |
네이티브 스위트가 다루는 것
각 구현은 독립적으로 확인된 알려진 답변을 반환합니다. 이 스위트는 ABBA/BAAB 순서로 모든 엔진 쌍을 순환하며 로딩, 매핑, 심볼 조회 후 측정합니다.
| 작업 부하 | 강조하는 것 | 증거 상태 |
|---|---|---|
| 좁은 산술 | 정확한 결과 검증됨; 타이밍은 자격 미부여 | |
| 넓은 레지스터 압력 | 정확한 결과 검증됨; 타이밍은 자격 미부여 | |
| 깊은 스필 압력 | 정확한 결과 검증됨; 타이밍은 자격 미부여 | |
| 호출 보존 | 정확한 결과 검증됨; 타이밍은 자격 미부여 | |
| 분기 + 호출 제어 흐름 | 정확한 결과 검증됨; 타이밍은 자격 미부여 | |
| 루프 콜 백 엣지 | 정확한 결과 검증됨; 타이밍은 자격 미부여 |
각 벤치마크가 위치한 곳
위의 모든 숫자는 공개 하니스와 커밋된 보고서에서 나온 것이므로, 실행은 반복될 수 있고 주장은 반박될 수 있습니다. 저장소 내 경로는 이 표는 이 페이지가 생성될 때 작업 트리와 대조됩니다: 빌드를 실패시키는 하니스로, 죽은 링크를 배포하지 않습니다.
이 페이지의 모든 순서를 통과시키는 게이트는 kotoba-lang/perfgate, 자체 완화되지 않은 기본 정책으로 실행됨. 임계값이 완화되어 실행 자체 임계값을 측정하는 벤치마크가 될 것입니다.
요점: 아티팩트, 정확한 결과 및 샘플은 다섯 벤치마크 모두에서 실제입니다. 그중 세 개 — 컴파일러 시작, 개발자 루프 및 작업 부하 도메인 — 은 조용한 호스트 게이트를 통과하지 못해 순위가 없으며 관찰로 게시됩니다. 네이티브 런타임 스위트는 게이트를 통과했고 19 중 30 쌍에서 승리했으며, 모든 쌍 주장은 부족합니다. 빌드 확장은 호스트의 모든 비교자에 대해 콜드 스타트 순서를 자격으로 하며 동일 실행에서 정확성 상한을 찾습니다. 이 페이지 어디에도 보편적 속도 순위가 주장되지 않으며, 이 실행 중 어느 것도 이를 허가하지 않습니다.
경계가 첨부된 주장들
이 주장들은 다음에서 생성되었습니다 lang/safety-claims.edn. 각각은 신뢰할 수 있는 컴퓨팅 기반과 잔여 위험을 가시적으로 유지합니다. 경계 없는 안전 슬로건은 단지 마케팅일 뿐입니다.
허용된 구성 요소는 런타임/네이티브 메모리 및 구성 요소 메모리 작업을 처리할 수 없으며, 작업은 제한되거나 트랩됩니다.
신뢰할 수 있는 컴퓨팅 기반
제한된 리더 · 프런트엔드 승인 · 아티팩트 검증기 · Wasm/네이티브 런타임
잔여 위험
- 런타임 엔진 취약점이 TCB에 남아 있습니다
- 네이티브 로더는 두 번째 OS 격리 경계가 필요합니다
Kotoba 작성 공급자가 사용하는 효과를 포함하여 모든 전이 구성 요소 효과는 방출 전에 선언되고 승인됩니다.
신뢰할 수 있는 컴퓨팅 기반
효과 추론 · 권한 카탈로그 · 프런트엔드 호출 그래프
잔여 위험
- kotoba와 컴파일러 문법/효과 동등성은 지속적으로 비교되어야 합니다
부여되지 않은 권한은 없거나 바인딩되지 않아 공급자나 네이티브 핸들러에 도달할 수 없습니다.
신뢰할 수 있는 컴퓨팅 기반
정책 교차 · 컴파일러 가져오기 방출 · 입찰 가져오기 바인딩 · 호스트 가드
잔여 위험
- 프로바이더와 네이티브 구현은 자원 범위를 독립적으로 검증해야 합니다.
- 생산 효과 권한은 와일드카드 범위를 금지해야 함
동일하게 허용된 소스, 대상, 정책 및 잠금은 동일한 관찰 가능한 순수 결과 및 아티팩트 바이트를 생성합니다.
신뢰할 수 있는 컴퓨팅 기반
정준 판독기 · 결정적 저하 · 고정 툴체인
잔여 위험
- 호스트 효과는 해당 기능 계약에 명시된 경우에만 결정적입니다
소스, 승인, 실행, 메모리 및 출력은 명시적 유한 경계를 사용합니다.
신뢰할 수 있는 컴퓨팅 기반
입장 제한 · 연료 미터 · 런타임 할당량 · 감독자 타임아웃
잔여 위험
- 플랫폼 감독자는 아직 동등한 생산 격리 증거를 갖추지 못했습니다
출시 승인에는 아티팩트 정체성, 신뢰된 서명자, 유효성 및 재현 가능 증거가 묶입니다.
신뢰할 수 있는 컴퓨팅 기반
서명 검증기 · 신뢰된 서명자 구성 · 시계 · 폐기 세트
잔여 위험
- 키 관리 및 외부 폐기 배포는 운영 TCB로 유지됨
공유 가능한 휴대용 구성 요소는 자격을 갖춘 백엔드 전반에 걸쳐 동등한 수용, 결과 및 효과 추적을 가집니다.
신뢰할 수 있는 컴퓨팅 기반
공유 적합성 매니페스트 · 백엔드 어댑터 · 비교 실행기
잔여 위험
- 컴파일러 전용 기능은 이식 불가능하며 이식 가능한 프로필에서 거부되어야 함
구성 요소 가져오기는 구체적인 교차 후 자원 범위와 함께 제공자 또는 네이티브 핸들러에 도달하며 영수증을 출력합니다.
신뢰할 수 있는 컴퓨팅 기반
능력 교차점 · 호스트 가드 · 공급자 핸들러 · 영수증 싱크
잔여 위험
- 공급자별 경로, 리디렉션, 심볼릭 링크 및 테넌트 검사는 Q5 키트가 필요합니다
자격 Q1, 기준 2026-07-18.
릴리스 바인딩
언어 프로필과 구현 릴리스는 서명된 봉투가 이들을 묶을 때까지 별개입니다.
프로필 6
패키지 계약 1
v0.7.0
프로필 바인딩: 검증됨
출시됨
:docs/release-bound-profile
Kotoba v0.7.0 darwin-arm64용은 언어 프로필 6 및 패키지 계약 1에 바인딩된 공개 구현입니다. 서명된 봉투는 소스 트리, 아티팩트 다이제스트, 그리고 536-테스트 / 8,580-어설션 적합성 결과를 검증합니다. 다른 플랫폼은 아직 바인딩되지 않았습니다.
생성된 릴리스 증거 읽기60초 내 시작
설치 및 자체 검사
brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --json문제 목록이 비어 있어도 유효한 응답을 수락합니다.
첫 번째 프로그램
(defn main []
(+ 40 2))이 프로그램은 호스트 임포트를 요청하지 않으며, 생성된 모듈에 임포트가 없습니다.
배우고, 시도하고, 더 깊이 들어가기
첫 번째 프로그램에서 언어 계약, 라이브러리, 증거 및 배포 표면까지 연결된 경로.
작은 Kotoba 프로그램, 실제 실행 중
Amu는 이 순수 Kotoba 소스를 wasm32-browser 프로필로 컴파일합니다. 체크인된 아티팩트는 임포트가 없으며 42을 반환합니다.
;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)
(defn double [n]
(+ n n))
(defn main []
(double 21))
권한 강조: kotoba-lang/문법 → kotoba.grammar.highlight/tokenize → 빌드 타임 HTML. 편집기 범위 계약: source.kotoba. 브라우저 하이라이터 의존성: 없음. 종속성 검사
로컬 컴파일: kotoba compile double-21.kotoba --target wasm32-browser --output double-21.wasm
검증된 아티팩트 실행
브라우저는 344 바이트를 가져오고, SHA-256을 검증하며, 모든 임포트를 거부하고, 모듈을 인스턴스화한 후 main()을 호출합니다.
예상 결과:
42
준비됨. 아직 코드가 실행되지 않음.
이것은 미리 컴파일된 불변 예제를 실행합니다. 브라우저에서 임의 소스 편집은 아직 출시된 컴파일러 표면이 아닙니다.
인터랙티브 데모: solar-helix (게스트 주도 WebGPU 렌더) · kami-survivors (.kotoba 게임) · gpu-clear (WebGPU 스모크). wasm-webcomponent GitHub 페이지 표면에 호스팅됨; 가용성은 브라우저별 WebGPU/WebAssembly 지원에 따름.
패키지 경계를 숨기지 않는 라이브러리
Kotoba 라이브러리는 콘텐츠 주소 지정 그래프입니다. 이름과 GitHub 저장소는 사람들이 이를 발견하도록 돕고, 정의 및 서명된 릴리스 CID는 정확히 무엇인지 말해줍니다.
데이터, 효과, I/O, 도구
coll, spec, json, text, wit, async, time, fs, http, test, fmt, lint 및 LSP 계약으로 시작.
라이브러리 지도 탐색태그별로 전체 조직 탐색
있습니다 2,215 공개 저장소 kotoba-lang 조직. 아래의 모든 태그는 GitHub 주제임 같은 이름이므로 사이트 필터와 조직의 주제는 하나의 어휘입니다 두 개가 떠내려가는 대신 하나를 선택하여 이미 필터링된 카탈로그를 엽니다.
저장소는 게시된 패키지가 아닙니다. 정확히 1 라이브러리가 콘텐츠 주소 지정 레지스트리를 통해 게시됩니다; 이 목록의 나머지는 발견입니다. 저장소 성숙도 라벨은 1.0 API 안정성, 광범위한 채택 또는 생산 SLO를 의미하지 않으며, 255 저장소는 도메인 규칙과 일치하지 않아 가장 가까운 라벨 대신 태그 없이 표시됩니다.
검증된 참조 검색
명령어, 표준 라이브러리 이름, 진단 및 릴리스 상태를 검색하세요. 인덱스는 기계 권한에서 생성되며 이 페이지에 유지됩니다.
시도: 컴파일, 옵션-있음, 문서/링크-누락
릴리스 바인딩
Kotoba v0.7.0 darwin-arm64용은 언어 프로필 6 및 패키지 계약 1에 바인딩된 공개 구현입니다. 서명된 봉투는 소스 트리, 아티팩트 다이제스트, 그리고 536-테스트 / 8,580-어설션 적합성 결과를 검증합니다. 다른 플랫폼은 아직 바인딩되지 않았습니다.
오픈 참조
kotoba id
패스키로 제어되는 체인 중립 Kotoba 주체 등록 계획 생성. 스마트 계정은 명시적 CAIP-10 연결; 어떤 체인이나 공급자가 정체성 루트가 아님.
오픈 참조
kotoba compile
Kotoba 계열 소스를 대상 아티팩트로 컴파일합니다. 웹 .kotoba는 검증된 KIR과 제한된 kotoba-script 백엔드를 사용하며; .cljs는 ClojureScript로 유지됩니다.
오픈 참조
kotoba check
Kotoba 소스, 계약 또는 패키지 메타데이터를 실행하지 않고 검증합니다. 컴파일러 어댑터: 프런트엔드 허용 + --profile pure-product (T9.2).
오픈 참조
kotoba build
Kotoba 프로젝트를 확인된 대상 아티팩트로 빌드합니다. 이것은 직접적인 프로젝트 수명주기 명령이며, rad build는 호환성 철자입니다.
오픈 참조
kotoba test
Kotoba 프로젝트에 대해 승인된 테스트를 확인하고 실행하세요. 이것은 직접적인 프로젝트 수명 주기 명령입니다; rad test는 호환성 철자입니다.
오픈 참조:버전/지원불가
요청한 언어 또는 패키지 계약 버전을 알 수 없습니다. lang/version-policy.edn의 :supported에 나열된 버전을 선택하세요.
오픈 참조:release/invalid-semver
릴리스 식별자는 엄격한 SemVer가 아닙니다. 유효한 사전 릴리스 또는 빌드 접미사가 선택적으로 포함된 MAJOR.MINOR.PATCH를 사용하세요.
오픈 참조:docs/no-release-bound-profile
활성 언어 프로필을 구속하는 공개된 구현 증거가 없습니다. 서명된 릴리스 봉투가 구현과 프로필을 구속할 때까지 공개 기본값을 차단 상태로 유지하십시오.
오픈 참조:docs/generated-drift
커밋된 생성 참조가 기계 권한과 일치하지 않습니다. nbb scripts/generate-docs-reference.cljs를 실행하고 결과를 커밋하세요.
오픈 참조:docs/validation-result-invalid
사용자 검증 관찰은 불완전하거나 외부 결과를 과대 주장합니다. 참가자 클래스, 작업, 결과, 증거 및 관찰 시간을 기록하세요.
오픈 참조쿼리는 브라우저를 벗어나지 않습니다.
로드맵: 경계가 유지된 후에만 확장
버전 관리된 하나의 계약
문법, 효과, 검사된 KIR, 대상 어댑터, 자격 및 첫 실행 문서를 정렬 상태로 유지하십시오.
공급자 격차 해소
타입 요청/결과 적합성, 적대적 테스트, 영수증, 철회 및 재현 가능한 릴리스 작업 확장.
더 넓은 배포 획득
프로바이더, 호스트 격리, 롤백, 침지 증거 후에 프로덕션 사용을 확대하고 검사 가능한 선언적 라이브러리를 성장시킵니다.
로드맵 항목은 방향이며, 출하된 기능이나 납기 약속이 아닙니다.
공개적으로 커뮤니티 구축
Kotoba는 아직 큰 커뮤니티를 주장하지 않습니다. 오늘날 정직한 공개 만남 지점은 소스 저장소, 이슈 트래커, 릴리스 기록 및 보안 채널입니다.
권한을 구매하지 않고 공개 경계를 자금 지원
Kotoba GitHub 후원자 프로필이 준비 중입니다. 프로젝트 페이지는 현재 준비되어 있으며 GitHub가 조직 프로필을 승인한 후에만 결제 기능을 노출합니다.
지원은 권한이 아닙니다
후원은 기능, 로드맵 우선순위, 지원 SLA, 비공개 접근 또는 보안 예외를 구매하지 않습니다.
후원 상태: 준비 중. 확인됨 2026-09-01.
안전한 코드. 신뢰할 수 있는 상태. 제어된 실행.
제어된 실행
Kotoba Cloud는 신원과 배포 제어를 실행 환경에 연결합니다. 발견은 실시간이지만 호스팅 적용은 아직 제공되지 않습니다. 컴퓨팅은 별도로 관리되는 서비스에서 계속 제공됩니다.
Kotoba Cloud 열기신뢰된 그래프 상태
Kotobase는 AI 상태 및 지식을 위한 콘텐츠 주소 지정 그래프 데이터베이스입니다: 명시적 관계, 식별 가능한 기록 및 범위가 지정된 접근.
열기 Kotobase이 서비스들은 별도의 권한, 가용성, 자격 경계를 유지합니다. 이들의 연결은 모든 Kotoba 기능이 일반적으로 판매되는 호스팅 서비스로 제공됨을 증명하지 않습니다.
계약서를 읽거나 구현을 실행하세요
언어 프로필 6; 공개 기본 릴리스 상태: 출시됨.
주요 이식 가능한 플랫폼은 WASI가 포함된 WebAssembly 구성 요소입니다. 0.3.0. 전개 파이프라인이 있음 11 명명된, 실패-폐쇄 단계.