@oimlsmart/primmel-packages 0.1.0

package/oiml-r60/value-types.prl

@@ -0,0 +1,46 @@
+quantity_register r60 {
+  kind mass { dimensions { M 1 } si_unit "kg" }
+  kind length { dimensions { L 1 } si_unit "m" }
+  kind time { dimensions { T 1 } si_unit "s" }
+  kind temperature { dimensions { Θ 1 } si_unit "K" }
+  kind electric-current { dimensions { I 1 } si_unit "A" }
+  kind force { dimensions { L 1 M 1 T -2 } si_unit "N" }
+  kind pressure { dimensions { L -1 M 1 T -2 } si_unit "Pa" }
+  kind frequency { dimensions { T -1 } si_unit "Hz" }
+  kind voltage { dimensions { I -1 L 2 M 1 T -3 } si_unit "V" }
+  kind acceleration { dimensions { L 1 T -2 } si_unit "m/s²" }
+  kind relative-humidity { si_unit "1" }
+  kind ratio { si_unit "1" }
+  kind verification_interval { si_unit "1" }
+  kind count { si_unit "1" }
+  kind dimensionless { si_unit "1" }
+  kind currency { si_unit "EUR" }
+  unit kg { symbol "kg" label "kilogram" kind mass }
+  unit m { symbol "m" label "metre" kind length }
+  unit s { symbol "s" label "second" kind time }
+  unit K { symbol "K" label "kelvin" kind temperature }
+  unit A { symbol "A" label "ampere" kind electric-current }
+  unit N { symbol "N" label "newton" kind force definition "kg⋅m/s²" }
+  unit Pa { symbol "Pa" label "pascal" kind pressure definition "N/m²" }
+  unit Hz { symbol "Hz" label "hertz" kind frequency definition "1/s" }
+  unit V { symbol "V" label "volt" kind voltage definition "W/A" }
+  unit m/s2 { symbol "m/s²" label "metre per second squared" kind acceleration definition "acceleration of gravity (R 60-2, 2.7.3.2)" }
+  unit degC { symbol "°C" label "degree Celsius" kind temperature offset 273.15 }
+  unit min { symbol "min" label "minute" kind time factor 60 }
+  unit h { symbol "h" label "hour" kind time factor 3600 }
+  unit g { symbol "g" label "gram" kind mass factor 0.001 }
+  unit t { symbol "t" label "tonne" kind mass factor 1000 }
+  unit kPa { symbol "kPa" label "kilopascal" kind pressure factor 1000 }
+  unit mbar { symbol "mbar" label "millibar" kind pressure factor 100 }
+  unit pctRH { symbol "%RH" label "percent relative humidity" kind relative-humidity factor 0.01 }
+  unit % { symbol "%" label "percent" kind ratio factor 0.01 definition "ratio per hundred (safe overload as a percentage of E_max, R 60-1, 3.5.16; power-voltage variation limits, R 60-2) — the sibling recs' percent convention (r91/r129/r144)" }
+  unit v { symbol "v" label "verification interval" kind verification_interval definition "load cell verification interval (errors and limits expressed in units of v — NOT a mass)" }
+  unit counts { symbol "counts" label "ADC counts" kind count }
+  unit counts/v { symbol "counts/v" label "counts per verification interval" kind dimensionless definition "indicated units per load cell verification interval — the conversion factor f (R 60-3, 2.1.2.4); a count-per-count coefficient, dimensionless as authored on the conversion_factor attribute" }
+  unit intervals { symbol "intervals" label "verification intervals (count)" kind count definition "count of load cell verification intervals (the n_LC designation, R 60-1, 6.2.4.5)" }
+  unit indication_units { symbol "indication units" label "indication units" kind count definition "the indicating instrument's own display scaling (the reference indication R_i) — a reading count, not a register mass" }
+  unit g_kg_or_t { symbol "g, kg, or t" label "mass (instrument-dependent: g, kg, or t)" kind mass definition "the test load's mass unit follows the instrument under test (the R 60-3 report-format convention); conversion_factor_to_si is nominal (kg base) — the instrument declares its actual mass unit" }
+  unit dimensionless { label "dimensionless" kind dimensionless }
+  unit mV { symbol "mV" label "millivolt" kind voltage factor 0.001 }
+  unit EUR { symbol "€" label "euro" kind currency }
+}

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

