@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/payload/application.yaml

@@ -0,0 +1,83 @@
+# GENERATED package payload (task 31b) — content with no PRL construct; composed back by regenerate-data + build-primmel-cache. Do not edit by hand.
+application:
+  declaration_form: r60-3/sec-4.5
+  documentation:
+    - id: measurement-principle
+      name:
+        - spelling: eng-Latn
+          value: Description of the general principle of measurement
+      description:
+        - spelling: eng-Latn
+          value: A description of the load cell's general principle of measurement (R 60-2, 2.5 a).
+      obligation: shall
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: mechanical-drawings
+      name:
+        - spelling: eng-Latn
+          value: Mechanical drawings
+      description:
+        - spelling: eng-Latn
+          value: Mechanical drawings, including documents on the load transmission(s) as per R 60-2 Annex E (R 60-2, 2.5 b).
+      obligation: shall
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: electrical-diagrams
+      name:
+        - spelling: eng-Latn
+          value: Electric/electronic diagrams
+      description:
+        - spelling: eng-Latn
+          value: Electric and electronic diagrams of the load cell (R 60-2, 2.5 c).
+      obligation: shall
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: installation-requirements
+      name:
+        - spelling: eng-Latn
+          value: Installation requirements
+      description:
+        - spelling: eng-Latn
+          value: Physical and electrical installation requirements, if appropriate (R 60-2, 2.5 d).
+      obligation: may
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: operating-instructions
+      name:
+        - spelling: eng-Latn
+          value: Operating instructions
+      description:
+        - spelling: eng-Latn
+          value: Operating instructions to be provided to the user, if appropriate (R 60-2, 2.5 e).
+      obligation: may
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: compliance-evidence
+      name:
+        - spelling: eng-Latn
+          value: Compliance evidence
+      description:
+        - spelling: eng-Latn
+          value: >-
+            Documents or other evidence supporting and demonstrating the manufacturer's belief that the design and
+            characteristics of the load cell comply with the requirements of the Recommendation (R 60-2, 2.5 f).
+      obligation: shall
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'
+    - id: software-documentation
+      name:
+        - spelling: eng-Latn
+          value: Software documentation
+      description:
+        - spelling: eng-Latn
+          value: Documentation relative to software, if appropriate (R 60-2, 2.5 g).
+      obligation: may
+      source:
+        doc: urn:oiml:pub:r:60-2:2021
+        clause: '2.5'

package/oiml-r60/payload/conditions-common-test.yaml

