soft3/nox/audit/2026-10-13-hemera-no-std/verification/portable-v2.stdout