@memoarchitect/ontology 0.6.5 → 0.8.22

package/examples/gpca-pump/model/catalog/gpca_behavior_modes.sysml

@@ -1,8 +1,11 @@
-package memo_examples_gpca_pump_model_catalog_gpca_behavior_modes {
+package memo_examples_gpca_pump_gpca_behavior_modes {
     private import ScalarValues::*;
 
     private import memo_architecture_functional_behavior::*;
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
+    private import memo_examples_gpca_pump_gpca_system::*;
+    private import memo_examples_gpca_pump_gpca_architecture::*;
 
     // ═════════════════════════════════════════════════════════════
     // GPCA mode machine per CriSys Ch.4 Fig 4.1 mode hierarchy:
@@ -26,281 +29,331 @@ package memo_examples_gpca_pump_model_catalog_gpca_behavior_modes {
         attribute :>> executionSemantics = "single-step synchronous; sub-modes inherit all parent-mode requirements";
         attribute fidelityScope = "Requirements-derived therapy mode hierarchy; partial abstraction of CITE-009, not a state-for-state Stateflow transcription";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1 Fig 4.1; CITE-009: CriSys PCA Pump Software Model";
-    }
 
-    // ── Mode states (Fig 4.1) ───────────────────────────────────
-    state modeOFF : ModeState {
-        attribute :>> id = "MODE-000";
+        // ── Mode states (Fig 4.1) ───────────────────────────
+        state modeOFF : MemoState {
+            attribute :>> id = "MODE-000";
+            attribute :>> stateKind = StateKind::mode;
         attribute :>> name = "OFF";
-        attribute :>> modeKind = "top (default)";
-        attribute :>> description = "No functionality; the GPCA is turned off. FlowRate_output = 0 (REQ 6).";
-        attribute :>> entryCondition = "System_stop_prog commanded while ON (REQ 5); default mode";
-        attribute :>> exitCondition = "System_start_prog commanded (REQ 4)";
+            attribute :>> modeKind = "top (default)";
+            attribute :>> description = "No functionality; the GPCA is turned off. FlowRate_output = 0 (REQ 6).";
+            attribute :>> entryCondition = "System_stop_prog commanded while ON (REQ 5); default mode";
+            attribute :>> exitCondition = "System_start_prog commanded (REQ 4)";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.2";
-    }
-    state modeON : ModeState {
-        attribute :>> id = "MODE-001";
+        }
+
+        state modeON : MemoState {
+            attribute :>> id = "MODE-001";
+            attribute :>> stateKind = StateKind::mode;
         attribute :>> name = "ON";
-        attribute :>> modeKind = "operational parent";
-        attribute :>> description = "Topmost operational mode: prescription configuration (REQ 8), infusion initiation gating (REQ 7, 9), notification (REQ 10) and logging (REQ 11) are available.";
-        attribute :>> entryCondition = "System_start_prog from OFF; A.4 variables set to defaults (REQ 4)";
-        attribute :>> exitCondition = "System_stop_prog: stop infusion, cancel all notifications (REQ 5)";
+            attribute :>> modeKind = "operational parent";
+            attribute :>> description = "Topmost operational mode: prescription configuration (REQ 8), infusion initiation gating (REQ 7, 9), notification (REQ 10) and logging (REQ 11) are available.";
+            attribute :>> entryCondition = "System_start_prog from OFF; A.4 variables set to defaults (REQ 4)";
+            attribute :>> exitCondition = "System_stop_prog: stop infusion, cancel all notifications (REQ 5)";
         attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3";
-    }
-    state modeIDLE : ModeState {
-        attribute :>> id = "MODE-002";
-        attribute :>> name = "ON.IDLE";
-        attribute :>> modeKind = "idle";
-        attribute :>> description = "Default sub-mode on entry to ON; no infusion, FlowRate_output = 0 (REQ 14); prescription set-up happens here. 'IDLE Time' actions after Max_IDLE_Duration_const (REQ 15).";
-        attribute :>> entryCondition = "OFF -> ON transition (REQ 4); infusion complete (REQ 28); PAUSED inhibit (REQ 47)";
-        attribute :>> exitCondition = "confirmed second Infusion_initiate_prog (REQ 12/13)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.4";
-    }
-    state modeTHERAPY : ModeState {
-        attribute :>> id = "MODE-003";
-        attribute :>> name = "ON.THERAPY";
-        attribute :>> modeKind = "therapy parent";
-        attribute :>> description = "Parent of all drug-delivering sub-modes. Delivers FlowRate_Mode_macro within Tolerance_Max_const (REQ 16); monitors under-infusion (REQ 17), low reservoir (REQ 18), over-infusion, VTBI, air, reverse delivery, empty reservoir (REQ 19-23).";
-        attribute :>> entryCondition = "infusion initiated (REQ 12/13)";
-        attribute :>> exitCondition = "infusion complete to IDLE (REQ 28); manual stop from PAUSED (REQ 47); system stop (REQ 5)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5";
-    }
-    state modePAUSED : ModeState {
-        attribute :>> id = "MODE-004";
-        attribute :>> name = "ON.THERAPY.PAUSED";
-        attribute :>> modeKind = "paused (KVO delivery)";
-        attribute :>> description = "Infusion paused by notification actions or manual inhibit. FlowRate_Mode_macro = FlowRate_kvo_hd — keep-vein-open flow within Tolerance_Max_const, NOT zero (REQ 43). 'PAUSED Time' actions after Max_PAUSED_Duration_const (REQ 44). Infusion_initiate_prog while Inhibited_Infusion_macro = TRUE causes no transition (REQ 45).";
-        attribute :>> entryCondition = "REQ 19-23 alarm transitions, REQ 29 manual inhibit, REQ 30 all-inhibited, REQ 37-39 sub-mode inhibits, REQ 13 initiate-while-inhibited";
-        attribute :>> exitCondition = "Infusion_initiate_prog with Inhibited_Infusion_macro = FALSE (REQ 46); Infusion_inhibit_prog to IDLE (REQ 47)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10 (REQ 43-47)";
-    }
-    state modeACTIVE : ModeState {
-        attribute :>> id = "MODE-005";
-        attribute :>> name = "ON.THERAPY.ACTIVE";
-        attribute :>> modeKind = "active parent";
-        attribute :>> description = "Actual infusion through BASAL, SQUARE BOLUS or PATIENT BOLUS. Only mode where a patient bolus may be requested (REQ 25). Square boluses are scheduled automatically every Interval_sbolus_prog for Duration_sbolus_prog (REQ 24). Actual_Infusion_Duration_macro accumulates here.";
-        attribute :>> entryCondition = "infusion initiated (REQ 12) or resumed (REQ 46)";
-        attribute :>> exitCondition = "infusion complete (REQ 28); PAUSED via REQ 29/30/37-39";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6";
-    }
-    state modeBASAL : ModeState {
-        attribute :>> id = "MODE-006";
-        attribute :>> name = "ON.THERAPY.ACTIVE.BASAL";
-        attribute :>> modeKind = "active-basal";
-        attribute :>> description = "Constant-rate delivery at FlowRate_basal_prog within Tolerance_Max_const (REQ 40). FlowRate_Mode_macro = FlowRate_basal_prog.";
-        attribute :>> entryCondition = "infusion initiated/resumed (REQ 12/46); square bolus ended (REQ 34); patient bolus ended (REQ 35)";
-        attribute :>> exitCondition = "scheduled square bolus (REQ 31); patient bolus granted (REQ 32); Inhibited_Infusion_macro (REQ 37)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.7";
-    }
-    state modeSQUARE : ModeState {
-        attribute :>> id = "MODE-007";
-        attribute :>> name = "ON.THERAPY.ACTIVE.SQUARE_BOLUS";
-        attribute :>> modeKind = "active-square-bolus (auto-scheduled)";
-        attribute :>> description = "Prescribed extra delivery at FlowRate_sbolus_prog within Tolerance_Max_const (REQ 41). Auto-initiates at the prescribed frequency and ends after the prescribed duration — no external trigger (§4.1.8, REQ 24). FlowRate_Mode_macro = FlowRate_sbolus_prog.";
-        attribute :>> entryCondition = "scheduled start per REQ 24 with REQ 31 guards; patient bolus end with square scheduled (REQ 36)";
-        attribute :>> exitCondition = "scheduled end or Inhibited_Bolus_macro (REQ 34); patient bolus granted (REQ 33); inhibits (REQ 39)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.8";
-    }
-    state modePBOLUS : ModeState {
-        attribute :>> id = "MODE-008";
-        attribute :>> name = "ON.THERAPY.ACTIVE.PATIENT_BOLUS";
-        attribute :>> modeKind = "active-patient-bolus";
-        attribute :>> description = "Patient-requested delivery at FlowRate_pbolus_prog within Tolerance_Max_const (REQ 42). Granted only when no REQ 25 ignore condition holds. FlowRate_Mode_macro = FlowRate_pbolus_prog.";
-        attribute :>> entryCondition = "BolusRequest_prog with no REQ 25 ignore condition (REQ 32/33)";
-        attribute :>> exitCondition = "Inhibited_PatientBolus_macro or duration >= Duration_pbolus_prog (REQ 35/36); inhibits (REQ 38)";
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9";
-    }
 
-    // ── Mode transitions (CriSys §4.1, 1:1 with source REQs) ────
-    part trSystemStart : Transition {
-        attribute :>> id = "TR-001"; attribute :>> name = "SystemStartToIdle";
-        attribute :>> sourceState = "OFF"; attribute :>> targetState = "ON.IDLE";
-        attribute :>> trigger = "System_start_prog commanded";
-        attribute :>> guardSummary = "none in source (MEMO extension REQ-X-02 additionally gates therapy on POST)";
-        attribute :>> effectSummary = "A.4 variables set to default values (REQ 4)";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 4)";
-    }
-    part trSystemStop : Transition {
-        attribute :>> id = "TR-002"; attribute :>> name = "SystemStopToOff";
-        attribute :>> sourceState = "ON"; attribute :>> targetState = "OFF";
-        attribute :>> trigger = "System_stop_prog commanded";
-        attribute :>> guardSummary = "none — allowed from any ON sub-mode";
-        attribute :>> effectSummary = "stop infusion, cancel all notifications (REQ 5)";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 5)";
-    }
-    part trStartTherapy : Transition {
-        attribute :>> id = "TR-003"; attribute :>> name = "ConfirmedInitiateToBasal";
-        attribute :>> sourceState = "ON.IDLE"; attribute :>> targetState = "ON.THERAPY.ACTIVE.BASAL";
-        attribute :>> trigger = "second Infusion_initiate_prog (confirmation per REQ 9)";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = FALSE; saved prescription available (REQ 7)";
-        attribute :>> effectSummary = "Actual_Infusion_Duration_macro = 0; Actual_Volume_Infused_macro = 0 (REQ 12)";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 12)";
-    }
-    part trInitiateWhileInhibited : Transition {
-        attribute :>> id = "TR-004"; attribute :>> name = "ConfirmedInitiateWhileInhibitedToPaused";
-        attribute :>> sourceState = "ON.IDLE"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "second Infusion_initiate_prog (confirmation per REQ 9)";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = TRUE";
-        attribute :>> effectSummary = "macros reset; 'Infusion Inhibited' actions per REQ 59 (REQ 13)";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 13)";
-    }
-    part trAlarmPause : Transition {
-        attribute :>> id = "TR-005"; attribute :>> name = "TherapyAlarmToPausedKvo";
-        attribute :>> sourceState = "ON.THERAPY"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "over-infusion flow rate (REQ 19), over-infusion VTBI (REQ 20), air embolism (REQ 21), reverse delivery (REQ 22), or empty reservoir (REQ 23) condition";
-        attribute :>> guardSummary = "none — unconditional from any THERAPY sub-mode";
-        attribute :>> effectSummary = "REQ 59 actions for the notification; PAUSED delivers FlowRate_kvo_hd keep-vein-open flow (REQ 43), not zero";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = true;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 19-23)";
-    }
-    part trInfusionComplete : Transition {
-        attribute :>> id = "TR-006"; attribute :>> name = "InfusionCompleteToIdle";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE"; attribute :>> targetState = "ON.IDLE";
-        attribute :>> trigger = "Actual_Infusion_Duration_macro >= Duration_total_prog OR Actual_Volume_Infused_macro >= VTBI_total_prog";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "'Infusion Complete' actions per REQ 59; completion record in operational log (REQ 79)";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 28)";
-    }
-    part trManualInhibit : Transition {
-        attribute :>> id = "TR-007"; attribute :>> name = "ManualInhibitToPaused";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "Infusion_inhibit_prog commanded";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "'Infusion Manually Inhibited' actions per REQ 59";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 29)";
-    }
-    part trAllInhibited : Transition {
-        attribute :>> id = "TR-008"; attribute :>> name = "AllInhibitedToPaused";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "Inhibited_Infusion_macro AND Inhibited_Bolus_macro AND Inhibited_PatientBolus_macro all TRUE";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "therapy paused at KVO flow";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = true;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 30)";
-    }
-    part trSquareBolus : Transition {
-        attribute :>> id = "TR-009"; attribute :>> name = "ScheduledSquareBolusStart";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.BASAL"; attribute :>> targetState = "ON.THERAPY.ACTIVE.SQUARE_BOLUS";
-        attribute :>> trigger = "scheduled SQUARE BOLUS start — auto-initiates every Interval_sbolus_prog for Duration_sbolus_prog during Duration_total_prog (REQ 24); no external trigger";
-        attribute :>> guardSummary = "Inhibited_Bolus_macro = FALSE AND Inhibited_Infusion_macro = FALSE AND (no BolusRequest_prog OR a REQ 25 ignore condition holds)";
-        attribute :>> effectSummary = "FlowRate_Mode_macro = FlowRate_sbolus_prog";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 31) and §4.1.6.1 (REQ 24)";
-    }
-    part trPatientBolus : Transition {
-        attribute :>> id = "TR-010"; attribute :>> name = "BasalToPatientBolus";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.BASAL"; attribute :>> targetState = "ON.THERAPY.ACTIVE.PATIENT_BOLUS";
-        attribute :>> trigger = "BolusRequest_prog";
-        attribute :>> guardSummary = "none of the REQ 25 ignore conditions hold (inhibits, lockout, bolus count, already in PATIENT BOLUS)";
-        attribute :>> effectSummary = "FlowRate_Mode_macro = FlowRate_pbolus_prog";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 32)";
-    }
-    part trSquareToPatientBolus : Transition {
-        attribute :>> id = "TR-011"; attribute :>> name = "SquareBolusToPatientBolus";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.SQUARE_BOLUS"; attribute :>> targetState = "ON.THERAPY.ACTIVE.PATIENT_BOLUS";
-        attribute :>> trigger = "BolusRequest_prog";
-        attribute :>> guardSummary = "none of the REQ 25 ignore conditions hold";
-        attribute :>> effectSummary = "patient bolus interrupts the square bolus; FlowRate_Mode_macro = FlowRate_pbolus_prog";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 33)";
-    }
-    part trSquareToBasal : Transition {
-        attribute :>> id = "TR-012"; attribute :>> name = "SquareBolusEndToBasal";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.SQUARE_BOLUS"; attribute :>> targetState = "ON.THERAPY.ACTIVE.BASAL";
-        attribute :>> trigger = "Inhibited_Bolus_macro = TRUE or scheduled square bolus end (REQ 24)";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND (no BolusRequest_prog OR a REQ 25 ignore condition holds)";
-        attribute :>> effectSummary = "FlowRate_Mode_macro = FlowRate_basal_prog";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 34)";
-    }
-    part trPatientBolusToBasal : Transition {
-        attribute :>> id = "TR-013"; attribute :>> name = "PatientBolusEndToBasal";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.PATIENT_BOLUS"; attribute :>> targetState = "ON.THERAPY.ACTIVE.BASAL";
-        attribute :>> trigger = "Inhibited_PatientBolus_macro = TRUE or patient-bolus duration >= Duration_pbolus_prog";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND (no square bolus scheduled in progress OR (square bolus scheduled AND Inhibited_Bolus_macro = TRUE))";
-        attribute :>> effectSummary = "patient bolus delivery stopped; FlowRate_Mode_macro = FlowRate_basal_prog";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 35)";
-    }
-    part trPatientBolusToSquare : Transition {
-        attribute :>> id = "TR-014"; attribute :>> name = "PatientBolusEndToSquareBolus";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.PATIENT_BOLUS"; attribute :>> targetState = "ON.THERAPY.ACTIVE.SQUARE_BOLUS";
-        attribute :>> trigger = "Inhibited_PatientBolus_macro = TRUE or patient-bolus duration >= Duration_pbolus_prog";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND a square bolus is scheduled to be in progress AND Inhibited_Bolus_macro = FALSE";
-        attribute :>> effectSummary = "patient bolus delivery stopped; scheduled square bolus resumes";
-        attribute :>> priority = 3;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 36)";
-    }
-    part trBasalInhibit : Transition {
-        attribute :>> id = "TR-015"; attribute :>> name = "BasalInhibitToPaused";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.BASAL"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "Inhibited_Infusion_macro = TRUE";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "therapy paused at KVO flow";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = true;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 37)";
-    }
-    part trPatientBolusInhibit : Transition {
-        attribute :>> id = "TR-016"; attribute :>> name = "PatientBolusInhibitToPaused";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.PATIENT_BOLUS"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "Inhibited_PatientBolus_macro = TRUE AND Inhibited_Infusion_macro = TRUE";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "therapy paused at KVO flow";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = true;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 38)";
-    }
-    part trSquareInhibit : Transition {
-        attribute :>> id = "TR-017"; attribute :>> name = "SquareBolusInhibitToPaused";
-        attribute :>> sourceState = "ON.THERAPY.ACTIVE.SQUARE_BOLUS"; attribute :>> targetState = "ON.THERAPY.PAUSED";
-        attribute :>> trigger = "Inhibited_Bolus_macro = TRUE AND Inhibited_Infusion_macro = TRUE";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "therapy paused at KVO flow";
-        attribute :>> priority = 1;
-        attribute :>> sameStepCritical = true;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 39)";
-    }
-    part trResume : Transition {
-        attribute :>> id = "TR-018"; attribute :>> name = "PausedResumeToBasal";
-        attribute :>> sourceState = "ON.THERAPY.PAUSED"; attribute :>> targetState = "ON.THERAPY.ACTIVE.BASAL";
-        attribute :>> trigger = "Infusion_initiate_prog";
-        attribute :>> guardSummary = "Inhibited_Infusion_macro = FALSE (while TRUE, no transition occurs — REQ 45)";
-        attribute :>> effectSummary = "basal flow re-established";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 46)";
+            state modeIDLE : MemoState {
+                attribute :>> id = "MODE-002";
+                attribute :>> stateKind = StateKind::mode;
+                attribute :>> name = "ON.IDLE";
+                attribute :>> modeKind = "idle";
+                attribute :>> description = "Default sub-mode on entry to ON; no infusion, FlowRate_output = 0 (REQ 14); prescription set-up happens here. 'IDLE Time' actions after Max_IDLE_Duration_const (REQ 15).";
+                attribute :>> entryCondition = "OFF -> ON transition (REQ 4); infusion complete (REQ 28); PAUSED inhibit (REQ 47)";
+                attribute :>> exitCondition = "confirmed second Infusion_initiate_prog (REQ 12/13)";
+                attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.4";
+            }
+
+            state modeTHERAPY : MemoState {
+                attribute :>> id = "MODE-003";
+                attribute :>> stateKind = StateKind::mode;
+                attribute :>> name = "ON.THERAPY";
+                attribute :>> modeKind = "therapy parent";
+                attribute :>> description = "Parent of all drug-delivering sub-modes. Delivers FlowRate_Mode_macro within Tolerance_Max_const (REQ 16); monitors under-infusion (REQ 17), low reservoir (REQ 18), over-infusion, VTBI, air, reverse delivery, empty reservoir (REQ 19-23).";
+                attribute :>> entryCondition = "infusion initiated (REQ 12/13)";
+                attribute :>> exitCondition = "infusion complete to IDLE (REQ 28); manual stop from PAUSED (REQ 47); system stop (REQ 5)";
+                attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5";
+
+                state modePAUSED : MemoState {
+                    attribute :>> id = "MODE-004";
+                    attribute :>> stateKind = StateKind::mode;
+                    attribute :>> name = "ON.THERAPY.PAUSED";
+                    attribute :>> modeKind = "paused (KVO delivery)";
+                    attribute :>> description = "Infusion paused by notification actions or manual inhibit. FlowRate_Mode_macro = FlowRate_kvo_hd — keep-vein-open flow within Tolerance_Max_const, NOT zero (REQ 43). 'PAUSED Time' actions after Max_PAUSED_Duration_const (REQ 44). Infusion_initiate_prog while Inhibited_Infusion_macro = TRUE causes no transition (REQ 45).";
+                    attribute :>> entryCondition = "REQ 19-23 alarm transitions, REQ 29 manual inhibit, REQ 30 all-inhibited, REQ 37-39 sub-mode inhibits, REQ 13 initiate-while-inhibited";
+                    attribute :>> exitCondition = "Infusion_initiate_prog with Inhibited_Infusion_macro = FALSE (REQ 46); Infusion_inhibit_prog to IDLE (REQ 47)";
+                    attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10 (REQ 43-47)";
+                }
+
+                state modeACTIVE : MemoState {
+                    attribute :>> id = "MODE-005";
+                    attribute :>> stateKind = StateKind::mode;
+                    attribute :>> name = "ON.THERAPY.ACTIVE";
+                    attribute :>> modeKind = "active parent";
+                    attribute :>> description = "Actual infusion through BASAL, SQUARE BOLUS or PATIENT BOLUS. Only mode where a patient bolus may be requested (REQ 25). Square boluses are scheduled automatically every Interval_sbolus_prog for Duration_sbolus_prog (REQ 24). Actual_Infusion_Duration_macro accumulates here.";
+                    attribute :>> entryCondition = "infusion initiated (REQ 12) or resumed (REQ 46)";
+                    attribute :>> exitCondition = "infusion complete (REQ 28); PAUSED via REQ 29/30/37-39";
+                    attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6";
+
+                    state modeBASAL : MemoState {
+                        attribute :>> id = "MODE-006";
+                        attribute :>> stateKind = StateKind::mode;
+                        attribute :>> name = "ON.THERAPY.ACTIVE.BASAL";
+                        attribute :>> modeKind = "active-basal";
+                        attribute :>> description = "Constant-rate delivery at FlowRate_basal_prog within Tolerance_Max_const (REQ 40). FlowRate_Mode_macro = FlowRate_basal_prog.";
+                        attribute :>> entryCondition = "infusion initiated/resumed (REQ 12/46); square bolus ended (REQ 34); patient bolus ended (REQ 35)";
+                        attribute :>> exitCondition = "scheduled square bolus (REQ 31); patient bolus granted (REQ 32); Inhibited_Infusion_macro (REQ 37)";
+                        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.7";
+                    }
+
+                    state modeSQUARE : MemoState {
+                        attribute :>> id = "MODE-007";
+                        attribute :>> stateKind = StateKind::mode;
+                        attribute :>> name = "ON.THERAPY.ACTIVE.SQUARE_BOLUS";
+                        attribute :>> modeKind = "active-square-bolus (auto-scheduled)";
+                        attribute :>> description = "Prescribed extra delivery at FlowRate_sbolus_prog within Tolerance_Max_const (REQ 41). Auto-initiates at the prescribed frequency and ends after the prescribed duration — no external trigger (§4.1.8, REQ 24). FlowRate_Mode_macro = FlowRate_sbolus_prog.";
+                        attribute :>> entryCondition = "scheduled start per REQ 24 with REQ 31 guards; patient bolus end with square scheduled (REQ 36)";
+                        attribute :>> exitCondition = "scheduled end or Inhibited_Bolus_macro (REQ 34); patient bolus granted (REQ 33); inhibits (REQ 39)";
+                        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.8";
+                    }
+
+                    state modePBOLUS : MemoState {
+                        attribute :>> id = "MODE-008";
+                        attribute :>> stateKind = StateKind::mode;
+                        attribute :>> name = "ON.THERAPY.ACTIVE.PATIENT_BOLUS";
+                        attribute :>> modeKind = "active-patient-bolus";
+                        attribute :>> description = "Patient-requested delivery at FlowRate_pbolus_prog within Tolerance_Max_const (REQ 42). Granted only when no REQ 25 ignore condition holds. FlowRate_Mode_macro = FlowRate_pbolus_prog.";
+                        attribute :>> entryCondition = "BolusRequest_prog with no REQ 25 ignore condition (REQ 32/33)";
+                        attribute :>> exitCondition = "Inhibited_PatientBolus_macro or duration >= Duration_pbolus_prog (REQ 35/36); inhibits (REQ 38)";
+                        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.9";
+                    }
+                }
+            }
+        }
+
+        // ── Mode transitions (CriSys §4.1, 1:1 with source REQs) ──
+        transition trSystemStart first modeOFF then modeON.modeIDLE {
+            @TransitionRecord {
+                :>> id = "TR-001";
+                :>> name = "SystemStartToIdle";
+                :>> trigger = "System_start_prog commanded";
+                :>> guardSummary = "none in source (MEMO extension REQ-X-02 additionally gates therapy on POST)";
+                :>> effectSummary = "A.4 variables set to default values (REQ 4)";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 4)";
+            }
+        }
+        transition trSystemStop first modeON then modeOFF {
+            @TransitionRecord {
+                :>> id = "TR-002";
+                :>> name = "SystemStopToOff";
+                :>> trigger = "System_stop_prog commanded";
+                :>> guardSummary = "none — allowed from any ON sub-mode";
+                :>> effectSummary = "stop infusion, cancel all notifications (REQ 5)";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.1.2 (REQ 5)";
+            }
+        }
+        transition trStartTherapy first modeON.modeIDLE then modeON.modeTHERAPY.modeACTIVE.modeBASAL {
+            @TransitionRecord {
+                :>> id = "TR-003";
+                :>> name = "ConfirmedInitiateToBasal";
+                :>> trigger = "second Infusion_initiate_prog (confirmation per REQ 9)";
+                :>> guardSummary = "Inhibited_Infusion_macro = FALSE; saved prescription available (REQ 7)";
+                :>> effectSummary = "Actual_Infusion_Duration_macro = 0; Actual_Volume_Infused_macro = 0 (REQ 12)";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 12)";
+            }
+        }
+        transition trInitiateWhileInhibited first modeON.modeIDLE then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-004";
+                :>> name = "ConfirmedInitiateWhileInhibitedToPaused";
+                :>> trigger = "second Infusion_initiate_prog (confirmation per REQ 9)";
+                :>> guardSummary = "Inhibited_Infusion_macro = TRUE";
+                :>> effectSummary = "macros reset; 'Infusion Inhibited' actions per REQ 59 (REQ 13)";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.3.2 (REQ 13)";
+            }
+        }
+        transition trAlarmPause first modeON.modeTHERAPY then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-005";
+                :>> name = "TherapyAlarmToPausedKvo";
+                :>> trigger = "over-infusion flow rate (REQ 19), over-infusion VTBI (REQ 20), air embolism (REQ 21), reverse delivery (REQ 22), or empty reservoir (REQ 23) condition";
+                :>> guardSummary = "none — unconditional from any THERAPY sub-mode";
+                :>> effectSummary = "REQ 59 actions for the notification; PAUSED delivers FlowRate_kvo_hd keep-vein-open flow (REQ 43), not zero";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.5.2 (REQ 19-23)";
+            }
+        }
+        transition trInfusionComplete first modeON.modeTHERAPY.modeACTIVE then modeON.modeIDLE {
+            @TransitionRecord {
+                :>> id = "TR-006";
+                :>> name = "InfusionCompleteToIdle";
+                :>> trigger = "Actual_Infusion_Duration_macro >= Duration_total_prog OR Actual_Volume_Infused_macro >= VTBI_total_prog";
+                :>> guardSummary = "none";
+                :>> effectSummary = "'Infusion Complete' actions per REQ 59; completion record in operational log (REQ 79)";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 28)";
+            }
+        }
+        transition trManualInhibit first modeON.modeTHERAPY.modeACTIVE then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-007";
+                :>> name = "ManualInhibitToPaused";
+                :>> trigger = "Infusion_inhibit_prog commanded";
+                :>> guardSummary = "none";
+                :>> effectSummary = "'Infusion Manually Inhibited' actions per REQ 59";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 29)";
+            }
+        }
+        transition trAllInhibited first modeON.modeTHERAPY.modeACTIVE then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-008";
+                :>> name = "AllInhibitedToPaused";
+                :>> trigger = "Inhibited_Infusion_macro AND Inhibited_Bolus_macro AND Inhibited_PatientBolus_macro all TRUE";
+                :>> guardSummary = "none";
+                :>> effectSummary = "therapy paused at KVO flow";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 30)";
+            }
+        }
+        transition trSquareBolus first modeON.modeTHERAPY.modeACTIVE.modeBASAL then modeON.modeTHERAPY.modeACTIVE.modeSQUARE {
+            @TransitionRecord {
+                :>> id = "TR-009";
+                :>> name = "ScheduledSquareBolusStart";
+                :>> trigger = "scheduled SQUARE BOLUS start — auto-initiates every Interval_sbolus_prog for Duration_sbolus_prog during Duration_total_prog (REQ 24); no external trigger";
+                :>> guardSummary = "Inhibited_Bolus_macro = FALSE AND Inhibited_Infusion_macro = FALSE AND (no BolusRequest_prog OR a REQ 25 ignore condition holds)";
+                :>> effectSummary = "FlowRate_Mode_macro = FlowRate_sbolus_prog";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 31) and §4.1.6.1 (REQ 24)";
+            }
+        }
+        transition trPatientBolus first modeON.modeTHERAPY.modeACTIVE.modeBASAL then modeON.modeTHERAPY.modeACTIVE.modePBOLUS {
+            @TransitionRecord {
+                :>> id = "TR-010";
+                :>> name = "BasalToPatientBolus";
+                :>> trigger = "BolusRequest_prog";
+                :>> guardSummary = "none of the REQ 25 ignore conditions hold (inhibits, lockout, bolus count, already in PATIENT BOLUS)";
+                :>> effectSummary = "FlowRate_Mode_macro = FlowRate_pbolus_prog";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 32)";
+            }
+        }
+        transition trSquareToPatientBolus first modeON.modeTHERAPY.modeACTIVE.modeSQUARE then modeON.modeTHERAPY.modeACTIVE.modePBOLUS {
+            @TransitionRecord {
+                :>> id = "TR-011";
+                :>> name = "SquareBolusToPatientBolus";
+                :>> trigger = "BolusRequest_prog";
+                :>> guardSummary = "none of the REQ 25 ignore conditions hold";
+                :>> effectSummary = "patient bolus interrupts the square bolus; FlowRate_Mode_macro = FlowRate_pbolus_prog";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 33)";
+            }
+        }
+        transition trSquareToBasal first modeON.modeTHERAPY.modeACTIVE.modeSQUARE then modeON.modeTHERAPY.modeACTIVE.modeBASAL {
+            @TransitionRecord {
+                :>> id = "TR-012";
+                :>> name = "SquareBolusEndToBasal";
+                :>> trigger = "Inhibited_Bolus_macro = TRUE or scheduled square bolus end (REQ 24)";
+                :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND (no BolusRequest_prog OR a REQ 25 ignore condition holds)";
+                :>> effectSummary = "FlowRate_Mode_macro = FlowRate_basal_prog";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 34)";
+            }
+        }
+        transition trPatientBolusToBasal first modeON.modeTHERAPY.modeACTIVE.modePBOLUS then modeON.modeTHERAPY.modeACTIVE.modeBASAL {
+            @TransitionRecord {
+                :>> id = "TR-013";
+                :>> name = "PatientBolusEndToBasal";
+                :>> trigger = "Inhibited_PatientBolus_macro = TRUE or patient-bolus duration >= Duration_pbolus_prog";
+                :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND (no square bolus scheduled in progress OR (square bolus scheduled AND Inhibited_Bolus_macro = TRUE))";
+                :>> effectSummary = "patient bolus delivery stopped; FlowRate_Mode_macro = FlowRate_basal_prog";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 35)";
+            }
+        }
+        transition trPatientBolusToSquare first modeON.modeTHERAPY.modeACTIVE.modePBOLUS then modeON.modeTHERAPY.modeACTIVE.modeSQUARE {
+            @TransitionRecord {
+                :>> id = "TR-014";
+                :>> name = "PatientBolusEndToSquareBolus";
+                :>> trigger = "Inhibited_PatientBolus_macro = TRUE or patient-bolus duration >= Duration_pbolus_prog";
+                :>> guardSummary = "Inhibited_Infusion_macro = FALSE AND a square bolus is scheduled to be in progress AND Inhibited_Bolus_macro = FALSE";
+                :>> effectSummary = "patient bolus delivery stopped; scheduled square bolus resumes";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 36)";
+            }
+        }
+        transition trBasalInhibit first modeON.modeTHERAPY.modeACTIVE.modeBASAL then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-015";
+                :>> name = "BasalInhibitToPaused";
+                :>> trigger = "Inhibited_Infusion_macro = TRUE";
+                :>> guardSummary = "none";
+                :>> effectSummary = "therapy paused at KVO flow";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 37)";
+            }
+        }
+        transition trPatientBolusInhibit first modeON.modeTHERAPY.modeACTIVE.modePBOLUS then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-016";
+                :>> name = "PatientBolusInhibitToPaused";
+                :>> trigger = "Inhibited_PatientBolus_macro = TRUE AND Inhibited_Infusion_macro = TRUE";
+                :>> guardSummary = "none";
+                :>> effectSummary = "therapy paused at KVO flow";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 38)";
+            }
+        }
+        transition trSquareInhibit first modeON.modeTHERAPY.modeACTIVE.modeSQUARE then modeON.modeTHERAPY.modePAUSED {
+            @TransitionRecord {
+                :>> id = "TR-017";
+                :>> name = "SquareBolusInhibitToPaused";
+                :>> trigger = "Inhibited_Bolus_macro = TRUE AND Inhibited_Infusion_macro = TRUE";
+                :>> guardSummary = "none";
+                :>> effectSummary = "therapy paused at KVO flow";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.6.2 (REQ 39)";
+            }
+        }
+        transition trResume first modeON.modeTHERAPY.modePAUSED then modeON.modeTHERAPY.modeACTIVE.modeBASAL {
+            @TransitionRecord {
+                :>> id = "TR-018";
+                :>> name = "PausedResumeToBasal";
+                :>> trigger = "Infusion_initiate_prog";
+                :>> guardSummary = "Inhibited_Infusion_macro = FALSE (while TRUE, no transition occurs — REQ 45)";
+                :>> effectSummary = "basal flow re-established";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 46)";
+            }
+        }
+        transition trPausedStop first modeON.modeTHERAPY.modePAUSED then modeON.modeIDLE {
+            @TransitionRecord {
+                :>> id = "TR-019";
+                :>> name = "PausedInhibitToIdle";
+                :>> trigger = "Infusion_inhibit_prog commanded";
+                :>> guardSummary = "none";
+                :>> effectSummary = "'Infusion Stopped Manually' actions per REQ 59";
+                :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 47)";
+            }
+        }
     }
