AZURE UI → CINEMA → EXACT Z3 → PROOF RECEIPT

Know what passed, why, and prove it.

Run one bounded verification request against the live DSG runtime. See ALLOW, REVIEW, or BLOCK in the same screen, with exact Z3 verification and replayable hashes.

Run a live proofChoose a marketplaceInspect source

Evidence boundary: a Proof Receipt records deterministic verification for one bounded request. It is not SOC 2, ISO, legal, regulatory, or third-party certification.

ALLOW / REVIEW / BLOCKplain result
VERIFIED_GLOBAL_OPTIMUMexact verifier
Downloadable JSONproof receipt
01 · VERIFICATION INTAKEAgent or application submits bounded facts

Execution identity, approved-plan hash, proposed-action hash, and explicit safety facts enter one fixed contract.

Start in three steps

No logs to hunt through.

The user chooses what happened, runs one verification, and receives a plain-language result plus the exact machine-readable evidence.

01 · CHOOSESelect an observed scenario

Approved success, action outside the plan, or incomplete evidence.

02 · RUNSend one bounded request

The browser calls the live Cinema endpoint; Cinema constructs the fixed decision problem server-side.

03 · SEE + KEEPRead and download the result

See what passed, what failed, why, and retain the Proof Receipt JSON.

Live verification

Run the real Cinema + exact Z3 path.

These bounded sample scenarios call the production `/verify/evaluate` endpoint. No result is displayed as verified unless the backend returns `verified=true` and `VERIFIED_GLOBAL_OPTIMUM` with valid hashes.

The sample uses fixed inputs so repeated runs can be compared deterministically.
This label becomes part of the receipt identity. Do not enter secrets or customer data.
A key meters and attributes your proofs. — 25 proofs per month, no card, no charge.
Production runtimeCHECKING
Result appears here

Choose a scenario and run verification. You will see pass / review / block, the reason, exact verification state, and proof hashes.

All distribution channels

Use only what is actually available.

Each card separates a public listing from a prepared package or an external blocker. “Prepared” never means approved by the marketplace.

Stripe Apps

V2.7.1 UPLOAD READY

The SDK upgrade and deploy repair are live, and CI produced the production-bound archive. Stripe CLI upload, mode-specific credentials, External Test, real screenshots, and review still remain.

Inspect package →

OpenAI Skills

READY TO SUBMIT

Bounded skill package, reviewer cases, terms, privacy, support, and fail-closed verification script. External publisher review remains.

Inspect package →

AWS Marketplace

BLOCKED EXTERNAL

Seller onboarding, registration, entitlement, subscription events, and AWS billing integration are still required.

Inspect blocker list →

JetBrains Marketplace

SPEC ONLY

The product and UI contract are defined, but no signed plugin ZIP or marketplace review exists yet.

Inspect specification →

Direct API

LIVE

The bounded production API, self-serve free keys, and proof-bound metering are implemented. Commerce and enforcement readiness are read from the live status endpoint below, not asserted by this copy.

Open live API docs →Run browser proof →
Status meaning: LIVE = publicly reachable now · READY = repository package exists but external review remains · BLOCKED = required marketplace infrastructure is missing · SPEC ONLY = no installable artifact exists.
Revenue path

Five packages, and whether each one can take money today.

Every price below is the number the meter actually charges from — the same catalog published at /billing/status. A package is marked ready only when the live service says its channel can accept payment. This page does not decide that for itself.

Free activation: checking…Direct billing (Stripe): checking…GitHub Marketplace: checking…

Free evaluation

SELF-SERVE
$0 / 25 proofs per month
  • ✓ Self-serve key, no card
  • ✓ The same exact Z3 verification
  • ✓ Hard cap at 25 — never an overage bill
  • ✓ Usage visible at /billing/usage
Activate a free key

Pay per verified proof

NEEDS CHECKOUT
$0.05 / general proof receipt
  • ✓ Stripe Dashboard policy decisions: $0.10 per verified proof
  • ✓ Charged only when Z3 returned VERIFIED_GLOBAL_OPTIMUM
  • ✓ No monthly minimum, no seat count
  • ✓ Every unit recorded on the hash-chained ledger
  • ✓ Requires a linked payment method
Request billing access
Checkout status: NOT VERIFIED / NOT LINKED. Submitting a request does not create a charge. The free tier above needs no checkout and works immediately.

Team

NEEDS CHECKOUT
$490 / per month
  • ✓ 5,000 verified proofs included
  • ✓ $0.08 per proof after that
  • ✓ No hard cap — usage never silently stops
  • ✓ Requires a linked payment method
Request a Team quote

Enterprise

BY CONTRACT
Custom / per contract
  • ✓ Per-account unit price
  • ✓ Marketplace procurement path
  • ✓ Evidence export and integration support
  • ✓ Customer-specific terms
Start enterprise inquiry

GitHub Marketplace

CUTOVER PENDING
GitHub / subscription billing
  • ✓ Free 1,000 · Pro 10,000 · Business 100,000 · Enterprise 1,000,000 proofs per period
  • ✓ GitHub is the merchant of record
  • ✓ Cinema never rebills a Marketplace buyer through Stripe
  • ✓ Entitlement granted from the signed purchase event
Open the current GitHub listing
The paid Marketplace App still needs its production webhook and OAuth configuration before a purchase can be honoured.
DSG ONE — Enterprise Ready

It's not enough for AI agents to simply complete the task.

The real question is: Can you prove they are acting correctly? DSG ONE helps verify that AI agents follow approved plans, stay within defined constraints, generate complete proof, and deliver results that match verified artifacts.

✓ AUDITABLEComplete execution trace

Every agent decision is recorded with approved-plan hash, exact Z3 proof, and deterministic verification receipt.

✓ VERIFIABLEReplay and reproduce

Download proof artifacts, replay verification, confirm results — no logs to hunt through, just math and hash bindings.

✓ ENTERPRISE-READYMarketplace-aware delivery

Run today via GitHub Actions and Direct API. Stripe Apps and OpenAI Skills are prepared packages pending external review. Proof metering and evidence export are included.

Try the 3D consoleExplore the productRead the API docs
Make your AI automation system not only powerful but also auditable, verifiable, and ready for the enterprise.

#AISaaS #AIAgents #EnterpriseAI #AICompliance #AIAudit #ResponsibleAI
Trust & evidence

Evidence before claims.

The UI exposes what users need: how to start, where the result appears, what passed, what failed, and which evidence backs the decision.

  • Bounded VerificationRequest contract
  • Production Cinema health and exact Z3 proof path
  • Proof, request, and context hash binding
  • Downloadable Proof Receipt JSON
  • Fail-closed error state with no fabricated decision
  • Marketplace and checkout status truth boundary