Typed Decision Engine

실행 흐름이 읽히고
구조는 끝까지 검증됩니다.

Ranvier는 Rust 제어 흐름을 숨기지 않습니다. Axon이 실행을 맡고, Schematic이 구조를 드러내며, Outcome이 각 분기 결과를 데이터로 남깁니다.

코어는 프로토콜 독립 HTTP 처리는 어댑터 계층에서 숨은 미들웨어 체인 없음 Bus 접근은 명시적으로 제어 런타임 전에 Schematic diff/검증

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가 맡습니다."

Axon 실행 흐름

타입이 보장된 Transition으로 의사결정 흐름을 구성합니다. 단계별 동작이 코드에 드러나고 변경 전후를 추적하기 쉽습니다.

Schematic 구조 가시화

실행 없이 구조를 추출해 회로를 확인합니다. 운영 전에 diff와 검증으로 리스크를 줄일 수 있습니다.

Outcome 기반 제어

분기, 점프, emit, fault를 모두 데이터로 남깁니다. 숨은 체인 대신 결과를 근거로 제어 흐름을 추적할 수 있습니다.

경계 규율

Ingress/Egress 어댑터가 프로토콜 경계를 담당합니다. 코어는 순수하게 유지하고, 리소스와 신뢰 경계를 명시적으로 통제합니다.

기본 보장

Bus는 타입 기반 컨테이너입니다. 어떤 리소스를 넣고 누가 읽을지 코드에서 명확히 지정합니다.

Ingress는 요청을 상태로 변환하고, Egress는 Outcome을 응답으로 매핑합니다.

Schematic은 정적 구조물입니다. diff/검증/시각화 전용이며 실행 로직은 다루지 않습니다.

LLM은 구조를 제안할 수 있지만 런타임 변경은 반드시 사람의 리뷰와 검증을 거칩니다.

처음 시작 경로

1) Ranvier: 소개/튜토리얼에서 Axon, Outcome, 어댑터 경계를 먼저 익힙니다.

2) CLI: 매뉴얼 명령으로 예제 schematic/projection 산출물을 직접 확인합니다.

3) VSCode: 현황 + 배포 가이드 경로로 diagnostics, source jump, release 검증 흐름을 적용합니다.

문서 경로

소개

Ranvier가 왜 필요한지, 무엇을 숨기지 않는지, 어떤 경계를 지키는지 설명합니다.

튜토리얼

최소 Ingress 회로를 만들고 실행해 보며 기본 워크플로를 익힙니다.

매뉴얼

핵심 개념, 계층 경계, CLI 도구, Trace/Inspector 흐름을 빠르게 찾아볼 수 있습니다.

현황

Ranvier, CLI, VSCode의 현재 가능 범위를 검증 명령과 함께 확인합니다.

No Magic. Just Physics.

Ranvier는 표준 Rust 바이너리로 컴파일됩니다. 코어는 프로토콜 독립을 유지하고 어댑터가 전송 계층을 맡습니다. 제어 흐름은 끝까지 코드에 남아 검증 가능합니다.

소스 보기

실행 흐름이 읽히고 구조는 끝까지 검증됩니다.