@oimlsmart/primmel-packages 0.18.0 → 0.20.0

package/oiml-r129/evaluation/certificate-template.prl

@@ -0,0 +1,16 @@
+# OIML R 129 — Certificate Template
+# Number format and dimension labels for OIML certificates.
+#
+# TODO.model-content/03: the certificate's characteristic list is NO LONGER
+# hand-maintained here — it is generated from the verified promise set in
+# model/promises.prl (each promise's `certificate` print projection;
+# browser/src/services/certificate.service.ts certificateCharacteristics()).
+#
+# Number format per the OIML-CS certificate convention, e.g.
+# R129/2020-A-NL1-24.01 (scheme A, issuing authority NL1, year 2024, seq 01).
+certificate_template certificate {
+  number_format "{shortName}/{edition}-{scheme}-{authority}-{year2}.{seq}"
+  dimension_labels {
+    pattern "{measurement_principle}"
+  }
+}

package/oiml-r129/execution/test-report-skeleton.prl

@@ -0,0 +1,236 @@
+# OIML R 129 — test report skeleton (kernel 1.14.0's test_report_skeleton,
+# TODO.roadmap/40): the R 129-4 type evaluation report structure — sections
+# and the form inventory (C140 resolves the entries against the forms
+# register; required/applicability carry the inclusion rules).
+test_report_skeleton r129-3/test-report {
+  title "OIML R 129 Type Evaluation Test Report"
+  description "The complete test report for an OIML R 129 multi-dimensional measuring instrument type evaluation: administrative information (R 129-3, 0.2–0.6 and R 129-4, 1.4), metrological tests (2.2–2.7), disturbance and climatic tests (2.8–2.12), effect tests (2.13–2.14), examinations and object tests (2.15–2.27), the summary of results (1.1) and the R 129-4 type evaluation checklist."
+  section 1 {
+    title "Administrative information"
+    description "Identification, general information, equipment, configuration, sample selection and adjustments (R 129-3, 0.2–0.6 and R 129-4, 1.4)"
+    form r129-3/sec-3.1 {
+      file "identification"
+      title "Identification"
+      required always
+    }
+    form r129-3/sec-3.2 {
+      file "general-info"
+      title "General information"
+      required always
+    }
+    form r129-3/sec-3.3 {
+      file "equipment-info"
+      title "Equipment used"
+      required always
+    }
+    form r129-3/sec-3.4 {
+      file "configuration"
+      title "Configuration of the instrument"
+      required always
+    }
+    form r129-3/sec-3.5 {
+      file "sample-selection"
+      title "Sample selection"
+      required always
+    }
+    form r129-3/sec-3.6 {
+      file "adjustments-modifications"
+      title "Adjustments and modifications"
+      required always
+    }
+  }
+  section 2 {
+    title "Metrological tests"
+    description "Warm-up, repeatability, static temperatures, damp heat and supply-voltage tests (R 129-3, 1.2–1.7)"
+    form r129-3/sec-2.2 {
+      file "warm-up-time"
+      title "Warm-up time test"
+      conformance_test /conf/metrological-tests/warm-up-time
+      requirements { /req/metrological/mpe /req/technical/warm-up }
+      required always
+    }
+    form r129-3/sec-2.3 {
+      file "repeatability"
+      title "Repeatability test"
+      conformance_test /conf/metrological-tests/repeatability
+      requirements { /req/metrological/mpe /req/metrological/calculated-quantities }
+      required always
+    }
+    form r129-3/sec-2.4 {
+      file "static-temperatures"
+      title "Static temperatures test"
+      conformance_test /conf/metrological-tests/static-temperatures
+      requirements { /req/metrological/mpe /req/electronic/rated-operating-conditions }
+      required always
+    }
+    form r129-3/sec-2.5.1 {
+      file "damp-heat-steady"
+      title "Damp heat, steady state test"
+      conformance_test /conf/metrological-tests/damp-heat-steady
+      requirements { /req/metrological/mpe /req/electronic/rated-operating-conditions }
+      required always
+    }
+    form r129-3/sec-2.6 {
+      file "voltage-variation"
+      title "AC mains voltage variation test"
+      conformance_test /conf/metrological-tests/ac-voltage-variation
+      requirements { /req/metrological/mpe /req/electronic/rated-operating-conditions }
+      required conditional
+    applicability {
+      power_supply: [ac-mains]
+    }
+    }
+    form r129-3/sec-2.7 {
+      file "low-voltage-battery"
+      title "Low voltage of battery test"
+      conformance_test /conf/metrological-tests/low-voltage-battery
+      requirements { /req/metrological/mpe /req/electronic/rated-operating-conditions }
+      required conditional
+    applicability {
+      power_supply: [battery]
+    }
+    }
+  }
+  section 3 {
+    title "Disturbance and climatic tests"
+    description "Voltage dips, bursts, ESD, surges, RF immunity and cyclic damp heat (R 129-3, 1.8–1.12)"
+    form r129-3/sec-2.8 {
+      file "voltage-dips"
+      title "Voltage dips and short interruptions test"
+      conformance_test /conf/disturbance-tests/voltage-dips
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required conditional
+    applicability {
+      power_supply: [ac-mains]
+    }
+    }
+    form r129-3/sec-2.9 {
+      file "bursts"
+      title "Electrical fast transient / burst test"
+      conformance_test /conf/disturbance-tests/bursts
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required conditional
+    applicability {
+      power_supply: [ac-mains]
+    }
+    }
+    form r129-3/sec-2.10 {
+      file "esd"
+      title "Electrostatic discharge test"
+      conformance_test /conf/disturbance-tests/esd
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required always
+    }
+    form r129-3/sec-2.11 {
+      file "surge"
+      title "Surge immunity test"
+      conformance_test /conf/disturbance-tests/surges
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required conditional
+    applicability {
+      power_supply: [ac-mains]
+    }
+    }
+    form r129-3/sec-2.12.1 {
+      file "rf-immunity-radiated"
+      title "Radiated RF electromagnetic field immunity test"
+      conformance_test /conf/disturbance-tests/rf-immunity-radiated
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required always
+    }
+    form r129-3/sec-2.12.2 {
+      file "rf-immunity-conducted"
+      title "Conducted RF disturbance immunity test"
+      conformance_test /conf/disturbance-tests/rf-immunity-conducted
+      requirements { /req/electronic/disturbance-resistance /req/electronic/no-significant-faults }
+      required always
+    }
+    form r129-3/sec-2.5.2 {
+      file "damp-heat-cyclic"
+      title "Damp heat, cyclic test"
+      conformance_test /conf/disturbance-tests/damp-heat-cyclic
+      requirements { /req/metrological/mpe /req/electronic/rated-operating-conditions }
+      required always
+    }
+  }
+  section 4 {
+    title "Effect tests"
+    description "Ambient light and acoustic effects (R 129-3, 1.13–1.14)"
+    form r129-3/sec-2.13 {
+      file "ambient-light"
+      title "Ambient light test"
+      conformance_test /conf/effect-tests/ambient-light
+      requirements { /req/electronic/light-acoustic-effects }
+      required conditional
+    applicability {
+      measurement_principle: [optical]
+    }
+    }
+    form r129-3/sec-2.14 {
+      file "acoustics"
+      title "Acoustics test"
+      conformance_test /conf/effect-tests/acoustics
+      requirements { /req/electronic/light-acoustic-effects }
+      required conditional
+    applicability {
+      measurement_principle: [acoustic]
+    }
+    }
+  }
+  section 5 {
+    title "Examinations and object tests"
+    description "Construction examination and object characteristic tests (R 129-3, 1.15–1.27)"
+    form r129-3/sec-2.27 {
+      file "construction-examination"
+      title "Construction examination"
+      conformance_test /conf/examinations/construction-examination
+      requirements { /req/technical/suitability-construction /req/technical/suitability-use /req/technical/suitability-verification }
+      required always
+    }
+    form r129-3/sec-2.15 {
+      file "object-shape"
+      title "Object shape test"
+      conformance_test /conf/examinations/object-characteristics
+      requirements { /req/object-limitations/object-shape }
+      required always
+    }
+    form r129-3/sec-2.16 {
+      file "surface-characteristics"
+      title "Surface characteristics tests"
+      conformance_test /conf/examinations/object-characteristics
+      requirements { /req/object-limitations/surface-colour-uniform /req/object-limitations/surface-colour-non-uniform /req/object-limitations/surface-reflectivity /req/object-limitations/transparency /req/object-limitations/surface-roughness /req/object-limitations/surface-protrusions }
+      required always
+    }
+    form r129-3/sec-2.25 {
+      file "orientation-position"
+      title "Orientation and position test"
+      conformance_test /conf/examinations/object-characteristics
+      requirements { /req/object-limitations/orientation-position }
+      required always
+    }
+    form r129-3/sec-2.26 {
+      file "speed-movement"
+      title "Speed of movement test"
+      conformance_test /conf/examinations/object-characteristics
+      requirements { /req/object-limitations/speed-movement }
+      required conditional
+    applicability {
+      instrument_category: [automatic]
+    }
+    }
+  }
+  section 6 {
+    title "Summary and checklist"
+    description "Summary of results (R 129-3, 1.1) and the type evaluation checklist (R 129-4, 2)"
+    form r129-3/sec-2.1 {
+      file "summary-results"
+      title "Summary of results"
+      required always
+    }
+    form r129-4/sec-11 {
+      file "checklist"
+      title "Type evaluation checklist"
+      required always
+    }
+  }
+}

