One engine. The Pedulli SRD Engine is a proprietary PDLI source-precomputation engine - deterministic and verifier-gated, accessed through a controlled API. Its verified public result is finite byte-audit compression: byte-exact, measured against xz -9e on Canterbury, Silesia and enwik9. Further readout surfaces are bounded and verifier-gated. Source, method, internal tables and mechanics are not publicly distributed.
input -> SRD readout -> verifier decides (accept exact, gain where structure exists, else diagnostic)
DETERMINISTIC - VERIFIER-GATED - NEVER-WORSE
A domain ships only when its verifier closes reproducibly. Where no exact structure exists, the readout stays proof-only / diagnostic - never a fake win.
What Pedulli ships
The Pedulli SRD Engine is one proprietary engine accessed through a controlled API. Every readout is deterministic and verifier-gated - a verifier decides the result. The verified public milestone is finite byte-audit compression (below); further readout surfaces are bounded, and several remain research. Source, method and internal mechanics are not publicly distributed.
readout: compression (one engine)
Deterministic, verifier-gated, byte-exact lossless. Exact re-entry is verified on the standard 23-file Canterbury + Silesia corpora. Real structural compression where exact structure exists - for example Canterbury ptt5 513,216 -> 174,149 B (-66%, real structural gain).
Verifier: restore the output and confirm it matches the original byte-for-byte (SHA-256). Where no exact structure exists, the readout stays proof-only - never a fake win.
readout: trading (diagnostic)
A deterministic diagnostic. On a supplied strategy it surfaces simulated structural gain where exact structure exists, and abstains on efficient markets.
Verifier: the diagnostic is reproducible on the supplied data. Results are simulated and diagnostic - no guaranteed real-market ROI is claimed.
readout: poker (exact)
Exact equity and epsilon=0 river GTO. Closed-form readouts on supplied spots, computed deterministically.
Verifier: equity and the river GTO strategy are exact and reproducible on the supplied spot. Verifier-gated, not a guaranteed win-rate.
Locked research
Further domains - SAT, ATP, AGI, AI-acceleration, source-code optimization, encryption research, cryptanalysis research, and PDE / Navier - have a defined verifier but are labelled research, not delivered. No claim runs ahead of the evidence: the engine does not break RSA or AES, and nothing is presented as a benchmark win it has not earned.
For teams that move a lot of data
Pedulli helps companies, developers, AI and data teams, and storage-heavy infrastructure shrink storage, backups and transfers while keeping the original byte-for-byte restorable.
Compress heavy media files while preserving the original byte-for-byte. No lossy re-encode, no risky conversion.
Shrink datasets, logs, backups and model files while keeping auditability, integrity and reproducibility.
Lighten monitoring, exports, application events and structured data without complex manual configuration.
Reduce archives, backups and transfers without deleting data, lowering quality, or rewriting your workflow.
Integrate byte-exact compression into your products without building a compression engine in-house.
Random, encrypted or already-compressed files stay proof-only when they cannot honestly shrink.
Upload a file, compress, restore, and verify the restored output is identical to the original.
Try it - live - free
Any file type or bitsequence. Byte-exact restore. Sub-1 MiB runs on our EU servers; larger files use the resumable upload API.
Compression domain - what is actually verified
The bar is byte-exact restore plus gain where exact structure exists, gated by a verifier - not beating the field. The Compression domain delivers deterministic, byte-exact LOSSLESS readouts and is run on the standard 23-file Canterbury + Silesia corpora.
Full protected pipeline
Self-sealed: proof without disclosure, engine internals remain closed, no absolute-security claims. Input bytes become a protected .pdli container, then restore reconstructs the original byte-for-byte.
Bitsequence, PDF, MP4, ZIP, source, dataset, backup, log stream. The entry point is raw bytes.
The protected runtime searches for the smallest reversible artifact. If structure exists it compresses; if the input is already closed it preserves exactness instead of inventing savings.
The output is the public container: portable, API-ready, CLI-ready, designed for exact restore.
Restore is not a best-effort decode. The inverse path reconstructs the original byte stream exactly.
Restored bytes must match the original. No lossy mode, no approximation, no hidden mutation.
If no smaller exact artifact exists, the result is proof-only / diagnostic - never a fake win.
COMPRESS
file.bin -> protected pipeline -> file.pdli
RESTORE
file.pdli -> inverse pipeline -> original file.bin
Pricing
Start free with an API key and token balance. Upgrade to Pro for the REST API, or top up tokens any time.
Personal use
REST API for builders
or EUR 468/year (~EUR 39/mo)
Start Pro - EUR 49/moCustom / on-prem
FAQ
Pick your stage
Try it, get an API key, go Pro, or talk to the founder.
Drop a file in the browser, get a byte-exact .pdli, verify the SHA-256 roundtrip. No signup.
Drop a file ->Create an account, get an API key and token balance. Works without Stripe.
Start API trial ->30-min intro for demos, enterprise / source licensing, and investor conversations.
Book 30-min call ->Free for personal use. Drop a file now and see the savings before you sign up for anything.
No credit card - zero storage on the browser trial - Bitcoin-anchored proof