Index

Every product, in one list

AT-1 is one engine with 63 things built on it. The menu carries the handful most people need. This page carries all of them, grouped by the problem they solve, so nothing is reachable only by knowing it exists.

Compression and codecs

AT-1 Agent State Sync: ship only the surprise, byte-exact

Sync evolving agent state, KV-cache, long-term memory, context, across a fleet by sending the delta from the prior state, not...

AT-1 GenDerive: query a column you never stored

Discover the columns that are exact functions of other columns (total = qty×price, tax, buckets, keys, indexes), store them as...

AT-1 Media: a queryable, verified media container: AT-1

Address any frame, query by scene, extract a clip, and verify integrity, straight from a compressed media file, without...

AT-1 Portfolio Codec: every column stored the smallest way, byte-exact

Compress a CSV column by column: each column is stored as whichever byte-exact transform comes out smallest (never-worse), the...

AT-1 Prompt Compiler: cut LLM token bills, losslessly

A drop-in proxy that strips the repeated content out of your AI prompts before they're sent, fewer tokens, same answers, no...

AT-1 Replay: store the recipe, not the trace: AT-1

When data came from a deterministic generator, a seeded simulation, a synthetic-ML dataset, a Monte-Carlo run, store the...

AT-1 Rule-Tier: store the law, discard the data

For law-governed signals, AT-1 keeps only the generator plus a holdout-validated residual certificate and regenerates on...

Adaptive compression: auto-tuned, never worse than zip: AT-1

AT-1 picks the best transform and entropy back-end for every numeric column automatically, with a hard guarantee it never...

Bounded mode: auditable error-bounded compression: AT-1

AT-1 Bounded mode shrinks scientific and sensor data far past lossless by honoring a guaranteed maximum error you set, and...

Derived-column eliminator: store the rule, not the column: AT-1

AT-1 auto-discovers columns that are exact functions of their siblings (Total = A + B, running sums, offsets) and stores the...

FP-CODEC: shrink cold text & logs below zstd and xz, decoding byte-for-byte anywhere: AT-1

FP-CODEC is a verified deterministic context-mixing codec for cold text and log archives. It beats both zstd-19 and lzma-9e on...

LM-Codec: smallest-still-verified lossless archival for high-value text & code: AT-1

LM-Codec range-codes a language model's per-token distribution to reach the smallest byte-exact archive of your high-value...

Queryable, verified video: find it, pull it out, prove it: AT-1

Your video lake is opaque and unauditable. AT-1 wraps any codec's frames (H.264/AV1/DICOM, no pixel re-encode) so you can find...

Immutability and audit

AT-1 Century: the archive that carries its own decoder

A .at1century file contains its own English self-description, a tiny decoder as source, a SHA-256 of the original, and the...

AT-1 Ledger: a verified, append-only event store in one file: AT-1

Append events without rewriting, query and aggregate them in place without decompressing, and prove that no record was...

Receipts and proofs

AT-1 Complete: prove a record is missing, or that it never existed

Completeness proofs certify ABSENCE. From a sealed archive, prove receipts 1..N are all present, or get the exact missing...

AT-1 Custody Receipts: one hash-chained receipt for every ingested file

Every file that enters your pipeline becomes one hash-chained append in a per-site ledger, source, content hash, row count,...

AT-1 DATABOM: prove how a figure was derived

Seal a signed derivation certificate, input hashes, program hash, output hash, environment fingerprint, that an independent...

AT-1 Document Extraction: prove where every extracted value came from, with a drift alarm

Learn a template from a few sample statements or reports, then extract each cell bound to its page and byte offset in the...

AT-1 Proofs, prove what's in a document without handing over the document

One product, three jobs: prove a figure from your own document, ask someone else for proof, or check a proof you've been sent....

AT-1 Reconcile: a reconciliation you can prove

Join a bank statement to a POS tape under a rule set and get a signed certificate: these are the matches, these are the...

AT-1 Selective Disclosure: prove a field was present-but-masked

A redacted export of a sealed archive that still verifies against the ORIGINAL seal. Mask a PAN, an ID number, a medical...

Provenance and lineage

AT-1 Corpus Governance: training data that proves its own composition: AT-1

Assemble an AI training corpus that proves its own composition and lineage, % real vs synthetic, per-record provenance, sealed...

AT-1 Reality: prove your data is real, disclose exactly what's synthetic

The provenance & authenticity layer for the synthetic-data era. Classify how data was generated, flag fabricated records, seal...

AI artefacts

Verified Model Registry: version, dedup & byte-exact restore a model family: AT-1

Store a whole family of models and checkpoints once: the base is kept a single time, every version as a verified delta, and...

Query surfaces

AT-1 Cross-File Views: query a whole archive of .at1 files as one table

Point a view at a directory of per-unit .at1 files (cashup_*.at1, meter_*.at1) and query them as one logical table. A manifest...

AT-1 Features: compute on compressed data, kill the decompression tax

Extract ML features and range-filtered aggregates directly from block-compressed columns with zone-map pushdown,...

AT-1DB Cloud: query your compressed archives in place

The managed queryable-verified format over your own object storage. Run SQL over compressed .at1 files in place over HTTP,...

ATLAS: one format that shrinks data and keeps it queryable, provable, and erasable: AT-1

