@oimlsmart/primmel-packages 0.6.0 → 0.7.0

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

@@ -1,2 +1,32 @@
 # .primmel-allowlist.prl — GENERATED from primmel-allowlist.yaml (TODO.roadmap/17), do not edit.
 text_coverage_budget 196 "First landing of gap-close C4-r129 (TODO.v2/05 — the R 129 sources-prd pipeline), tightened by TODO.integration/05 (the twin-interface bindings), then re-measured and burned down by the TODO.v2/05 follow-through (the R 129 source expansion): the official R 129:2020 sources landed (sources/r129) and every first-landing curation was re-verified against the official PDFs — the annexes print (Mandatory) throughout (+7 annex-A sentences correctly measured normative) and the notes compile as proper note fragments (−6 sentences correctly measured informative); the terminology register's source-URN burn-down covered the 26 register-carried definition sites, and the rec-native forms now bind their R 129-3/-4 report sections (ref report-format — the 11 module-skeleton forms' sections stay findings: the skeletons' with: slots carry no report-format channel, the composition union rule bars the rec overlay from restating references). 196 uncovered normative-classified sentences — the honest measurement of R 129's normative-text coverage over the published-print address space. Census by document: 131 R 129-1 + 58 R 129-2 + 4 R 129-3 + 3 R 129-4. The clusters are the declared named gaps of sources-prd/congruence.yaml (the unmodelled terminology sites, the Annex B software detail, the R 129-2 IEC method-procedure grids, the module-skeleton-covered report sections, and the R 129-4 sections no form binds). The budget caps the C71 findings EXACTLY and only burns down: new bindings (or adjudicated allowances) shrink it; growth fails C72."
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway ac_mains_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: ac_mains_tests / skip_ac_mains_tests name the AC-mains applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway low_battery_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: low_voltage_battery_test / skip_low_voltage_battery_test name the low-battery applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway effects_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: ambient_light_test / acoustics_test / skip_effect_tests name the environmental-effects branches."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway speed_movement_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: speed_movement_test / skip_speed_movement_test name the speed-movement applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway test_result_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: compile_test_report_pass / compile_test_report_fail name the verdict branches of test-report compilation."
+  audit_ref "TODO.roadmap/40"
+}

package/oiml-r129/evaluation/approvals.prl

@@ -0,0 +1,48 @@
+approval ia_accept_application {
+  name "IA Accepts Application"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { applications }
+  source { doc "PD-05 §4.2" clause "" }
+}
+
+approval tl_authorize_test_report {
+  name "TL Authorizes Test Report"
+  actor test_laboratory
+  approve_by responsible_person_tl
+  approval_record { testReports }
+  source { doc "PD-05 §4.4.3 r" clause "" }
+}
+
+approval ia_approve_evaluation_report {
+  name "IA Approves Evaluation Report"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { evaluationReports }
+  source { doc "PD-05 §4.5" clause "" }
+}
+
+approval ia_sign_certificate {
+  name "IA Signs OIML Certificate"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { certificates }
+  source { doc "PD-05 §4.6" clause "" }
+}
+
+approval biml_register_certificate {
+  name "BIML Registers Certificate"
+  actor biml
+  approve_by biml
+  approval_record { certificates }
+  source { doc "PD-05 §6" clause "" }
+}
+
+approval ia_approve_revision {
+  name "IA Approves Certificate Revision"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { certificateAnnexes }
+  source { doc "PD-05 §8.1" clause "" }
+}
+

package/oiml-r129/evaluation/gateways.prl

