@oimlsmart/primmel-packages 0.1.0

package/acme-md3xx/model/r129-map.prl

@@ -0,0 +1,346 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME MD-350 → OIML R 129 — the conformance claim made computable
+# (TODO.v2/08's R 129 leg; TODO.roadmap/36; doctrine ch. 15 §15.2; the
+# acme-lc500/acme-rs180 idiom).
+#
+# 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-r129#…` 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 129 package's data tree (data/r129), 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 three per-axis error-hold
+# characteristics, the volume-consistency characteristic, and the
+# scanning/response/self-test behaviors the standard's tests exercise)
+# is reachable through one.
+#
+# The coverage audit is honest about what an OPTICAL, AUTOMATIC,
+# AC-MAINS, irregular-allowed dimensioner does not claim:
+#   - the acoustic/mechanical principle provisions and the A.4.2
+#     acoustics test — not applicable to the declared
+#     measurement_principle (optical); the applicability filters
+#     compute that from the declared dimensions;
+#   - the battery tests (R 129-2, Annex A) — AC mains;
+#   - /req/metrological/multi-interval (single scale interval),
+#     /req/technical/tare-device (no tare), /req/metrological/
+#     variation-between-indicators (a single indicating device);
+#   - the colour-, transparency-, roughness- and protrusion-specific
+#     object-limitation requirements (/req/object-limitations/
+#     surface-colour-uniform, surface-colour-non-uniform, transparency,
+#     surface-roughness, surface-protrusions) — answered by the same
+#     marked-limitations discipline as surface_robustness but NOT
+#     individually mapped this leg (named here, never silent);
+#   - the /req/software class — the firmware is sealed and audit-
+#     trailed, but the software requirements are not promised this leg;
+#   - the EMC disturbance program maps at requirement level
+#     (disturbance-resistance — the 4.3.1 umbrella the six disturbance
+#     tests target — plus no-significant-faults +
+#     checking-significant-faults), not test by test.
+# ─────────────────────────────────────────────────────────────────────
+
+requirement oiml-r129#/req/metrological/mpe {
+  name "alias: R 129 maximum permissible error"
+  statement "Local alias of the Recommendation's MPE requirement — ±1.0 d per axis for initial and subsequent verification (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:129-1:2020" clause "4.1.2" }
+}
+
+requirement oiml-r129#/req/metrological/scale-intervals-min-dimension {
+  name "alias: R 129 scale intervals and minimum dimension"
+  statement "Local alias of the Recommendation's Table 2 requirement — for d ≤ 2 cm, Min ≥ 10 d (R 129-1, 4.1.1)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.1.1" }
+}
+
+requirement oiml-r129#/req/metrological/calculated-quantities {
+  name "alias: R 129 calculated quantities"
+  statement "Local alias of the Recommendation's calculated-quantities requirement — dimensional volume and weight derived from the indicated, rounded dimensions, in mathematical agreement (R 129-1, 4.1.6)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.1.6" }
+}
+
+requirement oiml-r129#/req/electronic/rated-operating-conditions {
+  name "alias: R 129 rated operating conditions"
+  statement "Local alias of the Recommendation's rated-operating-conditions requirement — mains voltage −15 %/+10 %, the stated or default −10…+40 °C temperature envelope, 85 % RH at the upper limit (R 129-1, 4.2.1)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.2.1" }
+}
+
+requirement oiml-r129#/req/electronic/disturbance-resistance {
+  name "alias: R 129 disturbance resistance"
+  statement "Local alias of the Recommendation's disturbance-resistance requirement — under disturbances either significant faults do not occur, or they are detected and acted upon (a fault ≤ d is allowed); the umbrella the six disturbance conformance tests target (R 129-1, 4.3.1)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.3.1" }
+}
+
+requirement oiml-r129#/req/electronic/no-significant-faults {
+  name "alias: R 129 no significant faults during disturbances"
+  statement "Local alias of the Recommendation's significant-fault requirement — an undetected fault under a disturbance shall not exceed one scale interval (R 129-1, 4.3.1)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.3.1" }
+}
+
+requirement oiml-r129#/req/electronic/light-acoustic-effects {
+  name "alias: R 129 light and acoustic effects"
+  statement "Local alias of the Recommendation's light/acoustic-effects requirement — optical instruments stay within the mpe under the applicable light effects (R 129-1, 4.4)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "4.4" }
+}
+
+requirement oiml-r129#/req/object-limitations/speed-movement {
+  name "alias: R 129 speed of relative movement"
+  statement "Local alias of the Recommendation's speed-of-movement requirement — automatic instruments measure within the mpe at V_min and V_max (R 129-2, Annex A)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-2:2020" clause "A" }
+}
+
+requirement oiml-r129#/req/object-limitations/object-shape {
+  name "alias: R 129 shape of the object"
+  statement "Local alias of the Recommendation's object-shape provision — instruments restricted to rectangular boxes are so marked; an irregular-capable instrument determines the smallest enclosing rectangular box (R 129-1, A.2/5.3)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "A.2" }
+}
+
+requirement oiml-r129#/req/object-limitations/surface-reflectivity {
+  name "alias: R 129 surface reflectivity and absorption"
+  statement "Local alias of the Recommendation's surface-reflectivity provision — optical instruments measure correctly across surface finishes within the marked limitations (R 129-1, A.3.4)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "A.3.4" }
+}
+
+requirement oiml-r129#/req/object-limitations/orientation-position {
+  name "alias: R 129 orientation and position"
+  statement "Local alias of the Recommendation's orientation-and-position provision — an instrument independent of orientation measures within the mpe across orientations and positions (R 129-1, A.4)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "A.4" }
+}
+
+requirement oiml-r129#/req/technical/warm-up {
+  name "alias: R 129 warm-up period"
+  statement "Local alias of the Recommendation's warm-up requirement — indications are within the mpe as soon as results are indicated, printed, stored or transmitted after switch-on (R 129-1, 5.1.7)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "5.1.7" }
+}
+
+requirement oiml-r129#/req/technical/checking-significant-faults {
+  name "alias: R 129 acting upon significant faults"
+  statement "Local alias of the Recommendation's significant-fault reaction requirement — automatic instruments are made inoperative automatically on a detected significant fault (R 129-1, 5.6.1)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "5.6.1" }
+}
+
+requirement oiml-r129#/req/technical/limits-of-indication {
+  name "alias: R 129 limits of indication"
+  statement "Local alias of the Recommendation's limits-of-indication requirement — indication inhibited or error-marked below Min or beyond Max + 9 d per axis; measurement inhibited when the object exceeds the measuring area (R 129-1, 5.2.6)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "5.2.6" }
+}
+
+requirement oiml-r129#/req/technical/scale-interval-value {
+  name "alias: R 129 value of the scale interval"
+  statement "Local alias of the Recommendation's scale-interval-form requirement — d in the form 1, 2 or 5 × 10ⁿ (R 129-1, 5.2.4)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:129-1:2020" clause "5.2.4" }
+}
+
+# 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 must be backed. A
+# dimensioner measures all three axes by definition (R 129-1, 2.1.1), so
+# no governed register scopes out of this product's measurand set.
+process oiml-r129#/twin/interface {
+  name "alias: the R 129 governed twin interface — the projection itself"
+  process oiml-r129#/twin/interface/endpoint/dimensioner_api {
+    name "alias: the governed endpoint dimensioner_api (rest_json: the dimensions/volume/dim-weight queries, watch_state subscribe, run_self_test invoke)"
+  }
+  process oiml-r129#/twin/interface/serve/indication_length {
+    name "alias: governed register sample.indication_length (via get_dimensions, fresh_within 2s)"
+  }
+  process oiml-r129#/twin/interface/serve/indication_width {
+    name "alias: governed register sample.indication_width (via get_dimensions, fresh_within 2s)"
+  }
+  process oiml-r129#/twin/interface/serve/indication_height {
+    name "alias: governed register sample.indication_height (via get_dimensions, fresh_within 2s)"
+  }
+  process oiml-r129#/twin/interface/serve/dim_volume {
+    name "alias: governed register sample.dim_volume (via get_volume, fresh_within 2s)"
+  }
+  process oiml-r129#/twin/interface/serve/dim_weight {
+    name "alias: governed register sample.dim_weight (via get_dim_weight, fresh_within 2s)"
+  }
+  process oiml-r129#/twin/interface/serve/state {
+    name "alias: governed register sample.state (via watch_state, fresh_within 1s)"
+  }
+  process oiml-r129#/twin/interface/serve/environmental_context {
+    name "alias: governed register sample.environmental_context (via watch_state, fresh_within 1s)"
+  }
+}
+
+map_profile oiml-r129 {
+  description "MD-350 → R 129: the manufacturer's conformance claim, made computable — every conformance-relevant aspect and promise mapped to the Recommendation (doctrine ch. 15 §15.2)."
+  mapping {
+    mpe_within_length -> oiml-r129#/req/metrological/mpe {
+      description "The per-axis MPE promise (length) answers the Recommendation's MPE requirement."
+      justification "Same quantity, same clause definition — our error-hold characteristic (indication − reference dimension) is the quantity the MPE test computes, axis by axis (§15.2)."
+    }
+    mpe_within_width -> oiml-r129#/req/metrological/mpe {
+      description "The per-axis MPE promise (width) answers the Recommendation's MPE requirement."
+      justification "Same quantity, same clause definition — the width error-hold characteristic is the width-axis quantity the MPE test computes."
+    }
+    mpe_within_height -> oiml-r129#/req/metrological/mpe {
+      description "The per-axis MPE promise (height) answers the Recommendation's MPE requirement."
+      justification "Same quantity, same clause definition — the height error-hold characteristic is the height-axis quantity the MPE test computes."
+    }
+    volume_agrees -> oiml-r129#/req/metrological/calculated-quantities {
+      description "The calculated-quantities promise answers the Recommendation's calculated-quantities requirement."
+      justification "Our volume-consistency characteristic (served DV − indicated L × W × H) is exactly the mathematical agreement 4.1.6 demands; the dimensional weight applies the marked F."
+    }
+    speed_envelope -> oiml-r129#/req/object-limitations/speed-movement {
+      description "The speed-envelope promise answers the speed-of-movement requirement."
+      justification "Our speed_response behavior is the behavior the Annex A speed-of-movement test exercises — measurements at V_min and V_max within the mpe."
+    }
+    temp_envelope -> oiml-r129#/req/electronic/rated-operating-conditions {
+      description "The rated-envelope promise answers the rated-operating-conditions requirement."
+      justification "The rated range −10…+40 °C is exactly the 4.2.1(b) default envelope; the voltage and humidity tiers are the declared u_nom and the 85 % RH condition."
+    }
+    light_immunity -> oiml-r129#/req/electronic/light-acoustic-effects {
+      description "The ambient-light promise answers the light/acoustic-effects requirement."
+      justification "Our ambient_light_response behavior is the behavior the A.4.1 ambient-light test exercises, over the same 100–1500 lx range."
+    }
+    warm_up_within -> oiml-r129#/req/technical/warm-up {
+      description "The warm-up promise answers the warm-up-period requirement."
+      justification "Our warm_up behavior is the behavior 5.1.7 describes — within the mpe from the first indication, verified at 0/5/15/30 min."
+    }
+    self_check_reacts -> oiml-r129#/req/technical/checking-significant-faults {
+      description "The self-check promise answers the significant-fault reaction requirement."
+      justification "Our self_test behavior's legal outcome IS the 5.6.1 automatic-instrument reaction — made inoperative automatically on a detected significant fault."
+    }
+    fault_annunciation -> oiml-r129#/req/electronic/disturbance-resistance {
+      description "The fault-annunciation promise answers the 4.3.1 disturbance-resistance umbrella — the requirement the six disturbance conformance tests target."
+      justification "Under a disturbance the instrument either holds the fault within d or detects and acts on it — the state machine drives to fault, exactly the 4.3.1 alternative."
+    }
+    irregular_objects -> oiml-r129#/req/object-limitations/object-shape {
+      description "The irregular-capability promise answers the object-shape provision."
+      justification "Our optical_scanning behavior determines the smallest enclosing rectangular box of irregular objects — the A.2 capability, with no rectangular-only marking."
+    }
+    surface_robustness -> oiml-r129#/req/object-limitations/surface-reflectivity {
+      description "The surface-robustness promise answers the surface-reflectivity provision."
+      justification "Our optical_scanning behavior holds the mpe across surface finish (shiny white to matt black) within the marked limitations — the A.3.4 verification."
+    }
+    orientation_robustness -> oiml-r129#/req/object-limitations/orientation-position {
+      description "The orientation-robustness promise answers the orientation-and-position provision."
+      justification "Our optical_scanning behavior is orientation-independent over the measuring area — the A.4 test's several orientations and positions stay within the mpe."
+    }
+    d -> oiml-r129#/req/technical/scale-interval-value {
+      description "Our scale interval (0.5 cm) is in the form 5 × 10ⁿ."
+      justification "0.5 cm = 5 × 10⁻¹ cm — the 1/2/5 × 10ⁿ form 5.2.4 mandates."
+    }
+    min_dimension -> oiml-r129#/req/metrological/scale-intervals-min-dimension {
+      description "Our Min (5 cm) satisfies the Table 2 tier for d ≤ 2 cm."
+      justification "Min = 5 cm = 10 d with d = 0.5 cm ≤ 2 cm — exactly the Min ≥ 10 d bound of 4.1.1."
+    }
+    max_length -> oiml-r129#/req/technical/limits-of-indication {
+      description "Our stated maximum length (250 cm) is the Max of the limits-of-indication requirement."
+      justification "The 5.2.6 inhibition/error rule beyond Max + 9 d is verified against this stated Max."
+    }
+    max_width -> oiml-r129#/req/technical/limits-of-indication {
+      description "Our stated maximum width (120 cm) is the width-axis Max of the limits-of-indication requirement."
+      justification "The 5.2.6 inhibition/error rule beyond Max + 9 d is verified against this stated Max."
+    }
+    max_height -> oiml-r129#/req/technical/limits-of-indication {
+      description "Our stated maximum height (180 cm) is the height-axis Max of the limits-of-indication requirement."
+      justification "The 5.2.6 inhibition/error rule beyond Max + 9 d is verified against this stated Max."
+    }
+    v_min -> oiml-r129#/req/object-limitations/speed-movement {
+      description "Our V_min (0.1 m/s) is the lower bound of the speed-of-movement verification."
+      justification "The Annex A test verifies at the instrument's stated V_min — this declared value."
+    }
+    v_max -> oiml-r129#/req/object-limitations/speed-movement {
+      description "Our V_max (1.5 m/s) is the upper bound of the speed-of-movement verification."
+      justification "The Annex A test verifies at the instrument's stated V_max — this declared value."
+    }
+    t_min -> oiml-r129#/req/electronic/rated-operating-conditions {
+      description "Our lower temperature limit (−10 °C) is the 4.2.1(b) default lower bound."
+      justification "Same quantity — the stated lower limit of the rated temperature range."
+    }
+    t_max -> oiml-r129#/req/electronic/rated-operating-conditions {
+      description "Our upper temperature limit (+40 °C) is the 4.2.1(b) default upper bound, where 85 % RH applies."
+      justification "Same quantity — the stated upper limit of the rated temperature range; the humidity tier anchors at it."
+    }
+    u_nom -> oiml-r129#/req/electronic/rated-operating-conditions {
+      description "Our nominal mains voltage (230 V) is the reference of the 4.2.1(a) −15 %/+10 % variation."
+      justification "Same quantity — the rated voltage the variation percentages apply to."
+    }
+    conv_factor -> oiml-r129#/req/metrological/calculated-quantities {
+      description "Our marked conversion factor (5000 cm³/kg) is the F of the dimensional-weight calculation."
+      justification "DW = DV / F is the 4.1.6 calculated quantity — derived from the indicated dimensions and in mathematical agreement."
+    }
+    # 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). No
+    # scope-outs: a dimensioner measures all three axes by definition.
+    md350_api -> oiml-r129#/twin/interface/endpoint/dimensioner_api {
+      description "The MD-350's twin endpoint IS the R 129 projection surface: the per-axis dimensions query, the derived-quantity queries, the state watch, and the self-test invoke — 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; the full twin's richer anatomy is filtered out above this surface."
+      coverage full
+    }
+    indication_length -> oiml-r129#/twin/interface/serve/indication_length {
+      description "The exhibited length indication attribute backs the governed register sample.indication_length, served via get_dimensions with the Recommendation's 2 s freshness."
+      justification "Same quantity, same sample scope (R 129-1, 2.2.3): the product's indicated length L of the smallest enclosing rectangular box is the value the projection reads."
+      coverage full
+    }
+    indication_width -> oiml-r129#/twin/interface/serve/indication_width {
+      description "The exhibited width indication attribute backs the governed register sample.indication_width, served via get_dimensions with the Recommendation's 2 s freshness."
+      justification "Same quantity, same sample scope (R 129-1, 2.2.3): the product's indicated width W is the value the projection reads."
+      coverage full
+    }
+    indication_height -> oiml-r129#/twin/interface/serve/indication_height {
+      description "The exhibited height indication attribute backs the governed register sample.indication_height, served via get_dimensions with the Recommendation's 2 s freshness."
+      justification "Same quantity, same sample scope (R 129-1, 2.2.3): the product's indicated height H is the value the projection reads."
+      coverage full
+    }
+    dim_volume -> oiml-r129#/twin/interface/serve/dim_volume {
+      description "The exhibited dimensional-volume attribute backs the governed register sample.dim_volume, served via get_volume with the Recommendation's 2 s freshness."
+      justification "Same quantity (R 129-1, 2.2.4): the product of the indicated measured dimensions, in mathematical agreement with L × W × H (4.1.6) — the value the projection reads."
+      coverage full
+    }
+    dim_weight -> oiml-r129#/twin/interface/serve/dim_weight {
+      description "The exhibited dimensional-weight attribute backs the governed register sample.dim_weight, served via get_dim_weight with the Recommendation's 2 s freshness."
+      justification "Same quantity (R 129-1, 2.2.7): DW = DV / F with the marked conversion factor — the value the projection reads."
+      coverage full
+    }
+    md350_api -> oiml-r129#/twin/interface/serve/state {
+      description "The endpoint's watch_state subscribe operation serves the governed register sample.state — the subject's has.state md_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
+    }
+    md350_api -> oiml-r129#/twin/interface/serve/environmental_context {
+      description "The endpoint's watch_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_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 — every governed register backed, the interface aggregating
+    # (composition all). A dimensioner measures all three axes by
+    # definition, so no register scopes out; a dropped pair fails the
+    # calculus here, loudly.
+    oiml-r129#/twin/interface full
+    oiml-r129#/twin/interface/endpoint/dimensioner_api full
+    oiml-r129#/twin/interface/serve/indication_length full
+    oiml-r129#/twin/interface/serve/indication_width full
+    oiml-r129#/twin/interface/serve/indication_height full
+    oiml-r129#/twin/interface/serve/dim_volume full
+    oiml-r129#/twin/interface/serve/dim_weight full
+    oiml-r129#/twin/interface/serve/state full
+    oiml-r129#/twin/interface/serve/environmental_context full
+  }
+}

