parquet_debug_set_exp_key_contract Subroutine

public subroutine parquet_debug_set_exp_key_contract(ok)

Forces the frozen-transform check to fail. Test-only.

Public only because it has to be: this module reaches no bind(C) surface, so the C++-side debug-hook convention is unavailable to it. It exists to give exp_key_contract_ok a negative control -- without one, a check that returned .true. unconditionally would pass every test ever written for it, which is exactly the failure mode a guard cannot afford. Reaching the real failure needs a build with -ffast-math or ifx's default -fp-model=fast, which no in-process test can produce.

It is excluded from README.md's API overview and no library code calls it.

Arguments

    subroutine parquet_debug_set_exp_key_contract(ok)
        logical, intent(in) :: ok   !! `.false.` makes the contract check report failure

        ek_dbg_force_fail = .not. ok
    end subroutine parquet_debug_set_exp_key_contract