Une limite de transaction
SQL, les structures et les mutations de recherche sont validées sous un seul catalogue, WAL, ensemble racine MVCC et séquence de validation.
Système logiciel 01 / Données
Une autorité locale pour des données qui doivent survivre et s'expliquer.
Hyphae est un moteur de données Rust dans lequel SQL, les structures natives, la recherche lexicale/vecteur, les transactions, la récupération et les preuves partagent un seul substrat de stockage et de validation.
Remplacez une pile de bases de données locales et de services de recherche par une autorité limitée et hors ligne dont l'état et les versions peuvent être vérifiés.
01 / Benefits
Pourquoi utiliser Hyphae
Le local d’abord par construction
Rust intégré, les sockets locaux ou les canaux nommés, la CLI et le HTTP de bouclage facultatif fonctionnent sans compte cloud requis.
Rechercher sans side-car
Recherche lexicale, vectorielle exacte, ANN incrémentielle, filtrée, à facettes, métrique et hybride en direct dans le même moteur.
La durabilité est inspectable
Les points de contrôle, les sauvegardes, les restaurations, les récupérations, les générations de vide, les rapports médicaux, les preuves et les témoins ont un comportement d'échec limité.
Marchés publics
OpenAPI, JSON Schema, les SDK typés Python et TypeScript et les protocoles locaux versionnés définissent la limite du fil.
Preuves de la version
Les archives, les sommes de contrôle, les SBOM, les signatures, la provenance et les reçus d'entrée lient les versions à la source exacte.
02 / Architecture
Architecture du système
Toutes les surfaces publiques convergent vers une seule autorité native en matière de produits et de transactions ; le stockage, la récupération et les preuves ne sont pas des services distincts.
- 01
Applications
Rust intégré, CLI, SDK Python/TypeScript, MCP, protocole local, HTTP /v2 en option
- 02
Autorité produit native
Identité, contrôle d'accès, sessions, limites, annulation, opérations et planification des transactions
- 03
Trois surfaces de données
SQL relationnel + structures natives + recherche lexicale/vecteur/hybride
- 04
Substrat résistant
Catalogue, pages, blobs, WAL, MVCC, index, ID d'objet, points de contrôle, sauvegarde et preuves
- 05
Résultats vérifiables
Témoins, reçus, rapports médicaux, provenance de la libération et vérification hors ligne
03 / Surface
Ce que fournit Hyphae
Relationnel
DDL/DML limité, requêtes préparées, index secondaires, jointures, contraintes, fenêtres et transactions.
Structures natives
Chaînes, compteurs, hachages, listes, ensembles, ensembles triés, flux, TTL, analyses, algèbre et lots atomiques.
Recherche d'information
BM25, vecteurs exacts, HNSW ANN, filtres, facettes, métriques, fusion déterministe et recherche hybride avec le même instantané.
Opérations
Propriété d'un répertoire unique, points de contrôle, sauvegarde/restauration, vide, importation/promotion, contrôle d'accès et diagnostics.
04 / Evidence
Ce qui a été démontré
L’autorité à l’échelle opérationnelle du G7 constitue une preuve solide de son nom de machine virtuelle et de son protocole, et non une affirmation de latence universelle.
observations mesurées
33 surface/concurrency cells
commits logiques récupérés
zéro manquant ou incompatible
Rappel ANN@10
dans chaque cellule mesurée
portes fermées et délimitées
preuve de libération liée à la source
Ces mesures établissent des limites d'exactitude, de comptabilité, de rappel, de concurrence et de récupération dans l'environnement publié. Ils ne certifient pas la latence portable, le bare metal ou le fonctionnement distribué.
Ce qu’il fait aujourd’hui
- Fonctionne comme un binaire Rust local et un répertoire de données exclusif.
- Unifie les charges de travail relationnelles, de structure et de récupération sous une seule autorité de transaction.
- Prend en charge l'utilisation intégrée, multi-client local, CLI et HTTP de bouclage en option.
- Expédie des archives multiplateformes et des clients typés avec vérification de la version.
Ce qu’il prévoit
- Réduisez les conflits de chemin intégré et effectuez un filtrage complet en une seule étape.
- Ajoutez SIMD et une accélération hétérogène facultative uniquement derrière les portes des preuves.
- Intégrations attestées à l’avance et preuve de récupération.
- Traitez les programmes hébergés, distribués et basés sur des modèles comme des contrats distincts plutôt que comme une croissance silencieuse de la portée.
Ce que ce n'est pas délibérément
- Il ne s'agit pas d'un cluster distribué, d'un SaaS hébergé, d'un plan de facturation/contrôle ou d'une base de données mutualisée.
- Pas de TLS intégré ou de chiffrement au repos ; les opérateurs possèdent leur propre politique de terminaison à distance et de système de fichiers.
- Aucun LLM intégré ni fournisseur d'intégration requis.
- Les preuves vérifient les engagements et les règles documentés ; ils ne prouvent pas que les faits d’entrée sont vrais.
Hyphae