@memoarchitect/ontology 0.7.0 → 0.8.22

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

@@ -2,7 +2,9 @@
 // panel they run on. One part tree carries geometry and design record — there
 // is no separate region type.
 package memo_examples_ui_screen_regions_architecture_implementation_ui {
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
     private import ScalarValues::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
 
     private import memo_core_relationships::*;
     private import memo_core_annotations::*;
@@ -46,69 +48,74 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
         attribute :>> boundaryColor = "#1B3A4B";
         attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
 
-    // ── A recursively inspectable dynamic region ─────────────────
-    // The reusable region is the parent. Closed and expanded presentations are
-    // siblings beneath it, so a renderer (including a 3-D renderer) can reuse
-    // the region and select the state appropriate to its scene. The region has
-    // its own capture; geometry views stop at that boundary on the main screen
-    // and let the reviewer double-click to 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.";
-    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;
-    attribute redefines labelText = "DRUG";
-    attribute redefines disclosureKind = UIDisclosureKind::inline;
-    attribute redefines boundaryColor = "#F59E0B";
-    attribute redefines detectionMethod = BoundsDetectionKind::manual;
-    attribute redefines confirmedBy = "j.okafor";
-    attribute redefines confirmedAt = "2026-07-15";
-    attribute redefines bounds {
-        attribute redefines x = 0.03;
-        attribute redefines y = 0.43;
-        attribute redefines width = 0.47;
-        attribute redefines height = 0.18;
-    }
-}
+        // ── A recursively inspectable dynamic region ─────────────
+        // The reusable region is the parent. Closed and expanded presentations
+        // are siblings beneath it, so a renderer (including a 3-D renderer)
+        // can reuse the region and select the state appropriate to its scene.
+        // The region has its own capture; geometry views stop at that
+        // boundary on the main screen and let the reviewer double-click to
+        // 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.";
+            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;
+            attribute redefines labelText = "DRUG";
+            attribute redefines disclosureKind = UIDisclosureKind::inline;
+            attribute redefines boundaryColor = "#F59E0B";
+            attribute redefines detectionMethod = BoundsDetectionKind::manual;
+            attribute redefines confirmedBy = "j.okafor";
+            attribute redefines confirmedAt = "2026-07-15";
+            attribute redefines bounds {
+                attribute redefines x = 0.03;
+                attribute redefines y = 0.43;
+                attribute redefines width = 0.47;
+                attribute redefines height = 0.18;
+            }
 
-    part elDrugSelectorClosed : UIElement {
-        attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
-        attribute :>> 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;
-        attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
-        attribute :>> disclosureKind = UIDisclosureKind::conditional;
-        attribute :>> visibilityCondition = "drug selector inactive";
-        attribute :>> bounds {
-            attribute :>> x = 0.0; attribute :>> y = 0.0;
-            attribute :>> width = 1.0; attribute :>> height = 0.25;
-        }
-        attribute :>> boundaryColor = "#F59E0B";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
+            part elDrugSelectorClosed : UIElement {
+                attribute :>> id = "UIE-010"; attribute :>> name = "ClosedDrugSelector";
+                attribute :>> 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;
+                attribute :>> labelText = "Norepinephrine 8 mg / 250 mL";
+                attribute :>> disclosureKind = UIDisclosureKind::conditional;
+                attribute :>> visibilityCondition = "drug selector inactive";
+                attribute :>> bounds {
+                    attribute :>> x = 0.0; attribute :>> y = 0.0;
+                    attribute :>> width = 1.0; attribute :>> height = 0.25;
+                }
+                attribute :>> boundaryColor = "#F59E0B";
+                attribute :>> detectionMethod = BoundsDetectionKind::manual;
+            }
 
-    // Open, this sibling overlays the same parent region. `overlay` states that
-    // covering adjacent content is intended dropdown behaviour, not a defect.
-    part elDrugMenuExpanded : UIElement {
-        attribute :>> id = "UIE-011"; attribute :>> name = "ExpandedDrugMenu";
-        attribute :>> shortDescription = "Expanded drug library choices.";
-        attribute :>> 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 :>> formKind = UIElementFormKind::selector;
-        attribute :>> safetyClass = SafetyClassKind::C;
-        attribute :>> labelText = "Norepinephrine; Dopamine; Heparin";
-        attribute :>> disclosureKind = UIDisclosureKind::overlay;
-        attribute :>> visibilityCondition = "drug selector activated";
-        attribute :>> bounds {
-            attribute :>> x = 0.0; attribute :>> y = 0.20;
-            attribute :>> width = 1.0; attribute :>> height = 0.80;
+            // Open, this sibling overlays the same parent region. `overlay`
+            // states that covering adjacent content is intended dropdown
+            // behaviour, not a defect.
+            part elDrugMenuExpanded : UIElement {
+                attribute redefines name = "ExpandedDrugMenu";
+                attribute redefines id = "UIE-011";
+                attribute redefines 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;
+                attribute redefines labelText = "Norepinephrine; Dopamine; Heparin";
+                attribute redefines disclosureKind = UIDisclosureKind::overlay;
+                attribute redefines visibilityCondition = "drug selector activated";
+                attribute redefines boundaryColor = "#d97706";
+                attribute redefines detectionMethod = BoundsDetectionKind::manual;
+                attribute redefines bounds {
+                    attribute redefines x = 0.0;
+                    attribute redefines y = 0.20;
+                    attribute redefines width = 1.0;
+                    attribute redefines height = 0.80;
+                }
+            }
         }
-        attribute :>> boundaryColor = "#D97706";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
     }
 
     // ── The settings screen: a sibling root, not a child ────────
@@ -126,28 +133,28 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
         attribute :>> boundaryColor = "#1B3A4B";
         attribute :>> detectionMethod = BoundsDetectionKind::manual;
-    }
 
