@oimlsmart/primmel-packages 0.1.0

package/acme-cgm-200/model/r144-map.prl

@@ -0,0 +1,337 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME CGM-200 → OIML R 144 — the conformance claim made computable
+# (TODO.v2/08's R 144 phase; TODO.roadmap/36; doctrine ch. 15 §15.2).
+#
+# The decisive act of the product reference model: every conformance-
+# relevant aspect and promise is mapped to the Recommendation's — aspect
+# by aspect, node to node, promise to requirement. The map targets are
+# the package's own `oiml-r144#…` alias declarations (the implementation
+# declares local copies of the reference elements it maps to — C21); the
+# platform's product-coverage gate resolves the unqualified ids against
+# the real R 144 package (data/r144's requirement vocabulary), so no
+# clause reference dangles.
+#
+# 100 % of the tested characteristics are covered: every block-form
+# promise is a mapping source (C82 product-unmapped-promises stays
+# silent), and every promise target (the two per-channel error
+# characteristics and the behaviors the standard's tests exercise —
+# drift, step response, warm-up, cross-sensitivity, the adjustments,
+# the self-check, the reference reduction) is reachable through one.
+#
+# The honest boundary (the coverage audit): the map claims the
+# METROLOGICAL core the twin serves evidence for — 4.1 units, 4.2
+# ranges, 4.3.1 intrinsic MPE, 4.4 repeatability, 4.5.1 rated conditions
+# (whose limit IS the 4.3.2 verification MPE — a SHOULD, subsumed here,
+# never claimed as a separate promise), 4.5.2 cross-sensitivity, 4.5.4
+# disturbances, 4.6 response time, 4.7 warm-up, 4.8 drift — plus the
+# three technical requirements the twin interface itself touches (5.1.6
+# flow check, 5.5.2 flow supervision, 5.7.1 adjustment access). The
+# remaining technical requirements (construction, display, printing,
+# markings, documentation) are examination/inspection matters of the
+# Recommendation's own type evaluation program — the product reference
+# model makes no computable claim about them and the map says so rather
+# than decorating them.
+# ─────────────────────────────────────────────────────────────────────
+
+requirement oiml-r144#/req/metrological/measurement-units {
+  name "alias: R 144 presentation of measurement results"
+  statement "Local alias of the Recommendation's measurement-units requirement — ppm, reduced to the reference conditions 273.15 K / 101.325 kPa (the product reference model declares local copies of the reference elements it maps to — C21)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.1" }
+}
+
+requirement oiml-r144#/req/metrological/measuring-range {
+  name "alias: R 144 measuring range"
+  statement "Local alias of the Recommendation's measuring-range requirement (the 4.2 envelopes per component; sub-ranges admitted)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.2" }
+}
+
+requirement oiml-r144#/req/metrological/mpe-intrinsic {
+  name "alias: R 144 maximum permissible intrinsic error"
+  statement "Local alias of the Recommendation's intrinsic-MPE requirement — the larger of 2 ppm and 5 % of the measured value."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.3.1" }
+}
+
+requirement oiml-r144#/req/metrological/repeatability {
+  name "alias: R 144 repeatability"
+  statement "Local alias of the Recommendation's repeatability requirement — the estimated standard deviation within one third of the intrinsic MPE."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.4" }
+}
+
+requirement oiml-r144#/req/metrological/rated-conditions {
+  name "alias: R 144 rated operating conditions"
+  statement "Local alias of the Recommendation's rated-operating-conditions requirement (temperature, humidity, pressure, supply — the 4.3.2 verification MPE across them)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.5.1" }
+}
+
+requirement oiml-r144#/req/metrological/cross-sensitivity {
+  name "alias: R 144 cross sensitivity"
+  statement "Local alias of the Recommendation's cross-sensitivity requirement — interferents up to their declared maxima shift the indication by no more than half the intrinsic MPE."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.5.2" }
+}
+
+requirement oiml-r144#/req/metrological/disturbances {
+  name "alias: R 144 disturbances"
+  statement "Local alias of the Recommendation's disturbances requirement — the error within limits or the failure detected by the checking facility."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.5.4" }
+}
+
+requirement oiml-r144#/req/metrological/response-time {
+  name "alias: R 144 response time"
+  statement "Local alias of the Recommendation's response-time requirement — 90 % of the stable value within four minutes for a 0 % to 100 % step."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.6" }
+}
+
+requirement oiml-r144#/req/metrological/warm-up-time {
+  name "alias: R 144 warm-up time"
+  statement "Local alias of the Recommendation's warm-up-time requirement — the system meets the metrological requirements after the manufacturer-specified warm-up time."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.7" }
+}
+
+requirement oiml-r144#/req/metrological/drift {
+  name "alias: R 144 stability with time (drift)"
+  statement "Local alias of the Recommendation's drift requirement — the error within the intrinsic MPE for at least seven days from adjustment (semi-automatic adjustment means)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "4.8" }
+}
+
+requirement oiml-r144#/req/technical/gas-flow-meter {
+  name "alias: R 144 gas flow meter"
+  statement "Local alias of the Recommendation's gas-flow-meter requirement — the user can check the manufacturer-specified measuring mode."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "5.1.6" }
+}
+
+requirement oiml-r144#/req/technical/gas-flow-monitoring {
+  name "alias: R 144 gas flow monitoring"
+  statement "Local alias of the Recommendation's gas-flow-monitoring requirement — the device signals flow unavailable or outside the manufacturer-specified limits."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "5.5.2" }
+}
+
+requirement oiml-r144#/req/technical/adjustment-security {
+  name "alias: R 144 adjustment access control"
+  statement "Local alias of the Recommendation's adjustment-access requirement — zero-setting and CGM adjustment inaccessible to the operator; access by code or equivalent."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "5.7.1" }
+}
+
+# The governed twin interface aliases (TODO.v2/16 — the projection's
+# map side): the product's projection pairs name the BACKING components
+# — the endpoint and the per-register backing attributes — never the
+# serve bindings (derived from the Recommendation's twin.prl, not
+# mapped). Composition `all`: every governed element IN THE PRODUCT'S
+# MEASURAND SET must be backed. The R 144 interface is component-scoped
+# (indication_<component> per the measurand_components vocabulary):
+# this product measures CO + NOx, so indication_no and indication_no2
+# are outside its scope — governed by the Recommendation, not served
+# here, never a gap (the projection gate's scope filter).
+process oiml-r144#/twin/interface {
+  name "alias: the R 144 governed twin interface — the projection itself"
+  process oiml-r144#/twin/interface/endpoint/gas_analytical_api {
+    name "alias: the governed endpoint gas_analytical_api (rest_json: per-component indication queries, watch_op_state subscribe, the calibration/self-check invokes)"
+  }
+  process oiml-r144#/twin/interface/serve/indication_co {
+    name "alias: governed register sample.indication_co (via get_indication_co, fresh_within 5s)"
+  }
+  process oiml-r144#/twin/interface/serve/indication_no {
+    name "alias: governed register sample.indication_no (via get_indication_no, fresh_within 5s) — outside this product's measurand set"
+  }
+  process oiml-r144#/twin/interface/serve/indication_no2 {
+    name "alias: governed register sample.indication_no2 (via get_indication_no2, fresh_within 5s) — outside this product's measurand set"
+  }
+  process oiml-r144#/twin/interface/serve/indication_nox {
+    name "alias: governed register sample.indication_nox (via get_indication_nox, fresh_within 5s)"
+  }
+  process oiml-r144#/twin/interface/serve/state {
+    name "alias: governed register sample.state (via watch_op_state, fresh_within 1s)"
+  }
+  process oiml-r144#/twin/interface/serve/environmental_context {
+    name "alias: governed register sample.environmental_context (via watch_op_state, fresh_within 1s)"
+  }
+}
+
+map_profile oiml-r144 {
+  description "CGM-200 → R 144: the manufacturer's conformance claim, made computable — every conformance-relevant aspect and promise mapped to the Recommendation (doctrine ch. 15 §15.2). The metrological core plus the twin-touched technical requirements; the examination-side technical requirements are the Recommendation's own inspection program (the header's honest boundary)."
+  mapping {
+    mpe_within_co -> oiml-r144#/req/metrological/mpe-intrinsic {
+      description "The CO channel's error promise answers the intrinsic-MPE requirement."
+      justification "Same quantity, same clause definition — our error_hold_co characteristic is the quantity the error-of-indication test computes on the CO channel (R 144-2, 1.2; §15.2)."
+    }
+    mpe_within_nox -> oiml-r144#/req/metrological/mpe-intrinsic {
+      description "The NOx channel's error promise answers the intrinsic-MPE requirement."
+      justification "Same quantity on the NOx sum channel — NOx = NO + NO2 (R 144-1, 1.1/2.4 NOTE), the range and MPE inherit from the component channels."
+    }
+    repeatability_co -> oiml-r144#/req/metrological/repeatability {
+      description "The CO repeatability promise answers the repeatability requirement."
+      justification "Same characteristic — the estimated standard deviation of the 20-run series (R 144-2, 1.4), bounded by one third of the intrinsic MPE."
+    }
+    repeatability_nox -> oiml-r144#/req/metrological/repeatability {
+      description "The NOx repeatability promise answers the repeatability requirement."
+      justification "Same characteristic on the NOx channel, computed by the same test series."
+    }
+    response_time_within -> oiml-r144#/req/metrological/response-time {
+      description "The step-response promise answers the response-time requirement."
+      justification "Our step_response behavior is the behavior the standard's response-time test exercises (R 144-2, 1.20) — declared t_90 = 180 s against the 240 s limit."
+    }
+    warm_up_declared -> oiml-r144#/req/metrological/warm-up-time {
+      description "The warm-up promise answers the warm-up-time requirement."
+      justification "The manufacturer-specified 30 min warm-up is the period the requirement conditions on; the post-warm-up indications hold the verification MPE (R 144-2, 1.19)."
+    }
+    drift_within -> oiml-r144#/req/metrological/drift {
+      description "The drift promise answers the seven-day drift requirement."
+      justification "Our drift behavior is the behavior the standard's drift test exercises (R 144-2, 1.3), at the same adjustment-means applicability (semi-automatic)."
+    }
+    cross_sensitivity_within -> oiml-r144#/req/metrological/cross-sensitivity {
+      description "The cross-sensitivity promise answers the cross-sensitivity requirement."
+      justification "Our cross_sensitivity behavior is the behavior the standard's cross-sensitivity test exercises (R 144-2, 1.10), bounded by half the intrinsic MPE."
+    }
+    rated_envelope -> oiml-r144#/req/metrological/rated-conditions {
+      description "The rated-envelope promise answers the rated-operating-conditions requirement."
+      justification "The declared envelope (5…40 °C, ≤ 90 %RH, 86–106 kPa, 230 V −15 %/+10 %, 50 Hz ±2 %) is the requirement's condition tier, held at the 4.3.2 verification MPE — the requirement's own limit."
+    }
+    fault_annunciation -> oiml-r144#/req/metrological/disturbances {
+      description "The self-check promise answers the disturbances requirement."
+      justification "The checking facilities detect a significant fault and the state machine annunciates it — the detection half of the requirement's within-limits-or-detected disjunction."
+    }
+    flow_supervision -> oiml-r144#/req/technical/gas-flow-monitoring {
+      description "The flow-supervision promise answers the gas-flow-monitoring requirement."
+      justification "The self-check's flow supervision signals flow unavailable or outside the declared 0.5–3.0 L/min window — the behaviour the requirement demands."
+    }
+    adjustment_access -> oiml-r144#/req/technical/adjustment-security {
+      description "The adjustment-access promise answers the adjustment access-control requirement."
+      justification "Zero/span adjustment is code-protected on the instrument and authority-scoped on the twin endpoint — the same protection, declared in both media."
+    }
+    ppm_presentation -> oiml-r144#/req/metrological/measurement-units {
+      description "The presentation promise answers the measurement-units requirement."
+      justification "Our reference_reduction behavior is the reduction the requirement demands; the twin serves ppm at reference conditions only."
+    }
+    co_range_min -> oiml-r144#/req/metrological/measuring-range {
+      description "Our CO range lower limit is R 144's CO envelope lower bound."
+      justification "Same quantity, same clause definition (R 144-1, 4.2) — 10 ppm against the 10 ppm envelope bound."
+    }
+    co_range_max -> oiml-r144#/req/metrological/measuring-range {
+      description "Our CO range upper limit lies within R 144's CO envelope."
+      justification "Same quantity (R 144-1, 4.2) — 5000 ppm against the 20000 ppm envelope bound; a sub-range, admitted by the clause."
+    }
+    no_range_min -> oiml-r144#/req/metrological/measuring-range {
+      description "Our NO range lower limit is R 144's NO envelope lower bound."
+      justification "Same quantity (R 144-1, 4.2) — 10 ppm against the 10 ppm envelope bound."
+    }
+    no_range_max -> oiml-r144#/req/metrological/measuring-range {
+      description "Our NO range upper limit lies within R 144's NO envelope."
+      justification "Same quantity (R 144-1, 4.2) — 2000 ppm against the 5000 ppm envelope bound."
+    }
+    no2_range_min -> oiml-r144#/req/metrological/measuring-range {
+      description "Our NO2 range lower limit is R 144's NO2 envelope lower bound."
+      justification "Same quantity (R 144-1, 4.2) — 10 ppm against the 10 ppm envelope bound."
+    }
+    no2_range_max -> oiml-r144#/req/metrological/measuring-range {
+      description "Our NO2 range upper limit lies within R 144's NO2 envelope."
+      justification "Same quantity (R 144-1, 4.2) — 400 ppm against the 500 ppm envelope bound."
+    }
+    response_time -> oiml-r144#/req/metrological/response-time {
+      description "Our declared t_90 is the quantity the response-time requirement limits."
+      justification "Same quantity (R 144-1, 4.6) — the declared 180 s design value against the 240 s limit, exercised per channel by the promise above."
+    }
+    warm_up_time -> oiml-r144#/req/metrological/warm-up-time {
+      description "Our declared warm-up time is the period the warm-up requirement conditions on."
+      justification "Same quantity (R 144-1, 4.7) — the manufacturer-specified 30 min, declared in the operating manual (R 144-1, 6.2 item 4)."
+    }
+    gas_flow_rate_nominal -> oiml-r144#/req/technical/gas-flow-meter {
+      description "Our nominal flow rate is the manufacturer-specified measuring mode the user checks at the flow meter."
+      justification "Same quantity (R 144-1, 5.1.6) — 1.5 L/min, checkable by the user via the gas flow meter."
+    }
+    gas_flow_rate_min -> oiml-r144#/req/technical/gas-flow-monitoring {
+      description "Our flow window lower limit is the limit the monitoring device signals below."
+      justification "Same quantity (R 144-1, 5.5.2) — 0.5 L/min, the manufacturer-specified lower limit."
+    }
+    gas_flow_rate_max -> oiml-r144#/req/technical/gas-flow-monitoring {
+      description "Our flow window upper limit is the limit the monitoring device signals above."
+      justification "Same quantity (R 144-1, 5.5.2) — 3.0 L/min, the manufacturer-specified upper limit."
+    }
+    t_min -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our rated minimum temperature is the requirement's temperature tier lower bound."
+      justification "Same quantity (R 144-1, 4.5.1) — 5 °C, the default rated range lower limit."
+    }
+    t_max -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our rated maximum temperature is the requirement's temperature tier upper bound."
+      justification "Same quantity (R 144-1, 4.5.1) — 40 °C, the default rated range upper limit."
+    }
+    rh_max -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our rated maximum humidity is the requirement's humidity tier."
+      justification "Same quantity (R 144-1, 4.5.1) — 90 %RH at 25 °C, the default rated condition."
+    }
+    p_atm_min -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our rated minimum atmospheric pressure is the requirement's pressure tier lower bound."
+      justification "Same quantity (R 144-1, 4.5.1) — 86 kPa, the default rated range lower limit."
+    }
+    p_atm_max -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our rated maximum atmospheric pressure is the requirement's pressure tier upper bound."
+      justification "Same quantity (R 144-1, 4.5.1) — 106 kPa, the default rated range upper limit."
+    }
+    supply_voltage -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our nominal supply voltage is the requirement's supply tier (deviation −15 %/+10 %)."
+      justification "Same quantity (R 144-1, 4.5.1) — 230 V nominal, marked on the instrument (R 144-1, 5.8)."
+    }
+    supply_frequency -> oiml-r144#/req/metrological/rated-conditions {
+      description "Our nominal supply frequency is the requirement's frequency tier (±2 %)."
+      justification "Same quantity (R 144-1, 4.5.1) — 50 Hz nominal, marked on the instrument (R 144-1, 5.8)."
+    }
+    # The twin projection pairs (TODO.v2/16): the BACKING components —
+    # the endpoint and the per-register backing attributes — never the
+    # serve bindings (derived from the Recommendation's twin.prl). Scope:
+    # this product's measurand set is {co, nox}; the Recommendation's
+    # indication_no / indication_no2 registers are outside it (the scope
+    # filter's convention) and are deliberately unpaired.
+    cgm_api -> oiml-r144#/twin/interface/endpoint/gas_analytical_api {
+      description "The CGM-200's twin endpoint IS the R 144 projection surface for this measurand set: the per-component indication queries (CO, NOx), the op-state watch, and the calibration/self-check invokes — the same access scopes, the same rest_json profile — derived from the Recommendation's twin.prl, never hand-mirrored."
+      justification "The endpoint is part of the type definition (doctrine ch. 14 §14.3): the product serves exactly what the Recommendation governs for the components it measures; the full twin's richer anatomy is filtered out above this surface."
+      coverage full
+    }
+    indication_co -> oiml-r144#/twin/interface/serve/indication_co {
+      description "The exhibited CO indication attribute backs the governed register sample.indication_co, served via get_indication_co with the Recommendation's 5 s freshness."
+      justification "Same quantity, same sample scope (R 144-1, 2.4/4.1): the product's CO indication, reduced to reference conditions, is the value the projection reads."
+      coverage full
+    }
+    indication_nox -> oiml-r144#/twin/interface/serve/indication_nox {
+      description "The exhibited NOx indication attribute backs the governed register sample.indication_nox, served via get_indication_nox with the Recommendation's 5 s freshness."
+      justification "Same quantity on the NOx sum channel (R 144-1, 1.1/2.4 NOTE), reduced to reference conditions — the value the projection reads."
+      coverage full
+    }
+    cgm_api -> oiml-r144#/twin/interface/serve/state {
+      description "The endpoint's watch_op_state subscribe operation serves the governed register sample.state — the subject's has.state cgm_operational machine — with the Recommendation's 1 s freshness."
+      justification "The operational state machine is the served aspect; at component granularity the endpoint is the serving surface (the serve binding itself is derived from the Recommendation's twin.prl — the mapping names its backing component)."
+      coverage full
+    }
+    cgm_api -> oiml-r144#/twin/interface/serve/environmental_context {
+      description "The endpoint's watch_op_state subscribe operation serves the governed register sample.environmental_context — the D 11 conditions the measurement is taken under — with the Recommendation's 1 s freshness."
+      justification "The environmental context rides the same watch as the operational state (the contract's watch_op_state serves both); at component granularity the endpoint is the serving surface."
+      coverage full
+    }
+  }
+  coverage {
+    # C23 tripwires over the alias forest: the projection is computed
+    # full FOR THIS PRODUCT'S MEASURAND SET — every governed register in
+    # scope backed (the endpoint + the four serves carry their own full
+    # lines). The roll-up alias carries NO line: the calculus computes
+    # partial over the whole governed interface because indication_no /
+    # indication_no2 are unpaired — they are outside this product's
+    # declared measurand set {co, nox} (the scope convention — the
+    # twin-projection gate's, not the kernel calculus's), so `full` on
+    # the roll-up would be authored coverage, not computed.
+    oiml-r144#/twin/interface/endpoint/gas_analytical_api full
+    oiml-r144#/twin/interface/serve/indication_co full
+    oiml-r144#/twin/interface/serve/indication_nox full
+    oiml-r144#/twin/interface/serve/state full
+    oiml-r144#/twin/interface/serve/environmental_context full
+  }
+}

