Satu batas transaksi
SQL, struktur, dan mutasi pencarian dikomit dalam satu katalog, WAL, kumpulan akar MVCC, dan urutan komit.
Sistem perangkat lunak 01 / Data
Salah satu otoritas lokal untuk data yang harus bertahan dan menjelaskan dirinya sendiri.
Hyphae adalah mesin data Rust tempat SQL, struktur asli, pencarian leksikal/vektor, transaksi, pemulihan, dan bukti berbagi satu penyimpanan milik dan melakukan substrat.
Ganti tumpukan database lokal dan layanan pencarian dengan satu otoritas terbatas yang berkemampuan offline yang status dan rilisnya dapat diverifikasi.
01 / Benefits
Mengapa tim memakai Hyphae
Lokal-pertama dalam konstruksi
Rust yang tertanam, soket lokal atau pipa bernama, CLI, dan HTTP loopback opsional berfungsi tanpa akun cloud yang diperlukan.
Cari tanpa sespan
Pencarian leksikal, vektor eksak, ANN inkremental, filter, faceted, metrik, dan hibrid tersedia di mesin yang sama.
Daya tahan dapat diperiksa
Pos pemeriksaan, pencadangan, pemulihan, pemulihan, pembuatan vakum, laporan dokter, bukti, dan saksi telah membatasi perilaku kegagalan.
Kontrak publik
OpenAPI, Skema JSON, SDK Python dan TypeScript yang diketik, dan protokol lokal berversi menentukan batas kabel.
Bukti rilis
Arsip, checksum, SBOM, tanda tangan, asal, dan kuitansi gerbang mengikat rilis ke sumber yang tepat.
02 / Architecture
Susunan sistem
Semua platform publik berkumpul pada satu produk asli dan otoritas transaksi; penyimpanan, pemulihan, dan bukti bukanlah layanan yang terpisah.
- 01
Aplikasi
Rust Tertanam, CLI, Python/TypeScript SDK, MCP, protokol lokal, HTTP /v2 opsional
- 02
Otoritas produk asli
Identitas, kontrol akses, sesi, batasan, pembatalan, operasi, dan penjadwalan transaksi
- 03
Tiga permukaan data
SQL relasional + struktur asli + pencarian leksikal/vektor/hibrida
- 04
Substrat yang tahan lama
Katalog, halaman, blob, WAL, MVCC, indeks, ID objek, pos pemeriksaan, cadangan, dan bukti
- 05
Keluaran yang dapat diverifikasi
Saksi, kuitansi, laporan dokter, asal keluarnya, dan verifikasi offline
03 / Surface
Yang disediakan Hyphae
Relasional
DDL/DML yang dibatasi, kueri yang disiapkan, indeks sekunder, gabungan, batasan, jendela, dan transaksi.
Struktur asli
String, penghitung, hash, daftar, himpunan, himpunan yang diurutkan, aliran, TTL, pemindaian, aljabar, dan kumpulan atom.
Pengambilan informasi
BM25, vektor eksak, HNSW ANN, filter, faset, metrik, fusi deterministik, dan penelusuran hibrid snapshot yang sama.
Operasi
Kepemilikan direktori tunggal, pos pemeriksaan, pencadangan/pemulihan, vakum, impor/promosi, kontrol akses, dan diagnostik.
04 / Evidence
Yang telah dibuktikan
Otoritas skala operasional G7 adalah bukti kuat atas nama VM dan protokolnya, bukan klaim latensi universal.
observasi terukur
33 surface/concurrency cells
komit logis dipulihkan
nol hilang atau tidak cocok
Ingatan ANN@10
di setiap sel yang diukur
gerbang terbatas yang tertutup
bukti rilis yang terikat sumber
Pengukuran ini menetapkan kebenaran, akuntansi, penarikan kembali, konkurensi, dan pemulihan yang terbatas dalam lingkungan yang dipublikasikan. Mereka tidak mensertifikasi latensi portabel, bare metal, atau operasi terdistribusi.
Kemampuan saat ini
- Berjalan sebagai satu biner Rust lokal dan satu direktori data yang dimiliki secara eksklusif.
- Menyatukan beban kerja relasional, struktur, dan pengambilan di bawah satu otoritas transaksi.
- Mendukung penggunaan HTTP loopback tertanam, multiklien lokal, CLI, dan opsional.
- Mengirimkan arsip lintas platform dan mengetik klien dengan verifikasi rilis.
Arah pengembangan
- Kurangi pertikaian jalur tertanam dan selesaikan pemfilteran satu tahap.
- Tambahkan SIMD dan akselerasi heterogen opsional hanya di belakang gerbang bukti.
- Penyematan yang telah dibuktikan sebelumnya dan Bukti Pengambilan.
- Perlakukan program yang dihosting, didistribusikan, dan digerakkan oleh model sebagai kontrak terpisah, bukan pertumbuhan cakupan yang diam-diam.
Apa yang sengaja tidak dilakukannya
- Bukan klaster terdistribusi, SaaS yang dihosting, bidang penagihan/kontrol, atau database multipenyewa.
- Tidak ada TLS bawaan atau enkripsi saat tidak digunakan; operator memiliki terminasi jarak jauh dan kebijakan sistem file.
- Tidak ada LLM yang tertanam atau penyedia penyematan yang diperlukan.
- Bukti memverifikasi komitmen dan aturan yang terdokumentasi; mereka tidak membuktikan bahwa fakta yang dimasukkan adalah benar.
Hyphae