package/oiml-r144/evaluation/certificate-template.prl

@@ -0,0 +1,22 @@
+# OIML R 144 — Certificate Template
+# Number format and dimension labels for OIML certificates.
+#
+# TODO.model-content/03: the certificate's characteristic list is NO LONGER
+# hand-maintained here — it is generated from the verified promise set in
+# model/promises.prl (each promise's `certificate` print projection;
+# browser/src/services/certificate.service.ts certificateCharacteristics()).
+#
+# Number format per the OIML-CS certificate convention, e.g.
+# R144/2013-A-EX1-26.01 (scheme A, issuing authority EX1, year 2026, seq 01).
+#
+# dimension_labels.separator: the join for SET-valued dimensions
+# (cardinality: set) — per-value labels join with it (e.g.
+# CO+NO-combined). Overridable per placeholder via the
+# {dimension:separator} pattern syntax.
+certificate_template certificate {
+  number_format "{shortName}/{edition}-{scheme}-{authority}-{year2}.{seq}"
+  dimension_labels {
+    pattern "{measurand_components}-{measuring_principle}"
+    separator "+"
+  }
+}

package/oiml-r144/execution/test-report-skeleton.prl

@@ -0,0 +1,254 @@
+# OIML R 144 — test report skeleton (kernel 1.14.0's test_report_skeleton,
+# TODO.roadmap/40): the R 144 type evaluation report structure — sections
+# and the form inventory (C140 resolves the entries against the forms
+# register; required/applicability carry the inclusion rules).
+test_report_skeleton r144-3/test-report {
+  title "OIML R 144 Type Evaluation Test Report"
+  description "The complete test report for an OIML R 144 gas analytical system type evaluation, structured according to R 144-3: administrative information (3.1–3.6), visual and technical examination (3.7), conclusion of the tests (3.8), general conclusion (3.9) and responsible persons (3.10)."
+  section 3.1 {
+    title "Administrative"
+    description "Laboratory, location, manufacturer, applicant and type identification (R 144-3, 3.1–3.6)"
+    form r144-3/sec-3.1 {
+      file "03-01-laboratory-info"
+      title "Testing Laboratory"
+      required always
+    }
+    form r144-3/sec-3.2 {
+      file "03-02-test-location"
+      title "Test Location"
+      required always
+    }
+    form r144-3/sec-3.3 {
+      file "03-03-manufacturer-info"
+      title "Manufacturer"
+      required always
+    }
+    form r144-3/sec-3.4 {
+      file "03-04-applicant-info"
+      title "Applicant"
+      required always
+    }
+    form r144-3/sec-3.5 {
+      file "03-05-type-identification"
+      title "Identification of the Type Tested"
+      required always
+    }
+    form r144-3/sec-3.6 {
+      file "03-06-type-composition"
+      title "Composition of the Type Tested"
+      required always
+    }
+  }
+  section 3.2 {
+    title "Examinations"
+    description "Documentation review (R 144-1, 7.1.1) and visual/technical examination (R 144-3, 3.7)"
+    form r144-3/test-documentation-examination {
+      file "documentation-examination"
+      title "Documentation Examination"
+      conformance_test /conf/examinations/documentation
+      requirements { /req/technical/type-evaluation-documentation /req/technical/operating-manual }
+      required always
+    }
+    form r144-3/sec-3.7 {
+      file "03-07-visual-examination"
+      title "Visual and Technical Examination"
+      conformance_test /conf/examinations/visual-examination
+      required always
+    }
+  }
+  section 3.3 {
+    title "Performance Tests"
+    description "Metrological performance, influence quantity and disturbance tests (R 144-2, 1.2–1.22) feeding the R 144-3, 3.8 conclusion table"
+    form r144-3/test-error-determination {
+      file "error-determination"
+      title "Error Determination (Intrinsic Error)"
+      conformance_test /conf/performance-tests/error-determination
+      requirements { /req/metrological/mpe-intrinsic /req/metrological/measuring-range }
+      required always
+    }
+    form r144-3/test-repeatability {
+      file "repeatability-test"
+      title "Repeatability Test"
+      conformance_test /conf/performance-tests/repeatability-test
+      requirements { /req/metrological/repeatability }
+      required always
+    }
+    form r144-3/test-drift {
+      file "drift-test"
+      title "Stability with Time (Drift Test)"
+      conformance_test /conf/performance-tests/drift-test
+      requirements { /req/metrological/drift }
+      required conditional
+    applicability {
+      adjustment_means: [semi-automatic, automatic]
+    }
+    }
+    form r144-3/test-cross-sensitivity {
+      file "cross-sensitivity-test"
+      title "Cross Sensitivity Test"
+      conformance_test /conf/performance-tests/cross-sensitivity-test
+      requirements { /req/metrological/cross-sensitivity }
+      required always
+    }
+    form r144-3/test-dry-heat {
+      file "dry-heat-test"
+      title "Dry Heat Test"
+      conformance_test /conf/performance-tests/dry-heat
+      requirements { /req/metrological/rated-conditions /req/metrological/mpe-operating }
+      required always
+    }
+    form r144-3/test-cold {
+      file "cold-test"
+      title "Cold Test"
+      conformance_test /conf/performance-tests/cold
+      requirements { /req/metrological/rated-conditions /req/metrological/mpe-operating }
+      required always
+    }
+    form r144-3/test-damp-heat {
+      file "damp-heat-test"
+      title "Damp Heat Test (Steady State)"
+      conformance_test /conf/performance-tests/damp-heat
+      requirements { /req/metrological/rated-conditions /req/metrological/mpe-operating }
+      required always
+    }
+    form r144-3/test-ambient-pressure {
+      file "ambient-pressure-test"
+      title "Ambient Pressure Test"
+      conformance_test /conf/performance-tests/ambient-pressure
+      requirements { /req/metrological/rated-conditions /req/metrological/mpe-operating }
+      required always
+    }
+    form r144-3/test-power-supply {
+      file "power-supply-test"
+      title "Power Supply Variation Test"
+      conformance_test /conf/performance-tests/power-supply
+      requirements { /req/metrological/rated-conditions /req/metrological/mpe-operating }
+      required always
+    }
+    form r144-3/test-vibration {
+      file "vibration-test"
+      title "Mechanical Vibration Test"
+      conformance_test /conf/performance-tests/vibration-test
+      requirements { /req/metrological/vibration }
+      required always
+    }
+    form r144-3/test-shock {
+      file "shock-test"
+      title "Mechanical Shock Test"
+      conformance_test /conf/performance-tests/shock-test
+      requirements { /req/metrological/disturbances }
+      required always
+    }
+    form r144-3/test-power-reduction {
+      file "power-reduction-test"
+      title "Short Time Power Reduction Test"
+      conformance_test /conf/performance-tests/power-reduction
+      requirements { /req/metrological/disturbances }
+      required always
+    }
+    form r144-3/test-bursts-mains {
+      file "bursts-mains-test"
+      title "Electrical Burst Test (AC/DC Mains)"
+      conformance_test /conf/performance-tests/burst-mains
+      requirements { /req/metrological/disturbances }
+      required always
+    }
+    form r144-3/test-bursts-signal {
+      file "bursts-signal-test"
+      title "Electrical Burst Test (Signal, Data and Control Lines)"
+      conformance_test /conf/performance-tests/burst-signal
+      requirements { /req/metrological/disturbances }
+      required conditional
+    applicability {
+      capabilities: [data-interface]
+    }
+    }
+    form r144-3/test-surge {
+      file "surge-test"
+      title "Surge Test (Signal, Data and Control Lines)"
+      conformance_test /conf/performance-tests/surge
+      requirements { /req/metrological/disturbances }
+      required conditional
+    applicability {
+      capabilities: [data-interface]
+    }
+    }
+    form r144-3/test-esd {
+      file "esd-test"
+      title "Electrostatic Discharge Test"
+      conformance_test /conf/performance-tests/esd
+      requirements { /req/metrological/disturbances }
+      required always
+    }
+    form r144-3/test-rf-emf {
+      file "rf-emf-test"
+      title "Radiated RF Electromagnetic Field Test"
+      conformance_test /conf/performance-tests/rf-emf
+      requirements { /req/metrological/disturbances }
+      required always
+    }
+    form r144-3/test-low-battery {
+      file "low-battery-test"
+      title "Low Battery Voltage Test"
+      conformance_test /conf/performance-tests/low-battery
+      requirements { /req/metrological/rated-conditions }
+      required conditional
+    applicability {
+      power_supply: [battery, ac-and-battery]
+    }
+    }
+    form r144-3/test-warm-up-time {
+      file "warm-up-time-test"
+      title "Warm-up Time Test"
+      conformance_test /conf/performance-tests/warm-up-test
+      requirements { /req/metrological/warm-up-time }
+      required always
+    }
+    form r144-3/test-response-time {
+      file "response-time-test"
+      title "Response Time Test"
+      conformance_test /conf/performance-tests/response-time-test
+      requirements { /req/metrological/response-time }
+      required always
+    }
+    form r144-3/test-flow-spillover {
+      file "flow-spillover-test"
+      title "Spillover of Gas Flow Rates Test"
+      conformance_test /conf/performance-tests/flow-spillover
+      requirements { /req/technical/gas-flow-monitoring /req/technical/gas-flow-meter }
+      required conditional
+    applicability {
+      sampling_approach: [extractive]
+    }
+    }
+    form r144-3/test-leakproofness {
+      file "leakproofness-test"
+      title "Leakproofness Test"
+      conformance_test /conf/performance-tests/leakproofness
+      requirements { /req/technical/air-tightness }
+      required conditional
+    applicability {
+      sampling_approach: [extractive]
+    }
+    }
+  }
+  section 3.4 {
+    title "Conclusions"
+    description "Conclusion of the tests (3.8), general conclusion (3.9), responsible persons (3.10)"
+    form r144-3/sec-3.8 {
+      file "03-08-test-conclusions"
+      title "Conclusion of the Tests"
+      required always
+    }
+    form r144-3/sec-3.9 {
+      file "03-09-general-conclusion"
+      title "General Conclusion"
+      required always
+    }
+    form r144-3/sec-3.10 {
+      file "03-10-responsible-persons"
+      title "Person(s) Responsible for the Testing"
+      required always
+    }
+  }
+}

