Live evaluation · synthetic sample data
See the proof gate before you connect a repo. Select a candidate, advance the proof contract, and inspect the evidence packet — the same live surface as the landing page, running on synthetic data. No sign-up, no credit card.
Get started→ Skip to dashboard content D Deton workspace
Cookie preferences
Dashboard Read-only proof state
Candidate to proof packet Inspect each candidate and its proof state. Deton treats only confirmed oracle evidence as a vulnerability finding.
Recorded at: 2026-07-06T09:12:00.000Z
Runner boundary
Seeded app, isolated runner, no production target, no external exploitation.
Proof steps
1 Proof running
Coverage boundary
1 Unsupported
Selected proof moment Confirmed proof SQL injection src/app/api/checkout/route.ts
View evidence A changed checkout route interpolates request input into a SQL predicate.
Proof steps 1 Candidate Complete Static and diff context raised a hypothesis; this is not a finding. 2 Proof contract Complete Deton checks whether an enabled, deterministic contract exists for the family. 3 Oracle Complete The runner looks for an observable signal inside a seeded boundary. 4 Packet Complete Confirmed evidence is packaged with redaction, fix direction, and PR action.
Evidence packet Evidence Fix PR Coverage
Proof contract sql-error-oracle.v1
Oracle observation Database error oracle fired twice on seeded input; sanitized trace attached.
Runner boundary Seeded app, isolated runner, no production target, no external exploitation.
Redaction Request and response fragments are sanitized; no secrets or customer data shown. Redaction
Request and response fragments are sanitized; no secrets or customer data shown.
Runner boundary
Seeded app, isolated runner, no production target, no external exploitation.
Coverage boundary
Proof-enabled in the first pack: SQL error oracle with seeded database boundary.
Packet ID pkt_01JB7Q3M9E
Run ID run_20260706_0912
Commit 8f42c1a
State Confirmed proof This product view does not scan your app or prove customer code.
A deterministic oracle produced evidence under the configured contract.
D deton[bot] commented on acme/payments #482
Exploit proven in sandboxSQLI-01 · src/routes/invites.ts
deton_sql_marker_001sandbox run 41s
Product tour · simulated repository
This demo runs on synthetic sample data. It does not scan a real repository.
← Back to pricing