@oimlsmart/primmel-packages 0.18.0 → 0.19.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-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-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."
+  }
+}

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

@@ -0,0 +1,17 @@
+# OIML R 91 — 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()).
+#
+# R 91-1, 6.15.1: the metrological class (A or B) for moving measurements
+# is a MANDATORY certificate indication — the metrological_class promise
+# carries obligation: mandatory.
+certificate_template certificate {
+  number_format "{shortName}/{edition}-{scheme}-{authority}-{year2}.{seq}"
+  dimension_labels {
+    pattern "{working_principle}-{metrological_class}"
+  }
+}

package/oiml-twin-cert/evaluation/certificate-template.prl

@@ -0,0 +1,111 @@
+# oiml-twin-cert — TWIN CERTIFICATE TEMPLATE (TODO.v2/01 TCD-3;
+# analysis/twin-certification-design.md Q3 "the certificate's claim").
+#
+# The twin certificate claims a SCOPED, CONDITIONAL relation (Q3): for
+# instrument <model/serial>, the twin served at endpoint <endpoint-id> via
+# operations <op-list> reflects the physical state of registers
+# <aspect-list> within tolerance <δ per register> and freshness
+# <fresh_within per register>, verified by probe schedule <schedule-id> on
+# <date> (report <id>), with served-timestamp provenance declared
+# (timestamp_fields). Validity is CONDITIONAL: continuous surveillance per
+# monitor <monitor-id>; a sustained fail suspends; an unresolved fail
+# withdraws.
+#
+# The characteristic rows are the claim's print projection. Every row
+# resolves BY NAME from the certification decision's claim context
+# (browser/src/services/twin-certificate.service.ts —
+# twinCertificateCharacteristics): the twin's endpoint identity and the
+# certified registers ride the decision evidence, never an entity-graph
+# attribute (the program composes into nothing — there is no rec entity
+# graph to bind, hence no attribute/dimension bindings on the rows).
+# obligation: mandatory rows must carry a value on the issued certificate;
+# the attestation-limitation row prints only when the probe evidence rode
+# the attestation channel (controller decision 3: never silently upgraded).
+#
+# The certificate number format mirrors the Annex B shape with the
+# program's own designators: TW-1 (the governing document,
+# urn:oiml:pub:cs:twin-1:2027) / edition - T5 (the ISO/IEC 17067 scheme
+# type the program self-classifies — type 5, surveillance-constitutive) -
+# the scheme operator code - year.sequence.
+#
+# Row labels are the default-spelling (eng-Latn) content sets inline —
+# the YAML twin re-wraps them as the Prose array the renderer resolves
+# with src/data/prose.ts.
+certificate_template certificate {
+  number_format "TW-1/{edition}-T5-{authority}-{year2}.{seq}"
+  characteristic instrument_model {
+    type string
+    label "Instrument model (the underlying certified type)"
+    obligation mandatory
+  }
+  characteristic instrument_serial {
+    type string
+    label "Instrument serial number (the certified unit — per-UNIT certification, type 5)"
+    obligation mandatory
+  }
+  characteristic twin_endpoint {
+    type string
+    label "Twin endpoint identifier (bound to the certified unit's serial)"
+    obligation mandatory
+  }
+  characteristic served_operations {
+    type string
+    label "Served operations certified"
+    obligation mandatory
+  }
+  characteristic fidelity_registers {
+    type string
+    label "Fidelity registers certified (served aspects)"
+    obligation mandatory
+  }
+  characteristic twin_tolerance_indication {
+    type string
+    label "Twin tolerance δ_indication (|served − reference| ≤ δ at every probe point)"
+    obligation mandatory
+  }
+  characteristic fresh_within_indication {
+    type string
+    label "Freshness window — indication register (fresh_within)"
+    obligation mandatory
+  }
+  characteristic fresh_within_op_state {
+    type string
+    label "Freshness window — state register (fresh_within)"
+    obligation mandatory
+  }
+  characteristic probe_schedule {
+    type string
+    label "Probe schedule (the certification's executable — range, envelope, transitions)"
+    obligation mandatory
+  }
+  characteristic verified_on {
+    type string
+    label "Verification date (the probe campaign's completion)"
+    obligation mandatory
+  }
+  characteristic fidelity_report {
+    type string
+    label "Twin-fidelity test report (the D2 evidence)"
+    obligation mandatory
+  }
+  characteristic surveillance_monitor {
+    type string
+    label "Surveillance monitor (the type-5 continuous half — validity is CONDITIONAL on it)"
+    obligation mandatory
+  }
+  characteristic type_certificate {
+    type string
+    label "Type certificate of the underlying instrument (the hard admission prerequisite, cited as provenance)"
+    obligation mandatory
+  }
+  characteristic probe_sources {
+    type string
+    label "Probe channels used (reference_instrument preferred; sim_ground_truth acceptance-only)"
+    obligation mandatory
+  }
+  characteristic traceability_limitation {
+    type string
+    label "Declared traceability limitation (observer-attestation evidence proves twin ≡ display, not twin ≡ mass)"
+    obligation optional
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@oimlsmart/primmel-packages",
-  "version": "0.18.0",
+  "version": "0.19.0",
   "description": "The OIML SMART platform's authoritative model content: every Recommendation, the OIML-CS scheme, the CASCO foundations, the shared modules, and the product/program reference packages as Primmel (.prl) packages — the single source of truth the platform's data trees regenerate from. Consumed by the smart monorepo (oimlsmart/smart) at a pinned version (TODO.repos/02).",
   "type": "module",
   "repository": {