@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/model/behaviors.prl

@@ -0,0 +1,165 @@
+behavior creep {
+  kind temporal
+  stimulus force
+  response "Change in load cell output occurring with time while under constant load and with all environmental conditions and other variables also remaining constant."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.1"
+  verified_by { /conf/metrological-tests/creep }
+}
+
+behavior dead-load-output-return {
+  kind static
+  stimulus force
+  response "Difference of load cell output, expressed in units of mass at the minimum dead load (D_min), measured before and after application of a load of D_max."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.5.10"
+  verified_by { /conf/metrological-tests/dr }
+}
+
+behavior hysteresis {
+  kind static
+  stimulus force
+  response "Difference in load cell output readings for the same applied force between the reading obtained by increasing the load from minimum load (D_min) and the reading obtained by decreasing the load from maximum load (D_max)."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.7"
+  verified_by { /conf/metrological-tests/measurement-error-repeatability-mdlo }
+}
+
+behavior non-linearity {
+  kind static
+  stimulus force
+  response "Deviation from the average of the values of load cell signals from a straight line through zero force applied and maximum force applied."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.13"
+  verified_by { /conf/metrological-tests/measurement-error-repeatability-mdlo }
+}
+
+behavior repeatability {
+  kind static
+  stimulus force
+  response "Difference between load cell output readings taken from consecutive tests under the same loading and environmental conditions of measurement."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.14"
+  verified_by { /conf/metrological-tests/measurement-error-repeatability-mdlo }
+}
+
+behavior temp-effect-min-dead-load {
+  kind influence-response
+  stimulus temperature
+  response "Change of the signal output under minimum dead load due to a change in ambient temperature."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.19"
+  verified_by { /conf/metrological-tests/measurement-error-repeatability-mdlo }
+}
+
+behavior temp-effect-sensitivity {
+  kind influence-response
+  stimulus temperature
+  response "Change in sensitivity due to a change in ambient temperature."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.20"
+  verified_by { /conf/metrological-tests/measurement-error-repeatability-mdlo }
+}
+
+behavior barometric-effect {
+  kind influence-response
+  stimulus pressure
+  response "Change in load cell output due to a change in barometric pressure."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.6.2"
+  verified_by { /conf/metrological-tests/barometric-pressure }
+}
+
+behavior span-stability {
+  kind temporal
+  stimulus time
+  response "Capability of a load cell to maintain the load cell output of the load cell's measuring range over a period of use within specified limits."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.7.18"
+  verified_by { /conf/electronic-tests/span-stability }
+}
+
+behavior warm-up-drift {
+  kind temporal
+  stimulus time
+  response "Change in load cell indication with time during the designed warm-up period after switch-on — the interval over which no transmission of measurement results occurs."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.7.2.1"
+  verified_by { /conf/electronic-tests/warm-up-time }
+}
+
+behavior humidity-cyclic-response {
+  kind influence-response
+  stimulus relative_humidity
+  response "Change in load cell output due to exposure to cyclic damp heat (CH class or unmarked load cells), bounded at the minimum load and at the maximum load (applying IEC 60068-2-30)."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.6.3"
+  verified_by { /conf/metrological-tests/humidity-ch }
+}
+
+behavior humidity-steady-response {
+  kind influence-response
+  stimulus relative_humidity
+  response "Change in load cell output due to exposure to steady-state damp heat (SH-marked load cells), bounded by the maximum permissible error for the applied load (applying IEC 60068-2-78)."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.6.3"
+  verified_by { /conf/metrological-tests/humidity-sh }
+}
+
+behavior response-to-bursts {
+  kind influence-response
+  stimulus electrical_fast_transient
+  response "Change in load cell output due to electrical fast transients (bursts) applied to power supply lines and I/O circuits — the fault against the output without disturbance stays within the significant-fault criterion (applying IEC 61000-4-4)."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.6"
+  verified_by { /conf/electronic-tests/bursts }
+}
+
+behavior response-to-surges {
+  kind influence-response
+  stimulus surge
+  response "Change in load cell output due to surge events applied to power supply lines, line-to-line and line-to-earth — the fault against the output without disturbance stays within the significant-fault criterion (applying IEC 61000-4-5)."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.7"
+  verified_by { /conf/electronic-tests/surge }
+}
+
+behavior response-to-esd {
+  kind influence-response
+  stimulus electrostatic_discharge
+  response "Change in load cell output due to electrostatic discharge, contact and air application — the fault against the output without disturbance stays within the significant-fault criterion (applying IEC 61000-4-2)."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.8"
+  verified_by { /conf/electronic-tests/esd }
+}
+
+behavior response-to-rf-em-fields {
+  kind influence-response
+  stimulus em_field
+  response "Change in load cell output due to radiated and conducted radio-frequency electromagnetic fields — the fault against the output without disturbance stays within the significant-fault criterion (applying IEC 61000-4-3 and IEC 61000-4-6)."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.9"
+  verified_by { /conf/electronic-tests/emc-susceptibility /conf/electronic-tests/conducted-emc }
+}
+
+behavior response-to-power-voltage-variation {
+  kind influence-response
+  stimulus mains_voltage
+  response "Change in load cell span when the power supply voltage varies within the rated limits (−15 % to +10 % for AC mains; below the manufacturer-specified value for DC battery supply) — the span variation stays within the maximum permissible error."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.4"
+  verified_by { /conf/electronic-tests/power-voltage }
+}
+
+behavior response-to-short-time-power-reduction {
+  kind influence-response
+  stimulus voltage_dip
+  response "Change in load cell output due to short-time power reductions and interruptions of the supply — the fault against the output without disturbance stays within the significant-fault criterion."
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.7.5"
+  verified_by { /conf/electronic-tests/short-time-power }
+}
+
+behavior durability {
+  kind temporal
+  stimulus time
+  response "Ability of a measuring instrument to maintain its performance characteristics over a period of use."
+  source { doc "OIML-V1" clause "5.15" }
+}
+
+behavior self_test {
+  kind procedural
+  stimulus invoke
+  response "The load cell runs its self-diagnostic and reports a diagnostic report; a detected significant fault drives the operational state machine to fault — the cell is made inoperative automatically or a fault detection output is issued until the fault is resolved."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.7.1.2"
+}
+
+behavior load_weight {
+  kind measurement
+  stimulus force
+  response "The load cell's measurement behavior: an applied load is transduced, conditioned and scaled into an indication — the signal chain of R 60-1, 4 (Figure 2). Its executable anatomy (steps, registers, invariants) is declared by the process of the same id in model/processes.prl."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-4"
+}
+

