@memoarchitect/ontology 0.8.24 → 0.11.0

package/examples/temperature-alarm/memo.identity.yaml

@@ -0,0 +1,64 @@
+# memo.identity.yaml — element identity registry (auto-generated)
+# Assigned once and never reassigned. COMMIT THIS FILE: deleting it does
+# not regenerate the same identities, it mints new ones, and every
+# external reference to a shortId or uuid then points at nothing.
+# Entries for deleted elements are retained so their numbers stay retired.
+
+elements:
+  "memo_examples_temperature_alarm::actAcknowledgeAlarm":
+    shortId: "OPR-1"
+    uuid: "ea2b4f6a-a25b-5c93-84a2-2c149dc5b870"
+  "memo_examples_temperature_alarm::chMonitor":
+    shortId: "LGC-1"
+    uuid: "0f804fdc-4ead-5205-a108-91ce7e4b4d04"
+  "memo_examples_temperature_alarm::chPrimary":
+    shortId: "LGC-2"
+    uuid: "be43f8c3-dbdc-505e-8c8e-b62571f179fb"
+  "memo_examples_temperature_alarm::elAlarmBanner":
+    shortId: "UIE-1"
+    uuid: "cb4a788e-08c4-5ac7-b68e-25fcbac3af7e"
+  "memo_examples_temperature_alarm::evLatencyReport":
+    shortId: "MMX-1"
+    uuid: "6ed38946-dcb2-5c1b-b97d-58db3d0c884c"
+  "memo_examples_temperature_alarm::fnDetectDeviation":
+    shortId: "SYS-1"
+    uuid: "b22e14c8-57b0-5ed9-8167-5a1a35e2e7e3"
+  "memo_examples_temperature_alarm::hzUndetectedDeviation":
+    shortId: "HZD-1"
+    uuid: "f7884ad4-503c-5eb1-a779-f02d4602817a"
+  "memo_examples_temperature_alarm::icuNurse":
+    shortId: "USR-1"
+    uuid: "f7b9403f-66c9-55f4-b6f5-a0f78c055260"
+  "memo_examples_temperature_alarm::rcReAnnunciate":
+    shortId: "RSK-1"
+    uuid: "6f1dbdd1-5eef-54e0-81d4-78a4001af7b3"
+  "memo_examples_temperature_alarm::taskAckAlarm":
+    shortId: "OPR-2"
+    uuid: "2a25bec5-50f6-5bef-ad59-750b277515db"
+  "memo_examples_temperature_alarm::ucMonitorTemp":
+    shortId: "USE-1"
+    uuid: "3e0d59fc-eda9-581e-a7d8-aafb2f466ea5"
+  "memo_examples_temperature_alarm::ueSilenceAndForget":
+    shortId: "USE-2"
+    uuid: "74eae9e0-1297-5ba9-b38c-b3500ce7745c"
+  "memo_examples_temperature_alarm::uiBedside":
+    shortId: "USR-2"
+    uuid: "664f0cf3-a7f3-536b-a078-470be588e6f3"
+  "memo_examples_temperature_alarm::uiaAcknowledge":
+    shortId: "UXX-1"
+    uuid: "bbcaba4d-4cb7-554c-8797-6e27f6dacfcb"
+  "memo_examples_temperature_alarm::uvAckTask":
+    shortId: "MMX-3"
+    uuid: "d268c19e-41da-5657-ac04-2f9bcdc29713"
+  "memo_examples_temperature_alarm::vcAlarmLatency":
+    shortId: "VRF-1"
+    uuid: "e4853bd5-0672-5040-af70-0c7f9177ee7a"
+  "memo_examples_temperature_alarm::vsAlarmLatency":
+    shortId: "OPR-3"
+    uuid: "a66d2a6f-8b2e-5302-a2e2-14a32f08e85e"
+  "memo_examples_temperature_alarm_project::projectBinding":
+    shortId: "PRJ-1"
+    uuid: "27e78a8e-0e34-5569-8d7d-06c416fbbbd6"
+  "memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_alarm_overview::temperatureAlarmOverview":
+    shortId: "MMX-2"
+    uuid: "e9653f71-dc0b-55aa-951c-469b402afad3"

package/examples/temperature-alarm/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_temperature_alarm_project {
     private import memo_examples_temperature_alarm_viewpoints_unassigned::*;
     private import memo_examples_temperature_alarm_viewpoints_unassigned_views_temperature_alarm_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-TEMPERATURE-ALARM-001";
+        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; }
         attribute :>> name = "TemperatureAlarmProjectMethodBinding";
         attribute :>> projectName = "Temperature Alarm";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml

@@ -25,26 +25,27 @@ package memo_examples_temperature_alarm {
     private import memo_core_relationships::*;
     private import memo_assurance_safety_risk_analysis::*;
 
+    private import memo_core_common::MemoIdentity;
     // ── Operational intent ──────────────────────────────────────
     part icuNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> id = "TA-USR-001"; attribute :>> name = "ICUNurse";
+        @MemoIdentity { :>> providedId = "TA-USR-001"; } attribute :>> name = "ICUNurse";
     }
     use case ucMonitorTemp : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        attribute :>> id = "TA-UC-001";
+        @MemoIdentity { :>> providedId = "TA-UC-001"; }
         attribute :>> name = "MonitorPatientTemperature";
         attribute :>> goalStatement = "Continuously monitor core temperature and be alerted when it leaves the safe range.";
         subject supportingSystem;
         actor icuNurseInitiator = icuNurse;
     }
     action actAcknowledgeAlarm : OperativeAction {
-        attribute :>> id = "TA-ACT-001"; attribute :>> name = "ReviewAndAcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-ACT-001"; } attribute :>> name = "ReviewAndAcknowledgeAlarm";
         attribute :>> criticality = CriticalityKind::high;
 
         action taskAckAlarm : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            attribute :>> id = "TA-TASK-001"; attribute :>> name = "AcknowledgeTemperatureAlarm";
+            @MemoIdentity { :>> providedId = "TA-TASK-001"; } attribute :>> name = "AcknowledgeTemperatureAlarm";
             attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
             attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
             attribute :>> severityIfFailed = SeverityKind::serious;
