Autonomous Rust data engine

Data thatcan prove itself.

One binary. One data directory. KV, structured query, recovery, and proof-bearing results—offline, without an external database or AI.

Structured query works with no LLM, embeddings, cloud, or external database.

Enter the proof journey
APPENDRECOVERQUERYPROVEVERIFY OFFLINE

What Hyphae does

Local data without invisible dependencies.

The base product is useful before a network, model, control plane, or managed service enters the architecture.

01

Durable authority

A checksummed, digest-chained append-only log owns the truth. Embedded indexes are rebuildable.

02

Structured query

Deterministic filters, global sorting, logical cursors, and aggregations run with hard budgets.

03

Retry safely

Caller-visible UUIDs make mutation retries durably idempotent across restarts.

04

Recover deliberately

Snapshots, compaction generations, backups, restore, and doctor expose complete evidence.

05

Prove the result

Portable result proofs reexecute offline against a pinned anchor and snapshot witness.

06

Integrate optionally

Rust, HTTP, TypeScript, Python, CLI, MCP, and framework adapters consume public contracts.

Why it exists

A local requirement should not become a distributed liability.

Read the origin

Many applications inherit a database service, cache, network policy, credentials, observability stack, and failure domain before they have proven they need any of them.

Hyphae was created for the opposite starting point: keep durable authority beside the application, expose exact limits, and make results answerable to evidence.

  • No mandatory Postgres, Redis, Valkey, or cloud account.
  • No AI dependency for KV or structured query.
  • No partial result disguised as success.

The proof journey

One answer. Five accountable transitions.

Scroll through the path from an accepted mutation to a result that can be challenged outside the serving process.

01 / Append

The mutation becomes durable authority.

A caller-visible UUID makes the write safe to retry. The checksummed, digest-chained log owns the fact—not an index or cache.

mutation_id / durable
02 / Recover

The same state returns after interruption.

Startup scans the authoritative log, rejects corrupt tails, and rebuilds accelerators without letting them redefine truth.

log_head / recovered
03 / Query

One logical snapshot answers completely.

Filters, global ordering, cursors, and aggregations execute under explicit budgets. A limit failure abstains instead of returning a partial success.

snapshot / generation-42
04 / Prove

The result leaves with its evidence.

The request, complete result, snapshot witness, semantics version, and caller-selected durable anchor bind into portable proof material.

result.hyproof / portable
05 / Verify offline

Trust can move away from the server.

A separate verifier reexecutes the result against the supplied witness and pinned anchor—without the original process, network, database, or model.

reexecution / exact

A concrete example

Ask for records. Receive an answer you can take apart.

This is the difference between a response that merely looks plausible and a result tied to an exact query, snapshot, and anchor.

01 / ASK

Which edge records scored above 80?

hyphae query \
  --field group --equals '"edge"' \
  --sort score --proof-out result.hyproof
No SQL service. No embedding call. No network required.
02 / ANSWER
  1. delta97
  2. alpha91
complete
true
snapshot
generation 42
proof
result.hyproof
03 / CHALLENGE

Reexecute somewhere else.

hyphae verify \
  --proof result.hyproof \
  --snapshot witness.snapshot \
  --anchor sha256:<expected-anchor>
Open the proof lab

Verifiable by result

The answer ships with a way to challenge it.

A successful read can name the snapshot and anchor needed to verify the result somewhere else, later, without trusting the serving process.

  1. 01Query

    Execute against one logical snapshot.

  2. 02Witness

    Bind the complete snapshot evidence.

  3. 03Anchor

    Pin the caller-selected durable head.

  4. 04Reexecute

    Verify the proof offline.

Understand result proofs
querycomplete result
snapshotgeneration 42
anchorcaller-pinned
verifyoffline / exact

Architecture

Durable below. Replaceable above.

The log is authority. Indexes are accelerators. Clients and integrations stay outside the core and speak versioned contracts.

SURFACESEmbedded Rust · Local CLI · /v1 clients · MCP
ENGINEDocuments · Query · Retrieval · Result proofs
DURABILITYAppend-only log · Snapshots · Rebuildable indexes
OPERATIONSDoctor · Backup · Verify · Restore · Compaction

Research lineage

The question came first: can an answer carry its own audit trail?

A 2026 Hyphae preprint explored hash-chained verbatim quotation in an earlier research system. The autonomous engine takes the durable idea forward as portable result proofs, snapshot witnesses, and caller-pinned anchors.

Historical research lineage—not the specification or benchmark record of the current engine.

Read the research lineage

Where it fits

Use autonomy where autonomy changes the failure model.

Hyphae is most valuable when local custody, bounded behavior, and recovery evidence matter more than a managed service dashboard.

FIELD / 01

Local-first tools

Ship durable structured data with a desktop app, developer tool, or offline utility.

Map the architecture →
FIELD / 02

Edge and appliance software

Operate without assuming a reachable database or control plane.

Map the architecture →
FIELD / 03

Audit-sensitive workflows

Keep proof-bearing reads and portable recovery evidence near the application.

Map the architecture →
FIELD / 04

Framework data planes

Add Hyphae through public contracts while the host remains fully functional without it.

Map the architecture →

No AI required

Structured first. Semantic when you choose.

KV, filters, sorting, cursors, aggregations, recovery, and proofs do not depend on an LLM or embedding model.

CORE / ALWAYS AVAILABLEDeterministic data operations

KV · query · aggregation · recovery · proof

OPTIONAL / HOST SUPPLIEDExact semantic retrieval

Provider-neutral vectors · explicit abstention

Questions

Start with the boundary.

Hyphae is deliberately smaller than a data platform and more accountable than a black box.

Does Hyphae require an external database?

No. The base deployment is one Hyphae binary and one data directory. KV, structured query, recovery, and verification work without Postgres, Redis, a cache, or a cloud service.

Does it require an LLM or embeddings?

No. Structured operations work without AI. Semantic retrieval is optional, exact, and provider-neutral when a Rust host supplies vectors.

What makes a result verifiable?

Proof-bearing reads can be reexecuted offline against a caller-pinned anchor and complete snapshot witness.

Is Hyphae a hosted SaaS?

No. Hosted multitenancy, billing, a control plane, and cloud operations are deliberately outside the autonomous engine.

Start local

Own the data. Inspect the result. Verify the proof.