@memoarchitect/ontology 0.6.4 → 0.7.0

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

@@ -0,0 +1,60 @@
+// Functional architecture: the display-management function tree.
+package memo_examples_ui_screen_regions_architecture_functional_functions {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_functional_functions::*;
+
+    part fnSetInfusionRate : SystemFunction {
+        attribute :>> id = "UIR-FN-001"; attribute :>> name = "SetInfusionRate";
+        attribute :>> 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;
+    }
+
+    part fnManageInfusionDisplay : SystemFunction {
+        attribute :>> id = "UIR-FN-002"; attribute :>> name = "ManageInfusionDisplay";
+        attribute :>> 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;
+    }
+
+    part fnValidateDrugSelection : SystemFunction {
+        attribute :>> id = "UIR-FN-003"; attribute :>> name = "ValidateDrugSelection";
+        attribute :>> 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;
+    }
+
+    part fnPresentDeliveryStatus : SystemFunction {
+        attribute :>> id = "UIR-FN-004"; attribute :>> name = "PresentDeliveryStatus";
+        attribute :>> 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;
+    }
+
+    part fnPresentLocalTime : SystemFunction {
+        attribute :>> id = "UIR-FN-005"; attribute :>> name = "PresentLocalTime";
+        attribute :>> 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;
+    }
+
+    part fnPresentBatteryStatus : SystemFunction {
+        attribute :>> id = "UIR-FN-006"; attribute :>> name = "PresentBatteryStatus";
+        attribute :>> 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

@@ -0,0 +1,189 @@
+// UI implementation architecture: the screen tree, its actions, and the
+// 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 ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_architecture_implementation_ui::*;
+
+    // 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.";
+        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";
+    }
+
+    // ── The main screen, and the tree beneath it ────────────────
+    // 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.";
+        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;
+        attribute :>> navigationRole = "home";
+        attribute :>> disclosureKind = UIDisclosureKind::inline;
+        attribute :>> bounds {
+            attribute :>> x = 0.0; attribute :>> y = 0.0;
+            attribute :>> width = 1.0; attribute :>> height = 1.0;
+        }
+        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;
+    }
+}
+
+    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;
+        }
+        attribute :>> boundaryColor = "#D97706";
+        attribute :>> detectionMethod = BoundsDetectionKind::manual;
+    }
+
+    // ── 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.";
+        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;
+        attribute :>> navigationRole = "subordinate";
+        attribute :>> disclosureKind = UIDisclosureKind::inline;
+        attribute :>> bounds {
+            attribute :>> x = 0.0; attribute :>> y = 0.0;
+            attribute :>> width = 1.0; attribute :>> height = 1.0;
+        }
+        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;
+        }
+        attribute :>> boundaryColor = "#D59000";
+        attribute :>> detectionMethod = BoundsDetectionKind::manual;
+        attribute :>> confirmedBy = "j.okafor";
+        attribute :>> confirmedAt = "2026-07-16";
+    }
+
+    // ── UI actions and the functions they invoke ────────────────
+    action uiaEditRate : UIAction {
+        attribute :>> id = "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";
+    }
+
+    action uiaOpenSettings : UIAction {
+        attribute :>> id = "UIR-UIA-002"; attribute :>> name = "OpenInfusionSettings";
+        attribute :>> intent = InteractionIntentKind::navigation;
+        attribute :>> confirmationRequired = false;
+    }
+
+    action uiaSelectDrug : UIAction {
+        attribute :>> id = "UIR-UIA-003"; attribute :>> name = "SelectDrug";
+        attribute :>> intent = InteractionIntentKind::userInput;
+        attribute :>> confirmationRequired = true;
+    }
+
+    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 bounds {
+            attribute redefines x = 0.52234;
+            attribute redefines y = 0.11311;
+            attribute redefines width = 0.45242;
+            attribute redefines height = 0.53172;
+        }
+    }
+
+}

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

