@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/execution/forms/sec-6-performance-tests/load-cell-errors.prl

@@ -0,0 +1,280 @@
+form r60-3/table-6.5 {
+  name "Load Cell Errors"
+  description "Load cell errors (E_L) calculation across four test temperatures"
+  data_class FormInstance#data
+  header r60-3/header-a
+  conformance_process /conf/metrological-tests/measurement-error-repeatability-mdlo
+  section "R 60-3, 6.5"
+  requirements { /req/metrological/mpe }
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.3.1"
+  ref test-procedure "urn:oiml:pub:r:60-2:2021#clause-2.10.1.12"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.1.2.2"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.5"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-3"
+  calculation_context { dimensions true tables { mpe_tiers } }
+  field conversion_factor_f : number {
+    label "Conversion factor (f)"
+    definition "Ratio of the change in indication to the corresponding change in load at 75% of maximum capacity. 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 indication_at_dmin : number {
+    label "Indication at D_min"
+    definition "Load cell indication at minimum test load (D_min), used as the lower reference point for computing 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 v_mass : number {
+    label "Verification interval (v, mass)"
+    definition "The load cell verification interval of the tested range in mass units — (D_max − D_min)/n. Used to express loads in v for the changeover-point evaluation."
+    unit "g, kg, or t"
+    measurement_method derived
+    symbol v
+    specification_reference "R 60-1, 3.5.4"
+    derivation "ocl{(dmax - dmin) / n_test_intervals}"
+  }
+  field dmin : number {
+    label "Minimum test load (D_min)"
+    definition "The minimum test load applied during the test. The lower bound of the measurement range."
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    bind sample.test_context.d_min
+    symbol Dmin
+  }
+  field dmax : number {
+    label "Maximum test load (D_max)"
+    definition "The maximum test load applied during the test. The upper bound of the measurement range."
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    bind sample.test_context.d_max
+    symbol Dmax
+  }
+  field test_load_75pct : number {
+    label "75% test load"
+    definition "Test load at 75% of maximum capacity (E_max), used to determine the conversion factor f."
+    unit "g, kg, or t"
+    required true
+    measurement_method declared
+    targets { /req/metrological/mpe }
+  }
+  field reference_indication_75pct : number {
+    label "Reference indication at 75%"
+    definition "Average indication at the 75% load point, used as the reference for computing the conversion factor."
+    unit "counts"
+    required true
+    measurement_method direct
+  }
+  field plc : number {
+    label "Apportionment factor (p_LC)"
+    definition "The apportionment factor applied to MPE values. Default 0.7 per R 60-1, 3.7.2 unless otherwise marked."
+    measurement_method declared
+    bind family.parameters.p_lc
+    symbol pLC
+    specification_reference "R 60-1, 3.7.2, 5.3.2"
+    default 0.7
+  }
+  field temperature_series : array {
+    label "Temperature test series"
+    definition "Load cell error measurements at each of four test temperatures per R 60-2 Table 6: 20°C, T_1, T_2, 20°C (return)"
+    targets { /req/metrological/mpe /req/metrological/temperature-limits }
+    items { object fields {
+      field temperature : number {
+        label "Temperature"
+        definition "The ambient temperature at which this test series is conducted, in degrees Celsius."
+        unit "degC"
+        required true
+        measurement_method direct
+      }
+      field test_loads : array {
+        label "Test load measurements"
+        definition "Individual load point measurements at this temperature. Each row records the applied load, observed indication, and computed error."
+        description "At least five increasing load points incl. values at or near MPE changes, then decreasing with the same points (R 60-2, 2.10.1.8; hysteresis per R 60-1, 5.3)"
+        items { object fields {
+          field test_load : number {
+            label "Test load"
+            definition "The applied test load at this measurement point, in mass units."
+            unit "g, kg, or t"
+            required true
+            measurement_method direct
+          }
+          field direction : enum {
+            label "Direction"
+            definition "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 indication : number {
+            label "Indication"
+            definition "The load cell output reading (in counts) observed at this test load and temperature."
+            unit "counts"
+            required true
+            measurement_method direct
+          }
+          field reference_indication : number {
+            label "Reference indication (R_i)"
+            definition "Reference indication at this test load, computed from the test load, D_min, D_max, n, and f per R 60-3, 2.1.2.6."
+            unit "indication units"
+            required true
+            measurement_method computed
+            symbol Ri
+            specification_reference "R 60-3, 2.1.2.6"
+            calculation referenceIndication
+            calculation_bindings { testLoad: test_load d_min: dmin d_max: dmax n: n_test_intervals conversion_factor_f: conversion_factor_f }
+          }
+          field error_EL : number {
+            label "Error (E_L)"
+            definition "Load cell error at this point: the signed difference between observed indication and reference indication, divided by the conversion factor f, expressed in verification units (v)."
+            unit "v"
+            required true
+            measurement_method derived
+            symbol EL
+            specification_reference "R 60-3, 2.1.2.2"
+            calculation loadCellError
+            calculation_bindings { avgIndication: indication referenceIndication: reference_indication conversion_factor_f: conversion_factor_f }
+          }
+          field mpe : number {
+            label "MPE"
+            definition "Maximum permissible error for this test load, determined by the accuracy class tier table (R 60-1, Table 4). The absolute error must not exceed this value."
+            unit "v"
+            measurement_method lookup
+            symbol MPE
+            specification_reference "R 60-1, 5.3.1, Table 4"
+            calculation mpe
+            calculation_bindings { load: test_load accuracy_class: accuracy_class p_lc: plc }
+          }
+          field within_mpe : boolean {
+            label "Within MPE"
+            definition "Evaluation result: whether the absolute load cell error is within the maximum permissible error at this point."
+            measurement_method evaluated
+            true_label "Yes"
+            false_label "No"
+            evaluation { rule "ocl{abs(error_EL) <= abs(mpe)}" condition "|E_L| <= |MPE|" specification_reference "R 60-1, 5.3.1" }
+          }
+          field changeover : object {
+            label "Changeover point evaluation (digital cells)"
+            definition "For digital load cells with an output interval greater than 0.20 v, the error prior to rounding is evaluated via the changeover point: P = I + ½v − ΔL, E = P − L, E_c = E − E_0 ≤ MPE (R 60-2, 2.10.7.2). Leave empty for analogue cells."
+            fields {
+              field delta_l : number {
+                label "Additional load (ΔL)"
+                definition "Additional load successively added until the digital output increases unambiguously by one output increment (I + v)."
+                unit "g, kg, or t"
+                measurement_method direct
+                specification_reference "R 60-2, 2.10.7.2"
+              }
+              field error_prior_rounding : number {
+                label "Error prior to rounding (E, v)"
+                definition "E = P − L with P = I + ½v − ΔL, expressed in v: indication/f + 0.5 − ΔL/v − L/v."
+                unit "v"
+                measurement_method derived
+                specification_reference "R 60-2, 2.10.7.2"
+                derivation "ocl{indication / conversion_factor_f + 0.5 - delta_l / v_mass - test_load / v_mass}"
+              }
+              field error_corrected : number {
+                label "Corrected error (E_c, v)"
+                definition "E_c = E − E_0, with E_0 the prior-rounding error at the minimum test load D_min (the D_min row of this series)."
+                unit "v"
+                measurement_method derived
+                symbol EC
+                specification_reference "R 60-2, 2.10.7.2"
+                derivation "ocl{error_prior_rounding - test_loads->select(r | r.test_load = dmin)->first().changeover.error_prior_rounding}"
+              }
+              field within_mpe_corrected : boolean {
+                label "E_c within MPE"
+                definition "Evaluation: whether the corrected error prior to rounding is within the MPE (R 60-2, 2.10.7.2: E_c ≤ MPE)."
+                measurement_method evaluated
+                true_label "Yes"
+                false_label "No"
+                evaluation { rule "ocl{abs(error_corrected) <= abs(mpe)}" condition "|E_c| <= |MPE|" specification_reference "R 60-2, 2.10.7.2" }
+              }
+              }
+          }
+          } }
+        min_items 5
+      }
+      } }
+    min_items 4
+    max_items 4
+  }
+  field dmin_pass : boolean {
+    label "D_min result"
+    definition "Whether the load cell passes the test at minimum test load."
+    measurement_method evaluated
+    true_label "Pass"
+    false_label "Fail"
+  }
+  field overall_result : boolean {
+    label "Overall result"
+    definition "Aggregate pass/fail: PASS if and only if every |E_L| <= |MPE| at every test load at every temperature."
+    required true
+    measurement_method evaluated
+    true_label "Pass"
+    false_label "Fail"
+    evaluation { rule "ocl{temperature_series->forAll(t | t.test_loads->forAll(l | l.within_mpe))}" condition "All |E_L| <= |MPE| at every test load at every temperature" specification_reference "R 60-1, 5.3.1" }
+  }
+  pass_fail { criteria "All |E_L| <= |MPE| for every test load at every temperature" pass_if "ocl{temperature_series->forAll(t | t.test_loads->forAll(l | l.within_mpe))}" }
+}
+

