SQL
An indexed, fail-closed relational core. Typed DDL, multi-row named-column
INSERT, exact-primary-key UPDATE/DELETE,
indexed SELECT shapes, total and primary-key-prefix grouped
aggregates with HAVING and grouped ORDER BY,
SELECT DISTINCT, OFFSET, BETWEEN, one
admitted indexed INNER JOIN and one nonrecursive CTE form. No
subqueries, no UNION, no outer joins, no expression arithmetic —
unsupported shapes fail closed rather than scan.
Native structures
A native keyspace/data-structure engine: strings, counters, hashes, lists,
sets, sorted sets, streams, TTL, scans and algebra, plus the Valkey-shaped
conditional and range commands on wire minor 6. Structures share Hyphae's own
transaction and TTL semantics — there is no RESP surface in the native
product.
Lexical search
An integrated lexical/vector search engine: BM25 and BM25F field boosts,
typed doc-values with bounded filters, facets and metric aggregations,
relative-score fusion, autocut, and prefix, fuzzy and phrase matching under
explicit budgets. Positions are not stored.
Vector and hybrid fusion
Exact vectors and a deterministic HNSW index for incremental ANN, with
same-snapshot hybrid fusion across lexical and vector results — no external
search engine or vector store.
Proofs and witnesses
Native checkpoints, HYNPRF02 result proofs and witnesses bound to
an ExternalTrustedAnchor, backups, restores, vacuum generations
and complete doctor reports. hyphae proof verify runs
offline, on another machine, with no directory access and no network call.
Agent Memory
One shared, local Agent Memory for Claude Code, Codex, OpenCode and Pi, with
project isolation, TTL, proactive recall, conservative capture, durable spool,
PII/secret rejection, and offline-verifiable recall proofs.
Protocol and SDKs
One embedded Rust facade, a local UDS/named-pipe protocol, a CLI, optional
loopback HTTP /v2, typed Python and TypeScript SDKs, and the
bounded Agent Memory MCP profile.