Shareable benchmark table

Wall time, generated tokens, and localisation

Operational aggregates across all terminal runs. These are operational observations only and do not measure finding quality.

Table 13 · Operational telemetry

Wall time, generated tokens, and localisation

Local · fully offlineFeasibility pilot6 replicates / cell0/54 runs terminalQuality pending
Operational aggregates across all terminal runs. These are operational observations only and do not measure finding quality.
MetricValue
Median wall time / runpending
Total collection wall timepending
Generated tokens (total)pending
Generated tokens (median / run)pending
Tool calls (total)pending
Source localised (tool-enabled runs)pending
Table 13Operational aggregates across all terminal runs. These are operational observations only and do not measure finding quality.

Operational telemetry is kept separate from the verified-proof endpoint. Wall time and generated tokens do not prove correctness. Pending cells are never shown as zero.

BMSbms.kyokasuigetsu.xyz
Static image: https://bms.kyokasuigetsu.xyz/tables/verify-operational.png