Règles numériques exactes
Utilisez des contrats d’accumulation d’entiers déclarés avec vérification des références.
Hyphae BitNet Inférence ternaire exacte sur CPU
Hyphae BitNet est un runtime CPU pour les modèles ternaires pris en charge. Son exécutable actuel est hyphae-bitnet, avec celiums-bitnet et les noms ABI historiques conservés pour des raisons de compatibilité.
Rendre l'inférence de modèle prise en charge inspectable via des contrats explicites numériques, de modèle, de mémoire et de matériel.
01 / Pourquoi c'est important
Utilisez des contrats d’accumulation d’entiers déclarés avec vérification des références.
Refusez les allocations de modèle ou de session qui dépassent le budget de mémoire configuré.
Admettez les familles et formats de modèles explicites au lieu d’impliquer une prise en charge arbitraire des modèles.
Rapportez le pré-remplissage et le décodage séparément, avec les identités de modèle, CPU et de charge de travail.
02 / Comment ça marche
Les principales étapes rendent visibles les limites du projet.
Vérifiez la famille prise en charge, le format et l'identité du modèle épinglé par l'opérateur
Admettre la disposition de calcul sélectionnée dans la limite de l'ensemble de travail
Les chemins ARM et x86 Q1 actuels utilisent des panneaux compressés ; le pré-remplissage et le décodage diffèrent
CLI, C ABI expérimental, sous-ensemble HTTP et enregistrements de référence
03 / Capacités
Chemins de texte I2_S BitNet et Q1_0 Bonsai CPU pris en charge, avec sélection de famille explicite.
Génération, service HTTP natif, benchmarks, validation et un C ABI expérimental.
Archives Linux x86-64 et travail ARM64 Q1 mesuré ; NEON DOTPROD reste la valeur par défaut mesurée de Graviton4.
Un processus distinct connecte la récupération, la mémoire et les reçus Hyphae au runtime.
04 / Preuve
La version v0.3.3 publie la version source/exécution 0.3.2 et enregistre la validation Graviton4 et les mesures A/B.
Distribué sous l'étiquette v0.3.3
Les accélérations d'expansion vers int8 antérieures décrivent le code historique ARM. Le chemin ARM actuel utilise des panneaux Q1 compressés ; les résultats varient selon la phase, le modèle, la disposition et le nombre de threads.
Hyphae BitNet