1つのトランザクション境界
SQL、構造、および検索ミューテーションは、1 つのカタログ、WAL、MVCC ルート セット、およびコミット シーケンスの下でコミットされます。
ソフトウェアシステム01 / データ
存続し、それ自体を説明する必要があるデータを扱う 1 つの地方自治体。
Hyphae は、SQL、ネイティブ構造、字句/ベクトル検索、トランザクション、リカバリ、プルーフが 1 つの所有ストレージとコミット サブストレートを共有する Rust データ エンジンです。
ローカル データベースと検索サービスのスタックを、状態とリリースを確認できる、制限されたオフライン対応の 1 つの機関に置き換えます。
01 / Benefits
Hyphaeを使う理由
地元第一主義の建設
埋め込み Rust、ローカル ソケットまたは名前付きパイプ、CLI、およびオプションのループバック HTTP は、必要なクラウド アカウントなしで動作します。
サイドカーなしで検索する
字句検索、厳密ベクトル検索、インクリメンタル ANN、フィルター検索、ファセット検索、メトリック検索、およびハイブリッド検索が同じエンジン内に存在します。
耐久性は検査可能です
チェックポイント、バックアップ、リストア、リカバリ、バキューム生成、ドクターレポート、プルーフ、および証人には、限界のある障害動作があります。
公共契約
OpenAPI、JSON スキーマ、型指定された Python および TypeScript SDK、およびバージョン管理されたローカル プロトコルによって、ワイヤー境界が定義されます。
リリース証跡
アーカイブ、チェックサム、SBOM、署名、出所、ゲートレシートにより、リリースが正確なソースにバインドされます。
02 / Architecture
システム構成
すべての公開サーフェスは 1 つのネイティブ製品とトランザクション権限に集中します。ストレージ、リカバリ、証拠は別個のサービスではありません。
- 01
アプリケーション
組み込み Rust、CLI、Python/TypeScript SDK、MCP、ローカル プロトコル、オプションの HTTP /v2
- 02
ネイティブ製品オーソリティ
ID、アクセス制御、セッション、制限、キャンセル、操作、およびトランザクションのスケジュール設定
- 03
3 つのデータ サーフェス
リレーショナル SQL + ネイティブ構造 + 字句/ベクトル/ハイブリッド検索
- 04
耐久性のある基材
カタログ、ページ、BLOB、WAL、MVCC、インデックス、オブジェクト ID、チェックポイント、バックアップ、プルーフ
- 05
検証可能な出力
証人、領収書、医師の報告書、リリースの出所、オフライン検証
03 / Surface
Hyphaeの機能
リレーショナル
境界付き DDL/DML、準備されたクエリ、セカンダリ インデックス、結合、制約、ウィンドウ、トランザクション。
ネイティブ構造
文字列、カウンター、ハッシュ、リスト、セット、ソートされたセット、ストリーム、TTL、スキャン、代数、およびアトミック バッチ。
情報検索
BM25、正確なベクトル、HNSW ANN、フィルター、ファセット、メトリック、決定論的融合、および同一スナップショット ハイブリッド検索。
運営
単一ディレクトリの所有権、チェックポイント、バックアップ/復元、バキューム、インポート/プロモーション、アクセス制御、および診断。
04 / Evidence
実証済みの内容
G7 の運用規模の権威は、その指定された VM とプロトコルの強力な証拠であり、普遍的な遅延の主張ではありません。
測定された観測値
33 surface/concurrency cells
論理コミットが回復されました
ゼロが欠落または不一致です
ANNリコール@10
測定されたすべてのセルで
閉じた境界ゲート
ソースバインドされたリリース証拠
これらの測定により、公開環境における限界のある正確性、アカウンティング、リコール、同時実行性、およびリカバリが確立されます。ポータブル レイテンシ、ベア メタル、または分散操作を保証するものではありません。
現在できること
- 1 つのローカル Rust バイナリと 1 つの排他的に所有されるデータ ディレクトリとして実行されます。
- リレーショナル、構造、および検索のワークロードを 1 つのトランザクション権限の下に統合します。
- 組み込み、ローカル マルチクライアント、CLI、およびオプションのループバック HTTP の使用をサポートします。
- クロスプラットフォームのアーカイブと型指定されたクライアントをリリース検証とともに出荷します。
今後の方向性
- 組み込みパスの競合を削減し、単一段階のフィルタリングを完了します。
- SIMD とオプションの異種アクセラレーションを証拠ゲートの後ろにのみ追加します。
- 事前に証明された埋め込みと取得の証明。
- ホスト型プログラム、分散型プログラム、およびモデル駆動型プログラムを、サイレント スコープの拡張ではなく、別個の契約として扱います。
意図的にそうではないもの
- 分散クラスター、ホスト型 SaaS、課金/コントロール プレーン、またはマルチテナント データベースではありません。
- TLS または保存時の暗号化は組み込まれていません。オペレータは独自のリモート終了ポリシーとファイルシステム ポリシーを所有します。
- 埋め込み LLM や必要な埋め込みプロバイダーはありません。
- 証拠は文書化されたコミットメントとルールを検証します。入力された事実が真実であることを証明するものではありません。