@memoarchitect/ontology 0.8.24 → 0.11.0

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

@@ -18,10 +18,12 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     private import memo_artifacts_core::*;
     private import memo_architecture_implementation_ui::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The captures ────────────────────────────────────────────
     part capMain : ScreenCapture {
-        attribute :>> id = "UIR-CAP-001"; attribute :>> name = "MainScreenCapture_v2.4.1";
-        attribute :>> shortDescription = "Main infusion screen, build 2.4.1.";
+        @MemoIdentity { :>> providedId = "UIR-CAP-001"; } attribute :>> name = "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.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/mainScreenLayout/main-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:086d8a3c2956ad8ed81f1e565a97308b55ba8a384c22c1b2138626ad8928a88a";
@@ -33,8 +35,8 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capDrugSelector : ScreenCapture {
-        attribute :>> id = "UIC-003"; attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
-        attribute :>> shortDescription = "Expanded drug-selector region crop.";
+        @MemoIdentity { :>> providedId = "UIC-003"; } attribute :>> name = "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.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/drugSelectorRegion/drug-selector-expanded-2.4.1.png";
         attribute :>> imageHash = "sha256:2265b48864be8561a86099a99cf8aea2f4fcf06c19ccacbcc55784fbb1c37975";
@@ -46,8 +48,8 @@ package memo_examples_ui_screen_regions_artifacts_assets {
     }
 
     part capSettings : ScreenCapture {
-        attribute :>> id = "UIR-CAP-002"; attribute :>> name = "SettingsScreenCapture_v2.4.1";
-        attribute :>> shortDescription = "Infusion settings screen, build 2.4.1.";
+        @MemoIdentity { :>> providedId = "UIR-CAP-002"; } attribute :>> name = "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.";
         attribute :>> imageUri = "model/catalog/artifacts/assets/screen-captures/settingsScreenLayout/settings-screen-2.4.1.png";
         attribute :>> imageHash = "sha256:2ad7f11427fdb2eb179cf94d96a1679a2ece31505d247ee0b659bec06a669dbf";

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

@@ -16,13 +16,15 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── Review commentary ───────────────────────────────────────
     // Commentary is model content with an author and a disposition, kept
     // separate from `description`: what the element IS versus what someone
     // SAID about it. A generated DHF section renders the former only.
     part cmtDecimalSalience : ModelComment {
-        attribute :>> id = "UIR-CMT-001"; attribute :>> name = "DecimalSalienceReview";
-        attribute :>> shortDescription = "Decimal point too small at 1 m — raised in HF review.";
+        @MemoIdentity { :>> providedId = "UIR-CMT-001"; } attribute :>> name = "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";
         attribute :>> createdAt = "2026-07-16T14:20:00Z";
@@ -31,21 +33,20 @@ package memo_examples_ui_screen_regions_artifacts_reviews_comments {
     }
 
     part cmtStatusBarScope : ModelComment {
-        attribute :>> id = "UIR-CMT-002"; attribute :>> name = "StatusBarScopeQuery";
-        attribute :>> shortDescription = "Is the battery icon really decoration?";
+        @MemoIdentity { :>> providedId = "UIR-CMT-002"; } attribute :>> name = "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 {
-        attribute :>> id = "UIR-CMT-003"; attribute :>> name = "StatusBarScopeReply";
-        attribute :>> 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";
-        attribute :>> createdAt = "2026-07-16T11:40:00Z";
-        attribute :>> commentStatus = CommentStatusKind::addressed;
+        part cmtStatusBarReply : ModelComment {
+            @MemoIdentity { :>> providedId = "UIR-CMT-003"; } attribute :>> name = "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";
+            attribute :>> createdAt = "2026-07-16T11:40:00Z";
+            attribute :>> commentStatus = CommentStatusKind::addressed;
+        }
     }
 
 }

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

@@ -15,9 +15,11 @@ package memo_examples_ui_screen_regions_artifacts_reviews_notes {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part noteCaptureReview : ModelNote {
-        attribute :>> id = "UIR-NOTE-001"; attribute :>> name = "CaptureReviewNote";
-        attribute :>> shortDescription = "Reconfirm automatic regions after every capture replacement.";
+        @MemoIdentity { :>> providedId = "UIR-NOTE-001"; } attribute :>> name = "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";
         attribute :>> createdAt = "2026-07-16T12:10:00Z";

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

@@ -15,9 +15,11 @@ package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
     private import memo_core_enumerations::*;
     private import memo_core_annotations::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part ratOverlayGeometry : ModelRationale {
-        attribute :>> id = "UIR-RAT-001"; attribute :>> name = "OverlayGeometryRationale";
-        attribute :>> shortDescription = "The drug menu intentionally escapes its parent bounds.";
+        @MemoIdentity { :>> providedId = "UIR-RAT-001"; } attribute :>> name = "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";
         attribute :>> createdAt = "2026-07-16T12:00:00Z";

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

@@ -15,42 +15,44 @@ package memo_examples_ui_screen_regions_assurance_human_factors {
     private import memo_core_enumerations::*;
     private import memo_assurance_human_factors::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The risk side ───────────────────────────────────────────
     part ueMisreadRate : UseError {
-        attribute :>> id = "UIR-UE-001"; attribute :>> name = "MisreadRateDecimalPoint";
-        attribute :>> shortDescription = "Decimal point missed; rate read 10× high or low.";
+        @MemoIdentity { :>> providedId = "UIR-UE-001"; } attribute :>> name = "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.";
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueSelectWrongDrug : UseError {
-        attribute :>> id = "UIR-UE-002"; attribute :>> name = "SelectWrongDrugConcentration";
-        attribute :>> shortDescription = "Clinician selects the wrong drug or concentration from the expanded list.";
+        @MemoIdentity { :>> providedId = "UIR-UE-002"; } attribute :>> name = "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.";
         attribute :>> errorCategory = UseErrorCategoryKind::actionCategory;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMissLowBattery : UseError {
-        attribute :>> id = "UIR-UE-003"; attribute :>> name = "MissLowBatteryStatus";
-        attribute :>> shortDescription = "Clinician does not notice that remaining battery operation is limited.";
+        @MemoIdentity { :>> providedId = "UIR-UE-003"; } attribute :>> name = "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.";
         attribute :>> errorCategory = UseErrorCategoryKind::perception;
         attribute :>> severity = SeverityKind::critical;
     }
 
     part ueRelyOnStaleVolume : UseError {
-        attribute :>> id = "UIR-UE-004"; attribute :>> name = "RelyOnStaleDeliveredVolume";
-        attribute :>> shortDescription = "Clinician bases a therapy decision on a stale delivered-volume value.";
+        @MemoIdentity { :>> providedId = "UIR-UE-004"; } attribute :>> name = "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.";
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::serious;
     }
 
     part ueMisreadDisplayedTime : UseError {
-        attribute :>> id = "UIR-UE-005"; attribute :>> name = "RelyOnIncorrectDisplayedTime";
-        attribute :>> shortDescription = "Clinician associates a therapy observation with an incorrect time.";
+        @MemoIdentity { :>> providedId = "UIR-UE-005"; } attribute :>> name = "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.";
         attribute :>> errorCategory = UseErrorCategoryKind::cognition;
         attribute :>> severity = SeverityKind::minor;

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

@@ -15,8 +15,10 @@ package memo_examples_ui_screen_regions_assurance_requirements_needs {
     private import memo_core_enumerations::*;
     private import memo_assurance_requirements_needs::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     requirement needReadableProgramming : Need {
-        attribute :>> id = "UIR-NEED-001"; attribute :>> name = "ReadableAndConfirmableProgramming";
+        @MemoIdentity { :>> providedId = "UIR-NEED-001"; } attribute :>> name = "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

@@ -16,10 +16,12 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     private import memo_core_enumerations::*;
     private import memo_assurance_requirements::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // ── The spec side ───────────────────────────────────────────
     requirement reqRateEntry : Requirement {
-        attribute :>> id = "UIR-REQ-001"; attribute :>> name = "RateEntryConfirmation";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-001"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;
@@ -31,8 +33,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqRateLegibility : Requirement {
-        attribute :>> id = "UIR-REQ-002"; attribute :>> name = "RateLegibility";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "UIR-REQ-002"; } attribute :>> name = "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;
         attribute :>> obligation = ObligationKind::shall;
@@ -45,8 +47,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqVolumeDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-003"; attribute :>> name = "VolumeDeliveredDisplay";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-003"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -57,8 +59,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugLibrarySelection : Requirement {
-        attribute :>> id = "UIR-REQ-004"; attribute :>> name = "DrugLibrarySelection";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-004"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -70,8 +72,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDisplayFreshness : Requirement {
-        attribute :>> id = "UIR-REQ-005"; attribute :>> name = "InfusionStatusFreshness";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "UIR-REQ-005"; } attribute :>> name = "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;
         attribute :>> obligation = ObligationKind::shall;
@@ -84,8 +86,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqActiveRateDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-006"; attribute :>> name = "ActiveInfusionRateDisplay";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-006"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -97,8 +99,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugIdentityDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-007"; attribute :>> name = "ActiveDrugIdentityDisplay";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-007"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::optionalFeature;
@@ -110,8 +112,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-008"; attribute :>> name = "LocalTimeDisplay";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-008"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -122,8 +124,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqTimeAccuracy : Requirement {
-        attribute :>> id = "UIR-REQ-009"; attribute :>> name = "DisplayedTimeAccuracy";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "UIR-REQ-009"; } attribute :>> name = "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;
         attribute :>> obligation = ObligationKind::shall;
@@ -136,8 +138,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryStatusDisplay : Requirement {
-        attribute :>> id = "UIR-REQ-010"; attribute :>> name = "BatteryStatusDisplay";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-010"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::stateDriven;
@@ -149,8 +151,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqBatteryWarningPerformance : Requirement {
-        attribute :>> id = "UIR-REQ-011"; attribute :>> name = "LowBatteryStatusLatency";
-        attribute :>> requirementKind = RequirementKind::system;
+        @MemoIdentity { :>> providedId = "UIR-REQ-011"; } attribute :>> name = "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;
         attribute :>> obligation = ObligationKind::shall;
@@ -163,8 +165,8 @@ package memo_examples_ui_screen_regions_assurance_requirements {
     }
 
     requirement reqDrugSelectionPerformance : Requirement {
-        attribute :>> id = "UIR-REQ-012"; attribute :>> name = "DrugSelectorResponseTime";
-        attribute :>> requirementKind = RequirementKind::software;
+        @MemoIdentity { :>> providedId = "UIR-REQ-012"; } attribute :>> name = "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;
         attribute :>> earsPattern = EarsPatternKind::eventDriven;

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

@@ -15,76 +15,78 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
     private import memo_core_enumerations::*;
     private import memo_assurance_safety_risk::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item hzWrongRate : Hazard {
-        attribute :>> id = "UIR-HZ-001"; attribute :>> name = "InfusionAtIncorrectRate";
+        @MemoIdentity { :>> providedId = "UIR-HZ-001"; } attribute :>> name = "InfusionAtIncorrectRate";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcRateConfirm : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-001"; attribute :>> name = "RateChangeConfirmationDialog";
-        attribute :>> shortDescription = "Explicit confirmation step before a rate change applies.";
+        @MemoIdentity { :>> providedId = "UIR-RC-001"; } attribute :>> name = "RateChangeConfirmationDialog";
+        @MemoIdentity { :>> shortDescription = "Explicit confirmation step before a rate change applies."; }
         attribute :>> description = "A confirmation dialog restates the requested rate in words and numerals before the change is committed, so a mis-set decimal point has a second chance to be caught.";
         attribute :>> controlKind = RiskControlKind::protectiveMeasure;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzWrongDrug : Hazard {
-        attribute :>> id = "UIR-HZ-002"; attribute :>> name = "TherapyConfiguredForWrongDrug";
+        @MemoIdentity { :>> providedId = "UIR-HZ-002"; } attribute :>> name = "TherapyConfiguredForWrongDrug";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDrugLibraryGuard : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-002"; attribute :>> name = "CareAreaDrugLibraryGuard";
-        attribute :>> shortDescription = "Restrict selection to enabled care-area drug-library entries.";
+        @MemoIdentity { :>> providedId = "UIR-RC-002"; } attribute :>> name = "CareAreaDrugLibraryGuard";
+        @MemoIdentity { :>> shortDescription = "Restrict selection to enabled care-area drug-library entries."; }
         attribute :>> description = "Filters the dynamic selector to the active care-area formulary and validates the selected drug and concentration before its dosing limits are used.";
         attribute :>> controlKind = RiskControlKind::inherentSafeDesign;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzUnexpectedPowerLoss : Hazard {
-        attribute :>> id = "UIR-HZ-003"; attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
+        @MemoIdentity { :>> providedId = "UIR-HZ-003"; } attribute :>> name = "UnexpectedTherapyInterruptionFromPowerLoss";
         attribute :>> hazardType = HazardTypeKind::energyExposure;
         attribute :>> severity = SeverityKind::critical;
         attribute :>> foreseeable = true;
     }
 
     part rcLowBatteryProminence : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-003"; attribute :>> name = "ProminentLowBatteryStatus";
-        attribute :>> shortDescription = "Update and emphasize low remaining battery status within one second.";
+        @MemoIdentity { :>> providedId = "UIR-RC-003"; } attribute :>> name = "ProminentLowBatteryStatus";
+        @MemoIdentity { :>> shortDescription = "Update and emphasize low remaining battery status within one second."; }
         attribute :>> description = "Monitors battery telemetry and changes the status indicator's color and icon state at the low-runtime threshold so the clinician can restore power before therapy interruption.";
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectDeliveredVolumeAssessment : Hazard {
-        attribute :>> id = "UIR-HZ-004"; attribute :>> name = "IncorrectDeliveredVolumeAssessment";
+        @MemoIdentity { :>> providedId = "UIR-HZ-004"; } attribute :>> name = "IncorrectDeliveredVolumeAssessment";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
 
     part rcDisplayFreshnessMonitor : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-004"; attribute :>> name = "InfusionDisplayFreshnessMonitor";
-        attribute :>> shortDescription = "Refresh displayed rate and volume at 1 Hz and detect stale telemetry.";
+        @MemoIdentity { :>> providedId = "UIR-RC-004"; } attribute :>> name = "InfusionDisplayFreshnessMonitor";
+        @MemoIdentity { :>> shortDescription = "Refresh displayed rate and volume at 1 Hz and detect stale telemetry."; }
         attribute :>> description = "Maintains a one-second display age budget for infusion status and detects a missed telemetry refresh before stale values can persist.";
         attribute :>> controlKind = RiskControlKind::monitoring;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
 
     item hzIncorrectEventChronology : Hazard {
-        attribute :>> id = "UIR-HZ-005"; attribute :>> name = "IncorrectTherapyEventChronology";
+        @MemoIdentity { :>> providedId = "UIR-HZ-005"; } attribute :>> name = "IncorrectTherapyEventChronology";
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::minor;
         attribute :>> foreseeable = true;
     }
 
     part rcClockFreshnessCheck : RiskControlMeasure {
-        attribute :>> id = "UIR-RC-005"; attribute :>> name = "SynchronizedClockFreshnessCheck";
-        attribute :>> shortDescription = "Synchronize the display clock and bound visible time error.";
+        @MemoIdentity { :>> providedId = "UIR-RC-005"; } attribute :>> name = "SynchronizedClockFreshnessCheck";
+        @MemoIdentity { :>> shortDescription = "Synchronize the display clock and bound visible time error."; }
         attribute :>> description = "Checks the displayed clock against the synchronized device clock and refreshes the visible minute at rollover.";
         attribute :>> controlKind = RiskControlKind::plausibilityCheck;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;

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

@@ -20,9 +20,10 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
     private import memo_core_common::*;
     private import memo_assurance_verification_validation::*;
 
+    private import memo_core_common::MemoIdentity;
     verification vcRateChange : VerificationCase {
-        attribute :>> id = "UIR-VER-001"; attribute :>> name = "VerifyRateChangeConfirmation";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "UIR-VER-001"; } attribute :>> name = "VerifyRateChangeConfirmation";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -31,15 +32,15 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evRateChange : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "UIR-EV-001"; attribute :>> name = "RateChangeConfirmationTestRecord";
+        @MemoIdentity { :>> providedId = "UIR-EV-001"; } attribute :>> name = "RateChangeConfirmationTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcDrugLibrarySelection : VerificationCase {
-        attribute :>> id = "VER-002"; attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "VER-002"; } attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -48,15 +49,15 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evDrugLibrarySelection : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-002"; attribute :>> name = "DrugLibrarySelectionTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-002"; } attribute :>> name = "DrugLibrarySelectionTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";
     }
 
     verification vcInfusionStatusContent : VerificationCase {
-        attribute :>> id = "VER-003"; attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
-        attribute :>> methodKind = VerificationMethodKind::test;
+        @MemoIdentity { :>> providedId = "VER-003"; } attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
+        attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Time, battery, active rate, drug identity, and total delivered volume satisfy their content, accuracy, and latency criteria under normal and threshold-transition conditions.";
         attribute :>> status = ElementStatusKind::approved;
 
@@ -66,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
 
     part evInfusionStatusContent : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        attribute :>> id = "EVD-003"; attribute :>> name = "InfusionStatusDisplayTestRecord";
+        @MemoIdentity { :>> providedId = "EVD-003"; } attribute :>> name = "InfusionStatusDisplayTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
         attribute :>> integrityStatus = "planned";

package/examples/ui-screen-regions/model/catalog/project.sysml

@@ -31,8 +31,10 @@ package memo_examples_ui_screen_regions_project {
     private import memo_examples_ui_screen_regions_viewpoints_functional::*;
     private import memo_examples_ui_screen_regions_viewpoints_risk::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part uiScreenRegionsBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-UIR-001";
+        @MemoIdentity { :>> providedId = "PMB-UIR-001"; }
         attribute :>> name = "UIScreenRegionsProjectMethodBinding";
         attribute :>> projectName = "UI Screen Regions";
         // The default methodology selects everything the resolved ontology

package/examples/ui-screen-regions/model/catalog/relationships.sysml

@@ -3,6 +3,6 @@ package memo_examples_ui_screen_regions_relationships {
     private import memo_assurance_safety_risk::*;
     private import memo_examples_ui_screen_regions_architecture_implementation_ui::*;
     private import memo_examples_ui_screen_regions_assurance_requirements::*;
-    connection rel_tracesRisk_uiElement12_reqDrugIdentityDisplay : TracesRisk connect sourceRiskElement ::> uiElement12 to targetRiskElement ::> reqDrugIdentityDisplay;
-    connection rel_changes_uiElement12_reqDrugIdentityDisplay : Changes connect changeRequest ::> uiElement12 to changedElement ::> reqDrugIdentityDisplay;
+    connection rel_tracesRisk_uiElement12_reqDrugIdentityDisplay : TracesRisk connect sourceRiskElement ::> elMainScreen::uiElement12 to targetRiskElement ::> reqDrugIdentityDisplay;
+    connection rel_changes_uiElement12_reqDrugIdentityDisplay : Changes connect changeRequest ::> elMainScreen::uiElement12 to changedElement ::> reqDrugIdentityDisplay;
 }

package/examples/ui-screen-regions/model/catalog/traces.sysml

@@ -172,8 +172,6 @@ package memo_examples_ui_screen_regions_traces {
 
     // A reply is a child of the comment it answers — ordinary Composes, so
     // thread cycles are already forbidden by CR-ONT-001.
-    connection : Composes connect parent ::> cmtStatusBarScope to child ::> cmtStatusBarReply;
 
-    connection rel_composes_elMainScreen_uiElement12 : Composes connect parent ::> elMainScreen to child ::> uiElement12;
 
 }

package/examples/ui-screen-regions/model/catalog/viewpoints/functional/views/ui_functional_tree.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiFunctionalTree : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,13 +45,13 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "FUN-101";
-        attribute :>> shortDescription = "Display-management functions, invoked actions, and UI allocation.";
+        @MemoIdentity { :>> providedId = "FUN-101"; }
+        @MemoIdentity { :>> shortDescription = "Display-management functions, invoked actions, and UI allocation."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "bdd";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-102";
+            @MemoIdentity { :>> providedId = "QRY-102"; }
             attribute :>> name = "UIFunctionalTreeQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
             attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");

package/examples/ui-screen-regions/model/catalog/viewpoints/requirements/views/ui_requirements_trace.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiRequirementsTrace : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,13 +45,13 @@ package memo_examples_ui_screen_regions_viewpoints_requirements_views_ui_require
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "REQ-101";
-        attribute :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions.";
+        @MemoIdentity { :>> providedId = "REQ-101"; }
+        @MemoIdentity { :>> shortDescription = "Clinical need through UI requirements to satisfying regions and functions."; }
         attribute :>> viewKind = DiagramViewKind::grid;
         attribute :>> diagramType = "req";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-101";
+            @MemoIdentity { :>> providedId = "QRY-101"; }
             attribute :>> name = "UIRequirementsTraceQuery";
             attribute :>> includeElementKinds = ("Need", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");

package/examples/ui-screen-regions/model/catalog/viewpoints/risk/views/ui_risk_chain.sysml

@@ -29,6 +29,8 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
     private import memo_examples_ui_screen_regions_traces::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     view uiRiskChain : MemoDiagramView {
         expose memo_examples_ui_screen_regions_architecture_implementation_ui::*;
         expose memo_examples_ui_screen_regions_architecture_functional_functions::*;
@@ -43,13 +45,13 @@ package memo_examples_ui_screen_regions_viewpoints_risk_views_ui_risk_chain {
         expose memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
         expose memo_examples_ui_screen_regions_traces::*;
         attribute depth = 3;
-        attribute :>> id = "RSK-101";
-        attribute :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements.";
+        @MemoIdentity { :>> providedId = "RSK-101"; }
+        @MemoIdentity { :>> shortDescription = "Use errors through UI hazards to implemented controls and requirements."; }
         attribute :>> viewKind = DiagramViewKind::general;
         attribute :>> diagramType = "risk";
         attribute :>> autoPopulate = true;
         part :>> selectionQuery {
-            attribute :>> id = "QRY-103";
+            @MemoIdentity { :>> providedId = "QRY-103"; }
             attribute :>> name = "UIRiskChainQuery";
             attribute :>> includeElementKinds = ("UseError", "Hazard", "RiskControlMeasure", "Requirement", "UIElement", "SystemFunction", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("ErrorAtElement", "Causes", "Mitigates", "ControlImplementedBy", "DerivesFrom", "VerifiedBy");