@memoarchitect/ontology 0.13.2 → 0.15.1

package/examples/temperature-alarm/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Temperature Alarm — project identity and method binding.
+// Temperature Alarm — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -16,10 +16,9 @@ package memo_examples_temperature_alarm_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; }
-        attribute :>> name = "TemperatureAlarmProjectMethodBinding";
-        attribute :>> projectName = "Temperature Alarm";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; :>> label = "TemperatureAlarmModelMethodBinding"; }
+        attribute :>> modelName = "Temperature Alarm";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/ui-screen-regions/memo.identity.yaml

@@ -8,6 +8,21 @@ elements:
   "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay":
     shortId: "SYS-1"
     uuid: "9b45772b-7d7d-53e2-97b6-f10d92dc10e4"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentBatteryStatus":
+    shortId: "SYS-2"
+    uuid: "96aa292d-dbbf-514d-be51-baa7c23b4a4b"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentDeliveryStatus":
+    shortId: "SYS-3"
+    uuid: "0b73c191-7803-58ab-a4d1-4630b3528825"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentLocalTime":
+    shortId: "SYS-4"
+    uuid: "daa13f3a-026a-5208-bbda-c6d4ef7f4684"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnSetInfusionRate":
+    shortId: "SYS-5"
+    uuid: "84ed7035-7c68-51e5-bf83-bb64d76f2df4"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnValidateDrugSelection":
+    shortId: "SYS-6"
+    uuid: "710bc732-5946-52ab-a720-ad7284248936"
   "memo_examples_ui_screen_regions_architecture_functional_functions::fnPresentBatteryStatus":
     shortId: "SYS-2"
     uuid: "96aa292d-dbbf-514d-be51-baa7c23b4a4b"
@@ -35,12 +50,27 @@ elements:
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen":
     shortId: "UIE-4"
     uuid: "20084808-1df8-5082-a777-5630903a9d17"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion":
+    shortId: "UIE-3"
+    uuid: "d920531b-65e4-5b63-a450-fc5c3bd33646"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion::elDrugMenuExpanded":
+    shortId: "UIE-1"
+    uuid: "efcfbe2b-af48-51dc-81e2-e46c067bbf46"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion::elDrugSelectorClosed":
+    shortId: "UIE-2"
+    uuid: "7b27669f-d11c-5580-91cd-9353ef088458"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::uiElement12":
+    shortId: "UIE-7"
+    uuid: "1b7cc4c8-3e31-5ba8-b99b-5069491aeb0a"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elRateConfirmDialog":
     shortId: "UIE-5"
     uuid: "5a7e1a4a-a1af-5294-817e-2dcf64f7717e"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elSettingsScreen":
     shortId: "UIE-6"
     uuid: "61a7a5d8-ab25-5fc7-b41f-340ab47b7b56"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elSettingsScreen::elRateConfirmDialog":
+    shortId: "UIE-5"
+    uuid: "5a7e1a4a-a1af-5294-817e-2dcf64f7717e"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::uiElement12":
     shortId: "UIE-7"
     uuid: "1b7cc4c8-3e31-5ba8-b99b-5069491aeb0a"
@@ -74,6 +104,9 @@ elements:
   "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtStatusBarScope":
     shortId: "MDL-3"
     uuid: "b9b7b12d-f223-57ea-8d1b-da58b140b671"
+  "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtStatusBarScope::cmtStatusBarReply":
+    shortId: "MDL-2"
+    uuid: "d99e8642-f5e1-5d31-8cb0-174b25cd1249"
   "memo_examples_ui_screen_regions_artifacts_reviews_notes::noteCaptureReview":
     shortId: "MDL-4"
     uuid: "0e6d1f04-2e80-52dd-90f3-4eeed99b5799"

package/examples/ui-screen-regions/memo.package.yaml

@@ -1,3 +1,5 @@
 name: ui-screen-regions
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

package/examples/ui-screen-regions/model/catalog/architecture/functional/functions.sysml

