하나의 트랜잭션 경계
SQL, 구조 및 검색 변형은 하나의 카탈로그, WAL, MVCC 루트 세트 및 커밋 시퀀스에 따라 커밋됩니다.
소프트웨어 시스템 01 / 데이터
생존하고 스스로 설명해야 하는 데이터에 대한 단일 지역 기관입니다.
Hyphae는 SQL, 기본 구조, 어휘/벡터 검색, 트랜잭션, 복구 및 증명이 하나의 소유 스토리지와 커밋 기반을 공유하는 Rust 데이터 엔진입니다.
로컬 데이터베이스 및 검색 서비스 스택을 상태 및 릴리스를 확인할 수 있는 제한된 오프라인 가능 기관으로 대체합니다.
01 / Benefits
Hyphae를 사용하는 이유
지역 우선 건설
내장된 Rust, 로컬 소켓 또는 명명된 파이프, CLI 및 선택적 루프백 HTTP는 필수 클라우드 계정 없이 작동합니다.
사이드카 없이 검색
어휘, 정확한 벡터, 증분 ANN, 필터링, 패싯, 메트릭 및 하이브리드 검색이 동일한 엔진에 있습니다.
내구성 점검 가능
체크포인트, 백업, 복원, 복구, 진공 생성, 의사 보고서, 증거 및 증인에는 제한된 실패 동작이 있습니다.
공공 계약
OpenAPI, JSON 스키마, 형식화된 Python 및 TypeScript SDK, 버전별 로컬 프로토콜이 와이어 경계를 정의합니다.
릴리스 근거
아카이브, 체크섬, SBOM, 서명, 출처 및 게이트 영수증은 릴리스를 정확한 소스에 바인딩합니다.
02 / Architecture
시스템 구성
모든 공개 표면은 하나의 기본 제품 및 거래 권한으로 수렴됩니다. 보관, 복구, 증거자료는 별도의 서비스가 아닙니다.
- 01
응용
임베디드 Rust, CLI, Python/TypeScript SDK, MCP, 로컬 프로토콜, 선택적 HTTP /v2
- 02
기본 제품 권한
ID, 액세스 제어, 세션, 제한, 취소, 운영 및 트랜잭션 예약
- 03
세 가지 데이터 표면
관계형 SQL + 기본 구조 + 어휘/벡터/하이브리드 검색
- 04
내구성이 뛰어난 기판
카탈로그, 페이지, Blob, WAL, MVCC, 인덱스, 개체 ID, 체크포인트, 백업 및 증명
- 05
검증 가능한 출력
증인, 영수증, 의사 보고서, 석방 출처 및 오프라인 확인
03 / Surface
Hyphae의 기능
관계형
제한된 DDL/DML, 준비된 쿼리, 보조 인덱스, 조인, 제약 조건, 창 및 트랜잭션.
기본 구조
문자열, 카운터, 해시, 목록, 집합, 정렬된 집합, 스트림, TTL, 스캔, 대수 및 원자 배치.
정보 검색
BM25, 정확한 벡터, HNSW ANN, 필터, 패싯, 메트릭, 결정적 융합 및 동일 스냅샷 하이브리드 검색.
운영
단일 디렉터리 소유권, 체크포인트, 백업/복원, 진공, 가져오기/승격, 액세스 제어 및 진단.
04 / Evidence
입증된 내용
G7 운영 규모 기관은 보편적인 대기 시간 주장이 아니라 명명된 VM 및 프로토콜에 대한 강력한 증거입니다.
측정된 관찰
33 surface/concurrency cells
복구된 논리적 커밋
0이 누락되었거나 일치하지 않음
ANN 리콜@10
측정된 모든 셀에서
닫힌 경계 게이트
소스 바인딩된 릴리스 증거
이러한 측정은 게시된 환경에서 제한된 정확성, 회계, 재현율, 동시성 및 복구를 설정합니다. 휴대용 대기 시간, 베어 메탈 또는 분산 작업을 인증하지 않습니다.
현재 기능
- 하나의 로컬 Rust 바이너리와 하나의 독점적으로 소유된 데이터 디렉터리로 실행됩니다.
- 하나의 트랜잭션 권한으로 관계형, 구조 및 검색 워크로드를 통합합니다.
- 내장된 로컬 다중 클라이언트, CLI 및 선택적 루프백 HTTP 사용을 지원합니다.
- 릴리스 검증을 통해 크로스 플랫폼 아카이브 및 유형화된 클라이언트를 제공합니다.
향후 방향
- 포함된 경로 경합을 줄이고 단일 단계 필터링을 완료합니다.
- 증거 게이트 뒤에만 SIMD 및 선택적인 이기종 가속을 추가하세요.
- 사전에 증명된 임베딩 및 검색 증명.
- 호스팅, 분산 및 모델 기반 프로그램을 자동 범위 확장이 아닌 별도의 계약으로 취급하십시오.
고의로 그렇지 않은 것
- 분산 클러스터, 호스팅된 SaaS, 청구/제어 평면 또는 다중 테넌트 데이터베이스가 아닙니다.
- 내장된 TLS 또는 미사용 암호화가 없습니다. 운영자는 원격 종료 및 파일 시스템 정책을 소유합니다.
- 내장된 LLM이나 필수 내장 공급자가 없습니다.
- 증거는 문서화된 약속과 규칙을 확인합니다. 이는 입력 사실이 사실임을 증명하지 않습니다.