package/oiml-r60/model/capabilities.prl

@@ -0,0 +1,57 @@
+capability load-cell {
+  label "Load Cell"
+  description "Base capability — all load cells have this. The instrument measures force/load."
+  has_parameters { e_max e_min n_lc v_min dr y z p_lc }
+  satisfies_requirements { /req/metrological/mpe /req/metrological/repeatability /req/metrological/creep /req/metrological/dr /req/metrological/temperature-effect-mdlo /req/metrological/barometric-pressure }
+  verified_by_tests { /conf/metrological-tests/measurement-error-repeatability-mdlo /conf/metrological-tests/creep /conf/metrological-tests/dr /conf/metrological-tests/barometric-pressure }
+}
+
+capability strain-gauge {
+  label "Strain Gauge"
+  description "Uses strain gauge technology for measurement"
+  requires { load-cell }
+  has_parameters { rated_output input_impedance recommended_excitation excitation_maximum gauge_type bridge_type }
+}
+
+capability electronic {
+  label "Electronic"
+  description "Abstract — instruments with built-in electronics"
+  abstract true
+  satisfies_requirements { /req/electronic/no-significant-faults /req/electronic/disturbances }
+  verified_by_tests { /conf/electronic-tests/short-time-power /conf/electronic-tests/bursts /conf/electronic-tests/surge /conf/electronic-tests/esd /conf/electronic-tests/emc-susceptibility /conf/electronic-tests/conducted-emc }
+}
+
+capability analogue-active {
+  label "Analogue Active"
+  description "Load cell with built-in analogue electronics (amplifier, A/D converter)"
+  extends { electronic }
+  requires { load-cell electronic }
+  has_parameters { signal_bandwidth }
+}
+
+capability digital {
+  label "Digital"
+  description "Load cell with digital output and built-in processing"
+  extends { electronic }
+  requires { load-cell electronic }
+  has_parameters { power_voltage interfaces output_signal software_identification signal_bandwidth }
+  satisfies_requirements { /req/electronic/warm-up-time /req/electronic/power-voltage-variations /req/electronic/span-stability /req/technical/software }
+  verified_by_tests { /conf/electronic-tests/warm-up-time /conf/electronic-tests/power-voltage /conf/electronic-tests/span-stability /conf/examinations/software }
+}
+
+capability humidity-ch {
+  label "Cyclic Humidity"
+  description "Load cell designed for cyclic humidity exposure (CH marked or unmarked)"
+  requires { load-cell }
+  satisfies_requirements { /req/metrological/humidity-ch }
+  verified_by_tests { /conf/metrological-tests/humidity-ch }
+}
+
+capability humidity-sh {
+  label "Steady-state Humidity"
+  description "Load cell designed for steady-state humidity exposure (SH marked)"
+  requires { load-cell }
+  satisfies_requirements { /req/metrological/humidity-sh }
+  verified_by_tests { /conf/metrological-tests/humidity-sh }
+}
+