-    // A modal child of the settings screen. It is visible only while a 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.";
-        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;
-        attribute :>> labelText = "Confirm rate change?";
-        attribute :>> disclosureKind = UIDisclosureKind::overlay;
-        attribute :>> visibilityCondition = "pending rate change";
-        attribute :>> bounds {
-            attribute :>> x = 0.28; attribute :>> y = 0.22;
-            attribute :>> width = 0.44; attribute :>> height = 0.56;
+        // A modal child of the settings screen. It is visible only while a
+        // 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.";
+            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;
+            attribute :>> labelText = "Confirm rate change?";
+            attribute :>> disclosureKind = UIDisclosureKind::overlay;
+            attribute :>> visibilityCondition = "pending rate change";
+            attribute :>> bounds {
+                attribute :>> x = 0.28; attribute :>> y = 0.22;
+                attribute :>> width = 0.44; attribute :>> height = 0.56;
+            }
+            attribute :>> boundaryColor = "#D59000";
+            attribute :>> detectionMethod = BoundsDetectionKind::manual;
+            attribute :>> confirmedBy = "j.okafor";
+            attribute :>> confirmedAt = "2026-07-16";
         }
-        attribute :>> boundaryColor = "#D59000";
-        attribute :>> detectionMethod = BoundsDetectionKind::manual;
-        attribute :>> confirmedBy = "j.okafor";
-        attribute :>> confirmedAt = "2026-07-16";
     }
 
     // ── UI actions and the functions they invoke ────────────────
@@ -156,18 +163,21 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
         attribute :>> feedbackProvided = "new rate echoed on a confirmation dialog before it is applied";
+        perform fnManageInfusionDisplay.fnSetInfusionRate;
     }
 
     action uiaOpenSettings : UIAction {
         attribute :>> id = "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";
         attribute :>> intent = InteractionIntentKind::userInput;
         attribute :>> confirmationRequired = true;
+        perform fnManageInfusionDisplay.fnValidateDrugSelection;
     }
 
     part uiElement12 : UIElement {
@@ -178,6 +188,7 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         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;
@@ -186,4 +197,16 @@ package memo_examples_ui_screen_regions_architecture_implementation_ui {
         }
     }
 
+
+    satisfy reqRateLegibility by elMainScreen;
+
+    satisfy reqRateEntry by elSettingsScreen;
+
+    satisfy reqRateEntry by elSettingsScreen.elRateConfirmDialog;
+
+    satisfy reqDrugLibrarySelection by elMainScreen.elDrugSelectorRegion;
+
+    satisfy reqDrugIdentityDisplay by elMainScreen.elDrugSelectorRegion.elDrugSelectorClosed;
+
+    satisfy reqDrugSelectionPerformance by elMainScreen.elDrugSelectorRegion;
 }

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

