Author proof for inspection, 2 November 2026.
No external PDFs or credentials included. Classical imports and reading scopes are identified in proof.md.
No computation is claimed to prove the imported logarithm theorem.
Accepted Paper87 and the focused survivor-geometry draft remain unchanged.