package/oiml-r60/model/characteristics.prl

@@ -0,0 +1,27 @@
+verdict creep {
+  symbol "C_C"
+  behavior creep
+  quantity { kind verification_interval unit "v" }
+  derive "ocl{abs(c_c)}"
+  inputs { c_c }
+  ref derives-from "urn:oiml:pub:r:60-3:2021#clause-2.1.5"
+}
+
+verdict mdlo_normalized {
+  symbol "C_M"
+  behavior temp-effect-min-dead-load
+  quantity { kind dimensionless }
+  derive "ocl{abs(c_m * t_f / delta_t * (d_max - d_min) / (n * v_min))}"
+  inputs { c_m t_f delta_t d_max d_min n v_min }
+  ref derives-from "urn:oiml:pub:r:60-3:2021#clause-2.1.4"
+}
+
+verdict barometric_normalized {
+  symbol "C_P"
+  behavior barometric-effect
+  quantity { kind dimensionless }
+  derive "ocl{abs(c_p / delta_p * (e_max - e_min) / (n_lc * v_min))}"
+  inputs { c_p delta_p e_max e_min n_lc v_min }
+  ref derives-from "urn:oiml:pub:r:60-3:2021#clause-2.1.6"
+}
+

package/oiml-r60/model/conditions.prl