@@ -0,0 +1,31 @@
+exclusive_gateway ac_mains_gateway {
+  label "AC Mains Test Applicability"
+  edge ac_mains_tests { condition "[power_supply] in ['ac-mains']" label "AC mains: voltage variation, dips, bursts and surge tests required (R 129-2, Annex A, Table A.1)" }
+  edge skip_ac_mains_tests { condition default label "Battery / DC: mains tests not applicable" }
+}
+
+exclusive_gateway low_battery_gateway {
+  label "Low Battery Test Applicability"
+  edge low_voltage_battery_test { condition "[power_supply] in ['battery']" label "Battery-powered: low voltage test required (R 129-2, Annex A)" }
+  edge skip_low_voltage_battery_test { condition default label "AC mains / DC: not applicable" }
+}
+
+exclusive_gateway effects_gateway {
+  label "Effect Test Applicability"
+  edge ambient_light_test { condition "[measurement_principle] in ['optical']" label "Optical: ambient light test required (R 129-1, 4.4)" }
+  edge acoustics_test { condition "[measurement_principle] in ['acoustic']" label "Acoustic: acoustics test required (R 129-1, 4.4)" }
+  edge skip_effect_tests { condition default label "Mechanical: no light/acoustic effect tests" }
+}
+
+exclusive_gateway speed_movement_gateway {
+  label "Speed of Movement Test Applicability"
+  edge speed_movement_test { condition "[instrument_category] in ['automatic']" label "Automatic: speed of movement test required (R 129-2, Annex A)" }
+  edge skip_speed_movement_test { condition default label "Semi-automatic: not applicable" }
+}
+
+exclusive_gateway test_result_gateway {
+  label "Test Result Determination"
+  edge compile_test_report_pass { condition "every([within_mpe]) = true" label "All tests pass" }
+  edge compile_test_report_fail { condition default label "One or more tests fail" }
+}
+

package/oiml-r129/evaluation/processes.prl

