Ranvier Code-as-Circuit
// src/ingress/auth.rs
let auth_flow = Axon::new()
.then(validate_token)
.branch(|ctx| {
match ctx.role {
Admin => admin_circuit,
User => user_circuit,
}
});LIVE SCHEMATIC
Ingress
Validate
Admin
User
"로직을 쓰면, Ranvier가 회로를 검증합니다."
01
Axon 실행
타입이 보장된 Transition으로 명시적인 흐름을 구성합니다. 모든 단계는 읽을 수 있고, 검증 가능하며, 의도적으로 설계됩니다.
02
Schematic 인사이트
코드를 실행하지 않고 구조를 추출합니다. 런타임 전에 회로를 diff 및 검증할 수 있습니다.
03
Outcome 명확성
분기, 점프, emit, fault가 데이터로 남습니다. 숨겨진 미들웨어 체인은 없습니다.
04
경계 규율
Ingress/Egress 어댑터가 프로토콜을 변환합니다. 코어는 깨끗하게 유지되고, 리소스와 신뢰 경계는 명시적으로 통제됩니다.
기초 보장
Bus는 타입 기반 컨테이너입니다. 무엇을 넣을지, 누가 읽을지 명시합니다.
Ingress는 요청을 상태로 변환하고, Egress는 Outcome을 응답으로 변환합니다.
Schematic은 정적 구조물입니다. diff/검증/시각화는 가능하지만 실행하지 않습니다.
LLM은 구조를 제안할 수 있지만, 런타임 변경은 반드시 리뷰와 검증을 거칩니다.
No Magic. Just Physics.
Ranvier는 표준 Rust 바이너리로 컴파일됩니다. 코어는 프로토콜 독립을 유지하고, 어댑터가 전송 계층을 담당합니다. 모든 제어는 명시적으로 남습니다.
소스 보기