@oimlsmart/primmel-packages 0.1.0

package/oiml-r91/specification/symbols.prl

@@ -0,0 +1,323 @@
+symbol v {
+  name "Indicated speed"
+  definition "Indicated speed of measured vehicle"
+  type number
+  unit "km/h"
+  latex "v"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol v_ego {
+  name "EGO speed"
+  definition "EGO speed of speed meter, when the speed meter is installed in a vehicle"
+  type number
+  unit "km/h"
+  latex "v_EGO"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol v_ref {
+  name "Reference speed"
+  definition "Reference measured speed by reference speed meter or simulator"
+  type number
+  unit "km/h"
+  latex "v_ref"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol v_hr {
+  name "High-resolution speed value"
+  definition "Speed value with further decimal digits, read via the test interface or in test mode; governs linearity, influence-factor and disturbance tests (R 91-1, 6.2/6.3)"
+  type number
+  unit "km/h"
+  latex "v_hr"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.3"
+}
+
+symbol dv {
+  name "Speed error"
+  definition "Absolute difference between v and v_ref"
+  type number
+  unit "km/h"
+  latex "Δv"
+  kind formula
+  quantity_kind speed
+  origin derived
+  calculation speedError
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+  formula {
+    display "Δv = |v − v_ref|"
+    expression "abs(v - v_ref)"
+    inputs { v v_ref }
+  }
+}
+
+symbol mpe {
+  name "Maximum permissible error"
+  definition "Maximum permissible error for the applicable measurement context and class"
+  type number
+  unit "km/h"
+  latex "MPE"
+  kind formula
+  quantity_kind speed
+  origin lookup
+  calculation lookupMPE
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol n {
+  name "Number of measurements"
+  definition "Constant number of performed measurements; minimum counts per test context per R 91-2 (see tables.yaml measurement_counts)"
+  type integer
+  latex "N"
+  kind attribute
+  origin declared
+  attribute measurement_count
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol a_ref {
+  name "Reference acceleration"
+  definition "Acceleration for dynamic performance test"
+  type number
+  unit "m/s2"
+  latex "a_ref"
+  kind observable
+  quantity_kind acceleration
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol d {
+  name "Distance to vehicle"
+  definition "Distance to vehicle for linearity test"
+  type number
+  unit "m"
+  latex "d"
+  kind observable
+  quantity_kind length
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol alpha {
+  name "Angle to vehicle"
+  definition "Angle to vehicle for linearity test"
+  type number
+  unit "deg"
+  latex "α"
+  kind observable
+  quantity_kind angle
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1"
+}
+
+symbol alpha_ref {
+  name "Reference angle"
+  definition "Reference angle measured by reference equipment for the angle linearity test (R 91-2, 5.6)"
+  type number
+  unit "deg"
+  latex "α_ref"
+  kind observable
+  quantity_kind angle
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.6"
+}
+
+symbol angle_error {
+  name "Angle error"
+  definition "Absolute difference between the indicated angle and the reference angle (R 91-2, 5.6)"
+  type number
+  unit "deg"
+  latex "Δα"
+  kind formula
+  quantity_kind angle
+  origin derived
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.6"
+  formula {
+    display "Δα = |α − α_ref|"
+    expression "abs(alpha - alpha_ref)"
+    inputs { alpha alpha_ref }
+  }
+}
+
+symbol angle_limit {
+  name "Angle error limit"
+  definition "Maximum permissible angle error, declared by the manufacturer (R 91-2, 5.6 leaves the error limits to the manufacturer)"
+  type number
+  unit "deg"
+  latex "Δα_max"
+  kind observable
+  quantity_kind angle
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.6"
+}
+
+symbol d_ref {
+  name "Reference distance"
+  definition "Reference distance measured by reference equipment for the distance linearity test"
+  type number
+  unit "m"
+  latex "d_ref"
+  kind observable
+  quantity_kind length
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.5"
+}
+
+symbol distance_error {
+  name "Distance error"
+  definition "Absolute difference between the indicated distance and the reference distance"
+  type number
+  unit "m"
+  latex "Δd"
+  kind formula
+  quantity_kind length
+  origin derived
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.5"
+  formula {
+    display "Δd = |d − d_ref|"
+    expression "abs(d - d_ref)"
+    inputs { d d_ref }
+  }
+}
+
+symbol distance_limit {
+  name "Distance error limit"
+  definition "Maximum permissible distance error, declared by the manufacturer (R 91-2, 5.5 leaves the limit to the manufacturer)"
+  type number
+  unit "m"
+  latex "Δd_max"
+  kind observable
+  quantity_kind length
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-5.5"
+}
+
+symbol ego_error {
+  name "Ego speed error"
+  definition "Absolute difference between the ego speed indication and the reference speed, used for ego speed meter metrological controls (R 91-1, 6.15.3)"
+  type number
+  unit "km/h"
+  latex "Δv_EGO"
+  kind formula
+  quantity_kind speed
+  origin derived
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.15.3"
+  formula {
+    display "Δv_EGO = |v_EGO − v_ref|"
+    expression "abs(v_ego - v_ref)"
+    inputs { v_ego v_ref }
+  }
+}
+
+symbol documentation_present {
+  name "Documentation present"
+  definition "Inspection evidence that the required documentation is present and complete"
+  type boolean
+  latex "doc_ok"
+  kind observable
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-3"
+}
+
+symbol markings_conform {
+  name "Markings conform"
+  definition "Inspection evidence that markings and inscriptions conform to the requirements"
+  type boolean
+  latex "mark_ok"
+  kind observable
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-2:2025#clause-3"
+}
+
+symbol evidence_file_complete {
+  name "Evidence file complete"
+  definition "Inspection evidence that the evidence file contains all required items (R 91-1, 6.6)"
+  type boolean
+  latex "ef_ok"
+  kind observable
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.6"
+}
+
+symbol detection_field_gated {
+  name "Detection field gating verified"
+  definition "Inspection evidence that measurements outside the detection field are prevented (R 91-1, 6.6)"
+  type boolean
+  latex "df_ok"
+  kind observable
+  origin declared
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.6"
+}
+
+symbol fault {
+  name "Fault (significant fault)"
+  definition "Error of the high-resolution speed value during a disturbance or influence test, judged against the fault limit value (R 91-1, 6.18.1)"
+  type number
+  unit "km/h"
+  latex "Δv_f"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.18.1"
+}
+
+symbol dv_hr {
+  name "Speed error (high-resolution)"
+  definition "Absolute difference between the high-resolution EUT speed value and the reference speed; governs linearity, influence-factor and disturbance tests (R 91-1, 6.3, 6.5)"
+  type number
+  unit "km/h"
+  latex "Δv_hr"
+  kind formula
+  quantity_kind speed
+  origin derived
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-6.5"
+  formula {
+    display "Δv_hr = |v_hr − v_ref|"
+    expression "abs(high_res_speed - reference_speed)"
+    inputs { high_res_speed reference_speed }
+  }
+}
+
+symbol simulated_speed {
+  name "Simulated speed"
+  definition "Simulated speed value produced by the checking facility's independent frequency source during self-check (R 91-1, 7.5)"
+  type number
+  unit "km/h"
+  latex "v_sim"
+  kind observable
+  quantity_kind speed
+  origin measured
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.5"
+}
+
+symbol self_check_error {
+  name "Self-check error"
+  definition "Difference between the indicated and simulated speed during self-check; limited to ±1 % of the simulated speed for all values (R 91-1, 7.5)"
+  type number
+  unit "km/h"
+  latex "Δv_sc"
+  kind formula
+  quantity_kind speed
+  origin derived
+  ref derives-from "urn:oiml:pub:r:91-1:2025#clause-7.5"
+  formula {
+    display "Δv_sc = v_indicated − v_sim"
+    expression "indicated_speed - simulated_speed"
+    inputs { indicated_speed simulated_speed }
+  }
+}
+

package/oiml-r91/specification/tables.prl

@@ -0,0 +1,136 @@
+table mpe_stationary {
+  description "MPE for stationary measurements (R 91-1, 6.4)"
+  columns {
+    speed_min: number "km/h"
+    speed_max: number "km/h"
+    mpe_factor: number
+    mode: string
+  }
+  data {
+    0 100 3 "absolute"
+    100 null 0.03 "relative"
+  }
+}
+
+table mpe_linearity {
+  description "Linearity error limit (R 91-1, 6.5)"
+  columns {
+    speed_min: number "km/h"
+    speed_max: number "km/h"
+    limit_factor: number
+    mode: string
+  }
+  data {
+    0 100 1 "absolute"
+    100 null 0.01 "relative"
+  }
+}
+
+table mpe_moving {
+  description "MPE for moving measurements per class (R 91-1, 6.15.1)"
+  columns {
+    metrological_class: string
+    speed_min: number "km/h"
+    speed_max: number "km/h"
+    mpe_factor: number
+    mode: string
+  }
+  data {
+    "A" 0 100 3 "absolute"
+    "A" 100 null 0.03 "relative"
+    "B" 0 100 7 "absolute"
+    "B" 100 null 0.07 "relative"
+  }
+}
+
+table mpe_ego {
+  description "MPE for ego speed measurements (R 91-1, 6.15.3)"
+  columns {
+    speed_min: number "km/h"
+    speed_max: number "km/h"
+    mpe_factor: number
+    mode: string
+  }
+  data {
+    0 100 1 "absolute"
+    100 null 0.01 "relative"
+  }
+}
+
+table measurement_counts {
+  description "Minimum valid measurement counts per test context (normative: R 91-2, 4.4 / 5.3 / 7.7.1 / 5.4–5.6 / 6.3)"
+  columns {
+    context: string
+    min_count: integer
+    clause: string
+    note: string
+  }
+  data {
+    "field_automatic" 500 "4.4" "metrological field test, automatic measurements; lower only with statistical justification"
+    "field_manual" 100 "4.4" "metrological field test, manual measurements"
+    "dynamic_performance" 500 "5.3" "dynamic performance test (simulation), same statistics as field test"
+    "moving_field" 200 "7.7.1" "moving metrological field test, real traffic"
+    "linearity" 10 "5.4-5.6" "speed/distance/angle linearity test values"
+    "simulator_velocities" 10 "6.3" "velocity values the traffic simulator must simulate"
+  }
+  overrides {
+    field_automatic { condition statistical_analysis by evaluator }
+    field_manual { condition statistical_analysis by evaluator }
+  }
+  source_discrepancy {
+    summary "R 91-3 symbol gloss (N — typical value 500, 50 or 5) contradicts the R 91-2 normative minimums below (no context admits 50 or 5)"
+    sources { "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes" "urn:oiml:pub:r:91-3:2025#clause-explanatory-notes/table-1" "urn:oiml:pub:r:91-2:2025#clause-4.4" }
+    resolution follows_clause_x
+    rationale "The model follows R 91-2's normative test clauses (4.4 ≥500 automatic / ≥100 manual field measurements, 5.3 ≥500 dynamic performance, 7.7.1 ≥200 moving field, 5.4–5.6 ≥10 linearity values, 6.3 ≥10 simulator velocities); a normative minimum overrides an informative symbol gloss. Whether the gloss is OCR corruption of the preview PDF or an editorial inconsistency in published R 91-3 must be verified against the official document. See analysis/deep-audit-r91.md R4."
+  }
+}
+
+table uncertainty_budgets {
+  description "Reference-equipment expanded-uncertainty budgets U(k=2) (normative: R 91-2, 4.5 / 5.2 / 7.7.1 / 7.7.2)"
+  columns {
+    equipment: string
+    speed_min: number "km/h"
+    speed_max: number "km/h"
+    budget_factor: number
+    mode: string
+    clause: string
+  }
+  data {
+    "reference_field_meter" 0 100 0.6 "absolute" "4.5"
+    "reference_field_meter" 100 null 0.006 "relative" "4.5"
+    "simulator" 0 100 0.2 "absolute" "5.2"
+    "simulator" 100 null 0.002 "relative" "5.2"
+    "moving_field_reference" 0 100 1 "absolute" "7.7.1"
+    "moving_field_reference" 100 null 0.01 "relative" "7.7.1"
+    "ego_reference" 0 100 0.2 "absolute" "7.7.2"
+    "ego_reference" 100 null 0.002 "relative" "7.7.2"
+  }
+}
+
+table profiles {
+  title "Per-dimension value bindings"
+  profiles {
+    profile mpe_tiers {
+      description "MPE tier bindings per measurement context and moving class (see header for tier mode semantics)"
+      dimension metrological_class
+      unit "km/h"
+      binding {
+        stationary: [{ min: 0 max: 100 factor: 3 mode: "absolute" } { min: 100 factor: 0.03 mode: "relative" }]
+        linearity: [{ min: 0 max: 100 factor: 1 mode: "absolute" } { min: 100 factor: 0.01 mode: "relative" }]
+        ego: [{ min: 0 max: 100 factor: 1 mode: "absolute" } { min: 100 factor: 0.01 mode: "relative" }]
+        A: [{ min: 0 max: 100 factor: 3 mode: "absolute" } { min: 100 factor: 0.03 mode: "relative" }]
+        B: [{ min: 0 max: 100 factor: 7 mode: "absolute" } { min: 100 factor: 0.07 mode: "relative" }]
+      }
+    }
+    profile uncertainty_budgets {
+      description "Reference-equipment expanded-uncertainty budgets U(k=2), keyed by equipment role (R 91-2, 4.5 / 5.2 / 7.7.1 / 7.7.2)"
+      unit "km/h"
+      binding {
+        reference_field_meter: [{ min: 0 max: 100 factor: 0.6 mode: "absolute" } { min: 100 factor: 0.006 mode: "relative" }]
+        simulator: [{ min: 0 max: 100 factor: 0.2 mode: "absolute" } { min: 100 factor: 0.002 mode: "relative" }]
+        moving_field_reference: [{ min: 0 max: 100 factor: 1 mode: "absolute" } { min: 100 factor: 0.01 mode: "relative" }]
+        ego_reference: [{ min: 0 max: 100 factor: 0.2 mode: "absolute" } { min: 100 factor: 0.002 mode: "relative" }]
+      }
+    }
+  }
+}