@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/execution/forms/sec-6-performance-tests/temperature-mdlo.prl

@@ -0,0 +1,180 @@
+form r60-3/table-6.7 {
+  name "Temperature MDLO"
+  description "Temperature effects on minimum dead load output (C_M)"
+  data_class FormInstance#data
+  header r60-3/header-a
+  conformance_process /conf/metrological-tests/measurement-error-repeatability-mdlo
+  section "R 60-3, 6.7"
+  requirements { /req/metrological/temperature-effect-mdlo }
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.6.1.3"
+  ref test-procedure "urn:oiml:pub:r:60-2:2021#clause-2.10.1.16"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.1.4"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.7"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-5"
+  calculation_context { dimensions true }
+  field conversion_factor_f : number {
+    label "Conversion factor (f)"
+    definition "Ratio of indication change to load change at 75% of Max. Converts counts to verification units (v)."
+    unit "counts/v"
+    required true
+    measurement_method computed
+    bind sample.test_context.conversion_factor_f
+    symbol f
+    specification_reference "R 60-3, 2.1.2.4"
+    calculation conversionFactor
+    calculation_bindings { avgIndicationAt75pct: reference_indication_75pct indicationAtDmin: indication_at_dmin n: n_test_intervals }
+  }
+  field reference_indication_75pct : number {
+    label "Reference indication at 75%"
+    definition "Average indication at the 75% load point, used to compute f."
+    unit "counts"
+    required true
+    measurement_method direct
+  }
+  field indication_at_dmin : number {
+    label "Indication at D_min"
+    definition "Load cell indication at minimum test load (D_min), used to compute f."
+    unit "counts"
+    required true
+    measurement_method direct
+  }
+  field n_lc : integer {
+    label "Number of verification intervals (n_LC)"
+    definition "Maximum number of load cell verification intervals n_LC, declared by the manufacturer."
+    required true
+    measurement_method declared
+    bind group.parameters.n_lc
+    symbol nLC
+    specification_reference "R 60-1, 3.5.8"
+  }
+  field y : integer {
+    label "Relative v_min (Y)"
+    definition "Ratio of the maximum measuring range to v_min (Y = (E_max - E_min)/v_min)."
+    measurement_method declared
+    bind group.parameters.y
+    symbol Y
+    specification_reference "R 60-1, 3.5.15"
+  }
+  field emax : number {
+    label "Maximum capacity (E_max)"
+    definition "Maximum capacity of the load cell."
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    bind model.parameters.e_max
+    symbol Emax
+    specification_reference "R 60-1, 3.5.5"
+  }
+  field emin : number {
+    label "Minimum dead load (E_min)"
+    definition "Minimum dead load of the load cell."
+    unit "g, kg, or t"
+    measurement_method declared
+    bind family.parameters.e_min
+    symbol Emin
+    specification_reference "R 60-1, 3.5.9"
+  }
+  field vmin : number {
+    label "Minimum verification interval (v_min)"
+    definition "Minimum load cell verification interval."
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    bind group.parameters.v_min
+    symbol vmin
+    specification_reference "R 60-1, 3.5.11"
+  }
+  field n_test_intervals : number {
+    label "Verification intervals of the tested range (n)"
+    definition "Number of verification intervals of the measuring range under test — (E_max − E_min)/v_min when the test spans the classified range (R 60-3, 2.1.2.4). Input n of the conversion-factor calculation."
+    measurement_method derived
+    symbol n
+    specification_reference "R 60-3, 2.1.2.4"
+    derivation "ocl{(emax - emin) / vmin}"
+  }
+  field plc : number {
+    label "Apportionment factor (p_LC)"
+    definition "Apportionment factor. Also serves as the maximum permissible change (MPC) per temperature increment."
+    measurement_method declared
+    bind family.parameters.p_lc
+    symbol pLC
+    specification_reference "R 60-1, 3.7.2"
+    default 0.7
+  }
+  field temperature_readings : array {
+    label "Temperature readings"
+    definition "Minimum dead load output indication at each test temperature. Four temperatures per R 60-2: 20°C, T_1, T_2, 20°C (return)."
+    items { object fields {
+      field temperature : number {
+        label "Temperature"
+        definition "Ambient temperature at which the MDLO indication is recorded."
+        unit "degC"
+        required true
+        measurement_method direct
+      }
+      field indication : number {
+        label "Indication"
+        definition "Average initial minimum test load indication at this temperature, obtained from the load test data (Table 6.3/6.4)."
+        unit "counts"
+        required true
+        measurement_method direct
+      }
+      field change_v : number {
+        label "Change (v)"
+        definition "Change in MDLO indication from the prior temperature, divided by the conversion factor, in verification units."
+        unit "v"
+        measurement_method derived
+        symbol CM
+        specification_reference "R 60-3, 2.1.4"
+        derivation "ocl{if $index = 0 then 0 else (indication - $prev.indication) / conversion_factor_f endif}"
+      }
+      field delta_t : number {
+        label "Temperature step (ΔT)"
+        definition "Temperature span of this step (T_2 − T_1). The baseline row carries 1 °C — inert, since its C_M is 0 — so the canonical verdict derivation is defined on every row."
+        unit "degC"
+        measurement_method derived
+        symbol delta_t
+        specification_reference "R 60-3, 2.1.4"
+        derivation "ocl{if $index = 0 then 1 else abs(temperature - $prev.temperature) endif}"
+      }
+      field change_per_5deg : number {
+        label "Change per temperature increment"
+        definition "Temperature-induced MDLO change normalized by the class increment (5 degC for classes B/C/D, 2 degC for class A) and converted to v_min units — the canonical mdlo_normalized verdict quantity."
+        unit "v"
+        measurement_method derived
+        symbol CM-vmin
+        verdict mdlo_normalized
+        specification_reference "R 60-3, 2.1.4"
+      }
+      field mpc : number {
+        label "MPC"
+        definition "Maximum permissible change per 5 degC (classes B/C/D) or per 2 degC (class A). Equal to p_LC."
+        unit "v"
+        measurement_method declared
+        specification_reference "R 60-1, 5.6.1.3"
+        derivation "ocl{$context.p_LC}"
+      }
+      field within_mpc : boolean {
+        label "Within MPC"
+        definition "Evaluation: whether the normalized temperature-induced change is within the MPC."
+        measurement_method evaluated
+        true_label "Yes"
+        false_label "No"
+        evaluation { verdict mdlo_normalized op lte limit "ocl{p_lc}" condition "|C_M(v_min)| per temperature increment <= p_LC" specification_reference "R 60-1, 5.6.1.3" }
+      }
+      } }
+    min_items 4
+    max_items 4
+  }
+  field overall_result : boolean {
+    label "Overall result"
+    definition "PASS iff all temperature-induced MDLO changes are within MPC."
+    required true
+    measurement_method evaluated
+    true_label "Pass"
+    false_label "Fail"
+    evaluation { rule "ocl{temperature_readings->forAll(r | r.within_mpc)}" condition "All |C_M| per 5 degC <= p_LC" specification_reference "R 60-1, 5.6.1.3" }
+  }
+  pass_fail { criteria "C_M(v) per 5 degC <= p_LC for classes B/C/D; per 2 degC for class A" pass_if "ocl{temperature_readings->forAll(r | r.within_mpc)}" }
+}
+

