@memoarchitect/ontology 0.13.2 → 0.15.0

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

@@ -35,8 +35,7 @@ package memo_examples_gpca_pump_gpca_standards {
     // modelled as the artifacts they are rather than as a second document type.
 
     part docSrs : MarkdownDocumentSource {
-        @MemoIdentity { :>> providedId = "DOC-SRS"; }
-        attribute :>> name = "SoftwareRequirementsSpecification";
+        @MemoIdentity { :>> providedId = "DOC-SRS"; :>> label = "SoftwareRequirementsSpecification"; }
         attribute :>> version = "1.0";
         attribute :>> artifactKind = ArtifactKind::requirementSpecification;
         attribute :>> owner = "Software Lead";
@@ -47,8 +46,7 @@ package memo_examples_gpca_pump_gpca_standards {
         attribute :>> generated = true;
     }
     part docSad : MarkdownDocumentSource {
-        @MemoIdentity { :>> providedId = "DOC-SAD"; }
-        attribute :>> name = "SoftwareArchitectureDescription";
+        @MemoIdentity { :>> providedId = "DOC-SAD"; :>> label = "SoftwareArchitectureDescription"; }
         attribute :>> version = "1.0";
         attribute :>> artifactKind = ArtifactKind::architectureDescription;
         attribute :>> owner = "Systems Architect";
@@ -59,8 +57,7 @@ package memo_examples_gpca_pump_gpca_standards {
         attribute :>> generated = true;
     }
     part docHrs : MarkdownDocumentSource {
-        @MemoIdentity { :>> providedId = "DOC-HRS"; }
-        attribute :>> name = "HardwareRequirementsSpecification";
+        @MemoIdentity { :>> providedId = "DOC-HRS"; :>> label = "HardwareRequirementsSpecification"; }
         attribute :>> version = "1.0";
         attribute :>> artifactKind = ArtifactKind::requirementSpecification;
         attribute :>> owner = "Hardware Lead";
@@ -71,8 +68,7 @@ package memo_examples_gpca_pump_gpca_standards {
         attribute :>> generated = true;
     }
     part docRmf : MarkdownDocumentSource {
-        @MemoIdentity { :>> providedId = "DOC-RMF"; }
-        attribute :>> name = "RiskManagementFile";
+        @MemoIdentity { :>> providedId = "DOC-RMF"; :>> label = "RiskManagementFile"; }
         attribute :>> version = "1.0";
         attribute :>> artifactKind = ArtifactKind::riskRecord;
         attribute :>> owner = "Risk Manager";
@@ -85,78 +81,78 @@ package memo_examples_gpca_pump_gpca_standards {
 
     // ── IEC 62304 — software lifecycle ───────────────────────────────────
     // §5.2.2 software requirements content: every software requirement.
-    connection : ConformsTo connect conformingElement ::> reqOcclusion to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqDoorOpen to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqMaxHourlyDose to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqEventLogging to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqWatchdogSafeState to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqStuckButton to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
-    connection : ConformsTo connect conformingElement ::> reqFlowCrossCheck to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqOcclusion to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqDoorOpen to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqMaxHourlyDose to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqEventLogging to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqWatchdogSafeState to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqStuckButton to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
+    connection : ConformsTo connect conformingElement ::> reqFlowCrossCheck to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2;
 
     // §5.2.3 risk control measures carried into software requirements.
-    connection : ConformsTo connect conformingElement ::> reqWatchdogSafeState to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_3;
-    connection : ConformsTo connect conformingElement ::> reqFlowCrossCheck to clause ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_3;
+    connection : ConformsTo connect conformingElement ::> reqWatchdogSafeState to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_3;
+    connection : ConformsTo connect conformingElement ::> reqFlowCrossCheck to clause ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_3;
 
     // §5.3 software architectural design: the software decomposition.
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware to clause ::> iec62304::iec62304Clause5::iec62304Clause5_3;
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware.tlm to clause ::> iec62304::iec62304Clause5::iec62304Clause5_3;
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware.infusionMgr to clause ::> iec62304::iec62304Clause5::iec62304Clause5_3;
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware.systemMonitor to clause ::> iec62304::iec62304Clause5::iec62304Clause5_3;
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware.config to clause ::> iec62304::iec62304Clause5::iec62304Clause5_3;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware to clause ::> iec62304.iec62304Clause5.iec62304Clause5_3;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware.tlm to clause ::> iec62304.iec62304Clause5.iec62304Clause5_3;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware.infusionMgr to clause ::> iec62304.iec62304Clause5.iec62304Clause5_3;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware.systemMonitor to clause ::> iec62304.iec62304Clause5.iec62304Clause5_3;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware.config to clause ::> iec62304.iec62304Clause5.iec62304Clause5_3;
 
     // ── IEC 60601-1 — basic safety and essential performance ─────────────
     // §8 protection against electrical hazards.
-    connection : ConformsTo connect conformingElement ::> reqBatteryBackup to clause ::> iec60601_1::iec60601_1Clause8;
-    connection : ConformsTo connect conformingElement ::> powerSupply to clause ::> iec60601_1::iec60601_1Clause8;
-    connection : ConformsTo connect conformingElement ::> batteryPack to clause ::> iec60601_1::iec60601_1Clause8;
+    connection : ConformsTo connect conformingElement ::> reqBatteryBackup to clause ::> iec60601_1.iec60601_1Clause8;
+    connection : ConformsTo connect conformingElement ::> powerSupply to clause ::> iec60601_1.iec60601_1Clause8;
+    connection : ConformsTo connect conformingElement ::> batteryPack to clause ::> iec60601_1.iec60601_1Clause8;
 
     // §9 protection against mechanical hazards.
-    connection : ConformsTo connect conformingElement ::> reqFreeFlowPrevention to clause ::> iec60601_1::iec60601_1Clause9;
-    connection : ConformsTo connect conformingElement ::> antiFreeFlowValve to clause ::> iec60601_1::iec60601_1Clause9;
-    connection : ConformsTo connect conformingElement ::> enclosure to clause ::> iec60601_1::iec60601_1Clause9;
+    connection : ConformsTo connect conformingElement ::> reqFreeFlowPrevention to clause ::> iec60601_1.iec60601_1Clause9;
+    connection : ConformsTo connect conformingElement ::> antiFreeFlowValve to clause ::> iec60601_1.iec60601_1Clause9;
+    connection : ConformsTo connect conformingElement ::> enclosure to clause ::> iec60601_1.iec60601_1Clause9;
 
     // §14 programmable electrical medical systems.
-    connection : ConformsTo connect conformingElement ::> gpcaDevice.gpcaSoftware to clause ::> iec60601_1::iec60601_1Clause14;
+    connection : ConformsTo connect conformingElement ::> gpcaSoftware to clause ::> iec60601_1.iec60601_1Clause14;
 
     // ── IEC 60601-1-2 — electromagnetic compatibility ────────────────────
-    connection : ConformsTo connect conformingElement ::> controllerBoard to clause ::> iec60601_1_2::iec60601_1_2Clause7;
-    connection : ConformsTo connect conformingElement ::> controllerBoard to clause ::> iec60601_1_2::iec60601_1_2Clause8;
-    connection : ConformsTo connect conformingElement ::> reqPost to clause ::> iec60601_1_2::iec60601_1_2Clause8;
+    connection : ConformsTo connect conformingElement ::> controllerBoard to clause ::> iec60601_1_2.iec60601_1_2Clause7;
+    connection : ConformsTo connect conformingElement ::> controllerBoard to clause ::> iec60601_1_2.iec60601_1_2Clause8;
+    connection : ConformsTo connect conformingElement ::> reqPost to clause ::> iec60601_1_2.iec60601_1_2Clause8;
 
     // ── ISO 14971 — risk management ──────────────────────────────────────
     // §7 risk control: the risk control measures themselves.
-    connection : ConformsTo connect conformingElement ::> lockoutControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> occlusionAlarmControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> airDetectionControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> freeFlowValveControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> doorInterlockControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> watchdogControl to clause ::> iso14971::iso14971Clause7;
-    connection : ConformsTo connect conformingElement ::> flowCrossCheckControl to clause ::> iso14971::iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> lockoutControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> occlusionAlarmControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> airDetectionControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> freeFlowValveControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> doorInterlockControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> watchdogControl to clause ::> iso14971.iso14971Clause7;
+    connection : ConformsTo connect conformingElement ::> flowCrossCheckControl to clause ::> iso14971.iso14971Clause7;
 
     // ── Where the evidence for each claim is written down ────────────────
     // The section reference rides on the link, not on a duplicate section type.
-    connection : TracesToDocument connect tracedElement ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_2 to artifact ::> docSrs {
+    connection : TracesToDocument connect tracedElement ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_2 to artifact ::> docSrs {
         attribute :>> sectionReference = "3";
     }
-    connection : TracesToDocument connect tracedElement ::> iec62304::iec62304Clause5::iec62304Clause5_2::iec62304Clause5_2_3 to artifact ::> docSrs {
+    connection : TracesToDocument connect tracedElement ::> iec62304.iec62304Clause5.iec62304Clause5_2.iec62304Clause5_2_3 to artifact ::> docSrs {
         attribute :>> sectionReference = "3.2";
     }
-    connection : TracesToDocument connect tracedElement ::> iec62304::iec62304Clause5::iec62304Clause5_3 to artifact ::> docSad {
+    connection : TracesToDocument connect tracedElement ::> iec62304.iec62304Clause5.iec62304Clause5_3 to artifact ::> docSad {
         attribute :>> sectionReference = "4";
     }
-    connection : TracesToDocument connect tracedElement ::> iec60601_1::iec60601_1Clause8 to artifact ::> docHrs {
+    connection : TracesToDocument connect tracedElement ::> iec60601_1.iec60601_1Clause8 to artifact ::> docHrs {
         attribute :>> sectionReference = "4";
     }
-    connection : TracesToDocument connect tracedElement ::> iec60601_1::iec60601_1Clause9 to artifact ::> docHrs {
+    connection : TracesToDocument connect tracedElement ::> iec60601_1.iec60601_1Clause9 to artifact ::> docHrs {
         attribute :>> sectionReference = "6";
     }
-    connection : TracesToDocument connect tracedElement ::> iec60601_1::iec60601_1Clause14 to artifact ::> docSad {
+    connection : TracesToDocument connect tracedElement ::> iec60601_1.iec60601_1Clause14 to artifact ::> docSad {
         attribute :>> sectionReference = "6.2";
     }
-    connection : TracesToDocument connect tracedElement ::> iec60601_1_2::iec60601_1_2Clause7 to artifact ::> docHrs {
+    connection : TracesToDocument connect tracedElement ::> iec60601_1_2.iec60601_1_2Clause7 to artifact ::> docHrs {
         attribute :>> sectionReference = "5";
     }
-    connection : TracesToDocument connect tracedElement ::> iso14971::iso14971Clause7 to artifact ::> docRmf {
+    connection : TracesToDocument connect tracedElement ::> iso14971.iso14971Clause7 to artifact ::> docRmf {
         attribute :>> sectionReference = "5";
     }
 }

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

@@ -15,101 +15,104 @@ package memo_examples_gpca_pump_gpca_system {
     // retired: "mission" duplicated the regulated intended-use statement.
 
     // ── Functional chains ───────────────────────────────────────
+    // A step is its function performed at one position in the chain:
+    // `action <step> :> <function>`, nested in the flow, so each position keeps
+    // its own identity and evidence scope. The item a step handles is a
+    // step-local parameter subsetting it, and a `flow` joins two steps wherever
+    // one's output is the next one's input. A step's parameters redefine its
+    // function's in declaration order, whatever their names, so each narrows
+    // the function's parameter at that position to this step's item.
     action fcPatientBolus : FunctionalFlow {
-        @MemoIdentity { :>> providedId = "FC-001"; }
-        attribute :>> name = "PatientBolusChain";
+        @MemoIdentity { :>> providedId = "FC-001"; :>> label = "PatientBolusChain"; }
         attribute :>> flowCategory = FunctionalFlowKind::nominal;
         attribute :>> endToEndLatencyBudgetMs = "100";
         attribute :>> safetyRelevant = true;
         attribute :>> securityRelevant = false;
-        attribute :>> description = "Bolus button press through lockout/max-dose check to pump actuation and logging.";
-        perform fcsBolusSense;
-        perform fcsBolusValidate;
-        perform fcsBolusCommand;
-        perform fcsBolusActuate;
-        perform fcsBolusLog;
+        doc /* Bolus button press through lockout/max-dose check to pump actuation and logging. */
+        action fcsBolusSense :> fnAcquireSensors {
+            @MemoIdentity { :>> providedId = "FCS-001"; :>> label = "SenseBolusRequest"; }
+            out item bolusRequest :> ddBolusRequest;
+        }
+        action fcsBolusValidate :> fnEnforceLimits {
+            @MemoIdentity { :>> providedId = "FCS-002"; :>> label = "CheckLockoutAndMaxDose"; }
+            in item prescription :> ddPrescription;
+        }
+        action fcsBolusCommand :> fnManageInfusion {
+            @MemoIdentity { :>> providedId = "FCS-003"; :>> label = "CommandBolusFlow"; }
+            out item flowCommand :> cdFlowCommand;
+        }
+        action fcsBolusActuate :> fnCommandPump {
+            @MemoIdentity { :>> providedId = "FCS-004"; :>> label = "ActuatePumpMotor"; }
+            in item flowCommand :> cdFlowCommand;
+        }
+        action fcsBolusLog :> fnLogEvents {
+            @MemoIdentity { :>> providedId = "FCS-005"; :>> label = "LogBolusOutcome"; }
+            out item eventRecord :> ddEventRecord;
+        }
+        first fcsBolusSense then fcsBolusValidate;
+        first fcsBolusValidate then fcsBolusCommand;
+        first fcsBolusCommand then fcsBolusActuate;
+        first fcsBolusActuate then fcsBolusLog;
+        flow from fcsBolusCommand.flowCommand to fcsBolusActuate.flowCommand;
     }
-    action fcsBolusSense : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-001"; } attribute :>> name = "SenseBolusRequest";
-        ref :>> function = fnAcquireSensors; ref :>> exchangedItem = ddBolusRequest;
-    }
-    action fcsBolusValidate : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-002"; } attribute :>> name = "CheckLockoutAndMaxDose";
-        ref :>> function = fnEnforceLimits; ref :>> exchangedItem = ddPrescription;
-    }
-    action fcsBolusCommand : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-003"; } attribute :>> name = "CommandBolusFlow";
-        ref :>> function = fnManageInfusion; ref :>> exchangedItem = cdFlowCommand;
-    }
-    action fcsBolusActuate : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-004"; } attribute :>> name = "ActuatePumpMotor";
-        ref :>> function = fnCommandPump; ref :>> exchangedItem = cdFlowCommand;
-    }
-    action fcsBolusLog : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-005"; } attribute :>> name = "LogBolusOutcome";
-        ref :>> function = fnLogEvents; ref :>> exchangedItem = ddEventRecord;
-    }
-    first fcsBolusSense then fcsBolusValidate;
-    first fcsBolusValidate then fcsBolusCommand;
-    first fcsBolusCommand then fcsBolusActuate;
-    first fcsBolusActuate then fcsBolusLog;
 
     action fcAlarmStop : FunctionalFlow {
-        @MemoIdentity { :>> providedId = "FC-002"; }
-        attribute :>> name = "AlarmDetectionToSafeStateChain";
+        @MemoIdentity { :>> providedId = "FC-002"; :>> label = "AlarmDetectionToSafeStateChain"; }
         attribute :>> flowCategory = FunctionalFlowKind::alarm;
         attribute :>> endToEndLatencyBudgetMs = "20";
         attribute :>> safetyRelevant = true;
         attribute :>> securityRelevant = false;
-        attribute :>> description = "Sensor condition through alarm evaluation to same-step transition to PAUSED (KVO flow, REQ 43) and annunciation.";
-        perform fcsAlarmSense;
-        perform fcsAlarmEvaluate;
-        perform fcsAlarmStopInfusion;
-        perform fcsAlarmAnnunciate;
-    }
-    action fcsAlarmSense : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-006"; } attribute :>> name = "SenseAlarmCondition";
-        ref :>> function = fnAcquireSensors; ref :>> exchangedItem = ddSensorVector;
-    }
-    action fcsAlarmEvaluate : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-007"; } attribute :>> name = "EvaluateAlarmCondition";
-        ref :>> function = fnMonitorAlarm; ref :>> exchangedItem = ddSensorVector;
-    }
-    action fcsAlarmStopInfusion : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-008"; } attribute :>> name = "LimitFlowToKvoSameStep";
-        ref :>> function = fnManageInfusion; ref :>> exchangedItem = cdAlarmSignal;
-    }
-    action fcsAlarmAnnunciate : FunctionalFlowStep {
-        @MemoIdentity { :>> providedId = "FCS-009"; } attribute :>> name = "AnnunciateAudibleVisual";
-        ref :>> function = fnAnnunciate; ref :>> exchangedItem = cdAlarmSignal;
+        doc /* Sensor condition through alarm evaluation to same-step transition to PAUSED (KVO flow, REQ 43) and annunciation. */
+        action fcsAlarmSense :> fnAcquireSensors {
+            @MemoIdentity { :>> providedId = "FCS-006"; :>> label = "SenseAlarmCondition"; }
+            out item sensorVector :> ddSensorVector;
+        }
+        action fcsAlarmEvaluate :> fnMonitorAlarm {
+            @MemoIdentity { :>> providedId = "FCS-007"; :>> label = "EvaluateAlarmCondition"; }
+            in item sensorVector :> ddSensorVector;
+        }
+        action fcsAlarmStopInfusion :> fnManageInfusion {
+            @MemoIdentity { :>> providedId = "FCS-008"; :>> label = "LimitFlowToKvoSameStep"; }
+            // A step's parameters redefine its function's by position, so the
+            // KVO-limited flow command it emits comes first (fnManageInfusion's
+            // `flowCommandOut`); the alarm signal is the input this position adds.
+            out item flowCommand :> cdFlowCommand;
+            in item alarmSignal :> cdAlarmSignal;
+        }
+        action fcsAlarmAnnunciate :> fnAnnunciate {
+            @MemoIdentity { :>> providedId = "FCS-009"; :>> label = "AnnunciateAudibleVisual"; }
+            in item alarmSignal :> cdAlarmSignal;
+        }
+        first fcsAlarmSense then fcsAlarmEvaluate;
+        first fcsAlarmEvaluate then fcsAlarmStopInfusion;
+        first fcsAlarmStopInfusion then fcsAlarmAnnunciate;
+        flow from fcsAlarmSense.sensorVector to fcsAlarmEvaluate.sensorVector;
+        // The alarm signal leaves evaluation through fnMonitorAlarm's own
+        // `alarmSignalOut`, which the step inherits by subsetting it.
+        flow from fcsAlarmEvaluate.alarmSignalOut to fcsAlarmStopInfusion.alarmSignal;
+        flow from fcsAlarmEvaluate.alarmSignalOut to fcsAlarmAnnunciate.alarmSignal;
     }
-    first fcsAlarmSense then fcsAlarmEvaluate;
-    first fcsAlarmEvaluate then fcsAlarmStopInfusion;
-    first fcsAlarmStopInfusion then fcsAlarmAnnunciate;
 
     action fcStartup : FunctionalFlow {
-        @MemoIdentity { :>> providedId = "FC-003"; }
-        attribute :>> name = "PowerOnSelfTestChain";
+        @MemoIdentity { :>> providedId = "FC-003"; :>> label = "PowerOnSelfTestChain"; }
         attribute :>> flowCategory = FunctionalFlowKind::startup;
         attribute :>> endToEndLatencyBudgetMs = "5000";
         attribute :>> safetyRelevant = true;
         attribute :>> securityRelevant = false;
-        attribute :>> description = "Power-on through CPU/memory/sensor self test to IDLE with status display; failed POST blocks therapy.";
+        doc /* Power-on through CPU/memory/sensor self test to IDLE with status display; failed POST blocks therapy. */
         perform fnSelfTest;
         perform fnPresentStatus;
     }
 
     // ── System scenarios ────────────────────────────────────────
     action ssBolusDuringBasal : OperativeScenario {
-        @MemoIdentity { :>> providedId = "SS-001"; }
-        attribute :>> name = "PatientBolusDuringBasal";
+        @MemoIdentity { :>> providedId = "SS-001"; :>> label = "PatientBolusDuringBasal"; }
         attribute :>> preCondition = "BASAL mode active; no REQ 25 ignore condition holds";
         attribute :>> postCondition = "PATIENT_BOLUS mode entered, bolus delivered, return to BASAL";
     }
     action ssAlarmPause : OperativeScenario {
         attribute :>> scenarioKind = ScenarioKind::alternate;
-        @MemoIdentity { :>> providedId = "SS-002"; }
-        attribute :>> name = "InhibitingNotificationPausesInfusion";
+        @MemoIdentity { :>> providedId = "SS-002"; :>> label = "InhibitingNotificationPausesInfusion"; }
         attribute :>> preCondition = "any ACTIVE therapy mode; infusion-inhibiting notification detected (REQ 59)";
         attribute :>> postCondition = "PAUSED mode entered in same execution step at FlowRate_kvo_hd keep-vein-open flow; notification annunciated per REQ 59";
     }