@oimlsmart/primmel-packages 0.5.0 → 0.7.0

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-r129/execution/test-report-checklist.prl

@@ -0,0 +1,20 @@
+# OIML R 129 — OVERLAY on the OIML-CS test-report checklist (TODO.roadmap/13/15).
+# The R 129-bound source/validation strings of the four checklist entries that
+# name rec forms (scalar override per entry — the kernel's B3.10 deep merge).
+# Kernel-native overlay (overlay true): NOT a standalone definition — the
+# composer merges these scalars onto the oiml-cs base register at load time.
+test_report_checklist oiml-cs-trf {
+  overlay true
+  entry sample_identification {
+    validation "form_contains('identification')"
+  }
+  entry test_facility {
+    source "equipment-info form"
+  }
+  entry instrument_setup {
+    validation "form_contains('identification')"
+  }
+  entry adjustments {
+    source "adjustments-modifications form"
+  }
+}

package/oiml-r129/package.primmel

@@ -6,7 +6,7 @@ package {
   editions { 2020 }
   baseUrn "urn:oiml:pub:r:129:2020"
   uses { iso-iec-17000 iso-iec-17065 iso-iec-17025 iso-iec-17067 oiml-cs oiml-smart-core oiml-smart-module-specimen-governance oiml-smart-module-emc-disturbances oiml-smart-module-env-iec60068 }
-  requires { core subject-chain-entities party-entities workflow-entities evaluation-skeleton iso-iec-17000 ca-terminology-17000 iso-iec-17025 lab-requirements-17025 ca-terminology-17025 iso-iec-17065 cb-requirements-17065 ca-terminology-17065 iso-iec-17067 scheme-content-requirements-17067 ca-terminology-17067 oiml-cs cs-process-requirements cs-abstract-processes cs-certificate-requirements cs-framework-participants cs-framework-schemes cs-framework-declarations cs-framework-documents cs-framework-governance cs-document-pd-03 cs-document-pd-04 cs-document-pd-02 cs-document-pd-01 cs-document-pd-06 cs-document-pd-07 cs-document-pd-08 cs-document-pd-09 cs-document-cid-01 cs-document-od-01 cs-document-od-02 disturbance-test-skeletons disturbance-form-skeletons disturbance-verdict-variants env-method-skeletons env-form-skeletons sample-selection-rules eut-continuity-contract test-execution-entities }
+  requires { core subject-chain-entities party-entities workflow-entities evaluation-skeleton iso-iec-17000 ca-terminology-17000 iso-iec-17025 lab-requirements-17025 ca-terminology-17025 iso-iec-17065 cb-requirements-17065 ca-terminology-17065 iso-iec-17067 scheme-content-requirements-17067 ca-terminology-17067 oiml-cs cs-process-requirements cs-abstract-processes cs-trf-checklist cs-certificate-requirements cs-framework-participants cs-framework-schemes cs-framework-declarations cs-framework-documents cs-framework-governance cs-document-pd-03 cs-document-pd-04 cs-document-pd-02 cs-document-pd-01 cs-document-pd-06 cs-document-pd-07 cs-document-pd-08 cs-document-pd-09 cs-document-cid-01 cs-document-od-01 cs-document-od-02 disturbance-test-skeletons disturbance-form-skeletons disturbance-verdict-variants env-method-skeletons env-form-skeletons sample-selection-rules eut-continuity-contract test-execution-entities }
   validity { from 2020-01-01 }
   status current
   default_spelling eng-Latn

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 "" }
+}
+

package/oiml-r144/evaluation/gateways.prl

@@ -0,0 +1,36 @@
+exclusive_gateway gas_handling_gateway {
+  label "Gas Handling Test Applicability"
+  edge flow_spillover_and_leakproofness_tests { condition "[sampling_approach] in ['extractive']" label "Extractive: flow spillover + leakproofness required" }
+  edge skip_gas_handling_tests { condition default label "In-situ: not applicable" }
+}
+
+exclusive_gateway low_battery_gateway {
+  label "Low Battery Test Applicability"
+  edge low_battery_test { condition "[power_supply] in ['battery', 'ac-and-battery']" label "Battery-powered: low battery test required" }
+  edge skip_low_battery_test { condition default label "AC mains only: not applicable" }
+}
+
+exclusive_gateway signal_line_gateway {
+  label "Signal Line Disturbance Test Applicability"
+  edge bursts_signal_and_surge_tests { condition "[capabilities] contains 'data-interface'" label "Data interface fitted: bursts/surges on signal lines required" }
+  edge skip_signal_line_tests { condition default label "No signal/data/control lines: not applicable" }
+}
+
+exclusive_gateway drift_gateway {
+  label "Drift Test Applicability"
+  edge drift_test { condition "[adjustment_means] in ['semi-automatic', 'automatic']" label "Drift test required (R 144-1, 4.8)" }
+  edge skip_drift_test { condition default label "Manual adjustment: 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" }
+}
+
+exclusive_gateway mtl_gateway {
+  label "Manufacturer Test Lab Routing"
+  edge accept_mtl_report { condition "[lab_kind] = 'manufacturer_test_lab' and [scheme] = 'A'" label "Accept MTL results (Scheme A)" }
+  edge require_independent_tl { condition default label "Independent TL required" }
+}
+

package/oiml-r144/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/measurement-units /req/metrological/measuring-range /req/metrological/mpe-intrinsic /req/metrological/mpe-operating /req/metrological/repeatability /req/metrological/rated-conditions /req/metrological/cross-sensitivity /req/metrological/vibration /req/metrological/disturbances /req/metrological/response-time /req/metrological/warm-up-time /req/metrological/drift }
+  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 { gas_handling_gateway low_battery_gateway signal_line_gateway drift_gateway test_result_gateway mtl_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 {
 }