A result with its record.
Inspect what was executed, what was measured and what the receipt authenticates. Measurements describe their recorded workload and environment.
One candidate.
The same recorded decisions.
The included demonstration evaluates the retained Optdigits source and graph-optimized candidate against the official test partition. The Gate issuer ran the local engine and produced a compact receipt only after its contract passed.
| Evaluation samples | 1,797 |
|---|---|
| Source correct | 1,729 |
| Candidate correct | 1,729 |
| Decision changes | 0 |
| Candidate format | ONNX · CPU execution |
The public example key is for demonstration, not a production trust root. Loading the example checks the signed statement and candidate identity; it does not rerun inference in the receipt verifier.
Receipt JSON · Execution summary · Demonstration public key · Candidate model
Source engine revision:
ec05863c3e3b85fdcc7a397fc720f59577ebc76a. The example
is a local functional evaluation, not a comparison against a
competing service or a claim of general model equivalence.
The underlying execution
Download the complete evidence bundle · SHA-256 checksum
Full evaluation report · Approved contract · Run manifest
Source model · Candidate model · Evaluation dataset · Method and dataset attribution
The raw report and contract are byte-bound by the receipt. The evaluation ran in a temporary hostname namespace; the recorded CPU and runtime are the actual execution environment. To replay on a different host, approve a new host-bound contract rather than relaxing this one.
Retained research evidence
CKODMK retains its interactive model checks and finite evaluation material. Lights Out retains its signed release evidence, exact-arithmetic demonstrations and workload-specific performance results.
Those records remain distinct from Gate’s commercial account service and from any future GPU measurements.