@oimlsmart/primmel-packages 0.4.0 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (33) hide show
  1. package/oiml-cs/.primmel-allowlist.prl +7 -0
  2. package/oiml-cs/evaluation/abstract-processes.prl +454 -0
  3. package/oiml-cs/framework/declarations.prl +1 -1
  4. package/oiml-cs/framework/documents/cid-01/abstract-processes.prl +112 -0
  5. package/oiml-cs/framework/documents/cid-01/requirements.prl +99 -0
  6. package/oiml-cs/framework/documents/od-01/abstract-processes.prl +157 -0
  7. package/oiml-cs/framework/documents/od-01/requirements.prl +138 -0
  8. package/oiml-cs/framework/documents/od-02/abstract-processes.prl +119 -0
  9. package/oiml-cs/framework/documents/od-02/requirements.prl +75 -0
  10. package/oiml-cs/framework/documents/pd-01/abstract-processes.prl +209 -0
  11. package/oiml-cs/framework/documents/pd-01/requirements.prl +117 -0
  12. package/oiml-cs/framework/documents/pd-02/abstract-processes.prl +217 -0
  13. package/oiml-cs/framework/documents/pd-02/requirements.prl +126 -0
  14. package/oiml-cs/framework/documents/pd-03/abstract-processes.prl +348 -0
  15. package/oiml-cs/framework/documents/pd-03/annex-d032.prl +48 -0
  16. package/oiml-cs/framework/documents/pd-03/requirements.prl +162 -0
  17. package/oiml-cs/framework/documents/pd-04/abstract-processes.prl +295 -0
  18. package/oiml-cs/framework/documents/pd-04/annex-d030.prl +54 -0
  19. package/oiml-cs/framework/documents/pd-04/requirements.prl +140 -0
  20. package/oiml-cs/framework/documents/pd-06/abstract-processes.prl +152 -0
  21. package/oiml-cs/framework/documents/pd-06/requirements.prl +122 -0
  22. package/oiml-cs/framework/documents/pd-07/abstract-processes.prl +99 -0
  23. package/oiml-cs/framework/documents/pd-07/requirements.prl +84 -0
  24. package/oiml-cs/framework/documents/pd-08/abstract-processes.prl +102 -0
  25. package/oiml-cs/framework/documents/pd-08/requirements.prl +82 -0
  26. package/oiml-cs/framework/documents/pd-09/abstract-processes.prl +234 -0
  27. package/oiml-cs/framework/documents/pd-09/requirements.prl +82 -0
  28. package/oiml-cs/package.primmel +1 -1
  29. package/oiml-r129/package.primmel +1 -1
  30. package/oiml-r144/package.primmel +1 -1
  31. package/oiml-r60/package.primmel +1 -1
  32. package/oiml-r91/package.primmel +1 -1
  33. package/package.json +2 -2
