The full map

Everything AT-1 does — in one place.

One verified-lossless engine, the capabilities it unlocks, the products built on it, and the industry solutions — each linking to its own page and docs. Lost? Start here.

The Engine

13

One verified-lossless container — and everything the core can do with your bytes. This is the foundation every product is built on.

Verified-lossless core

Byte-exact reconstruction with a SHA-256 gate and a non-inferiority guarantee — never larger than gzip/zstd/xz.

Open →

Query in place

Run SQL predicates + projections straight against the compressed file — decode only the blocks a query touches.

Open →

Format-aware compression

Typed columnar codec (qcolumnar / qjson) with zone-maps and pushdown for tables, CSV, JSON and logs.

Open →

ATLAS format

The compression-native, self-describing typed format — declarable structure compiles to near-zero bytes.

Open →

Derived-column eliminator

New

Auto-discovers columns that are functions of others (Total = A + B) and stores the rule, not the column — byte-exact.

Open →

Graph & set coder

New

Compresses order-free data (graph edges, posting lists, port/ID sets) by omitting the arbitrary order — losslessly.

Open →

Adaptive compression

Picks the best transform per stream and is provably never-worse than the strongest general coder.

Open →

Bounded mode (lossy)

Auditable error-bounded lossy with a signed certificate — when exactness isn't required but accountability is.

Open →

Generative compression

Stores the generating rule, not the output — large wins on rule-governed, synthetic and procedural data.

Open →

Deterministic replay

New

Store the recipe (generator + seed + params), not the trace — regenerate byte-exact at decode. ~10^5× vs xz on seeded sims/synthetic datasets, never-worse fallback.

Open →

Video container

Lossless, verifiable video container with addressable, queryable frames.

Open →

Per-record erasure

Crypto-erase one subject's record on demand with a signed certificate — GDPR / POPIA right-to-deletion.

Open →

Tamper-evidence

Embedded integrity the decoder re-checks on every read; pinpoints exactly what changed.

Open →

Products

17

Turn-key products built on the engine — compressed, queryable, verifiable, and erasable, ready for a specific job.

AT-1DB

New

The verified-lossless generative database: query in place, erase per-record, verify every answer, plus generative recall / forecast / anomaly — 30% smaller than Parquet, 13× less query I/O.

Open →

AI Prompt Compiler

New

A drop-in proxy that strips repeated content from LLM prompts before they're sent — fewer tokens, identical answers. Up to 62% on repeated chat context, ~5.5× on PDFs.

Open →

Regulated Archive

Compressed + queryable + tamper-evident + per-subject erasable in one bundle — the flagship compliance archive.

Open →

AT-1 Ledger

Verified append-only event store: hash-chained frames you can append, query, aggregate, verify and tamper-pinpoint.

Open →

AI Evidence Vault

AI-Act record-keeping: a verifiable, queryable archive of model evidence and decisions.

Open →

AI Evidence Capsule

A portable, tamper-evident capsule of an AI interaction — reproducible and addressable.

Open →

Predictive Diagnostics

Label-free machine-health screening straight from the compressor's residual — CMMS alerts included.

Open →

Live Risk-Tape

A validated market-stress index derived continuously from compressibility.

Open →

Living AI

A grounded generative knowledge base packed into a verified, addressable container.

Open →

Verified Model Runtime

New

Run any model from one self-describing, SHA-256-verified container — pack / run / serve, every weight integrity-checked on load. OpenAI-compatible.

Open →

Certified-Recall Vectors

New

A compressed embedding store that measures and stamps a recall@k certificate — 4× smaller hot index at 99.4% recall, or a certified-100% fp32 re-rank tier. Re-checkable with `verify`.

Open →

Mixture-of-Specialists

New

Pack many same-base specialists into one SHA-256-verified container, route with a signed router, and stream ONLY the routed expert — byte-identical, working set of one expert not N. Add/remove and it still verifies.

Open →

Model-Zoo Storage

Reference-delta storage for fleets of model checkpoints — store one base + verified deltas.

Open →

Addressable Weights

Stream byte-exact inference from a compressed model — addressable, verified weights.

Open →

RNG Auditor

Certifies randomness / fairness (lotteries, PRNGs) and flags weak generators — calibrated against a null.

Open →

Vault / Clean-room

An isolated, verifiable workspace for sensitive data.

Open →

Carbon / Compliance certificate

Verified avoided-emissions certificate over a tamper-evident audit trail.

Open →

Solutions by industry

6

The same engine, pointed at the data your industry actually has — with measured, byte-exact results.

Proof & resources

6

Don't take our word for it — measured benchmarks, the honest research, and a free read on your own data.

Get started

4

Free to try, free tier to keep — no card.

Still not sure what fits?

Run a free read on your own data, or talk to us — we'll tell you where we win and where we don't.