@@ -0,0 +1,3 @@
+# .primmel-allowlist.prl — GENERATED from primmel-allowlist.yaml (TODO.roadmap/17), do not edit.
+coverage_budget 2 "Re-pinned by task 06-v2 (the R 91-3/-4 report forms — .superpowers/sdd/task-r91-report-forms-report.md): the R 91-3 test-report form set landed on the r144 sec-3-report idiom (70 new forms: the page-header, the identification/general sections and the section-16 conclusion tables, every report test section 1.1–6.5 with its acceptance criterion, and the closing remarks) plus the R 91-4 type-evaluation report set (8 forms), so 61 of the 63 first-landing C51 findings burned down. The 2 remaining are honest residuals with no R 91-3 report section: /conf/examinations/durability-assessment (R 91-1, 8.1.4 durability — evaluated over the type's life, not recorded on a report page) and /conf/examinations/redundancy-review (R 91-1, 6.20 measuring-process redundancy review — likewise a design review, no report section). Burn-down history: 63 (C4 landing) → 2 (task 06-v2). The budget caps the C51 findings EXACTLY and only burns down."
+text_coverage_budget 98 "Re-pinned by task 06-v2 (the R 91-3/-4 report forms — .superpowers/sdd/task-r91-report-forms-report.md): 98 uncovered normative-classified sentences, all in R 91-1 (55) and R 91-2 (43) — R 91-3 and R 91-4 are FULLY covered (0 uncovered each; their 49 first-landing findings bound as the report forms landed). The measurement: 372/470 = 79.1% covered raw (the un-trap surfaced one normative-modal sentence in R 91-4 — the simulator-documentation 'should be attached' — moving the normative universe 469 → 470), 79.3% gated with the single remaining frame-prose pin of sources-prd/coverage.yaml (the R 91-3/-4 introduction pins retired stale as their clauses bound). Burn-down history: 159 (C4 landing) → 160 (task 07's honest re-measure over the clean compile) → 98 (task 06-v2). The budget caps the C71 findings EXACTLY and only burns down: new bindings (or adjudicated allowances) shrink it; growth fails C72."

package/oiml-r91/entities/instrument.prl