package/acme-cgm-200/package.primmel

@@ -0,0 +1,39 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME CGM-200 — the product reference package for R 144 territory
+# (TODO.v2/08's R 144 phase; TODO.roadmap/36; doctrine ch. 15, the model
+# supply chain). The SECOND product reference package, after acme-lc500.
+#
+# The manufacturer side of the supply chain: ACME Analytics' CGM-200
+# continuous gas monitor as a SUBJECT model (the oiml-rec methodology
+# applied by the manufacturer — full IS/HAS/DOES anatomy), with every
+# conformance-relevant aspect and promise mapped aspect-by-aspect to
+# R 144 (model/r144-map.prl). The mapping is the manufacturer's
+# conformance claim made computable: "our CO range is your 4.2 envelope;
+# our drift characteristic answers your 4.8 requirement" (§15.2).
+#
+# The package is a REFERENCE model — it states what the product is and
+# claims; it is not derived from the Recommendation and composes nothing
+# from it (no uses edge): the two are related by mapping only.
+#
+# FICTIONAL DEMONSTRATION PRODUCT. ACME Analytics GmbH is a fictional
+# demo manufacturer (the acme-lc500 demo spirit; the qms-ref/isms-ref
+# fictional doctrine): no real company, no real certificate, no real
+# type evaluation — a teaching product for the simulated-twin and
+# twin-certification work. The twin-cert program's R 144 expansion
+# (oiml-twin-cert maps_to oiml-r144, pinning this package) is a FUTURE
+# leg — deliberately not done here.
+# ─────────────────────────────────────────────────────────────────────
+package {
+  id acme-cgm-200
+  kind product_reference
+  manufacturer "ACME Analytics GmbH (fictional demonstration manufacturer)"
+  product "CGM-200"
+  title "ACME CGM-200 continuous gas monitor — product reference model (FICTIONAL demo product)"
+  version "2026"
+  editions { 2026 }
+  status current
+  validity { from 2026-03-01 }
+  maps_to { oiml-r144 }
+  default_spelling eng-Latn
+  description "ACME Analytics' CGM-200 continuous gas monitor (CO + NOx; NDIR for CO, chemiluminescence for NOx; extractive sampling, semi-automatic adjustment) as a product reference model: the full subject anatomy, the cgm_api twin endpoint with per-component indication serves, and the aspect-by-aspect mapping to OIML R 144 — the manufacturer's conformance claim made computable (TODO.v2/08; TODO.roadmap/36, doctrine ch. 15). FICTIONAL demonstration product: ACME Analytics GmbH is a demo manufacturer; every certificate and report identifier is a demo value."
+}

package/acme-cgm-system/model/cgm-system.prl

@@ -0,0 +1,125 @@
+# The composite subject (TODO.v3/03): the CGM-200 SYSTEM's own twin
+# interface. The served registers mirror the R 144 governed projection
+# verbatim (the rec governs at every level of the graph); the sampling
+# line's flow rides as composite richness (beyond the governed set — the
+# projection is the minimum, never the ceiling). The DECOMPOSITION of
+# every register to its component is the NORMATIVE composed_of
+# construct below (TODO.integration/14 — the payload/composition.yaml
+# sidecar is generated from it, never hand-edited).
+
+attribute_definition indication_co {
+  symbol "x_CO"
+  name "CO indication (composite)"
+  definition "The served live CO volume-fraction reading of the CGM-200 system — supplied by the analyzer component's projection (the decomposition), reduced to the reference conditions (273.15 K, 101.325 kPa) — R 144-1, 4.1."
+  quantity_kind volume-fraction
+  unit "ppm"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+attribute_definition indication_nox {
+  symbol "x_NOx"
+  name "NOx indication (composite)"
+  definition "The served live NOx volume-fraction reading of the CGM-200 system (the sum channel, NO + NO2) — supplied by the analyzer component's projection, reduced to the reference conditions (273.15 K, 101.325 kPa) — R 144-1, 4.1 with the 1.1/2.4 NOTE."
+  quantity_kind volume-fraction
+  unit "ppm"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+}
+
+state_machine cgm_system_operational {
+  kind operational
+  initial off
+  states { off warming_up ready measuring calibrating fault }
+  transition off -> warming_up action power_on
+  transition warming_up -> ready action warmed
+  transition ready -> measuring action start_measurement
+  transition measuring -> ready action stop_measurement
+  transition ready -> calibrating action start_adjustment
+  transition calibrating -> ready action adjustment_done
+  transition [off, warming_up, ready, measuring, calibrating] -> fault action fault_detected {
+    guard "a component serves fault — the composite's own state rule computes it (any_fault_else_analyzer, the decomposition) — R 144-1, 4.5.4 — declarative; not evaluated on fire"
+  }
+  transition fault -> off action power_off
+}
+
+behavior zero_adjustment {
+  kind procedural
+  stimulus invoke
+  response "Zero-setting against zero gas through the SYSTEM's checking facilities — the reading is brought to zero without affecting the span (R 144-1, 5.6.1 zero-setting adjustment facility); access-protected (R 144-1, 5.7.1)."
+}
+
+behavior span_adjustment {
+  kind procedural
+  stimulus invoke
+  response "Span adjustment against a certified calibration gas mixture (CGM) through the SYSTEM's checking facilities — the readings are brought into conformity with the certified volume fraction of the component (R 144-1, 5.6.1/5.6.2); access-protected (R 144-1, 5.7.1)."
+}
+
+behavior self_check {
+  kind procedural
+  stimulus invoke
+  response "The SYSTEM's checking facilities run: gas-flow supervision against the declared flow window (R 144-1, 5.5.2 — supplied by the sampling-line component), readiness and fault detection (R 144-1, 4.5.4) — a detected significant fault is annunciated: the composite state drives to fault and measurement is refused."
+}
+
+subject CGMSystem {
+  is {
+    metadata {
+      name "CGM-200 gas analytical system (composite twin)"
+      designation "CGM-200 extractive CO + NOx continuous gas monitor as a hierarchical twin — analyzer + sampling line components"
+    }
+    provenance {
+      manufacturer "ACME Analytics GmbH (fictional demonstration manufacturer)"
+      certificate "COMPOSITE — the twin certificate derives from the components' certified fidelities (the composition calculus; a declared partial state while any component is uncertified)"
+    }
+    endpoint cgm_system_api {
+      operation get_indication_co { kind query serves { indication_co } payload { quantity_kind volume-fraction unit ppm timestamp true } }
+      operation get_indication_nox { kind query serves { indication_nox } payload { quantity_kind volume-fraction unit ppm timestamp true } }
+      operation watch_op_state { kind subscribe serves { state environmental_context } payload { quantity_kind state unit dimensionless timestamp true } }
+      operation zero_calibration { kind invoke does { zero_adjustment } payload { quantity_kind adjustment_report unit dimensionless timestamp true } }
+      operation span_calibration { kind invoke does { span_adjustment } payload { quantity_kind adjustment_report unit dimensionless timestamp true } }
+      operation run_self_check { kind invoke does { self_check } payload { quantity_kind diagnostic_report unit dimensionless timestamp true } }
+      access { public { get_indication_co get_indication_nox } registered { watch_op_state } authority { zero_calibration span_calibration run_self_check } }
+      profile rest_json
+    }
+    composed_of {
+      component analyzer {
+        product acme-cgm-200@2026
+        endpoint cgm_api
+        serial "CGM200-DEMO-0001"
+        certificate null
+      }
+      component sample_line {
+        product acme-cgm-system/sample-line@2026
+        endpoint sample_line_api
+        serial "CGM200-SL-0001"
+        certificate null
+      }
+      decomposition {
+        sample.indication_co -> analyzer.indication_co
+        sample.indication_nox -> analyzer.indication_nox
+        sample.environmental_context -> analyzer.environmental_context
+        sample.test_context.flow -> sample_line.flow
+        sample.state -> rule any_fault_else_analyzer
+      }
+      revision 1
+    }
+  }
+  has {
+    attributes {}
+    dimensions { measurand_components in {co,nox} measuring_principle in {ir,chemiluminescence} sampling_approach in {extractive} }
+    state cgm_system_operational
+    serve sample.indication_co via get_indication_co { fresh_within 5s }
+    serve sample.indication_nox via get_indication_nox { fresh_within 5s }
+    serve sample.state via watch_op_state { fresh_within 1s }
+    serve sample.environmental_context via watch_op_state { fresh_within 1s }
+  }
+  does {
+    behavior zero_adjustment
+    behavior span_adjustment
+    behavior self_check
+  }
+}

package/acme-cgm-system/model/r144-map.prl

@@ -0,0 +1,75 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME CGM-200 SYSTEM → OIML R 144 — the composite's twin projection
+# pairs (TODO.v3/03 + TODO.v2/16): the composite's endpoint backs the R 144
+# governed twin interface FOR ITS MEASURAND SET {co, nox} (the scope
+# convention); the register decompositions (which component supplies each
+# register) live in payload/composition.yaml — the mapping names the
+# BACKING surfaces only.
+# ─────────────────────────────────────────────────────────────────────
+
+process oiml-r144#/twin/interface {
+  name "alias: the R 144 governed twin interface — the composite's projection itself"
+  process oiml-r144#/twin/interface/endpoint/gas_analytical_api {
+    name "alias: the governed endpoint gas_analytical_api"
+  }
+  process oiml-r144#/twin/interface/serve/indication_co {
+    name "alias: governed register sample.indication_co (via get_indication_co, fresh_within 5s)"
+  }
+  process oiml-r144#/twin/interface/serve/indication_no {
+    name "alias: governed register sample.indication_no — outside the composite's measurand set"
+  }
+  process oiml-r144#/twin/interface/serve/indication_no2 {
+    name "alias: governed register sample.indication_no2 — outside the composite's measurand set"
+  }
+  process oiml-r144#/twin/interface/serve/indication_nox {
+    name "alias: governed register sample.indication_nox (via get_indication_nox, fresh_within 5s)"
+  }
+  process oiml-r144#/twin/interface/serve/state {
+    name "alias: governed register sample.state (via watch_op_state, fresh_within 1s)"
+  }
+  process oiml-r144#/twin/interface/serve/environmental_context {
+    name "alias: governed register sample.environmental_context (via watch_op_state, fresh_within 1s)"
+  }
+}
+
+map_profile oiml-r144 {
+  description "CGM-200 SYSTEM → R 144: the composite's twin projection — the cgm_system_api endpoint serves exactly the R 144 governed interface for the composite's measurand set {co, nox} (the analyzer component's projection underneath, per payload/composition.yaml); the calibration/self-check invokes are authority-scoped as the Recommendation demands."
+  mapping {
+    cgm_system_api -> oiml-r144#/twin/interface/endpoint/gas_analytical_api {
+      description "The composite's twin endpoint IS the R 144 projection surface for this measurand set: the per-component indication queries (CO, NOx), the op-state watch, and the calibration/self-check invokes — derived from the Recommendation's twin.prl, never hand-mirrored."
+      justification "The composite serves exactly what the Recommendation governs for the components it measures; the analyzer component's projection (the acme-cgm-200 twin) supplies the registers underneath (the decomposition declaration)."
+      coverage full
+    }
+    cgm_system_api -> oiml-r144#/twin/interface/serve/indication_co {
+      description "The composite's CO indication register backs the governed register sample.indication_co (supplied by the analyzer component's projection, payload/composition.yaml), served via get_indication_co with the Recommendation's 5 s freshness."
+      justification "Same quantity (R 144-1, 2.4/4.1), reduced to reference conditions — the value the projection reads."
+      coverage full
+    }
+    cgm_system_api -> oiml-r144#/twin/interface/serve/indication_nox {
+      description "The composite's NOx indication register backs the governed register sample.indication_nox (the analyzer's sum channel), served via get_indication_nox with the Recommendation's 5 s freshness."
+      justification "Same quantity (R 144-1, 1.1/2.4 NOTE), reduced to reference conditions."
+      coverage full
+    }
+    cgm_system_api -> oiml-r144#/twin/interface/serve/state {
+      description "The composite's operational state backs the governed register sample.state — composite-own, derived by the declared rule (fault when ANY component serves fault; otherwise the analyzer's operational state), served via watch_op_state with the Recommendation's 1 s freshness."
+      justification "The composition's state rule is declared in payload/composition.yaml; at component granularity the composite endpoint is the serving surface."
+      coverage full
+    }
+    cgm_system_api -> oiml-r144#/twin/interface/serve/environmental_context {
+      description "The composite's environmental context backs the governed register sample.environmental_context (the analyzer's D 11 conditions), served via watch_op_state with the Recommendation's 1 s freshness."
+      justification "The conditions the measurement is taken under, supplied by the analyzer's projection."
+      coverage full
+    }
+  }
+  coverage {
+    # C23 tripwires — full FOR THE COMPOSITE'S MEASURAND SET {co, nox};
+    # indication_no / indication_no2 carry no lines (outside the set —
+    # the scope convention), and the roll-up is honestly unasserted (the
+    # kernel calculus computes partial over the unpaired children).
+    oiml-r144#/twin/interface/endpoint/gas_analytical_api full
+    oiml-r144#/twin/interface/serve/indication_co full
+    oiml-r144#/twin/interface/serve/indication_nox full
+    oiml-r144#/twin/interface/serve/state full
+    oiml-r144#/twin/interface/serve/environmental_context full
+  }
+}

