A witness-gated exact verifier.
The honest claim is not "solves everything". It is narrower and stronger: a deterministic verifier that takes a witness you supply and checks it exactly against the original input. If it verifies, you get a yes with a reproducible check. If it does not, you get a clear no or a diagnostic - never a guess.
The public shape
input P (the original problem/data) witness W (supplied by you) verify V(P, W) (deterministic, exact) -> true : accept W, with a reproducible check -> false : reject, or return a diagnostic
P is the original input. W is a candidate witness you provide. V is the exact verifier tied back to P. The verifier never accepts anything it cannot check against the original input.
What it does not do
It does not search for witnesses on its own, does not "solve" hard problems, and does not break or crack anything. In particular it does not break RSA, AES, ECC, or any cryptography - it only re-checks a witness you already have.
If no witness is supplied or the check fails to close, the correct output is a diagnostic or "no witness". That restraint is the product.
What it actually checks
Four concrete witness checks
SHA-256 roundtrip
For compression, P is a byte stream and W is a .pdli artifact. V restores W and checks that the SHA-256 of the restored bytes equals the SHA-256 of P - byte-exact, or it fails.
AES-GCM re-encryption match
Given a key and plaintext as the witness, V re-encrypts and checks the ciphertext and auth tag match the supplied ones. This confirms a supplied key/plaintext pair - it does not recover keys or break AES.
p*q == N integer check
Given factors p and q as the witness, V does a big-integer multiply and checks p*q == N. This verifies factors you supply - it does not factor N or break RSA.
Supplied-clause SAT
Given a candidate assignment as the witness, V evaluates the supplied clauses and reports satisfied/unsatisfied. It checks an assignment you provide; it is not a general-purpose SAT solver.
See the verifier in the free trial
The compression roundtrip and the witness checks both run in the no-signup free trial. Any demonstration value shown there that is not a real measurement is labelled "demo / not measured".
Run the free trial