package/oiml-r60/execution/forms/sec-6-performance-tests/warm-up-time.prl

@@ -0,0 +1,207 @@
+form r60-3/form-6.11 {
+  name "Warm Up Time"
+  description "Warm-up time test for electronic load cells"
+  data_class FormInstance#data
+  header r60-3/header-b
+  conformance_process /conf/electronic-tests/warm-up-time
+  section "R 60-3, 6.11"
+  requirements { /req/electronic/warm-up-time }
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.7.2.1"
+  ref test-procedure "urn:oiml:pub:r:60-2:2021#clause-2.10.7.3"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.1"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.1.1"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.1.2"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.1.3"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.11"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.11.1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-14"
+  calculation_context { dimensions true tables { mpe_tiers } }
+  field conversion_factor_f : number {
+    label "Conversion Factor F"
+    unit "counts/v"
+    required true
+    bind sample.test_context.conversion_factor_f
+    targets { /req/electronic/warm-up-time }
+  }
+  field dmax : number {
+    label "Maximum test load (D_max)"
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    bind sample.test_context.d_max
+    targets { /req/electronic/warm-up-time }
+  }
+  field plc : number {
+    label "Apportionment factor (p_LC)"
+    measurement_method declared
+    bind family.parameters.p_lc
+    targets { /req/electronic/warm-up-time }
+    default 0.7
+  }
+  field duration_of_disconnection : string {
+    label "Duration Of Disconnection"
+    required true
+    targets { /req/electronic/warm-up-time }
+  }
+  field readings : object {
+    label "Readings"
+    targets { /req/electronic/warm-up-time }
+    fields {
+      field initial_dmin : object {
+        label "Initial Dmin"
+        fields {
+          field indication : number {
+            label "Indication"
+            unit "counts"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field initial_dmax : object {
+        label "Initial Dmax"
+        fields {
+          field indication : number {
+            label "Indication"
+            unit "counts"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field initial_span_counts : number {
+        label "Initial Span Counts"
+        unit "counts"
+        calculation "ocl{initial_dmax.indication - initial_dmin.indication}"
+      }
+      field initial_span_vmin : number {
+        label "Initial Span Vmin"
+        unit "v"
+        calculation "ocl{initial_span_counts / conversion_factor_f}"
+      }
+      field after_5min_dmin : object {
+        label "After 5min Dmin"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_5min_dmax : object {
+        label "After 5min Dmax"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_5min_span_counts : number {
+        label "After 5min Span Counts"
+        calculation "ocl{after_5min_dmax.indication - after_5min_dmin.indication}"
+      }
+      field after_5min_span_vmin : number {
+        label "After 5min Span Vmin"
+        calculation "ocl{after_5min_span_counts / conversion_factor_f}"
+      }
+      field after_5min_change : number {
+        label "After 5min Change"
+        calculation "ocl{after_5min_span_vmin - initial_span_vmin}"
+      }
+      field after_15min_dmin : object {
+        label "After 15min Dmin"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_15min_dmax : object {
+        label "After 15min Dmax"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_15min_span_counts : number {
+        label "After 15min Span Counts"
+        calculation "ocl{after_15min_dmax.indication - after_15min_dmin.indication}"
+      }
+      field after_15min_span_vmin : number {
+        label "After 15min Span Vmin"
+        calculation "ocl{after_15min_span_counts / conversion_factor_f}"
+      }
+      field after_15min_change : number {
+        label "After 15min Change"
+        calculation "ocl{after_15min_span_vmin - initial_span_vmin}"
+      }
+      field after_30min_dmin : object {
+        label "After 30min Dmin"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_30min_dmax : object {
+        label "After 30min Dmax"
+        fields {
+          field indication : number {
+            label "Indication"
+          }
+          field time : string {
+            label "Time"
+          }
+          }
+      }
+      field after_30min_span_counts : number {
+        label "After 30min Span Counts"
+        calculation "ocl{after_30min_dmax.indication - after_30min_dmin.indication}"
+      }
+      field after_30min_span_vmin : number {
+        label "After 30min Span Vmin"
+        calculation "ocl{after_30min_span_counts / conversion_factor_f}"
+      }
+      field after_30min_change : number {
+        label "After 30min Change"
+        calculation "ocl{after_30min_span_vmin - initial_span_vmin}"
+      }
+      field mpc : number {
+        label "Mpc"
+        unit "v"
+        calculation "ocl{abs(lookup_mpe(dmax, accuracy_class, plc))}"
+        source_discrepancy {
+          summary "R 60-3, Form 6.11 note 3 states the warm-up span change limit as v_min while note 5 of the same form defines mpc as the absolute value of the MPE for the maximum test load"
+          sources { "urn:oiml:pub:r:60-3:2021#clause-6.11" "urn:oiml:pub:r:60-1:2021#clause-5.7.2.1" }
+          resolution follows_clause_x
+          rationale "The form follows note 5 (mpc = |MPE| at D_max): Form 6.11 note 2 judges all span errors against the MPE during the 30-minute test, so note 5's |MPE| definition is the consistent reading; note 3's v_min is the dissenting print. See analysis/deep-audit-r60.md F6."
+        }
+      }
+      }
+  }
+  field overall_result : boolean {
+    label "Overall Result"
+    required true
+    true_label "Pass"
+    false_label "Fail"
+  }
+  pass_fail { criteria "Change of span must not exceed mpc (|MPE| at D_max, Form 6.11 note 5 — note 3's v_min wording is the dissenting print, discrepancy annotated on the mpc field)" pass_if "ocl{max(readings.after_5min_change, readings.after_15min_change, readings.after_30min_change) <= readings.mpc}" }
+}
+

package/oiml-r60/execution/forms/shared/headers.prl

@@ -0,0 +1,255 @@
+form r60-3/header-a {
+  name "Form Header A"
+  description "Header for load test forms (Form 3) with full identification and conditions"
+  data_class FormInstance#data
+  field application_no : string {
+    required true
+    bind application.application_number
+  }
+  field load_cell_model : string {
+    required true
+    bind model.model_designation
+  }
+  field serial_no : string {
+    required true
+    bind sample.serial_number
+  }
+  field emax : number {
+    unit "g, kg, or t"
+    required true
+    bind model.parameters.e_max
+  }
+  field emin : number {
+    unit "g, kg, or t"
+    bind family.parameters.e_min
+  }
+  field nlc : integer {
+    required true
+    bind group.parameters.n_lc
+  }
+  field plc : number {
+    required true
+    bind family.parameters.p_lc
+  }
+  field Y : number {
+    bind group.parameters.y
+  }
+  field Z : number {
+    bind group.parameters.z
+  }
+  field vmin : number {
+    unit "g, kg, or t"
+    required true
+    bind group.parameters.v_min
+  }
+  field DR : number {
+    unit "g, kg, or t"
+    bind group.parameters.dr
+  }
+  field force_generating_system : string {
+    
+  }
+  field dmax : number {
+    unit "g, kg, or t"
+    required true
+    bind sample.test_context.d_max
+  }
+  field dmin : number {
+    unit "g, kg, or t"
+    required true
+    bind sample.test_context.d_min
+  }
+  field indicating_instrument : string {
+    
+  }
+  field evaluator : string {
+    required true
+  }
+  field conditions : object {
+    fields {
+      field date_start : date {
+        
+      }
+      field date_end : date {
+        
+      }
+      field temperature_start : number {
+        unit "degC"
+      }
+      field temperature_end : number {
+        unit "degC"
+      }
+      field relative_humidity_start : number {
+        unit "%"
+      }
+      field relative_humidity_end : number {
+        unit "%"
+      }
+      field barometric_pressure_start : number {
+        unit "kPa"
+      }
+      field barometric_pressure_end : number {
+        unit "kPa"
+      }
+      field indicator_temperature_start : number {
+        unit "degC"
+      }
+      field indicator_temperature_end : number {
+        unit "degC"
+      }
+      }
+  }
+}
+
+
+form r60-3/header-b {
+  name "Form Header B"
+  description "Header for humidity test forms (Form 4) with conditioning parameters"
+  field application_no : string {
+    required true
+    bind application.application_number
+  }
+  field load_cell_model : string {
+    required true
+    bind model.model_designation
+  }
+  field serial_no : string {
+    required true
+    bind sample.serial_number
+  }
+  field emax : number {
+    unit "g, kg, or t"
+    required true
+    bind model.parameters.e_max
+  }
+  field nlc : integer {
+    required true
+    bind group.parameters.n_lc
+  }
+  field vmin : number {
+    unit "g, kg, or t"
+    required true
+    bind group.parameters.v_min
+  }
+  field plc : number {
+    required true
+    bind family.parameters.p_lc
+  }
+  field DR : number {
+    unit "g, kg, or t"
+    bind group.parameters.dr
+  }
+  field force_generating_system : string {
+    
+  }
+  field indicating_instrument : string {
+    
+  }
+  field evaluator : string {
+    required true
+  }
+  field conditions : object {
+    fields {
+      field date_start : date {
+        
+      }
+      field date_end : date {
+        
+      }
+      field conditioning_period : string {
+        
+      }
+      field reference_temperature : number {
+        unit "degC"
+      }
+      field high_temperature : number {
+        unit "degC"
+      }
+      field reference_relative_humidity : number {
+        unit "%"
+      }
+      field high_relative_humidity : number {
+        unit "%"
+      }
+      }
+  }
+}
+
+
+form r60-3/header-c {
+  name "Form Header C"
+  description "Compact header for EMC/disturbance forms (Form 5)"
+  field date : date {
+    required true
+  }
+  field time : string {
+    pattern "\\d{2}:\\d{2}:\\d{2}"
+  }
+  field temperature : number {
+    unit "degC"
+  }
+  field relative_humidity : number {
+    unit "%"
+  }
+  field barometric_pressure : number {
+    unit "kPa"
+  }
+}
+
+
+form r60-3/conditions {
+  name "Form Conditions"
+  description "Conditions block used in most test forms (Form 6)"
+  field date_start : date {
+    
+  }
+  field date_end : date {
+    
+  }
+  field temperature_start : number {
+    unit "degC"
+  }
+  field temperature_end : number {
+    unit "degC"
+  }
+  field relative_humidity_start : number {
+    unit "%"
+  }
+  field relative_humidity_end : number {
+    unit "%"
+  }
+  field barometric_pressure_start : number {
+    unit "kPa"
+  }
+  field barometric_pressure_end : number {
+    unit "kPa"
+  }
+  field indicator_temperature_start : number {
+    unit "degC"
+  }
+  field indicator_temperature_end : number {
+    unit "degC"
+  }
+}
+
+
+form r60-3/sh-humidity-header {
+  name "SH Humidity Form"
+  description "Humidity conditioning header for SH tests (Form 7)"
+  field date : date {
+    required true
+  }
+  field time : string {
+    
+  }
+  field temperature : number {
+    unit "degC"
+  }
+  field relative_humidity : number {
+    unit "%"
+  }
+  field barometric_pressure : number {
+    unit "kPa"
+  }
+}
+

package/oiml-r60/execution/subforms/load-test-row.prl

@@ -0,0 +1,55 @@
+subform load-test-row {
+  type object
+  description "One row of a load-test table: applied load + N runs of (indication, time) + computed aggregates (mean, repeatability error). N is parameterized by accuracy_class — the same dimension that drives the requirement MPE tier (R 60-1, Table 4) and the conformance test procedure count (R 60-2, §2.10.1, \"Classes A/B: 5 runs; Classes C/D: 3 runs\")."
+  parameters {
+    n_runs : integer { description "Number of runs per test_load. Static default materializes the class C/D table (R 60-3, 6.3); the per-class count (5 for A/B) resolves at runtime from the conformance test's `instances` declaration (/conf/metrological-tests/measurement-error-repeatability-mdlo, R 60-2 §2.10.1) — see services/program.service formProgramFor." default 3 }
+  }
+  field test_load : number {
+    label "Test load"
+    description "Applied test load at this measurement point."
+    unit "g, kg, or t"
+    required true
+    measurement_method direct
+  }
+  field direction : enum {
+    label "Direction"
+    description "Whether this reading is in the increasing or decreasing load sequence (hysteresis per R 60-1, 5.3)."
+    required true
+    measurement_method direct
+    enum_values { increasing decreasing }
+  }
+  field runs : array {
+    label "Runs"
+    description "Individual indication readings at this test load. Cardinality is parameterized: 3 for classes C/D, 5 for classes A/B (per R 60-2)."
+    items { object fields {
+      field indication : number {
+        label "Indication"
+        unit "counts"
+        required true
+        measurement_method direct
+      }
+      field time : string {
+        label "Time"
+        description "Time of the reading (HH:MM:SS)"
+        measurement_method direct
+      }
+      } }
+    min_items "${{ n_runs }}"
+    max_items "${{ n_runs }}"
+  }
+  field average_indication : number {
+    label "Average"
+    description "Mean of the n_runs indications at this load."
+    unit "counts"
+    measurement_method derived
+    derivation "ocl{mean(runs.indication)}"
+  }
+  field repeatability_error : number {
+    label "Repeatability error"
+    description "Max minus min across the n_runs indications at this load. Per R 60-3, 2.1.3, this is E_R (repeatability error in counts)."
+    unit "counts"
+    measurement_method derived
+    derivation "ocl{max(runs.indication) - min(runs.indication)}"
+  }
+}
+