@@ -22,7 +22,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcRateConfirm : RiskControlMeasure {
+    part rcRateConfirm : RiskControlMeasure {
         attribute :>> id = "UIR-RC-001"; attribute :>> name = "RateChangeConfirmationDialog";
         attribute :>> 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.";
@@ -37,7 +37,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcDrugLibraryGuard : RiskControlMeasure {
+    part rcDrugLibraryGuard : RiskControlMeasure {
         attribute :>> id = "UIR-RC-002"; attribute :>> name = "CareAreaDrugLibraryGuard";
         attribute :>> 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.";
@@ -52,7 +52,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcLowBatteryProminence : RiskControlMeasure {
+    part rcLowBatteryProminence : RiskControlMeasure {
         attribute :>> id = "UIR-RC-003"; attribute :>> name = "ProminentLowBatteryStatus";
         attribute :>> 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.";
@@ -67,7 +67,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcDisplayFreshnessMonitor : RiskControlMeasure {
+    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.";
         attribute :>> description = "Maintains a one-second display age budget for infusion status and detects a missed telemetry refresh before stale values can persist.";
@@ -82,7 +82,7 @@ package memo_examples_ui_screen_regions_assurance_safety_risk {
         attribute :>> foreseeable = true;
     }
 
-    item rcClockFreshnessCheck : RiskControlMeasure {
+    part rcClockFreshnessCheck : RiskControlMeasure {
         attribute :>> id = "UIR-RC-005"; attribute :>> name = "SynchronizedClockFreshnessCheck";
         attribute :>> 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.";

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

@@ -1,6 +1,10 @@
 // Verification and validation: cases and the evidence they produce.
 package memo_examples_ui_screen_regions_assurance_verification_validation {
+    private import memo_examples_ui_screen_regions_assurance_safety_risk::*;
+    private import memo_examples_ui_screen_regions_architecture_functional_functions::*;
+    private import memo_examples_ui_screen_regions_assurance_requirements::*;
     private import ScalarValues::*;
+    private import memo_core_dimensions::*;   // ElementStatusKind
 
     private import memo_core_relationships::*;
     private import memo_core_annotations::*;
@@ -13,16 +17,20 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
     private import memo_artifacts_core::*;
 
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
     private import memo_assurance_verification_validation::*;
 
     verification vcRateChange : VerificationCase {
         attribute :>> id = "UIR-VER-001"; attribute :>> name = "VerifyRateChangeConfirmation";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "A rate change cannot reach the controller until the displayed value is explicitly confirmed.";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (rcRateConfirm, fnManageInfusionDisplay.fnSetInfusionRate, fnManageInfusionDisplay);
     }
 
-    part evRateChange : Evidence {
+    part evRateChange : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "UIR-EV-001"; attribute :>> name = "RateChangeConfirmationTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
@@ -33,10 +41,13 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
         attribute :>> id = "VER-002"; attribute :>> name = "VerifyCareAreaDrugLibrarySelection";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Only enabled care-area drug and concentration records are selectable, and every selection supplies the matching dosing limits.";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (rcDrugLibraryGuard, fnManageInfusionDisplay.fnValidateDrugSelection);
     }
 
-    part evDrugLibrarySelection : Evidence {
+    part evDrugLibrarySelection : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-002"; attribute :>> name = "DrugLibrarySelectionTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";
@@ -47,10 +58,14 @@ package memo_examples_ui_screen_regions_assurance_verification_validation {
         attribute :>> id = "VER-003"; attribute :>> name = "VerifyInfusionStatusContentAndFreshness";
         attribute :>> methodKind = VerificationMethodKind::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 = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqActiveRateDisplay; verify reqDrugIdentityDisplay; verify reqVolumeDisplay; verify reqTimeDisplay; verify reqTimeAccuracy; verify reqBatteryStatusDisplay; verify reqBatteryWarningPerformance; }
+        subject verified : Base::Anything[*] = (rcLowBatteryProminence, rcDisplayFreshnessMonitor, rcClockFreshnessCheck, fnManageInfusionDisplay.fnPresentDeliveryStatus, fnManageInfusionDisplay.fnPresentLocalTime, fnManageInfusionDisplay.fnPresentBatteryStatus);
     }
 
-    part evInfusionStatusContent : Evidence {
+    part evInfusionStatusContent : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-003"; attribute :>> name = "InfusionStatusDisplayTestRecord";
         attribute :>> version = "planned";
         attribute :>> evidenceType = "test record";

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

@@ -0,0 +1,8 @@
+package memo_examples_ui_screen_regions_relationships {
+    private import memo_artifacts_configuration_management::*;
+    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;
+}

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

@@ -29,73 +29,20 @@ package memo_examples_ui_screen_regions_traces {
     private import memo_examples_ui_screen_regions_artifacts_reviews_comments::*;
     private import memo_examples_ui_screen_regions_artifacts_reviews_rationales::*;
     private import memo_examples_ui_screen_regions_artifacts_reviews_notes::*;
+    private import memo_assurance_safety_risk_analysis::*;
 
-    // One tree. Spatial containment only.
-    connection : Composes connect parent ::> elMainScreen to child ::> elDrugSelectorRegion;
+    // The UI-element and function trees are native nesting now (see
+    // architecture/implementation/ui.sysml and architecture/functional/
+    // functions.sysml); no Composes edge is written for either. The two that
+    // remain below are the ones nesting cannot express: a tool-drawn region
+    // (uiElement12, appended by memo-architect's canvas editor as a flat
+    // element plus a Composes edge, not by hand) and a comment-reply thread
+    // (a review feature with the same runtime-append shape).
+    connection : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion to triggeredAction ::> uiaSelectDrug;
 
-    connection : Composes connect parent ::> elDrugSelectorRegion to child ::> elDrugSelectorClosed;
+    connection : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion.elDrugSelectorClosed to triggeredAction ::> uiaSelectDrug;
 
-    connection : Composes connect parent ::> elDrugSelectorRegion to child ::> elDrugMenuExpanded;
-
-    connection : Composes connect parent ::> elSettingsScreen to child ::> elRateConfirmDialog;
-
-    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnSetInfusionRate;
-
-    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnValidateDrugSelection;
-
-    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentDeliveryStatus;
-
-    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentLocalTime;
-
-    connection : Composes connect parent ::> fnManageInfusionDisplay to child ::> fnPresentBatteryStatus;
-
-    connection : ActionInvokesFunction connect uiAction ::> uiaEditRate to systemFunction ::> fnSetInfusionRate;
-
-    connection : ElementTriggersAction connect element ::> elDrugSelectorRegion to triggeredAction ::> uiaSelectDrug;
-
-    connection : ElementTriggersAction connect element ::> elDrugSelectorClosed to triggeredAction ::> uiaSelectDrug;
-
-    connection : ElementTriggersAction connect element ::> elDrugMenuExpanded to triggeredAction ::> uiaSelectDrug;
-
-    connection : ActionInvokesFunction connect uiAction ::> uiaSelectDrug to systemFunction ::> fnValidateDrugSelection;
-
-    connection : ActionInvokesFunction connect uiAction ::> uiaOpenSettings to systemFunction ::> fnManageInfusionDisplay;
-
-    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> fnSetInfusionRate;
-
-    connection : SatisfiedBy connect requiredElement ::> reqRateLegibility to satisfyingElement ::> fnPresentDeliveryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqVolumeDisplay to satisfyingElement ::> fnPresentDeliveryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqRateLegibility to satisfyingElement ::> elMainScreen;
-
-    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> elSettingsScreen;
-
-    connection : SatisfiedBy connect requiredElement ::> reqRateEntry to satisfyingElement ::> elRateConfirmDialog;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugLibrarySelection to satisfyingElement ::> elDrugSelectorRegion;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugLibrarySelection to satisfyingElement ::> fnValidateDrugSelection;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDisplayFreshness to satisfyingElement ::> fnPresentDeliveryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqActiveRateDisplay to satisfyingElement ::> fnPresentDeliveryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugIdentityDisplay to satisfyingElement ::> elDrugSelectorClosed;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugIdentityDisplay to satisfyingElement ::> fnValidateDrugSelection;
-
-    connection : SatisfiedBy connect requiredElement ::> reqTimeDisplay to satisfyingElement ::> fnPresentLocalTime;
-
-    connection : SatisfiedBy connect requiredElement ::> reqTimeAccuracy to satisfyingElement ::> fnPresentLocalTime;
-
-    connection : SatisfiedBy connect requiredElement ::> reqBatteryStatusDisplay to satisfyingElement ::> fnPresentBatteryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqBatteryWarningPerformance to satisfyingElement ::> fnPresentBatteryStatus;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugSelectionPerformance to satisfyingElement ::> elDrugSelectorRegion;
-
-    connection : SatisfiedBy connect requiredElement ::> reqDrugSelectionPerformance to satisfyingElement ::> fnValidateDrugSelection;
+    connection : ElementTriggersAction connect element ::> elMainScreen.elDrugSelectorRegion.elDrugMenuExpanded to triggeredAction ::> uiaSelectDrug;
 
     connection : DerivesFrom connect sourceDriver ::> needReadableProgramming to targetRequirement ::> reqRateLegibility;
 
@@ -123,7 +70,7 @@ package memo_examples_ui_screen_regions_traces {
 
     connection : ErrorAtElement connect useError ::> ueMisreadRate to element ::> elMainScreen;
 
-    connection : ControlImplementedBy connect riskControl ::> rcRateConfirm to implementingElement ::> elRateConfirmDialog;
+    connection : ControlImplementedBy connect riskControl ::> rcRateConfirm to implementingElement ::> elSettingsScreen.elRateConfirmDialog;
 
     connection : Causes connect cause ::> ueMisreadRate to effect ::> hzWrongRate {
         attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
@@ -135,7 +82,7 @@ package memo_examples_ui_screen_regions_traces {
 
     connection : DerivesFrom connect sourceDriver ::> hzWrongRate to targetRequirement ::> reqRateEntry;
 
-    connection : ErrorAtElement connect useError ::> ueSelectWrongDrug to element ::> elDrugSelectorRegion;
+    connection : ErrorAtElement connect useError ::> ueSelectWrongDrug to element ::> elMainScreen.elDrugSelectorRegion;
 
     connection : Causes connect cause ::> ueSelectWrongDrug to effect ::> hzWrongDrug {
         attribute :>> causeKind = CauseKind::useErrorLeadsToHazard;
@@ -145,9 +92,9 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> elDrugSelectorRegion;
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> elMainScreen.elDrugSelectorRegion;
 
-    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> fnValidateDrugSelection;
+    connection : ControlImplementedBy connect riskControl ::> rcDrugLibraryGuard to implementingElement ::> fnManageInfusionDisplay.fnValidateDrugSelection;
 
     connection : DerivesFrom connect sourceDriver ::> hzWrongDrug to targetRequirement ::> reqDrugLibrarySelection;
 
@@ -161,7 +108,7 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcLowBatteryProminence to implementingElement ::> fnPresentBatteryStatus;
+    connection : ControlImplementedBy connect riskControl ::> rcLowBatteryProminence to implementingElement ::> fnManageInfusionDisplay.fnPresentBatteryStatus;
 
     connection : DerivesFrom connect sourceDriver ::> hzUnexpectedPowerLoss to targetRequirement ::> reqBatteryWarningPerformance;
 
@@ -175,7 +122,7 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcDisplayFreshnessMonitor to implementingElement ::> fnPresentDeliveryStatus;
+    connection : ControlImplementedBy connect riskControl ::> rcDisplayFreshnessMonitor to implementingElement ::> fnManageInfusionDisplay.fnPresentDeliveryStatus;
 
     connection : DerivesFrom connect sourceDriver ::> hzIncorrectDeliveredVolumeAssessment to targetRequirement ::> reqDisplayFreshness;
 
@@ -189,81 +136,37 @@ package memo_examples_ui_screen_regions_traces {
         attribute :>> mitigationKind = MitigationKind::hazard;
     }
 
-    connection : ControlImplementedBy connect riskControl ::> rcClockFreshnessCheck to implementingElement ::> fnPresentLocalTime;
+    connection : ControlImplementedBy connect riskControl ::> rcClockFreshnessCheck to implementingElement ::> fnManageInfusionDisplay.fnPresentLocalTime;
 
     connection : DerivesFrom connect sourceDriver ::> hzIncorrectEventChronology to targetRequirement ::> reqTimeAccuracy;
 
-    connection : VerifiedBy connect verificationTarget ::> rcRateConfirm to verificationCase ::> vcRateChange;
-
-    connection : VerifiedBy connect verificationTarget ::> fnSetInfusionRate to verificationCase ::> vcRateChange;
-
-    connection : VerifiedBy connect verificationTarget ::> fnManageInfusionDisplay to verificationCase ::> vcRateChange;
-
-    connection : VerifiedBy connect verificationTarget ::> rcDrugLibraryGuard to verificationCase ::> vcDrugLibrarySelection;
-
-    connection : VerifiedBy connect verificationTarget ::> fnValidateDrugSelection to verificationCase ::> vcDrugLibrarySelection;
-
-    connection : VerifiedBy connect verificationTarget ::> rcLowBatteryProminence to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> rcDisplayFreshnessMonitor to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> rcClockFreshnessCheck to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqActiveRateDisplay to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqDrugIdentityDisplay to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqVolumeDisplay to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqTimeDisplay to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqTimeAccuracy to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqBatteryStatusDisplay to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> reqBatteryWarningPerformance to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> fnPresentDeliveryStatus to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> fnPresentLocalTime to verificationCase ::> vcInfusionStatusContent;
-
-    connection : VerifiedBy connect verificationTarget ::> fnPresentBatteryStatus to verificationCase ::> vcInfusionStatusContent;
-
     connection : ProducesEvidence connect producer ::> vcRateChange to producedEvidence ::> evRateChange;
 
     connection : ProducesEvidence connect producer ::> vcDrugLibrarySelection to producedEvidence ::> evDrugLibrarySelection;
 
     connection : ProducesEvidence connect producer ::> vcInfusionStatusContent to producedEvidence ::> evInfusionStatusContent;
 
-    connection : AllocatedTo connect function ::> fnSetInfusionRate to allocatedElement ::> uiPumpPanel;
-
-    connection : AllocatedTo connect function ::> fnManageInfusionDisplay to allocatedElement ::> uiPumpPanel;
-
-    connection : AllocatedTo connect function ::> fnValidateDrugSelection to allocatedElement ::> uiPumpPanel;
-
-    connection : AllocatedTo connect function ::> fnPresentDeliveryStatus to allocatedElement ::> uiPumpPanel;
-
-    connection : AllocatedTo connect function ::> fnPresentLocalTime to allocatedElement ::> uiPumpPanel;
-
-    connection : AllocatedTo connect function ::> fnPresentBatteryStatus to allocatedElement ::> uiPumpPanel;
-
+    allocate fnManageInfusionDisplay.fnSetInfusionRate to uiPumpPanel;
+    allocate fnManageInfusionDisplay to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnValidateDrugSelection to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentDeliveryStatus to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentLocalTime to uiPumpPanel;
+    allocate fnManageInfusionDisplay.fnPresentBatteryStatus to uiPumpPanel;
     // Two seeded function-to-region traces for exercising relationship editing
     // in the UI. Newly drawn regions can be linked the same way.
-    connection : AllocatedTo connect function ::> fnValidateDrugSelection to allocatedElement ::> elDrugSelectorRegion;
-
-    connection : AllocatedTo connect function ::> fnSetInfusionRate to allocatedElement ::> elRateConfirmDialog;
-
+    allocate fnManageInfusionDisplay.fnValidateDrugSelection to elMainScreen.elDrugSelectorRegion;
+    allocate fnManageInfusionDisplay.fnSetInfusionRate to elSettingsScreen.elRateConfirmDialog;
     connection : CapturesScreen connect capture ::> capMain to screen ::> elMainScreen;
 
     connection : CapturesScreen connect capture ::> capSettings to screen ::> elSettingsScreen;
 
-    connection : CapturesScreen connect capture ::> capDrugSelector to screen ::> elDrugSelectorRegion;
+    connection : CapturesScreen connect capture ::> capDrugSelector to screen ::> elMainScreen.elDrugSelectorRegion;
 
     connection : CommentsOn connect remark ::> cmtDecimalSalience to annotatedElement ::> elMainScreen;
 
     connection : CommentsOn connect remark ::> cmtStatusBarScope to annotatedElement ::> elMainScreen;
 
-    connection : RationaleFor connect rationaleRecord ::> ratOverlayGeometry to justifiedElement ::> elDrugMenuExpanded;
+    connection : RationaleFor connect rationaleRecord ::> ratOverlayGeometry to justifiedElement ::> elMainScreen.elDrugSelectorRegion.elDrugMenuExpanded;
 
     connection : NotesOn connect noteRecord ::> noteCaptureReview to notedElement ::> capMain;
 

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

@@ -53,7 +53,7 @@ package memo_examples_ui_screen_regions_viewpoints_functional_views_ui_functiona
             attribute :>> id = "QRY-102";
             attribute :>> name = "UIFunctionalTreeQuery";
             attribute :>> includeElementKinds = ("SystemFunction", "UIAction", "UIElement", "UserInterface");
-            attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "ActionInvokesFunction", "AllocatedTo");
+            attribute :>> includeRelationshipKinds = ("Composes", "ElementTriggersAction", "Performs", "AllocatedTo");
             attribute :>> includeLayers = ("functions", "implementation");
             attribute :>> rationaleText = "Show function decomposition from interaction to allocated user interface.";
         }

package/extensions/LICENSES/MIT.txt

@@ -0,0 +1,19 @@
+MIT License
+
+Copyright (c) 2026 memoarchitect
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE.