83 формата плавающей точки под одной крышей: открытый каталог с верификацией на железо

Инженер представил верифицированный каталог из 83 форматов с плавающей точкой, объединённых в 13 кластеров. Для каждого формата зафиксирована разрядка битов, смещение, обработка inf/NaN/субнормалей и общий проверочный якорь 0x47C0. Из единого источника истины генерируются реализации на Markdown, JSON, Python, Rust, C и RTL для кремния.

Каждый формат имеет метку зрелости: 51 Verified (подтверждён), 12 Historical, 11 Experimental, 9 Open. Отдельно отмечена граница, где правило e = round((N−1)/φ²) ещё даёт работающее железо (GF16 произведён), а где — лишь гипотеза без строки Verilog (GF512/GF1024). Внутри каталога — связь с IEEE P3109 и описание реального бага в умножителе, который нашли только благодаря аппаратной проверке формата.

Проект решает проблему расхождения точности нейросетей на разном оборудовании: вместо того чтобы гадать, баг это или округление bf16, инженер предлагает единую линейку с точными насечками для всех форматов.