Research & AI
Research groups and AI teams need a store they can reason about: a specified plan language, deterministic encodings, and guarantees with proofs rather than promises. The AI engines follow the same verifier when they ship.
Workload shape
| Writes | Datasets, embeddings later |
|---|---|
| Reads | Analytics, reproducible queries |
| Tenancy | Groups and projects |
| Need | Reproducibility, proofs |
How the data lands
Design fit, not a customer claim: which parts of UltraFabric carry which parts of this workload.
- Every query is a typed plan with one canonical byte encoding and a fingerprint
- The verifier's core theorem is mechanised in Lean 4 with no unproved steps
- Vector, text and graph operators are specified with per-tenant index partitions
What it looks like
The same plan, re-run at the same snapshot, returns bit-identical results; its fingerprint names it in the audit log.
CREATE TABLE samples (id bigint PRIMARY KEY, run text NOT NULL,
at timestamp, label text, score numeric(8,4)) WITH (storage = columnar);
SELECT run, label, avg(score), count(*)
FROM samples GROUP BY run, label ORDER BY run;Built today, coming next
Everything in the first column is in the repository and tested; the second column is the roadmap in order.
Built today
- Canonical plan encoding; equal plans share a fingerprint
- Lean 4 proofs for eight rewrite laws and the core isolation theorem
- A ten-million-plan differential campaign with zero divergences
Next
- Vector search behind the verifier, measured on ANN-Benchmarks
- Text search and graph traversal
- Retrieval with verified grounding
Other use cases
Airports & Aviation
An airport runs many organisations on one estate: the operator, airlines, ground handlers, security and government agencies.
Smart Cities
A city platform collects from traffic, lighting, water, waste and safety systems, each owned by a different department, often with different vendors.
Power & Utilities
Grid operators keep two kinds of data that rarely live well together: dense measurement streams and slow-changing asset records.
Public Sector
Government platforms host many departments on shared infrastructure, each with statutory limits on who may see what.
Tell us about yours.
Early access starts with a conversation about the workload you would move first.