From the problem to the Tafel in eight steps.
The interface is a guided conversation: one question per screen, one action in seal blue. It looks like a chat and is not one — no free text in the path of the numbers.
What do you want to run?
Describe a problem (graph, QUBO, Pauli list), upload a circuit (OpenQASM 3, OpenQASM 2, QPY), or run a record workload.
Where?
Try it on the simulator — free, no machine needed. Or a connected machine: IBM Quantum on your instance, IQM through our account.
Set up the job
Name, budget cap, duel or ROX only, accuracy target. ROX chooses the rest and says why — every choice a line you can change.
Forecast
One row per machine: queue, machine time, regime with a recommendation, sealed price, budget check. Above it, the edge of the machine with your job as a mark.
Seal
The hash sets. Any change to this plan breaks the seal. If the forecast misses, the invoice is void.
Run
In queue behind n jobs. Running, s seconds of machine time. Analyzing raw counts. The ring turns only while something real happens.
Result — the Tafel
READ · PREDICT · OUTPERFORM · PROVE. The number, then the sentence, then the proof. Won and lost in the same size.
Proof
Download prereg, manifest, result, raw counts, audit PDF. Recompute from raw counts. Release the record to the public register.
Five modules
| Module | What it does | Anchor |
|---|---|---|
| PERFORM | Execution layer: every run stabilised, the vendor path beaten in the deep regime. | 96 preregistered wins register |
| FORESEE | Sealed forecasts before you pay: machine ranking, expected depth, regime, price. | 1.6 points cross-chip · 11.4σ scaling call |
| PRISMA | Fleet characterisation from calibration archives, zero QPU: fingerprint, weak spots, drift. | ±0.02 sibling chips |
| HARVEST | Recovery: proofreading of existing shots, erasure, relays — more from runs you already paid for. | +13 to +17 points, zero QPU |
| PROVE | Preregistration, seal, job-ID chain, forensic audits, recompute in five minutes. | the whole register |
Anchors from the product register §4; every figure carries an official job ID in the ledger.
Apps and machines
Custom (graph, QUBO, Pauli list) and Circuit are live. Molecule, Portfolio and Routing are visible tabs — coming with the next phase.
Machines: IBM Heron (ibm_fez, ibm_marrakesh, ibm_kingston, ibm_boston, ibm_phoenix) on your instance; IQM Garnet and Emerald through Braket; the simulator, always, free.