FREE EVALUATION
$0
25 verified proofs / month
- Self-serve key, no card
- Same exact Z3 verification as paid plans
- Hard cap at 25: extra requests are refused, never billed
- Quota resets each UTC month
DSG ONE / PRICING
Pay for verified proofs, not promises.
Start free with 25 verified proofs a month. After that, pay only for proofs that Z3 verified, or license DSG Spacetime to run inside your own environment.
HOSTED · VERIFIED EXECUTION API
Call the API. We run the proof.
Prices in this section are read live from the billing meter that charges usage. If that readback fails, the last verified prices are shown.
PAY PER VERIFIED PROOF
$0.05
per verified proof receipt · $0.10 per Stripe policy-decision proof
- No monthly minimum, no hard cap
- Charged only when Z3 returned
VERIFIED_GLOBAL_OPTIMUM - Every unit recorded on a hash-chained ledger
- Paid through Stripe Checkout
- Activate a free key in the Live Console.
- In the Console’s pricing section, click Upgrade with Stripe.
- Paid access starts after Stripe’s signed webhook confirms payment.
TEAM
$490
per month · 5,000 proofs included · $0.08 per proof after
- No hard cap, usage never silently stops
- Requires a linked payment method
- Set up with us, not self-serve checkout
ENTERPRISE
Custom
per contract
- Per-account unit price
- Evidence export and integration support
- Procurement through your preferred channel
- Customer-specific terms
SELF-HOSTED · DSG SPACETIME
Run governed execution in your own environment.
For teams that cannot send plans or evidence to a hosted service. The license is verified offline by your runtime.
DSG SPACETIME ROUTE LICENSE
$299
one-time · 1 governed route · compiled runtime, source code not included
What you receive by email after payment
- Compiled runtime package for Linux (
dsg-spacetime-linux-amd64.zip) - Signed
entitlement.jsonfor one governed route license-public-key.txtso your runtime verifies the license offline
How to start
- Pay with Stripe Checkout.
- Delivery is sent automatically to your checkout email.
- Unzip, run
./install, then~/.dsg-spacetime/run-doctorto check the installation.
Scope. Automated delivery (payment → signed license → email with 3 attachments) was proven with a controlled live payment on 9 Sep 2026. Stripe Checkout shows the merchant name DSG Governance Gate. Multi-route packs (5 / 20 / 100 routes) are not on sale yet; email us if you need more than one route.
CHOOSE
Which one fits?
| You want to… | Choose | Cost |
|---|---|---|
| Try verification on real agent runs | Free evaluation | $0, 25 proofs a month |
| Verify production runs with usage that varies month to month | Pay per verified proof | $0.05 per verified proof |
| Run thousands of verifications a month with a predictable bill | Team | $490 a month incl. 5,000 proofs |
| Keep plans and evidence inside your own infrastructure | DSG Spacetime license | $299 one-time per route |
| Custom terms, procurement, or many routes | Enterprise | By contract |
FAQ
Billing questions
What counts as a billable proof?
Only a receipt where the exact Z3 check returned VERIFIED_GLOBAL_OPTIMUM. BLOCK, REVIEW, timeouts, and counterexamples are not billed.
What happens at the free cap?
Further proofs are refused until the next UTC month. There is no overage bill on the free plan.
How do I change or cancel a paid plan?
Email t.dealer01@dsg.pics with your account reference. Do not send your API key.
NOT CLAIMED
What these prices do not include
No SOC 2, ISO, or independent security audit is claimed. Marketplace listings (GitHub, AWS, Microsoft, RapidAPI) are separate channels and are not sold on this page. A proof receipt covers the bounded plan and evidence you submitted, not every outcome of your agent.
Live check. The checkout badge at the top is green only when the billing service reports Stripe linked and charges enabled.