-    part trPausedStop : Transition {
-        attribute :>> id = "TR-019"; attribute :>> name = "PausedInhibitToIdle";
-        attribute :>> sourceState = "ON.THERAPY.PAUSED"; attribute :>> targetState = "ON.IDLE";
-        attribute :>> trigger = "Infusion_inhibit_prog commanded";
-        attribute :>> guardSummary = "none";
-        attribute :>> effectSummary = "'Infusion Stopped Manually' actions per REQ 59";
-        attribute :>> priority = 2;
-        attribute :>> sameStepCritical = false;
-        attribute :>> sourceReference = "CITE-001: CriSys GPCA System Requirements (2013), §4.1.10.2 (REQ 47)";
+
+    // ── Mode-conditioned configurations ─────────────────────────
+    // AADL modes and ARCADIA configurations select the live arrangement, not
+    // merely a label on a state.  The variation point is the single choice;
+    // each variant binds that choice to the corresponding GPCA therapy mode.
+    // The individual configurations remain ordinary model elements, so their
+    // active mode is navigable as well as visible in the choice-point edge.
+    part basalConfiguration : ModeConfiguration {
+        attribute :>> id = "CFG-001";
+        attribute :>> name = "BasalTherapyConfiguration";
+        ref :>> activeMode = topLevelModeMachine.modeON.modeTHERAPY.modeACTIVE.modeBASAL;
+    }
+    part squareBolusConfiguration : ModeConfiguration {
+        attribute :>> id = "CFG-002";
+        attribute :>> name = "SquareBolusConfiguration";
+        ref :>> activeMode = topLevelModeMachine.modeON.modeTHERAPY.modeACTIVE.modeSQUARE;
+    }
+    part patientBolusConfiguration : ModeConfiguration {
+        attribute :>> id = "CFG-003";
+        attribute :>> name = "PatientBolusConfiguration";
+        ref :>> activeMode = topLevelModeMachine.modeON.modeTHERAPY.modeACTIVE.modePBOLUS;
+    }
+    part pausedConfiguration : ModeConfiguration {
+        attribute :>> id = "CFG-004";
+        attribute :>> name = "PausedKvoConfiguration";
+        ref :>> activeMode = topLevelModeMachine.modeON.modeTHERAPY.modePAUSED;
+    }
+    variation part activeTherapyConfiguration : ModeConfiguration[1] {
+        variant basalConfiguration;
+        variant squareBolusConfiguration;
+        variant patientBolusConfiguration;
+        variant pausedConfiguration;
     }
 
     // ── Behavior properties and timing constraints ──────────────
@@ -342,7 +395,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_behavior_modes {
         attribute :>> constraintKind = TimingConstraintKind::latency;
         attribute :>> minMs = "0";
         attribute :>> maxMs = "20";
-        attribute :>> referenceElement = "FC-002: AlarmDetectionToSafeStateChain";
+        ref :>> referenceElement = fcAlarmStop;
         attribute :>> verificationMethod = VerificationMethodKind::modelChecking;
         attribute :>> sourceReference = "MEMO extension — illustrative wall-clock budget; the source specifies synchronous same-step (immediate) semantics with no timing figures";
     }
@@ -352,7 +405,7 @@ package memo_examples_gpca_pump_model_catalog_gpca_behavior_modes {
         attribute :>> constraintKind = TimingConstraintKind::latency;
         attribute :>> minMs = "0";
         attribute :>> maxMs = "100";
-        attribute :>> referenceElement = "FC-001: PatientBolusChain";
+        ref :>> referenceElement = fcPatientBolus;
         attribute :>> verificationMethod = VerificationMethodKind::test;
         attribute :>> sourceReference = "MEMO extension — illustrative wall-clock budget; not specified by the source";
     }
@@ -362,7 +415,11 @@ package memo_examples_gpca_pump_model_catalog_gpca_behavior_modes {
         attribute :>> constraintKind = TimingConstraintKind::deadline;
         attribute :>> minMs = "40";
         attribute :>> maxMs = "60";
-        attribute :>> referenceElement = "REQ-X-08: WatchdogForcesSafeState";
+        // The deadline is a claim about the element that kicks the watchdog, so
+        // the reference is the software module, not the requirement it supports.
+        // `referenceElement` is a MemoPart; a requirement is a requirement def
+        // and does not conform to it — that link is REQ-X-08's own trace.
+        ref :>> referenceElement = gpcaDevice.gpcaSoftware.systemMonitor;
         attribute :>> verificationMethod = VerificationMethodKind::test;
         attribute :>> sourceReference = "MEMO extension — supports extension requirement REQ-X-08; watchdog not specified by the source";
     }