ATLAS is a single self-describing format that carries the whole AT-1 moat at once: compressed, queryable, verified,...

Living Database demos: AT-1

Download real AT-1 Living Database files: a whole dataset plus an in-browser query engine in a single .html file. Searchable...

Models and memory

AT-1 Memory: compress the two most expensive AI byte types

AT-1 Memory losslessly compresses an LLM's KV-cache, activation and embedding tensors (structure-aware, provably never-worse,...

AT-1 Mixture-of-Specialists: every top open model, one verified vault, the right specialist per query

Pack many same-base specialist models into one compressed, SHA-256-verified container, route each query with a signed router,...

Living AI: a grounded assistant in one verified file: AT-1

Atom is a real generative assistant packed into one SHA-256-verified AT-1 container (~33 MB) that runs offline on any device....

Detection and research

AT-1 Explain: the rule behind your data

Point AT-1 at an integer sequence and it searches a program space in shortest-description-first order for the exact generator,...

AT-1 Fraud Fingerprints: per-entity compression baselines

Give every cashier, pump, terminal or account its own compression model. When an entity's recent behaviour stops compressing...

AT-1 Intel: the Compression Intelligence API (tell_me_about a file)

Instead of compress(file), ask what a file IS. A read-only API that returns entropy, estimated compressibility and storage...

AT-1 Observe: label-free anomaly detection by compression surprise

AT-1 Observe scores every log line, metric, or netflow row by how many bits it costs against a model of normal traffic. Novel...

AT-1 Wet-Stock: statistical fuel-tank reconciliation with a certified report

Reconcile fuel-tank inventory from daily dips, deliveries and pump totals: a model-coupled residual plus a CUSUM...

AT-1 ncd: compression-distance detectors for clones & novelty: AT-1

at1 ncd uses normalized compression distance to measure how similar two files are without parsing them: a code-clone /...

MDL-Select: is this a law, or a memorization?: AT-1

Risk Tape: a model-free market-stress index from order-flow structure: AT-1

Everything else

Products that do not sit under one of the headings above.

A WORM storage alternative you can query, and lawfully erase from

Traditional WORM storage makes data immutable but opaque, you can't query it without restoring, and you legally can't delete a...

A verified Parquet alternative, smaller, tamper-evident, erasable

Parquet is a great columnar format, but it can't prove it wasn't altered and can't erase one person for POPIA/GDPR. AT-1 keeps...

AT-1 LENS: the file that is also the dashboard

A .lens file is a dataset, its query engine, and its proof system in one. Reports run on the compressed columns, a sum touches...

AT-1 RNG Auditor, prove a 'random' generator is weak by recovering it, AT-1

Addressable weight compression (patent pending), AT-1

AT-1 stores model weights ~32–42% smaller than raw bf16 while keeping per-tensor random access and a SHA-256 integrity check...

An audio file that can prove it hasn't been edited

A 21-minute episode served from a sealed AT-1 media container. Every segment is hashed and verified in your browser before it...

Check a proof, AT-1 Proofs

Verify a shared proof entirely in your browser, nothing is uploaded.

Condition Monitoring from the compression residual (patent pending), AT-1

AT-1's diagnostic add-on reads the residual the lossless compressor already produces and flags a developing bearing defect,...

Entropy Attestation, a signed, re-checkable certificate that your RNG is sound, AT-1

Erase one person from the storage you already have

If your data is already encrypted client-side under per-object keys, AT-1 retrofits per-subject erasure without moving or...

GDPR right to erasure, even from your backups and archives

Article 17 says erase the person's data. But backups and compressed archives can't be edited without a full...

Generative Compression (patent pending), AT-1

AT-1's generative tier discovers the model behind industrial sensor data and stores the model plus a tiny residual,...

Independently verified AT-1DB, Petro Retail Analytics case study

Petro Retail Analytics put AT-1DB through a six-round adversarial verification battery, 26 real-world query cases, including...

POPIA data retention that can prove deletion, AT-1

A South African–built archive for POPIA: keep records compressed and searchable for as long as the law requires, then erase a...

Prove AI training-data provenance for the EU AI Act

Article 10 of the EU AI Act requires documented, governed training data for high-risk AI. AT-1 seals a dataset so you can...

Prove data wasn't tampered with, verify without sharing it

An interactive proof: alter any value in a sealed dataset and watch real SHA-256, computed in your browser, catch it and...

Prove your income without oversharing

Prove your income from a bank statement while hiding every other transaction, and the recipient can still verify it's genuine...

Redact a Word document, prove the rest is unaltered

Black out paragraphs in a .docx and hand over a proof that every part you didn't redact is byte-identical to the original....

Tamper-evident audit log, immutable, portable, still queryable

An append-only, hash-chained audit log that names the append where the chain breaks if anything is altered, can be verified by...

Token Audit, predict the next API key / session token from the ones you can see, AT-1

Verifiable analytics (qsign), sign a query result so anyone can verify the number, AT-1

Sign a query result so anyone can verify the number, without handing over the raw data. qsign runs a predicate/projection...

Withhold frames or rows from a file and still prove the original

Hand over a redacted file that can still prove it is the original. Withhold frames, blur a face, or hide 123 of 127 bank...