@@ -19,43 +19,43 @@ package memo_examples_ui_screen_regions_architecture_functional_functions {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     action fnManageInfusionDisplay : SystemFunction {
-        @MemoIdentity { :>> providedId = "UIR-FN-002"; } attribute :>> name = "ManageInfusionDisplay";
+        @MemoIdentity { :>> providedId = "UIR-FN-002"; :>> label = "ManageInfusionDisplay"; }
         @MemoIdentity { :>> shortDescription = "Coordinate the running-infusion display and its interactive regions."; }
-        attribute :>> description = "Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions.";
+        doc /* Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions. */
         attribute :>> criticality = CriticalityKind::high;
 
         action fnSetInfusionRate : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-001"; } attribute :>> name = "SetInfusionRate";
+            @MemoIdentity { :>> providedId = "UIR-FN-001"; :>> label = "SetInfusionRate"; }
             @MemoIdentity { :>> shortDescription = "Apply a clinician-entered rate to the pump controller."; }
-            attribute :>> description = "Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint.";
+            doc /* Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint. */
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnValidateDrugSelection : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-003"; } attribute :>> name = "ValidateDrugSelection";
+            @MemoIdentity { :>> providedId = "UIR-FN-003"; :>> label = "ValidateDrugSelection"; }
             @MemoIdentity { :>> shortDescription = "Validate a selected drug and concentration against the active care-area library."; }
-            attribute :>> description = "Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation.";
+            doc /* Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation. */
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnPresentDeliveryStatus : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-004"; } attribute :>> name = "PresentDeliveryStatus";
+            @MemoIdentity { :>> providedId = "UIR-FN-004"; :>> label = "PresentDeliveryStatus"; }
             @MemoIdentity { :>> shortDescription = "Present current rate and cumulative delivered volume."; }
-            attribute :>> description = "Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval.";
+            doc /* Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval. */
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentLocalTime : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-005"; } attribute :>> name = "PresentLocalTime";
+            @MemoIdentity { :>> providedId = "UIR-FN-005"; :>> label = "PresentLocalTime"; }
             @MemoIdentity { :>> shortDescription = "Read the synchronized clock and present local time."; }
-            attribute :>> description = "Formats the device clock as local 24-hour time and refreshes the status-bar value once per second.";
+            doc /* Formats the device clock as local 24-hour time and refreshes the status-bar value once per second. */
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentBatteryStatus : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-006"; } attribute :>> name = "PresentBatteryStatus";
+            @MemoIdentity { :>> providedId = "UIR-FN-006"; :>> label = "PresentBatteryStatus"; }
             @MemoIdentity { :>> shortDescription = "Present battery state of charge and low-battery status."; }
-            attribute :>> description = "Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen.";
+            doc /* Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen. */
             attribute :>> criticality = CriticalityKind::medium;
         }
 

package/examples/ui-screen-regions/model/catalog/architecture/implementation/ui.sysml

@@ -26,9 +26,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     // segregation is documented, and nothing here is segregated — one UI
     // process draws the lot, so the chrome inherits C like the rate field.
     part uiPumpPanel : UserInterface {
-        @MemoIdentity { :>> providedId = "UIR-UI-001"; } attribute :>> name = "PumpFrontPanel";
+        @MemoIdentity { :>> providedId = "UIR-UI-001"; :>> label = "PumpFrontPanel"; }
         @MemoIdentity { :>> shortDescription = "Front-panel touchscreen."; }
-        attribute :>> description = "The 7-inch capacitive touchscreen on the pump front panel, the sole interface for programming and monitoring an infusion at the bedside.";
+        doc /* The 7-inch capacitive touchscreen on the pump front panel, the sole interface for programming and monitoring an infusion at the bedside. */
         attribute :>> modality = "visual + touch";
         attribute :>> uiTechnology = "embedded Qt";
     }
@@ -37,9 +37,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     // A screen is a UIElement whose formKind is `screen`. Its bounds are the
     // full frame; every descendant's bounds are relative to ITS parent.
     part elMainScreen : UIElement {
-        @MemoIdentity { :>> providedId = "UIE-001"; } attribute :>> name = "MainInfusionScreen";
+        @MemoIdentity { :>> providedId = "UIE-001"; :>> label = "MainInfusionScreen"; }
         @MemoIdentity { :>> shortDescription = "Primary running-infusion screen."; }
-        attribute :>> description = "The screen shown while an infusion is running: current rate, volume delivered, and access to settings. The default view the clinician comes back to after any subordinate task.";
+        doc /* The screen shown while an infusion is running: current rate, volume delivered, and access to settings. The default view the clinician comes back to after any subordinate task. */
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
         attribute :>> navigationRole = "home";
@@ -59,10 +59,10 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // boundary on the main screen and let the reviewer double-click to
         // recurse into its children.
         part elDrugSelectorRegion : UIElement {
-            attribute redefines name = "DrugSelectorRegion";
+            @MemoIdentity { :>> label = "DrugSelectorRegion"; }
             @MemoIdentity { :>> providedId = "UIE-005"; }
             @MemoIdentity { :>> shortDescription = "Reusable region containing drug-selector states."; }
-            attribute redefines description = "Parent geometry region for the drug selector. Its state presentations are sibling UI elements, permitting the same region definition to be reused in flat, spatial, or 3-D renderings.";
+            doc /* Parent geometry region for the drug selector. Its state presentations are sibling UI elements, permitting the same region definition to be reused in flat, spatial, or 3-D renderings. */
             attribute redefines formKind = UIElementFormKind::panel;
             attribute redefines safetyClass = SafetyClassKind::C;
             attribute redefines labelText = "DRUG";
@@ -79,9 +79,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
 
             part elDrugSelectorClosed : UIElement {
-                @MemoIdentity { :>> providedId = "UIE-010"; } attribute :>> name = "ClosedDrugSelector";
+                @MemoIdentity { :>> providedId = "UIE-010"; :>> label = "ClosedDrugSelector"; }
                 @MemoIdentity { :>> shortDescription = "Closed drug selector shown on the main screen."; }
-                attribute :>> description = "The compact, normal-state selector. It is a sibling of the expanded menu rather than a different identity for the parent region.";
+                doc /* The compact, normal-state selector. It is a sibling of the expanded menu rather than a different identity for the parent region. */
                 attribute :>> formKind = UIElementFormKind::selector;
                 attribute :>> safetyClass = SafetyClassKind::C;
                 attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
@@ -99,10 +99,10 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             // states that covering adjacent content is intended dropdown
             // behaviour, not a defect.
             part elDrugMenuExpanded : UIElement {
-                attribute redefines name = "ExpandedDrugMenu";
+                @MemoIdentity { :>> label = "ExpandedDrugMenu"; }
                 @MemoIdentity { :>> providedId = "UIE-011"; }
                 @MemoIdentity { :>> shortDescription = "Expanded drug library choices."; }
-                attribute redefines description = "Expanded state listing Norepinephrine, Dopamine, and Heparin. It shares the DrugSelectorRegion parent with the closed state and can extend beyond that parent's normal inline allocation.";
+                doc /* Expanded state listing Norepinephrine, Dopamine, and Heparin. It shares the DrugSelectorRegion parent with the closed state and can extend beyond that parent's normal inline allocation. */
                 attribute redefines formKind = UIElementFormKind::selector;
                 attribute redefines safetyClass = SafetyClassKind::C;
                 attribute redefines labelText = "Norepinephrine; Dopamine; Heparin";
@@ -119,7 +119,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
         }
         part uiElement12 : UIElement {
-            attribute redefines name = "Region UIE-012";
+            @MemoIdentity { :>> label = "Region UIE-012"; }
             @MemoIdentity { :>> providedId = "UIE-012"; }
             attribute redefines formKind = UIElementFormKind::panel;
             attribute redefines disclosureKind = UIDisclosureKind::inline;
@@ -138,9 +138,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── The settings screen: a sibling root, not a child ────────
     part elSettingsScreen : UIElement {
-        @MemoIdentity { :>> providedId = "UIE-008"; } attribute :>> name = "InfusionSettingsScreen";
+        @MemoIdentity { :>> providedId = "UIE-008"; :>> label = "InfusionSettingsScreen"; }
         @MemoIdentity { :>> shortDescription = "Settings screen reached from the main screen."; }
-        attribute :>> description = "Secondary screen for changing infusion parameters mid-run. It is a root in its own right with its own capture and its own coordinate frame — it is not laid out inside the main screen, so no geometric rule relates the two.";
+        doc /* Secondary screen for changing infusion parameters mid-run. It is a root in its own right with its own capture and its own coordinate frame — it is not laid out inside the main screen, so no geometric rule relates the two. */
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
         attribute :>> navigationRole = "subordinate";
@@ -156,9 +156,9 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // pending rate change awaits explicit confirmation and intentionally
         // covers the settings form beneath it.
         part elRateConfirmDialog : UIElement {
-            @MemoIdentity { :>> providedId = "UIE-009"; } attribute :>> name = "RateChangeConfirmationDialog";
+            @MemoIdentity { :>> providedId = "UIE-009"; :>> label = "RateChangeConfirmationDialog"; }
             @MemoIdentity { :>> shortDescription = "Modal confirmation popup for a new infusion rate."; }
-            attribute :>> description = "Restates the pending infusion rate above the settings screen and requires an explicit confirm or cancel disposition before the value can reach the controller.";
+            doc /* Restates the pending infusion rate above the settings screen and requires an explicit confirm or cancel disposition before the value can reach the controller. */
             attribute :>> formKind = UIElementFormKind::dialog;
             attribute :>> safetyClass = SafetyClassKind::C;
             attribute :>> labelText = "Confirm rate change?";
@@ -177,7 +177,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── UI actions and the functions they invoke ────────────────
     action uiaEditRate : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-001"; } attribute :>> name = "EditInfusionRate";
+        @MemoIdentity { :>> providedId = "UIR-UIA-001"; :>> label = "EditInfusionRate"; }
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
@@ -185,14 +185,14 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     }
 
     action uiaOpenSettings : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-002"; } attribute :>> name = "OpenInfusionSettings";
+        @MemoIdentity { :>> providedId = "UIR-UIA-002"; :>> label = "OpenInfusionSettings"; }
         attribute :>> intent = InteractionIntentKind::navigation;
         attribute :>> confirmationRequired = false;
         perform fnManageInfusionDisplay;
     }
 
     action uiaSelectDrug : UIAction {
-        @MemoIdentity { :>> providedId = "UIR-UIA-003"; } attribute :>> name = "SelectDrug";
+        @MemoIdentity { :>> providedId = "UIR-UIA-003"; :>> label = "SelectDrug"; }
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         perform fnManageInfusionDisplay.fnValidateDrugSelection;

package/examples/ui-screen-regions/model/catalog/artifacts/assets/catalog.sysml

@@ -22,9 +22,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     private import memo_core_common::MemoIdentity;
     // ── The captures ────────────────────────────────────────────
     part capMain : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIR-CAP-001"; } attribute :>> name = "MainScreenCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIR-CAP-001"; :>> label = "MainScreenCapture_v2.4.1"; }
         @MemoIdentity { :>> shortDescription = "Main infusion screen, build 2.4.1."; }
-        attribute :>> description = "Screenshot of the running-infusion screen taken from release candidate 2.4.1 on the 7-inch panel at 1024×600, English (US), daylight theme, clinician role.";
+        doc /* Screenshot of the running-infusion screen taken from release candidate 2.4.1 on the 7-inch panel at 1024×600, English (US), daylight theme, clinician role. */
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/mainScreenLayout/main-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:086d8a3c2956ad8ed81f1e565a97308b55ba8a384c22c1b2138626ad8928a88a";
         attribute :>> pixelWidth = 1024;
@@ -35,9 +35,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capDrugSelector : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIC-003"; } attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIC-003"; :>> label = "ExpandedDrugSelectorCapture_v2.4.1"; }
         @MemoIdentity { :>> shortDescription = "Expanded drug-selector region crop."; }
-        attribute :>> description = "Focused capture of the reusable DrugSelectorRegion in its expanded state, used when a reviewer drills into the region from the main layout.";
+        doc /* Focused capture of the reusable DrugSelectorRegion in its expanded state, used when a reviewer drills into the region from the main layout. */
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/drugSelectorRegion/drug-selector-expanded-2.4.1.png";
         attribute :>> imageHash = "sha256:2265b48864be8561a86099a99cf8aea2f4fcf06c19ccacbcc55784fbb1c37975";
         attribute :>> pixelWidth = 798;
@@ -48,9 +48,9 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capSettings : ScreenCapture {
-        @MemoIdentity { :>> providedId = "UIR-CAP-002"; } attribute :>> name = "SettingsScreenCapture_v2.4.1";
+        @MemoIdentity { :>> providedId = "UIR-CAP-002"; :>> label = "SettingsScreenCapture_v2.4.1"; }
         @MemoIdentity { :>> shortDescription = "Infusion settings screen, build 2.4.1."; }
-        attribute :>> description = "Screenshot of the settings screen reached from the main screen's settings row, same build and capture conditions as the main screen capture.";
+        doc /* Screenshot of the settings screen reached from the main screen's settings row, same build and capture conditions as the main screen capture. */
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/settingsScreenLayout/settings-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:2ad7f11427fdb2eb179cf94d96a1679a2ece31505d247ee0b659bec06a669dbf";
         attribute :>> pixelWidth = 1024;

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/comments.sysml

@@ -23,7 +23,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     // separate from `description`: what the element IS versus what someone
     // SAID about it. A generated DHF section renders the former only.
     part cmtDecimalSalience : ModelComment {
-        @MemoIdentity { :>> providedId = "UIR-CMT-001"; } attribute :>> name = "DecimalSalienceReview";
+        @MemoIdentity { :>> providedId = "UIR-CMT-001"; :>> label = "DecimalSalienceReview"; }
         @MemoIdentity { :>> shortDescription = "Decimal point too small at 1 m — raised in HF review."; }
         attribute :>> body = "In the 2026-07-16 formative session, 3 of 8 participants hesitated over 12.5 vs 125 at bedside distance. Recommend enlarging the decimal separator or splitting the fractional digit into a smaller trailing glyph.";
         attribute :>> author = "r.mehta";
@@ -33,14 +33,14 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     }
 
     part cmtStatusBarScope : ModelComment {
-        @MemoIdentity { :>> providedId = "UIR-CMT-002"; } attribute :>> name = "StatusBarScopeQuery";
+        @MemoIdentity { :>> providedId = "UIR-CMT-002"; :>> label = "StatusBarScopeQuery"; }
         @MemoIdentity { :>> shortDescription = "Is the battery icon really decoration?"; }
         attribute :>> body = "Battery state is arguably an indicator, not chrome — a depleted battery during infusion is a hazard path. Should the battery icon be split out as its own indicator element with its own bounds?";
         attribute :>> author = "j.okafor";
         attribute :>> createdAt = "2026-07-16T09:05:00Z";
         attribute :>> commentStatus = CommentStatusKind::acknowledged;
         part cmtStatusBarReply : ModelComment {
-            @MemoIdentity { :>> providedId = "UIR-CMT-003"; } attribute :>> name = "StatusBarScopeReply";
+            @MemoIdentity { :>> providedId = "UIR-CMT-003"; :>> label = "StatusBarScopeReply"; }
             @MemoIdentity { :>> shortDescription = "Agreed — split in the next markup pass."; }
             attribute :>> body = "Agreed. Battery indication is in the alarm system's scope and will become its own indicator element once that requirement lands. Keeping the strip as decoration until then rather than classifying it as something it is not.";
             attribute :>> author = "r.mehta";

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/notes.sysml

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_notes {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part noteCaptureReview : ModelNote {
-        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; } attribute :>> name = "CaptureReviewNote";
+        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; :>> label = "CaptureReviewNote"; }
         @MemoIdentity { :>> shortDescription = "Reconfirm automatic regions after every capture replacement."; }
         attribute :>> body = "Normalized manual bounds migrate between captures; automatically detected regions require renewed reviewer confirmation.";
         attribute :>> author = "r.mehta";

package/examples/ui-screen-regions/model/catalog/artifacts/reviews/rationales.sysml

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part ratOverlayGeometry : ModelRationale {
-        @MemoIdentity { :>> providedId = "UIR-RAT-001"; } attribute :>> name = "OverlayGeometryRationale";
+        @MemoIdentity { :>> providedId = "UIR-RAT-001"; :>> label = "OverlayGeometryRationale"; }
         @MemoIdentity { :>> shortDescription = "The drug menu intentionally escapes its parent bounds."; }
         attribute :>> body = "The open drug selector overlays adjacent content, so disclosureKind carries the intended behavior and the renderer must not clip it to RatePanel.";
         attribute :>> author = "j.okafor";

package/examples/ui-screen-regions/model/catalog/assurance/human_factors/human_factors.sysml

@@ -19,41 +19,41 @@ package memo_examples_ui_screen_regions_assurance_human_factors {
     private import memo_core_common::MemoIdentity;
     // ── The risk side ───────────────────────────────────────────
     part ueMisreadRate : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-001"; } attribute :>> name = "MisreadRateDecimalPoint";
+        @MemoIdentity { :>> providedId = "UIR-UE-001"; :>> label = "MisreadRateDecimalPoint"; }
         @MemoIdentity { :>> shortDescription = "Decimal point missed; rate read 10× high or low."; }
-        attribute :>> description = "The clinician reads 12.5 mL/h as 125 mL/h, or the reverse, because the decimal point is not salient at a glance from the bedside.";
+        doc /* The clinician reads 12.5 mL/h as 125 mL/h, or the reverse, because the decimal point is not salient at a glance from the bedside. */
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueSelectWrongDrug : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-002"; } attribute :>> name = "SelectWrongDrugConcentration";
+        @MemoIdentity { :>> providedId = "UIR-UE-002"; :>> label = "SelectWrongDrugConcentration"; }
         @MemoIdentity { :>> shortDescription = "Clinician selects the wrong drug or concentration from the expanded list."; }
-        attribute :>> description = "A visually adjacent drug-library entry is selected during programming and is not detected before delivery parameters are calculated.";
+        doc /* A visually adjacent drug-library entry is selected during programming and is not detected before delivery parameters are calculated. */
         attribute :>> errorCategory = UseErrorCategoryKind::actionCategory;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMissLowBattery : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-003"; } attribute :>> name = "MissLowBatteryStatus";
+        @MemoIdentity { :>> providedId = "UIR-UE-003"; :>> label = "MissLowBatteryStatus"; }
         @MemoIdentity { :>> shortDescription = "Clinician does not notice that remaining battery operation is limited."; }
-        attribute :>> description = "During transport or a mains outage, an inconspicuous or stale battery indicator is not noticed before the pump loses power.";
+        doc /* During transport or a mains outage, an inconspicuous or stale battery indicator is not noticed before the pump loses power. */
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::critical;
     }
 
     part ueRelyOnStaleVolume : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-004"; } attribute :>> name = "RelyOnStaleDeliveredVolume";
+        @MemoIdentity { :>> providedId = "UIR-UE-004"; :>> label = "RelyOnStaleDeliveredVolume"; }
         @MemoIdentity { :>> shortDescription = "Clinician bases a therapy decision on a stale delivered-volume value."; }
-        attribute :>> description = "The displayed cumulative volume stops refreshing while the controller continues delivery, causing the clinician to underestimate administered therapy.";
+        doc /* The displayed cumulative volume stops refreshing while the controller continues delivery, causing the clinician to underestimate administered therapy. */
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMisreadDisplayedTime : UseError {
-        @MemoIdentity { :>> providedId = "UIR-UE-005"; } attribute :>> name = "RelyOnIncorrectDisplayedTime";
+        @MemoIdentity { :>> providedId = "UIR-UE-005"; :>> label = "RelyOnIncorrectDisplayedTime"; }
         @MemoIdentity { :>> shortDescription = "Clinician associates a therapy observation with an incorrect time."; }
-        attribute :>> description = "A stale or unsynchronized screen clock causes an observation to be correlated with the wrong therapy event during handoff or incident review.";
+        doc /* A stale or unsynchronized screen clock causes an observation to be correlated with the wrong therapy event during handoff or incident review. */
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::minor;
     }

package/examples/ui-screen-regions/model/catalog/assurance/requirements/needs.sysml

@@ -18,7 +18,7 @@ package memo_examples_ui_screen_regions_assurance_requirements_needs {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     requirement needReadableProgramming : Need {
-        @MemoIdentity { :>> providedId = "UIR-NEED-001"; } attribute :>> name = "ReadableAndConfirmableProgramming";
+        @MemoIdentity { :>> providedId = "UIR-NEED-001"; :>> label = "ReadableAndConfirmableProgramming"; }
         attribute :>> needKind = NeedKind::'stakeholder';
         attribute :>> statement = "Clinicians need infusion programming to be readable and explicitly confirmed before therapy changes.";
         attribute :>> priority = "high";

package/examples/ui-screen-regions/model/catalog/assurance/requirements/requirements.sysml

@@ -20,7 +20,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     private import memo_core_common::MemoIdentity;
     // ── The spec side ───────────────────────────────────────────
     requirement reqRateEntry : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-001"; } attribute :>> name = "RateEntryConfirmation";
+        @MemoIdentity { :>> providedId = "UIR-REQ-001"; :>> label = "RateEntryConfirmation"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "When the clinician enters a new infusion rate, the pump shall display the entered rate for explicit confirmation before applying it.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -33,7 +33,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqRateLegibility : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-002"; } attribute :>> name = "RateLegibility";
+        @MemoIdentity { :>> providedId = "UIR-REQ-002"; :>> label = "RateLegibility"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall display the active infusion rate legibly at 1 m under 100–1000 lux ambient illumination.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -47,7 +47,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqVolumeDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-003"; } attribute :>> name = "VolumeDeliveredDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-003"; :>> label = "VolumeDeliveredDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "The pump shall display cumulative volume delivered for the active infusion, updated at least once per second.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -59,7 +59,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugLibrarySelection : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-004"; } attribute :>> name = "DrugLibrarySelection";
+        @MemoIdentity { :>> providedId = "UIR-REQ-004"; :>> label = "DrugLibrarySelection"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "The pump shall permit selection only from drug and concentration entries enabled for the active care area.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -72,7 +72,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDisplayFreshness : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-005"; } attribute :>> name = "InfusionStatusFreshness";
+        @MemoIdentity { :>> providedId = "UIR-REQ-005"; :>> label = "InfusionStatusFreshness"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The pump shall refresh the displayed active rate and cumulative delivered volume at least once per second while an infusion is running.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -86,7 +86,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqActiveRateDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-006"; } attribute :>> name = "ActiveInfusionRateDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-006"; :>> label = "ActiveInfusionRateDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "While an infusion is running, the pump shall display the active infusion rate value and its mL/h unit.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -99,7 +99,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugIdentityDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-007"; } attribute :>> name = "ActiveDrugIdentityDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-007"; :>> label = "ActiveDrugIdentityDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "Where a drug-library entry is active, the pump shall display the selected drug name and concentration on the running-infusion screen.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -112,7 +112,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-008"; } attribute :>> name = "LocalTimeDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-008"; :>> label = "LocalTimeDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "While the running-infusion screen is visible, the pump shall display synchronized local time in 24-hour HH:mm format.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -124,7 +124,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeAccuracy : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-009"; } attribute :>> name = "DisplayedTimeAccuracy";
+        @MemoIdentity { :>> providedId = "UIR-REQ-009"; :>> label = "DisplayedTimeAccuracy"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "The running-infusion display shall present local time within 2 seconds of the synchronized device clock and refresh the visible minute within 1 second of rollover.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -138,7 +138,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryStatusDisplay : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-010"; } attribute :>> name = "BatteryStatusDisplay";
+        @MemoIdentity { :>> providedId = "UIR-REQ-010"; :>> label = "BatteryStatusDisplay"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "While the pump is operating, the pump shall display battery state of charge as a percentage and graphical icon.";
         attribute :>> notation = RequirementNotationKind::ears;
@@ -151,7 +151,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryWarningPerformance : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-011"; } attribute :>> name = "LowBatteryStatusLatency";
+        @MemoIdentity { :>> providedId = "UIR-REQ-011"; :>> label = "LowBatteryStatusLatency"; }
         attribute :>> requirementType = RequirementTypeKind::system;
         attribute :>> statement = "When estimated battery operating time falls below 30 minutes, the pump shall present a visually prominent low-battery state within 1 second.";
         attribute :>> notation = RequirementNotationKind::sophist;
@@ -165,7 +165,7 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugSelectionPerformance : Requirement {
-        @MemoIdentity { :>> providedId = "UIR-REQ-012"; } attribute :>> name = "DrugSelectorResponseTime";
+        @MemoIdentity { :>> providedId = "UIR-REQ-012"; :>> label = "DrugSelectorResponseTime"; }
         attribute :>> requirementType = RequirementTypeKind::software;
         attribute :>> statement = "When the clinician activates the drug selector, the pump shall display the enabled drug list within 250 milliseconds.";
         attribute :>> notation = RequirementNotationKind::ears;