@@ -0,0 +1,50 @@
+condition_set load-cell-reference-conditions {
+  role reference
+  subject LoadCell
+  entries {
+    temperature { value "20" unit "degC" tolerance "2" note "Reference temperature; stabilise at 20 degC +/- 2 degC (R 60-2, 2.10.1). Temperature is stable when the difference between extreme temperatures noted during the test does not exceed one fifth of the temperature range of the load cell under test, without being greater than 2 degC (R 60-2, 2.7.3.1)." }
+    relative_humidity { value "50" unit "%RH" note "Reference relative humidity for non-humidity tests (R 60-2, 2.10.6; test-conditions legacy file)." }
+    barometric_pressure { value "local ambient" unit "kPa" note "Ambient pressure recorded during the test for correction of pressure-sensitive readings (R 60-2, 2.7.3.8)." }
+    acceleration_of_gravity { value "local value" unit "m/s2" note "Local value or the value declared for the testing laboratory, used in the calculation of the applied force (R 60-2, 2.7.3.2)." }
+    power_voltage { value "nominal rated value" unit "V" note "Manufacturer-declared supply voltage (mains AC or battery DC) for analogue-active and digital load cells (R 60-1, 5.7.2)." }
+  }
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.1"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.2"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.3"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.4"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.5"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.6"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.7"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.8"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.9"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.10"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.11"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.7.3.12"
+  ref derives-from "urn:oiml:pub:r:60-2:2021#clause-2.10.1"
+}
+
+condition_set load-cell-rated-conditions {
+  role rated
+  subject LoadCell
+  entries {
+    temperature { value "-10..+40" unit "degC" note "Default temperature limits (R 60-1, 5.6.1.1) unless special limits t_min/t_max are specified (R 60-1, 5.6.1.2); special span at least 5 degC (class A), 15 degC (class B), 30 degC (classes C, D)." }
+    relative_humidity { value "per humidity class" unit "%RH" note "CH (or unmarked): cyclic humidity exposure per R 60-2, 2.10.5.12; SH: steady-state humidity per R 60-2, 2.10.6.11; NH: not humidity-tested (R 60-1, 5.6.3)." }
+    barometric_pressure { value "unrestricted ambient" unit "kPa" note "Output shall not vary by more than v_min for any 1 kPa incremental change (R 60-1, 5.6.2)." }
+    power_voltage { value "nominal -15 % .. +10 %" unit "V" note "Mains AC variation range (R 60-1, 5.7.2); battery DC: function correctly or give no result below the manufacturer-specified voltage." }
+  }
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.6"
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.7.2"
+}
+
+condition_set load-cell-limiting-conditions {
+  role limiting
+  subject LoadCell
+  entries {
+    mass { value "up to E_lim" unit "kg" note "Maximum load that can be applied without producing a permanent shift in the performance characteristics beyond those specified (R 60-1, 3.5.16); see also safe_overload (% of E_max)." }
+    voltage { value "up to excitation_maximum" unit "V" note "Maximum excitation voltage the load cell can withstand (declared, family-level)." }
+    temperature { value "manufacturer-declared storage range" unit "degC" note "Survival outside the rated range without permanent shift; R 60 specifies no standardized storage limits — declared per model." }
+  }
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.5.16"
+}
+

package/oiml-r60/model/instrument.prl