@@ -1,152 +1,333 @@
 process submit_application {
+  name "Submit Type Evaluation Application"
   actor applicant
+  modality shall
+  reference_data_registry { measuringInstrumentModels manufacturers }
   output { applications }
-  reference { doc "PD-05 §4.1" clause "" }
+  executor actor
+  source { doc "PD-05 §4.1" clause "" }
 }
 
 process review_application {
+  name "Review Application"
   actor issuing_authority
+  modality shall
+  reference_data_registry { applications }
   validate_provision { /req/cs/application-completeness }
   output { applications }
-  reference { doc "PD-05 §4.2" clause "" }
+  executor actor
+  source { doc "PD-05 §4.2" clause "" }
 }
 
 process accept_application {
+  name "Accept Application and Notify"
   actor issuing_authority
+  modality shall
   validate_provision { /req/cs/fee-estimate /req/cs/sample-count }
   output { applications }
-  reference { doc "PD-05 §4.2.4" clause "" }
+  executor actor
+  source { doc "PD-05 §4.2.4" clause "" }
 }
 
 process reject_application {
+  name "Reject Application with Reason"
   actor issuing_authority
+  modality shall
   validate_provision { /req/cs/rejection-reason }
   output { applications }
-  reference { doc "PD-05 §4.2.2" clause "" }
+  executor actor
+  source { doc "PD-05 §4.2.2" clause "" }
 }
 
 process conduct_tests {
+  name "Conduct Type Evaluation Tests"
   actor test_laboratory
+  modality shall
+  machine_steps { verdict_computation }
+  reference_data_registry { applications measuringInstrumentModels }
   validate_provision { /req/metrological/scale-intervals-min-dimension /req/metrological/mpe /req/metrological/fault-limit /req/metrological/variation-between-indicators /req/metrological/calculated-quantities /req/electronic/rated-operating-conditions /req/electronic/disturbance-resistance /req/electronic/no-significant-faults /req/electronic/light-acoustic-effects /req/technical/warm-up /req/technical/limits-of-indication /req/object-limitations/object-shape /req/object-limitations/orientation-position /req/object-limitations/speed-movement }
+  validate_measurement { "every([within_mpe]) = true" }
   output { testReports formInstances }
-  reference { doc "PD-05 §4.3" clause "" }
+  executor actor
+  source { doc "PD-05 §4.3" clause "" }
 }
 
 process compile_test_report {
+  name "Compile OIML Test Report"
   actor test_laboratory
+  modality shall
   validate_provision { /req/cs/test-report-18-elements }
+  validate_measurement { "[completed_forms].count = [required_forms].count" }
   output { testReports }
-  reference { doc "PD-05 §4.4" clause "" }
+  executor actor
+  source { doc "PD-05 §4.4" clause "" }
 }
 
 process compile_evaluation_report {
+  name "Compile Type Evaluation Report"
   actor issuing_authority
+  modality shall
+  machine_steps { evaluation_aggregation }
+  reference_data_registry { testReports formInstances applications }
   validate_provision { /req/cs/evaluation-report-contents }
+  validate_measurement { "[test_report_checklist_coverage] >= 1.0" }
   output { evaluationReports }
-  reference { doc "PD-05 §4.5" clause "" }
+  executor actor
+  source { doc "PD-05 §4.5" clause "" }
 }
 
 process issue_certificate {
+  name "Issue OIML Certificate"
   actor issuing_authority
+  modality shall
+  machine_steps { certificate_characteristics_derivation }
+  reference_data_registry { evaluationReports }
   validate_provision { /req/cs/certificate-requirements }
   output { certificates }
-  reference { doc "PD-05 §4.6" clause "" }
+  executor actor
+  source { doc "PD-05 §4.6" clause "" }
 }
 
 process register_certificate {
+  name "Register Certificate with BIML"
   actor biml
+  modality shall
   validate_provision { /req/cs/biml-registration }
   output { certificates }
-  reference { doc "PD-05 §6" clause "" }
+  executor actor
+  source { doc "PD-05 §6" clause "" }
 }
 
 process handle_revision {
+  name "Handle Certificate Revision"
   actor issuing_authority
+  modality may
+  reference_data_registry { certificates }
   output { certificates certificateAnnexes }
-  reference { doc "PD-05 §8.1" clause "" }
+  executor actor
+  source { doc "PD-05 §8.1" clause "" }
 }
 
 process handle_edition_change {
+  name "Handle Edition Change"
   actor issuing_authority
+  modality may
+  reference_data_registry { certificates }
   output { evaluationReports certificates }
-  reference { doc "PD-05 §8.3" clause "" }
+  executor actor
+  source { doc "PD-05 §8.3" clause "" }
 }
 
 process evaluate_certificate_acceptance {
+  name "Evaluate certificate acceptability"
   actor utilizer
+  modality may
+  reference_data_registry { certificates participantDeclarations }
   output { acceptanceReviews }
-  reference { doc "PD-06, 4.8/4.9; B 18:2025 §5.6.3" clause "" }
+  executor actor
+  source { doc "PD-06, 4.8/4.9; B 18:2025 §5.6.3" clause "" }
 }
 
 process handle_appeal {
+  name "Handle appeal to the Board of Appeal"
   actor executive_secretary
+  modality may
+  reference_data_registry { participantApplications certificates }
   output { appeals }
-  reference { doc "PD-01, 8–9" clause "" }
+  executor actor
+  source { doc "PD-01, 8–9" clause "" }
 }
 
 process handle_complaint {
+  name "Handle complaint (incl. incorrect conclusions)"
   actor executive_secretary
+  modality may
+  reference_data_registry { certificates }
   output { complaints }
-  reference { doc "PD-01, 6; PD-05 §7.1" clause "" }
+  executor actor
+  source { doc "PD-01, 6; PD-05 §7.1" clause "" }
 }
 
 process handle_misuse {
+  name "Handle certificate misuse"
   actor executive_secretary
+  modality may
+  reference_data_registry { certificates }
   output { misuseCases }
-  reference { doc "PD-06, 5.1" clause "" }
+  executor actor
+  source { doc "PD-06, 5.1" clause "" }
 }
 
 process deregister_certificate {
+  name "Deregister certificate"
   actor biml
+  modality may
+  reference_data_registry { certificates complaints misuseCases }
   output { deregistrations certificates }
-  reference { doc "PD-01, 6.2; PD-06, 5.2/5.3; PD-05 §6.2" clause "" }
+  executor actor
+  source { doc "PD-01, 6.2; PD-06, 5.2/5.3; PD-05 §6.2" clause "" }
 }
 
 process verify_presented_certificate {
+  name "Verify a presented certificate against the registered copy"
   actor biml
+  modality may
+  reference_data_registry { certificates registeredCopies }
   output { registeredCopies }
-  reference { doc "B 18:2025 §15.8" clause "" }
+  executor actor
+  source { doc "B 18:2025 §15.8" clause "" }
 }
 
 process submit_participant_application {
+  name "Submit participant application"
   actor applicant
+  modality may
+  reference_data_registry { participantApplications }
   output { participantApplications }
-  reference { doc "PD-03, 5.1; PD-04, 5.1; PD-09, 4–5; PD-02, 7" clause "" }
+  executor actor
+  source { doc "PD-03, 5.1; PD-04, 5.1; PD-09, 4–5; PD-02, 7" clause "" }
 }
 
 process assess_participant_competence {
+  name "Assess participant competence"
   actor executive_secretary
+  modality may
+  reference_data_registry { participantApplications }
   output { competenceEvidence }
-  reference { doc "PD-03, 5.2; PD-04, 5.2" clause "" }
+  executor actor
+  source { doc "PD-03, 5.2; PD-04, 5.2" clause "" }
 }
 
 process recommend_participation {
+  name "Review Committee recommendation"
   actor evaluator
+  modality may
+  reference_data_registry { participantApplications }
   output { approvalVotes }
-  reference { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-02, 8.1; OD-01, 5.6/7.9" clause "" }
+  executor actor
+  source { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-02, 8.1; OD-01, 5.6/7.9" clause "" }
 }
 
 process decide_participation {
+  name "MC participation decision"
   actor supervisor
+  modality may
+  reference_data_registry { participantApplications }
   output { approvalVotes participantApplications }
-  reference { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-02, 8.2; B 18:2025 §11.4.2" clause "" }
+  executor actor
+  source { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-02, 8.2; B 18:2025 §11.4.2" clause "" }
 }
 
 process record_participant_declaration {
+  name "Record/maintain a participant Declaration"
   actor executive_secretary
+  modality may
+  reference_data_registry { participantDeclarations }
   output { participantDeclarations }
-  reference { doc "PD-08, 4–5; PD-03, 5.3.2/9; PD-04, 5.3.2/7" clause "" }
+  executor actor
+  source { doc "PD-08, 4–5; PD-03, 5.3.2/9; PD-04, 5.3.2/7" clause "" }
 }
 
 process publish_participant_register {
+  name "Publish the participant lists"
   actor executive_secretary
+  modality may
+  reference_data_registry { participantDeclarations }
   output { participantApplications }
-  reference { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-08, 4; PD-09, 4–5; OD-01, 13.4" clause "" }
+  executor actor
+  source { doc "PD-03, 5.3.2; PD-04, 5.3.2; PD-08, 4; PD-09, 4–5; OD-01, 13.4" clause "" }
 }
 
 process drive_scheme_lifecycle {
+  name "Drive the per-category scheme lifecycle"
   actor biml
+  modality may
+  reference_data_registry { categorySchemes }
   output { categorySchemes }
-  reference { doc "B 18:2025 §4.2, §15.1–15.2" clause "" }
+  executor actor
+  source { doc "B 18:2025 §4.2, §15.1–15.2" clause "" }
+}
+
+workflow_stage application_processing {
+  label "Application Processing"
+  description "PD-05 §4.1–4.2: Application submission, review, and acceptance/rejection"
+  elements { submit_application review_application accept_application reject_application }
+  start_event application_received
+  end_events { application_accepted application_rejected application_withdrawn }
+  approvals { ia_accept_application }
+}
+
+workflow_stage testing {
+  label "Type Evaluation Testing"
+  description "PD-05 §4.3–4.4: Test execution and test report compilation"
+  elements { conduct_tests compile_test_report }
+  start_event application_accepted
+  end_events { test_report_compiled }
+  approvals { tl_authorize_test_report }
+  gateways { ac_mains_gateway low_battery_gateway effects_gateway speed_movement_gateway test_result_gateway }
+}
+
+workflow_stage evaluation {
+  label "Type Evaluation"
+  description "PD-05 §4.5: Evaluation report compilation and approval"
+  elements { compile_evaluation_report }
+  start_event test_report_compiled
+  end_events { evaluation_complete }
+  approvals { ia_approve_evaluation_report }
+}
+
+workflow_stage certification {
+  label "Certification"
+  description "PD-05 §4.6, §6, §8: Certificate issuance, registration, and revision"
+  elements { issue_certificate register_certificate handle_revision handle_edition_change }
+  start_event evaluation_complete
+  end_events { certificate_issued }
+  approvals { ia_sign_certificate biml_register_certificate ia_approve_revision }
+}
+
+workflow_stage scheme_operations {
+  label "OIML-CS Scheme Operations"
+  description "PD-01/PD-06 + B 18:2025 §15.8 (TODO.roadmap/45): acceptability evaluation, appeals, complaints, misuse, deregistration, and the registered-copy validity check"
+  elements { evaluate_certificate_acceptance handle_appeal handle_complaint handle_misuse deregister_certificate verify_presented_certificate }
+  start_event certificate_issued
+  end_events { certificate_deregistered }
+}
+
+workflow_stage participant_approval {
+  label "OIML-CS Participant Approval"
+  description "PD-02/PD-03/PD-04/PD-08/PD-09 + B 18:2025 §15 (TODO.roadmap/44–45): the participation pipeline — application, competence assessment, RC recommendation, MC decision, Declaration, publication — and the per-category scheme lifecycle"
+  elements { submit_participant_application assess_participant_competence recommend_participation decide_participation record_participant_declaration publish_participant_register drive_scheme_lifecycle }
+  start_event participant_application_received
+  end_events { participant_active }
+}
+
+start_event application_received {
+}
+
+end_event application_accepted {
+}
+
+end_event application_rejected {
+}
+
+end_event application_withdrawn {
+}
+
+end_event test_report_compiled {
+}
+
+end_event evaluation_complete {
+}
+
+end_event certificate_issued {
+}
+
+end_event certificate_deregistered {
+}
+
+start_event participant_application_received {
+}
+
+end_event participant_active {
 }
 

package/oiml-r129/evaluation/workflow.prl

@@ -1,48 +1,58 @@
 process application {
-  note "phase: intake"
+  name "Type Evaluation Application"
+  summary "Applicant (manufacturer, distributor, or end user) submits Application declaring the instrument model family, the requested scope (matrix of model-family members per the Recommendation's specimen-selection rules), requested ANR countries, scheme (A/B), and supporting documentation."
   actor applicant
-  description "Applicant (manufacturer, distributor, or end user) submits Application declaring the instrument model family, the requested scope (matrix of model-family members per the Recommendation's specimen-selection rules), requested ANR countries, scheme (A/B), and supporting documentation."
-  validate_provision { applicant_info model_family_matrix documentation }
+  phase intake
   guard "Application.status = SUBMITTED"
   guard "Application.model_family_id is not null OR Application.model_ids.length >= 1"
+  validate_provision { applicant_info model_family_matrix documentation }
+  output { Application }
 }
 
 process test-request-dispatch {
-  note "phase: dispatch"
+  name "Test request dispatch"
+  summary "IA selects one or more Test Laboratories (by accreditation scope, equipment capability, capacity) and issues a TestRequest to each, specifying which samples are shipped, which of the Recommendation's Test Report Forms the lab must complete, and the test conditions."
   actor issuing-authority
-  description "IA selects one or more Test Laboratories (by accreditation scope, equipment capability, capacity) and issues a TestRequest to each, specifying which samples are shipped, which of the Recommendation's Test Report Forms the lab must complete, and the test conditions."
-  validate_provision { Application MeasuringInstrumentSample TestLaboratory }
+  phase dispatch
   guard "Each TestRequest references >= 1 MeasuringInstrumentSample"
   guard "Each TestRequest.required_forms subset of R 129-3 form identifiers"
   guard "TestRequest.assigned_laboratory_id is accredited for the requested test scope (R 129 multi-dimensional measuring instruments)"
+  validate_provision { Application MeasuringInstrumentSample TestLaboratory }
+  output { TestRequest }
 }
 
 process test-performance {
-  note "phase: testing"
+  name "Test performance and report"
+  summary "Test Lab accepts the TestRequest (which implies physical sample receipt), performs the tests per the Recommendation's test procedures, fills in the required Test Report Forms (one FormInstance per sample per form), and issues a TestReport that bundles all FormInstances."
   actor test-laboratory
-  description "Test Lab accepts the TestRequest (which implies physical sample receipt), performs the tests per the Recommendation's test procedures, fills in the required Test Report Forms (one FormInstance per sample per form), and issues a TestReport that bundles all FormInstances."
-  validate_provision { TestRequest MeasuringInstrumentSample }
+  phase testing
   guard "TestReport.test_request_id references the TestRequest"
   guard "TestReport contains one FormInstance per (requiredForm × sample) pair"
   guard "TestReport.status = SUBMITTED"
+  validate_provision { TestRequest MeasuringInstrumentSample }
+  output { "TestReport containing FormInstance" }
 }
 
 process evaluation {
-  note "phase: evaluation"
+  name "Evaluation and determination"
+  summary "IA staff review every submitted TestReport. For each TestReport, a TestReportDetermination is recorded (ACCEPTED / REJECTED / CONDITIONALLY_ACCEPTED). For each FormInstance, a FormDetermination is recorded. The aggregate of all TestReportDeterminations determines the EvaluationReport overall_decision. Finalization requires every TestReport in test_report_ids[] to have a corresponding determination."
   actor issuing-authority
-  description "IA staff review every submitted TestReport. For each TestReport, a TestReportDetermination is recorded (ACCEPTED / REJECTED / CONDITIONALLY_ACCEPTED). For each FormInstance, a FormDetermination is recorded. The aggregate of all TestReportDeterminations determines the EvaluationReport overall_decision. Finalization requires every TestReport in test_report_ids[] to have a corresponding determination."
-  validate_provision { TestReport FormInstance }
+  phase evaluation
   guard "All TestReport entries in test_report_ids[] have a TestReportDetermination"
   guard "EvaluationReport.status = ALL_TR_REVIEWED before finalization"
   guard "overall_decision derivable from test_report_determinations[]"
+  validate_provision { TestReport FormInstance }
+  output { "EvaluationReport containing FormDetermination" TestReportDetermination }
 }
 
 process certificate-issuance {
-  note "phase: issuance"
+  name "OIML Certificate of Conformity"
+  summary "If EvaluationReport.overall_decision = APPROVED, IA issues a Certificate whose scope covers the original Application's matrix. BIML registers the certificate."
   actor issuing-authority
-  description "If EvaluationReport.overall_decision = APPROVED, IA issues a Certificate whose scope covers the original Application's matrix. BIML registers the certificate."
-  validate_provision { EvaluationReport Application.model_family_id }
+  phase issuance
   guard "EvaluationReport.overall_decision = APPROVED"
   guard "Certificate.scope matches Application scope (model family + approved members)"
+  validate_provision { EvaluationReport Application.model_family_id }
+  output { Certificate }
 }
 

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

@@ -1,2 +1,38 @@
 # .primmel-allowlist.prl — GENERATED from primmel-allowlist.yaml (TODO.roadmap/17), do not edit.
 text_coverage_budget 0 "R144-BD burn-down, phase 2 (TODO.roadmap/26): the honest completion — 210/213 = 98.6% covered, 100.0% gated with the three sentence-pinned allowances of sources-prd/coverage.yaml. Phase 1 (111 → 16) modelled the three largest first-landing clusters; phase 2 models the remaining 16: the R 144-3 clause-2 report content rules (7 sentences — the new /req/report class: recommended numbers/values in the OIML-CS, test means indication, alternatives/equivalence assurance, observed problems and test conditions), the R 144-1 type-evaluation and verification generalities (7 sentences — the new /req/controls class: type-evaluation units 7.1.2, completely-mounted testing 7.1.3.1, correctness-of-operation check 7.1.3.3, initial verification 7.2.1; the external-examination generality 7.1.3.2 bound by the visual examination; the type-approval CGM conformance 7.1.3.1 s5 as a reference-material constraint), and R 144-2's 1.1 prior-to-tests generality + the clause-2 initial-verification checklist head (2 sentences — /req/controls). No sentence adjudicated non-modelable in this phase. Any new uncovered sentence is a regression and fails (C72). First landing: 111 (101/213 = 47.4%)."
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway gas_handling_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: flow_spillover_and_leakproofness_tests / skip_gas_handling_tests name the gas-handling applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway low_battery_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: low_battery_test / skip_low_battery_test name the low-battery applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway signal_line_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: bursts_signal_and_surge_tests / skip_signal_line_tests name the signal-line applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway drift_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: drift_test / skip_drift_test name the drift-test applicability branch."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway test_result_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: compile_test_report_pass / compile_test_report_fail name the verdict branches of test-report compilation."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway mtl_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: accept_mtl_report / require_independent_tl name the manufacturer-test-lab acceptability branches (Scheme A)."
+  audit_ref "TODO.roadmap/40"
+}

package/oiml-r144/evaluation/approvals.prl

@@ -0,0 +1,48 @@
+approval ia_accept_application {
+  name "IA Accepts Application"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { applications }
+  source { doc "PD-05 §4.2" clause "" }
+}
+
+approval tl_authorize_test_report {
+  name "TL Authorizes Test Report"
+  actor test_laboratory
+  approve_by responsible_person_tl
+  approval_record { testReports }
+  source { doc "PD-05 §4.4.3 r" clause "" }
+}
+
+approval ia_approve_evaluation_report {
+  name "IA Approves Evaluation Report"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { evaluationReports }
+  source { doc "PD-05 §4.5" clause "" }
+}
+
+approval ia_sign_certificate {
+  name "IA Signs OIML Certificate"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { certificates }
+  source { doc "PD-05 §4.6" clause "" }
+}
+
+approval biml_register_certificate {
+  name "BIML Registers Certificate"
+  actor biml
+  approve_by biml
+  approval_record { certificates }
+  source { doc "PD-05 §6" clause "" }
+}
+
+approval ia_approve_revision {
+  name "IA Approves Certificate Revision"
+  actor issuing_authority
+  approve_by responsible_person_ia
+  approval_record { certificateAnnexes }
+  source { doc "PD-05 §8.1" clause "" }
+}
+