@@ -0,0 +1,61 @@
+// Controlled asset identities.
+//
+// SysML owns each capture's identity, URI, hash, dimensions, and capture
+// context; the PNG under `screen-captures/` owns its payload.
+package memo_examples_ui_screen_regions_artifacts_assets {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_artifacts_core::*;
+    private import memo_architecture_implementation_ui::*;
+
+    // ── 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.";
+        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";
+        attribute :>> pixelWidth = 1024;
+        attribute :>> pixelHeight = 600;
+        attribute :>> captureDate = "2026-07-14";
+        attribute :>> capturedBuild = "pump-fw-2.4.1-rc3";
+        attribute :>> captureContext = "7in panel, 1024x600, en-US, daylight theme, clinician role";
+    }
+
+    part capDrugSelector : ScreenCapture {
+        attribute :>> id = "UIC-003"; attribute :>> name = "ExpandedDrugSelectorCapture_v2.4.1";
+        attribute :>> 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";
+        attribute :>> pixelWidth = 798;
+        attribute :>> pixelHeight = 390;
+        attribute :>> captureDate = "2026-07-31";
+        attribute :>> capturedBuild = "pump-fw-2.4.1-rc3";
+        attribute :>> captureContext = "drug-selector region crop, expanded state, en-US";
+    }
+
+    part capSettings : ScreenCapture {
+        attribute :>> id = "UIR-CAP-002"; attribute :>> name = "SettingsScreenCapture_v2.4.1";
+        attribute :>> 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";
+        attribute :>> pixelWidth = 1024;
+        attribute :>> pixelHeight = 600;
+        attribute :>> captureDate = "2026-07-14";
+        attribute :>> capturedBuild = "pump-fw-2.4.1-rc3";
+        attribute :>> captureContext = "7in panel, 1024x600, en-US, daylight theme, clinician role";
+    }
+
+}

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

@@ -0,0 +1,51 @@
+// Review comments. Queryable model content, not source-code comments and not
+// Architect-local state: each one traces to an addressable model element.
+package memo_examples_ui_screen_regions_artifacts_reviews_comments {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    // ── 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.";
+        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";
+        attribute :>> commentStatus = CommentStatusKind::open;
+        attribute :>> anchor = "accessibilitySummary";
+    }
+
+    part cmtStatusBarScope : ModelComment {
+        attribute :>> id = "UIR-CMT-002"; attribute :>> name = "StatusBarScopeQuery";
+        attribute :>> 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;
+    }
+
+}

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

@@ -0,0 +1,27 @@
+// Review notes.
+package memo_examples_ui_screen_regions_artifacts_reviews_notes {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    part noteCaptureReview : ModelNote {
+        attribute :>> id = "UIR-NOTE-001"; attribute :>> name = "CaptureReviewNote";
+        attribute :>> 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";
+        attribute :>> noteKind = "review guidance";
+    }
+
+}

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

@@ -0,0 +1,27 @@
+// Review rationales.
+package memo_examples_ui_screen_regions_artifacts_reviews_rationales {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_core_annotations::*;
+
+    part ratOverlayGeometry : ModelRationale {
+        attribute :>> id = "UIR-RAT-001"; attribute :>> name = "OverlayGeometryRationale";
+        attribute :>> 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";
+        attribute :>> basis = "Observed interaction design and UIDisclosureKind::overlay semantics";
+    }
+
+}

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

@@ -0,0 +1,59 @@
+// Human-factors assurance: the use errors observed or anticipated at the UI.
+package memo_examples_ui_screen_regions_assurance_human_factors {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_requirements_needs::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_human_factors::*;
+
+    // ── 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.";
+        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.";
+        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.";
+        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.";
+        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.";
+        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

@@ -0,0 +1,25 @@
+// Stakeholder needs.
+package memo_examples_ui_screen_regions_assurance_requirements_needs {
+    private import ScalarValues::*;
+
+    private import memo_core_relationships::*;
+    private import memo_core_annotations::*;
+    private import memo_architecture_functional_functions::*;
+    private import memo_architecture_implementation_ui::*;
+    private import memo_assurance_requirements::*;
+    private import memo_assurance_human_factors::*;
+    private import memo_assurance_safety_risk::*;
+    private import memo_assurance_verification_validation::*;
+    private import memo_artifacts_core::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_assurance_requirements_needs::*;
+
+    requirement needReadableProgramming : Need {
+        attribute :>> id = "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";
+    }
+
+}