@@ -0,0 +1,209 @@
1
+ # OIML-CS DOCUMENT MODULE PD-01 — ABSTRACT PROCESSES
2
+ # -----------------------------------------------------------------------------
3
+ # The PD-01 Edition 3 remedy processes as ABSTRACT processes
4
+ # (TODO.roadmap/43; abstract form per TODO.roadmap/02):
5
+ #
6
+ # appeal_to_boa → boa_adjudication (the 8 → 9 chain)
7
+ # complaint_handling (6.2/6.3/6.4 — off-sequence)
8
+ # certificate_deregistration (6.2 consequence — off-sequence)
9
+ # dispute_escalation (7 — off-sequence)
10
+ #
11
+ # The BoA organ and its ruling rule REFERENCE the task-40 framework model
12
+ # (framework/participants.prl board_of_appeal; framework/governance.prl
13
+ # boa-appeal-rulings) — never restate it; the consumer's linker rule R26
14
+ # (document-pipeline-references) resolves every reference. The
15
+ # Executive-Secretary investigation a certificate issued on incorrect
16
+ # conclusions undergoes here is the procedure PD-05 §7.1 defers to (the
17
+ # abstract incorrect_conclusions flow of evaluation/abstract-processes.prl).
18
+ #
19
+ # TODO.roadmap/45 REALIZED the appeal chain, the complaint flow and the
20
+ # deregistration consequence: realized_by binds the concrete Core
21
+ # processes (handle_appeal, handle_complaint, deregister_certificate), the
22
+ # signature stores are the runtime's cs-operations entity classes
23
+ # (data/core/entities/cs-operations.yaml), and the one-month windows are
24
+ # the structured windows facets below, executed by
25
+ # browser/src/data/cs-operations.ts (never restated in TS).
26
+ # dispute_escalation stays unrealized (a named gap in the unified coverage
27
+ # report — the PD-01, 7 CIML-Member mediation is off-platform
28
+ # correspondence).
29
+ #
30
+ # Clause anchors VERIFIED against the official published PDF
31
+ # (reference-docs/cs/docs/oiml-cs-pd-01-edition-3.pdf; task 46,
32
+ # 2026-07-24) — the local XML's 0.x numbering is never cited (see the
33
+ # requirements.prl header for the 6.x/8.x reconstruction correction).
34
+ #
35
+ # This file is the single source of truth; the consumer's
36
+ # data/oiml-cs/documents/pd-01/abstract-processes.yaml is its GENERATED YAML
37
+ # twin (cd browser && npm run gen:data; schema data/schemas/abstract-processes.yaml).
38
+ # The realized_by edges name CONCRETE processes of the rec packages —
39
+ # unresolvable under the standalone package check, covered by the one glob
40
+ # allowlist entry (C121; dies when the gates check composed).
41
+ process appeal_to_boa {
42
+ name "Appeal to the Board of Appeal"
43
+ summary "An applicant for OIML type evaluation and certification appeals against an OIML Issuing Authority's decision — but ONLY after exhausting that Issuing Authority's own appeal procedure, where applicable (8.2.1); an OIML Issuing Authority, Utilizer or Associate (including applicants for participation, 8.1 Note) appeals against a Management Committee decision (8.3). Both appeal in writing to the Executive Secretary WITHIN ONE MONTH — of being informed of the decision (8.2.2), or of concluding that no agreement can be reached (8.3) — setting out all reasons."
44
+ validate_provision {
45
+ /req/cs/pd-01/appeal-applicant-exhaustion
46
+ /req/cs/pd-01/appeal-participant-window
47
+ }
48
+ signature {
49
+ out { appeals }
50
+ }
51
+ invariants {
52
+ "[appeal].lodged_within_days <= 31"
53
+ "[appeal].appellant_kind = 'applicant' implies ([appeal].ia_appeal_outcome is not null or [appeal].ia_procedure_applicable = false)"
54
+ "[appeal].reasons is not null"
55
+ }
56
+ activity_kind { appeal }
57
+ organs { executive_secretary }
58
+ participant_kinds { applicant issuing_authority utilizer associate }
59
+ evidence {
60
+ written_appeal { description "The written appeal to the Executive Secretary setting out all reasons, dated within the one-month window." required true }
61
+ ia_procedure_exhaustion { description "For an applicant appeal: evidence that the Issuing Authority's own appeal procedure was used first (its outcome), or that the procedure is not applicable (8.2.1)." required true }
62
+ }
63
+ realized_by { handle_appeal }
64
+ windows {
65
+ window lodging_window {
66
+ kind max_elapsed
67
+ clause "PD-01, 8.2/8.3"
68
+ anchor informed_at
69
+ applies_to lodged_at
70
+ window { months 1 }
71
+ breach rule_inadmissible
72
+ description "The written appeal reaches the Executive Secretary WITHIN ONE MONTH — of the appellant being informed of the IA's decision (8.2.2), or of the participant concluding that no agreement can be reached (8.3). A late appeal is ruled inadmissible (the appeal_case machine's rule_inadmissible hop to INADMISSIBLE)."
73
+ }
74
+ }
75
+ executor actor
76
+ source { doc "PD-01, 8" clause "" }
77
+ }
78
+
79
+ process boa_adjudication {
80
+ name "BoA adjudication"
81
+ summary "The Board of Appeal considers the case — normally in person, online or by correspondence with all parties' consent; the Executive Secretary circulates all relevant information at least one month before the meeting; the case is confidential; the parties may use expert advisers; only the BoA and the Executive Secretary (non-voting secretary) are present. Decisions pass by simple majority with the Chairperson's casting vote; the written decision issues WITHIN ONE MONTH. A BoA decision upholding an appeal against a Management Committee decision is BINDING on the MC and cannot be appealed further; decisions are reported to the next MC meeting anonymized on request; the MC decides the steps when a participant ignores a BoA decision."
82
+ validate_provision {
83
+ /req/cs/pd-01/boa-composition
84
+ /req/cs/pd-01/boa-procedure
85
+ /req/cs/pd-01/boa-decision-binding
86
+ }
87
+ signature {
88
+ in { appeals }
89
+ out { appeals }
90
+ }
91
+ invariants {
92
+ "[appeal].information_circulated_days_before >= 31"
93
+ "[appeal].decision_issued_within_days <= 31"
94
+ "[appeal].upheld_against_mc_decision = true implies [appeal].binding_on_mc = true and [appeal].further_appeal_possible = false"
95
+ "[boa_case].mc_member_or_representative_in_panel = false"
96
+ }
97
+ activity_kind { decision }
98
+ organs { board_of_appeal executive_secretary }
99
+ evidence {
100
+ case_file { description "The complete case information circulated to the BoA and the parties at least one month before consideration." required true }
101
+ written_decision { description "The BoA's written decision, issued within one month of consideration, with the anonymized report to the next Management Committee meeting where requested." required true }
102
+ }
103
+ decision { rule boa-appeal-rulings clause "PD-01, 9" }
104
+ realized_by { handle_appeal }
105
+ windows {
106
+ window circulation_lead_time {
107
+ kind min_elapsed
108
+ clause "PD-01, 9"
109
+ anchor information_circulated_at
110
+ applies_to considered_at
111
+ window { months 1 }
112
+ description "All relevant information is circulated to the BoA Chairperson and members and to the parties AT LEAST ONE MONTH before the meeting at which the case is considered (9)."
113
+ }
114
+ window decision_window {
115
+ kind max_elapsed
116
+ clause "PD-01, 9"
117
+ anchor considered_at
118
+ applies_to decision_issued_at
119
+ window { months 1 }
120
+ description "The BoA gives its written decision WITHIN ONE MONTH after the case has been considered (9)."
121
+ }
122
+ }
123
+ executor actor
124
+ source { doc "PD-01, 9" clause "" }
125
+ }
126
+
127
+ process complaint_handling {
128
+ name "Complaint resolution"
129
+ summary "Three complaint kinds, all to the Executive Secretary with documented and substantiated evidence (6): incorrect technical conclusions or procedures underlying an issued OIML type evaluation report (6.2 — the owner and the MC are notified; the Executive Secretary investigates with the Review Committee's advice; upheld ⇒ the certificate is deregistered and the IA corrects the report); non-acceptance of reports/certificates by a Utilizer or Associate (6.3 — the MC may amend the Utilizer/Associate scope with consequential IA-scope amendments); expressions of dissatisfaction with the OIML-CS (6.4 — reported to the MC with recommended actions where upheld)."
130
+ validate_provision {
131
+ /req/cs/pd-01/complaint-incorrect-conclusions
132
+ /req/cs/pd-01/complaint-non-acceptance
133
+ /req/cs/pd-01/complaint-dissatisfaction
134
+ }
135
+ signature {
136
+ out { complaints }
137
+ }
138
+ invariants {
139
+ "[complaint].evidence is not null"
140
+ "[complaint].kind = 'incorrect_conclusions' implies [complaint].rc_advice is not null"
141
+ "[complaint].upheld = true implies [complaint].recommended_actions is not null"
142
+ }
143
+ activity_kind { complaint }
144
+ organs { executive_secretary review_committee management_committee }
145
+ evidence {
146
+ complaint_record { description "The complaint with its documented and substantiated evidence, the notification to the report owner / Utilizer / Associate and to the Management Committee." required true }
147
+ investigation_record { description "The Executive Secretary's investigation with the Review Committee's advice (6.2) and the recommended actions reported to the Management Committee." required true }
148
+ }
149
+ realized_by { handle_complaint }
150
+ executor actor
151
+ source { doc "PD-01, 6" clause "" }
152
+ }
153
+
154
+ process certificate_deregistration {
155
+ name "Deregistration for incorrect conclusions"
156
+ summary "The consequence of an upheld incorrect-conclusions complaint: the corresponding OIML certificate is deregistered from the OIML-CS website and the OIML Issuing Authority takes appropriate action to correct the OIML type evaluation report; the Issuing Authority may appeal the deregistration decision (8.3). This is the PD-01 half of the PD-05 §7.1 procedure (/req/cs/incorrect-conclusions — the Executive Secretary consults the IA, then this clause-6 procedure applies)."
157
+ validate_provision {
158
+ /req/cs/pd-01/complaint-incorrect-conclusions
159
+ }
160
+ signature {
161
+ in { complaints certificates }
162
+ out { certificates }
163
+ }
164
+ invariants {
165
+ "[certificate].deregistered = true implies [evaluation_report].correction_action is not null"
166
+ }
167
+ activity_kind { withdrawal }
168
+ organs { executive_secretary biml }
169
+ participant_kinds { issuing_authority }
170
+ evidence {
171
+ deregistration_record { description "The deregistration of the certificate from the OIML-CS website with the Issuing Authority's correction of the type evaluation report." required true }
172
+ }
173
+ realized_by { deregister_certificate }
174
+ executor actor
175
+ source { doc "PD-01, 6.2" clause "" }
176
+ }
177
+
178
+ process dispute_escalation {
179
+ name "Dispute resolution and escalation"
180
+ summary "A dispute — an applicant's over an OIML type evaluation report, or a participant's over the incorrect application of the OIML-CS rules and procedures (including non-acceptance without appropriate justification, 7.1 Note) — goes first to the parties with the appropriate CIML Member mediating; unresolved, the parties give the Executive Secretary a written explanation and the Executive Secretary raises it with the Board of Appeal."
181
+ validate_provision {
182
+ /req/cs/pd-01/dispute-resolution
183
+ }
184
+ signature {
185
+ out { disputes }
186
+ }
187
+ invariants {
188
+ "[dispute].escalated = true implies [dispute].written_explanation is not null"
189
+ "[dispute].escalated = true implies [dispute].mediation_attempted = true"
190
+ }
191
+ activity_kind { complaint }
192
+ organs { executive_secretary ciml board_of_appeal }
193
+ participant_kinds { applicant issuing_authority utilizer associate }
194
+ evidence {
195
+ dispute_record { description "The dispute notification to the Executive Secretary with the parties identified." required true }
196
+ written_explanation { description "The parties' written explanation when mediation fails — the escalation input to the Board of Appeal." required true }
197
+ }
198
+ executor actor
199
+ source { doc "PD-01, 7" clause "" }
200
+ }
201
+
202
+ document_module pd-01 {
203
+ document "OIML-CS PD-01"
204
+ title "Appeals, Resolution of Complaints and Disputes"
205
+ edition "3"
206
+ year 2024
207
+ namespace /req/cs/pd-01
208
+ sequence { appeal_to_boa boa_adjudication }
209
+ }
@@ -0,0 +1,117 @@
1
+ # OIML-CS DOCUMENT MODULE PD-01 — NORMATIVE PROVISIONS (/req/cs/pd-01/*)
2
+ # -----------------------------------------------------------------------------
3
+ # OIML-CS PD-01 Edition 3 (approved 2024-08-26, electronic ballot) — the
4
+ # scheme's post-decision remedies: the Board of Appeal (BoA) composition
5
+ # and procedure, the one-month appeal windows with the
6
+ # IA-procedure-exhausted precondition, the binding force of BoA rulings on
7
+ # the MC, complaint resolution (including deregistration of a certificate
8
+ # whose type evaluation report rests on incorrect technical conclusions,
9
+ # 6.2), and dispute handling.
10
+ #
11
+ # MECE: the BoA's IDENTITY and mandate live in the task-40 framework model
12
+ # (framework/participants.prl board_of_appeal — B 18:2025 §13; the
13
+ # boa-appeal-rulings decision rule in framework/governance.prl); this
14
+ # module holds the PD-01 PROCEDURE, never restates the framework. The
15
+ # Executive-Secretary investigation of a certificate issued on incorrect
16
+ # conclusions (6.2) is the procedure PD-05 §7.1 defers to
17
+ # (/req/cs/incorrect-conclusions); the PD-05-side provision stays in
18
+ # specification/requirements/cs.prl.
19
+ #
20
+ # NUMBERING: clause anchors VERIFIED against the official published PDF
21
+ # (reference-docs/cs/docs/oiml-cs-pd-01-edition-3.pdf, retrieved
22
+ # 2026-07-24; task 46). CORRECTED 2026-07-24 — corpus C's reconstruction
23
+ # numbered the complaint subclauses 6.1/6.2/6.3 and the appeal subclauses
24
+ # 8.1/8.2; the official PDF numbers clause 6 with a 6.1 topic-list lead-in
25
+ # (6.2 incorrect technical conclusions, 6.3 non-acceptance, 6.4 expressions
26
+ # of dissatisfaction) and clause 8 with an 8.1 right-of-appeal lead-in
27
+ # (8.2 appeals by applicants — 8.2.1 IA-procedure-first, 8.2.2 one-month
28
+ # window; 8.3 appeals by IAs/Utilizers/Associates). The official notes:
29
+ # one Note under 6.4 (suggestions for improvement), one under 7.1
30
+ # (non-acceptance without appropriate justification), one under 8.1
31
+ # (applicant organizations also have the right of appeal) — there is no
32
+ # "Note 3" under clause 8. The local presentation XML
33
+ # (data/oiml-cs-pd-01/) is a defective build (empty <sections>, body
34
+ # renumbered) and is never cited.
35
+ #
36
+ # This file is the single source of truth; the consumer's
37
+ # data/oiml-cs/documents/pd-01/requirements.yaml is its GENERATED YAML twin
38
+ # (cd browser && npm run gen:data).
39
+ requirement_class /req/cs/pd-01 {
40
+ title "OIML-CS appeals, complaints and disputes requirements"
41
+ name "Appeals, Resolution of Complaints and Disputes (PD-01)"
42
+ description "Provisions of OIML-CS PD-01 Edition 3 governing appeals against Management Committee and Issuing Authority decisions, the resolution of complaints (incorrect technical conclusions, non-acceptance, dissatisfaction) and disputes, and the operating procedure of the Board of Appeal. Enforced by the abstract processes of this module (abstract-processes.yaml); the BoA actor and its ruling rule are the task-40 framework model (framework/)."
43
+ subject "OIML-CS post-decision remedies — Board of Appeal, complaints, disputes"
44
+ }
45
+
46
+ requirement /req/cs/pd-01/boa-composition {
47
+ name "BoA composition and appointment"
48
+ statement "The Board of Appeal is composed per OIML B 18, 13.1 — a Chairperson and four members, all appointed by the CIML (PD-01, 4.1/4.2). Management Committee Members and representatives cannot be appointed; members serve three-year terms with one re-appointment; nobody serves in a case involving an OIML Issuing Authority or Test Laboratory of their own country; the Executive Secretary acts as the non-voting BoA secretary. CIML Members are given at least one month to review nominations ahead of the appointment vote."
49
+ obligation shall
50
+ verification { method inspection description "BoA composition evidence of the adjudication step (abstract process boa_adjudication)." }
51
+ source { doc "PD-01, 4.1/4.2" clause "" }
52
+ }
53
+
54
+ requirement /req/cs/pd-01/complaint-incorrect-conclusions {
55
+ name "Complaint of incorrect technical conclusions"
56
+ statement "A complaint may be submitted to the Executive Secretary with documented and substantiated evidence that an OIML type evaluation report was issued on the basis of incorrect technical conclusions or procedures (PD-01, 6.2). The Executive Secretary shall notify the report owner and the Management Committee, investigate, and seek the Review Committee's advice; if the complaint is upheld, the corresponding OIML certificate is deregistered from the OIML-CS website and the OIML Issuing Authority shall take appropriate action to correct the report. The Issuing Authority has the right to appeal the deregistration decision. (This is the procedure PD-05 §7.1 defers to — /req/cs/incorrect-conclusions.)"
57
+ obligation shall
58
+ verification { method inspection description "The incorrect-conclusions complaint flow (abstract process complaint_handling; deregistration consequence certificate_deregistration)." }
59
+ source { doc "PD-01, 6.2" clause "" }
60
+ }
61
+
62
+ requirement /req/cs/pd-01/complaint-non-acceptance {
63
+ name "Complaint of non-acceptance"
64
+ statement "A complaint may be submitted to the Executive Secretary with documented and substantiated evidence regarding a Utilizer's or Associate's decision not to accept an OIML test report, OIML type evaluation report and/or OIML certificate (PD-01, 6.3). The Executive Secretary shall notify the Utilizer or Associate and the Management Committee and investigate; the Management Committee may amend the scope of the Utilizer or Associate, with potential consequential amendments to the scope of the OIML Issuing Authority(ies) of the same Member State. The Utilizer or Associate has the right to appeal the Management Committee's decision."
65
+ obligation shall
66
+ verification { method inspection description "The non-acceptance complaint flow (abstract process complaint_handling)." }
67
+ source { doc "PD-01, 6.3" clause "" }
68
+ }
69
+
70
+ requirement /req/cs/pd-01/complaint-dissatisfaction {
71
+ name "Expression of dissatisfaction"
72
+ statement "An expression of dissatisfaction regarding the OIML-CS may be brought to the Management Committee Chairperson, the Deputy Chairperson, a Management Committee Member or the Executive Secretary; anyone other than the Executive Secretary shall notify the Executive Secretary, who investigates and — where the expression is upheld — reports to the Management Committee with recommended actions (PD-01, 6.4; the same process applies to suggestions for improvement, 6.4 Note)."
73
+ obligation shall
74
+ verification { method inspection description "The dissatisfaction flow (abstract process complaint_handling)." }
75
+ source { doc "PD-01, 6.4" clause "" }
76
+ }
77
+
78
+ requirement /req/cs/pd-01/dispute-resolution {
79
+ name "Dispute resolution"
80
+ statement "The Executive Secretary shall be contacted in the event of a dispute initiated by an applicant regarding an OIML type evaluation report, or by an OIML Issuing Authority, Utilizer or Associate regarding the incorrect application of the OIML-CS rules and procedures (PD-01, 7 — including non-acceptance without appropriate justification, 7.1 Note). The appropriate CIML Member may represent their participant and shall attempt to resolve the issue between the parties; where the issue cannot be resolved, the parties provide a written explanation to the Executive Secretary, who raises it with the Board of Appeal."
81
+ obligation shall
82
+ verification { method inspection description "The dispute flow (abstract process dispute_escalation)." }
83
+ source { doc "PD-01, 7" clause "" }
84
+ }
85
+
86
+ requirement /req/cs/pd-01/appeal-applicant-exhaustion {
87
+ name "Appeal by an applicant — IA procedure exhausted first"
88
+ statement "An applicant for OIML type evaluation and certification who wishes to appeal against a decision of an OIML Issuing Authority shall first appeal according to the appeal procedure of that Issuing Authority, where that procedure is applicable (PD-01, 8.2.1). Only if not satisfied with the outcome — and of the opinion that the decision goes against the OIML-CS rules and procedures — or if the Issuing Authority's appeal procedure is not applicable, may the applicant submit an appeal in writing to the Executive Secretary within one month after having been informed of the decision, setting out all reasons for the appeal."
89
+ obligation shall
90
+ verification { method inspection description "The applicant-appeal preconditions (abstract process appeal_to_boa; its invariants)." }
91
+ source { doc "PD-01, 8.2" clause "" }
92
+ }
93
+
94
+ requirement /req/cs/pd-01/appeal-participant-window {
95
+ name "Appeal by an Issuing Authority, Utilizer or Associate — one-month window"
96
+ statement "An OIML Issuing Authority, Utilizer or Associate wishing to appeal against a decision of the Management Committee shall do so in writing to the Executive Secretary within one month after having concluded that it cannot reach an agreement, setting out its reasons in full (PD-01, 8.3). Organizations that have applied to become an Issuing Authority, Utilizer or Associate have the same right of appeal (PD-01, 8.1 Note)."
97
+ obligation shall
98
+ verification { method inspection description "The participant-appeal window (abstract process appeal_to_boa; its invariants)." }
99
+ source { doc "PD-01, 8.3" clause "" }
100
+ }
101
+
102
+ requirement /req/cs/pd-01/boa-procedure {
103
+ name "BoA procedure"
104
+ statement "The BoA normally meets in person (online or by correspondence with the consent of all parties); all relevant information shall be circulated by the Executive Secretary to the BoA Chairperson and members and to the parties at least one month before the meeting; the case is dealt with confidentially; each party may use an expert adviser; only the BoA Chairperson, the four members and the Executive Secretary are present during adjudication; decisions are taken by simple majority with the Chairperson's casting vote on a tie; the BoA gives its decision in writing within one month after the case has been considered (PD-01, 9)."
105
+ obligation shall
106
+ verification { method inspection description "The adjudication discipline (abstract process boa_adjudication; its invariants)." }
107
+ source { doc "PD-01, 9" clause "" }
108
+ }
109
+
110
+ requirement /req/cs/pd-01/boa-decision-binding {
111
+ name "BoA decision binding on the MC"
112
+ statement "Where the BoA upholds an appeal against a Management Committee decision, the BoA decision is binding upon the Management Committee and cannot be subsequently appealed (PD-01, 9). BoA decisions are presented to the Management Committee at its next meeting without revealing the identity of the parties where any party so requests; when an OIML Issuing Authority, Utilizer or Associate does not follow a BoA decision, the Management Committee shall decide on the appropriate steps to be taken."
113
+ obligation shall
114
+ verification { method inspection description "The binding-ruling invariant (abstract process boa_adjudication; its invariants)." }
115
+ source { doc "PD-01, 9" clause "" }
116
+ }
117
+
@@ -0,0 +1,217 @@
1
+ # OIML-CS DOCUMENT MODULE PD-02 — ABSTRACT PROCESSES
2
+ # -----------------------------------------------------------------------------
3
+ # The PD-02 Edition 3 expert-approval pipeline as ABSTRACT processes
4
+ # (TODO.roadmap/42):
5
+ #
6
+ # nomination → RC review → MC vote → NDA → expert-list publication
7
+ #
8
+ # plus the off-sequence flows: change of scope and the four-year
9
+ # monitoring cycle. The pipeline's organ actors and its MC decision
10
+ # mechanics REFERENCE the task-40 framework model (framework/) — never
11
+ # restate it; the consumer's linker rule R26 (document-pipeline-
12
+ # references) resolves every reference. The expert KINDS (LME/MSE) are the
13
+ # framework participant kinds (framework/participants.prl); the runtime
14
+ # Expert entity hook stays in Core (data/core/entities/parties.yaml).
15
+ #
16
+ # No Declaration is signed here — the expert analogue of the participant
17
+ # gate is the NDA (8.2): an expert enters the lists only after signing the
18
+ # BIML non-disclosure agreement. The task-40 signing gate does not apply
19
+ # to experts (its holder is the IA).
20
+ #
21
+ # TODO.roadmap/44–45: the pipeline is NOT executed by the runtime — the
22
+ # participant-approval machinery (data/core/evaluation/processes.yaml;
23
+ # browser/src/data/participant-registry.ts) operates IA/TL/Utilizer/
24
+ # Associate cases only: ParticipantApplication.kind declares no expert
25
+ # variant, so no expert nomination case can exist (task-45 review I-1).
26
+ # Every process of this module is therefore a NAMED GAP in the unified
27
+ # coverage report (browser/build/cs-coverage.ts).
28
+ #
29
+ # This file is the single source of truth; the consumer's
30
+ # data/oiml-cs/documents/pd-02/abstract-processes.yaml is its GENERATED YAML
31
+ # twin (cd browser && npm run gen:data; schema data/schemas/abstract-processes.yaml).
32
+ # The realized_by edges name CONCRETE processes of the rec packages —
33
+ # unresolvable under the standalone package check, covered by the one glob
34
+ # allowlist entry (C121; dies when the gates check composed).
35
+ process expert_nomination {
36
+ name "Expert nomination"
37
+ summary "An LME candidate applies individually on the LME Application Form for one or multiple instrument categories with their OIML Recommendations (7.1); an MSE candidate is nominated by an ILAC/IAF accreditation-body signatory of the matching scope (7.2.1 — Testing ISO/IEC 17025 for TL peer assessments, Product Certification ISO/IEC 17065 or Inspection ISO/IEC 17020 for IA assessments, with evidence of understanding the OIML-CS and D 32/D 30/D 37) or applies individually on the MSE Application Form (7.2.2)."
38
+ validate_provision {
39
+ /req/cs/pd-02/lme-nomination
40
+ /req/cs/pd-02/mse-nomination-accreditation-body
41
+ /req/cs/pd-02/mse-nomination-individual
42
+ }
43
+ signature {
44
+ out { expertApplications }
45
+ }
46
+ invariants {
47
+ "[expert_application].expert_kind is not null"
48
+ "[expert_application].expert_kind = 'legal_metrology_expert' implies [expert_application].categories.count >= 1"
49
+ }
50
+ activity_kind { selection }
51
+ organs { executive_secretary }
52
+ participant_kinds { legal_metrology_expert management_system_expert }
53
+ evidence {
54
+ application_form { description "The LME or MSE Application Form (individual), or the accreditation-body nomination with the scope evidence." required true }
55
+ }
56
+ executor actor
57
+ source { doc "PD-02, 7" clause "" }
58
+ }
59
+
60
+ process expert_rc_review {
61
+ name "RC review and recommendation"
62
+ summary "The Executive Secretary reviews the application and the Review Committee recommends on the candidate's approval — judging the performance-oriented competence criteria (OD-01, 13.2.1 for LMEs, 13.2.2 for MSEs) case by case."
63
+ validate_provision {
64
+ /req/cs/pd-02/lme-competence-criteria
65
+ /req/cs/pd-02/mse-competence-criteria
66
+ /req/cs/pd-02/review-and-decision
67
+ }
68
+ signature {
69
+ in { expertApplications }
70
+ out { expertApplications }
71
+ }
72
+ invariants {
73
+ "[expert_application].rc_recommendation is not null"
74
+ }
75
+ activity_kind { review }
76
+ organs { executive_secretary review_committee }
77
+ evidence {
78
+ rc_recommendation { description "The Review Committee's recommendation to the Management Committee on the expert's approval." required true }
79
+ }
80
+ executor actor
81
+ source { doc "PD-02, 8.1" clause "" }
82
+ }
83
+
84
+ process expert_mc_decision {
85
+ name "MC approval vote"
86
+ summary "The Management Committee votes on the expert's approval on the Review Committee's recommendation — an \"other proposal\" in the MC's voting mechanics (the 80 % threshold of B 18:2025 §11.4.2 is reserved to IA/TL participation decisions); rejection is with reasons and the applicant is notified. Appeals against expert decisions go to the Board of Appeal (framework/governance.yaml boa-appeal-rulings)."
87
+ validate_provision {
88
+ /req/cs/pd-02/review-and-decision
89
+ }
90
+ signature {
91
+ in { expertApplications }
92
+ out { expertApplications }
93
+ }
94
+ invariants {
95
+ "[expert_application].mc_decision is not null"
96
+ "[expert_application].mc_decision = 'REJECTED' implies [expert_application].rejection_reason is not null"
97
+ }
98
+ activity_kind { decision }
99
+ organs { management_committee }
100
+ evidence {
101
+ mc_decision_record { description "The MC decision record and the notification to the applicant (with reasons on rejection)." required true }
102
+ }
103
+ decision { rule ia-tl-participation-decisions clause "PD-02, 8.2" }
104
+ executor actor
105
+ source { doc "PD-02, 8.2" clause "" }
106
+ }
107
+
108
+ process expert_nda {
109
+ name "Non-disclosure agreement"
110
+ summary "The approved expert signs a non-disclosure agreement with the BIML — the precondition for entering the lists of experts."
111
+ validate_provision {
112
+ /req/cs/pd-02/nda
113
+ }
114
+ signature {
115
+ in { expertApplications }
116
+ out { expertApplications }
117
+ }
118
+ invariants {
119
+ "[expert_application].nda_signed = true"
120
+ }
121
+ organs { biml }
122
+ participant_kinds { legal_metrology_expert management_system_expert }
123
+ evidence {
124
+ signed_nda { description "The expert's non-disclosure agreement with the BIML." required true }
125
+ }
126
+ executor actor
127
+ source { doc "PD-02, 8.2" clause "" }
128
+ }
129
+
130
+ process expert_list_publication {
131
+ name "Expert list publication"
132
+ summary "The approved expert is added to the ILAC-IAF-OIML lists of experts published on the OIML-CS pages of the OIML website; ILAC and the IAF are notified for Management System Experts."
133
+ validate_provision {
134
+ /req/cs/pd-02/publication
135
+ }
136
+ signature {
137
+ in { expertApplications }
138
+ out { expertRegisters }
139
+ }
140
+ invariants {
141
+ "[register_entry].expert_id is not null"
142
+ }
143
+ organs { executive_secretary }
144
+ evidence {
145
+ register_entry { description "The expert's entry in the published ILAC-IAF-OIML lists (kind, instrument categories / assessment scopes), with the ILAC/IAF notification for MSEs." required true }
146
+ }
147
+ executor actor
148
+ source { doc "PD-02, 9" clause "" }
149
+ }
150
+
151
+ process expert_scope_change {
152
+ name "Expert change of scope"
153
+ summary "An expert extends or reduces their scope (instrument categories with their Recommendations, assessment scopes): extensions are processed by the 8.1/8.2 review procedure; reductions and removals are effected by notification only."
154
+ validate_provision {
155
+ /req/cs/pd-02/change-of-scope
156
+ }
157
+ signature {
158
+ in { expertRegisters }
159
+ out { expertRegisters }
160
+ }
161
+ invariants {
162
+ "[scope_change].kind = 'extension' implies [scope_change].rc_recommendation is not null"
163
+ }
164
+ activity_kind { review }
165
+ organs { executive_secretary review_committee }
166
+ participant_kinds { legal_metrology_expert management_system_expert }
167
+ evidence {
168
+ scope_change_record { description "The extension application (reviewed per 8.1/8.2) or the reduction notification with the amended list entry." required true }
169
+ }
170
+ executor actor
171
+ source { doc "PD-02, 10" clause "" }
172
+ }
173
+
174
+ process expert_monitoring {
175
+ name "Expert monitoring"
176
+ summary "The on-going competence and suitability of every listed expert is reviewed at least once every four years (OD-01, 13.4): the Review Committee recommends on continued competence; removal from the lists may also occur without a formal review."
177
+ validate_provision {
178
+ /req/cs/pd-02/monitoring
179
+ }
180
+ signature {
181
+ in { expertRegisters }
182
+ out { expertRegisters }
183
+ }
184
+ invariants {
185
+ "[expert].last_monitoring_review is not null"
186
+ }
187
+ activity_kind { surveillance }
188
+ organs { review_committee executive_secretary }
189
+ evidence {
190
+ monitoring_record { description "The four-year monitoring review record with the RC's continued- competence recommendation, or the removal note." required true }
191
+ }
192
+ executor actor
193
+ source { doc "PD-02, 11" clause "" }
194
+ }
195
+
196
+ document_module pd-02 {
197
+ document "OIML-CS PD-02"
198
+ title "Approval of Legal Metrology Experts and Management System Experts"
199
+ edition "3"
200
+ year 2022
201
+ namespace /req/cs/pd-02
202
+ sequence { expert_nomination expert_rc_review expert_mc_decision expert_nda expert_list_publication }
203
+ register lme_register {
204
+ label "ILAC-IAF-OIML list of Legal Metrology Experts"
205
+ clause "PD-02, 9"
206
+ maintainer executive_secretary
207
+ published "The OIML-CS pages of the OIML website (the ILAC-IAF-OIML lists of experts)"
208
+ entries "Per Legal Metrology Expert: identity, the instrument categories with their corresponding OIML Recommendations, and status."
209
+ }
210
+ register mse_register {
211
+ label "ILAC-IAF-OIML list of Management System Experts"
212
+ clause "PD-02, 9"
213
+ maintainer executive_secretary
214
+ published "The OIML-CS pages of the OIML website (the ILAC-IAF-OIML lists of experts; ILAC/IAF notified)"
215
+ entries "Per Management System Expert (Team Leader): identity, the assessment scopes (TL peer assessments per ISO/IEC 17025; IA assessments per ISO/IEC 17065 / ISO/IEC 17020), and status."
216
+ }
217
+ }