Reading a Tafel
A Tafel is the record of one run. It has a head and four lines.
The head
Machine, qubits, shots per point, date, regime, job name, budget cap, project. The job key in monospace is the folder in the ledger.
READ
The number: the machine's typical error per operation today. Under proof: the worst coupler on the chip and how many bad connections were routed around.
PREDICT
The number: when the promise was sealed. Under proof: the endpoints, the win definition, the sealed price, the budget cap. Where a forecast window exists, the line shows window, measured value and hit or miss.
OUTPERFORM
The number: ROX against the default on the chosen metric, the difference, the standard errors. The ladder table under it lists every rung and arm. Two QPU lines: measured machine time, and machine time to the same confidence. The verdict follows the product rule: ahead is won, otherwise lost — same size, same place.
PROVE
The job IDs, the number of raw-count files, the regime label. Downloads: prereg, manifest, result, counts.zip, audit.pdf. Recompute from raw counts rebuilds the verdict.
Every number on a Tafel is a file in the ledger. Where a file is missing, the line says "not in ledger" — never an estimate.