@@ -0,0 +1,359 @@
+class QuantityValue#data {
+  description { "Number + optional unit — the INV-1 workhorse (\"no bare numbers\"). Instantiation of metamodel Module A QuantityValue, reduced to the two fields the parameter layer needs." }
+  helper { true }
+  value: any {
+    modality SHALL
+    definition "Decimal or string value (string for enum-like parameter values)"
+  }
+  unit: string [0..1] {
+    modality MAY
+    definition "Unit id from value-types.yaml units (kg, g, t, degC, V, mV/V, %, v, counts/v, ...); absent only for dimensionless/string values"
+  }
+}
+
+class CustodyEvent#data {
+  description { "Append-only chain-of-custody record, embedded in MeasuringInstrumentSample.custody_events" }
+  helper { true }
+  sample_id: reference(MeasuringInstrumentSample) {
+    modality SHALL
+    on_delete cascade
+    required true
+  }
+  event_type: enum {
+    modality SHALL
+    enum_values { REQUESTED SHIPPED RECEIVED ASSIGNED_TO_TEST RETURNED DISPOSED }
+  }
+  from_party_id: string [0..1] {
+    modality MAY
+    definition "Party that held the sample before this event"
+  }
+  to_party_id: string {
+    modality SHALL
+    definition "Party that holds the sample after this event"
+  }
+  timestamp: datetime {
+    modality SHALL
+  }
+  notes: text [0..1] {
+    modality MAY
+  }
+}
+
+class OperationalStateEntry#data {
+  description { "One entry of a sample's operational-state trajectory (TODO.roadmap/07 + task 29, primmel StateTrajectoryEntry): the machine ENTERED `state` at `at` because `fired_by` recorded the transition fire. Append-only evidence — lands in the run's trace next to the conditions log." }
+  helper { true }
+  state: string {
+    modality SHALL
+    definition "Node of the operational machine entered (e.g. warming_up, ready)"
+  }
+  at: datetime {
+    modality SHALL
+    definition "ISO-8601 timestamp of the entry"
+  }
+  fired_by: string {
+    modality SHALL
+    definition "Who/what fired the transition (operator name, process step id; '' = genesis)"
+  }
+}
+
+class OperationalState#data {
+  description { "A sample's current node in one OPERATIONAL state machine (TODO.roadmap/07 + task 29) — instance-level data of the machine declared in data/<rec>/model/state.yaml. Strictly separate from `status` (the measuring_instrument_sample LIFECYCLE machine): the families never mix (primmel C38)." }
+  helper { true }
+  machine: string {
+    modality SHALL
+    definition "Id of the operational state machine (model/state.yaml state_machines[].id)"
+  }
+  current: string {
+    modality SHALL
+    definition "The machine's current node (e.g. off, warming_up, ready, measuring)"
+  }
+  trajectory: reference(OperationalStateEntry) [0..*] {
+    modality MAY
+    definition "Append-only state-entry log (embedded)"
+    on_delete cascade
+  }
+}
+
+class PhysicalDimensions#data {
+  description { "The sample's physical dimensions as registered on receipt (R 60-3, 4.9.10 — the report form's load-cell-dimensions entry, whose table carries the pictures/drawings of the dimensions). Every facet is an optional quantity-with-unit in mm; only the dimensions relevant to the instrument's shape are recorded (a cylindrical load cell records height + diameter, never length/width)." }
+  helper { true }
+  length: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Overall length (QuantityValue { value, unit: mm })"
+  }
+  width: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Overall width (QuantityValue { value, unit: mm })"
+  }
+  height: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Overall height (QuantityValue { value, unit: mm })"
+  }
+  diameter: reference(QuantityValue) [0..1] {
+    modality MAY
+    definition "Body diameter (QuantityValue { value, unit: mm })"
+  }
+}
+
+class MeasuringInstrumentModelFamily#data {
+  store { measuringInstrumentModelFamilies }
+  description { "Family of measuring instruments (OIML V 1:2022, 4.02). HAS MANY Models (optionally via Groups). Its classification and parameters act as defaults inherited by its groups/models (INV-10)." }
+  indexes { manufacturer_id standard_id }
+  id: string {
+    modality SHALL
+  }
+  standard_id: string {
+    modality SHALL
+  }
+  family_designation: string {
+    modality SHALL
+    definition "Human-readable family designation (e.g. 'ACME LC-500 Series')"
+  }
+  family_code: string [0..1] {
+    modality MAY
+    definition "Short code used in certificate numbers and URIs"
+  }
+  manufacturer_id: reference(Manufacturer) {
+    modality SHALL
+    on_delete restrict
+    required true
+  }
+  classification: map<dimension_id, string> [0..1] {
+    modality MAY
+    definition "Family-level dimension defaults (family-scope axes: working_principle, installation_principle, triggering, climatic/mechanical/electromagnetic environment classes)"
+  }
+  parameters: map<attribute_id, QuantityValue> [0..1] {
+    modality MAY
+    definition "Family-scope attribute defaults (attributes.yaml scope: family — radar_frequency_band, radar_power, beam_width_h, beam_width_v, side_lobe_level, operating/storage temperature limits)"
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class MeasuringInstrumentModelGroup#data {
+  store { measuringInstrumentModelGroups }
+  description { "Sub-grouping within a MeasuringInstrumentModelFamily. A group carries the metrological characteristics its member Models share (moving-MPE class A/B per R 91-1, 6.15.1, MPE/fault-limit parameters); Models resolve them by delegation (INV-10)." }
+  indexes { family_id manufacturer_id standard_id }
+  id: string {
+    modality SHALL
+  }
+  standard_id: string {
+    modality SHALL
+  }
+  family_id: reference(MeasuringInstrumentModelFamily) {
+    modality SHALL
+    on_delete cascade
+    required true
+  }
+  manufacturer_id: reference(Manufacturer) {
+    modality SHALL
+    definition "Denormalized from family_id.manufacturer_id"
+    on_delete restrict
+    required true
+  }
+  group_label: string {
+    modality SHALL
+    definition "Compact label combining working principle + moving class (e.g. 'doppler-radar-A', 'fixed-distance-B')"
+  }
+  classification: map<dimension_id, string> [0..1] {
+    modality MAY
+    definition "Group-scope dimensions (metrological_class A/B per R 91-1, 6.15.1)"
+  }
+  parameters: map<attribute_id, QuantityValue> [0..1] {
+    modality MAY
+    definition "Group-identical characteristics (attributes.yaml scope: group — mpe_stationary, mpe_moving, mpe_ego, linearity_error_limit, fault_limit)"
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class MeasuringInstrumentModel#data {
+  store { measuringInstrumentModels }
+  description { "A model of measuring instrument — the subject of type evaluation and approval. Attribute values not set here resolve through group -> family delegation (INV-10)." }
+  indexes { family_id group_id manufacturer_id standard_id }
+  id: string {
+    modality SHALL
+  }
+  standard_id: string {
+    modality SHALL
+  }
+  model_designation: string {
+    modality SHALL
+    definition "Specific model designation (e.g. 'ACME-SM-2000-A')"
+  }
+  manufacturer_id: reference(Manufacturer) {
+    modality SHALL
+    on_delete restrict
+    required true
+  }
+  family_id: reference(MeasuringInstrumentModelFamily) {
+    modality SHALL
+    on_delete restrict
+    required true
+  }
+  group_id: reference(MeasuringInstrumentModelGroup) [0..1] {
+    modality MAY
+    on_delete restrict
+    required false
+  }
+  hardware_revision: string [0..1] {
+    modality MAY
+  }
+  type_approval_ref: reference(Certificate) [0..1] {
+    modality MAY
+    definition "Certificate issued for this model — filled after D3 approval"
+    on_delete nullify
+    required false
+  }
+  description: text [0..1] {
+    modality MAY
+  }
+  classification: map<dimension_id, string> [0..1] {
+    modality MAY
+    definition "Model dimension values/overrides (mode_of_use, cosine_compensation; family-scope axes inherited)"
+  }
+  parameters: map<attribute_id, QuantityValue> [0..1] {
+    modality MAY
+    definition "Model-scope attributes (speed/distance/angle interval limits, speed_resolution, ego_speed_resolution, software_version; overrides of inherited group/family values)"
+  }
+  capabilities: string[] [0..*] {
+    modality MAY
+    definition "Capability ids from data/r91/model/capabilities.yaml"
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+
+class MeasuringInstrumentSample#data {
+  store { measuringInstrumentSamples }
+  description { "A physical instance of a MeasuringInstrumentModel submitted for type evaluation. Tracks receipt, dispatch to test labs, and return/disposal through the embedded custody_events log (PD-05 §4.3)." }
+  indexes { model_id application_id manufacturer_id serial_number status standard_id }
+  id: string {
+    modality SHALL
+  }
+  standard_id: string {
+    modality SHALL
+  }
+  sample_number: string [0..1] {
+    modality MAY
+    definition "IA-assigned sample number (e.g. 'S-2024-001')"
+  }
+  serial_number: string {
+    modality SHALL
+    definition "Manufacturer's serial number on the physical instrument"
+  }
+  model_id: reference(MeasuringInstrumentModel) {
+    modality SHALL
+    definition "Catalog model this sample is an instance of"
+    on_delete restrict
+    required true
+  }
+  manufacturer_id: reference(Manufacturer) {
+    modality SHALL
+    on_delete restrict
+    required true
+  }
+  application_id: reference(Application) [0..1] {
+    modality MAY
+    definition "Application this sample was logged against"
+    on_delete restrict
+    required false
+  }
+  manufacturing_date: date [0..1] {
+    modality MAY
+  }
+  received_date: date [0..1] {
+    modality MAY
+  }
+  condition: enum {
+    modality SHALL
+    definition "The condition the sample arrived in, recorded at receipt registration (the physical instrument's received state)"
+    enum_values { NEW USED REFURBISHED DAMAGED }
+  }
+  condition_notes: text [0..1] {
+    modality MAY
+  }
+  photographs: reference(DocumentRef) [0..*] {
+    modality MAY
+    definition "Receipt photograph(s) of the physical instrument (R 60-3, 4.9.4 — the report form carries the sample's photographs); the document-store blob slots carry the bytes when the store is bound, the file-name reference otherwise"
+  }
+  status: enum {
+    modality SHALL
+    definition "Lifecycle per evaluation/state-machines.yaml measuring_instrument_sample machine"
+    enum_values { REQUESTED IN_TRANSIT RECEIVED IN_TESTING TESTING_COMPLETE RETURNED RETAINED DESTROYED DISPOSED }
+  }
+  current_location: string [0..1] {
+    modality MAY
+  }
+  current_custodian_id: string [0..1] {
+    modality MAY
+    definition "Reference to the org currently holding the sample (IA, lab, manufacturer)"
+  }
+  custody_events: reference(CustodyEvent) [0..*] {
+    modality SHALL
+    definition "Append-only chain-of-custody log (embedded)"
+    on_delete cascade
+  }
+  disposal_method: enum [0..1] {
+    modality MAY
+    enum_values { RETURNED RECYCLED DESTROYED RETAINED }
+  }
+  disposal_date: date [0..1] {
+    modality MAY
+  }
+  disposal_certificate: reference(DocumentRef) [0..1] {
+    modality MAY
+  }
+  test_context: map<attribute_id, QuantityValue> [0..1] {
+    modality MAY
+    definition "Sample-scope test-dependent attributes (attributes.yaml origin: test-dependent — reference_speed, indicated_speed, high_res_speed, ego_speed, reference_ego_speed, measurement_count); values under test, never inherited downward"
+  }
+  physical_dimensions: reference(PhysicalDimensions) [0..1] {
+    modality MAY
+    definition "Physical dimensions registered on receipt (R 60-3, 4.9.10 — the report form's load-cell-dimensions entry); embedded, each facet a QuantityValue in mm"
+  }
+  selected_for_evaluation: boolean [0..1] {
+    modality MAY
+    definition "The IA's selection of this sample for the type evaluation (R 60-3, 4.7 — selection of the sample(s) tested): the evaluation tests a subset of the received samples; absent/false = not selected. Only a registered (received) sample is selectable."
+  }
+  selection_justification: text [0..1] {
+    modality MAY
+    definition "The recorded justification of the selection decision (R 60-3, 4.7.2 — justification of the selection of the test sample(s), referring to R 60-2, 2.3/2.4 and Annex D)"
+  }
+  verification_state: enum [0..1] {
+    modality MAY
+    definition "Verification lifecycle state (TODO.roadmap/21, metamodel v0.6.1) — the sample_verification state machine of evaluation/state-machines.yaml: NOT_VERIFIED → VERIFIED (a verification passes) → REVERIFICATION_DUE (timer: validity window elapsed) | INVALIDATED (signal: an out-of-cycle trigger such as a tyre change) → VERIFIED (re-verification passes). Absent = never verified."
+    enum_values { NOT_VERIFIED VERIFIED REVERIFICATION_DUE INVALIDATED }
+  }
+  seals: reference(SealStatus) [0..*] {
+    modality MAY
+    definition "Current seal status on the sample (embedded) — set/renewed by passed verifications (marking and securing, e.g. R 91-1, 7.13/8.2.4)"
+  }
+  verification_signals: reference(VerificationSignal) [0..*] {
+    modality MAY
+    definition "Posted out-of-cycle verification signals (embedded) — the signal-event channel of the re-verification triggers (e.g. tyre-change on an ego speed meter, R 91-1, 6.15.3 Note 2); consumed by the trigger engine"
+  }
+  operational_state: reference(OperationalState) [0..1] {
+    modality MAY
+    definition "The sample's current node in the rec's OPERATIONAL state machine (data/<rec>/model/state.yaml, TODO.roadmap/07 + task 29 — e.g. the R 144 warm-up machine off → warming_up → ready → measuring). Instance-level HAS state with an append-only trajectory; tests gate on it via the precondition `state:` facet (violation ⇒ run invalid, never fail). Absent = no operational state tracked (the gate reads the machine's initial node). Strictly separate from `status` (lifecycle family)."
+  }
+  created: datetime {
+    modality SHALL
+  }
+  modified: datetime {
+    modality SHALL
+  }
+}
+