package/oiml-r60/execution/forms/sec-6-performance-tests/load-test.prl

@@ -0,0 +1,29 @@
+form r60-3/table-6.3-6.4 {
+  name "Load Test"
+  description "Load test data — load cell error E_L with N runs per test load. R 60-3 publishes this as two printed tables (6.3 for 3 runs at classes C/D, 6.4 for 5 runs at classes A/B). Our data model has one form, parameterized by accuracy_class, that materializes both — fully DRY. This is the parameterization principle: the same dimension (accuracy_class) flows from the requirement (R 60-1, MPE tier) through the conformance test (R 60-2, §2.10.1 procedure count) to the test report form (R 60-3, table 6.3/6.4). The number of runs is `n_runs`."
+  data_class FormInstance#data
+  header r60-3/header-a
+  conformance_process /conf/metrological-tests/measurement-error-repeatability-mdlo
+  section "R 60-3, 6.3 (3 runs) / 6.4 (5 runs)"
+  requirements { /req/metrological/mpe /req/metrological/repeatability }
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.3"
+  ref test-procedure "urn:oiml:pub:r:60-2:2021#clause-2.10.1"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.1.2"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.3"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.4"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-2"
+  applicability {
+    accuracy_class: [A, B, C, D]
+  }
+  field electronics_power_voltage : string {
+    label "Power supply voltage"
+    description "Voltage of the power supply used during the test (AC or DC as applicable)"
+  }
+  field test_loads : array {
+    label "Test load measurements"
+    description "Per-load-point measurements. Each row records the applied test load, N runs of (indication, time), and computed aggregates (mean, repeatability). N is 3 for classes C/D, 5 for classes A/B (R 60-2, §2.10.1), resolved at runtime from the conformance test's `instances` declaration (/conf/metrological-tests/measurement-error-repeatability-mdlo); the static shape below is the class C/D table (R 60-3, 6.3)."
+    subform_ref load-test-row { }
+  }
+}
+

