@oimlsmart/primmel-packages 0.5.0 → 0.7.0

package/oiml-r60/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 60-3 form identifiers"
   guard "TestRequest.assigned_laboratory_id is accredited for the requested accuracy classes"
+  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-r60/execution/test-report-checklist.prl

@@ -0,0 +1,20 @@
+# OIML R 60 — OVERLAY on the OIML-CS test-report checklist (TODO.roadmap/13/15).
+# The R 60-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('04-07-sample-selection')"
+  }
+  entry test_facility {
+    source "04-10 test-equipment forms"
+  }
+  entry instrument_setup {
+    validation "form_contains('04-05-load-cell-type-info')"
+  }
+  entry adjustments {
+    source "04-07-sample-selection form (§4.8)"
+  }
+}

package/oiml-r60/package.primmel

@@ -6,7 +6,7 @@ package {
   editions { 2021 2017 2000 1996 }
   baseUrn "urn:oiml:pub:r:60:2021"
   uses { iso-iec-17000 iso-iec-17065 iso-iec-17025 iso-iec-17067 oiml-cs oiml-smart-core oiml-smart-module-specimen-governance }
-  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 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 sample-selection-rules eut-continuity-contract test-execution-entities }
   supersedes { urn:oiml:pub:r:60:2017 }
   validity { from 2021-01-01 }
   status current

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

@@ -1,3 +1,45 @@
 # .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."
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway field_test_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: conduct_stationary_field_test / conduct_moving_field_tests / conduct_both_field_tests name the mode-of-use branches (stationary / moving / dual-mode) the field-test setup reads from the generated routing cascade."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway measurement_count_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: field_test_500 / field_test_100 name the measurement-count floor branches (R 91-2, 4.4: >= 500 automatic / >= 100 manual)."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway category_tests_gateway: edge * targets \"*\", which is not a declared process (gateway-edges-resolve)"
+  reason "Routing markers, not process ids: the five working_principle branches (doppler-radar / range-finding / average-speed / fixed-distance / image-based) name the R 91-2, 7.1–7.5 category test sets."
+  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"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway measurement_count_gateway: no default edge — the first-match-wins cascade needs its catch-all (gateway-edges-resolve)"
+  reason "The conditions are EXHAUSTIVE over the triggering dimension domain (automatic/manual — model/instrument.yaml): both values carry an edge, so a default edge could never fire."
+  audit_ref "TODO.roadmap/40"
+}
+allowlist_entry {
+  rule C142
+  match "exclusive_gateway category_tests_gateway: no default edge — the first-match-wins cascade needs its catch-all (gateway-edges-resolve)"
+  reason "The conditions are EXHAUSTIVE over the working_principle dimension domain (doppler-radar, range-finding, fixed-distance, image-based, average-speed — model/instrument.yaml): all five values carry an edge, so a default edge could never fire."
+  audit_ref "TODO.roadmap/40"
+}

package/oiml-r91/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-r91/evaluation/gateways.prl

@@ -0,0 +1,34 @@
+exclusive_gateway field_test_gateway {
+  label "Determine Required Metrological Field Tests"
+  edge conduct_stationary_field_test { condition "[mode_of_use] in ['stationary']" label "Stationary field test (R 91-2, 4)" }
+  edge conduct_moving_field_tests { condition "[mode_of_use] in ['moving']" label "Moving field test + ego field test (R 91-2, 7.7.1/7.7.2)" }
+  edge conduct_both_field_tests { condition default label "Dual-mode: stationary and moving programmes" }
+}
+
+exclusive_gateway measurement_count_gateway {
+  label "Determine Field-Test Measurement Count Floor"
+  edge field_test_500 { condition "[triggering] in ['automatic']" label ">= 500 valid measurements (automatic)" }
+  edge field_test_100 { condition "[triggering] in ['manual']" label ">= 100 valid measurements (manual)" }
+}
+
+exclusive_gateway category_tests_gateway {
+  label "Determine Category-Specific Tests"
+  edge doppler_radar_tests { condition "[working_principle] in ['doppler-radar']" label "Doppler-radar tests (R 91-2, 7.1)" }
+  edge range_finding_tests { condition "[working_principle] in ['range-finding']" label "Range-finding tests (R 91-2, 7.2)" }
+  edge average_speed_tests { condition "[working_principle] in ['average-speed']" label "Average-speed + inherited fixed-distance tests (R 91-2, 7.3/7.4)" }
+  edge fixed_distance_tests { condition "[working_principle] in ['fixed-distance']" label "Fixed-distance tests (R 91-2, 7.4)" }
+  edge image_based_tests { condition "[working_principle] in ['image-based']" label "Image-based tests (R 91-2, 7.5)" }
+}
+
+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 (6.21: presumed non-compliant)" }
+}
+
+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-r91/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/mpe-stationary /req/metrological/linearity-limit /req/category-moving/mpe-moving /req/category-moving/ego-speed /req/metrological/disturbances /req/metrological/influence-quantities }
+  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 { field_test_gateway measurement_count_gateway category_tests_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 {
 }