package/acme-cgm-system/model/sample-line.prl

@@ -0,0 +1,42 @@
+# The sampling-line component (TODO.v3/03): the extractive sampling
+# subsystem as its own (small) twin — the flow register it supplies to
+# the composite, per the R 144 model's sampling attributes
+# (gas_flow_rate_* with the declared window the self-check supervises,
+# R 144-1, 5.5.2).
+
+attribute_definition flow {
+  name "Sample-line gas flow rate"
+  definition "Gas flow rate through the sampling line in the measuring mode specified by the manufacturer (R 144-1, 5.1.6), checkable by the user via the gas flow meter; supervised against the declared window (R 144-1, 5.5.2) by the analyzer's checking facilities."
+  source { doc "urn:oiml:pub:r:144-1:2013" clause "5.1.6" }
+  quantity_kind volume-flow-rate
+  unit "L/min"
+  value_type QuantityValue
+  origin measured
+  scope sample
+  category metrological
+  is_dimension false
+}
+
+subject SampleLine {
+  is {
+    metadata {
+      name "CGM-200 sampling line (component twin)"
+      designation "Extractive sampling probe + gas handling line of the CGM-200 system (R 144-1, 2.1)"
+    }
+    provenance {
+      manufacturer "ACME Analytics GmbH (fictional demonstration manufacturer)"
+      certificate "COMPONENT — certified through the composite's basis (its own certificate reference when the program covers sampling components)"
+    }
+    endpoint sample_line_api {
+      operation get_sample_flow { kind query serves { flow } payload { quantity_kind volume-flow-rate unit "L/min" timestamp true } }
+      access { public { get_sample_flow } }
+      profile rest_json
+    }
+  }
+  has {
+    attributes {
+      flow : volume-flow-rate test_dependent
+    }
+    serve sample.test_context.flow via get_sample_flow { fresh_within 5s }
+  }
+}