CVE-2026-4931: Unsafe Downcast in Marginal Smart Contract | NextGuard