@@ -53,18 +54,18 @@ package memo_examples_temperature_alarm {
 
     // ── Functional and logical slices ───────────────────────────
     action fnDetectDeviation : SystemFunction {
-        attribute :>> id = "TA-FN-001"; attribute :>> name = "DetectTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-FN-001"; } attribute :>> name = "DetectTemperatureDeviation";
         attribute :>> criticality = CriticalityKind::high;
         // This function is owned by the functional architecture layer (its
         // package). Its safety and verification character are typed
         // relationships to assurance-owned elements, not tags on the function.
     }
     part chMonitor : LogicalComponent {
-        attribute :>> id = "TA-LC-001"; attribute :>> name = "TemperatureMonitorChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-001"; } attribute :>> name = "TemperatureMonitorChannel";
         attribute :>> channelRole = ChannelRoleKind::monitor;
     }
     part chPrimary : LogicalComponent {
-        attribute :>> id = "TA-LC-002"; attribute :>> name = "MeasurementChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-002"; } attribute :>> name = "MeasurementChannel";
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     connection : IndependentOf connect channel ::> chMonitor to otherChannel ::> chPrimary {
@@ -73,38 +74,40 @@ package memo_examples_temperature_alarm {
     allocate fnDetectDeviation to chMonitor;
     // ── UI: alarm element and acknowledgement action ────────────
     part uiBedside : UserInterface {
-        attribute :>> id = "TA-UI-001"; attribute :>> name = "BedsideDisplay";
+        @MemoIdentity { :>> providedId = "TA-UI-001"; } attribute :>> name = "BedsideDisplay";
         attribute :>> modality = "visual + audible";
     }
     part elAlarmBanner : UIElement {
-        attribute :>> id = "TA-EL-001"; attribute :>> name = "TempAlarmBanner";
+        @MemoIdentity { :>> providedId = "TA-EL-001"; } attribute :>> name = "TempAlarmBanner";
         attribute :>> alarmPriority = NotificationPriorityKind::high;
         attribute :>> annunciationModality = "flashing banner + tone";
         attribute :>> silenceable = true;
     }
     action uiaAcknowledge : UIAction {
-        attribute :>> id = "TA-UIA-001"; attribute :>> name = "AcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-UIA-001"; } attribute :>> name = "AcknowledgeAlarm";
         attribute :>> intent = InteractionIntentKind::acknowledgement;
         attribute :>> confirmationRequired = true;
         perform fnDetectDeviation;
     }
     connection : ElementTriggersAction connect element ::> elAlarmBanner to triggeredAction ::> uiaAcknowledge;
-    connection : Supports { connect supporter ::> uiBedside to supported ::> actAcknowledgeAlarm.taskAckAlarm; }
+    // Was `Supports`, a zero-attribute duplicate of both `Enables` and the
+    // native `dependency`.
+    dependency from uiBedside to actAcknowledgeAlarm::taskAckAlarm;
 
     // ── Risk chain with use error ───────────────────────────────
     part ueSilenceAndForget : UseError {
-        attribute :>> id = "TA-UE-001"; attribute :>> name = "SilenceWithoutAssessment";
+        @MemoIdentity { :>> providedId = "TA-UE-001"; } attribute :>> name = "SilenceWithoutAssessment";
         attribute :>> errorCategory = UseErrorCategoryKind::memoryRecall;
         attribute :>> severity = SeverityKind::serious;
     }
     item hzUndetectedDeviation : Hazard {
-        attribute :>> id = "TA-HZ-001"; attribute :>> name = "UndetectedTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-HZ-001"; } attribute :>> name = "UndetectedTemperatureDeviation";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
     part rcReAnnunciate : RiskControlMeasure {
-        attribute :>> id = "TA-RC-001"; attribute :>> name = "AutoReAnnunciationAfterSilence";
+        @MemoIdentity { :>> providedId = "TA-RC-001"; } attribute :>> name = "AutoReAnnunciationAfterSilence";
         attribute :>> controlKind = RiskControlKind::alarm;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
@@ -115,30 +118,32 @@ package memo_examples_temperature_alarm {
 
     // ── Verification, validation, evidence ──────────────────────
     action vsAlarmLatency : OperativeScenario {
-        attribute :>> id = "TA-VS-001"; attribute :>> name = "AlarmLatencyScenario";
+        @MemoIdentity { :>> providedId = "TA-VS-001"; } attribute :>> name = "AlarmLatencyScenario";
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {
-        attribute :>> id = "TA-VC-001"; attribute :>> name = "VerifyAlarmLatency";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "TA-VC-001"; } attribute :>> name = "VerifyAlarmLatency";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "annunciation within 2 s of sustained deviation";
 
         subject verified : Base::Anything[*] = (fnDetectDeviation);
+
+        // Native `perform`: OperativeScenario is an action def, so executing a
+        // scenario is the language's own perform-action, not a MEMO relation.
+        perform vsAlarmLatency;
     }
     part uvAckTask : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::usabilityValidation;
-        attribute :>> id = "TA-UV-001"; attribute :>> name = "SummativeAlarmAcknowledgement";
+        @MemoIdentity { :>> providedId = "TA-UV-001"; } attribute :>> name = "SummativeAlarmAcknowledgement";
         attribute :>> participantProfile = "15 ICU nurses, representative shift conditions";
         attribute :>> participantCount = 15;
         attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
     }
     part evLatencyReport : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "TA-EV-001"; attribute :>> name = "AlarmLatencyTestReport";
+        @MemoIdentity { :>> providedId = "TA-EV-001"; } attribute :>> name = "AlarmLatencyTestReport";
         attribute :>> evidenceType = "test report";
     }
-    connection : ExecutesScenario connect verificationCase ::> vcAlarmLatency to scenario ::> vsAlarmLatency;
-
-    connection : Validates connect validationCase ::> uvAckTask to validationTarget ::> actAcknowledgeAlarm.taskAckAlarm;
+    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> uvAckTask;
     connection : ProducesEvidence connect producer ::> vcAlarmLatency to producedEvidence ::> evLatencyReport;
 }

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