package/oiml-r60/execution/forms/sec-6-performance-tests/performance-test-summary.prl

@@ -0,0 +1,82 @@
+form r60-3/sec-6.1 {
+  name "Performance Test Summary"
+  description "Results of the performance tests — data-derived from test form instances"
+  data_class FormInstance#data
+  section "R 60-3, 6.1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.1.1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.1/table-1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.1.1/table-1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6"
+  field base_tests : array {
+    label "Performance test results"
+    description "Summary of base metrological performance tests — auto-derived from test form instances"
+    items { object fields {
+      field form_id : string {
+        label "Form"
+      }
+      field clause : string {
+        label "Clause"
+      }
+      field test_name : string {
+        label "Performance Test"
+        required true
+      }
+      field temperature : string {
+        label "Temperature"
+      }
+      field page_no : string {
+        label "Report Page No."
+      }
+      field max_error_v : number {
+        label "Max Error (v)"
+        unit "v"
+      }
+      field passed : boolean {
+        label "Passed"
+      }
+      field failed : boolean {
+        label "Failed"
+      }
+      field remark : string {
+        label "Remark"
+      }
+      } }
+  }
+  field electronic_tests : array {
+    label "Digital load cell test results"
+    description "Summary of additional tests for digital load cells — auto-derived from test form instances"
+    items { object fields {
+      field form_id : string {
+        label "Form"
+      }
+      field clause : string {
+        label "Clause"
+      }
+      field test_name : string {
+        label "Performance Test"
+        required true
+      }
+      field temperature : string {
+        label "Temperature"
+      }
+      field page_no : string {
+        label "Report Page No."
+      }
+      field max_error_v : number {
+        label "Max Error (v)"
+        unit "v"
+      }
+      field passed : boolean {
+        label "Passed"
+      }
+      field failed : boolean {
+        label "Failed"
+      }
+      field remark : string {
+        label "Remark"
+      }
+      } }
+  }
+}
+

package/oiml-r60/execution/forms/sec-6-performance-tests/power-voltage.prl

