Merge pull request #2842 from fermga/copilot/add-canonical-validation-delta-nfr

Add VAL canonical ΔNFR validation configuration defaults

Author: fermga

docs/changelog.d/add-val-dnfr-validation.enhancement.md

@@ -0,0 +1,6 @@
+- Added canonical ΔNFR validation to VAL (Expansion) operator preconditions.
+- Implemented three-tier validation for VAL: νf < max, ΔNFR > 0, and EPI >= min.
+- Added configuration parameters: `VAL_MAX_VF`, `VAL_MIN_DNFR`, `VAL_MIN_EPI`, `VAL_CHECK_NETWORK_CAPACITY`, `VAL_MAX_NETWORK_SIZE`.
+- Set `VAL_MIN_DNFR` default to `1e-6` (very low threshold to minimize breaking changes while ensuring physical correctness).
+- Enhanced error messages to suggest alternative operators (OZ for ΔNFR generation, AL for EPI activation).
+- Aligned implementation with TNFR nodal equation ∂EPI/∂t = νf · ΔNFR(t) requiring both νf > 0 and ΔNFR > 0 for coherent expansion.

src/tnfr/config/defaults_core.py

@@ -154,6 +154,13 @@ class CoreDefaults:
     THOL_MIN_HISTORY_LENGTH: int = 3  # Minimum EPI history for acceleration computation
     THOL_ALLOW_ISOLATED: bool = False  # Require network context by default
 
+    # VAL (Expansion) precondition thresholds
+    VAL_MAX_VF: float = 10.0  # Maximum structural frequency threshold
+    VAL_MIN_DNFR: float = 1e-6  # Minimum positive ΔNFR for coherent expansion (very low to minimize breaking changes)
+    VAL_MIN_EPI: float = 0.2  # Minimum EPI for coherent expansion base
+    VAL_CHECK_NETWORK_CAPACITY: bool = False  # Optional network capacity validation
+    VAL_MAX_NETWORK_SIZE: int = 1000  # Maximum network size if capacity checking enabled
+
 
 @dataclass(frozen=True, slots=True)
 class RemeshDefaults:

src/tnfr/operators/preconditions/__init__.py

@@ -525,8 +525,8 @@ def validate_expansion(G: "TNFRGraph", node: "NodeId") -> None:
     ------------------------
     VAL_MAX_VF : float, default 10.0
         Maximum structural frequency threshold
-    VAL_MIN_DNFR : float, default 0.01
-        Minimum ΔNFR for expansion (must be positive)
+    VAL_MIN_DNFR : float, default 1e-6
+        Minimum ΔNFR for expansion (must be positive, very low to minimize breaking changes)
     VAL_MIN_EPI : float, default 0.2
         Minimum EPI for coherent expansion
     VAL_CHECK_NETWORK_CAPACITY : bool, default False
@@ -570,7 +570,7 @@ def validate_expansion(G: "TNFRGraph", node: "NodeId") -> None:
 
     # 2. ΔNFR positivity check (NEW - CRITICAL)
     dnfr = _get_node_attr(G, node, ALIAS_DNFR)
-    min_dnfr = float(G.graph.get("VAL_MIN_DNFR", 0.01))
+    min_dnfr = float(G.graph.get("VAL_MIN_DNFR", 1e-6))
     if dnfr < min_dnfr:
         raise OperatorPreconditionError(
             "Expansion",