@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/specification/conformance/metrological.prl

@@ -0,0 +1,478 @@
+conformance_class /conf/metrological-tests {
+  title "Metrological conformance tests"
+  name "Metrological conformance tests for load cells"
+  target /req/metrological
+  subject "load cell testing"
+  description "Test procedures for verifying compliance with the metrological requirements for all load cells, including measurement error, repeatability, temperature effects, creep, dead load output return, barometric pressure, and humidity."
+  test_subject {
+    entity: "MeasuringInstrument"
+    classification_dimensions: "{\"accuracy_class\":[\"A\",\"B\",\"C\",\"D\"],\"technology\":[\"analogue-passive\",\"analogue-active\",\"digital\"],\"humidity_class\":[\"CH\",\"SH\",\"NH\"]}"
+  }
+}
+
+conformance_test /conf/metrological-tests/measurement-error-repeatability-mdlo {
+  name "Determination of measurement error, repeatability error and temperature effect on MDLO"
+  purpose "Verify that load cell errors do not exceed the MPE values given in Table 4, that repeatability error does not exceed the absolute value of MPE for that load, and that temperature effect on minimum dead load output does not exceed p_LC times v_min per temperature increment."
+  method "Apply increasing and decreasing test loads at four temperatures (20 degC, T_high, T_low, 20 degC return). Record indications at each load point. Classes C/D: 3 identical load applications. Classes A/B: 5 identical load applications. Calculate conversion factor f from 75% load indication. Determine E_L, E_R, and C_M per R 60-3 section 2.1. Compare against MPE from Table 4."
+  method_ref load_weight
+  type Testing
+  kind performance
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.7.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8.3.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.8.3.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.10" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.11" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.12" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.13" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.14" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.15" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.1.16" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.11" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.11.1" }
+  targets { /req/metrological/mpe /req/metrological/repeatability /req/metrological/temperature-effect-mdlo /req/metrological/temperature-limits /req/metrological/special-temperature-limits }
+  binds_to { group.parameters.mpe group.classification.accuracy_class family.parameters.p_lc group.parameters.v_min family.parameters.t_min family.parameters.t_max }
+  required_competence {
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system applying test loads over the measuring range (R 60-2, 2.7.2), mass standards traceable per 2.7.3.2"
+    }
+    competence temperature_control {
+      range { min "t_min" max "t_max" unit "degC" }
+      stability { value 2 unit "degC" }
+      description "Climatic chamber conditioning at 20 degC, T_high, T_low and return (R 60-2, 2.10.1), stable within one fifth of the cell's range, never more than 2 degC (R 60-2, 2.7.3.1)"
+    }
+    competence indication_readout {
+      description "Indicating instrument reading the cell output at every load point and temperature (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable n { type integer source derived derivation "ocl{(e_max - e_min) / v_min}" description "Verification intervals of the measuring range under test (= Y when the test spans the classified range, R 60-3, 2.1.2.4)" }
+    variable conversion_factor_f { type number unit "counts/v" source derived derivation "ocl{(avgIndicationAt75pct - indicationAtDmin) / (0.75 * n)}" description "Conversion factor from counts to verification units" }
+    variable e_l { type number unit "v" source derived derivation "ocl{(avg_indication - reference_indication) / conversion_factor_f}" description "Load cell error in verification units" }
+    variable e_r { type number unit "v" source derived derivation "ocl{(max(runs->collect(r | r.indication)) - min(runs->collect(r | r.indication))) / conversion_factor_f}" description "Repeatability error across runs" }
+    variable mpe { type number unit "v" source computed derivation "ocl{lookupMPE(test_load, accuracy_class, p_lc)}" description "Maximum permissible error at this load" }
+    variable c_m { type number unit "v" source derived description "Raw temperature effect on MDLO of one temperature step, in v (BEFORE the T_f/(T_2−T_1) normalization and the v→v_min conversion — those live exactly once in the mdlo_normalized VerdictQuantity, R 60-3, 2.1.4)" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  preconditions {
+    precondition temperature-stability { check "ocl{temperature_variation <= min(2, 0.2 * (family.parameters.t_max - family.parameters.t_min))}" description "Ambient temperature stability (R 60-2, 2.7.3.1): the difference between extreme temperatures noted during the test shall not exceed one fifth of the load cell's temperature range (t_max − t_min), and never 2 °C. A run recorded under unstable temperature is INVALID — not a fail." }
+  }
+  procedure {
+    1 "Determine conversion factor f from 75% load indication" inputs { conversion_factor_f } outputs { conversion_factor_f }
+    2 "Apply test loads at 20°C reference temperature" outputs { e_l e_r mpe }
+    3 "Apply test loads at T_high" outputs { e_l e_r mpe }
+    4 "Apply test loads at T_low" outputs { e_l e_r mpe }
+    5 "Apply test loads at 20°C return; calculate MDLO changes" outputs { e_l e_r mpe c_m }
+  }
+  procedure_steps { check_test_conditions insert_load_cell preload_load_cell check_indicating_instrument monitor_load_cell record_initial_indication apply_test_load_points apply_increasing_loads record_indications_increasing decrease_test_loads record_indications_decreasing repeat_per_accuracy_class repeat_per_temperature determine_measurement_error determine_repeatability_error determine_temperature_effect_mdlo }
+  instances {
+    by accuracy_class
+    values {
+      A { n_runs: 5 }
+      B { n_runs: 5 }
+      C { n_runs: 3 }
+      D { n_runs: 3 }
+    }
+  }
+  design {
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{mpe_criterion and repeatability_criterion and mdlo_criterion}"
+    criterion mpe_criterion { target /req/metrological/mpe pass_if "ocl{abs(e_l) <= abs(mpe)}" description "|E_L| ≤ |MPE|" }
+    criterion repeatability_criterion { target /req/metrological/repeatability pass_if "ocl{abs(e_r) <= abs(mpe)}" description "|E_R| ≤ |MPE|" }
+    criterion mdlo_criterion { target /req/metrological/temperature-effect-mdlo description "C_M(v_min) ≤ p_LC per temperature increment (canonical verdict — never restated here; audit F1)" accepts { verdict mdlo_normalized op lte limit "ocl{p_lc}" } }
+  }
+  result_forms { load-cell-errors load-test repeatability temperature-mdlo }
+}
+
+conformance_test /conf/metrological-tests/creep {
+  name "Determination of creep error"
+  purpose "Verify that creep over 30 minutes does not exceed 0.7 times the absolute value of MPE, and that the difference between 20 and 30 minute readings does not exceed 0.15 times the absolute value of MPE."
+  method "Apply D_max (90-100% of E_max) and hold for 30 minutes. Record indications at specified intervals. Calculate C_C per R 60-3, 2.1.5. Always use p_LC = 0.7 for MPE calculation. Repeat at each test temperature."
+  type Testing
+  kind performance
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.9.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.2.10" }
+  targets { /req/metrological/creep /req/metrological/creep-20-30 }
+  binds_to { group.parameters.mpe model.parameters.e_max sample.test_context.d_max }
+  required_competence {
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system holding D_max (90–100% of E_max) constant for 30 minutes per run (R 60-2, 2.10.2)"
+    }
+    competence temperature_control {
+      range { min "t_min" max "t_max" unit "degC" }
+      stability { value 2 unit "degC" }
+      description "Climatic chamber conditioning at each test temperature (R 60-2, 2.10.2), stable per R 60-2, 2.7.3.1"
+    }
+    competence indication_readout {
+      description "Indicating instrument recording the output at the timed reading points (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable d_max { type number unit "g, kg, or t" source declared description "Maximum test load, 90-100% of E_max" }
+    variable conversion_factor_f { type number unit "counts/v" source derived derivation "ocl{(avgIndicationAt75pct - indicationAtDmin) / (0.75 * n)}" description "Conversion factor from counts to verification units" }
+    variable initial_dmax_indication { type number unit "counts" source measured description "Initial indication at D_max at time t=0" }
+    variable creep_readings { type collection source measured description "Time-series creep readings at D_max" }
+    variable c_c { type number unit "v" source derived derivation "ocl{creep_readings->collect(r | r.change_v)->max()}" description "Maximum creep change across all readings" }
+    variable creep_30min { type number unit "v" source derived derivation "ocl{reading_at(window(creep_readings->select(r | r.test_load = 'D_max'), 'elapsed_min', 20, 30), 'elapsed_min', 30, 'change_v')}" description "Creep change at 30 minutes (reading at t=30, per R 60-3, 2.1.5.2)" }
+    variable creep_20min { type number unit "v" source derived derivation "ocl{reading_at(window(creep_readings->select(r | r.test_load = 'D_max'), 'elapsed_min', 20, 30), 'elapsed_min', 20, 'change_v')}" description "Creep change at 20 minutes (reading at t=20, per R 60-3, 2.1.5.2)" }
+    variable mpe_at_dmax { type number unit "v" source computed derivation "ocl{lookupMPE(d_max, accuracy_class, 0.7)}" description "MPE at D_max with p_LC forced to 0.7" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  preconditions {
+    precondition temperature-stability { check "ocl{temperature_variation <= min(2, 0.2 * (family.parameters.t_max - family.parameters.t_min))}" description "Ambient temperature stability (R 60-2, 2.7.3.1): the difference between extreme temperatures noted during the test shall not exceed one fifth of the load cell's temperature range (t_max − t_min), and never 2 °C. A creep run recorded under unstable temperature is INVALID — not a fail." }
+    precondition creep-load-envelope { check "ocl{sample.test_context.d_max >= 0.9 * model.parameters.e_max and sample.test_context.d_max <= model.parameters.e_max}" description "Load envelope (R 60-2, 2.10.2): the creep test applies 90–100 % of E_max (D_max). A run outside the load envelope is INVALID — not a fail. (Moved out of the requirement's inline limit expression with the characteristics migration, TODO.roadmap/10 — run-validity, not acceptance.) The envelope inputs (D_max, E_max) MUST be recorded for a creep run: when they are unresolvable the creep verdicts are INDETERMINATE — the unbound-reads discipline of the former inline conjunct, never a silent skip." on_unresolvable indeterminate }
+  }
+  procedure {
+    1 "Record initial indication at D_min"
+    2 "Apply D_max load" inputs { d_max }
+    3 "Record initial indication at D_max (t=0)" outputs { initial_dmax_indication }
+    4 "Hold D_max for 30 minutes, recording at intervals" outputs { creep_readings c_c creep_30min creep_20min }
+    5 "Remove load, return to D_min"
+  }
+  procedure_steps { check_test_conditions insert_load_cell preload_load_cell check_indicating_instrument monitor_load_cell record_initial_indication apply_load_dmax record_indications_30min repeat_per_temperature determine_creep_error }
+  design {
+    schedule {
+      duration PT30M
+      constraints {
+        "apply D_max (90-100 % of E_max) and hold for 30 minutes"
+        "record indications at specified intervals incl. t=20 and t=30 min"
+        "repeat at each test temperature"
+        "loading/stabilisation times per R 60-2, Table 1"
+      }
+    }
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{creep_30min_criterion and creep_20_30_criterion}"
+    criterion creep_30min_criterion { target /req/metrological/creep description "C_C ≤ 0.7 × |MPE| at D_max (canonical characteristic — never restated here; the run's mpe_at_dmax computes the same MPE)" accepts { verdict creep op lte limit "ocl{0.7 * abs(lookupMPE(sample.test_context.d_max, group.classification.accuracy_class, 0.7))}" } }
+    criterion creep_20_30_criterion { target /req/metrological/creep-20-30 pass_if "ocl{abs(creep_30min - creep_20min) <= 0.15 * abs(mpe_at_dmax)}" description "|C_C(30-20)| ≤ 0.15 × |MPE|" }
+  }
+  result_forms { creep-dr }
+}
+
+conformance_test /conf/metrological-tests/dr {
+  name "Determination of minimum dead load output return (DR)"
+  purpose "Verify that the difference between the initial minimum load output reading and the reading after the creep test does not exceed 0.5 v."
+  method "Record indication at D_min before applying D_max. Apply D_max and hold for 30 minutes. Return to D_min and record indication. Calculate C_DR per R 60-3, 2.1.5. Compare against 0.5 v limit. Repeat at each test temperature."
+  type Testing
+  kind performance
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.9.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.10" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.11" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.3.12" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.11.2" }
+  targets { /req/metrological/dr }
+  binds_to { group.parameters.dr sample.test_context.v }
+  required_competence {
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system applying and removing the test load for the output-return reading (R 60-2, 2.10.3)"
+    }
+    competence indication_readout {
+      description "Indicating instrument recording the dead load output before and after load application (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable initial_dmin_indication { type number unit "counts" source measured description "Indication at D_min before creep test" }
+    variable final_dmin_indication { type number unit "counts" source measured description "Indication at D_min after creep test" }
+    variable conversion_factor_f { type number unit "counts/v" source derived derivation "ocl{(avgIndicationAt75pct - indicationAtDmin) / (0.75 * n)}" }
+    variable c_dr { type number unit "v" source derived derivation "ocl{(final_dmin_indication - initial_dmin_indication) / conversion_factor_f}" description "Dead load output return in verification units" }
+    variable actual_time_s { type number unit "s" source measured description "Actual loading/unloading time achieved (R 60-2, 2.8.3)" }
+    variable specified_time_s { type number unit "s" source declared description "Specified loading/unloading time per R 60-2, Table 1" }
+    variable x { type number unit "1" source derived derivation "ocl{actual_time_s / specified_time_s}" description "Ratio of actual to specified loading time (R 60-3, 2.1.5.6)" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  preconditions {
+    precondition temperature-stability { check "ocl{temperature_variation <= min(2, 0.2 * (family.parameters.t_max - family.parameters.t_min))}" description "Ambient temperature stability (R 60-2, 2.7.3.1): the difference between extreme temperatures noted during the test shall not exceed one fifth of the load cell's temperature range (t_max − t_min), and never 2 °C. A run recorded under unstable temperature is INVALID — not a fail." }
+    precondition loading-time-limit { check "ocl{x <= 1.5}" description "Loading-time ceiling (R 60-2, 2.8.3): for the minimum dead load output return test the time may be increased from 100 % to a limit of 150 % of the specified time — beyond 150 % the run is INVALID (the relaxed limit no longer applies), never a fail." }
+  }
+  procedure {
+    1 "Record initial indication at D_min" outputs { initial_dmin_indication }
+    2 "Apply D_max, hold for 30 minutes, remove load" inputs { actual_time_s specified_time_s }
+    3 "Record final indication at D_min" outputs { final_dmin_indication }
+    4 "Calculate DR and evaluate against 0.5 v (relaxed per R 60-3, 2.1.5.6 when 100-150 % of the specified time)" outputs { c_dr x }
+  }
+  procedure_steps { check_test_conditions insert_load_cell preload_load_cell check_indicating_instrument monitor_load_cell record_initial_dmin_indication apply_load_dmax hold_30min return_to_dmin record_final_dmin_indication repeat_per_temperature determine_dr_value }
+  design {
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{dr_criterion}"
+    criterion dr_criterion { target /req/metrological/dr pass_if "ocl{if x <= 1 then abs(c_dr) <= 0.5 else abs(c_dr) <= 0.5 * (1 - (x - 1)) endif}" description "|C_DR| ≤ 0.5 v when the R 60-2, Table 1 time intervals are met; ≤ 0.5(1−(x−1)) v for 100–150 % loading times (x = actual/specified time, R 60-3, 2.1.5.6)" }
+  }
+  result_forms { creep-dr }
+}
+
+conformance_test /conf/metrological-tests/barometric-pressure {
+  name "Determination of barometric pressure effects"
+  purpose "Verify that the output variation does not exceed v_min for any incremental change in barometric pressure of 1 kPa."
+  method "At room temperature with unloaded load cell, record indication at atmospheric pressure. Change pressure by at least 1 kPa and record indication. Calculate C_P per R 60-3, 2.1.6. Compare against v_min limit."
+  type Testing
+  kind influence
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.4.7" }
+  targets { /req/metrological/barometric-pressure }
+  binds_to { group.parameters.v_min }
+  required_competence {
+    competence pressure_control {
+      description "Barometric pressure variation for the determination of atmospheric pressure effects (R 60-2, 2.10.4; R 60-1, 5.6.2)"
+    }
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system applying the reference load at each pressure step (R 60-2, 2.7.2)"
+    }
+    competence indication_readout {
+      description "Indicating instrument recording the output at each pressure step (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable conversion_factor_f { type number unit "counts/v" source derived }
+    variable pressure_readings { type collection source measured description "Indications at different barometric pressures" }
+    variable c_p { type number unit "v" source derived description "Raw pressure-step change in v (R 60-3, 2.1.6: difference of indications divided by f)" }
+    variable delta_p { type number unit "kPa" source measured description "Pressure step (P_2 − P_1) of the reading pair, kPa" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  procedure {
+    1 "Record indication at current atmospheric pressure" outputs { pressure_readings }
+    2 "Change pressure by at least 1 kPa and record indication" outputs { pressure_readings }
+    3 "Calculate pressure effect C_P per kPa in v_min units (R 60-3, 2.1.6) and evaluate against v_min" outputs { c_p delta_p }
+  }
+  procedure_steps { check_test_conditions insert_load_cell check_indicating_instrument monitor_load_cell record_reference_indication change_barometric_pressure record_indications_per_pressure determine_barometric_pressure_error }
+  design {
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{barometric_criterion}"
+    criterion barometric_criterion { target /req/metrological/barometric-pressure description "C_P(v_min) per kPa ≤ 1 v_min (canonical verdict — R 60-3, 2.1.6 full normalization incl. the ×(E_max−E_min)/n_LC step; audit F2)" accepts { verdict barometric_normalized op lte limit "ocl{1}" } }
+  }
+  result_forms { barometric-pressure }
+}
+
+conformance_test /conf/metrological-tests/humidity-ch {
+  name "Determination of humidity effects for CH or unmarked load cells"
+  purpose "Verify that cyclic humidity exposure does not cause the minimum load output to vary by more than 4% of (E_max - E_min), and the maximum load output to vary by more than v."
+  method "Perform load tests before and after exposure to cyclic humidity (12 cycles of 24h each, RH 80-96%, temp 25-40 degC). Record indications at D_min and D_max before and after. Calculate C_Hmin and C_Hmax per R 60-3, 2.1.7. Classes C/D: 3 runs. Classes A/B: 5 runs."
+  type Testing
+  kind influence
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.10" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.11" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.12" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.12/table-1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.13" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.14" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.5.15" }
+  targets { /req/metrological/humidity-ch }
+  binds_to { group.parameters.n_lc sample.test_context.v family.classification.humidity_class }
+  applicability {
+    humidity_class: [CH]
+  }
+  required_competence {
+    competence humidity_testing {
+      method_standard "iec-60068-2-30"
+      description "Cyclic damp heat exposure, variant 2 when lowering the temperature (R 60-2, 2.10.5, applying IEC 60068-2-30)"
+    }
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system applying the reference load before/during/after exposure (R 60-2, 2.7.2)"
+    }
+    competence indication_readout {
+      description "Indicating instrument recording the output around the exposure (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable n { type integer source derived derivation "ocl{(e_max - e_min) / v_min}" description "Verification intervals of the measuring range under test (= Y when the test spans the classified range, R 60-3, 2.1.2.4)" }
+    variable conversion_factor_f { type number unit "counts/v" source derived }
+    variable avg_indication_dmin_before { type number unit "counts" source measured description "Average D_min indication before humidity exposure" }
+    variable avg_dmax_before { type number unit "counts" source measured description "Average D_max indication before humidity exposure" }
+    variable avg_dmin_before { type number unit "counts" source measured description "Average D_min indication before humidity exposure (span baseline)" }
+    variable avg_indication_dmin_after { type number unit "counts" source measured description "Average D_min indication after humidity exposure" }
+    variable avg_dmax_after { type number unit "counts" source measured description "Average D_max indication after humidity exposure" }
+    variable avg_dmin_after { type number unit "counts" source measured description "Average D_min indication after humidity exposure (span baseline)" }
+    variable c_hmin { type number unit "v" source derived derivation "ocl{(avg_indication_dmin_after - avg_indication_dmin_before) / conversion_factor_f}" }
+    variable c_hmax { type number unit "v" source derived derivation "ocl{((avg_dmax_after - avg_dmin_after) - (avg_dmax_before - avg_dmin_before)) / conversion_factor_f}" }
+    variable chmin_limit { type number unit "v" source derived derivation "ocl{0.04 * n}" description "4 % of the (E_max − E_min) output = 0.04·n in v units (R 60-1, 5.6.3; n = intervals of the range under test per R 60-3, 2.1.7)" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  procedure {
+    1 "Perform load tests before humidity exposure (baseline)" outputs { avg_indication_dmin_before avg_dmax_before avg_dmin_before }
+    2 "Subject to cyclic humidity (12 cycles, 24h each, RH 80-96%, 25-40°C)"
+    3 "Perform load tests after humidity exposure" outputs { avg_indication_dmin_after avg_dmax_after avg_dmin_after }
+    4 "Calculate humidity effects and evaluate" outputs { c_hmin c_hmax chmin_limit }
+  }
+  procedure_steps { check_test_conditions insert_load_cell preload_load_cell check_indicating_instrument monitor_load_cell record_initial_indication apply_load_test_points record_indications_pre_humidity remove_load conduct_damp_heat_cyclic_test_ch remove_load_cell_from_chamber repeat_test_procedures determine_humidity_induced_variations }
+  instances {
+    by accuracy_class
+    values {
+      A { n_runs: 5 }
+      B { n_runs: 5 }
+      C { n_runs: 3 }
+      D { n_runs: 3 }
+    }
+  }
+  design {
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{chmin_criterion and chmax_criterion}"
+    criterion chmin_criterion { target /req/metrological/humidity-ch pass_if "ocl{abs(c_hmin) <= chmin_limit}" description "|C_Hmin| ≤ 4 % of the (E_max − E_min) output = 0.04·n v (R 60-1, 5.6.3)" }
+    criterion chmax_criterion { target /req/metrological/humidity-ch pass_if "ocl{abs(c_hmax) <= 1}" description "|C_Hmax| ≤ 1 v (R 60-1, 5.6.3; R 60-3, 2.1.7 states ≤ MPE — source discrepancy annotated, model follows the normative Part 1)" source_discrepancy { summary "R 60-3, 2.1.7 prose states the max-load humidity effect limit as ≤ MPE, contradicting R 60-1, 5.6.3.1 (≤ 1 v — confirmed by R 60-3's own Table 6.10.1-a mpc column = 1)" sources { "urn:oiml:pub:r:60-1:2021#clause-5.6.3.1" "urn:oiml:pub:r:60-3:2021#clause-2.1.7" } resolution follows_clause_x rationale "The model follows R 60-1, 5.6.3.1 — the normative requirement clause (max-load effect shall not exceed the verification interval v) — which R 60-3's own Table 6.10.1-a mpc column (= 1) confirms; only R 60-3, 2.1.7 prose states ≤ MPE. The requirement and form layers carry the same annotation. See analysis/deep-audit-r60.md F5." } }
+  }
+  result_forms { humidity-ch }
+}
+
+conformance_test /conf/metrological-tests/humidity-sh {
+  name "Determination of humidity effects for SH marked load cells"
+  purpose "Verify that steady-state humidity exposure does not cause errors exceeding the MPE values in Table 4."
+  method "Perform load tests at 85% RH constant humidity and the high temperature of the range specified in R 60-1, 5.6.1 for 48 hours (following temperature and humidity stabilisation). Reference condition: 20 °C at 50 % RH — or the MEAN VALUE of the temperature range whenever 20 °C is outside that range (R 60-2, 2.10.6). No condensation on the load cell. Determine load cell errors per R 60-3, 2.1.8. Compare against MPE from Table 4."
+  type Testing
+  kind influence
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.2" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.3" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.4" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.5" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.6" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.7" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.8" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.9" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.10" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.11" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.11/table-1" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.12" }
+  reference { doc "urn:oiml:pub:r:60-2:2021" clause "2.10.6.13" }
+  targets { /req/metrological/humidity-sh }
+  binds_to { group.parameters.mpe family.classification.humidity_class }
+  applicability {
+    humidity_class: [SH]
+  }
+  required_competence {
+    competence humidity_testing {
+      method_standard "iec-60068-2-78"
+      description "Steady-state damp heat exposure (R 60-2, 2.10.6, applying IEC 60068-2-78)"
+    }
+    competence force_measurement {
+      range { max "e_max" unit "kg" }
+      description "Force-generating system applying the reference load before/during/after exposure (R 60-2, 2.7.2)"
+    }
+    competence indication_readout {
+      description "Indicating instrument recording the output around the exposure (R 60-2, 2.7.2)"
+    }
+  }
+  variables {
+    variable conversion_factor_f { type number unit "counts/v" source derived }
+    variable reference_indication { type number unit "counts" source measured description "Reference indication at baseline (20°C, 50% RH)" }
+    variable e_l { type number unit "v" source derived derivation "ocl{(indication - reference_indication) / conversion_factor_f}" }
+    variable mpe { type number unit "v" source computed derivation "ocl{lookupMPE(test_load, accuracy_class, p_lc)}" }
+  }
+  conditions_to_enforce { load-cell-rated-conditions }
+  procedure {
+    1 "Perform load tests at 20°C, 50% RH (baseline)" outputs { reference_indication e_l mpe }
+    2 "Expose to 85% RH constant for 48 hours at constant temperature"
+    3 "Perform load tests at 85% RH" outputs { e_l mpe }
+    4 "Perform load tests at 20°C return" outputs { e_l mpe }
+  }
+  procedure_steps { check_test_conditions insert_load_cell preload_load_cell check_indicating_instrument monitor_load_cell record_initial_indication apply_load_test_points record_indications_pre_humidity decrease_load conduct_damp_heat_steady_state_sh recording_indications_during_humidity determine_humidity_induced_variations }
+  design {
+    specimens {
+      count 1
+      continuity same_eut
+      rules { unit-continuity }
+    }
+  }
+  acceptance_criteria {
+    type composite
+    pass_if "ocl{humidity_sh_criterion}"
+    criterion humidity_sh_criterion { target /req/metrological/humidity-sh pass_if "ocl{abs(e_l) <= abs(mpe)}" description "|E_L| ≤ |MPE| at 85% RH" }
+  }
+  result_forms { humidity-sh }
+}
+

package/oiml-r60/specification/constraints.prl

@@ -0,0 +1,58 @@
+constraint completion_fees_settled {
+  stereotype inv
+  name "Completion — the fees settled"
+  check "ocl{fees->forAll(f | f.status = 'MARKED_PAID')}"
+  violation_meaning "An unpaid fee stands against the project: a payment record (the certificate's registration fee, PD-05 §6.2, or an IA-TL arrangement record, TODO.adoption/09) is not MARKED_PAID. The payer owes the settlement and its recording before the project can complete."
+  on_violation invalid
+}
+
+constraint completion_custody_closed {
+  stereotype inv
+  name "Completion — the samples' custody closed"
+  check "ocl{samples->forAll(s | s.status = 'RETURNED' or s.status = 'RETAINED' or s.status = 'DESTROYED' or s.status = 'DISPOSED')}"
+  violation_meaning "A sample's custody is still open: every sample of the project must reach a terminal custody state (RETURNED to the manufacturer, RETAINED, DESTROYED or DISPOSED — the measuring_instrument_sample machine's terminal marks) before the project can complete. The IA owes the custody-closing act."
+  on_violation invalid
+}
+
+constraint completion_threads_resolved {
+  stereotype inv
+  name "Completion — the review threads resolved"
+  check "ocl{threads->forAll(t | t.status = 'RESOLVED')}"
+  violation_meaning "A review thread is still OPEN on one of the project's reports: the review period's threads (entities/comments.prl) resolve before the finalization completes — the same consultation_resolved doctrine the report machines' decision hops declare. The thread's parties owe the resolution."
+  on_violation invalid
+}
+
+constraint completion_reports_finalized {
+  stereotype inv
+  name "Completion — the reports finalized"
+  check "ocl{evaluation_reports->exists(r | r.status = 'APPROVED' or r.status = 'REJECTED' or r.status = 'CONDITIONALLY_APPROVED')}"
+  violation_meaning "The project's evaluation report is not finalized: the evaluation_report machine has reached no terminal decision (APPROVED, REJECTED or CONDITIONALLY_APPROVED). The IA's evaluator owes the decision."
+  on_violation invalid
+}
+
+constraint completion_certificate_registered {
+  stereotype inv
+  name "Completion — the certificate issued and registered"
+  check "ocl{certificates->exists(c | c.status = 'ACTIVE')}"
+  violation_meaning "No certificate stands issued and registered for the project: the certificate machine's ACTIVE state — the registration published (PD-05 §6; the register's auto-publish doctrine) — is the completion's certificate leg. The IA owes the issuance and the register the publication."
+  on_violation invalid
+}
+
+constraint dead_load_max_geometry {
+  stereotype inv
+  name "Dead-load maximum geometry"
+  check "ocl{model.parameters.d_max >= 0.9 * model.parameters.e_max and model.parameters.d_max <= model.parameters.e_max}"
+  violation_meaning "The declared maximum test load D_max lies outside [0.9·E_max, E_max] — the test setup does not realize the upper end of the measuring range (R 60-2, 2.7.3.4: D_max shall be not less than 90 % of E_max, nor greater than E_max), so the type evaluation of this load cell is void."
+  on_violation invalid
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.6"
+}
+
+constraint dead_load_min_geometry {
+  stereotype inv
+  name "Dead-load minimum geometry"
+  check "ocl{model.parameters.e_min <= model.parameters.d_min and model.parameters.d_min <= 0.1 * model.parameters.e_max}"
+  violation_meaning "The declared minimum test load D_min lies outside [E_min, 0.1·E_max] — the test setup does not realize the lower end of the measuring range (R 60-2, 2.7.3.4: D_min shall be not less than E_min and not higher than 10 % of E_max), so the type evaluation of this load cell is void."
+  on_violation invalid
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.6"
+}
+

package/oiml-r60/specification/formulas-used.prl

@@ -0,0 +1,43 @@
+# R 60 FORMULAS USED — the per-test evaluation-formula trace as data
+# -----------------------------------------------------------------------------
+# PROPOSAL.R60-SSOT-Phase9.5 item 4 (Response 4 item 4 — TEST-side, never
+# process-side): which registry formulas each conformance test's evaluation
+# invokes. Traceability: a formula change propagates to every test that uses
+# it — without this registry the linker cannot see that a test's expected
+# outputs depend on a formula that just changed.
+#
+# Native construct (smart gap-close E11, kernel 60c565d — the registry rode
+# the build-primmel-cache SUPPLEMENTAL list as hand-authored app config
+# before the kernel grew the construct; the 9.5-era header contemplated an
+# id-list `formulas_used` facet on conformance_test, and the kernel landed
+# it as a top-level registry block keyed by the test reference instead —
+# the YAML projection stays trivial, the conformance_test grammar
+# untouched). The block symbol IS the conformance-test reference (the bare
+# reference-shaped id, the `text /req/….statement` idiom). The YAML twin
+# data/<rec>/specification/formulas-used.yaml (schema
+# data/schemas/formulas-used.yaml) is GENERATED from this file. Linker:
+# R41 (browser/build/model-linker.ts).
+#
+# Entry vocabulary: the ids are the registries' QUANTITY names — the
+# calculation output names (conversion_factor_f, e_l, e_r, c_m; the same ids
+# the test declares as its variables). R41 resolves every entry against the
+# union of the calculations and formulas registries (output names ∪ entry
+# names); c_m is honestly closed by the mdloStepChange calculation
+# (specification/calculations.yaml, R 60-3, 2.1.4) added with this registry.
+#
+# Why test-side: the four quantities are the EVALUATION-level formulas of
+# R 60-3, 2.1 — computed FROM the indication output, never BY the
+# instrument's signal chain (load_weight, the mdlo test's method_ref, is the
+# instrument's signal-level anatomy, R 60-1, 4 Figure 2). Declaring them on
+# the process would falsely claim the instrument computes them. This file is
+# also the R34 designed delta (data/r60/linker-allowlist.yaml, the
+# test-method-link entry) stopping being prose and becoming resolvable data —
+# the delta itself remains; the allowlist entry stays.
+
+formulas_used /conf/metrological-tests/measurement-error-repeatability-mdlo {
+  name "MDLO evaluation formulas"
+  description "The evaluation-level quantities of R 60-3, 2.1 the MDLO test derives from the indication output: the conversion factor f (2.1.2.4), the load cell error E_L (2.1.2), the repeatability error E_R (2.1.3), and the raw temperature effect on MDLO of one temperature step C_M (2.1.4 — the normalization to v_min per temperature increment lives exactly once in the mdlo_normalized VerdictQuantity)."
+  formulas { conversion_factor_f e_l e_r c_m }
+  source { doc "urn:oiml:pub:r:60-3:2021" clause "2.1" }
+}
+

package/oiml-r60/specification/formulas.prl

@@ -0,0 +1,20 @@
+calculation lookupMPE {
+  name "lookupMPE"
+  type table_lookup
+  label "Maximum Permissible Error"
+  description "Looks up MPE for a given load in v units per R 60-1 Table 4"
+  params { load accuracy_class p_lc }
+  lookup { key accuracy_class variable load multiplier p_lc }
+  profile profiles.mpe_tiers
+}
+
+calculation lookupProfile {
+  name "lookupProfile"
+  type profile_lookup
+  label "Dimension-keyed profile lookup"
+  description "Returns the binding of a dimension-keyed profile from the profiles: section of tables.yaml for a classification dimension value, e.g. lookupProfile('n_LC_range', 'C') -> { min: 500, max: 10000 } and lookupProfile('min_temperature_span', 'A') -> 5. For range bindings a missing max means unbounded above."
+  params { profile dimension_value }
+  lookup { key dimension_value }
+  profile profiles
+}
+