@@ -0,0 +1,121 @@
+# GENERATED package payload (task 31b) — content with no PRL construct; composed back by regenerate-data + build-primmel-cache. Do not edit by hand.
+common_test_conditions:
+  - id: test-equipment
+    title: Test equipment
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.2
+    description: |
+      Test equipment used for the tests shall be calibrated and
+      traceable to national or international standards. The equipment
+      shall have adequate precision for the measurements to be performed.
+  - id: environmental-conditions
+    title: Environmental conditions
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.1
+    description: |
+      The test shall be conducted under stable ambient conditions as
+      specified in R 60-2 §2.6.1.
+  - id: acceleration-of-gravity
+    title: Acceleration of gravity
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.2
+    description: |
+      The value of the acceleration of gravity used in the calculation
+      of the force applied shall be the local value or the value
+      declared for the testing laboratory.
+  - id: loading-conditions
+    title: Loading conditions
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.3
+    description: |
+      Loads shall be applied axially and without shock. The points of
+      force application shall be defined for each load direction
+      (compression, tension, beam).
+  - id: measuring-range-limits
+    title: Measuring range limits
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.4
+    description: |
+      Tests shall be conducted within the measuring range defined by
+      D_min and D_max of the load cell under test.
+  - id: reference-standards
+    title: Reference standards
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.5
+    description: |
+      Reference standards of mass (or force) used for calibration
+      shall have an uncertainty appropriate to the measurements.
+  - id: stabilisation-period
+    title: Stabilisation period
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.6
+    description: |
+      A stabilisation period shall be allowed after changing
+      temperature or load before recording indications.
+  - id: temperature-conditions
+    title: Temperature conditions
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.7
+    description: |
+      Tests shall be conducted at the temperatures specified in
+      R 60-2 §2.10 (typically 20°C reference plus T_high and T_low).
+      Temperature is considered 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 °C (R 60-2, 2.7.3.1).
+  - id: barometric-pressure-effects
+    title: Barometric pressure effects
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.8
+    description: |
+      Atmospheric pressure changes shall be recorded during the test
+      for correction of barometric-pressure-sensitive readings.
+  - id: humidity-effects-condition
+    title: Humidity effects
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.9
+    description: |
+      Humidity shall be controlled per the test specification
+      (typically 50% RH for non-humidity tests, cyclic or steady-state
+      for humidity tests).
+  - id: indicating-instrument-checking
+    title: Indicating instrument checking
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.10
+    description: |
+      The indicating instrument used to read the load cell output
+      shall be checked for accuracy before each test series.
+  - id: other-conditions
+    title: Other conditions
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.11
+    description: |
+      Any other conditions specified by the manufacturer or by the
+      testing laboratory's procedures.
+  - id: time-date-format
+    title: Time and date format
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.7.3.12
+    description: |
+      All time and date recordings shall use ISO 8601 format.
+  - id: errors-conditions
+    title: Conditions for error determination
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.8.1
+    description: |
+      Conditions for the determination of measurement errors shall
+      be as specified in R 60-2 §2.7.
+  - id: errors-limits
+    title: Limits of error
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.8.2
+    description: |
+      The MPE values per R 60-1 §5.3 shall be used as the limits
+      of error during type evaluation.
+  - id: initial-readings
+    title: Initial readings
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.8.3
+    description: |
+      Initial minimum test load indications shall be recorded before
+      each test series.
+  - id: loading-unloading-times
+    title: Loading/unloading times
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.8.3.1
+    description: |
+      Loading and unloading shall be performed smoothly without shock.
+      Times for loading and unloading shall be recorded.
+  - id: loading-times-adherence
+    title: Adherence to loading/unloading times
+    reference: urn:oiml:pub:r:60-2:2021#clause-2.8.3.2
+    description: |
+      Loading/unloading times per R 60-2, Table 1. When the specified
+      times cannot be achieved the applicant shall be consulted; for the
+      minimum dead load output return test the time may be increased from
+      100 % to a limit of 150 % of the specified time, provided the
+      permissible variation of the result is proportionally reduced from
+      100 % to 50 % (C_DR <= 0.5(1-(x-1)) v, R 60-3, 2.1.5.6).

package/oiml-r60/payload/formulas-variants.yaml

@@ -0,0 +1,55 @@
+# GENERATED package payload (task 31b) — content with no PRL construct; composed back by regenerate-data + build-primmel-cache. Do not edit by hand.
+formulas:
+  - name: loadCellError
+    type: expression
+    label: Load Cell Error E_L
+    params:
+      - avgIndication
+      - referenceIndication
+      - conversion_factor_f
+    description: E_L = (I - I_ref) / f
+    expression: (p.avgIndication - p.referenceIndication) / p.conversion_factor_f
+  - name: repeatabilityError
+    type: expression
+    label: Repeatability Error E_R
+    params:
+      - indications
+      - conversion_factor_f
+    description: E_R = (max - min) / f across runs
+    expression: (Math.max(...Object.values(p.indications)) - Math.min(...Object.values(p.indications))) / p.conversion_factor_f
+  - name: creep
+    type: expression
+    label: Creep C_C
+    params:
+      - indicationAtTime
+      - initialIndication
+      - conversion_factor_f
+    description: C_C = (I_t - I_0) / f
+    expression: (p.indicationAtTime - p.initialIndication) / p.conversion_factor_f
+  - name: deadLoadOutputReturn
+    type: expression
+    label: Dead Load Output Return DR
+    params:
+      - minLoadIndication2
+      - minLoadIndication1
+      - conversion_factor_f
+    description: DR = (I_min2 - I_min1) / f
+    expression: (p.minLoadIndication2 - p.minLoadIndication1) / p.conversion_factor_f
+  - name: barometricPressureEffect
+    type: expression
+    label: Barometric Pressure Effect C_P
+    params:
+      - indication1
+      - indication2
+      - conversion_factor_f
+    description: C_P = |I_2 - I_1| / f
+    expression: Math.abs(p.indication2 - p.indication1) / p.conversion_factor_f
+  - name: maxAllowableSpanVariation
+    type: expression
+    label: Max Allowable Span Variation
+    params:
+      - d_max
+      - accuracy_class
+      - p_lc
+    description: max(0.5, 0.5*|MPE|)
+    expression: Math.max(0.5, 0.5 * Math.abs(compute('lookupMPE', [p.d_max, p.accuracy_class, p.p_lc])))

