Second Run / portable result

t0_rename_symbol_003 · claude-haiku-4-5

Packet e98bece0631ceae3d0db432c3bd1969b18fdfc2537061dabb904814a908cad05

This file includes its own verifier and normalized evidence. It can be opened offline. It does not independently authenticate the operator or rerun the hardware.