@oimlsmart/primmel-packages 0.6.0 → 0.7.0

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 {
 }
 

package/oiml-r91/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 91-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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@oimlsmart/primmel-packages",
-  "version": "0.6.0",
+  "version": "0.7.0",
   "description": "The OIML SMART platform's authoritative model content: every Recommendation, the OIML-CS scheme, the CASCO foundations, the shared modules, and the product/program reference packages as Primmel (.prl) packages — the single source of truth the platform's data trees regenerate from. Consumed by the smart monorepo (oimlsmart/smart) at a pinned version (TODO.repos/02).",
   "type": "module",
   "repository": {
@@ -12,6 +12,6 @@
   },
   "license": "MIT",
   "devDependencies": {
-    "@primmel/primmel": "^1.14.0"
+    "@primmel/primmel": "^1.17.0"
   }
 }