package/acme-md3xx/package.primmel

@@ -0,0 +1,49 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME MD-350 — the product reference package (TODO.roadmap/36; doctrine
+# ch. 15, the model supply chain; the acme-lc500/acme-rs180 pattern
+# applied to R 129 territory — the R 129 leg of TODO.v2/08's instrument-
+# library expansion).
+#
+# *** FICTIONAL DEMO MANUFACTURER — NO REAL PRODUCT. ***
+# "ACME Logistics Systems GmbH" is an invented company (the qms-ref/
+# isms-ref/acme-lc500 demo spirit); the MD-350 is an invented reference
+# multi-dimensional measuring instrument. Every value below is plausible
+# demo content, not a real instrument's data sheet.
+#
+# The manufacturer side of the supply chain: ACME's MD-350 conveyor
+# dimensioner model 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 129 (model/r129-map.prl). The mapping is the manufacturer's
+# conformance claim made computable: "our d is your scale interval; our
+# error-hold characteristics answer your MPE requirement; our scanning
+# behavior answers your object-limitation provisions" (§15.2). R 129 is
+# DIMENSIONAL measurement (length/width/height of the smallest enclosing
+# rectangular box → dimensional volume and weight for postage, freight
+# or storage charges) — never weighing, never level gauging.
+#
+# 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. Consumers
+# use it in the §15.3 modes (abstract import version-pinned per C83;
+# live integration over the declared endpoint — the sim-instruments
+# twin-schema generator reads the serve declarations IN PLACE, never
+# copied, via the .prl adapter, the acme-rs180 handshake precedent).
+#
+# The twin-cert program's R 129 expansion (oiml-twin-cert maps_to
+# oiml-r60 today) is a SEPARATE leg — not this package.
+# ─────────────────────────────────────────────────────────────────────
+package {
+  id acme-md3xx
+  kind product_reference
+  manufacturer "ACME Logistics Systems GmbH (FICTIONAL — demo manufacturer)"
+  product "MD-350"
+  title "ACME MD-350 multi-dimensional measuring instrument — product reference model (FICTIONAL demo)"
+  version "2026"
+  editions { 2026 }
+  status current
+  validity { from 2026-07-01 }
+  maps_to { oiml-r129 }
+  default_spelling eng-Latn
+  description "ACME's MD-350 optical automatic conveyor dimensioner (light-section scanning; irregular-shaped objects allowed; AC mains; d = 0.5 cm; V_min…V_max 0.1–1.5 m/s; −10…+40 °C) as a product reference model: the full subject anatomy, the md350_api twin endpoint, and the aspect-by-aspect mapping to OIML R 129 — the manufacturer's conformance claim made computable (TODO.roadmap/36, doctrine ch. 15). FICTIONAL demo manufacturer, clearly marked."
+}

package/acme-rs180/model/r91-map.prl

@@ -0,0 +1,234 @@
+# ─────────────────────────────────────────────────────────────────────
+# ACME RS-180 → OIML R 91 — the conformance claim made computable
+# (TODO.roadmap/36; doctrine ch. 15 §15.2; the acme-lc500 idiom).
+#
+# 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-r91#…` 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 91 package's data tree (data/r91), 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 error/linearity
+# characteristics and the emission/self-test behaviors the standard's
+# tests exercise) is reachable through one.
+#
+# The coverage audit is honest about what a STATIONARY product does not
+# claim: the moving-meter requirements (/req/category-moving/*, ego
+# speed, A/B classes) and the other working-principle classes
+# (range-finding, fixed-distance, image-based, average-speed,
+# across-the-road) are NOT mapped — they do not apply to this product's
+# declared categories (R 91-1, clause 5), and a map entry would be a
+# brochure claim.
+# ─────────────────────────────────────────────────────────────────────
+
+requirement oiml-r91#/req/metrological/measuring-intervals {
+  name "alias: R 91 measuring intervals"
+  statement "Local alias of the Recommendation's measuring-intervals requirement — the speed interval shall cover at least 20–180 km/h (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:91-1:2025" clause "6.1" }
+}
+
+requirement oiml-r91#/req/metrological/indicated-speed {
+  name "alias: R 91 indicated speed value"
+  statement "Local alias of the Recommendation's indicated-speed requirement — integer km/h indications (R 91-1, 6.2)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.2" }
+}
+
+requirement oiml-r91#/req/metrological/mpe-stationary {
+  name "alias: R 91 MPE for stationary measurements"
+  statement "Local alias of the Recommendation's stationary-MPE requirement — ±3 km/h ≤ 100 km/h, ±3 % above (R 91-1, 6.4)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.4" }
+}
+
+requirement oiml-r91#/req/metrological/linearity-limit {
+  name "alias: R 91 linearity error limit"
+  statement "Local alias of the Recommendation's linearity-limit requirement — ±1 km/h ≤ 100 km/h, ±1 % above, on the high-resolution value (R 91-1, 6.5)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.5" }
+}
+
+requirement oiml-r91#/req/metrological/vehicle-identification {
+  name "alias: R 91 certainty of vehicle identification"
+  statement "Local alias of the Recommendation's vehicle-identification requirement — the measured speed cannot be attributed to the wrong vehicle within the specified detection field (R 91-1, 6.6)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.6" }
+}
+
+requirement oiml-r91#/req/metrological/operating-conditions-minimum {
+  name "alias: R 91 minimum rated operating conditions"
+  statement "Local alias of the Recommendation's minimum rated operating conditions — the Table 1 envelope (temperature −10…+50 °C operating, −25…+70 °C storage) (R 91-1, 6.16)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.16" }
+}
+
+requirement oiml-r91#/req/metrological/disturbances {
+  name "alias: R 91 disturbances — fault limit and reaction"
+  statement "Local alias of the Recommendation's disturbances requirement — fault within the fault limit or the checking facilities prevent the measurement; no result displayed, no evidence file (R 91-1, 6.18)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.18" }
+}
+
+requirement oiml-r91#/req/category-doppler-radar/frequency-spectrum {
+  name "alias: R 91 Doppler-radar frequency spectrum"
+  statement "Local alias of the Recommendation's frequency-spectrum requirement for Doppler-radar speed meters (R 91-1, 6.10)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.10" }
+}
+
+requirement oiml-r91#/req/category-doppler-radar/spectrum-stability {
+  name "alias: R 91 Doppler-radar spectrum stability"
+  statement "Local alias of the Recommendation's spectrum-stability requirement — frequency peaks drift ≤ ±0.2 % within 2 years (R 91-1, 6.10)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.10" }
+}
+
+requirement oiml-r91#/req/category-doppler-radar/beam-width {
+  name "alias: R 91 Doppler-radar beam width"
+  statement "Local alias of the Recommendation's beam-width requirement — horizontal/vertical beam widths within ±10 % of rated values (R 91-1, 6.10)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.10" }
+}
+
+requirement oiml-r91#/req/category-doppler-radar/side-lobe {
+  name "alias: R 91 Doppler-radar side lobe limit"
+  statement "Local alias of the Recommendation's side-lobe requirement — a secondary beam ≤ −20 dB relative to the main beam, never used for measurement (R 91-1, 6.10)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "6.10" }
+}
+
+requirement oiml-r91#/req/technical/checking-facilities {
+  name "alias: R 91 checking facilities (self-check)"
+  statement "Local alias of the Recommendation's self-check requirement — an independent frequency source over the whole measurement chain, ±1 % of the simulated speed; on a detected fault, an error message and inhibited measurements (R 91-1, 7.5)."
+  verification { method examination description "Verified in the Recommendation's own type evaluation program." }
+  source { doc "urn:oiml:pub:r:91-1:2025" clause "7.5" }
+}
+
+# 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 must be backed.
+process oiml-r91#/twin/interface {
+  name "alias: the R 91 governed twin interface — the projection itself"
+  process oiml-r91#/twin/interface/endpoint/radar_api {
+    name "alias: the governed endpoint radar_api (rest_json: get_indication query, watch_state subscribe, run_self_test invoke)"
+  }
+  process oiml-r91#/twin/interface/serve/indication {
+    name "alias: governed register sample.indication (via get_indication, fresh_within 5s)"
+  }
+  process oiml-r91#/twin/interface/serve/state {
+    name "alias: governed register sample.state (via watch_state, fresh_within 1s)"
+  }
+  process oiml-r91#/twin/interface/serve/environmental_context {
+    name "alias: governed register sample.environmental_context (via watch_state, fresh_within 1s)"
+  }
+}
+
+map_profile oiml-r91 {
+  description "RS-180 → R 91: the manufacturer's conformance claim, made computable — every conformance-relevant aspect and promise mapped to the Recommendation (doctrine ch. 15 §15.2)."
+  mapping {
+    mpe_within -> oiml-r91#/req/metrological/mpe-stationary {
+      description "The stationary-MPE promise answers the Recommendation's stationary MPE requirement."
+      justification "Same quantity, same clause definition — our error-hold characteristic (indication − reference speed) is the quantity the stationary field/simulation tests compute (§15.2)."
+    }
+    linearity_within -> oiml-r91#/req/metrological/linearity-limit {
+      description "The linearity promise answers the linearity error limit."
+      justification "Our high-resolution error characteristic is the quantity R 91-1, 6.5 computes over the high-resolution value (6.3)."
+    }
+    temp_envelope -> oiml-r91#/req/metrological/operating-conditions-minimum {
+      description "The rated temperature envelope satisfies the Recommendation's minimum rated operating conditions."
+      justification "The rated range −10…+50 °C operating / −25…+70 °C storage is exactly the Table 1 minimum envelope the requirement admits."
+    }
+    spectrum_holds -> oiml-r91#/req/category-doppler-radar/frequency-spectrum {
+      description "The in-band emission promise answers the Doppler-radar frequency-spectrum requirement."
+      justification "Our radar_emission behavior is the behavior the spectrum test exercises, over the same specified band (24.125 GHz)."
+    }
+    spectrum_stable_2y -> oiml-r91#/req/category-doppler-radar/spectrum-stability {
+      description "The 2-year stability promise answers the spectrum-stability requirement."
+      justification "Same quantity (peak drift), same limit (±0.2 % over 2 years) — our 0.1 % design budget sits inside it."
+    }
+    side_lobe_guard -> oiml-r91#/req/category-doppler-radar/side-lobe {
+      description "The side-lobe promise answers the side-lobe limit."
+      justification "Same quantity and limit (−20 dB, never used for measurement) — our −24 dB design value carries margin."
+    }
+    self_check_within -> oiml-r91#/req/technical/checking-facilities {
+      description "The self-check promise answers the checking-facilities requirement."
+      justification "Our self_test behavior IS the checking facility of R 91-1, 7.5: an independent frequency source over the whole measurement chain, judged at ±1 % of the simulated speed."
+    }
+    fault_annunciation -> oiml-r91#/req/metrological/disturbances {
+      description "The fault-annunciation promise answers the disturbances requirement's reaction alternative."
+      justification "On a significant fault the instrument displays no result, produces no evidence file and drives its state to fault — exactly the 6.18.4 reaction the requirement demands."
+    }
+    v_min_range -> oiml-r91#/req/metrological/measuring-intervals {
+      description "Our interval minimum (20 km/h) is R 91's lower bound."
+      justification "Same quantity, same clause definition — 20 km/h satisfies the ≤ 20 km/h bound of 6.1."
+    }
+    v_max_range -> oiml-r91#/req/metrological/measuring-intervals {
+      description "Our interval maximum (180 km/h) is R 91's upper bound."
+      justification "Same quantity, same clause definition — 180 km/h satisfies the ≥ 180 km/h bound of 6.1."
+    }
+    speed_res -> oiml-r91#/req/metrological/indicated-speed {
+      description "Our 1 km/h indication resolution answers the indicated-speed requirement."
+      justification "The served indication is an integer km/h value — the resolution 6.2 mandates for legal proceedings."
+    }
+    d_max_ident -> oiml-r91#/req/metrological/vehicle-identification {
+      description "Our stated maximum identification distance (600 m) is the envelope within which certain vehicle identification holds."
+      justification "The 6.17.b manufacturer-stated distance is the detection-field bound the 6.6 certain-identification requirement is verified against."
+    }
+    f_band -> oiml-r91#/req/category-doppler-radar/frequency-spectrum {
+      description "Our specified frequency band (24.125 GHz) is the band the spectrum requirement verifies against."
+      justification "The family-level stated band is the reference value of the 6.10 spectrum test — stated once, verified against itself."
+    }
+    bw_h -> oiml-r91#/req/category-doppler-radar/beam-width {
+      description "Our rated horizontal beam width (12°) is the rated value of the beam-width requirement."
+      justification "Same quantity — the requirement verifies the exhibited width stays within ±10 % of this rated value."
+    }
+    bw_v -> oiml-r91#/req/category-doppler-radar/beam-width {
+      description "Our rated vertical beam width (6°) is the rated value of the beam-width requirement."
+      justification "Same quantity — the requirement verifies the exhibited width stays within ±10 % of this rated value."
+    }
+    # 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). No
+    # scope-outs: the stationary Doppler-radar product serves every
+    # register the Recommendation's interface governs.
+    rs180_api -> oiml-r91#/twin/interface/endpoint/radar_api {
+      description "The RS-180's twin endpoint IS the R 91 projection surface: the indication query, the state watch, and the self-test invoke — 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; the full twin's richer anatomy is filtered out above this surface."
+      coverage full
+    }
+    indication -> oiml-r91#/twin/interface/serve/indication {
+      description "The exhibited live indication attribute backs the governed register sample.indication, served via get_indication with the Recommendation's 5 s freshness."
+      justification "Same quantity, same sample scope (R 91-1, 6.2): the product's integer km/h live indication is the value the projection reads — the live register, distinct from the test-record indicated_speed."
+      coverage full
+    }
+    rs180_api -> oiml-r91#/twin/interface/serve/state {
+      description "The endpoint's watch_state subscribe operation serves the governed register sample.state — the subject's has.state rs_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
+    }
+    rs180_api -> oiml-r91#/twin/interface/serve/environmental_context {
+      description "The endpoint's watch_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_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 — every governed register backed, the interface aggregating
+    # (composition all). No scope-outs for a stationary Doppler-radar
+    # product; a dropped pair fails the calculus here, loudly.
+    oiml-r91#/twin/interface full
+    oiml-r91#/twin/interface/endpoint/radar_api full
+    oiml-r91#/twin/interface/serve/indication full
+    oiml-r91#/twin/interface/serve/state full
+    oiml-r91#/twin/interface/serve/environmental_context full
+  }
+}