pub const SOLVER_ABI_IDENTITY: &str = "joint-solver/nary-device-components-dp-bb/5";Expand description
Identity of the solver ABI and objective this module implements: deterministic component decomposition, exact top-two/max-marginal DP inside the pinned width envelope, exact branch-and-bound within device fuel, typed exhaustion beyond it. Carrier schemas and calibration artifacts bind to this identity; it changes whenever the ABI or objective changes.