"""Check gfx1201 hardware packing of every finite OCP e4m3 value and signed zero.""" import argparse import hashlib import json import os import pathlib import struct import subprocess import numpy as np from m_replay_validate import me def main(args): root = args.output_dir.resolve() root.mkdir(parents=True, exist_ok=True) codes = np.arange(256, dtype=np.uint8) codes[(codes & 127) == 127] = 0 # NaN inputs are outside this finite-value packing contract. inputs = me.E4M3[codes].astype(np.float16).tobytes() (root / 'alloc-0.bin').write_bytes(inputs) (root / 'alloc-1.bin').write_bytes(bytes(256)) (root / 'args.bin').write_bytes(struct.pack('