build_exit=0
run2_exit=0
grep: run.log: No such file or directory
run2.log:28

SUMMARY:
  kernel-vs-libc VALUE divergences      : 0  (must be 0)
  kernel-vs-libc ENDPTR divergences     : 28  (DF-5702: 0x-prefix-no-xdigit class, valid bases)
  invalid-base semantic diffs           : 258  (legacy BSD behavior; no kernel caller passes these)
  saturation w/o ERANGE (DF-2230 class) : 79  (known, not re-reported)
  patched-kernel residual ENDPTR diffs  : 0  (fix validation; must be 0)
  patched-kernel VALUE regressions      : 0  (must be 0)