cavity_mass_thin_is_fatal Function

public pure function cavity_mass_thin_is_fatal(n_thin) result(is_fatal)

Is this step’s clamped-withdrawal tally a FAIL-LOUD condition?

Yes, on any count. A clamped withdrawal is one the tracked mass source no longer matches, so from that step on the console’s Mass Error would stop being a leak measurement while still being printed as one — the exact failure mode the budget gate exists to make impossible. h is nevertheless clamped first, so the state handed to the abort path is finite and the last printed line is meaningful.

A pure predicate, like cavity_melt_status_is_fatal, so the suite can assert the DECISION without provoking error stop.

Arguments

Type IntentOptional Attributes Name
integer, intent(in) :: n_thin

n_thin_step.

Return Value logical


Called by

proc~~cavity_mass_thin_is_fatal~~CalledByGraph proc~cavity_mass_thin_is_fatal cavity_mass_thin_is_fatal proc~ocean_cavity_mass_step ocean_cavity_mass_step proc~ocean_cavity_mass_step->proc~cavity_mass_thin_is_fatal proc~run_stage run_stage proc~run_stage->proc~ocean_cavity_mass_step proc~run_stage_split run_stage_split proc~run_stage_split->proc~ocean_cavity_mass_step proc~ocean_dyn_step ocean_dyn_step proc~ocean_dyn_step->proc~run_stage proc~ocean_dyn_step_split ocean_dyn_step_split proc~ocean_dyn_step_split->proc~run_stage_split proc~engine_step engine_step proc~engine_step->proc~ocean_dyn_step proc~engine_step->proc~ocean_dyn_step_split proc~driver_run_ocean driver_run_ocean proc~driver_run_ocean->proc~engine_step proc~rdb_ocean_step rdb_ocean_step proc~rdb_ocean_step->proc~engine_step

Source Code

   pure function cavity_mass_thin_is_fatal(n_thin) result(is_fatal)
      !! Is this step's clamped-withdrawal tally a FAIL-LOUD condition?
      !!
      !! Yes, on any count.  A clamped withdrawal is one the tracked mass
      !! source no longer matches, so from that step on the console's
      !! `Mass Error` would stop being a leak measurement while still
      !! being printed as one — the exact failure mode the budget gate
      !! exists to make impossible.  `h` is nevertheless clamped first,
      !! so the state handed to the abort path is finite and the last
      !! printed line is meaningful.
      !!
      !! A `pure` predicate, like `cavity_melt_status_is_fatal`, so the
      !! suite can assert the DECISION without provoking `error stop`.
      integer, intent(in) :: n_thin
         !! `n_thin_step`.
      logical :: is_fatal
      is_fatal = (n_thin > 0)
   end function cavity_mass_thin_is_fatal