@@ -0,0 +1,96 @@
+instrument LoadCell {
+  extends MeasuringInstrumentModel
+  measurand_kind force
+  definition "Measuring transducer that will produce an output in response to an applied load. This output may be converted by another device into measurement units such as mass."
+  note "A LoadCell MODEL is what gets type-evaluated and approved; physical units are MeasuringInstrumentSample instances of that Model (INV-10 delegation: Sample -> Model -> Family)."
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.1.3"
+  variant analogue_passive { name "Analogue-passive load cell" definition "Load cell from which the output provides either measurable data or direct information representing the measurand value; may utilise passive electronics (e.g. strain gauges) and passive temperature compensation elements." source { doc "urn:oiml:pub:r:60-1:2021" clause "3.1.3.1" } }
+  variant analogue_active { name "Analogue-active load cell" definition "Load cell which is capable of performing the functions of an analogue-passive load cell and which also utilises active electronics (electronic representation of the measurand value, active temperature compensation, and similar functions)." source { doc "urn:oiml:pub:r:60-1:2021" clause "3.1.3.2" } }
+  variant digital { name "Digital load cell" definition "Analogue-active load cell which includes an analogue to digital conversion device providing a representation of the measurand value in some unprocessed digital format." source { doc "urn:oiml:pub:r:60-1:2021" clause "3.1.3.3" } }
+  variant digital_with_processing { name "Digital load cell equipped with further data processing" definition "Analogue-active load cell which includes an analogue to digital conversion device providing a representation of the measurand value in some digital format and includes further digital processing (e.g. scaling)." source { doc "urn:oiml:pub:r:60-1:2021" clause "3.1.3.4" } }
+  dimension technology {
+    label "Technology"
+    scope family
+    description "Load cell signal processing technology"
+        reference { doc "urn:oiml:pub:r:60-1:2021" clause "5.7" }
+    values {
+          analogue-passive { label "Analogue passive" description "Load cell without built-in electronics" }
+          analogue-active { label "Analogue active" description "Load cell with built-in analogue electronics such as an amplifier or A/D converter" }
+          digital { label "Digital" description "Load cell with digital output and built-in digital processing" }
+          digital-with-processing { label "Digital with further data processing" description "Digital load cell including further digital processing (e.g. scaling)" }
+        }
+  }
+  dimension accuracy_class {
+    label "Accuracy Class"
+    scope group
+    description "Load cell accuracy classification ranked by metrological performance"
+        reference { doc "urn:oiml:pub:r:60-1:2021" clause "5.1.1" }
+    values {
+          A { label "Class A" description "Highest accuracy class" payload { n_lc_limits { lower: "50000" upper: "unlimited" } } }
+          B { label "Class B" description "High accuracy class" payload { n_lc_limits { lower: "5000" upper: "100000" } } }
+          C { label "Class C" description "Medium accuracy class" payload { n_lc_limits { lower: "500" upper: "10000" } } }
+          D { label "Class D" description "Lower accuracy class" payload { n_lc_limits { lower: "100" upper: "1000" } } }
+        }
+  }
+  dimension humidity_class {
+    label "Humidity Class"
+    scope family
+    description "Humidity exposure classification for the load cell"
+        reference { doc "urn:oiml:pub:r:60-1:2021" clause "6.2.4.4" }
+    values {
+          CH { label "Cyclic humidity" description "Load cell designed for cyclic humidity exposure. Default for unmarked load cells." }
+          SH { label "Steady-state humidity" description "Load cell designed for steady-state humidity exposure" }
+          NH { label "Not humidity-tested" description "Load cell not subjected to humidity testing, marked with the NH symbol" }
+          none { label "No marking" description "No humidity symbol marked — R 60-3, 4.9.2's explicit case; R 60-1 treats unmarked cells as CH by default" }
+        }
+  }
+  dimension load_type {
+    label "Load type"
+    scope group
+    description "Direction and manner in which load is applied to the load cell"
+        reference { doc "urn:oiml:pub:r:60-1:2021" clause "5.1.4" }
+    values {
+          compression { label "Compression" description "Load applied in compression" }
+          tension { label "Tension" description "Load applied in tension" }
+          beam-shear { label "Beam (shear)" description "Load applied through a shear beam configuration" }
+          beam-bending { label "Beam (bending)" description "Load applied through a bending beam configuration" }
+          universal { label "Universal" description "Load cell capable of both compression and tension loading" }
+        }
+  }
+  dimension construction {
+    label "Construction"
+    scope family
+    description "Measurement-technique construction of the load cell sensing element"
+        reference { doc "urn:oiml:pub:r:60-1:2021" clause "3.3" }
+    values {
+          strain-gauge { label "Strain gauge" description "Bonded analogue resistive element that changes resistance with deformation of the load cell structure" }
+        }
+  }
+  family {
+    metamodel_class MeasuringInstrumentModelFamily
+    definition "Group of load cells which for the purposes of type evaluation are considered as one family, sharing material, measurement technique, construction method and specifications, and comprising one or more load cell groups with identical metrological characteristics."
+    ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.4.2"
+  }
+  family_criteria {
+    "same material or combination of materials (e.g. mild steel, stainless steel, aluminium)"
+    "same design of the measurement technique (e.g. strain gauges bonded to metal)"
+    "same principle used to attach the strain gauge to the load cell"
+    "same method of construction (shape, sealing of strain gauges, mounting method, manufacturing method)"
+    "same set of specifications (output rating, input impedance, supply voltage, cable details)"
+    "one or more load cell groups, all cells in a group having identical metrological characteristics (class, n_LC, temperature rating, etc.)"
+  }
+  family_defaults {
+    dimensions { technology humidity_class construction }
+    parameters { humidity_symbol e_min p_lc t_min t_max rated_output input_impedance output_impedance recommended_excitation excitation_maximum safe_overload transducer_material atmospheric_protection }
+  }
+  model_group {
+    definition "Within one MeasuringInstrumentModelFamily, a load cell group is a set of Models having identical metrological characteristics (R 60-1, 5.1.5). Sample selection for type evaluation is performed per group."
+    note "Sample selection within a family/group for type evaluation follows R 60-2, 2.4 with a practical example in R 60-2, Annex D."
+    identical_characteristics { metrological_class n_lc y z temperature_rating }
+    identical_attributes { accuracy_class n_lc y z t_min t_max }
+    ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.4.2"
+    ref derives-from "urn:oiml:pub:r:60-1:2021#clause-5.1.5"
+    sample_selection { doc "urn:oiml:pub:r:60-2:2021" clause "2.4" }
+    sample_selection { doc "urn:oiml:pub:r:60-2:2021" clause "Annex D" }
+  }
+}

