Phase 13.1. The test runner script crashed on UnicodeEncodeError at line 185
(the summary table print). Without this fix, the test suite cannot run to
completion. Fix: sys.stdout.reconfigure(encoding='utf-8', errors='replace')
at the start of main(). This is the FIRST action of Phase 13 -- without it,
no other test verification is possible.
The crash was triggered by box-drawing characters (U+2502 etc.) in the
summary table being printed to a Windows console using cp1252 encoding.
The reconfigure enables UTF-8 output on Windows and is a no-op on
Linux/macOS where stdout is already UTF-8 by default.