From 6b10e68ed3889996bfb896028089844185b97ac7 Mon Sep 17 00:00:00 2001
From: Emily Boudreaux <thomas@boudreauxmail.com>
Date: Thu, 17 Sep 2026 09:54:34 -0400
Subject: [PATCH] Use nondeprecated subnormal prerequisite for C++23
 certificates

---
 libmeanfield/interface/solver/enthalpy_admissibility.cppm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libmeanfield/interface/solver/enthalpy_admissibility.cppm b/libmeanfield/interface/solver/enthalpy_admissibility.cppm
index 09c63f7..7ac9100 100644
--- a/libmeanfield/interface/solver/enthalpy_admissibility.cppm
+++ b/libmeanfield/interface/solver/enthalpy_admissibility.cppm
@@ -62,7 +62,8 @@ export namespace mean_field::solver {
 namespace mean_field::solver::enthalpy_detail {
     static_assert(std::numeric_limits<double>::is_iec559 && std::numeric_limits<double>::radix == 2 &&
                   std::numeric_limits<double>::digits == 53 && std::numeric_limits<double>::max_exponent == 1024 &&
-                  std::numeric_limits<double>::has_denorm == std::denorm_present,
+                  std::numeric_limits<double>::denorm_min() > 0.0 &&
+                  std::numeric_limits<double>::denorm_min() < std::numeric_limits<double>::min(),
                   "Polynomial enthalpy certification requires IEEE 754 binary64 with subnormal support.");
 
     // Bounds concern the represented polynomial, not a tolerance-relaxed EOS.