package/oiml-r60/model/processes.prl

@@ -0,0 +1,54 @@
+process load_weight {
+  name "Load weighing — the load cell's measurement behavior (R 60-1, 4 Figure 2): force introduction, force conversion (strain gauges), passive analogue linearization, active analogue amplification, A/D conversion, digital filtering, digital scaling, then the overload decision against the safe load limit E_lim (R 60-1, 3.5.16; E_lim/E_max = 150 % typical, R 60-A). The executable anatomy of behavior load_weight (model/behaviors.prl) — the process id names the behavior it realizes."
+  signature {
+    in { applied_load : mass e_lim : mass }
+    out { indication : mass last_indication : mass load_count : count }
+  }
+  invariants {
+    "ocl{self.applied_load >= 0 and self.applied_load <= self.e_lim}"
+  }
+  executor machine
+  registers { raw_signal : voltage = 0 V linearized_signal : voltage = 0 V amplified_signal : voltage = 0 V raw_counts : count = 0 filtered_counts : count = 0 overload_flag : dimensionless = false last_indication : mass = 0 kg load_count : count = 0 }
+  does {
+    start_event applied
+    action transduce { executor machine read { applied_load } write { raw_signal } description "Force conversion (R 60-1, 4 Figure 2 block 2): the sensing element (e.g. strain gauges, 3.3) transduces the applied load into an analogue signal — the load cell is a measuring transducer (3.1)." }
+    action linearize { executor machine read { raw_signal } write { linearized_signal } description "Passive analogue signal processing — linearization (R 60-1, 4 Figure 2 block 3)." }
+    action amplify { executor machine read { linearized_signal } write { amplified_signal } description "Active analogue signal processing — amplification (R 60-1, 4 Figure 2 block 4; the analogue-active load cell, 3.1.3.2)." }
+    action digitize { executor machine read { amplified_signal } write { raw_counts } description "Analogue/digital conversion (R 60-1, 4 Figure 2 block 5): the digital raw values (counts) of Figure 1 — the digital load cell, 3.1.3.3." }
+    action filter { executor machine read { raw_counts } write { filtered_counts } description "Digital signal filtering (R 60-1, 4 names signal filtering a constituent function of the instrument); R 60 does not order it within the digital stage — placed between conversion and scaling." }
+    action scale { executor machine calls scale_indication { with { in { filtered_counts : filtered_counts e_lim : e_lim } out { indication : indication overload_flag : overload_flag } } } description "Digital data processing (R 60-1, 4 Figure 2 block 6; Figure 1): scaling to the weighing value in mass units, with the safe-load comparison — the further data processing of 3.1.3.4." }
+    gateway overload_check
+    action deliver { executor machine read { indication } write { last_indication load_count } description "The indication is delivered as the process output; the state slots thread through (last_indication, load_count are the HAS state after the run)." }
+    end_event delivered
+    end_event refused
+    flow {
+      applied -> transduce
+      transduce -> linearize
+      linearize -> amplify
+      amplify -> digitize
+      digitize -> filter
+      filter -> scale
+      scale -> overload_check
+      overload_check -> refused { when "ocl{self.overload_flag = 1}" }
+      overload_check -> deliver
+      deliver -> delivered
+    }
+  }
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-2.3"
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.5.16"
+}
+
+process scale_indication {
+  name "Digital scaling (R 60-1, 4 Figure 2 block 6; the further data processing of 3.1.3.4): filtered counts are scaled to the weighing value in mass units (Figure 1), and the safe-load flag is raised when the indication exceeds E_lim (3.5.16). Abstract form — the declaration a calls step binds (C76); the executable refinement is a named follow-up."
+  signature {
+    in { filtered_counts : count e_lim : mass }
+    out { indication : mass overload_flag : dimensionless }
+  }
+  invariants {
+    "ocl{self.overload_flag = 1 implies self.indication > self.e_lim}"
+  }
+  executor machine
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-2.3"
+  ref derives-from "urn:oiml:pub:r:60-1:2021#clause-3.5.16"
+}
+

