A14-09: expected_mi.cpp: non-portable __attribute__((constructor)) + unguarded l2factorial table index (currently unreachable)

[ms609]

src/expected_mi.cpp:13,22-27 — __attribute__((constructor)) is GCC/Clang-only, not portable to MSVC (relevant given this project builds on Windows via MinGW, where it happens to work, but is not a documented cross-compiler guarantee). l2factorial(n) has no n < 0 guard on log2_factorial_table[n] — currently unreachable only because kmin > kmax short-circuits at :77 before any negative index is possible.

Verified REAL (haiku verifier, code-read).

Filed by /red-team area 14 (opus finder, 2026-08-05).

[ms609]

Claimed. Branch feature/expected-mi-underflow, worktree C:/Users/pjjg18/GitHub/worktrees/TS-expected-mi (fixing #91, #104, #105, #107 together — they share src/expected_mi.cpp).

[ms609]

PR: #127 (branch feature/expected-mi-underflow). GHA agent-check green on ubuntu-arm64 and windows. Awaiting review.