@@ -0,0 +1,205 @@
+# memo.identity.yaml — element identity registry (auto-generated)
+# Assigned once and never reassigned. COMMIT THIS FILE: deleting it does
+# not regenerate the same identities, it mints new ones, and every
+# external reference to a shortId or uuid then points at nothing.
+# Entries for deleted elements are retained so their numbers stay retired.
+
+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::fnPresentBatteryStatus":
+    shortId: "SYS-2"
+    uuid: "96aa292d-dbbf-514d-be51-baa7c23b4a4b"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnPresentDeliveryStatus":
+    shortId: "SYS-3"
+    uuid: "0b73c191-7803-58ab-a4d1-4630b3528825"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnPresentLocalTime":
+    shortId: "SYS-4"
+    uuid: "daa13f3a-026a-5208-bbda-c6d4ef7f4684"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnSetInfusionRate":
+    shortId: "SYS-5"
+    uuid: "84ed7035-7c68-51e5-bf83-bb64d76f2df4"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnValidateDrugSelection":
+    shortId: "SYS-6"
+    uuid: "710bc732-5946-52ab-a720-ad7284248936"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elDrugMenuExpanded":
+    shortId: "UIE-1"
+    uuid: "efcfbe2b-af48-51dc-81e2-e46c067bbf46"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elDrugSelectorClosed":
+    shortId: "UIE-2"
+    uuid: "7b27669f-d11c-5580-91cd-9353ef088458"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elDrugSelectorRegion":
+    shortId: "UIE-3"
+    uuid: "d920531b-65e4-5b63-a450-fc5c3bd33646"
+  "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::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::uiElement12":
+    shortId: "UIE-7"
+    uuid: "1b7cc4c8-3e31-5ba8-b99b-5069491aeb0a"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::uiPumpPanel":
+    shortId: "USR-1"
+    uuid: "a776efd4-f0b1-5ffc-9cb7-9563989852f4"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::uiaEditRate":
+    shortId: "UXX-1"
+    uuid: "85e9cd00-5868-5cab-93df-55bb5881ab6b"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::uiaOpenSettings":
+    shortId: "UXX-2"
+    uuid: "1b15dd7d-9a53-5c2b-bb57-1635da44b618"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::uiaSelectDrug":
+    shortId: "UXX-3"
+    uuid: "5436c3d1-d76e-5546-bf50-e40e9cacf92c"
+  "memo_examples_ui_screen_regions_artifacts_assets::capDrugSelector":
+    shortId: "SCR-1"
+    uuid: "51697f54-b3f4-5341-be30-5fec7df8b3f3"
+  "memo_examples_ui_screen_regions_artifacts_assets::capMain":
+    shortId: "SCR-2"
+    uuid: "5c5debcc-b021-5d62-86d5-007fe37d427d"
+  "memo_examples_ui_screen_regions_artifacts_assets::capSettings":
+    shortId: "SCR-3"
+    uuid: "3df60945-9d9f-535e-b907-61baaf2f7f1a"
+  "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtDecimalSalience":
+    shortId: "MDL-1"
+    uuid: "aada3c56-bd18-545a-9b46-77d45a7354e5"
+  "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtStatusBarReply":
+    shortId: "MDL-2"
+    uuid: "d99e8642-f5e1-5d31-8cb0-174b25cd1249"
+  "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_notes::noteCaptureReview":
+    shortId: "MDL-4"
+    uuid: "0e6d1f04-2e80-52dd-90f3-4eeed99b5799"
+  "memo_examples_ui_screen_regions_artifacts_reviews_rationales::ratOverlayGeometry":
+    shortId: "MDL-5"
+    uuid: "349c75a2-4041-56ab-b2c5-c5710a43d07f"
+  "memo_examples_ui_screen_regions_assurance_human_factors::ueMisreadDisplayedTime":
+    shortId: "USE-1"
+    uuid: "74100c1a-f960-54d7-a0a4-36f21a7e3d0c"
+  "memo_examples_ui_screen_regions_assurance_human_factors::ueMisreadRate":
+    shortId: "USE-2"
+    uuid: "4a2c3dbf-dc82-57c0-af10-0aae21f0880e"
+  "memo_examples_ui_screen_regions_assurance_human_factors::ueMissLowBattery":
+    shortId: "USE-3"
+    uuid: "5f57b588-20f6-5b03-b32e-6c801c10bc6e"
+  "memo_examples_ui_screen_regions_assurance_human_factors::ueRelyOnStaleVolume":
+    shortId: "USE-4"
+    uuid: "7f2c9058-0d12-5aa0-a594-5e52e8ff1dae"
+  "memo_examples_ui_screen_regions_assurance_human_factors::ueSelectWrongDrug":
+    shortId: "USE-5"
+    uuid: "4463487f-8084-590c-ac2c-2064da2614e2"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqActiveRateDisplay":
+    shortId: "REQ-1"
+    uuid: "fddda136-cdd4-5f96-8aa0-81f76d8bcc09"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqBatteryStatusDisplay":
+    shortId: "REQ-2"
+    uuid: "965058ae-7a64-5073-b1b3-623ee49b6f0b"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqBatteryWarningPerformance":
+    shortId: "REQ-3"
+    uuid: "91d47515-c10f-5973-b042-9afd1343adcc"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqDisplayFreshness":
+    shortId: "REQ-4"
+    uuid: "4315dfd6-0167-5006-b080-b2f2734de5fc"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqDrugIdentityDisplay":
+    shortId: "REQ-5"
+    uuid: "659494f6-e296-53f5-a011-a36599475ffc"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqDrugLibrarySelection":
+    shortId: "REQ-6"
+    uuid: "ad58cfc5-77c3-51cd-9232-16d32bfa7fc9"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqDrugSelectionPerformance":
+    shortId: "REQ-7"
+    uuid: "c5380f55-6d5b-51a7-bfa1-570210e80935"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqRateEntry":
+    shortId: "REQ-8"
+    uuid: "16613ed6-943d-50ed-8bcc-3849c9a78ca9"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqRateLegibility":
+    shortId: "REQ-9"
+    uuid: "4e9b6014-ddf2-546c-b6f3-de4a689889d6"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqTimeAccuracy":
+    shortId: "REQ-10"
+    uuid: "de995503-445a-5ff0-a0d5-a6516e542d1f"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqTimeDisplay":
+    shortId: "REQ-11"
+    uuid: "fa7f0890-e671-506a-9caf-39f8e00cbaea"
+  "memo_examples_ui_screen_regions_assurance_requirements::reqVolumeDisplay":
+    shortId: "REQ-12"
+    uuid: "f909d550-83d8-57b1-9922-fd0fcbf4cb0f"
+  "memo_examples_ui_screen_regions_assurance_requirements_needs::needReadableProgramming":
+    shortId: "NDX-1"
+    uuid: "6f8e78ee-e23b-5194-983f-bedcd5c907de"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::hzIncorrectDeliveredVolumeAssessment":
+    shortId: "HZD-1"
+    uuid: "8e600b22-708a-53b3-900c-a3157f9357e5"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::hzIncorrectEventChronology":
+    shortId: "HZD-2"
+    uuid: "8159f0e0-decf-5553-9ba6-c66bae17381c"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::hzUnexpectedPowerLoss":
+    shortId: "HZD-3"
+    uuid: "fe69a889-4877-5eb2-8923-6fea425b6c6b"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::hzWrongDrug":
+    shortId: "HZD-4"
+    uuid: "0d0ae248-b3c2-5385-b1aa-6d03295c9513"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::hzWrongRate":
+    shortId: "HZD-5"
+    uuid: "9143ddd2-b75d-5322-9f69-7faa190f4b9e"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::rcClockFreshnessCheck":
+    shortId: "RSK-1"
+    uuid: "c680ee4e-3986-5191-97b3-4264079a38ce"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::rcDisplayFreshnessMonitor":
+    shortId: "RSK-2"
+    uuid: "b7465f4e-8466-5288-b730-c92b7e964c3b"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::rcDrugLibraryGuard":
+    shortId: "RSK-3"
+    uuid: "482ff3fb-c399-5f02-bcc2-3ec73748cb45"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::rcLowBatteryProminence":
+    shortId: "RSK-4"
+    uuid: "6b366476-463e-5195-9f04-8292b29329f5"
+  "memo_examples_ui_screen_regions_assurance_safety_risk::rcRateConfirm":
+    shortId: "RSK-5"
+    uuid: "edbdf165-36c5-586a-9332-a33cf98a5d13"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::evDrugLibrarySelection":
+    shortId: "MMX-1"
+    uuid: "c24abc81-f668-5c2c-b438-4aea2bd6bc4c"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::evInfusionStatusContent":
+    shortId: "MMX-2"
+    uuid: "acbf040a-47ed-51ae-8a12-2481da8ed8d4"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::evRateChange":
+    shortId: "MMX-3"
+    uuid: "0a4c6530-ec1b-512c-a7df-39fa54733778"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::vcDrugLibrarySelection":
+    shortId: "VRF-1"
+    uuid: "df00c7d8-70c9-549a-aea9-f52cf201cffc"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::vcInfusionStatusContent":
+    shortId: "VRF-2"
+    uuid: "13521157-c3a8-5995-8a04-e48d0f3ff05e"
+  "memo_examples_ui_screen_regions_assurance_verification_validation::vcRateChange":
+    shortId: "VRF-3"
+    uuid: "d77a8f8f-0d31-5ddb-ac70-e66b1d938ad3"
+  "memo_examples_ui_screen_regions_project::uiScreenRegionsBinding":
+    shortId: "PRJ-1"
+    uuid: "67b999a2-b982-568c-916f-16301d768a65"
+  "memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functional_tree::uiFunctionalTree":
+    shortId: "MMX-6"
+    uuid: "df30b427-6009-5e2d-a30b-4d36e389f665"
+  "memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_requirements_trace::uiRequirementsTrace":
+    shortId: "MMX-8"
+    uuid: "e3ea76cd-b136-5754-9412-f6774bbbbf7a"
+  "memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain::uiRiskChain":
+    shortId: "MMX-9"
+    uuid: "b581db89-2ad3-5d3c-8b13-3d5f9cc5b023"
+  "memo_examples_ui_screen_regions_viewpoints_ui_layout_views_main_screen_layout::mainScreenLayout":
+    shortId: "MMX-4"
+    uuid: "64fdaf61-445d-532e-963b-610b52ee3690"
+  "memo_examples_ui_screen_regions_viewpoints_ui_layout_views_settings_screen_layout::settingsScreenLayout":
+    shortId: "MMX-5"
+    uuid: "a90192d8-28f8-539e-85ef-db885279a15e"
+  "memo_examples_ui_screen_regions_viewpoints_ui_layout_views_ui_region_trace::uiRegionTrace":
+    shortId: "MMX-7"
+    uuid: "942d600f-947a-5083-b43d-fae467d2d6a7"

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

