Блог
Повторное измерение при равной ширине хранения отозвало прежний выигрыш 2,1×/2,6× над takum и зафиксировало дефекты оракула и бюджета, изменившие интерпретацию.
[измерено — равная ширина хранения] Прежний выигрыш по точности 2,1×/2,6× над takum отозван после повторного измерения, выявившего два конфаунда: ошибку знака в оракуле на отрицательных кодах и номинальный бюджет вместо равной ширины хранения.
На 16 хранимых битах TNF(4,8) даёт 5,323e-3 против 5,697e-3 у takum16. На 32 хранимых битах TNF(4,24) даёт 1,203e-7 против 1,264e-7 у takum32. При сравнении на равной ширине хранения эти значения трактуются как ничья, а не как выигрыш по точности; прежнее утверждение 2,1×/2,6× оставлено видимым как отозванное.
В прежнее число одновременно попали дефект знакового пути и бюджет, который считал хранимую ширину не на одной основе. Исправление сохраняет старое утверждение видимым, называет причину отзыва и переносит сравнение к измеренным строкам равной ширины.
| Хранимая ширина | TNF | takum | Интерпретация |
|---|---|---|---|
| 16 бит | 5,323e-3 | 5,697e-3 | ничья при равной ширине хранения |
| 32 бита | 1,203e-7 | 1,264e-7 | ничья при равной ширине хранения |
Исправленное число полезнее, когда отозванное число остаётся видимым.
Полезный инженерный результат процедурный: сохранить отозванную цифру, назвать дефект оракула и несовпадение бюджетов и поставить рядом измерение на равной ширине. Тогда изменение вывода становится проверяемым, а не тихим.
Каждая цифра выше измерена, и рядом с ней названы её пределы.