package/oiml-r60/model/state.prl

@@ -0,0 +1,22 @@
+state_machine LoadCellOperational {
+  kind operational
+  initial off
+  states {
+    off
+    warming
+    ready
+    measuring
+    fault
+  }
+  transition off -> warming action power_on
+  transition warming -> ready action warm_up_complete {
+    guard "elapsed time since power_on ≥ the manufacturer-declared warm_up_time (R 60-1, 3.5.17; during the designed warm-up time there shall be no transmission of measurement results, 5.7.2) — declarative; not evaluated on fire"
+  }
+  transition ready -> measuring action apply_load
+  transition measuring -> ready action remove_load
+  transition [off, warming, ready, measuring] -> fault action fault_detected {
+    guard "a significant fault is detected and acted upon — the cell is made inoperative automatically or a fault detection output is issued until the fault is resolved (R 60-1, 5.7.1.1, 5.7.1.2) — declarative; not evaluated on fire"
+  }
+  transition [warming, ready, measuring] -> off action power_off
+}
+

package/oiml-r60/model/twin.prl

@@ -0,0 +1,16 @@
+subject LoadCell {
+  is {
+    endpoint loadcell_api {
+      operation get_indication { kind query serves { indication } payload { quantity_kind mass unit kg timestamp true } }
+      operation watch_state { kind subscribe serves { state } payload { quantity_kind state unit dimensionless timestamp true } }
+      operation run_self_test { kind invoke does { self_test } payload { quantity_kind diagnostic_report unit dimensionless timestamp true } }
+      access { public { get_indication } registered { watch_state } authority { run_self_test } }
+      profile rest_json
+    }
+  }
+  has {
+    serve sample.test_context.d_min via get_indication { fresh_within 5s }
+    serve sample.state via watch_state { fresh_within 1s }
+  }
+}
+

package/oiml-r60/package.primmel

@@ -0,0 +1,16 @@
+package {
+  id oiml-r60
+  kind rec
+  title "OIML R 60:2021 — R 60 package"
+  version "2021"
+  editions { 2021 2017 2000 1996 }
+  baseUrn "urn:oiml:pub:r:60:2021"
+  uses { iso-iec-17000 iso-iec-17065 iso-iec-17025 iso-iec-17067 oiml-cs oiml-smart-core oiml-smart-module-specimen-governance }
+  requires { core subject-chain-entities party-entities workflow-entities evaluation-skeleton iso-iec-17000 ca-terminology-17000 iso-iec-17025 lab-requirements-17025 ca-terminology-17025 iso-iec-17065 cb-requirements-17065 ca-terminology-17065 iso-iec-17067 scheme-content-requirements-17067 ca-terminology-17067 oiml-cs cs-process-requirements cs-certificate-requirements sample-selection-rules eut-continuity-contract test-execution-entities }
+  supersedes { urn:oiml:pub:r:60:2017 }
+  validity { from 2021-01-01 }
+  status current
+  default_spelling eng-Latn
+  description "Metrological regulation for load cells — requirements, test procedures, and test report forms."
+  source { collection "sources/r060/collection.yml" parts { 1 2 3 } }
+}

package/oiml-r60/payload/annexes-part4.yaml