package/oiml-r60/payload/promises.yaml

@@ -0,0 +1,224 @@
+# OIML R 60 — MODEL LAYER: PROMISES (TODO.roadmap/08)
+# -----------------------------------------------------------------------------
+# First-class manufacturer PROMISES: claims on characteristics and behavior —
+# possibly envelope-shaped, possibly conditional — that evaluation verifies
+# and the certificate prints as promises-as-verified (doctrine
+# primmel-oiml-smart/docs/primmel/02-subjects.md §2.3, the IS catalog;
+# 15-model-supply-chain.md §15.2, promises-as-verified).
+#
+# A promise is NOT a declared attribute value: a claim stated as one bare
+# parameter value ("t_min = −10 °C") stays an `origin: declared` attribute.
+# primmel-ts linter C44 promise-not-bare-value enforces the distinctness —
+# NARROWED semantics: it rejects only promises that merely RESTATE a bare
+# declared value (attribute target + bare quantity level, no conditions, no
+# verification linkage). Targeting an attribute/dimension with a genuine
+# claim ABOUT it — conditioned, envelope/range, symbolic level, or verified
+# — is legal, and is exactly what this file does. The promises below
+# therefore never RESTATE a value: they cite the characteristic/behavior/
+# attribute/dimension the claim is about (`target`), and the certificate
+# print projection (`certificate:`) declares which declared attribute /
+# classification dimension the verified claim reads its exhibited value from
+# (the IS/HAS duality citation — the certificate prints the exhibited dual).
+#
+# PACKAGE HOME (TODO.model-content/03 — the payload-verbatim class): this
+# file is the package payload `payload/promises.yaml` — the promise set is
+# AUTHORED here, in the package, and regenerate-data emits
+# data/r60/model/promises.yaml VERBATIM (the generated fileHeader + these
+# raw bytes; the documented codec exclusion, same class as
+# payload/sample-data.yaml). The kernel's SubjectPromise carries no
+# certificate print-projection field yet — the projection's first-class PRL
+# home (`promises.prl` with a `certificate { … }` block) is the recorded
+# primmel-ts kernel-minor follow-up; when it ships, this payload migrates to
+# the PRL surface and the promise CONTENT rides over unchanged.
+#
+# TYPE ALIGNMENT (TODO.roadmap/08 deliverable 1): `PromiseDecl` (smart,
+# browser/src/data/standards.ts) ≡ primmel-ts `SubjectPromise` at the TYPE
+# level only — id, target, level, conditions (OCL over dimensions/
+# conditions), statement, verified_by (requirement/test ids — when absent,
+# verification derives from the requirement/test bindings of the same
+# target), source { doc, clause }. The YAML level shape ({ kind:
+# quantity|range|symbolic, … }) and primmel's `PromiseLevel` are
+# CONCEPTUALLY aligned (quantity/range/symbolic); no YAML↔PRL converter
+# for promises exists yet.
+# The `certificate:` block is the smart-side print projection (Annex B):
+# the certificate's characteristic list is GENERATED from this promise set
+# (browser/src/services/certificate.service.ts), replacing the formerly
+# hand-maintained characteristics_template rows of
+# evaluation/certificate-template.yaml (which keeps only number_format and
+# dimension_labels).
+#
+# APPLICATION-SIDE MAPPING (light formalization — deliverable 4): an
+# application's SOUGHT CLASSIFICATION reads as a promise set — the
+# subject-chain classification maps the applicant declares (family/group/
+# model `classification`, the Application model_family_id + model_ids matrix)
+# are the applicant's claims about what the type IS, shape-compatible with
+# the entries below (dimension targets with symbolic levels), which
+# evaluation then verifies and the certificate prints as promises-as-verified.
+# Application.dimensions (deprecated free-form map) corresponds 1:1 to
+# promise entries with `level: { kind: symbolic, value: <dimension-value> }`
+# on the dimension target. A full application-matrix migration is NOT in
+# scope — this note + the type alignment is the formalization.
+#
+# Schema: data/schemas/model.yaml ($defs/promise).
+---
+promises:
+
+  # ── Annex B mandatory supplement (R 60-4, Annex B) ──────────────────
+
+  - id: e_max_values
+    target: e_max                          # symbols.yaml / attributes.yaml id
+    statement:
+      - spelling: eng-Latn
+        value: "Maximum capacity E_max per model — the rated capacities the family offers."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.5" }
+    certificate: { attribute: e_max, type: string, label: [{spelling: eng-Latn, value: "E_max values"}], obligation: mandatory }
+
+  - id: accuracy_class
+    target: accuracy_class                 # classification dimension (model/instrument.yaml)
+    statement:
+      - spelling: eng-Latn
+        value: "The type holds its declared accuracy class — the error characteristic stays within the class MPE."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "5.1.1" }
+    verified_by:
+      - /req/metrological/mpe              # R 60-1, 5.3
+      - /conf/metrological-tests/measurement-error-repeatability-mdlo   # R 60-2, 2.10.1
+    certificate: { dimension: accuracy_class, type: string, label: [{spelling: eng-Latn, value: "Accuracy class"}], obligation: mandatory }
+
+  - id: n_lc
+    target: n_lc
+    statement:
+      - spelling: eng-Latn
+        value: "Maximum number of load cell verification intervals into which the measuring range is divided."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.8" }
+    certificate: { attribute: n_lc, type: integer, label: [{spelling: eng-Latn, value: "Number of verification intervals (n_LC)"}], obligation: mandatory }
+
+  - id: v_min
+    target: v_min
+    statement:
+      - spelling: eng-Latn
+        value: "Minimum load cell verification interval the type is certified down to."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.11" }
+    certificate: { attribute: v_min, type: string, label: [{spelling: eng-Latn, value: "Minimum load cell verification interval (v_min)"}], obligation: mandatory }
+
+  - id: p_lc
+    target: p_lc
+    statement:
+      - spelling: eng-Latn
+        value: "Apportioning factor p_LC of the load cell for MPE calculations."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.7.2" }
+    certificate: { attribute: p_lc, type: number, label: [{spelling: eng-Latn, value: "Apportioning factor (p_LC)"}], obligation: mandatory }
+
+  # ── Annex B Table B.1 technical data (additional pages, informative) ──
+
+  - id: e_min
+    target: e_min
+    statement:
+      - spelling: eng-Latn
+        value: "Minimum dead load E_min the load cell measures from."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.9" }
+    certificate: { attribute: e_min, type: string, label: [{spelling: eng-Latn, value: "Minimum dead load (E_min)"}], obligation: optional }
+
+  - id: y_ratio
+    target: "y"
+    statement:
+      - spelling: eng-Latn
+        value: "Relative minimum load cell verification interval Y = E_max / v_min."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.15" }
+    certificate: { attribute: "y", type: integer, label: [{spelling: eng-Latn, value: "Relative v_min (Y)"}], obligation: optional }
+
+  - id: z_ratio
+    target: z
+    statement:
+      - spelling: eng-Latn
+        value: "Relative minimum dead load output return Z = E_max / (2·DR)."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.14" }
+    certificate: { attribute: z, type: integer, label: [{spelling: eng-Latn, value: "Relative DR (Z)"}], obligation: optional }
+
+  - id: rated_output
+    target: rated_output
+    statement:
+      - spelling: eng-Latn
+        value: "Rated output per volt of excitation at maximum capacity, with tolerance."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.3" }
+    certificate: { attribute: rated_output, type: string, label: [{spelling: eng-Latn, value: "Rated output"}], obligation: optional }
+
+  - id: excitation_maximum
+    target: excitation_maximum
+    statement:
+      - spelling: eng-Latn
+        value: "Maximum excitation voltage the load cell withstands."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.4.2" }
+    certificate: { attribute: excitation_maximum, type: number, label: [{spelling: eng-Latn, value: "Maximum excitation voltage (V)"}], obligation: optional }
+
+  - id: input_impedance
+    target: input_impedance
+    statement:
+      - spelling: eng-Latn
+        value: "Electrical impedance across the excitation terminals, with tolerance."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.4.2" }
+    certificate: { attribute: input_impedance, type: string, label: [{spelling: eng-Latn, value: "Input impedance (Ohm)"}], obligation: optional }
+
+  - id: temperature_range
+    target: temp-effect-sensitivity        # behaviors.yaml — the temperature influence response
+    statement:
+      - spelling: eng-Latn
+        value: "The type holds its metrological performance across the rated temperature range (T_min…T_max)."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "5.6.1" }
+    verified_by:
+      - /req/metrological/temperature-limits           # R 60-1, 5.6.1
+      - /conf/metrological-tests/measurement-error-repeatability-mdlo    # R 60-2, 2.10.1 (temperature runs)
+    certificate: { attributes: [t_min, t_max], type: string, label: [{spelling: eng-Latn, value: "Temperature rating (°C)"}], obligation: optional }
+
+  - id: safe_overload
+    target: safe_overload
+    statement:
+      - spelling: eng-Latn
+        value: "Safe overload the load cell withstands without permanent damage, relative to E_max."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.5.16" }
+    certificate: { attribute: safe_overload, type: string, label: [{spelling: eng-Latn, value: "Safe overload, relative (%)"}], obligation: optional }
+
+  # ── Envelope claim (TODO.roadmap/08 deliverable d) ───────────────────
+  # A CONDITIONED promise a bare parameter value cannot express: not
+  # "t_min = −10 °C" (one declared value) but "class C6 HOLDS ACROSS the
+  # rated range −10…+40 °C" — a level claimed over an envelope, gated by
+  # conditions (OCL over the designed condition tiers). It prints as a
+  # statement row: the certificate block binds no attribute/dimension, so
+  # the projection renders the claim text itself (see
+  # certificate.service.ts renderPromiseClaim).
+  - id: accuracy_class_envelope
+    target: accuracy_class
+    level: { kind: symbolic, value: C6 }
+    conditions: "ocl{self.temperature >= rated.t_min and self.temperature <= rated.t_max}"
+    statement:
+      - spelling: eng-Latn
+        value: "Holds accuracy class C6 across the rated temperature range −10…+40 °C."
+    verified_by:
+      - /req/metrological/mpe              # R 60-1, 5.3
+      - /conf/metrological-tests/measurement-error-repeatability-mdlo   # R 60-2, 2.10.1
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "5.1.1" }
+    certificate: { type: statement, label: [{spelling: eng-Latn, value: "Accuracy envelope"}], obligation: optional }
+
+  # ── The G1 optional defining-data fields (TODO.deploying/01) ────────
+  - id: cable_length
+    target: cable_length
+    statement:
+      - spelling: eng-Latn
+        value: "Integral cable length (the family specification set's cable details, R 60-1, 3.4.2 (e))."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "3.4.2" }
+    certificate: { attribute: cable_length, type: quantity, label: [{spelling: eng-Latn, value: "Cable length"}], obligation: optional }
+
+  - id: additional_markings
+    target: additional_markings
+    statement:
+      - spelling: eng-Latn
+        value: "Markings on the load cell beyond the required set (manufacturer's optional markings)."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "6" }
+    certificate: { attribute: additional_markings, type: string, label: [{spelling: eng-Latn, value: "Additional markings"}], obligation: optional }
+
+  - id: additional_characterisation
+    target: additional_characterisation
+    statement:
+      - spelling: eng-Latn
+        value: "Additional characterisation completing the classification (R 60-1, 5.1.5 (f), 5.1.6, 5.1.7)."
+    source: { doc: urn:oiml:pub:r:60-1:2021, clause: "5.1.5" }
+    certificate: { attribute: additional_characterisation, type: string, label: [{spelling: eng-Latn, value: "Additional characteristics"}], obligation: optional }