package/oiml-r60/.primmel-allowlist.prl

@@ -48,3 +48,9 @@ allowlist_entry {
   reason "`f` is the runtime-bound form input (conversion_factor_f) the evaluation context binds at run time — the v_min expression's free identifier is deliberate (the register header documents it); never drift."
   audit_ref "TODO.roadmap/40"
 }
+allowlist_entry {
+  rule C136
+  match "certificate_template certificate: dimension_labels placeholder \"{n_lc_thousands}\" is not a declared classification dimension (certificate-template-references)"
+  reason "Renderer-synthetic label placeholder: generateClassificationLabel computes n_lc_thousands = floor(n_lc / 1000) into the pattern context (the thousands-scale certificate designation, e.g. \"C3\" over n_lc = 3000); no classification dimension exists to declare — the value derives from the n_lc parameter at render time, never drift."
+  audit_ref "TODO.roadmap/40"
+}

package/oiml-r60/evaluation/certificate-template.prl

@@ -0,0 +1,40 @@
+# OIML R 60 — Certificate Template
+# Number format and dimension labels for OIML certificates.
+#
+# TODO.roadmap/08: the certificate's characteristic list is NO LONGER
+# hand-maintained here — it is generated from the verified promise set in
+# model/promises.prl (each promise's `certificate` print projection;
+# browser/src/services/certificate.service.ts certificateCharacteristics()).
+# The byte-equal render over the seeded flows is proven by
+# src/__tests__/certificate-promises-snapshot.test.ts against
+# analysis/certificate-render-baseline-oiml-r60.json.
+#
+# R 60-4 Annex B (normative): the certificate shall be supplemented with
+# Model designation, E_max, accuracy class, n_LC, v_min, p_LC; Table B.1
+# technical data may be provided on additional pages.
+#
+# TODO.adoption/11 — the anr_section labels the certificate's Additional
+# National Requirements section: the per-country coverage recorded at
+# issuance (Certificate.anr_coverage, snapshotted from the evaluation
+# report's anr_compliance). The section ALWAYS renders when the
+# application targeted ANR countries: covered countries name their
+# evidence, bypassed ones carry the recorded reason — never a silent gap
+# (PD-05 §5.4.2/§5.6.3).
+#
+# The dimension_labels pattern's {n_lc_thousands} placeholder is
+# RENDERER-SYNTHETIC (floor(n_lc / 1000), certificate.service.ts
+# generateClassificationLabel) — not a declared classification dimension;
+# C136 fires on it, a KNOWN allowlist entry (never drift).
+certificate_template certificate {
+  number_format "{shortName}/{edition}-{scheme}-{authority}-{year2}.{seq}"
+  dimension_labels {
+    pattern "{accuracy_class}{n_lc_thousands}"
+  }
+  anr_section {
+    title "Additional National Requirements"
+    covered_label "Evaluated"
+    not_evaluated_label "Not evaluated in this evaluation"
+    pending_label "Pending evaluation"
+    none_targeted_note "No additional national requirements were targeted by the application."
+  }
+}