@@ -0,0 +1,166 @@
+form r60-3/form-6.12 {
+  name "Power Voltage"
+  description "Power voltage variation test"
+  data_class FormInstance#data
+  header r60-3/header-b
+  conformance_process /conf/electronic-tests/power-voltage
+  section "R 60-3, 6.12"
+  requirements { /req/electronic/power-voltage-ac /req/electronic/power-voltage-dc /req/electronic/power-voltage-variations }
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.7.2.2"
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.7.2.3"
+  ref requirement "urn:oiml:pub:r:60-1:2021#clause-5.7.2.4"
+  ref test-procedure "urn:oiml:pub:r:60-2:2021#clause-2.10.7.4"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.2"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.2.1"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.2.2"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.2.3"
+  ref calculation "urn:oiml:pub:r:60-3:2021#clause-2.2.2.4"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.12"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.12.1"
+  ref report-format "urn:oiml:pub:r:60-3:2021#table-15"
+  ref report-format "urn:oiml:pub:r:60-3:2021#clause-6.12.1/table-1"
+  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/power-voltage-ac /req/electronic/power-voltage-dc }
+  }
+  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/power-voltage-variations }
+  }
+  field plc : number {
+    label "Apportionment factor (p_LC)"
+    measurement_method declared
+    bind family.parameters.p_lc
+    targets { /req/electronic/power-voltage-variations }
+    default 0.7
+  }
+  field main_voltage : string {
+    label "Main Voltage"
+    required true
+    bind model.parameters.power_voltage
+    targets { /req/electronic/power-voltage-ac /req/electronic/power-voltage-dc }
+  }
+  field supply_type : enum {
+    label "Supply Type"
+    required true
+    targets { /req/electronic/power-voltage-ac /req/electronic/power-voltage-dc }
+    values { AC { label "AC" } DC { label "DC" } }
+  }
+  field preloads : array {
+    label "Preloads"
+    targets { /req/electronic/power-voltage-variations }
+    items { object fields {
+      field test_load : string {
+        label "Test Load"
+        description "D_min or D_max"
+      }
+      field indication : number {
+        label "Indication"
+        unit "counts"
+      }
+      field time : string {
+        label "Time"
+      }
+      } }
+    min_items 3
+    max_items 3
+  }
+  field voltage_tests : object {
+    label "Voltage Tests"
+    targets { /req/electronic/power-voltage-variations }
+    fields {
+      field initial_run : object {
+        label "Initial Run"
+        fields {
+          field dmin_indication : number {
+            label "Dmin Indication"
+          }
+          field dmax_indication : number {
+            label "Dmax Indication"
+          }
+          field span_counts : number {
+            label "Span Counts"
+            calculation "ocl{dmax_indication - dmin_indication}"
+          }
+          field span_vmin : number {
+            label "Span Vmin"
+            calculation "ocl{span_counts / conversion_factor_f}"
+          }
+          }
+      }
+      field lower_limit : object {
+        label "Lower Limit"
+        fields {
+          field dmin_indication : number {
+            label "Dmin Indication"
+          }
+          field dmax_indication : number {
+            label "Dmax Indication"
+          }
+          field span_counts : number {
+            label "Span Counts"
+            calculation "ocl{dmax_indication - dmin_indication}"
+          }
+          field span_vmin : number {
+            label "Span Vmin"
+            calculation "ocl{span_counts / conversion_factor_f}"
+          }
+          field change : number {
+            label "Change"
+            calculation "ocl{span_vmin - initial_run.span_vmin}"
+          }
+          }
+      }
+      field upper_limit : object {
+        label "Upper Limit"
+        fields {
+          field dmin_indication : number {
+            label "Dmin Indication"
+          }
+          field dmax_indication : number {
+            label "Dmax Indication"
+          }
+          field span_counts : number {
+            label "Span Counts"
+            calculation "ocl{dmax_indication - dmin_indication}"
+          }
+          field span_vmin : number {
+            label "Span Vmin"
+            calculation "ocl{span_counts / conversion_factor_f}"
+          }
+          field change : number {
+            label "Change"
+            calculation "ocl{span_vmin - initial_run.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.12 note 3 and its mpc column state the power-voltage span change limit as v_min, while R 60-1, 5.7.2.4 requires measurement results to stay within the maximum permissible errors during voltage variations"
+          sources { "urn:oiml:pub:r:60-3:2021#clause-6.12" "urn:oiml:pub:r:60-1:2021#clause-5.7.2.4" }
+          resolution follows_clause_x
+          rationale "The form follows the normative Part 1 limit (|MPE| at D_max): R 60-1, 5.7.2.4 requires all measurement results to stay within the MPE during voltage variations, and the same tension in Form 6.11 is resolved there by note 5 defining mpc as |MPE|. The v_min wording of Form 6.12 note 3 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) at lower/upper voltage limits — R 60-3, Form 6.12 notes 3 vs 5 discrepancy annotated on the mpc field" pass_if "ocl{abs(voltage_tests.lower_limit.change) <= voltage_tests.mpc and abs(voltage_tests.upper_limit.change) <= voltage_tests.mpc}" }
+}
+