@@ -0,0 +1,122 @@
+# GENERATED package payload (task 31b) — content with no PRL construct; composed back by regenerate-data + build-primmel-cache. Do not edit by hand.
+annexes:
+  - id: annex_a
+    letter: A
+    title:
+      - spelling: eng-Latn
+        value: Definitions from other applicable international publications
+    obligation: normative
+    summary:
+      - spelling: eng-Latn
+        value: >-
+          Definitions reproduced from OIML D 11 (sixteen entries, from electronic measuring instrument to back-up
+          battery) and from OIML R 76-1 (weighing module), imported so Part 1's provisions for electronic load cells
+          read with the vocabulary the wider publications define.
+    realization:
+      - spelling: eng-Latn
+        value: >-
+          The terminology register carries every definition with its Part 4 clause provenance (sections A.1.1 to A.1.16
+          and A.2.1). The performance-test definition stays bound to its operative clause in Part 1 (3.1.7) and
+          cross-references the A.1.12 reprint in its scope note.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: A
+  - id: annex_b
+    letter: B
+    title:
+      - spelling: eng-Latn
+        value: OIML certificate for load cells — Content of the certificate
+    obligation: normative
+    summary:
+      - spelling: eng-Latn
+        value: >-
+          The OIML certificate template is supplemented with the load cell's identifying characteristics: model
+          designation, maximum capacity E_max, accuracy class, the maximum number of load cell verification intervals
+          n_LC, the minimum load cell verification interval v_min, and the apportioning factor p_LC. Additional
+          characteristics may follow per R 60-1, 3.4.2 and 5.1.5, and Table B.1 lists the technical data that may print
+          on additional pages.
+    realization:
+      - spelling: eng-Latn
+        value: >-
+          The certificate's characteristic list projects from the verified promise set (model/promises.yaml): the
+          mandatory supplement entries carry obligation mandatory, the Table B.1 technical data ride as optional
+          characteristics, and issuance blocks while a mandatory characteristic is unresolved.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: B
+  - id: annex_c
+    letter: C
+    title:
+      - spelling: eng-Latn
+        value: OIML certificate for load cells
+    obligation: informative
+    summary:
+      - spelling: eng-Latn
+        value: >-
+          A complete example certificate for a family of load cells: certificate history, technical data, a summary of
+          the tests performed, the description of the load cell, its documentation, and the data sheet with dimensions,
+          wiring and connections.
+    realization:
+      - spelling: eng-Latn
+        value: >-
+          Reference material for reading a certificate. The platform's own certificate records and their print
+          projection realize the same structure; the example itself is never a verdict input.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: C
+  - id: annex_d
+    letter: D
+    title:
+      - spelling: eng-Latn
+        value: Selection of load cell(s) for testing — a practical example
+    obligation: informative
+    summary:
+      - spelling: eng-Latn
+        value: >-
+          A worked example of the Part 2 sample-selection procedure: three load cell groups with overlapping capacities
+          are walked through the selection steps down to the full-evaluation picks and the humidity-test specimen.
+    realization:
+      - spelling: eng-Latn
+        value: >-
+          The selection rules live in evaluation/sample-selection-rules.yaml and the sample-selector engine executes
+          them; the conformance fixture (src/__tests__/annex-d-selection.test.ts) replays the annex's inputs and
+          reproduces its published selection exactly.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: D
+  - id: annex_e
+    letter: E
+    title:
+      - spelling: eng-Latn
+        value: Load transmission to the load cell
+    obligation: informative
+    summary:
+      - spelling: eng-Latn
+        value: >-
+          Guidance on load transmission to the load cell, reprinted from the WELMEC 2.4 guide with permission: the
+          effect of load transmission on measurements, the standard load transmission devices per load cell type, and
+          the mobility classification of the contact points. The manufacturer defines which devices a load cell works
+          with; the information may be marked on the certificate.
+    realization:
+      - spelling: eng-Latn
+        value: >-
+          Guidance only. The model-range form captures a model's recommended load transmissions
+          (execution/forms/sec-4-evaluation-report/04-09-07-model-range.yaml); nothing here computes a verdict.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: E
+  - id: annex_f
+    letter: F
+    title:
+      - spelling: eng-Latn
+        value: Bibliography
+    obligation: informative
+    summary:
+      - spelling: eng-Latn
+        value: 'The bibliographic references Part 4 cites: the OIML publications and guides the annexes draw on.'
+    realization:
+      - spelling: eng-Latn
+        value: The references register (references.yaml) carries the cited publications.
+    source:
+      doc: urn:oiml:pub:r:60-4:2021
+      clause: F