Reference system
ref-recompute
Reference row: recomputes the workload's forward pass without proving and compares the output positions (RFC-0015).
Claim card
Rows
One block per workload and configuration. Repetition strips use each metric's own axis.
Workload sash-l31-8b-c4096
Measured
whole_wall_seconds
9.827 s
mean 9.827, sd 0.1106, min 9.710, max 9.930, n 3, n_failed 0
source: mock harness recordtokens_covered_total
4,608 token
mean 4,608, sd 0, min 4,608, max 4,608, n 3, n_failed 0
source: mock harness recordDerived (computed by the derivation code)
rate_whole_wall
469.0 token/s
mean 469.0, sd 5.289, min 464.0, max 474.6, n 3, n_failed 0
source: mock derivation recordcost_per_1k_tokens_whole_wall
0.002541 USD/1k_token
mean 0.002541, sd 2.860e-5, min 0.002511, max 0.002568, n 3, n_failed 0
source: mock derivation recordRuns
mock-rr-c4096-r1completedmock-rr-c4096-r2completedmock-rr-c4096-r3completed- Superseded, failed and ineligible runs never contribute to statistics (RFC-0009 S7).
Controls
Reference rows run no negative controls: they produce no proof.
Reference rows on the same workloads
RFC-0015
Measured
whole_wall_seconds
3.420 s
mean 3.420, sd 0.03000, min 3.390, max 3.450, n 3, n_failed 0
source: mock harness recordtokens_covered_total
4,608 token
mean 4,608, sd 0, min 4,608, max 4,608, n 3, n_failed 0
source: mock harness recordDerived (computed by the derivation code)
rate_whole_wall
1,347 token/s
mean 1,347, sd 11.82, min 1,336, max 1,359, n 3, n_failed 0
source: mock derivation recordcost_per_1k_tokens_whole_wall
0.0008844 USD/1k_token
mean 0.0008844, sd 7.758e-6, min 0.0008767, max 0.0008922, n 3, n_failed 0
source: mock derivation recordRuns
mock-rs-c4096-r1completedmock-rs-c4096-r2completedmock-rs-c4096-r3completed- Superseded, failed and ineligible runs never contribute to statistics (RFC-0009 S7).