@@ -16,43 +16,45 @@ package memo_examples_ui_screen_regions_architecture_functional_functions {
     private import memo_core_enumerations::*;
     private import memo_architecture_functional_functions::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     action fnManageInfusionDisplay : SystemFunction {
-        attribute :>> id = "UIR-FN-002"; attribute :>> name = "ManageInfusionDisplay";
-        attribute :>> shortDescription = "Coordinate the running-infusion display and its interactive regions.";
+        @MemoIdentity { :>> providedId = "UIR-FN-002"; } attribute :>> name = "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.";
         attribute :>> criticality = CriticalityKind::high;
 
         action fnSetInfusionRate : SystemFunction {
-            attribute :>> id = "UIR-FN-001"; attribute :>> name = "SetInfusionRate";
-            attribute :>> shortDescription = "Apply a clinician-entered rate to the pump controller.";
+            @MemoIdentity { :>> providedId = "UIR-FN-001"; } attribute :>> name = "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.";
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnValidateDrugSelection : SystemFunction {
-            attribute :>> id = "UIR-FN-003"; attribute :>> name = "ValidateDrugSelection";
-            attribute :>> shortDescription = "Validate a selected drug and concentration against the active care-area library.";
+            @MemoIdentity { :>> providedId = "UIR-FN-003"; } attribute :>> name = "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.";
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnPresentDeliveryStatus : SystemFunction {
-            attribute :>> id = "UIR-FN-004"; attribute :>> name = "PresentDeliveryStatus";
-            attribute :>> shortDescription = "Present current rate and cumulative delivered volume.";
+            @MemoIdentity { :>> providedId = "UIR-FN-004"; } attribute :>> name = "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.";
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentLocalTime : SystemFunction {
-            attribute :>> id = "UIR-FN-005"; attribute :>> name = "PresentLocalTime";
-            attribute :>> shortDescription = "Read the synchronized clock and present local time.";
+            @MemoIdentity { :>> providedId = "UIR-FN-005"; } attribute :>> name = "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.";
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentBatteryStatus : SystemFunction {
-            attribute :>> id = "UIR-FN-006"; attribute :>> name = "PresentBatteryStatus";
-            attribute :>> shortDescription = "Present battery state of charge and low-battery status.";
+            @MemoIdentity { :>> providedId = "UIR-FN-006"; } attribute :>> name = "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.";
             attribute :>> criticality = CriticalityKind::medium;
         }

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

@@ -19,13 +19,15 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     private import memo_core_enumerations::*;
     private import memo_architecture_implementation_ui::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Every UIElement carries safetyClass C. Per IEC 62304 §4.3 items inherit
     // the software system's class; an item is classified lower only where
     // 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 {
-        attribute :>> id = "UIR-UI-001"; attribute :>> name = "PumpFrontPanel";
-        attribute :>> shortDescription = "Front-panel touchscreen.";
+        @MemoIdentity { :>> providedId = "UIR-UI-001"; } attribute :>> name = "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.";
         attribute :>> modality = "visual + touch";
         attribute :>> uiTechnology = "embedded Qt";
@@ -35,8 +37,8 @@ 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 {
-        attribute :>> id = "UIE-001"; attribute :>> name = "MainInfusionScreen";
-        attribute :>> shortDescription = "Primary running-infusion screen.";
+        @MemoIdentity { :>> providedId = "UIE-001"; } attribute :>> name = "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.";
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
@@ -58,8 +60,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         // recurse into its children.
         part elDrugSelectorRegion : UIElement {
             attribute redefines name = "DrugSelectorRegion";
-            attribute redefines id = "UIE-005";
-            attribute redefines shortDescription = "Reusable region containing drug-selector states.";
+            @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.";
             attribute redefines formKind = UIElementFormKind::panel;
             attribute redefines safetyClass = SafetyClassKind::C;
@@ -77,8 +79,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             }
 
             part elDrugSelectorClosed : UIElement {
-                attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
-                attribute :>> shortDescription = "Closed drug selector shown on the main screen.";
+                @MemoIdentity { :>> providedId = "UIE-010"; } attribute :>> name = "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.";
                 attribute :>> formKind = UIElementFormKind::selector;
                 attribute :>> safetyClass = SafetyClassKind::C;
@@ -98,8 +100,8 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
             // behaviour, not a defect.
             part elDrugMenuExpanded : UIElement {
                 attribute redefines name = "ExpandedDrugMenu";
-                attribute redefines id = "UIE-011";
-                attribute redefines shortDescription = "Expanded drug library choices.";
+                @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.";
                 attribute redefines formKind = UIElementFormKind::selector;
                 attribute redefines safetyClass = SafetyClassKind::C;
@@ -116,12 +118,28 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
                 }
             }
         }
+        part uiElement12 : UIElement {
+            attribute redefines name = "Region UIE-012";
+            @MemoIdentity { :>> providedId = "UIE-012"; }
+            attribute redefines formKind = UIElementFormKind::panel;
+            attribute redefines disclosureKind = UIDisclosureKind::inline;
+            attribute redefines detectionMethod = BoundsDetectionKind::manual;
+            attribute redefines boundaryColor = "#14B8A6";
+            attribute redefines boundaryOpacity = 0.12;
+            attribute redefines boundaryWidth = 5;
+            attribute redefines bounds {
+                attribute redefines x = 0.52234;
+                attribute redefines y = 0.11311;
+                attribute redefines width = 0.45242;
+                attribute redefines height = 0.53172;
+            }
+        }
     }
 
     // ── The settings screen: a sibling root, not a child ────────
     part elSettingsScreen : UIElement {
-        attribute :>> id = "UIE-008"; attribute :>> name = "InfusionSettingsScreen";
-        attribute :>> shortDescription = "Settings screen reached from the main screen.";
+        @MemoIdentity { :>> providedId = "UIE-008"; } attribute :>> name = "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.";
         attribute :>> formKind = UIElementFormKind::screen;
         attribute :>> safetyClass = SafetyClassKind::C;
@@ -138,8 +156,8 @@ 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 {
-            attribute :>> id = "UIE-009"; attribute :>> name = "RateChangeConfirmationDialog";
-            attribute :>> shortDescription = "Modal confirmation popup for a new infusion rate.";
+            @MemoIdentity { :>> providedId = "UIE-009"; } attribute :>> name = "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.";
             attribute :>> formKind = UIElementFormKind::dialog;
             attribute :>> safetyClass = SafetyClassKind::C;
@@ -159,7 +177,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
 
     // ── UI actions and the functions they invoke ────────────────
     action uiaEditRate : UIAction {
-        attribute :>> id = "UIR-UIA-001"; attribute :>> name = "EditInfusionRate";
+        @MemoIdentity { :>> providedId = "UIR-UIA-001"; } attribute :>> name = "EditInfusionRate";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
@@ -167,35 +185,19 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
     }
 
     action uiaOpenSettings : UIAction {
-        attribute :>> id = "UIR-UIA-002"; attribute :>> name = "OpenInfusionSettings";
+        @MemoIdentity { :>> providedId = "UIR-UIA-002"; } attribute :>> name = "OpenInfusionSettings";
         attribute :>> intent = InteractionIntentKind::navigation;
         attribute :>> confirmationRequired = false;
         perform fnManageInfusionDisplay;
     }
 
     action uiaSelectDrug : UIAction {
-        attribute :>> id = "UIR-UIA-003"; attribute :>> name = "SelectDrug";
+        @MemoIdentity { :>> providedId = "UIR-UIA-003"; } attribute :>> name = "SelectDrug";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         perform fnManageInfusionDisplay.fnValidateDrugSelection;
     }
 
-    part uiElement12 : UIElement {
-        attribute redefines name = "Region UIE-012";
-        attribute redefines id = "UIE-012";
-        attribute redefines formKind = UIElementFormKind::panel;
-        attribute redefines disclosureKind = UIDisclosureKind::inline;
-        attribute redefines detectionMethod = BoundsDetectionKind::manual;
-        attribute redefines boundaryColor = "#14B8A6";
-        attribute redefines boundaryOpacity = 0.12;
-        attribute redefines boundaryWidth = 5;
-        attribute redefines bounds {
-            attribute redefines x = 0.52234;
-            attribute redefines y = 0.11311;
-            attribute redefines width = 0.45242;
-            attribute redefines height = 0.53172;
-        }
-    }
 
 
     satisfy reqRateLegibility by elMainScreen;