Exact numerical rules
Use declared integer accumulation contracts with reference checks.
Hyphae BitNet Exact ternary CPU inference
Hyphae BitNet is a CPU runtime for supported ternary models. Its current executable is hyphae-bitnet, with celiums-bitnet and historical ABI names retained for compatibility.
Make supported model inference inspectable through explicit numerical, model, memory, and hardware contracts.
01 / Why it matters
Use declared integer accumulation contracts with reference checks.
Refuse model or session allocations that exceed the configured memory budget.
Admit explicit model families and formats instead of implying arbitrary model support.
Report prefill and decode separately, with model, CPU, and workload identities.
02 / How it works
The main stages make the project’s boundaries visible.
Check the supported family, format, and operator-pinned model identity
Admit the selected compute layout within the working-set cap
Current ARM and x86 Q1 paths use packed panels; prefill and decode differ
CLI, experimental C ABI, HTTP subset, and benchmark records
03 / Capabilities
Supported I2_S BitNet and Q1_0 Bonsai CPU text paths, with explicit family selection.
Generation, native HTTP serving, benchmarks, validation, and an experimental C ABI.
Linux x86-64 archives and measured ARM64 Q1 work; NEON DOTPROD remains the measured Graviton4 default.
A separate process connects Hyphae retrieval, memory, and receipts to the runtime.
04 / Evidence
The v0.3.3 release publishes source/runtime version 0.3.2 and records Graviton4 validation and A/B measurements.
Distributed under tag v0.3.3
Earlier expand-to-int8 speedups describe historical ARM code. The current ARM path uses packed Q1 panels; results vary by phase, model, layout, and thread count.
Hyphae BitNet